PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11	SAT	4	3586.15	3596.06

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: 63968 MiB (62910 MiB free)
  memory of node 1: 64473 MiB (63475 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437952-1722959026/watcher-4437952-1722959026 -o /tmp/evaluation-result-4437952-1722959026/solver-4437952-1722959026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722959025-338076 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437952-1722959026.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Using a pseudo terminal to collect output from the solver
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=338140, runsolver pid=338131

[startup+0.100085 s]*
/proc/loadavg: 2.67 3.84 4.06 8/267 338153
/proc/meminfo: memFree=129344956/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62507068 10170368 681 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 681 602 264 0 134 0
[pid=338148] ppid=338140 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/338148/stat : 338148 (timeout) S 338140 338148 338065 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 94004188987392 94004189022408 140729582928976 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94004191119824 94004191121956 94004209549312 140729582937086 140729582937245 140729582937245 140729582944231 0
/proc/338148/statm: 2165 255 231 9 0 87 0
[pid=338151] ppid=338148 vsize=51104 memory=41596 CPUtime=0.08 cores=4,6
/proc/338151/stat : 338151 (CASHWMaxSAT-Dis) R 338148 338148 338065 0 -1 4194304 8113 0 0 0 7 1 0 0 20 0 1 0 62507069 52330496 10399 134679101440 4194304 15356333 140733967532336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38363136 140733967541251 140733967541397 140733967541397 140733967548383 0
/proc/338151/statm: 12776 10399 2650 2726 0 9524 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69696 KiB
Current children cumulated memory: 45340 KiB

[startup+0.206305 s]*
/proc/loadavg: 2.67 3.84 4.06 8/267 338153
/proc/meminfo: memFree=129265340/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62507068 10170368 681 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 681 602 264 0 134 0
[pid=338148] ppid=338140 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/338148/stat : 338148 (timeout) S 338140 338148 338065 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 94004188987392 94004189022408 140729582928976 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94004191119824 94004191121956 94004209549312 140729582937086 140729582937245 140729582937245 140729582944231 0
/proc/338148/statm: 2165 255 231 9 0 87 0
[pid=338151] ppid=338148 vsize=51776 memory=42124 CPUtime=0.19 cores=4,6
/proc/338151/stat : 338151 (CASHWMaxSAT-Dis) R 338148 338148 338065 0 -1 4194304 8279 0 0 0 18 1 0 0 20 0 1 0 62507069 53018624 10531 134679101440 4194304 15356333 140733967532336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38363136 140733967541251 140733967541397 140733967541397 140733967548383 0
/proc/338151/statm: 12944 10531 2650 2726 0 9692 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70368 KiB
Current children cumulated memory: 45868 KiB

[startup+0.306446 s]*
/proc/loadavg: 2.67 3.84 4.06 9/267 338153
/proc/meminfo: memFree=129257792/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62507068 10170368 681 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 681 602 264 0 134 0
[pid=338148] ppid=338140 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/338148/stat : 338148 (timeout) S 338140 338148 338065 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 94004188987392 94004189022408 140729582928976 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94004191119824 94004191121956 94004209549312 140729582937086 140729582937245 140729582937245 140729582944231 0
/proc/338148/statm: 2165 255 231 9 0 87 0
[pid=338151] ppid=338148 vsize=64052 memory=51424 CPUtime=0.29 cores=4,6
/proc/338151/stat : 338151 (CASHWMaxSAT-Dis) R 338148 338148 338065 0 -1 4194304 10598 0 0 0 28 1 0 0 20 0 1 0 62507069 65589248 12856 134679101440 4194304 15356333 140733967532336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38363136 140733967541251 140733967541397 140733967541397 140733967548383 0
/proc/338151/statm: 16013 12856 2650 2726 0 12761 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82644 KiB
Current children cumulated memory: 55168 KiB

[startup+0.70031 s]
/proc/loadavg: 2.67 3.84 4.06 9/267 338153
/proc/meminfo: memFree=129181500/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62507068 10170368 681 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 681 602 264 0 134 0
[pid=338148] ppid=338140 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/338148/stat : 338148 (timeout) S 338140 338148 338065 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 94004188987392 94004189022408 140729582928976 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94004191119824 94004191121956 94004209549312 140729582937086 140729582937245 140729582937245 140729582944231 0
/proc/338148/statm: 2165 255 231 9 0 87 0
[pid=338151] ppid=338148 vsize=80904 memory=67876 CPUtime=0.68 cores=4,6
/proc/338151/stat : 338151 (CASHWMaxSAT-Dis) R 338148 338148 338065 0 -1 4194304 15023 0 0 0 66 2 0 0 20 0 1 0 62507069 82845696 16969 134679101440 4194304 15356333 140733967532336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38363136 140733967541251 140733967541397 140733967541397 140733967548383 0
/proc/338151/statm: 20226 16969 2746 2726 0 16974 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99496 KiB
Current children cumulated memory: 71620 KiB

[startup+1.5003 s]
/proc/loadavg: 2.67 3.84 4.06 9/267 338153
/proc/meminfo: memFree=128822456/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62507068 10170368 681 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 681 602 264 0 134 0
[pid=338148] ppid=338140 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/338148/stat : 338148 (timeout) S 338140 338148 338065 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 94004188987392 94004189022408 140729582928976 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94004191119824 94004191121956 94004209549312 140729582937086 140729582937245 140729582937245 140729582944231 0
/proc/338148/statm: 2165 255 231 9 0 87 0
[pid=338151] ppid=338148 vsize=81220 memory=68140 CPUtime=1.47 cores=4,6
/proc/338151/stat : 338151 (CASHWMaxSAT-Dis) R 338148 338148 338065 0 -1 4194304 15144 0 0 0 145 2 0 0 20 0 1 0 62507069 83169280 17035 134679101440 4194304 15356333 140733967532336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38363136 140733967541251 140733967541397 140733967541397 140733967548383 0
/proc/338151/statm: 20305 17035 2746 2726 0 17053 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 99812 KiB
Current children cumulated memory: 71884 KiB

[startup+3.10613 s]
/proc/loadavg: 2.67 3.84 4.06 8/267 338153
/proc/meminfo: memFree=128226564/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62507068 10170368 681 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 681 602 264 0 134 0
[pid=338148] ppid=338140 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/338148/stat : 338148 (timeout) S 338140 338148 338065 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 94004188987392 94004189022408 140729582928976 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94004191119824 94004191121956 94004209549312 140729582937086 140729582937245 140729582937245 140729582944231 0
/proc/338148/statm: 2165 255 231 9 0 87 0
[pid=338151] ppid=338148 vsize=81484 memory=68404 CPUtime=3.08 cores=4,6
/proc/338151/stat : 338151 (CASHWMaxSAT-Dis) R 338148 338148 338065 0 -1 4194304 15180 0 0 0 306 2 0 0 20 0 1 0 62507069 83439616 17101 134679101440 4194304 15356333 140733967532336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38363136 140733967541251 140733967541397 140733967541397 140733967548383 0
/proc/338151/statm: 20371 17101 2746 2726 0 17119 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 100076 KiB
Current children cumulated memory: 72148 KiB

[startup+6.30023 s]
/proc/loadavg: 2.77 3.85 4.06 8/267 338153
/proc/meminfo: memFree=128127780/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62507068 10170368 681 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 681 602 264 0 134 0
[pid=338148] ppid=338140 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/338148/stat : 338148 (timeout) S 338140 338148 338065 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 94004188987392 94004189022408 140729582928976 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94004191119824 94004191121956 94004209549312 140729582937086 140729582937245 140729582937245 140729582944231 0
/proc/338148/statm: 2165 255 231 9 0 87 0
[pid=338151] ppid=338148 vsize=120852 memory=105176 CPUtime=6.26 cores=4,6
/proc/338151/stat : 338151 (CASHWMaxSAT-Dis) R 338148 338148 338065 0 -1 4194304 24605 0 0 0 623 3 0 0 20 0 1 0 62507069 123752448 26294 134679101440 4194304 15356333 140733967532336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38363136 140733967541251 140733967541397 140733967541397 140733967548383 0
/proc/338151/statm: 30213 26294 2762 2726 0 26961 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 139444 KiB
Current children cumulated memory: 108920 KiB

[startup+12.7002 s]
/proc/loadavg: 2.87 3.85 4.06 8/267 338155
/proc/meminfo: memFree=128120836/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62507068 10170368 681 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 681 602 264 0 134 0
[pid=338148] ppid=338140 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/338148/stat : 338148 (timeout) S 338140 338148 338065 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 94004188987392 94004189022408 140729582928976 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94004191119824 94004191121956 94004209549312 140729582937086 140729582937245 140729582937245 140729582944231 0
/proc/338148/statm: 2165 255 231 9 0 87 0
[pid=338151] ppid=338148 vsize=126244 memory=108076 CPUtime=12.64 cores=4,6
/proc/338151/stat : 338151 (CASHWMaxSAT-Dis) R 338148 338148 338065 0 -1 4194304 25357 0 0 0 1261 3 0 0 20 0 1 0 62507069 129273856 27019 134679101440 4194304 15356333 140733967532336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38363136 140733967541251 140733967541397 140733967541397 140733967548383 0
/proc/338151/statm: 31561 27019 2762 2726 0 28309 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 144836 KiB
Current children cumulated memory: 111820 KiB

[startup+25.5003 s]
/proc/loadavg: 3.19 3.87 4.07 8/267 338157
/proc/meminfo: memFree=128037700/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62507068 10170368 681 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 681 602 264 0 134 0
[pid=338148] ppid=338140 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/338148/stat : 338148 (timeout) S 338140 338148 338065 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 94004188987392 94004189022408 140729582928976 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94004191119824 94004191121956 94004209549312 140729582937086 140729582937245 140729582937245 140729582944231 0
/proc/338148/statm: 2165 255 231 9 0 87 0
[pid=338151] ppid=338148 vsize=148864 memory=122068 CPUtime=25.41 cores=4,6
/proc/338151/stat : 338151 (CASHWMaxSAT-Dis) R 338148 338148 338065 0 -1 4194304 28819 0 0 0 2537 4 0 0 20 0 1 0 62507069 152436736 30517 134679101440 4194304 15356333 140733967532336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38363136 140733967541251 140733967541397 140733967541397 140733967548383 0
/proc/338151/statm: 37216 30517 2762 2726 0 33964 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 167456 KiB
Current children cumulated memory: 125812 KiB

[startup+51.1063 s]
/proc/loadavg: 3.47 3.89 4.06 8/267 338162
/proc/meminfo: memFree=127767496/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62507068 10170368 681 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 681 602 264 0 134 0
[pid=338148] ppid=338140 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/338148/stat : 338148 (timeout) S 338140 338148 338065 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 94004188987392 94004189022408 140729582928976 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94004191119824 94004191121956 94004209549312 140729582937086 140729582937245 140729582937245 140729582944231 0
/proc/338148/statm: 2165 255 231 9 0 87 0
[pid=338151] ppid=338148 vsize=160628 memory=133924 CPUtime=50.93 cores=4,6
/proc/338151/stat : 338151 (CASHWMaxSAT-Dis) R 338148 338148 338065 0 -1 4194304 32779 0 0 0 5089 4 0 0 20 0 1 0 62507069 164483072 33481 134679101440 4194304 15356333 140733967532336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38363136 140733967541251 140733967541397 140733967541397 140733967548383 0
/proc/338151/statm: 40157 33481 2762 2726 0 36905 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 179220 KiB
Current children cumulated memory: 137668 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 3.93 4.07 9/267 338170
/proc/meminfo: memFree=127751292/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2724 CPUtime=0 cores=4,6

################
# More data... #
################

/proc/339063/statm: 48140 40853 804 745 0 47205 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 211152 KiB
Current children cumulated memory: 167220 KiB

[startup+3462.3 s]
/proc/loadavg: 4.59 4.24 4.18 8/264 339990
/proc/meminfo: memFree=128892788/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2780 CPUtime=1792.52 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 276 75193 0 1 0 0 179226 26 20 0 1 0 62507068 10170368 695 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 695 602 264 0 134 0
[pid=339062] ppid=338140 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/339062/stat : 339062 (timeout) S 338140 339062 338065 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62686870 8867840 257 134679101440 94713271283712 94713271318728 140733804788704 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94713273416144 94713273418276 94713293053952 140733804790772 140733804790941 140733804790941 140733804797927 0
/proc/339062/statm: 2165 257 233 9 0 87 0
[pid=339063] ppid=339062 vsize=192560 memory=163596 CPUtime=1660.18 cores=4,6
/proc/339063/stat : 339063 (Exact) R 339062 339062 338065 0 -1 4194304 23421 0 0 0 166011 7 0 0 20 0 1 0 62686870 197181440 40899 134679101440 4194304 7243121 140728203819952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 17477632 140728203826192 140728203826342 140728203826342 140728203833328 0
/proc/339063/statm: 48140 40899 804 745 0 47205 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 211152 KiB
Current children cumulated memory: 167404 KiB

[startup+3522.3 s]
/proc/loadavg: 5.07 4.50 4.28 8/264 340000
/proc/meminfo: memFree=128887216/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2780 CPUtime=1792.52 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 276 75193 0 1 0 0 179226 26 20 0 1 0 62507068 10170368 695 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 695 602 264 0 134 0
[pid=339062] ppid=338140 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/339062/stat : 339062 (timeout) S 338140 339062 338065 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62686870 8867840 257 134679101440 94713271283712 94713271318728 140733804788704 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94713273416144 94713273418276 94713293053952 140733804790772 140733804790941 140733804790941 140733804797927 0
/proc/339062/statm: 2165 257 233 9 0 87 0
[pid=339063] ppid=339062 vsize=192948 memory=163856 CPUtime=1720.04 cores=4,6
/proc/339063/stat : 339063 (Exact) R 339062 339062 338065 0 -1 4194304 23561 0 0 0 171997 7 0 0 20 0 1 0 62686870 197578752 40964 134679101440 4194304 7243121 140728203819952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 17477632 140728203826192 140728203826342 140728203826342 140728203833328 0
/proc/339063/statm: 48237 40964 804 745 0 47302 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 211540 KiB
Current children cumulated memory: 167664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.44 4.42 4.26 9/264 340010
/proc/meminfo: memFree=128882688/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2780 CPUtime=1792.52 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 276 75193 0 1 0 0 179226 26 20 0 1 0 62507068 10170368 695 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 695 602 264 0 134 0
[pid=339062] ppid=338140 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/339062/stat : 339062 (timeout) S 338140 339062 338065 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62686870 8867840 257 134679101440 94713271283712 94713271318728 140733804788704 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94713273416144 94713273418276 94713293053952 140733804790772 140733804790941 140733804790941 140733804797927 0
/proc/339062/statm: 2165 257 233 9 0 87 0
[pid=339063] ppid=339062 vsize=195180 memory=167196 CPUtime=1779.9 cores=4,6
/proc/339063/stat : 339063 (Exact) R 339062 339062 338065 0 -1 4194304 24028 0 0 0 177983 7 0 0 20 0 1 0 62686870 199864320 41799 134679101440 4194304 7243121 140728203819952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 17477632 140728203826192 140728203826342 140728203826342 140728203833328 0
/proc/339063/statm: 48795 41799 804 745 0 47860 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 213772 KiB
Current children cumulated memory: 171004 KiB

[startup+3596.06 s]
# the end of solver process 338140 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3585.8 s, system=0.358963 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.44 4.42 4.26 9/264 340010
/proc/meminfo: memFree=128882292/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2780 CPUtime=1792.52 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 276 75193 0 1 0 0 179226 26 20 0 1 0 62507068 10170368 695 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 695 602 264 0 134 0
[pid=339062] ppid=338140 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/339062/stat : 339062 (timeout) S 338140 339062 338065 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62686870 8867840 257 134679101440 94713271283712 94713271318728 140733804788704 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94713273416144 94713273418276 94713293053952 140733804790772 140733804790941 140733804790941 140733804797927 0
/proc/339062/statm: 2165 257 233 9 0 87 0
[pid=339063] ppid=339062 vsize=195436 memory=167460 CPUtime=1781.6 cores=4,6
/proc/339063/stat : 339063 (Exact) R 339062 339062 338065 0 -1 4194304 24061 0 0 0 178153 7 0 0 20 0 1 0 62686870 200126464 41865 134679101440 4194304 7243121 140728203819952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 17477632 140728203826192 140728203826342 140728203826342 140728203833328 0
/proc/339063/statm: 48859 41865 804 745 0 47924 0
Current children cumulated CPU time: 3574.12 s
Current children cumulated vsize: 214028 KiB
Current children cumulated memory: 171268 KiB

[startup+3590.4 s]
/proc/loadavg: 4.40 4.41 4.26 8/264 340012
/proc/meminfo: memFree=128875272/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2780 CPUtime=1792.52 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 276 75193 0 1 0 0 179226 26 20 0 1 0 62507068 10170368 695 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 695 602 264 0 134 0
[pid=339062] ppid=338140 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/339062/stat : 339062 (timeout) S 338140 339062 338065 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62686870 8867840 257 134679101440 94713271283712 94713271318728 140733804788704 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94713273416144 94713273418276 94713293053952 140733804790772 140733804790941 140733804790941 140733804797927 0
/proc/339062/statm: 2165 257 233 9 0 87 0
[pid=339063] ppid=339062 vsize=196484 memory=174384 CPUtime=1787.99 cores=4,6
/proc/339063/stat : 339063 (Exact) R 339062 339062 338065 0 -1 4194304 24269 0 0 0 178791 8 0 0 20 0 1 0 62686870 201199616 43596 134679101440 4194304 7243121 140728203819952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 17477632 140728203826192 140728203826342 140728203826342 140728203833328 0
/proc/339063/statm: 49121 43596 804 745 0 48186 0
Current children cumulated CPU time: 3580.51 s
Current children cumulated vsize: 215076 KiB
Current children cumulated memory: 178192 KiB

[startup+3593.6 s]
/proc/loadavg: 4.45 4.42 4.27 8/264 340012
/proc/meminfo: memFree=128875232/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2780 CPUtime=1792.52 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 276 75193 0 1 0 0 179226 26 20 0 1 0 62507068 10170368 695 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 695 602 264 0 134 0
[pid=339062] ppid=338140 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/339062/stat : 339062 (timeout) S 338140 339062 338065 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62686870 8867840 257 134679101440 94713271283712 94713271318728 140733804788704 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94713273416144 94713273418276 94713293053952 140733804790772 140733804790941 140733804790941 140733804797927 0
/proc/339062/statm: 2165 257 233 9 0 87 0
[pid=339063] ppid=339062 vsize=196484 memory=174384 CPUtime=1791.18 cores=4,6
/proc/339063/stat : 339063 (Exact) R 339062 339062 338065 0 -1 4194304 24269 0 0 0 179110 8 0 0 20 0 1 0 62686870 201199616 43596 134679101440 4194304 7243121 140728203819952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 17477632 140728203826192 140728203826342 140728203826342 140728203833328 0
/proc/339063/statm: 49121 43596 804 745 0 48186 0
Current children cumulated CPU time: 3583.7 s
Current children cumulated vsize: 215076 KiB
Current children cumulated memory: 178192 KiB

[startup+3595.2 s]
/proc/loadavg: 4.45 4.42 4.27 9/264 340012
/proc/meminfo: memFree=128875256/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2780 CPUtime=1792.52 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 276 75193 0 1 0 0 179226 26 20 0 1 0 62507068 10170368 695 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 695 602 264 0 134 0
[pid=339062] ppid=338140 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/339062/stat : 339062 (timeout) S 338140 339062 338065 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62686870 8867840 257 134679101440 94713271283712 94713271318728 140733804788704 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94713273416144 94713273418276 94713293053952 140733804790772 140733804790941 140733804790941 140733804797927 0
/proc/339062/statm: 2165 257 233 9 0 87 0
[pid=339063] ppid=339062 vsize=196484 memory=174384 CPUtime=1792.78 cores=4,6
/proc/339063/stat : 339063 (Exact) R 339062 339062 338065 0 -1 4194304 24269 0 0 0 179270 8 0 0 20 0 1 0 62686870 201199616 43596 134679101440 4194304 7243121 140728203819952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 17477632 140728203826192 140728203826342 140728203826342 140728203833328 0
/proc/339063/statm: 49121 43596 804 745 0 48186 0
Current children cumulated CPU time: 3585.3 s
Current children cumulated vsize: 215076 KiB
Current children cumulated memory: 178192 KiB

[startup+3595.6 s]
/proc/loadavg: 4.45 4.42 4.27 9/264 340012
/proc/meminfo: memFree=128875256/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2780 CPUtime=1792.52 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 276 75193 0 1 0 0 179226 26 20 0 1 0 62507068 10170368 695 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 695 602 264 0 134 0
[pid=339062] ppid=338140 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/339062/stat : 339062 (timeout) S 338140 339062 338065 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62686870 8867840 257 134679101440 94713271283712 94713271318728 140733804788704 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94713273416144 94713273418276 94713293053952 140733804790772 140733804790941 140733804790941 140733804797927 0
/proc/339062/statm: 2165 257 233 9 0 87 0
[pid=339063] ppid=339062 vsize=196484 memory=174384 CPUtime=1793.17 cores=4,6
/proc/339063/stat : 339063 (Exact) R 339062 339062 338065 0 -1 4194304 24269 0 0 0 179309 8 0 0 20 0 1 0 62686870 201199616 43596 134679101440 4194304 7243121 140728203819952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 17477632 140728203826192 140728203826342 140728203826342 140728203833328 0
/proc/339063/statm: 49121 43596 804 745 0 48186 0
Current children cumulated CPU time: 3585.69 s
Current children cumulated vsize: 215076 KiB
Current children cumulated memory: 178192 KiB

[startup+3596 s]*
/proc/loadavg: 4.41 4.41 4.27 8/264 340012
/proc/meminfo: memFree=128875216/131524600 swapFree=131071996/131071996
[pid=338140] ppid=338131 vsize=9932 memory=2780 CPUtime=1792.52 cores=4,6
/proc/338140/stat : 338140 (Hybrid-CASHWMax) S 338131 338140 338065 0 -1 4194304 276 75193 0 1 0 0 179226 26 20 0 1 0 62507068 10170368 695 134679101440 93861407211520 93861408290840 140736625831664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93861410389296 93861410436484 93861441228800 140736625837006 140736625837165 140736625837165 140736625844180 0
/proc/338140/statm: 2483 695 602 264 0 134 0
[pid=339062] ppid=338140 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/339062/stat : 339062 (timeout) S 338140 339062 338065 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62686870 8867840 257 134679101440 94713271283712 94713271318728 140733804788704 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94713273416144 94713273418276 94713293053952 140733804790772 140733804790941 140733804790941 140733804797927 0
/proc/339062/statm: 2165 257 233 9 0 87 0
[pid=339063] ppid=339062 vsize=196484 memory=174384 CPUtime=1793.58 cores=4,6
/proc/339063/stat : 339063 (Exact) R 339062 339062 338065 0 -1 4194304 24269 0 0 0 179350 8 0 0 20 0 1 0 62686870 201199616 43596 134679101440 4194304 7243121 140728203819952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 17477632 140728203826192 140728203826342 140728203826342 140728203833328 0
/proc/339063/statm: 49121 43596 804 745 0 48186 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 215076 KiB
Current children cumulated memory: 178192 KiB

Child status: 0

Real time (s): 3596.06
CPU time (s): 3586.15
CPU user time (s): 3585.8
CPU system time (s): 0.358963
CPU usage (%): 99.7245
Max. virtual memory (cumulated for all children) (KiB): 351444
Max. memory (cumulated for all children) (KiB): 329264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.8
system time used= 0.358963
maximum resident set size= 325520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102739
page faults= 3
swaps= 0
block input operations= 224
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115
involuntary context switches= 2256


# summary of solver processes directly reported to runsolver:
#   pid: 338140
#   total CPU time (s): 3586.15
#   total CPU user time (s): 3585.8
#   total CPU system time (s): 0.358963

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.96438 second user time and 18.713 second system time

The end

Begin job on nodeC028 at 2024-08-06 17:43:46
IDJOB=4437952
IDBENCH=146663
IDSOLVER=3072
FILE ID=nodeC028/4437952-1722959026
RUNJOBID= nodeC028-1722959025-338076
SLURM_JOB_ID= 8259028
Free space on /tmp= 890084 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437952-1722959026/watcher-4437952-1722959026 -o /tmp/evaluation-result-4437952-1722959026/solver-4437952-1722959026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722959025-338076 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437952-1722959026.opb 3600 HOME 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 0c08209891d9f5241a74237055766898
RANDOM SEED=844413312

nodeC028.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	: 0xb00002a
cpu MHz		: 3594.652
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.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	: 0xb00002a
cpu MHz		: 3650.896
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3639.666
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.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	: 0xb00002a
cpu MHz		: 3637.359
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3541.943
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.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	: 0xb00002a
cpu MHz		: 3566.415
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3552.492
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.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	: 0xb00002a
cpu MHz		: 3656.935
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129422492 kB
MemAvailable:   129765532 kB
Buffers:          324676 kB
Cached:           867416 kB
SwapCached:            0 kB
Active:           569516 kB
Inactive:        1010044 kB
Active(anon):       1412 kB
Inactive(anon):   424096 kB
Active(file):     568104 kB
Inactive(file):   585948 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             80416 kB
Writeback:             0 kB
AnonPages:        387260 kB
Mapped:            98384 kB
Shmem:             37720 kB
KReclaimable:      57620 kB
Slab:             151844 kB
SReclaimable:      57620 kB
SUnreclaim:        94224 kB
KernelStack:        3780 kB
PageTables:         9564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     692688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            29856 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 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:      305876 kB
DirectMap2M:    18341888 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC028 at 2024-08-06 18:43:42

Name	PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUM	0c08209891d9f5241a74237055766898
Bench Category	OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	1
Best CPU time to get the best result obtained on this benchmark	0.180845
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	934
Total number of constraints	1063
Number of constraints which are clauses	879
Number of constraints which are cardinality constraints (but not clauses)	184
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	20
Number of terms in the objective function	934
Biggest coefficient in the objective function	546
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2594
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	546
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2594
Number of bits of the biggest sum of numbers	12
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4437952

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data