PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
PRINTEMPS 2025-05-28	SAT (TO)	12	3600.08	1881.21

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: 63665 MiB (62490 MiB free)
  memory of node 1: 64507 MiB (63855 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497328-1751384364/watcher-4497328-1751384364 -o /tmp/evaluation-result-4497328-1751384364/solver-4497328-1751384364 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751382437-58272 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1216200914 HOME/instance-4497328-1751384364.opb 

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

solver pid=58467, runsolver pid=58464

[startup+0.100061 s]*
/proc/loadavg: 6.82 6.84 6.36 9/267 58469
/proc/meminfo: memFree=129370996/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84060 memory=9984 CPUtime=0.16 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 1979 0 0 0 16 0 0 0 20 0 2 0 54116706 86077440 2496 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21015 2496 672 633 0 3968 0
[pid=58467/tid=58469] ppid=58464 vsize=84060 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) S 58464 58467 58262 0 -1 4194368 125 0 0 0 7 0 0 0 20 0 2 0 54116706 86077440 2496 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 84060 KiB
Current children cumulated memory: 9984 KiB

[startup+0.205489 s]*
/proc/loadavg: 6.82 6.84 6.36 9/267 58469
/proc/meminfo: memFree=129370996/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84124 memory=10112 CPUtime=0.34 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 1997 0 0 0 34 0 0 0 20 0 2 0 54116706 86142976 2528 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21031 2528 672 633 0 3984 0
[pid=58467/tid=58469] ppid=58464 vsize=84124 memory=664958721904869660 CPUtime=0.15 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 125 0 0 0 15 0 0 0 20 0 2 0 54116706 86142976 2528 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 84124 KiB
Current children cumulated memory: 10112 KiB

[startup+0.305604 s]*
/proc/loadavg: 6.82 6.84 6.36 8/267 58469
/proc/meminfo: memFree=129370996/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84124 memory=10112 CPUtime=0.54 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 1997 0 0 0 53 1 0 0 20 0 2 0 54116706 86142976 2528 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21031 2528 672 633 0 3984 0
[pid=58467/tid=58469] ppid=58464 vsize=84124 memory=7970674818123841390 CPUtime=0.24 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 125 0 0 0 24 0 0 0 20 0 2 0 54116706 86142976 2528 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 84124 KiB
Current children cumulated memory: 10112 KiB

[startup+0.700208 s]
/proc/loadavg: 6.82 6.84 6.36 9/267 58469
/proc/meminfo: memFree=129370996/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84256 memory=10240 CPUtime=1.26 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 2020 0 0 0 124 2 0 0 20 0 2 0 54116706 86278144 2560 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21064 2560 672 633 0 4017 0
[pid=58467/tid=58469] ppid=58464 vsize=84256 memory=13952 CPUtime=0.57 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 125 0 0 0 57 0 0 0 20 0 2 0 54116706 86278144 2560 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 84256 KiB
Current children cumulated memory: 10240 KiB

[startup+1.50017 s]
/proc/loadavg: 6.82 6.84 6.36 8/267 58469
/proc/meminfo: memFree=129371004/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84420 memory=10368 CPUtime=2.72 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 3460 0 0 0 268 4 0 0 20 0 2 0 54116706 86446080 2592 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21105 2592 672 633 0 4058 0
[pid=58467/tid=58469] ppid=58464 vsize=84420 memory=13952 CPUtime=1.24 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 249 0 0 0 124 0 0 0 20 0 2 0 54116706 86446080 2592 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 84420 KiB
Current children cumulated memory: 10368 KiB

[startup+3.10544 s]
/proc/loadavg: 6.83 6.84 6.37 6/261 58484
/proc/meminfo: memFree=129370888/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84420 memory=10368 CPUtime=5.71 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 4902 0 0 0 562 9 0 0 20 0 2 0 54116706 86446080 2592 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21105 2592 672 633 0 4058 0
[pid=58467/tid=58469] ppid=58464 vsize=84420 memory=10368 CPUtime=2.64 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 397 0 0 0 263 1 0 0 20 0 2 0 54116706 86446080 2592 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 84420 KiB
Current children cumulated memory: 10368 KiB

[startup+6.30017 s]
/proc/loadavg: 6.83 6.84 6.37 6/266 58515
/proc/meminfo: memFree=128560000/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84540 memory=10496 CPUtime=11.92 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 6341 0 0 0 1174 18 0 0 20 0 2 0 54116706 86568960 2624 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21135 2624 672 633 0 4088 0
[pid=58467/tid=58469] ppid=58464 vsize=84540 memory=10496 CPUtime=5.68 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 761 0 0 0 566 2 0 0 20 0 2 0 54116706 86568960 2624 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 11.92 s
Current children cumulated vsize: 84540 KiB
Current children cumulated memory: 10496 KiB

[startup+12.7002 s]
/proc/loadavg: 6.63 6.80 6.36 6/266 58515
/proc/meminfo: memFree=127675504/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84700 memory=10752 CPUtime=24.38 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 6416 0 0 0 2405 33 0 0 20 0 2 0 54116706 86732800 2688 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21175 2688 672 633 0 4128 0
[pid=58467/tid=58469] ppid=58464 vsize=84700 memory=10752 CPUtime=11.79 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 762 0 0 0 1174 5 0 0 20 0 2 0 54116706 86732800 2688 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 24.38 s
Current children cumulated vsize: 84700 KiB
Current children cumulated memory: 10752 KiB

[startup+25.5002 s]
/proc/loadavg: 6.61 6.79 6.36 7/266 58516
/proc/meminfo: memFree=127676152/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84844 memory=10752 CPUtime=48.6 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 7840 0 0 0 4799 61 0 0 20 0 2 0 54116706 86880256 2688 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21211 2688 672 633 0 4164 0
[pid=58467/tid=58469] ppid=58464 vsize=84844 memory=10752 CPUtime=23.31 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 1077 0 0 0 2321 10 0 0 20 0 2 0 54116706 86880256 2688 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 48.6 s
Current children cumulated vsize: 84844 KiB
Current children cumulated memory: 10752 KiB

[startup+51.1055 s]
/proc/loadavg: 6.44 6.73 6.35 6/266 58516
/proc/meminfo: memFree=127677176/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84980 memory=10880 CPUtime=91.56 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 10888 0 0 0 9049 107 0 0 20 0 2 0 54116706 87019520 2720 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21245 2720 672 633 0 4198 0
[pid=58467/tid=58469] ppid=58464 vsize=84980 memory=10880 CPUtime=40.85 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) S 58464 58467 58262 0 -1 4194368 1357 0 0 0 4066 19 0 0 20 0 2 0 54116706 87019520 2720 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 91.56 s
Current children cumulated vsize: 84980 KiB
Current children cumulated memory: 10880 KiB

[startup+102.3 s]
/proc/loadavg: 6.09 6.59 6.33 6/267 58521
/proc/meminfo: memFree=127604464/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84980 memory=10880 CPUtime=186.3 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 13967 0 0 0 18418 212 0 0 20 0 2 0 54116706 87019520 2720 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21245 2720 672 633 0 4198 0
[pid=58467/tid=58469] ppid=58464 vsize=84980 memory=7970674818123841390 CPUtime=84.82 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 2105 0 0 0 8438 44 0 0 20 0 2 0 54116706 87019520 2720 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 186.3 s
Current children cumulated vsize: 84980 KiB
Current children cumulated memory: 10880 KiB

[startup+162.3 s]
/proc/loadavg: 6.36 6.56 6.33 6/267 58523
/proc/meminfo: memFree=127571572/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84980 memory=10880 CPUtime=302.28 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 14904 0 0 0 29892 336 0 0 20 0 2 0 54116706 87019520 2720 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21245 2720 672 633 0 4198 0
[pid=58467/tid=58469] ppid=58464 vsize=84980 memory=10880 CPUtime=141.33 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 2191 0 0 0 14057 76 0 0 20 0 2 0 54116706 87019520 2720 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 302.28 s
Current children cumulated vsize: 84980 KiB
Current children cumulated memory: 10880 KiB

[startup+222.3 s]
/proc/loadavg: 6.24 6.49 6.32 8/267 58525
/proc/meminfo: memFree=127566652/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=84980 memory=10880 CPUtime=418.26 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 15197 0 0 0 41364 462 0 0 20 0 2 0 54116706 87019520 2720 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21245 2720 672 633 0 4198 0
[pid=58467/tid=58469] ppid=58464 vsize=84980 memory=14720 CPUtime=197.8 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 2270 0 0 0 19671 109 0 0 20 0 2 0 54116706 87019520 2720 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 418.26 s
Current children cumulated vsize: 84980 KiB
Current children cumulated memory: 10880 KiB

[startup+282.3 s]
/proc/loadavg: 6.01 6.38 6.29 7/267 58573
/proc/meminfo: memFree=127548524/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85060 memory=10880 CPUtime=534.16 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 16743 0 0 0 52829 587 0 0 20 0 2 0 54116706 87101440 2720 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21265 2720 672 633 0 4218 0
[pid=58467/tid=58469] ppid=58464 vsize=85060 memory=7970674818123841390 CPUtime=254.19 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 2477 0 0 0 25279 140 0 0 20 0 2 0 54116706 87101440 2720 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 534.16 s
Current children cumulated vsize: 85060 KiB
Current children cumulated memory: 10880 KiB

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

/proc/meminfo: memFree=127542664/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11136 CPUtime=2387.35 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 20891 0 0 0 236179 2556 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2784 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=11136 CPUtime=1155.15 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 2894 0 0 0 114769 746 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 2387.35 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11136 KiB

[startup+1302.3 s]
/proc/loadavg: 5.70 5.88 6.01 7/267 58678
/proc/meminfo: memFree=127555808/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11136 CPUtime=2503.23 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 21707 0 0 0 247639 2684 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2784 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=11136 CPUtime=1211.46 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 3037 0 0 0 120360 786 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 2503.23 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11136 KiB

[startup+1362.3 s]
/proc/loadavg: 5.71 5.87 5.99 6/266 58680
/proc/meminfo: memFree=127520552/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11136 CPUtime=2619.04 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 22521 0 0 0 259098 2806 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2784 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=11136 CPUtime=1267.73 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 3085 0 0 0 125948 825 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 2619.04 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11136 KiB

[startup+1422.3 s]
/proc/loadavg: 5.70 5.85 5.98 6/266 58682
/proc/meminfo: memFree=127522904/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11136 CPUtime=2734.84 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 23336 0 0 0 270570 2914 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2784 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=11136 CPUtime=1323.99 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 3203 0 0 0 131548 851 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 2734.84 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11136 KiB

[startup+1482.3 s]
/proc/loadavg: 6.10 5.92 6.00 6/266 58684
/proc/meminfo: memFree=127548212/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11136 CPUtime=2850.59 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 24154 0 0 0 282020 3039 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2784 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=11136 CPUtime=1380.23 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 3243 0 0 0 137133 890 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 2850.59 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11136 KiB

[startup+1542.3 s]
/proc/loadavg: 5.80 5.88 5.98 7/267 58691
/proc/meminfo: memFree=127572224/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11136 CPUtime=2966.37 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 24155 0 0 0 293477 3160 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2784 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=14720 CPUtime=1436.47 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 3243 0 0 0 142717 930 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 2966.37 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11136 KiB

[startup+1602.3 s]
/proc/loadavg: 5.83 5.86 5.97 7/267 58693
/proc/meminfo: memFree=127571964/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11136 CPUtime=3082.16 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 24975 0 0 0 304933 3283 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2784 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=11136 CPUtime=1492.71 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 3246 0 0 0 148301 970 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 3082.16 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11136 KiB

[startup+1662.3 s]
/proc/loadavg: 5.81 5.83 5.95 6/266 58695
/proc/meminfo: memFree=127572028/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11136 CPUtime=3198 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 24976 0 0 0 316400 3400 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2784 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=11136 CPUtime=1549.01 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 3246 0 0 0 153893 1008 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 3198 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11136 KiB

[startup+1722.3 s]
/proc/loadavg: 5.59 5.78 5.93 7/266 58697
/proc/meminfo: memFree=127572148/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11136 CPUtime=3313.72 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 25794 0 0 0 327857 3515 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2784 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=11136 CPUtime=1605.2 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 3385 0 0 0 159475 1045 0 0 20 0 2 0 54116706 87187456 2784 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 3313.72 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11136 KiB

[startup+1782.3 s]
/proc/loadavg: 5.92 5.82 5.93 7/267 58700
/proc/meminfo: memFree=127572100/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11264 CPUtime=3409.01 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 26646 0 0 0 337292 3609 0 0 20 0 2 0 54116706 87187456 2816 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2816 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=14720 CPUtime=1640.84 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 3386 0 0 0 163016 1068 0 0 20 0 2 0 54116706 87187456 2816 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 3409.01 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11264 KiB

[startup+1842.3 s]
/proc/loadavg: 5.92 5.85 5.93 7/266 58702
/proc/meminfo: memFree=127567940/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11264 CPUtime=3524.94 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 27469 0 0 0 348769 3725 0 0 20 0 2 0 54116706 87187456 2816 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2816 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=11264 CPUtime=1697.24 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 3484 0 0 0 168622 1102 0 0 20 0 2 0 54116706 87187456 2816 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 3524.94 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1881.2 s]
/proc/loadavg: 5.59 5.77 5.90 8/266 58704
/proc/meminfo: memFree=127567732/131250000 swapFree=33010684/33010684
[pid=58467] ppid=58464 vsize=85144 memory=11264 CPUtime=3600.06 cores=0,2
/proc/58467/stat : 58467 (pb_competition_) R 58464 58467 58262 0 -1 4194304 28290 0 0 0 356202 3804 0 0 20 0 2 0 54116706 87187456 2816 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
/proc/58467/statm: 21286 2816 672 633 0 4239 0
[pid=58467/tid=58469] ppid=58464 vsize=85144 memory=6772 CPUtime=1733.73 cores=0,2
/proc/58467/task/58469/stat : 58469 (pb_competition_) R 58464 58467 58262 0 -1 4194368 3576 0 0 0 172246 1127 0 0 20 0 2 0 54116706 87187456 2816 18446744073709551615 4198400 6788177 140723067868208 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 19775488 140723067873625 140723067873752 140723067873752 140723067879354 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 11264 KiB

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

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

# cumulated CPU time of all completed processes:  user=3562.04 s, system=38.0469 s

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

Child status: 0

Real time (s): 1881.21
CPU time (s): 3600.08
CPU user time (s): 3562.04
CPU system time (s): 38.0469
CPU usage (%): 191.371
Max. virtual memory (cumulated for all children) (KiB): 85144
Max. memory (cumulated for all children) (KiB): 11264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.04
system time used= 38.0469
maximum resident set size= 11264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28552
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= 171340
involuntary context switches= 30400


# summary of solver processes directly reported to runsolver:
#   pid: 58467
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3562.04
#   total CPU system time (s): 38.0469

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.74635 second user time and 8.48544 second system time

The end

Begin job on nodeC013 at 2025-07-01 17:39:25
IDJOB=4497328
IDBENCH=148177
IDSOLVER=3347
FILE ID=nodeC013/4497328-1751384364
RUNJOBID= nodeC013-1751382437-58272
SLURM_JOB_ID= 9598224
Free space on /tmp= 433044 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/area_delay/normalized-fir04_area_delay.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497328-1751384364/watcher-4497328-1751384364 -o /tmp/evaluation-result-4497328-1751384364/solver-4497328-1751384364 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751382437-58272 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1216200914 HOME/instance-4497328-1751384364.opb

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

MD5SUM BENCH= 677b01c110d91655b45348559236801a
RANDOM SEED=1216200914

nodeC013 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		: 3544.375
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	: 6999.67
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.683
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	: 6999.67
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		: 3599.862
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	: 6999.67
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		: 3600.052
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	: 6999.67
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		: 3599.832
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	: 6999.67
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		: 3599.891
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	: 6999.67
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		: 3599.444
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	: 6999.67
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		: 3599.837
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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129378808 kB
MemAvailable:   129529556 kB
Buffers:            3280 kB
Cached:           951132 kB
SwapCached:            0 kB
Active:           568632 kB
Inactive:         706836 kB
Active(anon):     334340 kB
Inactive(anon):        0 kB
Active(file):     234292 kB
Inactive(file):   706836 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5188 kB
Writeback:             0 kB
AnonPages:        324148 kB
Mapped:           107060 kB
Shmem:             13284 kB
KReclaimable:      97316 kB
Slab:             185000 kB
SReclaimable:      97316 kB
SUnreclaim:        87684 kB
KernelStack:        4288 kB
PageTables:         3556 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     663760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-07-01 18:10:46

Name	PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir04_area_delay.opb
MD5SUM	677b01c110d91655b45348559236801a
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	12
Best CPU time to get the best result obtained on this benchmark	0.023518
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	741
Total number of constraints	2072
Number of constraints which are clauses	2072
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	31
Number of terms in the objective function	360
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	360
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	360
Number of bits of the biggest sum of numbers	9
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 4497328

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