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: 64059 MiB (54069 MiB free)
memory of node 1: 64510 MiB (58911 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443716-1721315852/watcher-4443716-1721315852 -o /tmp/evaluation-result-4443716-1721315852/solver-4443716-1721315852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961572 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443716-1721315852.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=962471, runsolver pid=962468
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 3.95 2.54 3.23 5/252 962475
/proc/meminfo: memFree=115551720/131655788 swapFree=131071996/131071996
[pid=962471] ppid=962468 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/962471/stat : 962471 (Hybrid-CASHWMax) S 962468 962471 961560 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 183743977 10170368 689 134679101440 93901720076288 93901721155608 140726169053216 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93901723254064 93901723301252 93901751439360 140726169060301 140726169060460 140726169060460 140726169067476 0
/proc/962471/statm: 2483 689 611 264 0 134 0
[pid=962474] ppid=962471 vsize=8660 memory=992 CPUtime=0 cores=1,3
/proc/962474/stat : 962474 (timeout) S 962471 962474 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183743977 8867840 248 134679101440 94172339453952 94172339488968 140720878888144 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94172341586384 94172341588516 94172354220032 140720878896125 140720878896284 140720878896284 140720878903271 0
/proc/962474/statm: 2165 248 224 9 0 87 0
[pid=962475] ppid=962474 vsize=68768 memory=53816 CPUtime=0.09 cores=1,3
/proc/962475/stat : 962475 (CASHWMaxSAT-Dis) R 962474 962474 961560 0 -1 4194304 2884 0 0 0 8 1 0 0 20 0 1 0 183743978 70418432 13454 134679101440 4194304 15356333 140724966868032 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47026176 140724966872066 140724966872212 140724966872212 140724966879199 0
/proc/962475/statm: 17192 13454 922 2726 0 13940 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87360 KiB
Current children cumulated memory: 57564 KiB
[startup+0.211973 s]*
/proc/loadavg: 3.95 2.54 3.23 5/252 962475
/proc/meminfo: memFree=115468224/131655788 swapFree=131071996/131071996
[pid=962471] ppid=962468 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/962471/stat : 962471 (Hybrid-CASHWMax) S 962468 962471 961560 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 183743977 10170368 689 134679101440 93901720076288 93901721155608 140726169053216 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93901723254064 93901723301252 93901751439360 140726169060301 140726169060460 140726169060460 140726169067476 0
/proc/962471/statm: 2483 689 611 264 0 134 0
[pid=962474] ppid=962471 vsize=8660 memory=992 CPUtime=0 cores=1,3
/proc/962474/stat : 962474 (timeout) S 962471 962474 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183743977 8867840 248 134679101440 94172339453952 94172339488968 140720878888144 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94172341586384 94172341588516 94172354220032 140720878896125 140720878896284 140720878896284 140720878903271 0
/proc/962474/statm: 2165 248 224 9 0 87 0
[pid=962475] ppid=962474 vsize=74912 memory=58012 CPUtime=0.21 cores=1,3
/proc/962475/stat : 962475 (CASHWMaxSAT-Dis) R 962474 962474 961560 0 -1 4194304 3929 0 0 0 19 2 0 0 20 0 1 0 183743978 76709888 14503 134679101440 4194304 15356333 140724966868032 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47026176 140724966872066 140724966872212 140724966872212 140724966879199 0
/proc/962475/statm: 18728 14503 922 2726 0 15476 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 93504 KiB
Current children cumulated memory: 61760 KiB
[startup+0.312114 s]*
/proc/loadavg: 3.95 2.54 3.23 5/252 962475
/proc/meminfo: memFree=115427368/131655788 swapFree=131071996/131071996
[pid=962471] ppid=962468 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/962471/stat : 962471 (Hybrid-CASHWMax) S 962468 962471 961560 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 183743977 10170368 689 134679101440 93901720076288 93901721155608 140726169053216 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93901723254064 93901723301252 93901751439360 140726169060301 140726169060460 140726169060460 140726169067476 0
/proc/962471/statm: 2483 689 611 264 0 134 0
[pid=962474] ppid=962471 vsize=8660 memory=992 CPUtime=0 cores=1,3
/proc/962474/stat : 962474 (timeout) S 962471 962474 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183743977 8867840 248 134679101440 94172339453952 94172339488968 140720878888144 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94172341586384 94172341588516 94172354220032 140720878896125 140720878896284 140720878896284 140720878903271 0
/proc/962474/statm: 2165 248 224 9 0 87 0
[pid=962475] ppid=962474 vsize=74912 memory=60060 CPUtime=0.31 cores=1,3
/proc/962475/stat : 962475 (CASHWMaxSAT-Dis) R 962474 962474 961560 0 -1 4194304 3930 0 0 0 29 2 0 0 20 0 1 0 183743978 76709888 15015 134679101440 4194304 15356333 140724966868032 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47026176 140724966872066 140724966872212 140724966872212 140724966879199 0
/proc/962475/statm: 18728 15015 922 2726 0 15476 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 93504 KiB
Current children cumulated memory: 63808 KiB
[startup+0.700491 s]
/proc/loadavg: 3.95 2.54 3.23 5/252 962475
/proc/meminfo: memFree=115304012/131655788 swapFree=131071996/131071996
[pid=962471] ppid=962468 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/962471/stat : 962471 (Hybrid-CASHWMax) S 962468 962471 961560 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 183743977 10170368 689 134679101440 93901720076288 93901721155608 140726169053216 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93901723254064 93901723301252 93901751439360 140726169060301 140726169060460 140726169060460 140726169067476 0
/proc/962471/statm: 2483 689 611 264 0 134 0
[pid=962474] ppid=962471 vsize=8660 memory=992 CPUtime=0 cores=1,3
/proc/962474/stat : 962474 (timeout) S 962471 962474 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183743977 8867840 248 134679101440 94172339453952 94172339488968 140720878888144 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94172341586384 94172341588516 94172354220032 140720878896125 140720878896284 140720878896284 140720878903271 0
/proc/962474/statm: 2165 248 224 9 0 87 0
[pid=962475] ppid=962474 vsize=115876 memory=78276 CPUtime=0.68 cores=1,3
/proc/962475/stat : 962475 (CASHWMaxSAT-Dis) R 962474 962474 961560 0 -1 4194304 4974 0 0 0 65 3 0 0 20 0 1 0 183743978 118657024 19569 134679101440 4194304 15356333 140724966868032 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47026176 140724966872066 140724966872212 140724966872212 140724966879199 0
/proc/962475/statm: 28969 19569 922 2726 0 25717 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 134468 KiB
Current children cumulated memory: 82024 KiB
[startup+1.5005 s]
/proc/loadavg: 3.95 2.54 3.23 6/252 962475
/proc/meminfo: memFree=115165052/131655788 swapFree=131071996/131071996
[pid=962471] ppid=962468 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/962471/stat : 962471 (Hybrid-CASHWMax) S 962468 962471 961560 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 183743977 10170368 689 134679101440 93901720076288 93901721155608 140726169053216 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93901723254064 93901723301252 93901751439360 140726169060301 140726169060460 140726169060460 140726169067476 0
/proc/962471/statm: 2483 689 611 264 0 134 0
[pid=962474] ppid=962471 vsize=8660 memory=992 CPUtime=0 cores=1,3
/proc/962474/stat : 962474 (timeout) S 962471 962474 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183743977 8867840 248 134679101440 94172339453952 94172339488968 140720878888144 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94172341586384 94172341588516 94172354220032 140720878896125 140720878896284 140720878896284 140720878903271 0
/proc/962474/statm: 2165 248 224 9 0 87 0
[pid=962475] ppid=962474 vsize=132256 memory=99044 CPUtime=1.48 cores=1,3
/proc/962475/stat : 962475 (CASHWMaxSAT-Dis) R 962474 962474 961560 0 -1 4194304 5536 0 0 0 143 5 0 0 20 0 1 0 183743978 135430144 24761 134679101440 4194304 15356333 140724966868032 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47026176 140724966872066 140724966872212 140724966872212 140724966879199 0
/proc/962475/statm: 33064 24761 922 2726 0 29812 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 150848 KiB
Current children cumulated memory: 102792 KiB
[startup+3.11399 s]
/proc/loadavg: 3.95 2.56 3.24 5/248 962491
/proc/meminfo: memFree=115691396/131655788 swapFree=131071996/131071996
[pid=962471] ppid=962468 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/962471/stat : 962471 (Hybrid-CASHWMax) S 962468 962471 961560 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 183743977 10170368 689 134679101440 93901720076288 93901721155608 140726169053216 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93901723254064 93901723301252 93901751439360 140726169060301 140726169060460 140726169060460 140726169067476 0
/proc/962471/statm: 2483 689 611 264 0 134 0
[pid=962474] ppid=962471 vsize=8660 memory=992 CPUtime=0 cores=1,3
/proc/962474/stat : 962474 (timeout) S 962471 962474 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183743977 8867840 248 134679101440 94172339453952 94172339488968 140720878888144 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94172341586384 94172341588516 94172354220032 140720878896125 140720878896284 140720878896284 140720878903271 0
/proc/962474/statm: 2165 248 224 9 0 87 0
[pid=962475] ppid=962474 vsize=589508 memory=543728 CPUtime=3.08 cores=1,3
/proc/962475/stat : 962475 (CASHWMaxSAT-Dis) R 962474 962474 961560 0 -1 4194304 20295 0 0 0 284 24 0 0 20 0 1 0 183743978 603656192 135932 134679101440 4194304 15356333 140724966868032 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47026176 140724966872066 140724966872212 140724966872212 140724966879199 0
/proc/962475/statm: 147377 135932 970 2726 0 144125 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 608100 KiB
Current children cumulated memory: 547476 KiB
[startup+6.30048 s]
/proc/loadavg: 3.95 2.56 3.24 5/248 962493
/proc/meminfo: memFree=114532984/131655788 swapFree=131071996/131071996
[pid=962471] ppid=962468 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/962471/stat : 962471 (Hybrid-CASHWMax) S 962468 962471 961560 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 183743977 10170368 689 134679101440 93901720076288 93901721155608 140726169053216 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93901723254064 93901723301252 93901751439360 140726169060301 140726169060460 140726169060460 140726169067476 0
/proc/962471/statm: 2483 689 611 264 0 134 0
[pid=962474] ppid=962471 vsize=8660 memory=992 CPUtime=0 cores=1,3
/proc/962474/stat : 962474 (timeout) S 962471 962474 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183743977 8867840 248 134679101440 94172339453952 94172339488968 140720878888144 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94172341586384 94172341588516 94172354220032 140720878896125 140720878896284 140720878896284 140720878903271 0
/proc/962474/statm: 2165 248 224 9 0 87 0
[pid=962475] ppid=962474 vsize=514484 memory=469332 CPUtime=6.27 cores=1,3
/proc/962475/stat : 962475 (CASHWMaxSAT-Dis) R 962474 962474 961560 0 -1 4194304 32911 0 0 0 599 28 0 0 20 0 1 0 183743978 526831616 117333 134679101440 4194304 15356333 140724966868032 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47026176 140724966872066 140724966872212 140724966872212 140724966879199 0
/proc/962475/statm: 128621 117333 1034 2726 0 125369 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 533076 KiB
Current children cumulated memory: 473080 KiB
[startup+12.7005 s]
/proc/loadavg: 3.96 2.59 3.24 5/248 962530
/proc/meminfo: memFree=116596252/131655788 swapFree=131071996/131071996
[pid=962471] ppid=962468 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/962471/stat : 962471 (Hybrid-CASHWMax) S 962468 962471 961560 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 183743977 10170368 689 134679101440 93901720076288 93901721155608 140726169053216 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93901723254064 93901723301252 93901751439360 140726169060301 140726169060460 140726169060460 140726169067476 0
/proc/962471/statm: 2483 689 611 264 0 134 0
[pid=962474] ppid=962471 vsize=8660 memory=992 CPUtime=0 cores=1,3
/proc/962474/stat : 962474 (timeout) S 962471 962474 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183743977 8867840 248 134679101440 94172339453952 94172339488968 140720878888144 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94172341586384 94172341588516 94172354220032 140720878896125 140720878896284 140720878896284 140720878903271 0
/proc/962474/statm: 2165 248 224 9 0 87 0
[pid=962475] ppid=962474 vsize=1851052 memory=1749952 CPUtime=12.65 cores=1,3
/proc/962475/stat : 962475 (CASHWMaxSAT-Dis) R 962474 962474 961560 0 -1 4194304 268044 0 0 0 1195 70 0 0 20 0 1 0 183743978 1895477248 437488 134679101440 4194304 15356333 140724966868032 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47026176 140724966872066 140724966872212 140724966872212 140724966879199 0
/proc/962475/statm: 462763 437488 1066 2726 0 459511 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1869644 KiB
Current children cumulated memory: 1753700 KiB
[startup+13.2928 s]
# the end of solver process 962471 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=12.4738 s, system=0.784129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8006 s]
/proc/loadavg: 3.96 2.59 3.24 5/248 962530
/proc/meminfo: memFree=116596252/131655788 swapFree=131071996/131071996
[pid=962471] ppid=962468 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/962471/stat : 962471 (Hybrid-CASHWMax) S 962468 962471 961560 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 183743977 10170368 689 134679101440 93901720076288 93901721155608 140726169053216 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93901723254064 93901723301252 93901751439360 140726169060301 140726169060460 140726169060460 140726169067476 0
/proc/962471/statm: 2483 689 611 264 0 134 0
[pid=962474] ppid=962471 vsize=8660 memory=992 CPUtime=0 cores=1,3
/proc/962474/stat : 962474 (timeout) S 962471 962474 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183743977 8867840 248 134679101440 94172339453952 94172339488968 140720878888144 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94172341586384 94172341588516 94172354220032 140720878896125 140720878896284 140720878896284 140720878903271 0
/proc/962474/statm: 2165 248 224 9 0 87 0
[pid=962475] ppid=962474 vsize=1873848 memory=1776656 CPUtime=12.75 cores=1,3
/proc/962475/stat : 962475 (CASHWMaxSAT-Dis) R 962474 962474 961560 0 -1 4194304 269111 0 0 0 1205 70 0 0 20 0 1 0 183743978 1918820352 444164 134679101440 4194304 15356333 140724966868032 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47026176 140724966872066 140724966872212 140724966872212 140724966879199 0
/proc/962475/statm: 468462 444164 1066 2726 0 465210 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 1892440 KiB
Current children cumulated memory: 1780404 KiB
[startup+13.2004 s]
/proc/loadavg: 3.96 2.61 3.25 5/248 962544
/proc/meminfo: memFree=115853228/131655788 swapFree=131071996/131071996
[pid=962471] ppid=962468 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/962471/stat : 962471 (Hybrid-CASHWMax) S 962468 962471 961560 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 183743977 10170368 689 134679101440 93901720076288 93901721155608 140726169053216 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93901723254064 93901723301252 93901751439360 140726169060301 140726169060460 140726169060460 140726169067476 0
/proc/962471/statm: 2483 689 611 264 0 134 0
[pid=962474] ppid=962471 vsize=8660 memory=992 CPUtime=0 cores=1,3
/proc/962474/stat : 962474 (timeout) S 962471 962474 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183743977 8867840 248 134679101440 94172339453952 94172339488968 140720878888144 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94172341586384 94172341588516 94172354220032 140720878896125 140720878896284 140720878896284 140720878903271 0
/proc/962474/statm: 2165 248 224 9 0 87 0
[pid=962475] ppid=962474 vsize=1825720 memory=1722564 CPUtime=13.15 cores=1,3
/proc/962475/stat : 962475 (CASHWMaxSAT-Dis) R 962474 962474 961560 0 -1 4194304 270474 0 0 0 1244 71 0 0 20 0 1 0 183743978 1869537280 430641 134679101440 4194304 15356333 140724966868032 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47026176 140724966872066 140724966872212 140724966872212 140724966879199 0
/proc/962475/statm: 456430 430641 1146 2726 0 453178 0
Current children cumulated CPU time: 13.15 s
Current children cumulated vsize: 1844312 KiB
Current children cumulated memory: 1726312 KiB
Child status: 0
Real time (s): 13.2929
CPU time (s): 13.2579
CPU user time (s): 12.4738
CPU system time (s): 0.784129
CPU usage (%): 99.7371
Max. virtual memory (cumulated for all children) (KiB): 1892440
Max. memory (cumulated for all children) (KiB): 1780404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4738
system time used= 0.784129
maximum resident set size= 1844384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276084
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= 11
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 962471
# total CPU time (s): 13.2579
# total CPU user time (s): 12.4738
# total CPU system time (s): 0.784129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.098755 second user time and 0.200406 second system time
The end
Begin job on nodeC006 at 2024-07-18 17:17:45
IDJOB=4443716
IDBENCH=147883
IDSOLVER=3072
FILE ID=nodeC006/4443716-1721315852
RUNJOBID= nodeC006-1721315784-961572
SLURM_JOB_ID= 7542651
Free space on /tmp= 723480 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443716-1721315852/watcher-4443716-1721315852 -o /tmp/evaluation-result-4443716-1721315852/solver-4443716-1721315852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961572 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443716-1721315852.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a13baf32d9ef8d04301e73a4b88257d0
RANDOM SEED=557920907
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3592.118
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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 : 1319.065
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
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.278
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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 : 1298.120
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
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 : 3546.094
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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 : 3671.751
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.302
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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.455
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 115721892 kB
MemAvailable: 122204200 kB
Buffers: 496796 kB
Cached: 6744996 kB
SwapCached: 0 kB
Active: 1171532 kB
Inactive: 14022124 kB
Active(anon): 1508 kB
Inactive(anon): 7988064 kB
Active(file): 1170024 kB
Inactive(file): 6034060 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 322604 kB
Writeback: 0 kB
AnonPages: 7951452 kB
Mapped: 118100 kB
Shmem: 37704 kB
KReclaimable: 236508 kB
Slab: 354864 kB
SReclaimable: 236508 kB
SUnreclaim: 118356 kB
KernelStack: 4016 kB
PageTables: 25052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 8262300 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2957312 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723408 MiB
End job on nodeC006 at 2024-07-18 17:17:58