PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
NuPBO-DeepOptS+ 2025-06-02	SAT (TO)	18	3600.06	3609.22

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: 63708 MiB (57077 MiB free)
  memory of node 1: 64465 MiB (63743 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517484-1751539986/watcher-4517484-1751539986 -o /tmp/evaluation-result-4517484-1751539986/solver-4517484-1751539986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751539986-80685 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4517484-1751539986.opb -t 3600 -s 2041840583 

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=80740, runsolver pid=80729

[startup+0.100061 s]*
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=123708508/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=26860 memory=12540 CPUtime=0.09 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 2132 0 0 0 9 0 0 0 20 0 1 0 69677989 27504640 3135 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 6715 3135 1088 2752 0 3368 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26860 KiB
Current children cumulated memory: 12540 KiB

[startup+0.20468 s]*
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=123675116/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=30956 memory=14648 CPUtime=0.2 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 2648 0 0 0 20 0 0 0 20 0 1 0 69677989 31698944 3662 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 7739 3662 1088 2752 0 4392 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30956 KiB
Current children cumulated memory: 14648 KiB

[startup+0.305047 s]*
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=123607892/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=40064 memory=25528 CPUtime=0.3 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 4386 0 0 0 30 0 0 0 20 0 1 0 69677989 41025536 6382 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 10016 6382 1088 2752 0 6669 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40064 KiB
Current children cumulated memory: 25528 KiB

[startup+0.700132 s]
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=123567696/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=66096 memory=51912 CPUtime=0.68 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 9538 0 0 0 67 1 0 0 20 0 1 0 69677989 67682304 12978 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 16524 12978 1152 2752 0 13177 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66096 KiB
Current children cumulated memory: 51912 KiB

[startup+1.50015 s]
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=123461352/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=217236 memory=203592 CPUtime=1.49 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 47439 0 0 0 141 8 0 0 20 0 1 0 69677989 222449664 50898 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 54309 50898 2688 2752 0 50962 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 217236 KiB
Current children cumulated memory: 203592 KiB

[startup+3.10509 s]
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=122963712/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=392564 memory=365980 CPUtime=3.08 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 71739 0 0 0 296 12 0 0 20 0 1 0 69677989 401985536 91495 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 98141 91495 2816 2752 0 94794 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 392564 KiB
Current children cumulated memory: 365980 KiB

[startup+6.30012 s]
/proc/loadavg: 0.91 1.67 2.60 5/265 80741
/proc/meminfo: memFree=122923844/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=422768 memory=379272 CPUtime=6.27 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 74034 0 0 0 614 13 0 0 20 0 1 0 69677989 432914432 94818 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 105692 94818 2816 2752 0 102345 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 422768 KiB
Current children cumulated memory: 379272 KiB

[startup+12.7001 s]
/proc/loadavg: 1.16 1.71 2.61 5/265 80741
/proc/meminfo: memFree=122823000/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=483936 memory=405228 CPUtime=12.65 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 79064 0 0 0 1251 14 0 0 20 0 1 0 69677989 495550464 101307 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 120984 101307 2816 2752 0 117637 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 483936 KiB
Current children cumulated memory: 405228 KiB

[startup+25.5001 s]
/proc/loadavg: 1.79 1.83 2.64 5/265 80741
/proc/meminfo: memFree=122676388/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=607624 memory=500272 CPUtime=25.39 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 108078 0 0 0 2521 18 0 0 20 0 1 0 69677989 622206976 125068 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 151906 125068 2816 2752 0 148559 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 607624 KiB
Current children cumulated memory: 500272 KiB

[startup+51.1052 s]
/proc/loadavg: 2.61 2.02 2.68 5/266 80743
/proc/meminfo: memFree=122646720/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=607624 memory=500784 CPUtime=50.9 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 108283 0 0 0 5072 18 0 0 20 0 1 0 69677989 622206976 125196 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 151906 125196 2816 2752 0 148559 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 607624 KiB
Current children cumulated memory: 500784 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 2.32 2.75 5/266 80745
/proc/meminfo: memFree=122511280/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=667776 memory=563980 CPUtime=101.92 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 142534 0 0 0 10167 25 0 0 20 0 1 0 69677989 683802624 140995 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 166944 140995 2848 2752 0 163597 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 667776 KiB
Current children cumulated memory: 563980 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 2.65 2.84 5/265 80747
/proc/meminfo: memFree=122433836/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=669284 memory=566284 CPUtime=161.7 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 142953 0 0 0 16145 25 0 0 20 0 1 0 69677989 685346816 141571 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 167321 141571 2848 2752 0 163974 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 669284 KiB
Current children cumulated memory: 566284 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.93 2.92 5/264 80749
/proc/meminfo: memFree=122392792/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=683132 memory=582668 CPUtime=221.5 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 146493 0 0 0 22125 25 0 0 20 0 1 0 69677989 699527168 145667 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 170783 145667 2848 2752 0 167436 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 683132 KiB
Current children cumulated memory: 582668 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.14 3.00 5/264 80752
/proc/meminfo: memFree=122224572/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=705268 memory=612656 CPUtime=281.33 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 153925 0 0 0 28106 27 0 0 20 0 1 0 69677989 722194432 153164 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 176317 153164 2848 2752 0 172970 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 705268 KiB
Current children cumulated memory: 612656 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.31 3.07 5/264 80754
/proc/meminfo: memFree=122163500/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=788952 memory=642988 CPUtime=341.15 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 162580 0 0 0 34086 29 0 0 20 0 1 0 69677989 807886848 160747 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 197238 160747 2848 2752 0 193891 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 788952 KiB
Current children cumulated memory: 642988 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.46 3.13 5/263 80756
/proc/meminfo: memFree=122090668/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=802580 memory=644780 CPUtime=400.98 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 162753 0 0 0 40069 29 0 0 20 0 1 0 69677989 821841920 161195 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 200645 161195 2848 2752 0 197298 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 802580 KiB
Current children cumulated memory: 644780 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.57 3.20 5/264 80761
/proc/meminfo: memFree=122045088/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=839904 memory=692504 CPUtime=460.8 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 164520 0 0 0 46051 29 0 0 20 0 1 0 69677989 860061696 173126 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 209976 173126 2848 2752 0 206629 0
Current children cumulated CPU time: 460.8 s

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

Current children cumulated memory: 686468 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/264 80892
/proc/meminfo: memFree=122026312/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=2854.78 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249749 0 0 0 285433 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 2854.78 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.15 4.09 5/264 80898
/proc/meminfo: memFree=122026256/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=2914.65 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249770 0 0 0 291420 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 2914.65 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/264 80901
/proc/meminfo: memFree=122026388/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=2974.52 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249770 0 0 0 297407 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 2974.52 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 80903
/proc/meminfo: memFree=122025848/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=3034.39 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249791 0 0 0 303394 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 3034.39 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 80905
/proc/meminfo: memFree=122005880/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=3094.25 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249791 0 0 0 309380 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 3094.25 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 80906
/proc/meminfo: memFree=122025552/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=3154.12 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249791 0 0 0 315367 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 3154.12 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 80908
/proc/meminfo: memFree=122024548/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=3213.99 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249812 0 0 0 321354 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 3213.99 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 80910
/proc/meminfo: memFree=122024852/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=3273.86 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249812 0 0 0 327341 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 80914
/proc/meminfo: memFree=122025188/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=3333.73 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249833 0 0 0 333328 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 3333.73 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 80916
/proc/meminfo: memFree=122025260/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=3393.59 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249833 0 0 0 339314 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 80921
/proc/meminfo: memFree=122023540/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=3453.46 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249854 0 0 0 345301 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 3453.46 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 80927
/proc/meminfo: memFree=122025768/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=3513.33 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249854 0 0 0 351288 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 3513.33 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 80932
/proc/meminfo: memFree=122028088/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=3573.2 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249854 0 0 0 357275 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 80934
/proc/meminfo: memFree=122027796/131250000 swapFree=33009904/33010684
[pid=80740] ppid=80729 vsize=807364 memory=686468 CPUtime=3600.04 cores=5,7
/proc/80740/stat : 80740 (NuPBO-DeepOptS+) R 80729 80740 80672 0 -1 4194304 249875 0 0 0 359959 45 0 0 20 0 1 0 69677989 826740736 171617 18446744073709551615 4198400 15468185 140736522402336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53993472 140736522406294 140736522406404 140736522406404 140736522412006 0
/proc/80740/statm: 201841 171617 2848 2752 0 198494 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 807364 KiB
Current children cumulated memory: 686468 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.22 s]
# the end of solver process 80740 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.61 s, system=0.454503 s

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

Child status: 10

Real time (s): 3609.22
CPU time (s): 3600.06
CPU user time (s): 3599.61
CPU system time (s): 0.454503
CPU usage (%): 99.7463
Max. virtual memory (cumulated for all children) (KiB): 1125376
Max. memory (cumulated for all children) (KiB): 965872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.61
system time used= 0.454503
maximum resident set size= 965872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65
involuntary context switches= 3036


# summary of solver processes directly reported to runsolver:
#   pid: 80740
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.61
#   total CPU system time (s): 0.454503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18901 second user time and 13.2849 second system time

The end

Begin job on nodeC033 at 2025-07-03 12:53:06
IDJOB=4517484
IDBENCH=176097
IDSOLVER=3343
FILE ID=nodeC033/4517484-1751539986
RUNJOBID= nodeC033-1751539986-80685
SLURM_JOB_ID= 9598699
Free space on /tmp= 429904 MiB

SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517484-1751539986/watcher-4517484-1751539986 -o /tmp/evaluation-result-4517484-1751539986/solver-4517484-1751539986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751539986-80685 --watchdog 3760  ./NuPBO-DeepOptS+ -f HOME/instance-4517484-1751539986.opb -t 3600 -s 2041840583

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

MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=2041840583

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123729612 kB
MemAvailable:   129701340 kB
Buffers:            2128 kB
Cached:          6724772 kB
SwapCached:           68 kB
Active:           645692 kB
Inactive:        6143940 kB
Active(anon):      75236 kB
Inactive(anon):     5524 kB
Active(file):     570456 kB
Inactive(file):  6138416 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             68916 kB
Writeback:             0 kB
AnonPages:         65892 kB
Mapped:           104456 kB
Shmem:             18028 kB
KReclaimable:     204188 kB
Slab:             295988 kB
SReclaimable:     204188 kB
SUnreclaim:        91800 kB
KernelStack:        4144 kB
PageTables:         3024 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     332604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429840 MiB
End job on nodeC033 at 2025-07-03 13:53:15

Name	PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb
MD5SUM	06b87d46bf38d4b028e9a0f41f22c2e8
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	18
Best CPU time to get the best result obtained on this benchmark	3.31113
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	650
Total number of constraints	72640
Number of constraints which are clauses	72620
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	21
Number of terms in the objective function	20
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	20
Number of bits of the sum of numbers in the objective function	5
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	22
Number of bits of the biggest sum of numbers	5
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 4517484

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data