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: 63665 MiB (63004 MiB free)
memory of node 1: 64507 MiB (63964 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494189-1751133665/watcher-4494189-1751133665 -o /tmp/evaluation-result-4494189-1751133665/solver-4494189-1751133665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751133631-11407 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4494189-1751133665.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=11729, runsolver pid=11725
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 2.06 0.60 0.26 3/270 11735
/proc/meminfo: memFree=130012256/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 29044471 4292608 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1048 768 704 219 0 110 0
[pid=11735] ppid=11729 vsize=464 memory=128 CPUtime=0 cores=4,6
/proc/11735/stat : 11735 (mkdir) D 11729 11729 11391 0 -1 4456448 47 0 0 0 0 0 0 0 20 0 1 0 29044477 475136 32 18446744073709551615 94345671127040 94345671169393 140731332100544 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 94345671186832 94345671188632 94345688326144 140731332102650 140731332102694 140731332102694 140731332108265 0
/proc/11735/statm: 116 32 32 11 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4656 KiB
Current children cumulated memory: 3200 KiB
[startup+0.205364 s]*
/proc/loadavg: 2.06 0.60 0.26 3/271 11737
/proc/meminfo: memFree=130012384/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
[pid=11737] ppid=11729 vsize=436 memory=128 CPUtime=0 cores=4,6
/proc/11737/stat : 11737 (timeout) R 11729 11729 11391 0 -1 4194304 68 0 0 0 0 0 0 0 20 0 1 0 29044487 446464 32 18446744073709551615 93850507206656 93850507223169 140728844211488 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 93850507237936 93850507240024 93850514153472 140728844220832 140728844220962 140728844220962 140728844226535 0
/proc/11737/statm: 109 32 32 5 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4760 KiB
Current children cumulated memory: 3200 KiB
[startup+0.305159 s]*
/proc/loadavg: 2.06 0.60 0.26 5/273 11740
/proc/meminfo: memFree=129992264/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
[pid=11737] ppid=11729 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/11737/stat : 11737 (timeout) S 11729 11737 11391 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29044487 2723840 320 18446744073709551615 93850507206656 93850507223169 140728844211488 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850507237936 93850507240024 93850514153472 140728844220832 140728844220962 140728844220962 140728844226535 0
/proc/11737/statm: 665 320 320 5 0 90 0
[pid=11738] ppid=11737 vsize=31904 memory=17536 CPUtime=0.07 cores=4,6
/proc/11738/stat : 11738 (CASHWMaxSAT-Dis) R 11737 11737 11391 0 -1 4194304 3614 0 0 0 7 0 0 0 20 0 1 0 29044494 32669696 4384 18446744073709551615 4198400 14817773 140725995110048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39964672 140725995116966 140725995117083 140725995117083 140725995122656 0
/proc/11738/statm: 7976 4384 864 2593 0 4869 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38888 KiB
Current children cumulated memory: 21888 KiB
[startup+0.700188 s]
/proc/loadavg: 2.06 0.60 0.26 5/273 11740
/proc/meminfo: memFree=129923720/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
[pid=11737] ppid=11729 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/11737/stat : 11737 (timeout) S 11729 11737 11391 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29044487 2723840 320 18446744073709551615 93850507206656 93850507223169 140728844211488 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850507237936 93850507240024 93850514153472 140728844220832 140728844220962 140728844220962 140728844226535 0
/proc/11737/statm: 665 320 320 5 0 90 0
[pid=11738] ppid=11737 vsize=99076 memory=84352 CPUtime=0.45 cores=4,6
/proc/11738/stat : 11738 (CASHWMaxSAT-Dis) R 11737 11737 11391 0 -1 4194304 20317 0 0 0 43 2 0 0 20 0 1 0 29044494 101453824 21088 18446744073709551615 4198400 14817773 140725995110048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39964672 140725995116966 140725995117083 140725995117083 140725995122656 0
/proc/11738/statm: 24769 21088 864 2593 0 21662 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 106060 KiB
Current children cumulated memory: 88704 KiB
[startup+1.50018 s]
/proc/loadavg: 2.06 0.60 0.26 5/273 11740
/proc/meminfo: memFree=129762440/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
[pid=11737] ppid=11729 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/11737/stat : 11737 (timeout) S 11729 11737 11391 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29044487 2723840 320 18446744073709551615 93850507206656 93850507223169 140728844211488 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850507237936 93850507240024 93850514153472 140728844220832 140728844220962 140728844220962 140728844226535 0
/proc/11737/statm: 665 320 320 5 0 90 0
[pid=11738] ppid=11737 vsize=236444 memory=221824 CPUtime=1.26 cores=4,6
/proc/11738/stat : 11738 (CASHWMaxSAT-Dis) R 11737 11737 11391 0 -1 4194304 54681 0 0 0 118 8 0 0 20 0 1 0 29044494 242118656 55456 18446744073709551615 4198400 14817773 140725995110048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39964672 140725995116966 140725995117083 140725995117083 140725995122656 0
/proc/11738/statm: 59111 55456 864 2593 0 56004 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 243428 KiB
Current children cumulated memory: 226176 KiB
[startup+3.10561 s]
/proc/loadavg: 2.06 0.60 0.26 5/273 11740
/proc/meminfo: memFree=129042840/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
[pid=11737] ppid=11729 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/11737/stat : 11737 (timeout) S 11729 11737 11391 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29044487 2723840 320 18446744073709551615 93850507206656 93850507223169 140728844211488 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850507237936 93850507240024 93850514153472 140728844220832 140728844220962 140728844220962 140728844226535 0
/proc/11737/statm: 665 320 320 5 0 90 0
[pid=11738] ppid=11737 vsize=511680 memory=496640 CPUtime=2.85 cores=4,6
/proc/11738/stat : 11738 (CASHWMaxSAT-Dis) R 11737 11737 11391 0 -1 4194304 123383 0 0 0 267 18 0 0 20 0 1 0 29044494 523960320 124160 18446744073709551615 4198400 14817773 140725995110048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39964672 140725995116966 140725995117083 140725995117083 140725995122656 0
/proc/11738/statm: 127920 124160 864 2593 0 124813 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 518664 KiB
Current children cumulated memory: 500992 KiB
[startup+6.30018 s]
/proc/loadavg: 2.22 0.66 0.28 5/273 11741
/proc/meminfo: memFree=128022400/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
[pid=11737] ppid=11729 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/11737/stat : 11737 (timeout) S 11729 11737 11391 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29044487 2723840 320 18446744073709551615 93850507206656 93850507223169 140728844211488 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850507237936 93850507240024 93850514153472 140728844220832 140728844220962 140728844220962 140728844226535 0
/proc/11737/statm: 665 320 320 5 0 90 0
[pid=11738] ppid=11737 vsize=1059700 memory=1044700 CPUtime=6.04 cores=4,6
/proc/11738/stat : 11738 (CASHWMaxSAT-Dis) R 11737 11737 11391 0 -1 4194304 259380 0 0 0 566 38 0 0 20 0 1 0 29044494 1085132800 261175 18446744073709551615 4198400 14817773 140725995110048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39964672 140725995116966 140725995117083 140725995117083 140725995122656 0
/proc/11738/statm: 264925 261175 864 2593 0 261818 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 1066684 KiB
Current children cumulated memory: 1049052 KiB
[startup+12.7002 s]
/proc/loadavg: 2.36 0.72 0.30 5/273 11741
/proc/meminfo: memFree=125967276/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
[pid=11737] ppid=11729 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/11737/stat : 11737 (timeout) S 11729 11737 11391 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29044487 2723840 320 18446744073709551615 93850507206656 93850507223169 140728844211488 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850507237936 93850507240024 93850514153472 140728844220832 140728844220962 140728844220962 140728844226535 0
/proc/11737/statm: 665 320 320 5 0 90 0
[pid=11738] ppid=11737 vsize=2109024 memory=2081848 CPUtime=12.43 cores=4,6
/proc/11738/stat : 11738 (CASHWMaxSAT-Dis) R 11737 11737 11391 0 -1 4194304 517188 0 0 0 1166 77 0 0 20 0 1 0 29044494 2159640576 520462 18446744073709551615 4198400 14817773 140725995110048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39964672 140725995116966 140725995117083 140725995117083 140725995122656 0
/proc/11738/statm: 527256 520462 864 2593 0 524149 0
Current children cumulated CPU time: 12.43 s
Current children cumulated vsize: 2116008 KiB
Current children cumulated memory: 2086200 KiB
[startup+25.5002 s]
/proc/loadavg: 2.72 0.88 0.36 5/273 11741
/proc/meminfo: memFree=122412628/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
[pid=11737] ppid=11729 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/11737/stat : 11737 (timeout) S 11729 11737 11391 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29044487 2723840 320 18446744073709551615 93850507206656 93850507223169 140728844211488 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850507237936 93850507240024 93850514153472 140728844220832 140728844220962 140728844220962 140728844226535 0
/proc/11737/statm: 665 320 320 5 0 90 0
[pid=11738] ppid=11737 vsize=3954752 memory=3767760 CPUtime=25.2 cores=4,6
/proc/11738/stat : 11738 (CASHWMaxSAT-Dis) R 11737 11737 11391 0 -1 4194304 671763 0 0 0 2381 139 0 0 20 0 1 0 29044494 4049666048 941940 18446744073709551615 4198400 14817773 140725995110048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39964672 140725995116966 140725995117083 140725995117083 140725995122656 0
/proc/11738/statm: 988688 941940 1216 2593 0 985581 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 3961736 KiB
Current children cumulated memory: 3772112 KiB
[startup+26.9079 s]
# the end of solver process 11729 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=25.0991 s, system=1.50706 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 2.72 0.88 0.36 5/273 11741
/proc/meminfo: memFree=122412628/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
[pid=11737] ppid=11729 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/11737/stat : 11737 (timeout) S 11729 11737 11391 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29044487 2723840 320 18446744073709551615 93850507206656 93850507223169 140728844211488 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850507237936 93850507240024 93850514153472 140728844220832 140728844220962 140728844220962 140728844226535 0
/proc/11737/statm: 665 320 320 5 0 90 0
[pid=11738] ppid=11737 vsize=3954752 memory=3767760 CPUtime=25.3 cores=4,6
/proc/11738/stat : 11738 (CASHWMaxSAT-Dis) R 11737 11737 11391 0 -1 4194304 671763 0 0 0 2391 139 0 0 20 0 1 0 29044494 4049666048 941940 18446744073709551615 4198400 14817773 140725995110048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39964672 140725995116966 140725995117083 140725995117083 140725995122656 0
/proc/11738/statm: 988688 941940 1216 2593 0 985581 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 3961736 KiB
Current children cumulated memory: 3772112 KiB
[startup+26.4002 s]
/proc/loadavg: 2.72 0.88 0.36 5/273 11741
/proc/meminfo: memFree=122361776/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
[pid=11737] ppid=11729 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/11737/stat : 11737 (timeout) S 11729 11737 11391 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29044487 2723840 320 18446744073709551615 93850507206656 93850507223169 140728844211488 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850507237936 93850507240024 93850514153472 140728844220832 140728844220962 140728844220962 140728844226535 0
/proc/11737/statm: 665 320 320 5 0 90 0
[pid=11738] ppid=11737 vsize=3954752 memory=3767776 CPUtime=26.09 cores=4,6
/proc/11738/stat : 11738 (CASHWMaxSAT-Dis) R 11737 11737 11391 0 -1 4194304 672543 0 0 0 2469 140 0 0 20 0 1 0 29044494 4049666048 941944 18446744073709551615 4198400 14817773 140725995110048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39964672 140725995116966 140725995117083 140725995117083 140725995122656 0
/proc/11738/statm: 988688 941944 1216 2593 0 985581 0
Current children cumulated CPU time: 26.09 s
Current children cumulated vsize: 3961736 KiB
Current children cumulated memory: 3772128 KiB
[startup+26.8002 s]
/proc/loadavg: 2.72 0.88 0.36 5/273 11741
/proc/meminfo: memFree=122361776/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
[pid=11737] ppid=11729 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/11737/stat : 11737 (timeout) S 11729 11737 11391 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29044487 2723840 320 18446744073709551615 93850507206656 93850507223169 140728844211488 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850507237936 93850507240024 93850514153472 140728844220832 140728844220962 140728844220962 140728844226535 0
/proc/11737/statm: 665 320 320 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB
[startup+26.9002 s]
/proc/loadavg: 2.72 0.88 0.36 5/273 11741
/proc/meminfo: memFree=122361776/131249996 swapFree=33010684/33010684
[pid=11729] ppid=11725 vsize=4324 memory=3072 CPUtime=26.59 cores=4,6
/proc/11729/stat : 11729 (Hybrid-CASHWMax) S 11725 11729 11391 0 -1 4194304 285 673198 0 0 0 0 2509 150 20 0 1 0 29044471 4427776 768 18446744073709551615 94189824757760 94189825652293 140734784411616 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94189825891344 94189825939088 94189828440064 140734784416087 140734784416241 140734784416241 140734784421843 0
/proc/11729/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 26.59 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 26.9079
CPU time (s): 26.6061
CPU user time (s): 25.0991
CPU system time (s): 1.50706
CPU usage (%): 98.8785
Max. virtual memory (cumulated for all children) (KiB): 4028100
Max. memory (cumulated for all children) (KiB): 3838400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.0991
system time used= 1.50706
maximum resident set size= 3834048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 673707
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 442
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 11729
# total CPU time (s): 26.6061
# total CPU user time (s): 25.0991
# total CPU system time (s): 1.50706
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068442 second user time and 0.150817 second system time
The end
Begin job on nodeC022 at 2025-06-28 20:01:06
IDJOB=4494189
IDBENCH=147884
IDSOLVER=3328
FILE ID=nodeC022/4494189-1751133665
RUNJOBID= nodeC022-1751133631-11407
SLURM_JOB_ID= 9587422
Free space on /tmp= 432856 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494189-1751133665/watcher-4494189-1751133665 -o /tmp/evaluation-result-4494189-1751133665/solver-4494189-1751133665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751133631-11407 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4494189-1751133665.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35aa7f329bd98b2a572b3b38df46d0d6
RANDOM SEED=1054116676
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.716
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.693
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.663
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.654
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.029
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.722
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.735
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130024404 kB
MemAvailable: 129754612 kB
Buffers: 3280 kB
Cached: 547556 kB
SwapCached: 0 kB
Active: 310612 kB
Inactive: 349032 kB
Active(anon): 126868 kB
Inactive(anon): 0 kB
Active(file): 183744 kB
Inactive(file): 349032 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 212100 kB
Writeback: 0 kB
AnonPages: 111928 kB
Mapped: 110380 kB
Shmem: 18060 kB
KReclaimable: 72940 kB
Slab: 154004 kB
SReclaimable: 72940 kB
SUnreclaim: 81064 kB
KernelStack: 4272 kB
PageTables: 3232 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 434956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432820 MiB
End job on nodeC022 at 2025-06-28 20:01:34