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: 63794 MiB (63223 MiB free)
memory of node 1: 64507 MiB (63793 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494117-1751133664/watcher-4494117-1751133664 -o /tmp/evaluation-result-4494117-1751133664/solver-4494117-1751133664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751133631-11272 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4494117-1751133664.opb 3600 HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=11578, runsolver pid=11572
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 2.07 0.59 0.26 3/252 11579
/proc/meminfo: memFree=130064844/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=1776 memory=256 CPUtime=0 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) R 11572 11578 11256 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 29045998 1818624 64 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 444 64 64 219 0 64 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 1776 KiB
Current children cumulated memory: 256 KiB
[startup+0.213281 s]*
/proc/loadavg: 2.07 0.59 0.26 3/252 11581
/proc/meminfo: memFree=130065100/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) S 11572 11578 11256 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 29045998 4292608 736 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 1048 736 672 219 0 110 0
[pid=11580] ppid=11578 vsize=2764 memory=256 CPUtime=0 cores=4,6
/proc/11580/stat : 11580 (mkdir) D 11578 11578 11256 0 -1 4194304 59 0 0 0 0 0 0 0 20 0 1 0 29046011 2830336 64 18446744073709551615 93979558891520 93979558933873 140724593721104 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 93979558951312 93979558953112 93979571867648 140724593727994 140724593728038 140724593728038 140724593733609 0
/proc/11580/statm: 691 64 64 11 0 65 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6956 KiB
Current children cumulated memory: 3200 KiB
[startup+0.312873 s]*
/proc/loadavg: 2.07 0.59 0.26 3/254 11584
/proc/meminfo: memFree=130065436/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) S 11572 11578 11256 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 29045998 4427776 736 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 1081 736 672 219 0 143 0
[pid=11582] ppid=11578 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11582/stat : 11582 (timeout) S 11578 11582 11256 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29046022 2723840 352 18446744073709551615 93970639659008 93970639675521 140725506099440 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93970639690288 93970639692376 93970669408256 140725506107808 140725506107938 140725506107938 140725506113511 0
/proc/11582/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB
[startup+0.700418 s]
/proc/loadavg: 2.07 0.59 0.26 4/253 11586
/proc/meminfo: memFree=130078584/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) S 11572 11578 11256 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 29045998 4427776 736 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 1081 736 672 219 0 143 0
[pid=11582] ppid=11578 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11582/stat : 11582 (timeout) S 11578 11582 11256 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29046022 2723840 352 18446744073709551615 93970639659008 93970639675521 140725506099440 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93970639690288 93970639692376 93970669408256 140725506107808 140725506107938 140725506107938 140725506113511 0
/proc/11582/statm: 665 352 352 5 0 90 0
[pid=11585] ppid=11582 vsize=40996 memory=26496 CPUtime=0.37 cores=4,6
/proc/11585/stat : 11585 (CASHWMaxSAT-Dis) R 11582 11582 11256 0 -1 4194304 5851 0 0 0 35 2 0 0 20 0 1 0 29046030 41979904 6624 18446744073709551615 4198400 14817773 140736276311184 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36220928 140736276318630 140736276318747 140736276318747 140736276324320 0
/proc/11585/statm: 10249 6624 864 2593 0 7142 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 47980 KiB
Current children cumulated memory: 30848 KiB
[startup+1.50048 s]
/proc/loadavg: 2.07 0.59 0.26 4/252 11590
/proc/meminfo: memFree=130071316/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) S 11572 11578 11256 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 29045998 4427776 736 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 1081 736 672 219 0 143 0
[pid=11582] ppid=11578 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11582/stat : 11582 (timeout) S 11578 11582 11256 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29046022 2723840 352 18446744073709551615 93970639659008 93970639675521 140725506099440 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93970639690288 93970639692376 93970669408256 140725506107808 140725506107938 140725506107938 140725506113511 0
/proc/11582/statm: 665 352 352 5 0 90 0
[pid=11585] ppid=11582 vsize=100628 memory=86016 CPUtime=1.17 cores=4,6
/proc/11585/stat : 11585 (CASHWMaxSAT-Dis) R 11582 11582 11256 0 -1 4194304 20745 0 0 0 111 6 0 0 20 0 1 0 29046030 103043072 21504 18446744073709551615 4198400 14817773 140736276311184 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36220928 140736276318630 140736276318747 140736276318747 140736276324320 0
/proc/11585/statm: 25157 21504 864 2593 0 22050 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 107612 KiB
Current children cumulated memory: 90368 KiB
[startup+3.11432 s]
/proc/loadavg: 2.07 0.59 0.26 5/259 11605
/proc/meminfo: memFree=129775552/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) S 11572 11578 11256 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 29045998 4427776 736 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 1081 736 672 219 0 143 0
[pid=11582] ppid=11578 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11582/stat : 11582 (timeout) S 11578 11582 11256 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29046022 2723840 352 18446744073709551615 93970639659008 93970639675521 140725506099440 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93970639690288 93970639692376 93970669408256 140725506107808 140725506107938 140725506107938 140725506113511 0
/proc/11582/statm: 665 352 352 5 0 90 0
[pid=11585] ppid=11582 vsize=322884 memory=307840 CPUtime=2.77 cores=4,6
/proc/11585/stat : 11585 (CASHWMaxSAT-Dis) R 11582 11582 11256 0 -1 4194304 76176 0 0 0 261 16 0 0 20 0 1 0 29046030 330633216 76960 18446744073709551615 4198400 14817773 140736276311184 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36220928 140736276318630 140736276318747 140736276318747 140736276324320 0
/proc/11585/statm: 80721 76960 864 2593 0 77614 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 329868 KiB
Current children cumulated memory: 312192 KiB
[startup+6.30047 s]
/proc/loadavg: 2.22 0.65 0.28 5/259 11605
/proc/meminfo: memFree=128841132/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) S 11572 11578 11256 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 29045998 4427776 736 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 1081 736 672 219 0 143 0
[pid=11582] ppid=11578 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11582/stat : 11582 (timeout) S 11578 11582 11256 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29046022 2723840 352 18446744073709551615 93970639659008 93970639675521 140725506099440 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93970639690288 93970639692376 93970669408256 140725506107808 140725506107938 140725506107938 140725506113511 0
/proc/11582/statm: 665 352 352 5 0 90 0
[pid=11585] ppid=11582 vsize=830768 memory=813568 CPUtime=5.95 cores=4,6
/proc/11585/stat : 11585 (CASHWMaxSAT-Dis) R 11582 11582 11256 0 -1 4194304 202621 0 0 0 556 39 0 0 20 0 1 0 29046030 850706432 203392 18446744073709551615 4198400 14817773 140736276311184 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36220928 140736276318630 140736276318747 140736276318747 140736276324320 0
/proc/11585/statm: 207692 203392 864 2593 0 204585 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 837752 KiB
Current children cumulated memory: 817920 KiB
[startup+11.4286 s]
# the end of solver process 11578 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=10.2257 s, system=0.696166 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40049 s]
/proc/loadavg: 2.22 0.65 0.28 5/259 11605
/proc/meminfo: memFree=128841132/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) S 11572 11578 11256 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 29045998 4427776 736 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 1081 736 672 219 0 143 0
[pid=11582] ppid=11578 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11582/stat : 11582 (timeout) S 11578 11582 11256 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29046022 2723840 352 18446744073709551615 93970639659008 93970639675521 140725506099440 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93970639690288 93970639692376 93970669408256 140725506107808 140725506107938 140725506107938 140725506113511 0
/proc/11582/statm: 665 352 352 5 0 90 0
[pid=11585] ppid=11582 vsize=832344 memory=815256 CPUtime=6.05 cores=4,6
/proc/11585/stat : 11585 (CASHWMaxSAT-Dis) R 11582 11582 11256 0 -1 4194304 205967 0 0 0 565 40 0 0 20 0 1 0 29046030 852320256 203814 18446744073709551615 4198400 14817773 140736276311184 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36220928 140736276318630 140736276318747 140736276318747 140736276324320 0
/proc/11585/statm: 208086 203814 896 2593 0 204979 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 839328 KiB
Current children cumulated memory: 819608 KiB
[startup+9.60046 s]
/proc/loadavg: 2.37 0.70 0.30 5/259 11605
/proc/meminfo: memFree=128172112/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) S 11572 11578 11256 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 29045998 4427776 736 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 1081 736 672 219 0 143 0
[pid=11582] ppid=11578 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11582/stat : 11582 (timeout) S 11578 11582 11256 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29046022 2723840 352 18446744073709551615 93970639659008 93970639675521 140725506099440 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93970639690288 93970639692376 93970669408256 140725506107808 140725506107938 140725506107938 140725506113511 0
/proc/11582/statm: 665 352 352 5 0 90 0
[pid=11585] ppid=11582 vsize=1331572 memory=1266292 CPUtime=9.25 cores=4,6
/proc/11585/stat : 11585 (CASHWMaxSAT-Dis) R 11582 11582 11256 0 -1 4194304 265011 0 0 0 865 60 0 0 20 0 1 0 29046030 1363529728 316573 18446744073709551615 4198400 14817773 140736276311184 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36220928 140736276318630 140736276318747 140736276318747 140736276324320 0
/proc/11585/statm: 332893 316573 960 2593 0 329786 0
Current children cumulated CPU time: 9.25 s
Current children cumulated vsize: 1338556 KiB
Current children cumulated memory: 1270644 KiB
[startup+10.4005 s]
/proc/loadavg: 2.37 0.70 0.30 5/259 11605
/proc/meminfo: memFree=128094864/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) S 11572 11578 11256 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 29045998 4427776 736 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 1081 736 672 219 0 143 0
[pid=11582] ppid=11578 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11582/stat : 11582 (timeout) S 11578 11582 11256 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29046022 2723840 352 18446744073709551615 93970639659008 93970639675521 140725506099440 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93970639690288 93970639692376 93970669408256 140725506107808 140725506107938 140725506107938 140725506113511 0
/proc/11582/statm: 665 352 352 5 0 90 0
[pid=11585] ppid=11582 vsize=1465092 memory=1311972 CPUtime=10.04 cores=4,6
/proc/11585/stat : 11585 (CASHWMaxSAT-Dis) R 11582 11582 11256 0 -1 4194304 265873 0 0 0 943 61 0 0 20 0 1 0 29046030 1500254208 327993 18446744073709551615 4198400 14817773 140736276311184 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36220928 140736276318630 140736276318747 140736276318747 140736276324320 0
/proc/11585/statm: 366273 327993 960 2593 0 363166 0
Current children cumulated CPU time: 10.04 s
Current children cumulated vsize: 1472076 KiB
Current children cumulated memory: 1316324 KiB
[startup+11.2005 s]
/proc/loadavg: 2.37 0.70 0.30 5/259 11605
/proc/meminfo: memFree=128057752/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) S 11572 11578 11256 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 29045998 4427776 736 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 1081 736 672 219 0 143 0
[pid=11582] ppid=11578 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11582/stat : 11582 (timeout) S 11578 11582 11256 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29046022 2723840 352 18446744073709551615 93970639659008 93970639675521 140725506099440 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93970639690288 93970639692376 93970669408256 140725506107808 140725506107938 140725506107938 140725506113511 0
/proc/11582/statm: 665 352 352 5 0 90 0
[pid=11585] ppid=11582 vsize=1465092 memory=1392612 CPUtime=10.84 cores=4,6
/proc/11585/stat : 11585 (CASHWMaxSAT-Dis) R 11582 11582 11256 0 -1 4194304 266108 0 0 0 1021 63 0 0 20 0 1 0 29046030 1500254208 348153 18446744073709551615 4198400 14817773 140736276311184 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36220928 140736276318630 140736276318747 140736276318747 140736276324320 0
/proc/11585/statm: 366273 348153 960 2593 0 363166 0
Current children cumulated CPU time: 10.84 s
Current children cumulated vsize: 1472076 KiB
Current children cumulated memory: 1396964 KiB
[startup+11.4003 s]
/proc/loadavg: 2.37 0.70 0.30 5/259 11605
/proc/meminfo: memFree=128057752/131382120 swapFree=33010684/33010684
[pid=11578] ppid=11572 vsize=4324 memory=2944 CPUtime=10.9 cores=4,6
/proc/11578/stat : 11578 (Hybrid-CASHWMax) S 11572 11578 11256 0 -1 4194304 312 266425 0 0 0 0 1022 68 20 0 1 0 29045998 4427776 736 18446744073709551615 94821888753664 94821889648197 140736338844016 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94821889887248 94821889934992 94821909901312 140736338848087 140736338848241 140736338848241 140736338853843 0
/proc/11578/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 10.9 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 11.4287
CPU time (s): 10.9219
CPU user time (s): 10.2257
CPU system time (s): 0.696166
CPU usage (%): 95.5651
Max. virtual memory (cumulated for all children) (KiB): 1472076
Max. memory (cumulated for all children) (KiB): 1396964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2257
system time used= 0.696166
maximum resident set size= 1392612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 348
involuntary context switches= 69
# summary of solver processes directly reported to runsolver:
# pid: 11578
# total CPU time (s): 10.9219
# total CPU user time (s): 10.2257
# total CPU system time (s): 0.696166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.103171 second user time and 0.185859 second system time
The end
Begin job on nodeC006 at 2025-06-28 20:01:05
IDJOB=4494117
IDBENCH=147882
IDSOLVER=3328
FILE ID=nodeC006/4494117-1751133664
RUNJOBID= nodeC006-1751133631-11272
SLURM_JOB_ID= 9587406
Free space on /tmp= 432972 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494117-1751133664/watcher-4494117-1751133664 -o /tmp/evaluation-result-4494117-1751133664/solver-4494117-1751133664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751133631-11272 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4494117-1751133664.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= edc49dd1b51fcfed98bb9be45944fb6c
RANDOM SEED=1054116676
nodeC006 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.173
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.32
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 : 3634.173
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.32
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.410
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.32
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.522
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.32
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.243
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.32
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 : 3634.448
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.32
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 : 1496.429
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.32
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.389
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130069020 kB
MemAvailable: 129685744 kB
Buffers: 3280 kB
Cached: 421744 kB
SwapCached: 0 kB
Active: 512008 kB
Inactive: 223684 kB
Active(anon): 328628 kB
Inactive(anon): 0 kB
Active(file): 183380 kB
Inactive(file): 223684 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 87988 kB
Writeback: 0 kB
AnonPages: 313704 kB
Mapped: 111456 kB
Shmem: 17960 kB
KReclaimable: 61868 kB
Slab: 138932 kB
SReclaimable: 61868 kB
SUnreclaim: 77064 kB
KernelStack: 4064 kB
PageTables: 3684 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 635752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 112640 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432944 MiB
End job on nodeC006 at 2025-06-28 20:01:18