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 (62216 MiB free)
memory of node 1: 64507 MiB (63242 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4547142-1753267014/watcher-4547142-1753267014 -o /tmp/evaluation-result-4547142-1753267014/solver-4547142-1753267014 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753267014-204954 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547142-1753267014.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=205002, runsolver pid=204989
[startup+0.10003 s]*
/proc/loadavg: 1.93 2.05 2.17 5/265 205010
/proc/meminfo: memFree=128444632/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
[pid=205009] ppid=205002 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/205009/stat : 205009 (timeout) S 205002 205009 203609 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242381729 2723840 352 18446744073709551615 94615000256512 94615000273025 140727648961184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94615000287792 94615000289880 94615005347840 140727648962974 140727648963104 140727648963104 140727648968679 0
/proc/205009/statm: 665 352 352 5 0 90 0
[pid=205010] ppid=205009 vsize=29988 memory=15744 CPUtime=0.07 cores=5,7
/proc/205010/stat : 205010 (CASHWMaxSAT-Dis) R 205009 205009 203609 0 -1 4194304 3151 0 0 0 7 0 0 0 20 0 1 0 242381730 30707712 3936 18446744073709551615 4198400 14817773 140732359944880 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25518080 140732359948708 140732359948825 140732359948825 140732359954400 0
/proc/205010/statm: 7497 3936 864 2593 0 4390 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 36972 KiB
Current children cumulated memory: 20224 KiB
[startup+0.205617 s]*
/proc/loadavg: 1.93 2.05 2.17 5/265 205011
/proc/meminfo: memFree=128411900/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
[pid=205009] ppid=205002 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/205009/stat : 205009 (timeout) S 205002 205009 203609 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242381729 2723840 352 18446744073709551615 94615000256512 94615000273025 140727648961184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94615000287792 94615000289880 94615005347840 140727648962974 140727648963104 140727648963104 140727648968679 0
/proc/205009/statm: 665 352 352 5 0 90 0
[pid=205010] ppid=205009 vsize=45644 memory=31232 CPUtime=0.17 cores=5,7
/proc/205010/stat : 205010 (CASHWMaxSAT-Dis) R 205009 205009 203609 0 -1 4194304 7039 0 0 0 16 1 0 0 20 0 1 0 242381730 46739456 7808 18446744073709551615 4198400 14817773 140732359944880 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25518080 140732359948708 140732359948825 140732359948825 140732359954400 0
/proc/205010/statm: 11411 7808 864 2593 0 8304 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 35712 KiB
[startup+0.305533 s]*
/proc/loadavg: 1.93 2.05 2.17 5/271 205022
/proc/meminfo: memFree=128395820/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
[pid=205009] ppid=205002 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/205009/stat : 205009 (timeout) S 205002 205009 203609 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242381729 2723840 352 18446744073709551615 94615000256512 94615000273025 140727648961184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94615000287792 94615000289880 94615005347840 140727648962974 140727648963104 140727648963104 140727648968679 0
/proc/205009/statm: 665 352 352 5 0 90 0
[pid=205010] ppid=205009 vsize=60260 memory=45952 CPUtime=0.27 cores=5,7
/proc/205010/stat : 205010 (CASHWMaxSAT-Dis) R 205009 205009 203609 0 -1 4194304 10711 0 0 0 25 2 0 0 20 0 1 0 242381730 61706240 11488 18446744073709551615 4198400 14817773 140732359944880 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25518080 140732359948708 140732359948825 140732359948825 140732359954400 0
/proc/205010/statm: 15065 11488 864 2593 0 11958 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 67244 KiB
Current children cumulated memory: 50432 KiB
[startup+0.700171 s]
/proc/loadavg: 1.93 2.05 2.17 5/272 205023
/proc/meminfo: memFree=128327056/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
[pid=205009] ppid=205002 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/205009/stat : 205009 (timeout) S 205002 205009 203609 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242381729 2723840 352 18446744073709551615 94615000256512 94615000273025 140727648961184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94615000287792 94615000289880 94615005347840 140727648962974 140727648963104 140727648963104 140727648968679 0
/proc/205009/statm: 665 352 352 5 0 90 0
[pid=205010] ppid=205009 vsize=117364 memory=103040 CPUtime=0.66 cores=5,7
/proc/205010/stat : 205010 (CASHWMaxSAT-Dis) R 205009 205009 203609 0 -1 4194304 24982 0 0 0 62 4 0 0 20 0 1 0 242381730 120180736 25760 18446744073709551615 4198400 14817773 140732359944880 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25518080 140732359948708 140732359948825 140732359948825 140732359954400 0
/proc/205010/statm: 29341 25760 864 2593 0 26234 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 107520 KiB
[startup+1.50021 s]
/proc/loadavg: 1.93 2.05 2.17 5/266 205033
/proc/meminfo: memFree=128194508/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
[pid=205009] ppid=205002 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/205009/stat : 205009 (timeout) S 205002 205009 203609 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242381729 2723840 352 18446744073709551615 94615000256512 94615000273025 140727648961184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94615000287792 94615000289880 94615005347840 140727648962974 140727648963104 140727648963104 140727648968679 0
/proc/205009/statm: 665 352 352 5 0 90 0
[pid=205010] ppid=205009 vsize=165020 memory=149952 CPUtime=1.46 cores=5,7
/proc/205010/stat : 205010 (CASHWMaxSAT-Dis) R 205009 205009 203609 0 -1 4194304 38591 0 0 0 140 6 0 0 20 0 1 0 242381730 168980480 37488 18446744073709551615 4198400 14817773 140732359944880 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25518080 140732359948708 140732359948825 140732359948825 140732359954400 0
/proc/205010/statm: 41255 37488 960 2593 0 38148 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 172004 KiB
Current children cumulated memory: 154432 KiB
[startup+3.10551 s]
/proc/loadavg: 2.10 2.08 2.18 5/269 205039
/proc/meminfo: memFree=127894904/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
[pid=205009] ppid=205002 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/205009/stat : 205009 (timeout) S 205002 205009 203609 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242381729 2723840 352 18446744073709551615 94615000256512 94615000273025 140727648961184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94615000287792 94615000289880 94615005347840 140727648962974 140727648963104 140727648963104 140727648968679 0
/proc/205009/statm: 665 352 352 5 0 90 0
[pid=205010] ppid=205009 vsize=179376 memory=163024 CPUtime=3.06 cores=5,7
/proc/205010/stat : 205010 (CASHWMaxSAT-Dis) R 205009 205009 203609 0 -1 4194304 41196 0 0 0 299 7 0 0 20 0 1 0 242381730 183681024 40756 18446744073709551615 4198400 14817773 140732359944880 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25518080 140732359948708 140732359948825 140732359948825 140732359954400 0
/proc/205010/statm: 44844 40756 960 2593 0 41737 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 186360 KiB
Current children cumulated memory: 167504 KiB
[startup+6.30019 s]
/proc/loadavg: 2.10 2.08 2.18 4/266 205083
/proc/meminfo: memFree=127463248/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
[pid=205009] ppid=205002 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/205009/stat : 205009 (timeout) S 205002 205009 203609 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242381729 2723840 352 18446744073709551615 94615000256512 94615000273025 140727648961184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94615000287792 94615000289880 94615005347840 140727648962974 140727648963104 140727648963104 140727648968679 0
/proc/205009/statm: 665 352 352 5 0 90 0
[pid=205010] ppid=205009 vsize=167772 memory=152828 CPUtime=6.24 cores=5,7
/proc/205010/stat : 205010 (CASHWMaxSAT-Dis) R 205009 205009 203609 0 -1 4194304 43388 0 0 0 616 8 0 0 20 0 1 0 242381730 171798528 38207 18446744073709551615 4198400 14817773 140732359944880 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25518080 140732359948708 140732359948825 140732359948825 140732359954400 0
/proc/205010/statm: 41943 38207 960 2593 0 38836 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 174756 KiB
Current children cumulated memory: 157308 KiB
[startup+12.7002 s]
/proc/loadavg: 2.25 2.12 2.19 5/269 205289
/proc/meminfo: memFree=127744244/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
[pid=205009] ppid=205002 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/205009/stat : 205009 (timeout) S 205002 205009 203609 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242381729 2723840 352 18446744073709551615 94615000256512 94615000273025 140727648961184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94615000287792 94615000289880 94615005347840 140727648962974 140727648963104 140727648963104 140727648968679 0
/proc/205009/statm: 665 352 352 5 0 90 0
[pid=205010] ppid=205009 vsize=170040 memory=155232 CPUtime=12.62 cores=5,7
/proc/205010/stat : 205010 (CASHWMaxSAT-Dis) R 205009 205009 203609 0 -1 4194304 45199 0 0 0 1253 9 0 0 20 0 1 0 242381730 174120960 38808 18446744073709551615 4198400 14817773 140732359944880 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25518080 140732359948708 140732359948825 140732359948825 140732359954400 0
/proc/205010/statm: 42510 38808 960 2593 0 39403 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 177024 KiB
Current children cumulated memory: 159712 KiB
[startup+14.1156 s]
# the end of solver process 205002 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=13.7705 s, system=0.120733 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 2.25 2.12 2.19 5/269 205289
/proc/meminfo: memFree=127744244/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
[pid=205009] ppid=205002 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/205009/stat : 205009 (timeout) S 205002 205009 203609 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242381729 2723840 352 18446744073709551615 94615000256512 94615000273025 140727648961184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94615000287792 94615000289880 94615005347840 140727648962974 140727648963104 140727648963104 140727648968679 0
/proc/205009/statm: 665 352 352 5 0 90 0
[pid=205010] ppid=205009 vsize=170040 memory=155232 CPUtime=12.72 cores=5,7
/proc/205010/stat : 205010 (CASHWMaxSAT-Dis) R 205009 205009 203609 0 -1 4194304 45199 0 0 0 1263 9 0 0 20 0 1 0 242381730 174120960 38808 18446744073709551615 4198400 14817773 140732359944880 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25518080 140732359948708 140732359948825 140732359948825 140732359954400 0
/proc/205010/statm: 42510 38808 960 2593 0 39403 0
Current children cumulated CPU time: 12.72 s
Current children cumulated vsize: 177024 KiB
Current children cumulated memory: 159712 KiB
[startup+13.6002 s]
/proc/loadavg: 2.39 2.15 2.20 4/267 205295
/proc/meminfo: memFree=127746360/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
[pid=205009] ppid=205002 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/205009/stat : 205009 (timeout) S 205002 205009 203609 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242381729 2723840 352 18446744073709551615 94615000256512 94615000273025 140727648961184 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94615000287792 94615000289880 94615005347840 140727648962974 140727648963104 140727648963104 140727648968679 0
/proc/205009/statm: 665 352 352 5 0 90 0
[pid=205010] ppid=205009 vsize=170404 memory=155604 CPUtime=13.52 cores=5,7
/proc/205010/stat : 205010 (CASHWMaxSAT-Dis) R 205009 205009 203609 0 -1 4194304 45473 0 0 0 1342 10 0 0 20 0 1 0 242381730 174493696 38901 18446744073709551615 4198400 14817773 140732359944880 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25518080 140732359948708 140732359948825 140732359948825 140732359954400 0
/proc/205010/statm: 42601 38901 960 2593 0 39494 0
Current children cumulated CPU time: 13.52 s
Current children cumulated vsize: 177388 KiB
Current children cumulated memory: 160084 KiB
[startup+14.0002 s]*
/proc/loadavg: 2.39 2.15 2.20 3/265 205312
/proc/meminfo: memFree=127970756/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=13.88 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 283 45694 0 0 0 0 1377 11 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
[pid=205312] ppid=205002 vsize=432 memory=128 CPUtime=0 cores=5,7
/proc/205312/stat : 205312 (cat) D 205002 205002 203609 0 -1 4456448 46 0 0 0 0 0 0 0 20 0 1 0 242383123 442368 32 18446744073709551615 94543264067584 94543264082641 140721629592160 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94543264094864 94543264096360 94543295127552 140721629600237 140721629600296 140721629600296 140721629605867 0
/proc/205312/statm: 108 32 32 4 0 42 0
Current children cumulated CPU time: 13.88 s
Current children cumulated vsize: 4756 KiB
Current children cumulated memory: 3200 KiB
[startup+14.1055 s]
/proc/loadavg: 2.39 2.15 2.20 3/265 205312
/proc/meminfo: memFree=127970756/131250000 swapFree=33008868/33010684
[pid=205002] ppid=204989 vsize=4324 memory=3072 CPUtime=13.88 cores=5,7
/proc/205002/stat : 205002 (Hybrid-CASHWMax) S 204989 205002 203609 0 -1 4194304 311 45783 0 0 0 0 1377 11 20 0 1 0 242381727 4427776 768 18446744073709551615 94597100888064 94597101782597 140735992406448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94597102021648 94597102069392 94597110767616 140735992412501 140735992412655 140735992412655 140735992418259 0
/proc/205002/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 13.88 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 14.1156
CPU time (s): 13.8912
CPU user time (s): 13.7705
CPU system time (s): 0.120733
CPU usage (%): 98.41
Max. virtual memory (cumulated for all children) (KiB): 202400
Max. memory (cumulated for all children) (KiB): 181560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.7705
system time used= 0.120733
maximum resident set size= 180408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 447
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 205002
# total CPU time (s): 13.8912
# total CPU user time (s): 13.7705
# total CPU system time (s): 0.120733
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037386 second user time and 0.097636 second system time
The end
Begin job on nodeC013 at 2025-07-23 12:36:55
IDJOB=4547142
IDBENCH=147894
IDSOLVER=3424
FILE ID=nodeC013/4547142-1753267014
RUNJOBID= nodeC013-1753267014-204954
SLURM_JOB_ID= 9689168
Free space on /tmp= 432984 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4547142-1753267014/watcher-4547142-1753267014 -o /tmp/evaluation-result-4547142-1753267014/solver-4547142-1753267014 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753267014-204954 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547142-1753267014.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a
RANDOM SEED=537666460
nodeC013 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 : 3600.108
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.67
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 : 3598.801
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.67
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 : 3600.064
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.67
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.815
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.67
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.356
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.67
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 : 3723.790
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.67
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.971
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.67
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.832
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128492568 kB
MemAvailable: 129665152 kB
Buffers: 1668 kB
Cached: 1912604 kB
SwapCached: 52 kB
Active: 936292 kB
Inactive: 1054588 kB
Active(anon): 93224 kB
Inactive(anon): 4872 kB
Active(file): 843068 kB
Inactive(file): 1049716 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 76880 kB
Writeback: 0 kB
AnonPages: 79780 kB
Mapped: 104184 kB
Shmem: 21424 kB
KReclaimable: 237680 kB
Slab: 333956 kB
SReclaimable: 237680 kB
SUnreclaim: 96276 kB
KernelStack: 4052 kB
PageTables: 2652 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 339036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432968 MiB
End job on nodeC013 at 2025-07-23 12:37:09