PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
PRINTEMPS 2025-05-28	SAT (TO)	2642	3600.06	1813.51

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62674 MiB free)
  memory of node 1: 64465 MiB (63783 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484122-1751277291/watcher-4484122-1751277291 -o /tmp/evaluation-result-4484122-1751277291/solver-4484122-1751277291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751275452-33994 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 365610042 HOME/instance-4484122-1751277291.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=34277, runsolver pid=34274

[startup+0.100065 s]*
/proc/loadavg: 7.63 7.83 7.19 9/254 34279
/proc/meminfo: memFree=129492544/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80408 memory=5888 CPUtime=0.17 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) S 34274 34277 33067 0 -1 4194304 956 0 0 0 17 0 0 0 20 0 2 0 43407822 82337792 1472 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20102 1472 672 633 0 2966 0
[pid=34277/tid=34279] ppid=34274 vsize=80408 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 30 0 0 0 7 0 0 0 20 0 2 0 43407822 82337792 1472 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 80408 KiB
Current children cumulated memory: 5888 KiB

[startup+0.212949 s]*
/proc/loadavg: 7.63 7.83 7.19 9/254 34279
/proc/meminfo: memFree=129492544/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80408 memory=6016 CPUtime=0.35 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) S 34274 34277 33067 0 -1 4194304 969 0 0 0 35 0 0 0 20 0 2 0 43407822 82337792 1504 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20102 1504 672 633 0 2966 0
[pid=34277/tid=34279] ppid=34274 vsize=80408 memory=4208735117501333788 CPUtime=0.15 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 30 0 0 0 15 0 0 0 20 0 2 0 43407822 82337792 1504 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 80408 KiB
Current children cumulated memory: 6016 KiB

[startup+0.312911 s]*
/proc/loadavg: 7.63 7.83 7.19 10/254 34279
/proc/meminfo: memFree=129492544/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80600 memory=6144 CPUtime=0.52 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) S 34274 34277 33067 0 -1 4194304 1000 0 0 0 52 0 0 0 20 0 2 0 43407822 82534400 1536 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20150 1536 672 633 0 3014 0
[pid=34277/tid=34279] ppid=34274 vsize=80600 memory=-7095559483316736872 CPUtime=0.23 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 30 0 0 0 23 0 0 0 20 0 2 0 43407822 82534400 1536 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 80600 KiB
Current children cumulated memory: 6144 KiB

[startup+0.700226 s]
/proc/loadavg: 7.63 7.83 7.19 9/254 34279
/proc/meminfo: memFree=129492544/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80596 memory=6272 CPUtime=1.23 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 1019 0 0 0 122 1 0 0 20 0 2 0 43407822 82530304 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20149 1568 672 633 0 3013 0
[pid=34277/tid=34279] ppid=34274 vsize=80596 memory=18176 CPUtime=0.58 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 30 0 0 0 58 0 0 0 20 0 2 0 43407822 82530304 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 80596 KiB
Current children cumulated memory: 6272 KiB

[startup+1.5002 s]
/proc/loadavg: 7.63 7.83 7.19 9/254 34279
/proc/meminfo: memFree=129492216/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80596 memory=6272 CPUtime=2.82 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 1610 0 0 0 279 3 0 0 20 0 2 0 43407822 82530304 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20149 1568 672 633 0 3013 0
[pid=34277/tid=34279] ppid=34274 vsize=80596 memory=18176 CPUtime=1.38 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 170 0 0 0 138 0 0 0 20 0 2 0 43407822 82530304 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 80596 KiB
Current children cumulated memory: 6272 KiB

[startup+3.1052 s]
/proc/loadavg: 7.63 7.83 7.19 9/254 34279
/proc/meminfo: memFree=129492220/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80596 memory=6272 CPUtime=6 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 2223 0 0 0 593 7 0 0 20 0 2 0 43407822 82530304 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20149 1568 672 633 0 3013 0
[pid=34277/tid=34279] ppid=34274 vsize=80596 memory=6272 CPUtime=2.97 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 269 0 0 0 297 0 0 0 20 0 2 0 43407822 82530304 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 80596 KiB
Current children cumulated memory: 6272 KiB

[startup+6.30017 s]
/proc/loadavg: 7.66 7.83 7.19 9/254 34279
/proc/meminfo: memFree=129492228/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80612 memory=6272 CPUtime=12.35 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 2869 0 0 0 1219 16 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20153 1568 672 633 0 3017 0
[pid=34277/tid=34279] ppid=34274 vsize=80612 memory=18176 CPUtime=6.14 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 488 0 0 0 613 1 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 12.35 s
Current children cumulated vsize: 80612 KiB
Current children cumulated memory: 6272 KiB

[startup+12.7002 s]
/proc/loadavg: 7.68 7.83 7.20 9/254 34279
/proc/meminfo: memFree=129492244/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80612 memory=6272 CPUtime=25.06 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 3486 0 0 0 2475 31 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20153 1568 672 633 0 3017 0
[pid=34277/tid=34279] ppid=34274 vsize=80612 memory=6272 CPUtime=12.5 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 714 0 0 0 1247 3 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 25.06 s
Current children cumulated vsize: 80612 KiB
Current children cumulated memory: 6272 KiB

[startup+25.5002 s]
/proc/loadavg: 7.75 7.84 7.21 9/254 34280
/proc/meminfo: memFree=129491992/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80612 memory=6272 CPUtime=50.47 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 4660 0 0 0 4988 59 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20153 1568 672 633 0 3017 0
[pid=34277/tid=34279] ppid=34274 vsize=80612 memory=6272 CPUtime=25.21 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 862 0 0 0 2514 7 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 50.47 s
Current children cumulated vsize: 80612 KiB
Current children cumulated memory: 6272 KiB

[startup+51.1051 s]
/proc/loadavg: 7.84 7.86 7.23 9/254 34280
/proc/meminfo: memFree=129491764/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80612 memory=6272 CPUtime=101.27 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 4806 0 0 0 10003 124 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20153 1568 672 633 0 3017 0
[pid=34277/tid=34279] ppid=34274 vsize=80612 memory=18176 CPUtime=50.61 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 885 0 0 0 5047 14 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 101.27 s
Current children cumulated vsize: 80612 KiB
Current children cumulated memory: 6272 KiB

[startup+102.3 s]
/proc/loadavg: 7.88 7.87 7.27 9/254 34282
/proc/meminfo: memFree=129488716/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80612 memory=6272 CPUtime=202.91 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 6771 0 0 0 20042 249 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20153 1568 672 633 0 3017 0
[pid=34277/tid=34279] ppid=34274 vsize=80612 memory=18176 CPUtime=101.43 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1039 0 0 0 10112 31 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 202.91 s
Current children cumulated vsize: 80612 KiB
Current children cumulated memory: 6272 KiB

[startup+162.3 s]
/proc/loadavg: 8.08 7.92 7.33 8/255 34287
/proc/meminfo: memFree=129479372/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80612 memory=6272 CPUtime=321.97 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 7568 0 0 0 31813 384 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20153 1568 672 633 0 3017 0
[pid=34277/tid=34279] ppid=34274 vsize=80612 memory=6272 CPUtime=160.97 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1182 0 0 0 16048 49 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 321.97 s
Current children cumulated vsize: 80612 KiB
Current children cumulated memory: 6272 KiB

[startup+222.3 s]
/proc/loadavg: 7.90 7.91 7.36 8/254 34340
/proc/meminfo: memFree=129452236/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80612 memory=6272 CPUtime=441.08 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 7912 0 0 0 43579 529 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20153 1568 672 633 0 3017 0
[pid=34277/tid=34279] ppid=34274 vsize=80612 memory=16504 CPUtime=220.54 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1204 0 0 0 21986 68 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 441.08 s
Current children cumulated vsize: 80612 KiB
Current children cumulated memory: 6272 KiB

[startup+282.3 s]
/proc/loadavg: 7.63 7.82 7.37 8/255 34343
/proc/meminfo: memFree=129454544/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80612 memory=6272 CPUtime=560.25 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 8132 0 0 0 55364 661 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20153 1568 672 633 0 3017 0
[pid=34277/tid=34279] ppid=34274 vsize=80612 memory=6272 CPUtime=280.12 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1259 0 0 0 27925 87 0 0 20 0 2 0 43407822 82546688 1568 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 560.25 s
Current children cumulated vsize: 80612 KiB
Current children cumulated memory: 6272 KiB

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

/proc/meminfo: memFree=129437664/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=2466.75 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11209 0 0 0 243803 2872 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=6400 CPUtime=1233.54 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1543 0 0 0 122919 435 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 2466.75 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB

[startup+1302.3 s]
/proc/loadavg: 7.87 7.87 7.70 9/255 34399
/proc/meminfo: memFree=129437536/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=2585.83 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11222 0 0 0 255573 3010 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=6400 CPUtime=1293.09 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1543 0 0 0 128850 459 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 2585.83 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB

[startup+1362.3 s]
/proc/loadavg: 7.94 7.90 7.73 9/256 34404
/proc/meminfo: memFree=129438064/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=2704.87 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11420 0 0 0 267336 3151 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=6400 CPUtime=1352.62 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1560 0 0 0 134782 480 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 2704.87 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB

[startup+1422.3 s]
/proc/loadavg: 7.28 7.72 7.68 7/256 34410
/proc/meminfo: memFree=129438684/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=2823.86 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11451 0 0 0 279096 3290 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=6400 CPUtime=1412.15 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1560 0 0 0 140709 506 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 2823.86 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB

[startup+1482.3 s]
/proc/loadavg: 7.13 7.59 7.63 8/255 34412
/proc/meminfo: memFree=129434372/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=2942.84 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11522 0 0 0 290855 3429 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=6400 CPUtime=1471.65 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1590 0 0 0 146633 532 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 2942.84 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB

[startup+1542.3 s]
/proc/loadavg: 7.55 7.61 7.64 9/254 34414
/proc/meminfo: memFree=129434400/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=3061.88 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11536 0 0 0 302620 3568 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=6400 CPUtime=1531.19 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1592 0 0 0 152563 556 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 3061.88 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB

[startup+1602.3 s]
/proc/loadavg: 7.76 7.65 7.65 8/254 34416
/proc/meminfo: memFree=129434692/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=3180.96 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11566 0 0 0 314391 3705 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=6400 CPUtime=1590.73 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1595 0 0 0 158492 581 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 3180.96 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB

[startup+1662.3 s]
/proc/loadavg: 7.70 7.67 7.65 9/254 34419
/proc/meminfo: memFree=129433748/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=3300.02 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11586 0 0 0 326150 3852 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=16504 CPUtime=1650.27 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1595 0 0 0 164424 603 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 3300.02 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB

[startup+1722.3 s]
/proc/loadavg: 7.88 7.73 7.68 9/254 34421
/proc/meminfo: memFree=129433652/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=3419.11 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11672 0 0 0 337926 3985 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=6400 CPUtime=1709.82 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1654 0 0 0 170355 627 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 3419.11 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB

[startup+1782.3 s]
/proc/loadavg: 8.13 7.84 7.72 8/254 34423
/proc/meminfo: memFree=129433716/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=3538.18 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11691 0 0 0 349696 4122 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=6400 CPUtime=1769.36 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1654 0 0 0 176286 650 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 3538.18 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.5 s]
/proc/loadavg: 7.51 7.72 7.69 7/247 34455
/proc/meminfo: memFree=129442824/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=3600.03 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11721 0 0 0 355803 4200 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=6400 CPUtime=1800.25 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1654 0 0 0 179363 662 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB

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

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

# cumulated CPU time of all completed processes:  user=3558.05 s, system=42.0092 s

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

[startup+1813.5 s]
/proc/loadavg: 7.51 7.72 7.69 7/247 34455
/proc/meminfo: memFree=129442824/131382120 swapFree=33010684/33010684
[pid=34277] ppid=34274 vsize=80628 memory=6400 CPUtime=3600.03 cores=5,7
/proc/34277/stat : 34277 (pb_competition_) R 34274 34277 33067 0 -1 4194304 11721 0 0 0 355803 4200 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
/proc/34277/statm: 20157 1600 672 633 0 3021 0
[pid=34277/tid=34279] ppid=34274 vsize=80628 memory=6400 CPUtime=1800.25 cores=5,7
/proc/34277/task/34279/stat : 34279 (pb_competition_) R 34274 34277 33067 0 -1 4194368 1654 0 0 0 179363 662 0 0 20 0 2 0 43407822 82563072 1600 18446744073709551615 4198400 6788177 140726672708224 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28856320 140726672709978 140726672710104 140726672710104 140726672715706 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 80628 KiB
Current children cumulated memory: 6400 KiB

Child status: 0

Real time (s): 1813.51
CPU time (s): 3600.06
CPU user time (s): 3558.05
CPU system time (s): 42.0092
CPU usage (%): 198.513
Max. virtual memory (cumulated for all children) (KiB): 80760
Max. memory (cumulated for all children) (KiB): 6400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.05
system time used= 42.0092
maximum resident set size= 6400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11869
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= 9417
involuntary context switches= 54432


# summary of solver processes directly reported to runsolver:
#   pid: 34277
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3558.05
#   total CPU system time (s): 42.0092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.21407 second user time and 8.20557 second system time

The end

Begin job on nodeC003 at 2025-06-30 11:54:51
IDJOB=4484122
IDBENCH=146650
IDSOLVER=3347
FILE ID=nodeC003/4484122-1751277291
RUNJOBID= nodeC003-1751275452-33994
SLURM_JOB_ID= 9594170
Free space on /tmp= 432740 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.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-4484122-1751277291/watcher-4484122-1751277291 -o /tmp/evaluation-result-4484122-1751277291/solver-4484122-1751277291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751275452-33994 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 365610042 HOME/instance-4484122-1751277291.opb

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

MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1
RANDOM SEED=365610042

nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.483
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.552
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.633
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.722
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.488
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.622
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.499
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.166
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129492472 kB
MemAvailable:   129900756 kB
Buffers:            3280 kB
Cached:          1213964 kB
SwapCached:            0 kB
Active:           376232 kB
Inactive:         964732 kB
Active(anon):     141680 kB
Inactive(anon):        0 kB
Active(file):     234552 kB
Inactive(file):   964732 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15980 kB
Writeback:             0 kB
AnonPages:        126928 kB
Mapped:           111536 kB
Shmem:             17960 kB
KReclaimable:      97252 kB
Slab:             179864 kB
SReclaimable:      97252 kB
SUnreclaim:        82612 kB
KernelStack:        4064 kB
PageTables:         3072 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     480748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432740 MiB
End job on nodeC003 at 2025-06-30 12:25:05

Name	PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUM	9e8345160c873e2ecbeb2fceb1264fd1
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	2642
Best CPU time to get the best result obtained on this benchmark	0.045582
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	907
Total number of constraints	403
Number of constraints which are clauses	126
Number of constraints which are cardinality constraints (but not clauses)	277
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	134
Number of terms in the objective function	748
Biggest coefficient in the objective function	240
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	33855
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	240
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	33855
Number of bits of the biggest sum of numbers	16
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 4484122

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