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 (58996 MiB free)
memory of node 1: 64510 MiB (61636 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443536-1721315811/watcher-4443536-1721315811 -o /tmp/evaluation-result-4443536-1721315811/solver-4443536-1721315811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961573 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443536-1721315811.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=962175, runsolver pid=962172
[startup+0.100098 s]*
/proc/loadavg: 2.69 2.15 3.14 6/246 962190
/proc/meminfo: memFree=123472588/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=74912 memory=57860 CPUtime=0.09 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 3891 0 0 0 8 1 0 0 20 0 1 0 183739854 76709888 14465 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 18728 14465 922 2726 0 15476 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93504 KiB
Current children cumulated memory: 61580 KiB
[startup+0.213264 s]*
/proc/loadavg: 2.69 2.15 3.14 5/246 962200
/proc/meminfo: memFree=123471268/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=83104 memory=66056 CPUtime=0.21 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 4415 0 0 0 19 2 0 0 20 0 1 0 183739854 85098496 16514 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 20776 16514 922 2726 0 17524 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 101696 KiB
Current children cumulated memory: 69776 KiB
[startup+0.313198 s]*
/proc/loadavg: 2.69 2.15 3.14 5/244 962200
/proc/meminfo: memFree=123466044/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=99488 memory=72224 CPUtime=0.31 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 4943 0 0 0 29 2 0 0 20 0 1 0 183739854 101875712 18056 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 24872 18056 922 2726 0 21620 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 118080 KiB
Current children cumulated memory: 75944 KiB
[startup+0.700488 s]
/proc/loadavg: 2.69 2.15 3.14 5/252 962214
/proc/meminfo: memFree=123414880/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=132256 memory=94796 CPUtime=0.68 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 5493 0 0 0 65 3 0 0 20 0 1 0 183739854 135430144 23699 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 33064 23699 922 2726 0 29812 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 150848 KiB
Current children cumulated memory: 98516 KiB
[startup+1.50051 s]
/proc/loadavg: 2.69 2.15 3.14 6/252 962214
/proc/meminfo: memFree=123353248/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=197924 memory=146044 CPUtime=1.48 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 6078 0 0 0 142 6 0 0 20 0 1 0 183739854 202674176 36511 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 49481 36511 922 2726 0 46229 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 216516 KiB
Current children cumulated memory: 149764 KiB
[startup+3.11353 s]
/proc/loadavg: 2.69 2.15 3.14 5/252 962214
/proc/meminfo: memFree=122567644/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=620448 memory=574696 CPUtime=3.09 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 21414 0 0 0 286 23 0 0 20 0 1 0 183739854 635338752 143674 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 155112 143674 1002 2726 0 151860 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 639040 KiB
Current children cumulated memory: 578416 KiB
[startup+6.30046 s]
/proc/loadavg: 2.87 2.20 3.15 5/248 962230
/proc/meminfo: memFree=122925116/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=698008 memory=652764 CPUtime=6.27 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 79368 0 0 0 595 32 0 0 20 0 1 0 183739854 714760192 163191 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 174502 163191 1034 2726 0 171250 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 716600 KiB
Current children cumulated memory: 656484 KiB
[startup+12.4897 s]
# the end of solver process 962175 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=11.6886 s, system=0.770279 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40055 s]
/proc/loadavg: 2.87 2.20 3.15 5/248 962230
/proc/meminfo: memFree=122925116/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=719124 memory=672828 CPUtime=6.37 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 84413 0 0 0 605 32 0 0 20 0 1 0 183739854 736382976 168207 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 179781 168207 1034 2726 0 176529 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 737716 KiB
Current children cumulated memory: 676548 KiB
[startup+9.60045 s]
/proc/loadavg: 3.04 2.24 3.16 5/252 962267
/proc/meminfo: memFree=121995564/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=1357416 memory=1306644 CPUtime=9.57 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 238813 0 0 0 901 56 0 0 20 0 1 0 183739854 1389993984 326661 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 339354 326661 1050 2726 0 336102 0
Current children cumulated CPU time: 9.57 s
Current children cumulated vsize: 1376008 KiB
Current children cumulated memory: 1310364 KiB
[startup+11.2005 s]
/proc/loadavg: 3.04 2.24 3.16 6/252 962267
/proc/meminfo: memFree=121288620/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=1682348 memory=1606764 CPUtime=11.16 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 263566 0 0 0 1050 66 0 0 20 0 1 0 183739854 1722724352 401691 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 420587 401691 1066 2726 0 417335 0
Current children cumulated CPU time: 11.16 s
Current children cumulated vsize: 1700940 KiB
Current children cumulated memory: 1610484 KiB
[startup+12.0004 s]*
/proc/loadavg: 3.04 2.24 3.16 5/248 962283
/proc/meminfo: memFree=121848700/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=1762216 memory=1662568 CPUtime=11.97 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 267961 0 0 0 1128 69 0 0 20 0 1 0 183739854 1804509184 415642 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 440554 415642 1066 2726 0 437302 0
Current children cumulated CPU time: 11.97 s
Current children cumulated vsize: 1780808 KiB
Current children cumulated memory: 1666288 KiB
[startup+12.4004 s]
/proc/loadavg: 3.04 2.24 3.16 5/248 962283
/proc/meminfo: memFree=121848700/131655788 swapFree=131071996/131071996
[pid=962175] ppid=962172 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/962175/stat : 962175 (Hybrid-CASHWMax) S 962172 962175 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183739853 10170368 680 134679101440 94885340344320 94885341423640 140732460605648 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94885343522096 94885343569284 94885371932672 140732460614605 140732460614764 140732460614764 140732460621780 0
/proc/962175/statm: 2483 680 601 264 0 134 0
[pid=962178] ppid=962175 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/962178/stat : 962178 (timeout) S 962175 962178 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183739853 8867840 250 134679101440 94326216433664 94326216468680 140728210072688 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94326218566096 94326218568228 94326224019456 140728210076669 140728210076828 140728210076828 140728210083815 0
/proc/962178/statm: 2165 250 226 9 0 87 0
[pid=962179] ppid=962178 vsize=1798804 memory=1692368 CPUtime=12.36 cores=5,7
/proc/962179/stat : 962179 (CASHWMaxSAT-Dis) R 962178 962178 961560 0 -1 4194304 269663 0 0 0 1166 70 0 0 20 0 1 0 183739854 1841975296 423092 134679101440 4194304 15356333 140728979226640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 47599616 140728979235842 140728979235988 140728979235988 140728979242975 0
/proc/962179/statm: 449701 423092 1146 2726 0 446449 0
Current children cumulated CPU time: 12.36 s
Current children cumulated vsize: 1817396 KiB
Current children cumulated memory: 1696088 KiB
Child status: 0
Real time (s): 12.4898
CPU time (s): 12.4589
CPU user time (s): 11.6886
CPU system time (s): 0.770279
CPU usage (%): 99.7525
Max. virtual memory (cumulated for all children) (KiB): 1865172
Max. memory (cumulated for all children) (KiB): 1750528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6886
system time used= 0.770279
maximum resident set size= 1776404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273500
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= 10
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 962175
# total CPU time (s): 12.4589
# total CPU user time (s): 11.6886
# total CPU system time (s): 0.770279
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.103586 second user time and 0.183135 second system time
The end
Begin job on nodeC006 at 2024-07-18 17:17:03
IDJOB=4443536
IDBENCH=147877
IDSOLVER=3072
FILE ID=nodeC006/4443536-1721315811
RUNJOBID= nodeC006-1721315784-961573
SLURM_JOB_ID= 7542651
Free space on /tmp= 723688 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_9.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-4443536-1721315811/watcher-4443536-1721315811 -o /tmp/evaluation-result-4443536-1721315811/solver-4443536-1721315811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961573 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443536-1721315811.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c304efff63a51bc9fe525a7646c6360
RANDOM SEED=1603020042
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 : 3661.336
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 : 3665.914
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.269
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 : 1197.272
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 : 3663.897
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 : 3669.492
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.282
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.251
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: 123527688 kB
MemAvailable: 129792848 kB
Buffers: 496712 kB
Cached: 6530728 kB
SwapCached: 0 kB
Active: 964664 kB
Inactive: 6443700 kB
Active(anon): 1492 kB
Inactive(anon): 417204 kB
Active(file): 963172 kB
Inactive(file): 6026496 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 72732 kB
Writeback: 0 kB
AnonPages: 379708 kB
Mapped: 114696 kB
Shmem: 37704 kB
KReclaimable: 231048 kB
Slab: 349160 kB
SReclaimable: 231048 kB
SUnreclaim: 118112 kB
KernelStack: 3932 kB
PageTables: 9676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 725876 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 223232 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= 723656 MiB
End job on nodeC006 at 2024-07-18 17:17:16