Trace number 4504511

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
IPBHS-GUROBI-SYM 2025-06-09? (TO) 3600.06 3606.72

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_2_mh.opb
MD5SUM4dd157bac1f926ce7283cc7b9966021e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6102808
Best CPU time to get the best result obtained on this benchmark1316.45
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 122763473
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 13620914685
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 122763473
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 13620914685
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c initialize IPBHS solver
0.00/0.00	c IPBHS 0.0.0 beta (8d0f613-dirty, Jun  3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.00	c optimizer = "gurobi"
0.00/0.00	c pbsolver = "roundingsat"
0.00/0.00	c use separate pbsolver for SIS
0.00/0.00	c load symmetries from file ""
0.00/0.00	c set time limit for symmetry computation to 100 seconds.
0.00/0.00	c set interchangeable summation variable limit to 3
0.00/0.00	c enable explicit+compact SCL
0.00/0.00	c set sym compact max subset size to 5
0.00/0.00	c set explicit symmetry matrix usage to 1
0.00/0.00	c sym budget explicit to 100
0.00/0.00	c sym budget explicit lits to 6000
0.00/0.00	c sym budget compact to 100
0.00/0.00	c sym budget compact lits to 6000
0.00/0.00	c sym budget common to 0
0.00/0.00	c sym budget common lits to 0
0.00/0.00	c set sym generation to 's'
0.00/0.00	c set abstraction set creation to 10 iterations without LB change
0.00/0.00	c set abstraction set inputs to 0
0.00/0.00	c set abstraction set cluster min size to 2
0.00/0.00	c set abstraction set cluster max size to 100000000
0.00/0.00	c set abstraction set cluster activation limit to 2
0.00/0.00	c enable abstraction set require equal cost
0.00/0.00	c set abstraction set assumptions to 0
0.00/0.00	c set abstraction set constraint type to 0
0.00/0.00	c set abstract core extraction strategy to b
0.00/0.00	c set core extraction strategy to 2
0.00/0.00	c set core extraction shuffles 10
0.00/0.00	c set cores per iteration to 5
0.00/0.00	c set optimizer bound usage strategy to 2
0.00/0.00	c set optimizer max non-optimal iterations to 1000
0.00/0.00	c set small core cardinality limit to 2
0.00/0.00	c set max coef in cores to 1000000000
0.00/0.00	c set core processing techniques to 4095
0.00/0.00	c set SIS iterations to 5
0.00/0.00	c set SIS budget abs to 1000
0.00/0.00	c set SIS budget rel to 0.05
0.59/0.67	c limit for coefficient in constraints and objective to 1000000000
0.59/0.67	c will solve HOME/instance-4504511-1751449457.opb
0.59/0.67	Searching graph automorphisms with time limit: 99
0.99/1.06	c [0.6] will start solving

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504511-1751449457/watcher-4504511-1751449457 -o /tmp/evaluation-result-4504511-1751449457/solver-4504511-1751449457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751442165-61690 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4504511-1751449457.opb --max-coef 1000000000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=62543, runsolver pid=62540
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.12 4.11 4.09 5/267 62544
/proc/meminfo: memFree=118502468/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=549868 memory=433896 CPUtime=0.09 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1258 0 0 0 1 8 0 0 20 0 1 0 60624334 563064832 108474 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 137467 108474 1632 641 0 122224 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 549868 KiB
Current children cumulated memory: 433896 KiB

[startup+0.205628 s]*
/proc/loadavg: 4.12 4.11 4.09 5/267 62544
/proc/meminfo: memFree=118427732/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=574000 memory=508720 CPUtime=0.19 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 7759 0 0 0 10 9 0 0 20 0 1 0 60624334 587776000 127180 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 143500 127180 1760 641 0 128257 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 574000 KiB
Current children cumulated memory: 508720 KiB

[startup+0.305408 s]*
/proc/loadavg: 4.12 4.11 4.09 5/267 62544
/proc/meminfo: memFree=118407760/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=582720 memory=522816 CPUtime=0.29 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 10275 0 0 0 16 13 0 0 20 0 1 0 60624334 596705280 130704 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 145680 130704 1760 641 0 130437 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 582720 KiB
Current children cumulated memory: 522816 KiB

[startup+0.700181 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 62545
/proc/meminfo: memFree=118356304/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=674280 memory=595308 CPUtime=0.68 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 27551 0 0 0 47 21 0 0 20 0 2 0 60624334 690462720 148827 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 168570 148827 2400 641 0 151053 0
[pid=62543/tid=62545] ppid=62540 vsize=674280 memory=10752 CPUtime=0 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 60624377 690462720 148827 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 674280 KiB
Current children cumulated memory: 595308 KiB

[startup+1.50015 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 62545
/proc/meminfo: memFree=118324488/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=679964 memory=607796 CPUtime=1.48 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 29707 0 0 0 119 29 0 0 20 0 2 0 60624334 696283136 151949 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 169991 151949 2880 641 0 152474 0
[pid=62543/tid=62545] ppid=62540 vsize=679964 memory=10752 CPUtime=0 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 60624377 696283136 151949 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 679964 KiB
Current children cumulated memory: 607796 KiB

[startup+3.10523 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 62545
/proc/meminfo: memFree=118300304/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=708448 memory=638496 CPUtime=3.08 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 45851 0 0 0 272 36 0 0 20 0 2 0 60624334 725450752 159624 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 177112 159624 3712 641 0 159595 0
[pid=62543/tid=62545] ppid=62540 vsize=708448 memory=0 CPUtime=0 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 60624377 725450752 159624 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 708448 KiB
Current children cumulated memory: 638496 KiB

[startup+6.30011 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 62545
/proc/meminfo: memFree=118300432/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=708448 memory=638752 CPUtime=6.27 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 53941 0 0 0 576 51 0 0 20 0 2 0 60624334 725450752 159688 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 177112 159688 3712 641 0 159595 0
[pid=62543/tid=62545] ppid=62540 vsize=708448 memory=0 CPUtime=0 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 8 0 0 0 0 0 0 0 20 0 2 0 60624377 725450752 159688 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 708448 KiB
Current children cumulated memory: 638752 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 62545
/proc/meminfo: memFree=118300432/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=711168 memory=639136 CPUtime=12.66 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 60010 0 0 0 1183 83 0 0 20 0 2 0 60624334 728236032 159784 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 177792 159784 3712 641 0 160275 0
[pid=62543/tid=62545] ppid=62540 vsize=711168 memory=639008 CPUtime=0 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 60624377 728236032 159784 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 711168 KiB
Current children cumulated memory: 639136 KiB

[startup+25.5001 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 62545
/proc/meminfo: memFree=118300828/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=711168 memory=639776 CPUtime=25.44 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 68732 0 0 0 2397 147 0 0 20 0 2 0 60624334 728236032 159944 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 177792 159944 3712 641 0 160275 0
[pid=62543/tid=62545] ppid=62540 vsize=711168 memory=639520 CPUtime=0 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 2 0 60624377 728236032 159944 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 711168 KiB
Current children cumulated memory: 639776 KiB

[startup+51.1052 s]
/proc/loadavg: 4.17 4.13 4.10 5/268 62545
/proc/meminfo: memFree=118301340/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=715588 memory=642208 CPUtime=51.01 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 73683 0 0 0 4808 293 0 0 20 0 2 0 60624334 732762112 160552 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 178897 160552 3712 641 0 161380 0
[pid=62543/tid=62545] ppid=62540 vsize=715588 memory=1792 CPUtime=0 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 60624377 732762112 160552 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 715588 KiB
Current children cumulated memory: 642208 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 62547
/proc/meminfo: memFree=118306008/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=722768 memory=649528 CPUtime=102.11 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 85004 0 0 0 9613 598 0 0 20 0 2 0 60624334 740114432 162382 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 180692 162382 3712 641 0 163175 0
[pid=62543/tid=62545] ppid=62540 vsize=722768 memory=649528 CPUtime=0.01 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 15 0 0 0 0 1 0 0 20 0 2 0 60624377 740114432 162382 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 722768 KiB
Current children cumulated memory: 649528 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 62550
/proc/meminfo: memFree=118295732/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=725332 memory=657504 CPUtime=162.01 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 102169 0 0 0 15238 963 0 0 20 0 2 0 60624334 742739968 164376 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 181333 164376 3712 641 0 163816 0
[pid=62543/tid=62545] ppid=62540 vsize=725332 memory=655968 CPUtime=0.03 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 18 0 0 0 1 2 0 0 20 0 2 0 60624377 742739968 164376 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 725332 KiB
Current children cumulated memory: 657504 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 62552
/proc/meminfo: memFree=118288340/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=731424 memory=663648 CPUtime=221.91 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 103781 0 0 0 20834 1357 0 0 20 0 2 0 60624334 748978176 165912 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 182856 165912 3712 641 0 165339 0
[pid=62543/tid=62545] ppid=62540 vsize=731424 memory=659424 CPUtime=0.03 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 18 0 0 0 1 2 0 0 20 0 2 0 60624377 748978176 165912 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 221.91 s
Current children cumulated vsize: 731424 KiB
Current children cumulated memory: 663648 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 4.19 4.12 5/268 62554
/proc/meminfo: memFree=118267584/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=759500 memory=686704 CPUtime=281.81 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 117382 0 0 0 26451 1730 0 0 20 0 2 0 60624334 777728000 171676 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 189875 171676 3712 641 0 172358 0
[pid=62543/tid=62545] ppid=62540 vsize=759500 memory=675240 CPUtime=0.05 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 19 0 0 0 1 4 0 0 20 0 2 0 60624377 777728000 171676 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 281.81 s
Current children cumulated vsize: 759500 KiB
Current children cumulated memory: 686704 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/268 62556
/proc/meminfo: memFree=118237652/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=796060 memory=712724 CPUtime=341.7 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 122878 0 0 0 32108 2062 0 0 20 0 2 0 60624334 815165440 178181 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0

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

/proc/meminfo: memFree=117898036/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=3045220 memory=2335200 CPUtime=3036.67 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1447833 0 6 0 288679 14988 0 0 20 0 2 0 60624334 3118305280 583800 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 761305 583800 4032 641 0 743788 0
[pid=62543/tid=62545] ppid=62540 vsize=3045220 memory=2545096 CPUtime=0.74 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 86 0 0 0 24 50 0 0 20 0 2 0 60624377 3118305280 583800 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3036.67 s
Current children cumulated vsize: 3045220 KiB
Current children cumulated memory: 2335200 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 62744
/proc/meminfo: memFree=117597780/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=3007064 memory=2305732 CPUtime=3096.54 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1516556 0 6 0 294613 15041 0 0 20 0 2 0 60624334 3079233536 576433 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 751766 576433 4032 641 0 734249 0
[pid=62543/tid=62545] ppid=62540 vsize=3007064 memory=14720 CPUtime=0.75 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 89 0 0 0 24 51 0 0 20 0 2 0 60624377 3079233536 576433 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3096.54 s
Current children cumulated vsize: 3007064 KiB
Current children cumulated memory: 2305732 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 62746
/proc/meminfo: memFree=117766336/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=3474892 memory=2468772 CPUtime=3156.42 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1580574 0 6 0 300545 15097 0 0 20 0 2 0 60624334 3558289408 617193 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 868723 617193 4032 641 0 851206 0
[pid=62543/tid=62545] ppid=62540 vsize=3474892 memory=14720 CPUtime=0.77 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 90 0 0 0 25 52 0 0 20 0 2 0 60624377 3558289408 617193 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3156.42 s
Current children cumulated vsize: 3474892 KiB
Current children cumulated memory: 2468772 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 62748
/proc/meminfo: memFree=117938104/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=2993236 memory=2289348 CPUtime=3216.32 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1633836 0 6 0 306405 15227 0 0 20 0 2 0 60624334 3065073664 572337 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 748309 572337 4032 641 0 730792 0
[pid=62543/tid=62545] ppid=62540 vsize=2993236 memory=2289348 CPUtime=0.79 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 91 0 0 0 26 53 0 0 20 0 2 0 60624377 3065073664 572337 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3216.32 s
Current children cumulated vsize: 2993236 KiB
Current children cumulated memory: 2289348 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 62750
/proc/meminfo: memFree=117583452/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=2993236 memory=2289348 CPUtime=3276.22 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1655796 0 6 0 312083 15539 0 0 20 0 2 0 60624334 3065073664 572337 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 748309 572337 4032 641 0 730792 0
[pid=62543/tid=62545] ppid=62540 vsize=2993236 memory=2289348 CPUtime=0.8 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 93 0 0 0 26 54 0 0 20 0 2 0 60624377 3065073664 572337 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3276.22 s
Current children cumulated vsize: 2993236 KiB
Current children cumulated memory: 2289348 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 62752
/proc/meminfo: memFree=117562712/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=2993236 memory=2289348 CPUtime=3336.12 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1659950 0 6 0 317722 15890 0 0 20 0 2 0 60624334 3065073664 572337 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 748309 572337 4032 641 0 730792 0
[pid=62543/tid=62545] ppid=62540 vsize=2993236 memory=2289348 CPUtime=0.81 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 93 0 0 0 27 54 0 0 20 0 2 0 60624377 3065073664 572337 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3336.12 s
Current children cumulated vsize: 2993236 KiB
Current children cumulated memory: 2289348 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 62754
/proc/meminfo: memFree=117560900/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=2993236 memory=2289348 CPUtime=3396 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1661083 0 6 0 323339 16261 0 0 20 0 2 0 60624334 3065073664 572337 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 748309 572337 4032 641 0 730792 0
[pid=62543/tid=62545] ppid=62540 vsize=2993236 memory=2289348 CPUtime=0.82 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 94 0 0 0 27 55 0 0 20 0 2 0 60624377 3065073664 572337 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3396 s
Current children cumulated vsize: 2993236 KiB
Current children cumulated memory: 2289348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/268 62757
/proc/meminfo: memFree=117369476/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=2953352 memory=2483596 CPUtime=3455.89 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1712474 0 6 0 329037 16552 0 0 20 0 2 0 60624334 3024232448 620899 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 738338 620899 4032 641 0 720821 0
[pid=62543/tid=62545] ppid=62540 vsize=2953352 memory=2289348 CPUtime=0.84 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 95 0 0 0 28 56 0 0 20 0 2 0 60624377 3024232448 620899 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3455.89 s
Current children cumulated vsize: 2953352 KiB
Current children cumulated memory: 2483596 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 62762
/proc/meminfo: memFree=117354636/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=3301152 memory=2511844 CPUtime=3515.77 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1799831 0 6 0 334943 16634 0 0 20 0 2 0 60624334 3380379648 627961 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 825288 627961 4064 641 0 807771 0
[pid=62543/tid=62545] ppid=62540 vsize=3301152 memory=14720 CPUtime=0.86 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 97 0 0 0 28 58 0 0 20 0 2 0 60624377 3380379648 627961 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3515.77 s
Current children cumulated vsize: 3301152 KiB
Current children cumulated memory: 2511844 KiB

[startup+3582.3 s]
/proc/loadavg: 3.10 3.83 4.00 3/255 62831
/proc/meminfo: memFree=121835776/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=2632544 memory=2165488 CPUtime=3575.66 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1824507 0 6 0 340724 16842 0 0 20 0 2 0 60624334 2695725056 541372 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 658136 541372 4064 641 0 640619 0
[pid=62543/tid=62545] ppid=62540 vsize=2632544 memory=5148 CPUtime=0.88 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 98 0 0 0 29 59 0 0 20 0 2 0 60624377 2695725056 541372 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3575.66 s
Current children cumulated vsize: 2632544 KiB
Current children cumulated memory: 2165488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.7 s]
/proc/loadavg: 2.72 3.68 3.94 3/255 62832
/proc/meminfo: memFree=121827440/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=2632544 memory=2165488 CPUtime=3600.03 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1824772 0 6 0 343036 16967 0 0 20 0 2 0 60624334 2695725056 541372 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 658136 541372 4064 641 0 640619 0
[pid=62543/tid=62545] ppid=62540 vsize=2632544 memory=2165488 CPUtime=0.89 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 98 0 0 0 29 60 0 0 20 0 2 0 60624377 2695725056 541372 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2632544 KiB
Current children cumulated memory: 2165488 KiB

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

[startup+3606.72 s]
# the end of solver process 62543 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3430.37 s, system=169.687 s

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

[startup+3606.7 s]
/proc/loadavg: 2.72 3.68 3.94 3/255 62832
/proc/meminfo: memFree=121827440/131250000 swapFree=33010684/33010684
[pid=62543] ppid=62540 vsize=2632544 memory=2165488 CPUtime=3600.03 cores=4,6
/proc/62543/stat : 62543 (ipbhs_gurobi) R 62540 62543 61679 0 -1 4194304 1824772 0 6 0 343036 16967 0 0 20 0 2 0 60624334 2695725056 541372 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
/proc/62543/statm: 658136 541372 4064 641 0 640619 0
[pid=62543/tid=62545] ppid=62540 vsize=2632544 memory=2165488 CPUtime=0.89 cores=4,6
/proc/62543/task/62545/stat : 62545 (ipbhs_gurobi) S 62540 62543 61679 0 -1 4194368 98 0 0 0 29 60 0 0 20 0 2 0 60624377 2695725056 541372 18446744073709551615 93965751046144 93965753671197 140721281896128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93965754290072 93965754323034 93965784141824 140721281902987 140721281903111 140721281903111 140721281908713 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2632544 KiB
Current children cumulated memory: 2165488 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3606.72
CPU time (s): 3600.06
CPU user time (s): 3430.37
CPU system time (s): 169.687
CPU usage (%): 99.8154
Max. virtual memory (cumulated for all children) (KiB): 4089544
Max. memory (cumulated for all children) (KiB): 2976584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3430.37
system time used= 169.687
maximum resident set size= 3001372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1824772
page faults= 6
swaps= 0
block input operations= 832
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358828
involuntary context switches= 2319


# summary of solver processes directly reported to runsolver:
#   pid: 62543
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3430.37
#   total CPU system time (s): 169.687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66663 second user time and 14.9301 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-02 11:44:17
IDJOB=4504511
IDBENCH=155663
IDSOLVER=3334
FILE ID=nodeC026/4504511-1751449457
RUNJOBID= nodeC026-1751442165-61690
SLURM_JOB_ID= 9598409
Free space on /tmp= 431120 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_2_mh.opb
COMMAND LINE= ./ipbhs_gurobi --sym-cores-compact BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504511-1751449457/watcher-4504511-1751449457 -o /tmp/evaluation-result-4504511-1751449457/solver-4504511-1751449457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751442165-61690 --watchdog 3760  ./ipbhs_gurobi --sym-cores-compact HOME/instance-4504511-1751449457.opb --max-coef 1000000000

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

MD5SUM BENCH= 4dd157bac1f926ce7283cc7b9966021e
RANDOM SEED=1672773238

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        118904632 kB
MemAvailable:   123410228 kB
Buffers:            3280 kB
Cached:          5300528 kB
SwapCached:            0 kB
Active:          6623940 kB
Inactive:        5030056 kB
Active(anon):    6368268 kB
Inactive(anon):        0 kB
Active(file):     255672 kB
Inactive(file):  5030056 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             62088 kB
Writeback:            20 kB
AnonPages:       6350712 kB
Mapped:           119628 kB
Shmem:             18080 kB
KReclaimable:     118212 kB
Slab:             207500 kB
SReclaimable:     118212 kB
SUnreclaim:        89288 kB
KernelStack:        4304 kB
PageTables:        15768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6997384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4263936 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431252 MiB
End job on nodeC026 at 2025-07-02 12:44:24