PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Exact_no_db_no_ls 2025-06-19	OPT	50	2106.14	2112.6

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62891 MiB free)
  memory of node 1: 64507 MiB (63981 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487546-1751330773/watcher-4487546-1751330773 -o /tmp/evaluation-result-4487546-1751330773/solver-4487546-1751330773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751327154-44679 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=689134641 --ls=0 --inp-dombreaklim=0 HOME/instance-4487546-1751330773.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.1001 s]*
/proc/loadavg: 4.53 4.58 4.28 4/248 45920
/proc/meminfo: memFree=129918508/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=35300 memory=13036 CPUtime=0.1 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 2819 0 0 0 9 1 0 0 20 0 1 0 48756244 36147200 3259 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 8825 3259 1280 1200 0 7305 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35300 KiB
Current children cumulated memory: 13036 KiB

[startup+0.21254 s]*
/proc/loadavg: 4.41 4.55 4.28 4/247 45930
/proc/meminfo: memFree=129925168/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=37412 memory=17336 CPUtime=0.21 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 3396 0 0 0 20 1 0 0 20 0 1 0 48756244 38309888 4334 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 9353 4334 1280 1200 0 7833 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37412 KiB
Current children cumulated memory: 17336 KiB

[startup+0.312891 s]*
/proc/loadavg: 4.41 4.55 4.28 5/248 45938
/proc/meminfo: memFree=129920884/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=38868 memory=18872 CPUtime=0.31 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 3773 0 0 0 30 1 0 0 20 0 1 0 48756244 39800832 4718 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 9717 4718 1280 1200 0 8197 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38868 KiB
Current children cumulated memory: 18872 KiB

[startup+0.700307 s]
/proc/loadavg: 4.41 4.55 4.28 5/247 45948
/proc/meminfo: memFree=129912144/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=42828 memory=24840 CPUtime=0.69 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 4888 0 0 0 67 2 0 0 20 0 1 0 48756244 43855872 6210 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 10707 6210 1280 1200 0 9187 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42828 KiB
Current children cumulated memory: 24840 KiB

[startup+1.50033 s]
/proc/loadavg: 4.41 4.55 4.28 5/251 45957
/proc/meminfo: memFree=129876736/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=53632 memory=37836 CPUtime=1.47 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 7123 0 0 0 145 2 0 0 20 0 1 0 48756244 54919168 9459 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 13408 9459 1280 1200 0 11888 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 53632 KiB
Current children cumulated memory: 37836 KiB

[startup+3.11278 s]
/proc/loadavg: 4.41 4.55 4.28 5/251 46047
/proc/meminfo: memFree=129820176/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=92448 memory=70132 CPUtime=3.08 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 12873 0 0 0 303 5 0 0 20 0 1 0 48756244 94666752 17533 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 23112 17533 1280 1200 0 21592 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 92448 KiB
Current children cumulated memory: 70132 KiB

[startup+6.30033 s]
/proc/loadavg: 4.37 4.54 4.27 5/251 46047
/proc/meminfo: memFree=129558812/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=104452 memory=87684 CPUtime=6.26 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 15735 0 0 0 620 6 0 0 20 0 1 0 48756244 106958848 21921 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 26113 21921 1280 1200 0 24593 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 104452 KiB
Current children cumulated memory: 87684 KiB

[startup+12.7003 s]
/proc/loadavg: 4.34 4.53 4.27 5/251 46047
/proc/meminfo: memFree=128964048/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=148988 memory=114944 CPUtime=12.64 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 20403 0 0 0 1254 10 0 0 20 0 1 0 48756244 152563712 28736 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 37247 28736 1280 1200 0 35727 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 148988 KiB
Current children cumulated memory: 114944 KiB

[startup+25.5004 s]
/proc/loadavg: 4.29 4.51 4.27 5/251 46047
/proc/meminfo: memFree=128933680/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=152952 memory=118400 CPUtime=25.4 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 21259 0 0 0 2527 13 0 0 20 0 1 0 48756244 156622848 29600 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 38238 29600 1280 1200 0 36718 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 152952 KiB
Current children cumulated memory: 118400 KiB

[startup+51.1126 s]
/proc/loadavg: 4.29 4.49 4.27 5/251 46047
/proc/meminfo: memFree=128581464/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=161324 memory=124800 CPUtime=50.93 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 22881 0 0 0 5072 21 0 0 20 0 1 0 48756244 165195776 31200 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 40331 31200 1280 1200 0 38811 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 161324 KiB
Current children cumulated memory: 124800 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.43 4.26 5/251 46049
/proc/meminfo: memFree=128561136/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=168980 memory=130304 CPUtime=101.95 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 24289 0 0 0 10158 37 0 0 20 0 1 0 48756244 173035520 32576 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 42245 32576 1280 1200 0 40725 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 168980 KiB
Current children cumulated memory: 130304 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.40 4.26 5/251 46321
/proc/meminfo: memFree=128428712/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=172244 memory=133376 CPUtime=161.73 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 25120 0 0 0 16122 51 0 0 20 0 1 0 48756244 176377856 33344 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 43061 33344 1280 1200 0 41541 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 172244 KiB
Current children cumulated memory: 133376 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.34 4.25 5/250 46323
/proc/meminfo: memFree=128352108/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=177376 memory=155924 CPUtime=221.53 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 26214 0 0 0 22086 67 0 0 20 0 1 0 48756244 181633024 38981 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 44344 38981 1280 1200 0 42824 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 177376 KiB
Current children cumulated memory: 155924 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.30 4.24 5/252 46329
/proc/meminfo: memFree=128304876/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=180696 memory=158356 CPUtime=281.34 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 26830 0 0 0 28054 80 0 0 20 0 1 0 48756244 185032704 39589 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 45174 39589 1280 1200 0 43654 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 180696 KiB
Current children cumulated memory: 158356 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.26 4.23 5/252 46331
/proc/meminfo: memFree=128295976/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=184536 memory=165292 CPUtime=341.15 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 27554 0 0 0 34022 93 0 0 20 0 1 0 48756244 188964864 41323 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 46134 41323 1280 1200 0 44614 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 184536 KiB
Current children cumulated memory: 165292 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.24 4.23 5/252 46333
/proc/meminfo: memFree=128258712/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=186072 memory=166572 CPUtime=400.96 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 27891 0 0 0 39991 105 0 0 20 0 1 0 48756244 190537728 41643 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 46518 41643 1280 1200 0 44998 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 186072 KiB
Current children cumulated memory: 166572 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.23 4.22 5/253 46338
/proc/meminfo: memFree=128245392/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=187800 memory=167724 CPUtime=460.78 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 28248 0 0 0 45960 118 0 0 20 0 1 0 48756244 192307200 41931 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0

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

/proc/loadavg: 4.12 4.10 4.12 5/251 46588
/proc/meminfo: memFree=127288080/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=245072 memory=196764 CPUtime=1657.13 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 32095 0 0 0 165344 369 0 0 20 0 1 0 48756244 250953728 49191 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 61268 49191 1280 1200 0 59748 0
Current children cumulated CPU time: 1657.13 s
Current children cumulated vsize: 245072 KiB
Current children cumulated memory: 196764 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/252 46593
/proc/meminfo: memFree=127277944/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=245456 memory=197020 CPUtime=1716.97 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 32172 0 0 0 171315 382 0 0 20 0 1 0 48756244 251346944 49255 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 61364 49255 1280 1200 0 59844 0
Current children cumulated CPU time: 1716.97 s
Current children cumulated vsize: 245456 KiB
Current children cumulated memory: 197020 KiB

[startup+1782.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/253 46600
/proc/meminfo: memFree=127279664/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=246800 memory=198172 CPUtime=1776.79 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 32439 0 0 0 177286 393 0 0 20 0 1 0 48756244 252723200 49543 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 61700 49543 1280 1200 0 60180 0
Current children cumulated CPU time: 1776.79 s
Current children cumulated vsize: 246800 KiB
Current children cumulated memory: 198172 KiB

[startup+1842.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/253 46602
/proc/meminfo: memFree=127275268/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=246992 memory=198300 CPUtime=1836.62 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 32540 0 0 0 183259 403 0 0 20 0 1 0 48756244 252919808 49575 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 61748 49575 1280 1200 0 60228 0
Current children cumulated CPU time: 1836.62 s
Current children cumulated vsize: 246992 KiB
Current children cumulated memory: 198300 KiB

[startup+1902.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/253 46604
/proc/meminfo: memFree=127177184/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=263232 memory=207388 CPUtime=1896.44 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 34815 0 0 0 189230 414 0 0 20 0 1 0 48756244 269549568 51847 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 65808 51847 1280 1200 0 64288 0
Current children cumulated CPU time: 1896.44 s
Current children cumulated vsize: 263232 KiB
Current children cumulated memory: 207388 KiB

[startup+1962.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/252 46606
/proc/meminfo: memFree=127080072/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=263616 memory=207516 CPUtime=1956.27 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 34871 0 0 0 195202 425 0 0 20 0 1 0 48756244 269942784 51879 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 65904 51879 1280 1200 0 64384 0
Current children cumulated CPU time: 1956.27 s
Current children cumulated vsize: 263616 KiB
Current children cumulated memory: 207516 KiB

[startup+2022.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/252 46608
/proc/meminfo: memFree=126947320/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=263616 memory=207516 CPUtime=2016.1 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 34871 0 0 0 201174 436 0 0 20 0 1 0 48756244 269942784 51879 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 65904 51879 1280 1200 0 64384 0
Current children cumulated CPU time: 2016.1 s
Current children cumulated vsize: 263616 KiB
Current children cumulated memory: 207516 KiB

[startup+2082.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/252 46610
/proc/meminfo: memFree=126947248/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=263616 memory=207516 CPUtime=2075.92 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 34871 0 0 0 207143 449 0 0 20 0 1 0 48756244 269942784 51879 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 65904 51879 1280 1200 0 64384 0
Current children cumulated CPU time: 2075.92 s
Current children cumulated vsize: 263616 KiB
Current children cumulated memory: 207516 KiB

[startup+2112.6 s]
# the end of solver process 45912 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=2101.59 s, system=4.54945 s

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

[startup+2099.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 46610
/proc/meminfo: memFree=126948508/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=263616 memory=207516 CPUtime=2092.77 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 34874 0 0 0 208825 452 0 0 20 0 1 0 48756244 269942784 51879 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 65904 51879 1280 1200 0 64384 0
Current children cumulated CPU time: 2092.77 s
Current children cumulated vsize: 263616 KiB
Current children cumulated memory: 207516 KiB

[startup+2105.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/251 46610
/proc/meminfo: memFree=126932124/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=263616 memory=208284 CPUtime=2099.15 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 34875 0 0 0 209462 453 0 0 20 0 1 0 48756244 269942784 52071 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 65904 52071 1280 1200 0 64384 0
Current children cumulated CPU time: 2099.15 s
Current children cumulated vsize: 263616 KiB
Current children cumulated memory: 208284 KiB

[startup+2108.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 46610
/proc/meminfo: memFree=126924184/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=263616 memory=208284 CPUtime=2102.34 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 34875 0 0 0 209780 454 0 0 20 0 1 0 48756244 269942784 52071 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 65904 52071 1280 1200 0 64384 0
Current children cumulated CPU time: 2102.34 s
Current children cumulated vsize: 263616 KiB
Current children cumulated memory: 208284 KiB

[startup+2110.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 46610
/proc/meminfo: memFree=126924184/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=263616 memory=208284 CPUtime=2103.94 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 34875 0 0 0 209940 454 0 0 20 0 1 0 48756244 269942784 52071 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 65904 52071 1280 1200 0 64384 0
Current children cumulated CPU time: 2103.94 s
Current children cumulated vsize: 263616 KiB
Current children cumulated memory: 208284 KiB

[startup+2112 s]*
/proc/loadavg: 4.09 4.09 4.09 5/251 46610
/proc/meminfo: memFree=126924688/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=263616 memory=208284 CPUtime=2105.54 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 34875 0 0 0 210100 454 0 0 20 0 1 0 48756244 269942784 52071 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 65904 52071 1280 1200 0 64384 0
Current children cumulated CPU time: 2105.54 s
Current children cumulated vsize: 263616 KiB
Current children cumulated memory: 208284 KiB

[startup+2112.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 46610
/proc/meminfo: memFree=126924688/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=263616 memory=208284 CPUtime=2105.93 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 34875 0 0 0 210139 454 0 0 20 0 1 0 48756244 269942784 52071 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 65904 52071 1280 1200 0 64384 0
Current children cumulated CPU time: 2105.93 s
Current children cumulated vsize: 263616 KiB
Current children cumulated memory: 208284 KiB

[startup+2112.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 46610
/proc/meminfo: memFree=126924688/131382112 swapFree=33010160/33010684
[pid=45912] ppid=45906 vsize=263616 memory=208284 CPUtime=2106.13 cores=0,2
/proc/45912/stat : 45912 (Exact) R 45906 45912 44669 0 -1 4194304 34875 0 0 0 210159 454 0 0 20 0 1 0 48756244 269942784 52071 18446744073709551615 4198400 9112445 140731812957360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43048960 140731812960553 140731812960749 140731812960749 140731812966351 0
/proc/45912/statm: 65904 52071 1280 1200 0 64384 0
Current children cumulated CPU time: 2106.13 s
Current children cumulated vsize: 263616 KiB
Current children cumulated memory: 208284 KiB

Child status: 30

Real time (s): 2112.6
CPU time (s): 2106.14
CPU user time (s): 2101.59
CPU system time (s): 4.54945
CPU usage (%): 99.6942
Max. virtual memory (cumulated for all children) (KiB): 263616
Max. memory (cumulated for all children) (KiB): 208284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2101.59
system time used= 4.54945
maximum resident set size= 240208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34877
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= 45
involuntary context switches= 4663


# summary of solver processes directly reported to runsolver:
#   pid: 45912
#   total CPU time (s): 2106.14
#   total CPU user time (s): 2101.59
#   total CPU system time (s): 4.54945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1593 second user time and 19.0271 second system time

The end

Begin job on nodeC001 at 2025-07-01 02:46:13
IDJOB=4487546
IDBENCH=147199
IDSOLVER=3318
FILE ID=nodeC001/4487546-1751330773
RUNJOBID= nodeC001-1751327154-44679
SLURM_JOB_ID= 9594366
Free space on /tmp= 433036 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487546-1751330773/watcher-4487546-1751330773 -o /tmp/evaluation-result-4487546-1751330773/solver-4487546-1751330773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751327154-44679 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=689134641 --ls=0 --inp-dombreaklim=0 HOME/instance-4487546-1751330773.opb

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

MD5SUM BENCH= 5095349793dd868b1b37aa3a48faf31c
RANDOM SEED=689134641

nodeC001 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		: 1197.169
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.49
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		: 1197.205
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.49
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.470
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.49
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.164
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129921984 kB
MemAvailable:   129695948 kB
Buffers:            2128 kB
Cached:           578464 kB
SwapCached:           28 kB
Active:           628688 kB
Inactive:         279604 kB
Active(anon):     335252 kB
Inactive(anon):    10380 kB
Active(file):     293436 kB
Inactive(file):   269224 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15628 kB
Writeback:             0 kB
AnonPages:        330652 kB
Mapped:           107676 kB
Shmem:             17932 kB
KReclaimable:     101476 kB
Slab:             184952 kB
SReclaimable:     101476 kB
SUnreclaim:        83476 kB
KernelStack:        3952 kB
PageTables:         3420 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     626964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC001 at 2025-07-01 03:21:26

Name	PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb
MD5SUM	5095349793dd868b1b37aa3a48faf31c
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	50
Best CPU time to get the best result obtained on this benchmark	1.05158
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	807
Total number of constraints	1823
Number of constraints which are clauses	1823
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Number of terms in the objective function	807
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	807
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	807
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4487546

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