PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01	SAT	-167	3584.97	3596.14

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: 63794 MiB (62077 MiB free)
  memory of node 1: 64507 MiB (63167 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508852-1751499170/watcher-4508852-1751499170 -o /tmp/evaluation-result-4508852-1751499170/solver-4508852-1751499170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751494261-65562 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4508852-1751499170.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=67605, runsolver pid=67602

[startup+0.100057 s]*
/proc/loadavg: 4.15 4.13 4.16 5/258 67610
/proc/meminfo: memFree=128244900/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67608] ppid=67605 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/67608/stat : 67608 (timeout) S 67605 67608 65549 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65596722 2723840 352 18446744073709551615 94924245118976 94924245135489 140732314490960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94924245150256 94924245152344 94924264378368 140732314495382 140732314495522 140732314495522 140732314501095 0
/proc/67608/statm: 665 352 352 5 0 90 0
[pid=67609] ppid=67608 vsize=20176 memory=6144 CPUtime=0.07 cores=5,7
/proc/67609/stat : 67609 (CASHWMaxSAT-Dis) R 67608 67608 65549 0 -1 4194304 692 0 0 0 7 0 0 0 20 0 1 0 65596722 20660224 1536 18446744073709551615 4198400 14817773 140723706303712 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 33804288 140723706309020 140723706309147 140723706309147 140723706314720 0
/proc/67609/statm: 5044 1536 928 2593 0 1937 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 10496 KiB

[startup+0.222174 s]*
/proc/loadavg: 4.15 4.13 4.16 5/258 67610
/proc/meminfo: memFree=128244900/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67608] ppid=67605 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/67608/stat : 67608 (timeout) S 67605 67608 65549 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65596722 2723840 352 18446744073709551615 94924245118976 94924245135489 140732314490960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94924245150256 94924245152344 94924264378368 140732314495382 140732314495522 140732314495522 140732314501095 0
/proc/67608/statm: 665 352 352 5 0 90 0
[pid=67609] ppid=67608 vsize=20176 memory=6144 CPUtime=0.17 cores=5,7
/proc/67609/stat : 67609 (CASHWMaxSAT-Dis) R 67608 67608 65549 0 -1 4194304 692 0 0 0 17 0 0 0 20 0 1 0 65596722 20660224 1536 18446744073709551615 4198400 14817773 140723706303712 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 33804288 140723706309020 140723706309147 140723706309147 140723706314720 0
/proc/67609/statm: 5044 1536 928 2593 0 1937 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 10496 KiB

[startup+0.314763 s]*
/proc/loadavg: 4.15 4.13 4.16 5/258 67610
/proc/meminfo: memFree=128244900/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67608] ppid=67605 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/67608/stat : 67608 (timeout) S 67605 67608 65549 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65596722 2723840 352 18446744073709551615 94924245118976 94924245135489 140732314490960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94924245150256 94924245152344 94924264378368 140732314495382 140732314495522 140732314495522 140732314501095 0
/proc/67608/statm: 665 352 352 5 0 90 0
[pid=67609] ppid=67608 vsize=20308 memory=6272 CPUtime=0.25 cores=5,7
/proc/67609/stat : 67609 (CASHWMaxSAT-Dis) R 67608 67608 65549 0 -1 4194304 716 0 0 0 25 0 0 0 20 0 1 0 65596722 20795392 1568 18446744073709551615 4198400 14817773 140723706303712 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 33804288 140723706309020 140723706309147 140723706309147 140723706314720 0
/proc/67609/statm: 5077 1568 960 2593 0 1970 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 10624 KiB

[startup+0.700359 s]
/proc/loadavg: 4.15 4.13 4.16 5/258 67610
/proc/meminfo: memFree=128242884/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67608] ppid=67605 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/67608/stat : 67608 (timeout) S 67605 67608 65549 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65596722 2723840 352 18446744073709551615 94924245118976 94924245135489 140732314490960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94924245150256 94924245152344 94924264378368 140732314495382 140732314495522 140732314495522 140732314501095 0
/proc/67608/statm: 665 352 352 5 0 90 0
[pid=67609] ppid=67608 vsize=23500 memory=9444 CPUtime=0.59 cores=5,7
/proc/67609/stat : 67609 (CASHWMaxSAT-Dis) R 67608 67608 65549 0 -1 4194304 1603 0 0 0 58 1 0 0 20 0 1 0 65596722 24064000 2361 18446744073709551615 4198400 14817773 140723706303712 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 33804288 140723706309020 140723706309147 140723706309147 140723706314720 0
/proc/67609/statm: 5875 2361 960 2593 0 2768 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 30484 KiB
Current children cumulated memory: 13796 KiB

[startup+1.50031 s]
/proc/loadavg: 4.15 4.13 4.16 5/258 67610
/proc/meminfo: memFree=128238852/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67608] ppid=67605 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/67608/stat : 67608 (timeout) S 67605 67608 65549 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65596722 2723840 352 18446744073709551615 94924245118976 94924245135489 140732314490960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94924245150256 94924245152344 94924264378368 140732314495382 140732314495522 140732314495522 140732314501095 0
/proc/67608/statm: 665 352 352 5 0 90 0
[pid=67609] ppid=67608 vsize=25552 memory=11592 CPUtime=1.38 cores=5,7
/proc/67609/stat : 67609 (CASHWMaxSAT-Dis) R 67608 67608 65549 0 -1 4194304 3251 0 0 0 136 2 0 0 20 0 1 0 65596722 26165248 2898 18446744073709551615 4198400 14817773 140723706303712 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 33804288 140723706309020 140723706309147 140723706309147 140723706314720 0
/proc/67609/statm: 6388 2898 992 2593 0 3281 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 32536 KiB
Current children cumulated memory: 15944 KiB

[startup+3.10595 s]
/proc/loadavg: 4.15 4.13 4.16 5/258 67610
/proc/meminfo: memFree=128217908/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67608] ppid=67605 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/67608/stat : 67608 (timeout) S 67605 67608 65549 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65596722 2723840 352 18446744073709551615 94924245118976 94924245135489 140732314490960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94924245150256 94924245152344 94924264378368 140732314495382 140732314495522 140732314495522 140732314501095 0
/proc/67608/statm: 665 352 352 5 0 90 0
[pid=67609] ppid=67608 vsize=28796 memory=14544 CPUtime=2.97 cores=5,7
/proc/67609/stat : 67609 (CASHWMaxSAT-Dis) R 67608 67608 65549 0 -1 4194304 5564 0 0 0 295 2 0 0 20 0 1 0 65596722 29487104 3636 18446744073709551615 4198400 14817773 140723706303712 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 33804288 140723706309020 140723706309147 140723706309147 140723706314720 0
/proc/67609/statm: 7199 3636 992 2593 0 4092 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 35780 KiB
Current children cumulated memory: 18896 KiB

[startup+6.30025 s]
/proc/loadavg: 4.14 4.13 4.15 5/258 67610
/proc/meminfo: memFree=128213624/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67608] ppid=67605 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/67608/stat : 67608 (timeout) S 67605 67608 65549 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65596722 2723840 352 18446744073709551615 94924245118976 94924245135489 140732314490960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94924245150256 94924245152344 94924264378368 140732314495382 140732314495522 140732314495522 140732314501095 0
/proc/67608/statm: 665 352 352 5 0 90 0
[pid=67609] ppid=67608 vsize=31528 memory=17600 CPUtime=6.13 cores=5,7
/proc/67609/stat : 67609 (CASHWMaxSAT-Dis) R 67608 67608 65549 0 -1 4194304 10334 0 0 0 610 3 0 0 20 0 1 0 65596722 32284672 4400 18446744073709551615 4198400 14817773 140723706303712 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 33804288 140723706309020 140723706309147 140723706309147 140723706314720 0
/proc/67609/statm: 7882 4400 992 2593 0 4775 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 38512 KiB
Current children cumulated memory: 21952 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.15 5/258 67610
/proc/meminfo: memFree=128208332/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67608] ppid=67605 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/67608/stat : 67608 (timeout) S 67605 67608 65549 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65596722 2723840 352 18446744073709551615 94924245118976 94924245135489 140732314490960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94924245150256 94924245152344 94924264378368 140732314495382 140732314495522 140732314495522 140732314501095 0
/proc/67608/statm: 665 352 352 5 0 90 0
[pid=67609] ppid=67608 vsize=37804 memory=23776 CPUtime=12.46 cores=5,7
/proc/67609/stat : 67609 (CASHWMaxSAT-Dis) R 67608 67608 65549 0 -1 4194304 18025 0 0 0 1241 5 0 0 20 0 1 0 65596722 38711296 5944 18446744073709551615 4198400 14817773 140723706303712 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 33804288 140723706309020 140723706309147 140723706309147 140723706314720 0
/proc/67609/statm: 9451 5944 992 2593 0 6344 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 44788 KiB
Current children cumulated memory: 28128 KiB

[startup+25.5005 s]
/proc/loadavg: 4.17 4.14 4.16 5/258 67610
/proc/meminfo: memFree=128185616/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67608] ppid=67605 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/67608/stat : 67608 (timeout) S 67605 67608 65549 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65596722 2723840 352 18446744073709551615 94924245118976 94924245135489 140732314490960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94924245150256 94924245152344 94924264378368 140732314495382 140732314495522 140732314495522 140732314501095 0
/proc/67608/statm: 665 352 352 5 0 90 0
[pid=67609] ppid=67608 vsize=48408 memory=34476 CPUtime=25.15 cores=5,7
/proc/67609/stat : 67609 (CASHWMaxSAT-Dis) R 67608 67608 65549 0 -1 4194304 20817 0 0 0 2509 6 0 0 20 0 1 0 65596722 49569792 8619 18446744073709551615 4198400 14817773 140723706303712 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33804288 140723706309020 140723706309147 140723706309147 140723706314720 0
/proc/67609/statm: 12102 8619 992 2593 0 8995 0
Current children cumulated CPU time: 25.15 s
Current children cumulated vsize: 55392 KiB
Current children cumulated memory: 38828 KiB

[startup+51.1135 s]
/proc/loadavg: 4.11 4.13 4.15 5/258 67610
/proc/meminfo: memFree=128126948/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67608] ppid=67605 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/67608/stat : 67608 (timeout) S 67605 67608 65549 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65596722 2723840 352 18446744073709551615 94924245118976 94924245135489 140732314490960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94924245150256 94924245152344 94924264378368 140732314495382 140732314495522 140732314495522 140732314501095 0
/proc/67608/statm: 665 352 352 5 0 90 0
[pid=67609] ppid=67608 vsize=47856 memory=33956 CPUtime=50.69 cores=5,7
/proc/67609/stat : 67609 (CASHWMaxSAT-Dis) R 67608 67608 65549 0 -1 4194304 24831 0 0 0 5061 8 0 0 20 0 1 0 65596722 49004544 8489 18446744073709551615 4198400 14817773 140723706303712 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33804288 140723706309020 140723706309147 140723706309147 140723706314720 0
/proc/67609/statm: 11964 8489 992 2593 0 8857 0
Current children cumulated CPU time: 50.69 s
Current children cumulated vsize: 54840 KiB
Current children cumulated memory: 38308 KiB

[startup+102.301 s]
/proc/loadavg: 4.09 4.12 4.15 5/260 67678
/proc/meminfo: memFree=128387200/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0

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

/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67729] ppid=67605 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/67729/stat : 67729 (timeout) S 67605 67729 65549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65716523 2723840 320 18446744073709551615 94679286493184 94679286509697 140734957376112 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94679286524464 94679286526552 94679293644800 140734957377926 140734957378082 140734957378082 140734957383655 0
/proc/67729/statm: 665 320 320 5 0 90 0
[pid=67730] ppid=67729 vsize=276164 memory=241056 CPUtime=2257.5 cores=5,7
/proc/67730/stat : 67730 (ExactPR-S) R 67729 67729 65549 0 -1 4194304 136569 0 0 0 224546 1204 0 0 20 0 1 0 65716523 282791936 60264 18446744073709551615 94318264451072 94318273751109 140734575563328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94318275537216 94318275576296 94318291361792 140734575565214 140734575565351 140734575565351 140734575570924 0
/proc/67730/statm: 69041 60264 3552 2271 0 63679 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 283148 KiB
Current children cumulated memory: 245280 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.24 4.20 5/258 68137
/proc/meminfo: memFree=126116856/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 284 64818 0 0 0 0 119358 56 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67729] ppid=67605 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/67729/stat : 67729 (timeout) S 67605 67729 65549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65716523 2723840 320 18446744073709551615 94679286493184 94679286509697 140734957376112 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94679286524464 94679286526552 94679293644800 140734957377926 140734957378082 140734957378082 140734957383655 0
/proc/67729/statm: 665 320 320 5 0 90 0
[pid=67730] ppid=67729 vsize=276164 memory=249248 CPUtime=2317.29 cores=5,7
/proc/67730/stat : 67730 (ExactPR-S) R 67729 67729 65549 0 -1 4194304 136636 0 0 0 230499 1230 0 0 20 0 1 0 65716523 282791936 62312 18446744073709551615 94318264451072 94318273751109 140734575563328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94318275537216 94318275576296 94318291361792 140734575565214 140734575565351 140734575565351 140734575570924 0
/proc/67730/statm: 69041 62312 3552 2271 0 63679 0
Current children cumulated CPU time: 3511.43 s
Current children cumulated vsize: 283148 KiB
Current children cumulated memory: 253472 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.21 4.19 5/259 68142
/proc/meminfo: memFree=126944440/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 284 64818 0 0 0 0 119358 56 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67729] ppid=67605 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/67729/stat : 67729 (timeout) S 67605 67729 65549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65716523 2723840 320 18446744073709551615 94679286493184 94679286509697 140734957376112 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94679286524464 94679286526552 94679293644800 140734957377926 140734957378082 140734957378082 140734957383655 0
/proc/67729/statm: 665 320 320 5 0 90 0
[pid=67730] ppid=67729 vsize=276164 memory=249248 CPUtime=2377.06 cores=5,7
/proc/67730/stat : 67730 (ExactPR-S) R 67729 67729 65549 0 -1 4194304 136641 0 0 0 236456 1250 0 0 20 0 1 0 65716523 282791936 62312 18446744073709551615 94318264451072 94318273751109 140734575563328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94318275537216 94318275576296 94318291361792 140734575565214 140734575565351 140734575565351 140734575570924 0
/proc/67730/statm: 69041 62312 3552 2271 0 63679 0
Current children cumulated CPU time: 3571.2 s
Current children cumulated vsize: 283148 KiB
Current children cumulated memory: 253472 KiB

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

# cumulated CPU time of all completed processes:  user=3571.79 s, system=13.1824 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.21 4.19 5/259 68142
/proc/meminfo: memFree=126944440/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 284 64818 0 0 0 0 119358 56 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67729] ppid=67605 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/67729/stat : 67729 (timeout) S 67605 67729 65549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65716523 2723840 320 18446744073709551615 94679286493184 94679286509697 140734957376112 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94679286524464 94679286526552 94679293644800 140734957377926 140734957378082 140734957378082 140734957383655 0
/proc/67729/statm: 665 320 320 5 0 90 0
[pid=67730] ppid=67729 vsize=276164 memory=249248 CPUtime=2378.77 cores=5,7
/proc/67730/stat : 67730 (ExactPR-S) R 67729 67729 65549 0 -1 4194304 136641 0 0 0 236626 1251 0 0 20 0 1 0 65716523 282791936 62312 18446744073709551615 94318264451072 94318273751109 140734575563328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94318275537216 94318275576296 94318291361792 140734575565214 140734575565351 140734575565351 140734575570924 0
/proc/67730/statm: 69041 62312 3552 2271 0 63679 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 283148 KiB
Current children cumulated memory: 253472 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.20 4.18 5/259 68142
/proc/meminfo: memFree=126941132/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 284 64818 0 0 0 0 119358 56 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67729] ppid=67605 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/67729/stat : 67729 (timeout) S 67605 67729 65549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65716523 2723840 320 18446744073709551615 94679286493184 94679286509697 140734957376112 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94679286524464 94679286526552 94679293644800 140734957377926 140734957378082 140734957378082 140734957383655 0
/proc/67729/statm: 665 320 320 5 0 90 0
[pid=67730] ppid=67729 vsize=276164 memory=249248 CPUtime=2385.13 cores=5,7
/proc/67730/stat : 67730 (ExactPR-S) R 67729 67729 65549 0 -1 4194304 136641 0 0 0 237259 1254 0 0 20 0 1 0 65716523 282791936 62312 18446744073709551615 94318264451072 94318273751109 140734575563328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94318275537216 94318275576296 94318291361792 140734575565214 140734575565351 140734575565351 140734575570924 0
/proc/67730/statm: 69041 62312 3552 2271 0 63679 0
Current children cumulated CPU time: 3579.27 s
Current children cumulated vsize: 283148 KiB
Current children cumulated memory: 253472 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.20 4.18 5/259 68142
/proc/meminfo: memFree=126941132/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 284 64818 0 0 0 0 119358 56 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67729] ppid=67605 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/67729/stat : 67729 (timeout) S 67605 67729 65549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65716523 2723840 320 18446744073709551615 94679286493184 94679286509697 140734957376112 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94679286524464 94679286526552 94679293644800 140734957377926 140734957378082 140734957378082 140734957383655 0
/proc/67729/statm: 665 320 320 5 0 90 0
[pid=67730] ppid=67729 vsize=276164 memory=249248 CPUtime=2388.32 cores=5,7
/proc/67730/stat : 67730 (ExactPR-S) R 67729 67729 65549 0 -1 4194304 136641 0 0 0 237577 1255 0 0 20 0 1 0 65716523 282791936 62312 18446744073709551615 94318264451072 94318273751109 140734575563328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94318275537216 94318275576296 94318291361792 140734575565214 140734575565351 140734575565351 140734575570924 0
/proc/67730/statm: 69041 62312 3552 2271 0 63679 0
Current children cumulated CPU time: 3582.46 s
Current children cumulated vsize: 283148 KiB
Current children cumulated memory: 253472 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.21 4.19 5/259 68142
/proc/meminfo: memFree=126939612/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 284 64818 0 0 0 0 119358 56 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67729] ppid=67605 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/67729/stat : 67729 (timeout) S 67605 67729 65549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65716523 2723840 320 18446744073709551615 94679286493184 94679286509697 140734957376112 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94679286524464 94679286526552 94679293644800 140734957377926 140734957378082 140734957378082 140734957383655 0
/proc/67729/statm: 665 320 320 5 0 90 0
[pid=67730] ppid=67729 vsize=276164 memory=249248 CPUtime=2389.91 cores=5,7
/proc/67730/stat : 67730 (ExactPR-S) R 67729 67729 65549 0 -1 4194304 136641 0 0 0 237735 1256 0 0 20 0 1 0 65716523 282791936 62312 18446744073709551615 94318264451072 94318273751109 140734575563328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94318275537216 94318275576296 94318291361792 140734575565214 140734575565351 140734575565351 140734575570924 0
/proc/67730/statm: 69041 62312 3552 2271 0 63679 0
Current children cumulated CPU time: 3584.05 s
Current children cumulated vsize: 283148 KiB
Current children cumulated memory: 253472 KiB

[startup+3595.6 s]
/proc/loadavg: 4.17 4.21 4.19 5/259 68142
/proc/meminfo: memFree=126939612/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 284 64818 0 0 0 0 119358 56 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67729] ppid=67605 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/67729/stat : 67729 (timeout) S 67605 67729 65549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65716523 2723840 320 18446744073709551615 94679286493184 94679286509697 140734957376112 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94679286524464 94679286526552 94679293644800 140734957377926 140734957378082 140734957378082 140734957383655 0
/proc/67729/statm: 665 320 320 5 0 90 0
[pid=67730] ppid=67729 vsize=276164 memory=249248 CPUtime=2390.32 cores=5,7
/proc/67730/stat : 67730 (ExactPR-S) R 67729 67729 65549 0 -1 4194304 136641 0 0 0 237775 1257 0 0 20 0 1 0 65716523 282791936 62312 18446744073709551615 94318264451072 94318273751109 140734575563328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94318275537216 94318275576296 94318291361792 140734575565214 140734575565351 140734575565351 140734575570924 0
/proc/67730/statm: 69041 62312 3552 2271 0 63679 0
Current children cumulated CPU time: 3584.46 s
Current children cumulated vsize: 283148 KiB
Current children cumulated memory: 253472 KiB

[startup+3596 s]*
/proc/loadavg: 4.17 4.21 4.19 5/259 68142
/proc/meminfo: memFree=126939612/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 284 64818 0 0 0 0 119358 56 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
[pid=67729] ppid=67605 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/67729/stat : 67729 (timeout) S 67605 67729 65549 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65716523 2723840 320 18446744073709551615 94679286493184 94679286509697 140734957376112 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94679286524464 94679286526552 94679293644800 140734957377926 140734957378082 140734957378082 140734957383655 0
/proc/67729/statm: 665 320 320 5 0 90 0
[pid=67730] ppid=67729 vsize=276164 memory=249248 CPUtime=2390.73 cores=5,7
/proc/67730/stat : 67730 (ExactPR-S) R 67729 67729 65549 0 -1 4194304 136641 0 0 0 237816 1257 0 0 20 0 1 0 65716523 282791936 62312 18446744073709551615 94318264451072 94318273751109 140734575563328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94318275537216 94318275576296 94318291361792 140734575565214 140734575565351 140734575565351 140734575570924 0
/proc/67730/statm: 69041 62312 3552 2271 0 63679 0
Current children cumulated CPU time: 3584.87 s
Current children cumulated vsize: 283148 KiB
Current children cumulated memory: 253472 KiB

[startup+3596.11 s]
/proc/loadavg: 4.17 4.21 4.19 5/259 68142
/proc/meminfo: memFree=126939612/131382112 swapFree=33010416/33010684
[pid=67605] ppid=67602 vsize=4324 memory=2944 CPUtime=3584.94 cores=5,7
/proc/67605/stat : 67605 (Hybrid-CASHWMax) S 67602 67605 65549 0 -1 4194304 433 203860 0 0 0 0 357178 1316 20 0 1 0 65596720 4427776 736 18446744073709551615 94152275599360 94152276493893 140726397502400 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94152276732944 94152276780688 94152277749760 140726397503831 140726397503985 140726397503985 140726397509587 0
/proc/67605/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3584.94 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.14
CPU time (s): 3584.97
CPU user time (s): 3571.79
CPU system time (s): 13.1824
CPU usage (%): 99.6894
Max. virtual memory (cumulated for all children) (KiB): 578712
Max. memory (cumulated for all children) (KiB): 542352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.79
system time used= 13.1824
maximum resident set size= 538128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1864
involuntary context switches= 2158


# summary of solver processes directly reported to runsolver:
#   pid: 67605
#   total CPU time (s): 3584.97
#   total CPU user time (s): 3571.79
#   total CPU system time (s): 13.1824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1788 second user time and 38.2016 second system time

The end

Begin job on nodeC012 at 2025-07-03 01:32:50
IDJOB=4508852
IDBENCH=158516
IDSOLVER=3327
FILE ID=nodeC012/4508852-1751499170
RUNJOBID= nodeC012-1751494261-65562
SLURM_JOB_ID= 9598565
Free space on /tmp= 431780 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508852-1751499170/watcher-4508852-1751499170 -o /tmp/evaluation-result-4508852-1751499170/solver-4508852-1751499170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751494261-65562 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4508852-1751499170.opb 3600 HOME

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

MD5SUM BENCH= 21e597bc04bc5fa012b59bdeb9fb9987
RANDOM SEED=1350851916

nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.122
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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		: 3491.691
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.530
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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		: 3700.000
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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		: 3662.222
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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		: 1197.153
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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		: 3700.000
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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		: 3700.000
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128250760 kB
MemAvailable:   128386860 kB
Buffers:            2136 kB
Cached:           938120 kB
SwapCached:           16 kB
Active:          2231072 kB
Inactive:         320424 kB
Active(anon):    1622188 kB
Inactive(anon):     6996 kB
Active(file):     608884 kB
Inactive(file):   313428 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26020 kB
Writeback:            12 kB
AnonPages:       1613360 kB
Mapped:           120728 kB
Shmem:             17944 kB
KReclaimable:     106448 kB
Slab:             190836 kB
SReclaimable:     106448 kB
SUnreclaim:        84388 kB
KernelStack:        4112 kB
PageTables:         6464 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2044888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1165312 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431780 MiB
End job on nodeC012 at 2025-07-03 02:32:47

Name	PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament26.lin.opb
MD5SUM	21e597bc04bc5fa012b59bdeb9fb9987
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	-167
Best CPU time to get the best result obtained on this benchmark	455.13
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	949
Total number of constraints	1248
Number of constraints which are clauses	624
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	624
Minimum length of a constraint	3
Maximum length of a constraint	3
Number of terms in the objective function	852
Biggest coefficient in the objective function	2
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	920
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	920
Number of bits of the biggest sum of numbers	10
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 4508852

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