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 (58920 MiB free)
memory of node 1: 64510 MiB (54676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443926-1721315907/watcher-4443926-1721315907 -o /tmp/evaluation-result-4443926-1721315907/solver-4443926-1721315907 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961570 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443926-1721315907.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=962852, runsolver pid=962849
[startup+0.100097 s]*
/proc/loadavg: 4.12 2.82 3.29 5/248 962856
/proc/meminfo: memFree=116265328/131655788 swapFree=131071996/131071996
[pid=962852] ppid=962849 vsize=9932 memory=2800 CPUtime=0 cores=0,2
/proc/962852/stat : 962852 (Hybrid-CASHWMax) S 962849 962852 961560 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 183749460 10170368 700 134679101440 94013599551488 94013600630808 140727196179008 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94013602729264 94013602776452 94013614428160 140727196181453 140727196181612 140727196181612 140727196188628 0
/proc/962852/statm: 2483 700 623 264 0 134 0
[pid=962855] ppid=962852 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/962855/stat : 962855 (timeout) S 962852 962855 961560 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 183749460 8867840 258 134679101440 94275379683328 94275379718344 140730340417392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94275381815760 94275381817892 94275384918016 140730340426749 140730340426908 140730340426908 140730340433895 0
/proc/962855/statm: 2165 258 233 9 0 87 0
[pid=962856] ppid=962855 vsize=43148 memory=28000 CPUtime=0.09 cores=0,2
/proc/962856/stat : 962856 (CASHWMaxSAT-Dis) R 962855 962855 961560 0 -1 4194304 4073 0 0 0 9 0 0 0 20 0 1 0 183749460 44183552 7000 134679101440 4194304 15356333 140730114380432 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34619392 140730114388994 140730114389140 140730114389140 140730114396127 0
/proc/962856/statm: 10787 7000 922 2726 0 7535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61740 KiB
Current children cumulated memory: 31832 KiB
[startup+0.213186 s]*
/proc/loadavg: 4.12 2.82 3.29 5/248 962856
/proc/meminfo: memFree=116233820/131655788 swapFree=131071996/131071996
[pid=962852] ppid=962849 vsize=9932 memory=2800 CPUtime=0 cores=0,2
/proc/962852/stat : 962852 (Hybrid-CASHWMax) S 962849 962852 961560 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 183749460 10170368 700 134679101440 94013599551488 94013600630808 140727196179008 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94013602729264 94013602776452 94013614428160 140727196181453 140727196181612 140727196181612 140727196188628 0
/proc/962852/statm: 2483 700 623 264 0 134 0
[pid=962855] ppid=962852 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/962855/stat : 962855 (timeout) S 962852 962855 961560 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 183749460 8867840 258 134679101440 94275379683328 94275379718344 140730340417392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94275381815760 94275381817892 94275384918016 140730340426749 140730340426908 140730340426908 140730340433895 0
/proc/962855/statm: 2165 258 233 9 0 87 0
[pid=962856] ppid=962855 vsize=51340 memory=34148 CPUtime=0.21 cores=0,2
/proc/962856/stat : 962856 (CASHWMaxSAT-Dis) R 962855 962855 961560 0 -1 4194304 4593 0 0 0 20 1 0 0 20 0 1 0 183749460 52572160 8537 134679101440 4194304 15356333 140730114380432 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34619392 140730114388994 140730114389140 140730114389140 140730114396127 0
/proc/962856/statm: 12835 8537 922 2726 0 9583 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 69932 KiB
Current children cumulated memory: 37980 KiB
[startup+0.313149 s]*
/proc/loadavg: 4.12 2.82 3.29 5/248 962856
/proc/meminfo: memFree=116207180/131655788 swapFree=131071996/131071996
[pid=962852] ppid=962849 vsize=9932 memory=2800 CPUtime=0 cores=0,2
/proc/962852/stat : 962852 (Hybrid-CASHWMax) S 962849 962852 961560 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 183749460 10170368 700 134679101440 94013599551488 94013600630808 140727196179008 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94013602729264 94013602776452 94013614428160 140727196181453 140727196181612 140727196181612 140727196188628 0
/proc/962852/statm: 2483 700 623 264 0 134 0
[pid=962855] ppid=962852 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/962855/stat : 962855 (timeout) S 962852 962855 961560 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 183749460 8867840 258 134679101440 94275379683328 94275379718344 140730340417392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94275381815760 94275381817892 94275384918016 140730340426749 140730340426908 140730340426908 140730340433895 0
/proc/962855/statm: 2165 258 233 9 0 87 0
[pid=962856] ppid=962855 vsize=67724 memory=40296 CPUtime=0.3 cores=0,2
/proc/962856/stat : 962856 (CASHWMaxSAT-Dis) R 962855 962855 961560 0 -1 4194304 5117 0 0 0 29 1 0 0 20 0 1 0 183749460 69349376 10074 134679101440 4194304 15356333 140730114380432 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34619392 140730114388994 140730114389140 140730114389140 140730114396127 0
/proc/962856/statm: 16931 10074 922 2726 0 13679 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86316 KiB
Current children cumulated memory: 44128 KiB
[startup+0.700468 s]
/proc/loadavg: 4.12 2.82 3.29 5/248 962856
/proc/meminfo: memFree=116153344/131655788 swapFree=131071996/131071996
[pid=962852] ppid=962849 vsize=9932 memory=2800 CPUtime=0 cores=0,2
/proc/962852/stat : 962852 (Hybrid-CASHWMax) S 962849 962852 961560 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 183749460 10170368 700 134679101440 94013599551488 94013600630808 140727196179008 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94013602729264 94013602776452 94013614428160 140727196181453 140727196181612 140727196181612 140727196188628 0
/proc/962852/statm: 2483 700 623 264 0 134 0
[pid=962855] ppid=962852 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/962855/stat : 962855 (timeout) S 962852 962855 961560 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 183749460 8867840 258 134679101440 94275379683328 94275379718344 140730340417392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94275381815760 94275381817892 94275384918016 140730340426749 140730340426908 140730340426908 140730340433895 0
/proc/962855/statm: 2165 258 233 9 0 87 0
[pid=962856] ppid=962855 vsize=255912 memory=200556 CPUtime=0.68 cores=0,2
/proc/962856/stat : 962856 (CASHWMaxSAT-Dis) R 962855 962855 961560 0 -1 4194304 14566 0 0 0 62 6 0 0 20 0 1 0 183749460 262053888 50139 134679101440 4194304 15356333 140730114380432 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34619392 140730114388994 140730114389140 140730114389140 140730114396127 0
/proc/962856/statm: 63978 50139 954 2726 0 60726 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 274504 KiB
Current children cumulated memory: 204388 KiB
[startup+1.50044 s]
/proc/loadavg: 4.12 2.82 3.29 5/248 962857
/proc/meminfo: memFree=116221024/131655788 swapFree=131071996/131071996
[pid=962852] ppid=962849 vsize=9932 memory=2800 CPUtime=0 cores=0,2
/proc/962852/stat : 962852 (Hybrid-CASHWMax) S 962849 962852 961560 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 183749460 10170368 700 134679101440 94013599551488 94013600630808 140727196179008 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94013602729264 94013602776452 94013614428160 140727196181453 140727196181612 140727196181612 140727196188628 0
/proc/962852/statm: 2483 700 623 264 0 134 0
[pid=962855] ppid=962852 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/962855/stat : 962855 (timeout) S 962852 962855 961560 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 183749460 8867840 258 134679101440 94275379683328 94275379718344 140730340417392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94275381815760 94275381817892 94275384918016 140730340426749 140730340426908 140730340426908 140730340433895 0
/proc/962855/statm: 2165 258 233 9 0 87 0
[pid=962856] ppid=962855 vsize=223172 memory=177512 CPUtime=1.48 cores=0,2
/proc/962856/stat : 962856 (CASHWMaxSAT-Dis) R 962855 962855 961560 0 -1 4194304 16068 0 0 0 141 7 0 0 20 0 1 0 183749460 228528128 44378 134679101440 4194304 15356333 140730114380432 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34619392 140730114388994 140730114389140 140730114389140 140730114396127 0
/proc/962856/statm: 55793 44378 1002 2726 0 52541 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 241764 KiB
Current children cumulated memory: 181344 KiB
[startup+3.11322 s]
/proc/loadavg: 4.11 2.84 3.29 5/248 962857
/proc/meminfo: memFree=115272788/131655788 swapFree=131071996/131071996
[pid=962852] ppid=962849 vsize=9932 memory=2800 CPUtime=0 cores=0,2
/proc/962852/stat : 962852 (Hybrid-CASHWMax) S 962849 962852 961560 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 183749460 10170368 700 134679101440 94013599551488 94013600630808 140727196179008 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94013602729264 94013602776452 94013614428160 140727196181453 140727196181612 140727196181612 140727196188628 0
/proc/962852/statm: 2483 700 623 264 0 134 0
[pid=962855] ppid=962852 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/962855/stat : 962855 (timeout) S 962852 962855 961560 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 183749460 8867840 258 134679101440 94275379683328 94275379718344 140730340417392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94275381815760 94275381817892 94275384918016 140730340426749 140730340426908 140730340426908 140730340433895 0
/proc/962855/statm: 2165 258 233 9 0 87 0
[pid=962856] ppid=962855 vsize=578068 memory=529320 CPUtime=3.09 cores=0,2
/proc/962856/stat : 962856 (CASHWMaxSAT-Dis) R 962855 962855 961560 0 -1 4194304 88124 0 0 0 290 19 0 0 20 0 1 0 183749460 591941632 132330 134679101440 4194304 15356333 140730114380432 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34619392 140730114388994 140730114389140 140730114389140 140730114396127 0
/proc/962856/statm: 144517 132330 1066 2726 0 141265 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 596660 KiB
Current children cumulated memory: 533152 KiB
[startup+4.38326 s]
# the end of solver process 962852 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=4.10405 s, system=0.266202 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20059 s]
/proc/loadavg: 4.11 2.84 3.29 5/248 962857
/proc/meminfo: memFree=115272788/131655788 swapFree=131071996/131071996
[pid=962852] ppid=962849 vsize=9932 memory=2800 CPUtime=0 cores=0,2
/proc/962852/stat : 962852 (Hybrid-CASHWMax) S 962849 962852 961560 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 183749460 10170368 700 134679101440 94013599551488 94013600630808 140727196179008 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94013602729264 94013602776452 94013614428160 140727196181453 140727196181612 140727196181612 140727196188628 0
/proc/962852/statm: 2483 700 623 264 0 134 0
[pid=962855] ppid=962852 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/962855/stat : 962855 (timeout) S 962852 962855 961560 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 183749460 8867840 258 134679101440 94275379683328 94275379718344 140730340417392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94275381815760 94275381817892 94275384918016 140730340426749 140730340426908 140730340426908 140730340433895 0
/proc/962855/statm: 2165 258 233 9 0 87 0
[pid=962856] ppid=962855 vsize=578068 memory=529848 CPUtime=3.18 cores=0,2
/proc/962856/stat : 962856 (CASHWMaxSAT-Dis) R 962855 962855 961560 0 -1 4194304 88254 0 0 0 299 19 0 0 20 0 1 0 183749460 591941632 132462 134679101440 4194304 15356333 140730114380432 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34619392 140730114388994 140730114389140 140730114389140 140730114396127 0
/proc/962856/statm: 144517 132462 1066 2726 0 141265 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 596660 KiB
Current children cumulated memory: 533680 KiB
[startup+4.0004 s]*
/proc/loadavg: 4.11 2.84 3.29 5/252 962892
/proc/meminfo: memFree=114827632/131655788 swapFree=131071996/131071996
[pid=962852] ppid=962849 vsize=9932 memory=2800 CPUtime=0 cores=0,2
/proc/962852/stat : 962852 (Hybrid-CASHWMax) S 962849 962852 961560 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 183749460 10170368 700 134679101440 94013599551488 94013600630808 140727196179008 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94013602729264 94013602776452 94013614428160 140727196181453 140727196181612 140727196181612 140727196188628 0
/proc/962852/statm: 2483 700 623 264 0 134 0
[pid=962855] ppid=962852 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/962855/stat : 962855 (timeout) S 962852 962855 961560 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 183749460 8867840 258 134679101440 94275379683328 94275379718344 140730340417392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94275381815760 94275381817892 94275384918016 140730340426749 140730340426908 140730340426908 140730340433895 0
/proc/962855/statm: 2165 258 233 9 0 87 0
[pid=962856] ppid=962855 vsize=756136 memory=681760 CPUtime=3.99 cores=0,2
/proc/962856/stat : 962856 (CASHWMaxSAT-Dis) R 962855 962855 961560 0 -1 4194304 92553 0 0 0 376 23 0 0 20 0 1 0 183749460 774283264 170440 134679101440 4194304 15356333 140730114380432 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34619392 140730114388994 140730114389140 140730114389140 140730114396127 0
/proc/962856/statm: 189034 170440 1066 2726 0 185782 0
Current children cumulated CPU time: 3.99 s
Current children cumulated vsize: 774728 KiB
Current children cumulated memory: 685592 KiB
[startup+4.20045 s]
/proc/loadavg: 4.11 2.84 3.29 5/252 962892
/proc/meminfo: memFree=114827632/131655788 swapFree=131071996/131071996
[pid=962852] ppid=962849 vsize=9932 memory=2800 CPUtime=0 cores=0,2
/proc/962852/stat : 962852 (Hybrid-CASHWMax) S 962849 962852 961560 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 183749460 10170368 700 134679101440 94013599551488 94013600630808 140727196179008 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94013602729264 94013602776452 94013614428160 140727196181453 140727196181612 140727196181612 140727196188628 0
/proc/962852/statm: 2483 700 623 264 0 134 0
[pid=962855] ppid=962852 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/962855/stat : 962855 (timeout) S 962852 962855 961560 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 183749460 8867840 258 134679101440 94275379683328 94275379718344 140730340417392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94275381815760 94275381817892 94275384918016 140730340426749 140730340426908 140730340426908 140730340433895 0
/proc/962855/statm: 2165 258 233 9 0 87 0
[pid=962856] ppid=962855 vsize=745376 memory=661324 CPUtime=4.17 cores=0,2
/proc/962856/stat : 962856 (CASHWMaxSAT-Dis) R 962855 962855 961560 0 -1 4194304 93311 0 0 0 394 23 0 0 20 0 1 0 183749460 763265024 165331 134679101440 4194304 15356333 140730114380432 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34619392 140730114388994 140730114389140 140730114389140 140730114396127 0
/proc/962856/statm: 186344 165331 1146 2726 0 183092 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 763968 KiB
Current children cumulated memory: 665156 KiB
[startup+4.30044 s]
/proc/loadavg: 4.11 2.84 3.29 5/252 962892
/proc/meminfo: memFree=114827632/131655788 swapFree=131071996/131071996
[pid=962852] ppid=962849 vsize=9932 memory=2800 CPUtime=0 cores=0,2
/proc/962852/stat : 962852 (Hybrid-CASHWMax) S 962849 962852 961560 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 183749460 10170368 700 134679101440 94013599551488 94013600630808 140727196179008 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94013602729264 94013602776452 94013614428160 140727196181453 140727196181612 140727196181612 140727196188628 0
/proc/962852/statm: 2483 700 623 264 0 134 0
[pid=962855] ppid=962852 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/962855/stat : 962855 (timeout) S 962852 962855 961560 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 183749460 8867840 258 134679101440 94275379683328 94275379718344 140730340417392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94275381815760 94275381817892 94275384918016 140730340426749 140730340426908 140730340426908 140730340433895 0
/proc/962855/statm: 2165 258 233 9 0 87 0
[pid=962856] ppid=962855 vsize=745376 memory=661324 CPUtime=4.27 cores=0,2
/proc/962856/stat : 962856 (CASHWMaxSAT-Dis) R 962855 962855 961560 0 -1 4194304 93311 0 0 0 404 23 0 0 20 0 1 0 183749460 763265024 165331 134679101440 4194304 15356333 140730114380432 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34619392 140730114388994 140730114389140 140730114389140 140730114396127 0
/proc/962856/statm: 186344 165331 1146 2726 0 183092 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 763968 KiB
Current children cumulated memory: 665156 KiB
Child status: 0
Real time (s): 4.38332
CPU time (s): 4.37026
CPU user time (s): 4.10405
CPU system time (s): 0.266202
CPU usage (%): 99.702
Max. virtual memory (cumulated for all children) (KiB): 774728
Max. memory (cumulated for all children) (KiB): 685592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.10405
system time used= 0.266202
maximum resident set size= 684956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96831
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= 10
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 962852
# total CPU time (s): 4.37026
# total CPU user time (s): 4.10405
# total CPU system time (s): 0.266202
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052383 second user time and 0.103735 second system time
The end
Begin job on nodeC006 at 2024-07-18 17:18:39
IDJOB=4443926
IDBENCH=147890
IDSOLVER=3072
FILE ID=nodeC006/4443926-1721315907
RUNJOBID= nodeC006-1721315784-961570
SLURM_JOB_ID= 7542651
Free space on /tmp= 723448 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_1.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-4443926-1721315907/watcher-4443926-1721315907 -o /tmp/evaluation-result-4443926-1721315907/solver-4443926-1721315907 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961570 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443926-1721315907.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c1aaae178945e83f69f34de5988d06de
RANDOM SEED=1192567346
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 : 3518.851
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 : 3668.412
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.247
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.344
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 : 3674.609
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 : 3668.433
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.435
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.302
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: 116331320 kB
MemAvailable: 122849672 kB
Buffers: 496896 kB
Cached: 6780484 kB
SwapCached: 0 kB
Active: 1231860 kB
Inactive: 13352840 kB
Active(anon): 1492 kB
Inactive(anon): 7343528 kB
Active(file): 1230368 kB
Inactive(file): 6009312 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 138808 kB
Writeback: 52 kB
AnonPages: 7305908 kB
Mapped: 115404 kB
Shmem: 37704 kB
KReclaimable: 237408 kB
Slab: 355716 kB
SReclaimable: 237408 kB
SUnreclaim: 118308 kB
KernelStack: 3952 kB
PageTables: 24056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 7716892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2967552 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= 723516 MiB
End job on nodeC006 at 2024-07-18 17:18:44