PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
IPBHS-GUROBI 2025-06-09	OPT	-35	712.593	714.799

Diagnostic	Value
CARDINALITY_CORES_IN_OPTIMIZER
CLAUSAL_CORES_IN_OPTIMIZER
CORES_EXTRACTED
CORES_IN_OPTIMIZER
ITERATIONS
PB_CORES_IN_OPTIMIZER
SIS
SIS_OUT_OF_BUDGET
SIS_SAT
SIS_UNSAT
TIME_EXTRACT_CORES
TIME_OPTIMIZE
TIME_SIS

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485028-1751302134/watcher-4485028-1751302134 -o /tmp/evaluation-result-4485028-1751302134/solver-4485028-1751302134 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751302134-48266 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4485028-1751302134.opb --max-coef 1000000000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100064 s]*
/proc/loadavg: 2.58 3.76 3.98 1/264 48326
/proc/meminfo: memFree=128647984/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=50352 memory=256 CPUtime=0 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) D 48307 48313 48256 0 -1 4194304 72 0 3 0 0 0 0 0 20 0 1 0 45890971 51560448 64 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 12588 64 64 641 0 208 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 50352 KiB
Current children cumulated memory: 256 KiB

[startup+0.205176 s]*
/proc/loadavg: 2.58 3.76 3.98 1/264 48326
/proc/meminfo: memFree=128647272/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=61524 memory=2176 CPUtime=0 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) D 48307 48313 48256 0 -1 4194304 183 0 10 0 0 0 0 0 20 0 1 0 45890971 63000576 544 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 15381 544 480 641 0 249 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 61524 KiB
Current children cumulated memory: 2176 KiB

[startup+0.304812 s]*
/proc/loadavg: 2.58 3.76 3.98 1/265 48327
/proc/meminfo: memFree=128645508/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=61616 memory=5376 CPUtime=0 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) D 48307 48313 48256 0 -1 4194304 359 0 26 0 0 0 0 0 20 0 1 0 45890971 63094784 1344 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 15404 1344 1152 641 0 161 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 61616 KiB
Current children cumulated memory: 5376 KiB

[startup+0.700208 s]
/proc/loadavg: 2.58 3.76 3.98 4/265 48327
/proc/meminfo: memFree=126114308/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1040368 memory=980604 CPUtime=0.3 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) D 48307 48313 48256 0 -1 4194304 3499 0 36 0 8 22 0 0 20 0 1 0 45890971 1065336832 245151 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 260092 245151 1984 641 0 244849 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 1040368 KiB
Current children cumulated memory: 980604 KiB

[startup+1.50019 s]
/proc/loadavg: 2.58 3.76 3.98 5/269 48331
/proc/meminfo: memFree=124480184/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1140832 memory=1037008 CPUtime=1 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 19572 0 107 0 71 29 0 0 20 0 2 0 45890971 1168211968 259252 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 285208 259252 3360 641 0 267691 0
[pid=48313/tid=48329] ppid=48307 vsize=1140832 memory=0 CPUtime=0 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 45891042 1168211968 259252 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 1140832 KiB
Current children cumulated memory: 1037008 KiB

[startup+3.10534 s]
/proc/loadavg: 2.69 3.76 3.98 5/269 48331
/proc/meminfo: memFree=124183152/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1140832 memory=1037008 CPUtime=2.6 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 21689 0 107 0 231 29 0 0 20 0 2 0 45890971 1168211968 259252 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 285208 259252 3360 641 0 267691 0
[pid=48313/tid=48329] ppid=48307 vsize=1140832 memory=989876 CPUtime=0 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 4 0 0 0 0 0 0 0 20 0 2 0 45891042 1168211968 259252 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 1140832 KiB
Current children cumulated memory: 1037008 KiB

[startup+6.30014 s]
/proc/loadavg: 2.69 3.76 3.98 5/269 48331
/proc/meminfo: memFree=124147828/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1167924 memory=1065552 CPUtime=5.78 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 33734 0 127 0 547 31 0 0 20 0 2 0 45890971 1195954176 266388 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 291981 266388 3680 641 0 274464 0
[pid=48313/tid=48329] ppid=48307 vsize=1167924 memory=17664 CPUtime=0 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 45891042 1195954176 266388 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 1167924 KiB
Current children cumulated memory: 1065552 KiB

[startup+12.7002 s]
/proc/loadavg: 2.80 3.77 3.98 5/269 48331
/proc/meminfo: memFree=124074860/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1167924 memory=1065552 CPUtime=12.17 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 44348 0 127 0 1185 32 0 0 20 0 2 0 45890971 1195954176 266388 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 291981 266388 3680 641 0 274464 0
[pid=48313/tid=48329] ppid=48307 vsize=1167924 memory=1065552 CPUtime=0 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 45891042 1195954176 266388 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 12.17 s
Current children cumulated vsize: 1167924 KiB
Current children cumulated memory: 1065552 KiB

[startup+25.5002 s]
/proc/loadavg: 3.20 3.81 3.99 5/269 48331
/proc/meminfo: memFree=123972140/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1167924 memory=1065680 CPUtime=24.94 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 53649 0 128 0 2461 33 0 0 20 0 2 0 45890971 1195954176 266420 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 291981 266420 3712 641 0 274464 0
[pid=48313/tid=48329] ppid=48307 vsize=1167924 memory=1065680 CPUtime=0 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 45891042 1195954176 266420 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 24.94 s
Current children cumulated vsize: 1167924 KiB
Current children cumulated memory: 1065680 KiB

[startup+51.1054 s]
/proc/loadavg: 3.47 3.83 3.99 5/269 48331
/proc/meminfo: memFree=123992828/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1177672 memory=1074736 CPUtime=50.48 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 58422 0 128 0 5013 35 0 0 20 0 2 0 45890971 1205936128 268684 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 294418 268684 3712 641 0 276901 0
[pid=48313/tid=48329] ppid=48307 vsize=1177672 memory=14432 CPUtime=0 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 14 0 0 0 0 0 0 0 20 0 2 0 45891042 1205936128 268684 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 50.48 s
Current children cumulated vsize: 1177672 KiB
Current children cumulated memory: 1074736 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 3.87 4.00 5/269 48333
/proc/meminfo: memFree=123999684/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1177672 memory=1074736 CPUtime=101.55 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 58462 0 128 0 10119 36 0 0 20 0 2 0 45890971 1205936128 268684 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 294418 268684 3712 641 0 276901 0
[pid=48313/tid=48329] ppid=48307 vsize=1177672 memory=1074736 CPUtime=0.02 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 14 0 0 0 0 2 0 0 20 0 2 0 45891042 1205936128 268684 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 101.55 s
Current children cumulated vsize: 1177672 KiB
Current children cumulated memory: 1074736 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.93 4.01 5/270 48342
/proc/meminfo: memFree=123961712/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1177672 memory=1075632 CPUtime=161.41 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 64626 0 128 0 16104 37 0 0 20 0 2 0 45890971 1205936128 268908 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 294418 268908 3712 641 0 276901 0
[pid=48313/tid=48329] ppid=48307 vsize=1177672 memory=1074736 CPUtime=0.03 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 15 0 0 0 1 2 0 0 20 0 2 0 45891042 1205936128 268908 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 161.41 s
Current children cumulated vsize: 1177672 KiB
Current children cumulated memory: 1075632 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.96 4.01 5/270 48344
/proc/meminfo: memFree=123886564/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1177672 memory=1075632 CPUtime=221.26 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 64722 0 128 0 22088 38 0 0 20 0 2 0 45890971 1205936128 268908 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 294418 268908 3712 641 0 276901 0
[pid=48313/tid=48329] ppid=48307 vsize=1177672 memory=1075632 CPUtime=0.04 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 15 0 0 0 1 3 0 0 20 0 2 0 45891042 1205936128 268908 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 221.26 s
Current children cumulated vsize: 1177672 KiB
Current children cumulated memory: 1075632 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.00 4.01 5/271 48348
/proc/meminfo: memFree=123886468/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1177672 memory=1075632 CPUtime=281.12 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 64934 0 128 0 28073 39 0 0 20 0 2 0 45890971 1205936128 268908 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 294418 268908 3712 641 0 276901 0
[pid=48313/tid=48329] ppid=48307 vsize=1177672 memory=5632 CPUtime=0.06 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 16 0 0 0 2 4 0 0 20 0 2 0 45891042 1205936128 268908 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 281.12 s
Current children cumulated vsize: 1177672 KiB
Current children cumulated memory: 1075632 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.01 4.01 5/269 48350
/proc/meminfo: memFree=123886540/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1177672 memory=1075632 CPUtime=340.98 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 64972 0 128 0 34058 40 0 0 20 0 2 0 45890971 1205936128 268908 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 294418 268908 3712 641 0 276901 0
[pid=48313/tid=48329] ppid=48307 vsize=1177672 memory=1075632 CPUtime=0.08 cores=0,2

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

/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 17 0 0 0 4 6 0 0 20 0 2 0 45891042 1205936128 269036 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 1177672 KiB
Current children cumulated memory: 1076144 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.06 4.02 5/268 48354
/proc/meminfo: memFree=123818012/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1177672 memory=1076272 CPUtime=460.71 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 65871 0 128 0 46027 44 0 0 20 0 2 0 45890971 1205936128 269068 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 294418 269068 3712 641 0 276901 0
[pid=48313/tid=48329] ppid=48307 vsize=1177672 memory=1076272 CPUtime=0.12 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 17 0 0 0 4 8 0 0 20 0 2 0 45891042 1205936128 269068 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 460.71 s
Current children cumulated vsize: 1177672 KiB
Current children cumulated memory: 1076272 KiB

[startup+522.3 s]
/proc/loadavg: 4.12 4.06 4.02 5/268 48356
/proc/meminfo: memFree=123736076/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1177672 memory=1076272 CPUtime=520.58 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 66422 0 128 0 52012 46 0 0 20 0 2 0 45890971 1205936128 269068 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 294418 269068 3712 641 0 276901 0
[pid=48313/tid=48329] ppid=48307 vsize=1177672 memory=1076272 CPUtime=0.13 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 17 0 0 0 5 8 0 0 20 0 2 0 45891042 1205936128 269068 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 520.58 s
Current children cumulated vsize: 1177672 KiB
Current children cumulated memory: 1076272 KiB

[startup+582.3 s]
/proc/loadavg: 4.16 4.08 4.03 5/267 48359
/proc/meminfo: memFree=123747660/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1177672 memory=1076272 CPUtime=580.44 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 66511 0 128 0 57998 46 0 0 20 0 2 0 45890971 1205936128 269068 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 294418 269068 3712 641 0 276901 0
[pid=48313/tid=48329] ppid=48307 vsize=1177672 memory=14432 CPUtime=0.15 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 17 0 0 0 6 9 0 0 20 0 2 0 45891042 1205936128 269068 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 580.44 s
Current children cumulated vsize: 1177672 KiB
Current children cumulated memory: 1076272 KiB

[startup+642.3 s]
/proc/loadavg: 4.12 4.08 4.03 5/267 48361
/proc/meminfo: memFree=123707120/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1216864 memory=1114612 CPUtime=640.29 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 78902 0 128 0 63980 49 0 0 20 0 2 0 45890971 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 304216 278653 3744 641 0 286699 0
[pid=48313/tid=48329] ppid=48307 vsize=1216864 memory=1114612 CPUtime=0.17 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 17 0 0 0 7 10 0 0 20 0 2 0 45891042 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 640.29 s
Current children cumulated vsize: 1216864 KiB
Current children cumulated memory: 1114612 KiB

[startup+702.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/267 48363
/proc/meminfo: memFree=123624084/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1216864 memory=1114612 CPUtime=700.15 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 85461 0 128 0 69963 52 0 0 20 0 2 0 45890971 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 304216 278653 3744 641 0 286699 0
[pid=48313/tid=48329] ppid=48307 vsize=1216864 memory=1112508 CPUtime=0.19 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 17 0 0 0 7 12 0 0 20 0 2 0 45891042 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 700.15 s
Current children cumulated vsize: 1216864 KiB
Current children cumulated memory: 1114612 KiB

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

# cumulated CPU time of all completed processes:  user=712.054 s, system=0.538263 s

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

[startup+704 s]*
/proc/loadavg: 4.16 4.09 4.03 5/267 48363
/proc/meminfo: memFree=123623844/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1216864 memory=1114612 CPUtime=701.85 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 85465 0 128 0 70133 52 0 0 20 0 2 0 45890971 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 304216 278653 3744 641 0 286699 0
[pid=48313/tid=48329] ppid=48307 vsize=1216864 memory=-7675384534099000510 CPUtime=0.19 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 17 0 0 0 7 12 0 0 20 0 2 0 45891042 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 701.85 s
Current children cumulated vsize: 1216864 KiB
Current children cumulated memory: 1114612 KiB

[startup+710.4 s]
/proc/loadavg: 4.14 4.09 4.03 5/267 48363
/proc/meminfo: memFree=123623900/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1216864 memory=1114612 CPUtime=708.24 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 85669 0 128 0 70771 53 0 0 20 0 2 0 45890971 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 304216 278653 3744 641 0 286699 0
[pid=48313/tid=48329] ppid=48307 vsize=1216864 memory=1114612 CPUtime=0.19 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 18 0 0 0 7 12 0 0 20 0 2 0 45891042 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 708.24 s
Current children cumulated vsize: 1216864 KiB
Current children cumulated memory: 1114612 KiB

[startup+712 s]*
/proc/loadavg: 4.14 4.09 4.03 5/267 48363
/proc/meminfo: memFree=123623900/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1216864 memory=1114612 CPUtime=709.84 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 85685 0 128 0 70931 53 0 0 20 0 2 0 45890971 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 304216 278653 3744 641 0 286699 0
[pid=48313/tid=48329] ppid=48307 vsize=1216864 memory=-7675384534099000510 CPUtime=0.19 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 18 0 0 0 7 12 0 0 20 0 2 0 45891042 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 709.84 s
Current children cumulated vsize: 1216864 KiB
Current children cumulated memory: 1114612 KiB

[startup+713.6 s]
/proc/loadavg: 4.13 4.09 4.03 5/267 48363
/proc/meminfo: memFree=123623900/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1216864 memory=1114612 CPUtime=711.43 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 85829 0 128 0 71090 53 0 0 20 0 2 0 45890971 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 304216 278653 3744 641 0 286699 0
[pid=48313/tid=48329] ppid=48307 vsize=1216864 memory=1114612 CPUtime=0.19 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 18 0 0 0 7 12 0 0 20 0 2 0 45891042 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 711.43 s
Current children cumulated vsize: 1216864 KiB
Current children cumulated memory: 1114612 KiB

[startup+714.4 s]
/proc/loadavg: 4.13 4.09 4.03 5/268 48364
/proc/meminfo: memFree=123623900/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1216864 memory=1114612 CPUtime=712.23 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 85829 0 128 0 71170 53 0 0 20 0 2 0 45890971 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 304216 278653 3744 641 0 286699 0
[pid=48313/tid=48329] ppid=48307 vsize=1216864 memory=1114612 CPUtime=0.19 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 18 0 0 0 7 12 0 0 20 0 2 0 45891042 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 712.23 s
Current children cumulated vsize: 1216864 KiB
Current children cumulated memory: 1114612 KiB

[startup+714.6 s]
/proc/loadavg: 4.13 4.09 4.03 5/268 48364
/proc/meminfo: memFree=123623900/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1216864 memory=1114612 CPUtime=712.43 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 85829 0 128 0 71190 53 0 0 20 0 2 0 45890971 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 304216 278653 3744 641 0 286699 0
[pid=48313/tid=48329] ppid=48307 vsize=1216864 memory=6724 CPUtime=0.19 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 18 0 0 0 7 12 0 0 20 0 2 0 45891042 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 712.43 s
Current children cumulated vsize: 1216864 KiB
Current children cumulated memory: 1114612 KiB

[startup+714.7 s]
/proc/loadavg: 4.13 4.09 4.03 5/268 48364
/proc/meminfo: memFree=123623900/131250000 swapFree=33010684/33010684
[pid=48313] ppid=48307 vsize=1216864 memory=1114612 CPUtime=712.53 cores=0,2
/proc/48313/stat : 48313 (ipbhs_gurobi) R 48307 48313 48256 0 -1 4194304 85831 0 128 0 71200 53 0 0 20 0 2 0 45890971 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
/proc/48313/statm: 304216 278653 3744 641 0 286699 0
[pid=48313/tid=48329] ppid=48307 vsize=1216864 memory=1112508 CPUtime=0.19 cores=0,2
/proc/48313/task/48329/stat : 48329 (ipbhs_gurobi) S 48307 48313 48256 0 -1 4194368 18 0 0 0 7 12 0 0 20 0 2 0 45891042 1246068736 278653 18446744073709551615 94919738499072 94919741124125 140720445656512 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94919741743000 94919741775962 94919765024768 140720445663647 140720445663751 140720445663751 140720445669353 0
Current children cumulated CPU time: 712.53 s
Current children cumulated vsize: 1216864 KiB
Current children cumulated memory: 1114612 KiB

Child status: 0

Real time (s): 714.799
CPU time (s): 712.593
CPU user time (s): 712.054
CPU system time (s): 0.538263
CPU usage (%): 99.6913
Max. virtual memory (cumulated for all children) (KiB): 1216864
Max. memory (cumulated for all children) (KiB): 1114612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 712.054
system time used= 0.538263
maximum resident set size= 1114612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87654
page faults= 130
swaps= 0
block input operations= 14568
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71354
involuntary context switches= 1576


# summary of solver processes directly reported to runsolver:
#   pid: 48313
#   total CPU time (s): 712.593
#   total CPU user time (s): 712.054
#   total CPU system time (s): 0.538263

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35914 second user time and 3.09842 second system time

The end

Begin job on nodeC016 at 2025-06-30 18:48:54
IDJOB=4485028
IDBENCH=146691
IDSOLVER=3333
FILE ID=nodeC016/4485028-1751302134
RUNJOBID= nodeC016-1751302134-48266
SLURM_JOB_ID= 9594282
Free space on /tmp= 433060 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485028-1751302134/watcher-4485028-1751302134 -o /tmp/evaluation-result-4485028-1751302134/solver-4485028-1751302134 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751302134-48266 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4485028-1751302134.opb --max-coef 1000000000

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

MD5SUM BENCH= e50abc2725c4e3a238fbda7c772437b2
RANDOM SEED=1330850575

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128652432 kB
MemAvailable:   129719884 kB
Buffers:            3280 kB
Cached:          1871020 kB
SwapCached:            0 kB
Active:           332076 kB
Inactive:        1613680 kB
Active(anon):      89528 kB
Inactive(anon):        0 kB
Active(file):     242548 kB
Inactive(file):  1613680 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            241056 kB
Writeback:             0 kB
AnonPages:         74580 kB
Mapped:           102324 kB
Shmem:             18072 kB
KReclaimable:     100928 kB
Slab:             188916 kB
SReclaimable:     100928 kB
SUnreclaim:        87988 kB
KernelStack:        4008 kB
PageTables:         2376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     333908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432828 MiB
End job on nodeC016 at 2025-06-30 19:00:49

Name	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
MD5SUM	e50abc2725c4e3a238fbda7c772437b2
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	-35
Best CPU time to get the best result obtained on this benchmark	2.90628
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	595
Total number of constraints	27931
Number of constraints which are clauses	27931
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	2
Maximum length of a constraint	2
Number of terms in the objective function	595
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4485028

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data