PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02	SAT	18	3585.73	3596.18

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: 63837 MiB (62845 MiB free)
  memory of node 1: 64465 MiB (63502 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490317-1751377218/watcher-4490317-1751377218 -o /tmp/evaluation-result-4490317-1751377218/solver-4490317-1751377218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751371206-62770 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4490317-1751377218.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
solver pid=63642, runsolver pid=63635
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 4.60 4.40 4.26 4/245 63651
/proc/meminfo: memFree=129433800/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63647] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63647/stat : 63647 (timeout) S 63642 63647 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53400984 2723840 352 18446744073709551615 94346992300032 94346992316545 140726010732592 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94346992331312 94346992333400 94347014492160 140726010739120 140726010739234 140726010739234 140726010744807 0
/proc/63647/statm: 665 352 352 5 0 90 0
[pid=63649] ppid=63647 vsize=28820 memory=18560 CPUtime=0.06 cores=0,2
/proc/63649/stat : 63649 (NuPBO-DeepOptS+) R 63647 63647 62760 0 -1 4194304 2050 0 0 0 6 0 0 0 20 0 1 0 53400985 29511680 4640 18446744073709551615 4198400 15468185 140721768541328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37257216 140721768544700 140721768544801 140721768544801 140721768550374 0
/proc/63649/statm: 7205 4640 2816 2752 0 3858 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 35804 KiB
Current children cumulated memory: 23040 KiB

[startup+0.213401 s]*
/proc/loadavg: 4.60 4.40 4.26 5/245 63659
/proc/meminfo: memFree=129462308/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63647] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63647/stat : 63647 (timeout) S 63642 63647 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53400984 2723840 352 18446744073709551615 94346992300032 94346992316545 140726010732592 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94346992331312 94346992333400 94347014492160 140726010739120 140726010739234 140726010739234 140726010744807 0
/proc/63647/statm: 665 352 352 5 0 90 0
[pid=63649] ppid=63647 vsize=31148 memory=22016 CPUtime=0.18 cores=0,2
/proc/63649/stat : 63649 (NuPBO-DeepOptS+) R 63647 63647 62760 0 -1 4194304 2923 0 0 0 17 1 0 0 20 0 1 0 53400985 31895552 5504 18446744073709551615 4198400 15468185 140721768541328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37257216 140721768544700 140721768544801 140721768544801 140721768550374 0
/proc/63649/statm: 7787 5504 2816 2752 0 4440 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 26496 KiB

[startup+0.313254 s]*
/proc/loadavg: 4.60 4.40 4.26 5/251 63666
/proc/meminfo: memFree=129449084/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63647] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63647/stat : 63647 (timeout) S 63642 63647 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53400984 2723840 352 18446744073709551615 94346992300032 94346992316545 140726010732592 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94346992331312 94346992333400 94347014492160 140726010739120 140726010739234 140726010739234 140726010744807 0
/proc/63647/statm: 665 352 352 5 0 90 0
[pid=63649] ppid=63647 vsize=34312 memory=24320 CPUtime=0.28 cores=0,2
/proc/63649/stat : 63649 (NuPBO-DeepOptS+) R 63647 63647 62760 0 -1 4194304 3473 0 0 0 27 1 0 0 20 0 1 0 53400985 35135488 6080 18446744073709551615 4198400 15468185 140721768541328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37257216 140721768544700 140721768544801 140721768544801 140721768550374 0
/proc/63649/statm: 8578 6080 2816 2752 0 5231 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41296 KiB
Current children cumulated memory: 28800 KiB

[startup+0.700439 s]
/proc/loadavg: 4.60 4.40 4.26 5/258 63678
/proc/meminfo: memFree=129425840/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63647] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63647/stat : 63647 (timeout) S 63642 63647 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53400984 2723840 352 18446744073709551615 94346992300032 94346992316545 140726010732592 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94346992331312 94346992333400 94347014492160 140726010739120 140726010739234 140726010739234 140726010744807 0
/proc/63647/statm: 665 352 352 5 0 90 0
[pid=63649] ppid=63647 vsize=42704 memory=32968 CPUtime=0.65 cores=0,2
/proc/63649/stat : 63649 (NuPBO-DeepOptS+) R 63647 63647 62760 0 -1 4194304 6423 0 0 0 63 2 0 0 20 0 1 0 53400985 43728896 8242 18446744073709551615 4198400 15468185 140721768541328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37257216 140721768544700 140721768544801 140721768544801 140721768550374 0
/proc/63649/statm: 10676 8242 2848 2752 0 7329 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 49688 KiB
Current children cumulated memory: 37448 KiB

[startup+1.50039 s]
/proc/loadavg: 4.60 4.40 4.26 5/258 63678
/proc/meminfo: memFree=129398232/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63647] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63647/stat : 63647 (timeout) S 63642 63647 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53400984 2723840 352 18446744073709551615 94346992300032 94346992316545 140726010732592 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94346992331312 94346992333400 94347014492160 140726010739120 140726010739234 140726010739234 140726010744807 0
/proc/63647/statm: 665 352 352 5 0 90 0
[pid=63649] ppid=63647 vsize=44372 memory=34504 CPUtime=1.44 cores=0,2
/proc/63649/stat : 63649 (NuPBO-DeepOptS+) R 63647 63647 62760 0 -1 4194304 6819 0 0 0 142 2 0 0 20 0 1 0 53400985 45436928 8626 18446744073709551615 4198400 15468185 140721768541328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37257216 140721768544700 140721768544801 140721768544801 140721768550374 0
/proc/63649/statm: 11093 8626 2848 2752 0 7746 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 51356 KiB
Current children cumulated memory: 38984 KiB

[startup+3.11302 s]
/proc/loadavg: 4.55 4.40 4.26 5/258 63678
/proc/meminfo: memFree=129371340/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63647] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63647/stat : 63647 (timeout) S 63642 63647 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53400984 2723840 352 18446744073709551615 94346992300032 94346992316545 140726010732592 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94346992331312 94346992333400 94347014492160 140726010739120 140726010739234 140726010739234 140726010744807 0
/proc/63647/statm: 665 352 352 5 0 90 0
[pid=63649] ppid=63647 vsize=56060 memory=46348 CPUtime=3.04 cores=0,2
/proc/63649/stat : 63649 (NuPBO-DeepOptS+) R 63647 63647 62760 0 -1 4194304 10132 0 0 0 302 2 0 0 20 0 1 0 53400985 57405440 11587 18446744073709551615 4198400 15468185 140721768541328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37257216 140721768544700 140721768544801 140721768544801 140721768550374 0
/proc/63649/statm: 14015 11587 2848 2752 0 10668 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 63044 KiB
Current children cumulated memory: 50828 KiB

[startup+6.30041 s]
/proc/loadavg: 4.55 4.40 4.26 5/258 63678
/proc/meminfo: memFree=129371024/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63647] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63647/stat : 63647 (timeout) S 63642 63647 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53400984 2723840 352 18446744073709551615 94346992300032 94346992316545 140726010732592 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94346992331312 94346992333400 94347014492160 140726010739120 140726010739234 140726010739234 140726010744807 0
/proc/63647/statm: 665 352 352 5 0 90 0
[pid=63649] ppid=63647 vsize=66884 memory=57196 CPUtime=6.22 cores=0,2
/proc/63649/stat : 63649 (NuPBO-DeepOptS+) R 63647 63647 62760 0 -1 4194304 13035 0 0 0 619 3 0 0 20 0 1 0 53400985 68489216 14299 18446744073709551615 4198400 15468185 140721768541328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37257216 140721768544700 140721768544801 140721768544801 140721768550374 0
/proc/63649/statm: 16721 14299 3168 2752 0 13374 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 73868 KiB
Current children cumulated memory: 61676 KiB

[startup+12.7004 s]
/proc/loadavg: 4.51 4.39 4.26 5/258 63678
/proc/meminfo: memFree=129337704/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63647] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63647/stat : 63647 (timeout) S 63642 63647 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53400984 2723840 352 18446744073709551615 94346992300032 94346992316545 140726010732592 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94346992331312 94346992333400 94347014492160 140726010739120 140726010739234 140726010739234 140726010744807 0
/proc/63647/statm: 665 352 352 5 0 90 0
[pid=63649] ppid=63647 vsize=91136 memory=80876 CPUtime=12.6 cores=0,2
/proc/63649/stat : 63649 (NuPBO-DeepOptS+) R 63647 63647 62760 0 -1 4194304 18972 0 0 0 1256 4 0 0 20 0 1 0 53400985 93323264 20219 18446744073709551615 4198400 15468185 140721768541328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37257216 140721768544700 140721768544801 140721768544801 140721768550374 0
/proc/63649/statm: 22784 20219 3168 2752 0 19437 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 98120 KiB
Current children cumulated memory: 85356 KiB

[startup+25.5004 s]
/proc/loadavg: 4.46 4.39 4.26 5/258 63678
/proc/meminfo: memFree=129274468/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63647] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63647/stat : 63647 (timeout) S 63642 63647 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53400984 2723840 352 18446744073709551615 94346992300032 94346992316545 140726010732592 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94346992331312 94346992333400 94347014492160 140726010739120 140726010739234 140726010739234 140726010744807 0
/proc/63647/statm: 665 352 352 5 0 90 0
[pid=63649] ppid=63647 vsize=129176 memory=116344 CPUtime=25.35 cores=0,2
/proc/63649/stat : 63649 (NuPBO-DeepOptS+) R 63647 63647 62760 0 -1 4194304 30446 0 0 0 2528 7 0 0 20 0 1 0 53400985 132276224 29086 18446744073709551615 4198400 15468185 140721768541328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37257216 140721768544700 140721768544801 140721768544801 140721768550374 0
/proc/63649/statm: 32294 29086 3168 2752 0 28947 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 136160 KiB
Current children cumulated memory: 120824 KiB

[startup+51.113 s]
/proc/loadavg: 4.30 4.35 4.25 5/258 63679
/proc/meminfo: memFree=129145268/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63647] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63647/stat : 63647 (timeout) S 63642 63647 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53400984 2723840 352 18446744073709551615 94346992300032 94346992316545 140726010732592 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94346992331312 94346992333400 94347014492160 140726010739120 140726010739234 140726010739234 140726010744807 0
/proc/63647/statm: 665 352 352 5 0 90 0
[pid=63649] ppid=63647 vsize=201756 memory=187364 CPUtime=50.84 cores=0,2
/proc/63649/stat : 63649 (NuPBO-DeepOptS+) R 63647 63647 62760 0 -1 4194304 48355 0 0 0 5074 10 0 0 20 0 1 0 53400985 206598144 46841 18446744073709551615 4198400 15468185 140721768541328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37257216 140721768544700 140721768544801 140721768544801 140721768550374 0
/proc/63649/statm: 50439 46841 3168 2752 0 47092 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 208740 KiB
Current children cumulated memory: 191844 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.33 4.25 5/257 63681
/proc/meminfo: memFree=128928596/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63647] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63853] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63853/stat : 63853 (timeout) S 63642 63853 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53640786 2723840 352 18446744073709551615 94499614027776 94499614044289 140731076782160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94499614059056 94499614061144 94499630215168 140731076786563 140731076786722 140731076786722 140731076792295 0
/proc/63853/statm: 665 352 352 5 0 90 0
[pid=63854] ppid=63853 vsize=63940 memory=40540 CPUtime=1061.18 cores=0,2
/proc/63854/stat : 63854 (ExactPR-nols) R 63853 63853 62760 0 -1 4194304 5496 0 0 0 105037 1081 0 0 20 0 1 0 53640786 65474560 10135 18446744073709551615 94812857978880 94812867278533 140727582865344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94812869065024 94812869104104 94812883021824 140727582869912 140727582870052 140727582870052 140727582875625 0
/proc/63854/statm: 15985 10135 1888 2271 0 10623 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 70924 KiB
Current children cumulated memory: 45020 KiB

[startup+3522.3 s]
/proc/loadavg: 4.54 4.30 4.19 6/258 64026
/proc/meminfo: memFree=128322516/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=2391.07 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 283 299378 0 0 0 0 239036 71 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63853] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63853/stat : 63853 (timeout) S 63642 63853 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53640786 2723840 352 18446744073709551615 94499614027776 94499614044289 140731076782160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94499614059056 94499614061144 94499630215168 140731076786563 140731076786722 140731076786722 140731076792295 0
/proc/63853/statm: 665 352 352 5 0 90 0
[pid=63854] ppid=63853 vsize=64196 memory=40924 CPUtime=1121.02 cores=0,2
/proc/63854/stat : 63854 (ExactPR-nols) R 63853 63853 62760 0 -1 4194304 5577 0 0 0 110973 1129 0 0 20 0 1 0 53640786 65736704 10231 18446744073709551615 94812857978880 94812867278533 140727582865344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94812869065024 94812869104104 94812883021824 140727582869912 140727582870052 140727582870052 140727582875625 0
/proc/63854/statm: 16049 10231 1888 2271 0 10687 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 71180 KiB
Current children cumulated memory: 45404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.32 4.27 4.18 6/258 64028
/proc/meminfo: memFree=128256752/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=2391.07 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 283 299378 0 0 0 0 239036 71 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63853] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63853/stat : 63853 (timeout) S 63642 63853 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53640786 2723840 352 18446744073709551615 94499614027776 94499614044289 140731076782160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94499614059056 94499614061144 94499630215168 140731076786563 140731076786722 140731076786722 140731076792295 0
/proc/63853/statm: 665 352 352 5 0 90 0
[pid=63854] ppid=63853 vsize=64388 memory=41052 CPUtime=1180.86 cores=0,2
/proc/63854/stat : 63854 (ExactPR-nols) R 63853 63853 62760 0 -1 4194304 5635 0 0 0 116908 1178 0 0 20 0 1 0 53640786 65933312 10263 18446744073709551615 94812857978880 94812867278533 140727582865344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94812869065024 94812869104104 94812883021824 140727582869912 140727582870052 140727582870052 140727582875625 0
/proc/63854/statm: 16097 10263 1888 2271 0 10735 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 71372 KiB
Current children cumulated memory: 45532 KiB

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

# cumulated CPU time of all completed processes:  user=3573.06 s, system=12.6675 s

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

[startup+3584 s]*
/proc/loadavg: 4.30 4.27 4.18 6/258 64028
/proc/meminfo: memFree=128257256/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=2391.07 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 283 299378 0 0 0 0 239036 71 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63853] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63853/stat : 63853 (timeout) S 63642 63853 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53640786 2723840 352 18446744073709551615 94499614027776 94499614044289 140731076782160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94499614059056 94499614061144 94499630215168 140731076786563 140731076786722 140731076786722 140731076792295 0
/proc/63853/statm: 665 352 352 5 0 90 0
[pid=63854] ppid=63853 vsize=64388 memory=41052 CPUtime=1182.56 cores=0,2
/proc/63854/stat : 63854 (ExactPR-nols) R 63853 63853 62760 0 -1 4194304 5635 0 0 0 117077 1179 0 0 20 0 1 0 53640786 65933312 10263 18446744073709551615 94812857978880 94812867278533 140727582865344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94812869065024 94812869104104 94812883021824 140727582869912 140727582870052 140727582870052 140727582875625 0
/proc/63854/statm: 16097 10263 1888 2271 0 10735 0
Current children cumulated CPU time: 3573.63 s
Current children cumulated vsize: 71372 KiB
Current children cumulated memory: 45532 KiB

[startup+3590.4 s]
/proc/loadavg: 4.27 4.26 4.18 6/258 64028
/proc/meminfo: memFree=128245852/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=2391.07 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 283 299378 0 0 0 0 239036 71 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63853] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63853/stat : 63853 (timeout) S 63642 63853 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53640786 2723840 352 18446744073709551615 94499614027776 94499614044289 140731076782160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94499614059056 94499614061144 94499630215168 140731076786563 140731076786722 140731076786722 140731076792295 0
/proc/63853/statm: 665 352 352 5 0 90 0
[pid=63854] ppid=63853 vsize=64388 memory=41052 CPUtime=1188.93 cores=0,2
/proc/63854/stat : 63854 (ExactPR-nols) R 63853 63853 62760 0 -1 4194304 5636 0 0 0 117709 1184 0 0 20 0 1 0 53640786 65933312 10263 18446744073709551615 94812857978880 94812867278533 140727582865344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94812869065024 94812869104104 94812883021824 140727582869912 140727582870052 140727582870052 140727582875625 0
/proc/63854/statm: 16097 10263 1888 2271 0 10735 0
Current children cumulated CPU time: 3580 s
Current children cumulated vsize: 71372 KiB
Current children cumulated memory: 45532 KiB

[startup+3593.6 s]
/proc/loadavg: 4.25 4.26 4.18 6/258 64028
/proc/meminfo: memFree=128237788/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=2391.07 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 283 299378 0 0 0 0 239036 71 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63853] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63853/stat : 63853 (timeout) S 63642 63853 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53640786 2723840 352 18446744073709551615 94499614027776 94499614044289 140731076782160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94499614059056 94499614061144 94499630215168 140731076786563 140731076786722 140731076786722 140731076792295 0
/proc/63853/statm: 665 352 352 5 0 90 0
[pid=63854] ppid=63853 vsize=64388 memory=41052 CPUtime=1192.13 cores=0,2
/proc/63854/stat : 63854 (ExactPR-nols) R 63853 63853 62760 0 -1 4194304 5636 0 0 0 118026 1187 0 0 20 0 1 0 53640786 65933312 10263 18446744073709551615 94812857978880 94812867278533 140727582865344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94812869065024 94812869104104 94812883021824 140727582869912 140727582870052 140727582870052 140727582875625 0
/proc/63854/statm: 16097 10263 1888 2271 0 10735 0
Current children cumulated CPU time: 3583.2 s
Current children cumulated vsize: 71372 KiB
Current children cumulated memory: 45532 KiB

[startup+3595.2 s]
/proc/loadavg: 4.25 4.26 4.18 6/258 64028
/proc/meminfo: memFree=128238040/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=2391.07 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 283 299378 0 0 0 0 239036 71 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63853] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63853/stat : 63853 (timeout) S 63642 63853 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53640786 2723840 352 18446744073709551615 94499614027776 94499614044289 140731076782160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94499614059056 94499614061144 94499630215168 140731076786563 140731076786722 140731076786722 140731076792295 0
/proc/63853/statm: 665 352 352 5 0 90 0
[pid=63854] ppid=63853 vsize=64388 memory=41052 CPUtime=1193.72 cores=0,2
/proc/63854/stat : 63854 (ExactPR-nols) R 63853 63853 62760 0 -1 4194304 5636 0 0 0 118184 1188 0 0 20 0 1 0 53640786 65933312 10263 18446744073709551615 94812857978880 94812867278533 140727582865344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94812869065024 94812869104104 94812883021824 140727582869912 140727582870052 140727582870052 140727582875625 0
/proc/63854/statm: 16097 10263 1888 2271 0 10735 0
Current children cumulated CPU time: 3584.79 s
Current children cumulated vsize: 71372 KiB
Current children cumulated memory: 45532 KiB

[startup+3595.6 s]
/proc/loadavg: 4.25 4.26 4.18 6/258 64028
/proc/meminfo: memFree=128238040/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=2391.07 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 283 299378 0 0 0 0 239036 71 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63853] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63853/stat : 63853 (timeout) S 63642 63853 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53640786 2723840 352 18446744073709551615 94499614027776 94499614044289 140731076782160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94499614059056 94499614061144 94499630215168 140731076786563 140731076786722 140731076786722 140731076792295 0
/proc/63853/statm: 665 352 352 5 0 90 0
[pid=63854] ppid=63853 vsize=64388 memory=41052 CPUtime=1194.12 cores=0,2
/proc/63854/stat : 63854 (ExactPR-nols) R 63853 63853 62760 0 -1 4194304 5636 0 0 0 118223 1189 0 0 20 0 1 0 53640786 65933312 10263 18446744073709551615 94812857978880 94812867278533 140727582865344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94812869065024 94812869104104 94812883021824 140727582869912 140727582870052 140727582870052 140727582875625 0
/proc/63854/statm: 16097 10263 1888 2271 0 10735 0
Current children cumulated CPU time: 3585.19 s
Current children cumulated vsize: 71372 KiB
Current children cumulated memory: 45532 KiB

[startup+3596 s]*
/proc/loadavg: 4.25 4.26 4.18 6/258 64028
/proc/meminfo: memFree=128238040/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=2391.07 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 283 299378 0 0 0 0 239036 71 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
[pid=63853] ppid=63642 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/63853/stat : 63853 (timeout) S 63642 63853 62760 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53640786 2723840 352 18446744073709551615 94499614027776 94499614044289 140731076782160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94499614059056 94499614061144 94499630215168 140731076786563 140731076786722 140731076786722 140731076792295 0
/proc/63853/statm: 665 352 352 5 0 90 0
[pid=63854] ppid=63853 vsize=64388 memory=41052 CPUtime=1194.53 cores=0,2
/proc/63854/stat : 63854 (ExactPR-nols) R 63853 63853 62760 0 -1 4194304 5636 0 0 0 118264 1189 0 0 20 0 1 0 53640786 65933312 10263 18446744073709551615 94812857978880 94812867278533 140727582865344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94812869065024 94812869104104 94812883021824 140727582869912 140727582870052 140727582870052 140727582875625 0
/proc/63854/statm: 16097 10263 1888 2271 0 10735 0
Current children cumulated CPU time: 3585.6 s
Current children cumulated vsize: 71372 KiB
Current children cumulated memory: 45532 KiB

[startup+3596.11 s]
/proc/loadavg: 4.25 4.26 4.18 6/258 64028
/proc/meminfo: memFree=128238040/131382112 swapFree=33010684/33010684
[pid=63642] ppid=63635 vsize=4324 memory=3072 CPUtime=3585.68 cores=0,2
/proc/63642/stat : 63642 (Hybrid-NuPBODee) S 63635 63642 62760 0 -1 4194304 367 306276 0 0 0 0 357305 1263 20 0 1 0 53400981 4427776 768 18446744073709551615 94384647884800 94384648779333 140725772589104 0 0 0 2 4 65536 1 0 0 17 0 0 0 0 0 0 94384649018384 94384649066128 94384675971072 140725772597595 140725772597747 140725772597747 140725772603349 0
/proc/63642/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.68 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.18
CPU time (s): 3585.73
CPU user time (s): 3573.06
CPU system time (s): 12.6675
CPU usage (%): 99.7096
Max. virtual memory (cumulated for all children) (KiB): 1183244
Max. memory (cumulated for all children) (KiB): 1156252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.06
system time used= 12.6675
maximum resident set size= 1151772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308526
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= 2021
involuntary context switches= 7981


# summary of solver processes directly reported to runsolver:
#   pid: 63642
#   total CPU time (s): 3585.73
#   total CPU user time (s): 3573.06
#   total CPU system time (s): 12.6675

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9003 second user time and 35.5958 second system time

The end

Begin job on nodeC007 at 2025-07-01 15:40:18
IDJOB=4490317
IDBENCH=147578
IDSOLVER=3332
FILE ID=nodeC007/4490317-1751377218
RUNJOBID= nodeC007-1751371206-62770
SLURM_JOB_ID= 9598194
Free space on /tmp= 432836 MiB

SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb
COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490317-1751377218/watcher-4490317-1751377218 -o /tmp/evaluation-result-4490317-1751377218/solver-4490317-1751377218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751371206-62770 --watchdog 3760  ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4490317-1751377218.opb 3600 HOME

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

MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110
RANDOM SEED=158574847

nodeC007 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		: 3492.584
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.68
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		: 3591.597
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.68
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.199
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.201
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.68
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		: 1197.202
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.68
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		: 3573.447
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.333
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.197
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129363884 kB
MemAvailable:   129736624 kB
Buffers:            3280 kB
Cached:          1179072 kB
SwapCached:            0 kB
Active:           332496 kB
Inactive:         931784 kB
Active(anon):      99888 kB
Inactive(anon):        0 kB
Active(file):     232608 kB
Inactive(file):   931784 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             57104 kB
Writeback:             0 kB
AnonPages:         84792 kB
Mapped:           114124 kB
Shmem:             17960 kB
KReclaimable:      95948 kB
Slab:             179900 kB
SReclaimable:      95948 kB
SUnreclaim:        83952 kB
KernelStack:        3920 kB
PageTables:         3028 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     386408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149320 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC007 at 2025-07-01 16:40:15

Name	PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUM	b4b357048b7fd6a2befaa81502734110
Bench Category	OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	11
Best CPU time to get the best result obtained on this benchmark	3600.01
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	198
Total number of constraints	16
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	16
Minimum length of a constraint	85
Maximum length of a constraint	86
Number of terms in the objective function	128
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	4080
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1884
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	6162
Number of bits of the biggest sum of numbers	13
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 4490317

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