PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
PRINTEMPS 2025-05-28	SAT (TO)	24890	3600.19	1817.71

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497052-1751383411/watcher-4497052-1751383411 -o /tmp/evaluation-result-4497052-1751383411/solver-4497052-1751383411 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751380933-49309 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 665258971 HOME/instance-4497052-1751383411.opb 

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

solver pid=49541, runsolver pid=49538

[startup+0.100066 s]*
/proc/loadavg: 5.48 5.39 5.24 7/269 49543
/proc/meminfo: memFree=129270208/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81052 memory=6784 CPUtime=0.18 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 1152 0 0 0 18 0 0 0 20 0 2 0 54018645 82997248 1696 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20263 1696 672 633 0 3158 0
[pid=49541/tid=49543] ppid=49538 vsize=81052 memory=4026531960 CPUtime=0.09 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 67 0 0 0 9 0 0 0 20 0 2 0 54018645 82997248 1696 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 81052 KiB
Current children cumulated memory: 6784 KiB

[startup+0.20581 s]*
/proc/loadavg: 5.48 5.39 5.24 8/269 49543
/proc/meminfo: memFree=129270208/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81052 memory=6784 CPUtime=0.39 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 1156 0 0 0 38 1 0 0 20 0 2 0 54018645 82997248 1696 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20263 1696 672 633 0 3158 0
[pid=49541/tid=49543] ppid=49538 vsize=81052 memory=664958721904869660 CPUtime=0.19 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 67 0 0 0 19 0 0 0 20 0 2 0 54018645 82997248 1696 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 81052 KiB
Current children cumulated memory: 6784 KiB

[startup+0.305639 s]*
/proc/loadavg: 5.48 5.39 5.24 6/269 49543
/proc/meminfo: memFree=129270208/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81052 memory=6784 CPUtime=0.5 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 1159 0 0 0 49 1 0 0 20 0 2 0 54018645 82997248 1696 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20263 1696 672 633 0 3158 0
[pid=49541/tid=49543] ppid=49538 vsize=81052 memory=7971797423807085935 CPUtime=0.2 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) S 49538 49541 49296 0 -1 4194368 67 0 0 0 20 0 0 0 20 0 2 0 54018645 82997248 1696 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 81052 KiB
Current children cumulated memory: 6784 KiB

[startup+0.700201 s]
/proc/loadavg: 5.48 5.39 5.24 6/269 49543
/proc/meminfo: memFree=129269968/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81220 memory=6784 CPUtime=1.21 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 1179 0 0 0 117 4 0 0 20 0 2 0 54018645 83169280 1696 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20305 1696 672 633 0 3200 0
[pid=49541/tid=49543] ppid=49538 vsize=81220 memory=17920 CPUtime=0.53 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 67 0 0 0 53 0 0 0 20 0 2 0 54018645 83169280 1696 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 81220 KiB
Current children cumulated memory: 6784 KiB

[startup+1.50022 s]
/proc/loadavg: 5.48 5.39 5.24 7/269 49543
/proc/meminfo: memFree=129269968/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81220 memory=6912 CPUtime=2.8 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 1964 0 0 0 273 7 0 0 20 0 2 0 54018645 83169280 1728 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20305 1728 672 633 0 3200 0
[pid=49541/tid=49543] ppid=49538 vsize=81220 memory=17920 CPUtime=1.32 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 152 0 0 0 132 0 0 0 20 0 2 0 54018645 83169280 1728 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 81220 KiB
Current children cumulated memory: 6912 KiB

[startup+3.10571 s]
/proc/loadavg: 5.53 5.40 5.25 8/269 49543
/proc/meminfo: memFree=129270220/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81304 memory=7040 CPUtime=5.67 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 2770 0 0 0 554 13 0 0 20 0 2 0 54018645 83255296 1760 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20326 1760 672 633 0 3221 0
[pid=49541/tid=49543] ppid=49538 vsize=81304 memory=6912 CPUtime=2.61 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 259 0 0 0 260 1 0 0 20 0 2 0 54018645 83255296 1760 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 81304 KiB
Current children cumulated memory: 7040 KiB

[startup+6.30016 s]
/proc/loadavg: 5.53 5.40 5.25 8/269 49543
/proc/meminfo: memFree=129270552/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81304 memory=7040 CPUtime=12.01 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 3588 0 0 0 1174 27 0 0 20 0 2 0 54018645 83255296 1760 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20326 1760 672 633 0 3221 0
[pid=49541/tid=49543] ppid=49538 vsize=81304 memory=17920 CPUtime=5.77 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 359 0 0 0 574 3 0 0 20 0 2 0 54018645 83255296 1760 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 12.01 s
Current children cumulated vsize: 81304 KiB
Current children cumulated memory: 7040 KiB

[startup+12.7002 s]
/proc/loadavg: 5.68 5.44 5.26 6/269 49543
/proc/meminfo: memFree=129270552/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81304 memory=7040 CPUtime=24.72 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 5188 0 0 0 2415 57 0 0 20 0 2 0 54018645 83255296 1760 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20326 1760 672 633 0 3221 0
[pid=49541/tid=49543] ppid=49538 vsize=81304 memory=7040 CPUtime=12.13 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 542 0 0 0 1205 8 0 0 20 0 2 0 54018645 83255296 1760 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 24.72 s
Current children cumulated vsize: 81304 KiB
Current children cumulated memory: 7040 KiB

[startup+25.5003 s]
/proc/loadavg: 5.73 5.46 5.27 6/269 49544
/proc/meminfo: memFree=129270512/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7168 CPUtime=50.1 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 5975 0 0 0 4893 117 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1792 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7040 CPUtime=24.84 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 638 0 0 0 2463 21 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 50.1 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7168 KiB

[startup+51.1055 s]
/proc/loadavg: 5.68 5.47 5.28 6/268 49544
/proc/meminfo: memFree=129270564/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7168 CPUtime=100.9 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 7214 0 0 0 9872 218 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1792 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=17920 CPUtime=50.25 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 878 0 0 0 4985 40 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 100.9 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7168 KiB

[startup+102.3 s]
/proc/loadavg: 5.66 5.50 5.30 6/267 49548
/proc/meminfo: memFree=129271732/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7168 CPUtime=202.47 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 7437 0 0 0 19827 420 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1792 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7168 CPUtime=101.07 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 898 0 0 0 10032 75 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 202.47 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7168 KiB

[startup+162.3 s]
/proc/loadavg: 6.13 5.65 5.37 7/267 49595
/proc/meminfo: memFree=129778784/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7168 CPUtime=318.92 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 9079 0 0 0 31223 669 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1792 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7168 CPUtime=157.98 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 1248 0 0 0 15675 123 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 318.92 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7168 KiB

[startup+222.3 s]
/proc/loadavg: 6.28 5.79 5.43 7/268 49602
/proc/meminfo: memFree=129778512/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7168 CPUtime=437.99 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 9107 0 0 0 42884 915 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1792 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=14432 CPUtime=217.54 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 1252 0 0 0 21586 168 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 437.99 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7168 KiB

[startup+282.3 s]
/proc/loadavg: 6.29 5.88 5.49 8/267 49604
/proc/meminfo: memFree=129782288/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7168 CPUtime=557.05 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 9744 0 0 0 54543 1162 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1792 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=14432 CPUtime=277.02 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 1307 0 0 0 27483 219 0 0 20 0 2 0 54018645 83378176 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 557.05 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7168 KiB


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

/proc/meminfo: memFree=130062608/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81492 memory=7168 CPUtime=2457.53 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 24762 0 0 0 240618 5135 0 0 20 0 2 0 54018645 83447808 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20373 1792 672 633 0 3268 0
[pid=49541/tid=49543] ppid=49538 vsize=81492 memory=14432 CPUtime=1224.48 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2401 0 0 0 121480 968 0 0 20 0 2 0 54018645 83447808 1792 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 2457.53 s
Current children cumulated vsize: 81492 KiB
Current children cumulated memory: 7168 KiB

[startup+1302.3 s]
/proc/loadavg: 7.83 7.64 6.85 9/269 49741
/proc/meminfo: memFree=130062392/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7296 CPUtime=2576.68 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 27953 0 0 0 252278 5390 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1824 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7296 CPUtime=1284.07 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2401 0 0 0 127392 1015 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 2576.68 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7296 KiB

[startup+1362.3 s]
/proc/loadavg: 7.84 7.67 6.91 8/268 49743
/proc/meminfo: memFree=130062216/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7296 CPUtime=2695.83 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 31737 0 0 0 263941 5642 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1824 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7296 CPUtime=1343.66 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2615 0 0 0 133303 1063 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 2695.83 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7296 KiB

[startup+1422.3 s]
/proc/loadavg: 7.74 7.70 6.97 8/268 49750
/proc/meminfo: memFree=130061968/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7296 CPUtime=2814.98 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 31747 0 0 0 275598 5900 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1824 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7296 CPUtime=1403.21 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2615 0 0 0 139208 1113 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 2814.98 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7296 KiB

[startup+1482.3 s]
/proc/loadavg: 7.62 7.68 7.01 8/268 49752
/proc/meminfo: memFree=130061168/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7296 CPUtime=2934.14 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 31761 0 0 0 287262 6152 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1824 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=14432 CPUtime=1462.74 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2615 0 0 0 145119 1155 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 2934.14 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7296 KiB

[startup+1542.3 s]
/proc/loadavg: 7.69 7.68 7.06 9/268 49754
/proc/meminfo: memFree=130060912/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7296 CPUtime=3053.29 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 32611 0 0 0 298929 6400 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1824 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7296 CPUtime=1522.31 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2753 0 0 0 151028 1203 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 3053.29 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7296 KiB

[startup+1602.3 s]
/proc/loadavg: 7.61 7.66 7.09 9/267 49756
/proc/meminfo: memFree=130061232/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7296 CPUtime=3172.4 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 33463 0 0 0 310587 6653 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1824 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7296 CPUtime=1581.91 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2840 0 0 0 156944 1247 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 3172.4 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7296 KiB

[startup+1662.3 s]
/proc/loadavg: 7.65 7.67 7.13 9/267 49759
/proc/meminfo: memFree=130060920/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7296 CPUtime=3291.55 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 33472 0 0 0 322256 6899 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1824 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7296 CPUtime=1641.48 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2840 0 0 0 162857 1291 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 3291.55 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7296 KiB

[startup+1722.3 s]
/proc/loadavg: 7.50 7.64 7.16 8/266 49761
/proc/meminfo: memFree=130060936/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7296 CPUtime=3410.71 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 34331 0 0 0 333927 7144 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1824 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7296 CPUtime=1701.11 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2932 0 0 0 168780 1331 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 3410.71 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7296 KiB

[startup+1782.3 s]
/proc/loadavg: 7.86 7.72 7.22 9/267 49764
/proc/meminfo: memFree=130060740/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7296 CPUtime=3529.85 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 34375 0 0 0 345603 7382 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1824 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7296 CPUtime=1760.7 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2932 0 0 0 174694 1376 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 3529.85 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.7 s]
/proc/loadavg: 7.85 7.73 7.24 9/267 49766
/proc/meminfo: memFree=130060796/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7296 CPUtime=3600.17 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 34447 0 0 0 352484 7533 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1824 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7296 CPUtime=1795.86 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2932 0 0 0 178181 1405 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7296 KiB

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

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

# cumulated CPU time of all completed processes:  user=3524.86 s, system=75.3357 s

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

[startup+1817.7 s]
/proc/loadavg: 7.85 7.73 7.24 9/267 49766
/proc/meminfo: memFree=130060796/131250000 swapFree=33007332/33010684
[pid=49541] ppid=49538 vsize=81424 memory=7296 CPUtime=3600.17 cores=5,7
/proc/49541/stat : 49541 (pb_competition_) R 49538 49541 49296 0 -1 4194304 34447 0 0 0 352484 7533 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
/proc/49541/statm: 20356 1824 672 633 0 3251 0
[pid=49541/tid=49543] ppid=49538 vsize=81424 memory=7296 CPUtime=1795.86 cores=5,7
/proc/49541/task/49543/stat : 49543 (pb_competition_) R 49538 49541 49296 0 -1 4194368 2932 0 0 0 178181 1405 0 0 20 0 2 0 54018645 83378176 1824 18446744073709551615 4198400 6788177 140730142043152 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12877824 140730142046554 140730142046680 140730142046680 140730142052282 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 7296 KiB

Child status: 0

Real time (s): 1817.71
CPU time (s): 3600.19
CPU user time (s): 3524.86
CPU system time (s): 75.3357
CPU usage (%): 198.062
Max. virtual memory (cumulated for all children) (KiB): 81568
Max. memory (cumulated for all children) (KiB): 7296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3524.86
system time used= 75.3357
maximum resident set size= 7296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34749
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= 6297
involuntary context switches= 40989


# summary of solver processes directly reported to runsolver:
#   pid: 49541
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3524.86
#   total CPU system time (s): 75.3357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43738 second user time and 7.33669 second system time

The end

Begin job on nodeC019 at 2025-07-01 17:23:31
IDJOB=4497052
IDBENCH=148152
IDSOLVER=3347
FILE ID=nodeC019/4497052-1751383411
RUNJOBID= nodeC019-1751380933-49309
SLURM_JOB_ID= 9598221
Free space on /tmp= 433024 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.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-4497052-1751383411/watcher-4497052-1751383411 -o /tmp/evaluation-result-4497052-1751383411/solver-4497052-1751383411 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751380933-49309 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 665258971 HOME/instance-4497052-1751383411.opb

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

MD5SUM BENCH= fcd18fcc34c15065587272921fbfa877
RANDOM SEED=665258971

nodeC019 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		: 3599.443
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.37
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		: 3599.671
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.37
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		: 3587.006
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.37
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.672
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.37
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.678
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.37
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.649
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.37
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		: 3587.941
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.37
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.638
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129273844 kB
MemAvailable:   128947392 kB
Buffers:             904 kB
Cached:           480492 kB
SwapCached:          424 kB
Active:           970988 kB
Inactive:         345752 kB
Active(anon):     822676 kB
Inactive(anon):    27812 kB
Active(file):     148312 kB
Inactive(file):   317940 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5212 kB
Writeback:             0 kB
AnonPages:        837944 kB
Mapped:           111320 kB
Shmem:             15144 kB
KReclaimable:      93068 kB
Slab:             180252 kB
SReclaimable:      93068 kB
SUnreclaim:        87184 kB
KernelStack:        4352 kB
PageTables:         4528 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1188444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    618496 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC019 at 2025-07-01 17:53:49

Name	PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
MD5SUM	fcd18fcc34c15065587272921fbfa877
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	24890
Best CPU time to get the best result obtained on this benchmark	0.025757
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	644
Total number of constraints	1034
Number of constraints which are clauses	1034
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	353
Biggest coefficient in the objective function	2034
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	561307
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	2034
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	561307
Number of bits of the biggest sum of numbers	20
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 4497052

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