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 (45925 MiB free)
memory of node 1: 64465 MiB (52579 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512150-1751206930/watcher-4512150-1751206930 -o /tmp/evaluation-result-4512150-1751206930/solver-4512150-1751206930 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751206247-28594 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4512150-1751206930.opb -total-t=3600 -no-par -v0
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28770, runsolver pid=28767
[startup+0.100114 s]*
/proc/loadavg: 4.09 4.03 4.25 5/250 28771
/proc/meminfo: memFree=100855892/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=40592 memory=25660 CPUtime=0.11 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 6432 0 0 0 10 1 0 0 20 0 1 0 36372311 41566208 6415 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 10148 6415 864 2593 0 7041 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 40592 KiB
Current children cumulated memory: 25660 KiB
[startup+0.213866 s]*
/proc/loadavg: 4.09 4.03 4.25 6/250 28771
/proc/meminfo: memFree=100835984/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=61788 memory=44188 CPUtime=0.22 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 11068 0 0 0 20 2 0 0 20 0 1 0 36372311 63270912 11047 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 15447 11047 864 2593 0 12340 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 61788 KiB
Current children cumulated memory: 44188 KiB
[startup+0.313209 s]*
/proc/loadavg: 4.09 4.03 4.25 5/250 28771
/proc/meminfo: memFree=100824076/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=70824 memory=51484 CPUtime=0.32 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 12886 0 0 0 30 2 0 0 20 0 1 0 36372311 72523776 12871 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 17706 12871 864 2593 0 14599 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 70824 KiB
Current children cumulated memory: 51484 KiB
[startup+0.700274 s]
/proc/loadavg: 4.09 4.03 4.25 5/250 28771
/proc/meminfo: memFree=100791944/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=127792 memory=100936 CPUtime=0.69 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 22214 0 0 0 66 3 0 0 20 0 1 0 36372311 130859008 25234 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 31948 25234 864 2593 0 28841 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 127792 KiB
Current children cumulated memory: 100936 KiB
[startup+1.50032 s]
/proc/loadavg: 4.09 4.03 4.25 5/250 28771
/proc/meminfo: memFree=100702736/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=350412 memory=298184 CPUtime=1.49 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 39845 0 0 0 139 10 0 0 20 0 1 0 36372311 358821888 74546 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 87603 74546 864 2593 0 84496 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 350412 KiB
Current children cumulated memory: 298184 KiB
[startup+3.11372 s]
/proc/loadavg: 4.09 4.03 4.25 5/250 28771
/proc/meminfo: memFree=100258912/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=679276 memory=595400 CPUtime=3.09 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 60612 0 0 0 292 17 0 0 20 0 1 0 36372311 695578624 148850 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 169819 148850 864 2593 0 166712 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 679276 KiB
Current children cumulated memory: 595400 KiB
[startup+6.3003 s]
/proc/loadavg: 4.08 4.03 4.25 5/250 28816
/proc/meminfo: memFree=111367024/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=949984 memory=807992 CPUtime=6.27 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 88242 0 0 0 601 26 0 0 20 0 1 0 36372311 972783616 201998 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 237496 201998 864 2593 0 234389 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 949984 KiB
Current children cumulated memory: 807992 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.04 4.25 5/250 28816
/proc/meminfo: memFree=111063884/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=1390020 memory=1027640 CPUtime=12.65 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 143332 0 0 0 1228 37 0 0 20 0 1 0 36372311 1423380480 256910 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 347505 256910 864 2593 0 344398 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1390020 KiB
Current children cumulated memory: 1027640 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.04 4.25 5/250 28816
/proc/meminfo: memFree=109834952/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=2365236 memory=1970880 CPUtime=25.42 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 307384 0 0 0 2466 76 0 0 20 0 1 0 36372311 2422001664 492720 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 591309 492720 896 2593 0 588202 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2365236 KiB
Current children cumulated memory: 1970880 KiB
[startup+51.1139 s]
/proc/loadavg: 4.08 4.04 4.24 5/250 28817
/proc/meminfo: memFree=106962472/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=3911992 memory=3379448 CPUtime=50.96 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 417278 0 0 0 4970 126 0 0 20 0 1 0 36372311 4005879808 844862 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 977998 844862 896 2593 0 974891 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3911992 KiB
Current children cumulated memory: 3379448 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.06 4.24 5/250 28864
/proc/meminfo: memFree=116154416/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=6066596 memory=5258424 CPUtime=102 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 564468 0 0 0 9999 201 0 0 20 0 1 0 36372311 6212194304 1314606 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 1516649 1314606 896 2593 0 1513542 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 6066596 KiB
Current children cumulated memory: 5258424 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.09 4.24 5/250 28866
/proc/meminfo: memFree=114465080/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=7389272 memory=6326252 CPUtime=161.83 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 695185 0 0 0 15943 240 0 0 20 0 1 0 36372311 7566614528 1581563 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 1847318 1581563 896 2593 0 1844211 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 7389272 KiB
Current children cumulated memory: 6326252 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.10 4.23 5/250 28869
/proc/meminfo: memFree=113122716/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=7789316 memory=7159500 CPUtime=221.64 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 796565 0 0 0 21893 271 0 0 20 0 1 0 36372311 7976259584 1789875 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 1947329 1789875 896 2593 0 1944222 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 7789316 KiB
Current children cumulated memory: 7159500 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.11 4.22 5/250 28915
/proc/meminfo: memFree=120476040/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=9385420 memory=9026076 CPUtime=281.44 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 863229 0 0 0 27795 349 0 0 20 0 1 0 36372311 9610670080 2256519 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 2346355 2256519 896 2593 0 2343248 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 9385420 KiB
Current children cumulated memory: 9026076 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.22 5/250 28917
/proc/meminfo: memFree=119777716/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=10890452 memory=9649812 CPUtime=341.25 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 940079 0 0 0 33750 375 0 0 20 0 1 0 36372311 11151822848 2412453 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 2722613 2412453 896 2593 0 2719506 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 10890452 KiB
Current children cumulated memory: 9649812 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.21 5/250 28919
/proc/meminfo: memFree=119172672/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=11170568 memory=10211436 CPUtime=401.05 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 1008034 0 0 0 39708 397 0 0 20 0 1 0 36372311 11438661632 2552859 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 2792642 2552859 896 2593 0 2789535 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 11170568 KiB
Current children cumulated memory: 10211436 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.20 5/250 28921
/proc/meminfo: memFree=118878464/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=11316368 memory=10508368 CPUtime=460.85 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 1046430 0 0 0 45675 410 0 0 20 0 1 0 36372311 11587960832 2627092 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 2829092 2627092 1152 2593 0 2825985 0
Current children cumulated CPU time: 460.85 s
Current children cumulated vsize: 11316368 KiB
Current children cumulated memory: 10508368 KiB
[startup+522.3 s]
/proc/loadavg: 4.08 4.10 4.18 5/251 28927
/proc/meminfo: memFree=118849828/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=11319448 memory=10511952 CPUtime=520.64 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 1050027 0 0 0 51653 411 0 0 20 0 1 0 36372311 11591114752 2627988 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 2829862 2627988 1152 2593 0 2826755 0
Current children cumulated CPU time: 520.64 s
Current children cumulated vsize: 11319448 KiB
Current children cumulated memory: 10511952 KiB
[startup+552.648 s]
# the end of solver process 28770 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=546.615 s, system=4.28653 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 4.13 4.11 4.18 5/251 28927
/proc/meminfo: memFree=118846016/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=11320568 memory=10512976 CPUtime=535.9 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 1051073 0 0 0 53178 412 0 0 20 0 1 0 36372311 11592261632 2628244 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 2830142 2628244 1152 2593 0 2827035 0
Current children cumulated CPU time: 535.9 s
Current children cumulated vsize: 11320568 KiB
Current children cumulated memory: 10512976 KiB
[startup+544 s]*
/proc/loadavg: 4.12 4.11 4.18 5/251 28932
/proc/meminfo: memFree=118807836/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=11321244 memory=10513616 CPUtime=542.28 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 1051786 0 0 0 53816 412 0 0 20 0 1 0 36372311 11592953856 2628404 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 2830311 2628404 1152 2593 0 2827204 0
Current children cumulated CPU time: 542.28 s
Current children cumulated vsize: 11321244 KiB
Current children cumulated memory: 10513616 KiB
[startup+547.2 s]
/proc/loadavg: 4.11 4.11 4.18 5/251 28932
/proc/meminfo: memFree=118814768/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=11321936 memory=10514256 CPUtime=545.46 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 1051967 0 0 0 54134 412 0 0 20 0 1 0 36372311 11593662464 2628564 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 2830484 2628564 1152 2593 0 2827377 0
Current children cumulated CPU time: 545.46 s
Current children cumulated vsize: 11321936 KiB
Current children cumulated memory: 10514256 KiB
[startup+550.4 s]
/proc/loadavg: 4.10 4.10 4.18 5/251 28932
/proc/meminfo: memFree=118815020/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=11322508 memory=10515024 CPUtime=548.65 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 1052137 0 0 0 54453 412 0 0 20 0 1 0 36372311 11594248192 2628756 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 2830627 2628756 1152 2593 0 2827520 0
Current children cumulated CPU time: 548.65 s
Current children cumulated vsize: 11322508 KiB
Current children cumulated memory: 10515024 KiB
[startup+552 s]*
/proc/loadavg: 4.10 4.10 4.18 5/251 28932
/proc/meminfo: memFree=118815020/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=11323328 memory=10515664 CPUtime=550.26 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 1052452 0 0 0 54614 412 0 0 20 0 1 0 36372311 11595087872 2628916 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 2830832 2628916 1152 2593 0 2827725 0
Current children cumulated CPU time: 550.26 s
Current children cumulated vsize: 11323328 KiB
Current children cumulated memory: 10515664 KiB
[startup+552.4 s]
/proc/loadavg: 4.10 4.10 4.18 5/251 28932
/proc/meminfo: memFree=118815020/131382112 swapFree=33010684/33010684
[pid=28770] ppid=28767 vsize=11323328 memory=10515664 CPUtime=550.64 cores=1,3
/proc/28770/stat : 28770 (CASHWMaxSAT-Dis) R 28767 28770 28582 0 -1 4194304 1052452 0 0 0 54652 412 0 0 20 0 1 0 36372311 11595087872 2628916 18446744073709551615 4198400 14817773 140727611594224 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40452096 140727611599210 140727611599325 140727611599325 140727611604927 0
/proc/28770/statm: 2830832 2628916 1152 2593 0 2827725 0
Current children cumulated CPU time: 550.64 s
Current children cumulated vsize: 11323328 KiB
Current children cumulated memory: 10515664 KiB
[startup+552.614 s]
/proc/loadavg: 4.10 4.10 4.18 5/251 28932
/proc/meminfo: memFree=119473908/131382112 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): 552.649
CPU time (s): 550.902
CPU user time (s): 546.615
CPU system time (s): 4.28653
CPU usage (%): 99.684
Max. virtual memory (cumulated for all children) (KiB): 11323328
Max. memory (cumulated for all children) (KiB): 10515664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 546.615
system time used= 4.28653
maximum resident set size= 10515792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1052467
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= 58
involuntary context switches= 758
# summary of solver processes directly reported to runsolver:
# pid: 28770
# total CPU time (s): 550.902
# total CPU user time (s): 546.615
# total CPU system time (s): 4.28653
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.9766 second user time and 5.6418 second system time
The end
Begin job on nodeC007 at 2025-06-29 16:22:12
IDJOB=4512150
IDBENCH=160496
IDSOLVER=3322
FILE ID=nodeC007/4512150-1751206930
RUNJOBID= nodeC007-1751206247-28594
SLURM_JOB_ID= 9587631
Free space on /tmp= 432588 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512150-1751206930/watcher-4512150-1751206930 -o /tmp/evaluation-result-4512150-1751206930/solver-4512150-1751206930 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751206247-28594 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4512150-1751206930.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8e33a6540182d2687f15b6bd9bbee190
RANDOM SEED=1635441396
nodeC007 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 : 3491.751
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.68
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 : 3192.559
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.68
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 : 3700.000
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.68
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.222
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.68
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.845
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.68
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.868
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.68
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.661
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.68
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.434
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 100876556 kB
MemAvailable: 101279880 kB
Buffers: 3280 kB
Cached: 1213292 kB
SwapCached: 0 kB
Active: 28864988 kB
Inactive: 967964 kB
Active(anon): 28634340 kB
Inactive(anon): 0 kB
Active(file): 230648 kB
Inactive(file): 967964 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 113848 kB
Writeback: 0 kB
AnonPages: 28619524 kB
Mapped: 115560 kB
Shmem: 17960 kB
KReclaimable: 88680 kB
Slab: 170076 kB
SReclaimable: 88680 kB
SUnreclaim: 81396 kB
KernelStack: 4032 kB
PageTables: 59828 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 30745784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14485504 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432864 MiB
End job on nodeC007 at 2025-06-29 16:31:25