Trace number 4522074

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 2025-06-09? (TO) 3600.05 3606.81

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-sorrell8.opb
MD5SUM3efa309da6b8ed2e5ff01ccb25d0dd51
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-350
Best CPU time to get the best result obtained on this benchmark3581.82
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2046
Total number of constraints18944
Number of constraints which are clauses18944
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 2046
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 2046
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2046
Number of bits of the biggest sum of numbers11
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.01	c initialize IPBHS solver
0.00/0.01	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.01	c optimizer = "gurobi"
0.00/0.01	c pbsolver = "roundingsat"
0.00/0.01	c use separate pbsolver for SIS
0.00/0.01	c load symmetries from file ""
0.00/0.01	c set time limit for symmetry computation to 100 seconds.
0.00/0.01	c set interchangeable summation variable limit to 3
0.00/0.01	c set sym compact max subset size to 5
0.00/0.01	c set explicit symmetry matrix usage to 1
0.00/0.01	c sym budget explicit to 100
0.00/0.01	c sym budget explicit lits to 6000
0.00/0.01	c sym budget compact to 100
0.00/0.01	c sym budget compact lits to 6000
0.00/0.01	c sym budget common to 0
0.00/0.01	c sym budget common lits to 0
0.00/0.01	c set sym generation to 's'
0.00/0.01	c set abstraction set creation to 10 iterations without LB change
0.00/0.01	c set abstraction set inputs to 0
0.00/0.01	c set abstraction set cluster min size to 2
0.00/0.01	c set abstraction set cluster max size to 100000000
0.00/0.01	c set abstraction set cluster activation limit to 2
0.00/0.01	c enable abstraction set require equal cost
0.00/0.01	c set abstraction set assumptions to 0
0.00/0.01	c set abstraction set constraint type to 0
0.00/0.01	c set abstract core extraction strategy to b
0.00/0.01	c set core extraction strategy to 2
0.00/0.01	c set core extraction shuffles 10
0.00/0.01	c set cores per iteration to 5
0.00/0.01	c set optimizer bound usage strategy to 2
0.00/0.01	c set optimizer max non-optimal iterations to 1000
0.00/0.01	c set small core cardinality limit to 2
0.00/0.01	c set max coef in cores to 1000000000
0.00/0.01	c set core processing techniques to 4095
0.00/0.01	c set SIS iterations to 5
0.00/0.01	c set SIS budget abs to 1000
0.00/0.01	c set SIS budget rel to 0.05
0.09/0.19	c limit for coefficient in constraints and objective to 1000000000
0.09/0.19	c will solve HOME/instance-4522074-1751577093.opb
0.09/0.19	c [0.01] 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: 63794 MiB (62237 MiB free)
  memory of node 1: 64507 MiB (54745 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522074-1751577093/watcher-4522074-1751577093 -o /tmp/evaluation-result-4522074-1751577093/solver-4522074-1751577093 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751570052-85952 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4522074-1751577093.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
Current StackSize limit: 8192 KiB

solver pid=87697, runsolver pid=87694

[startup+0.100068 s]*
/proc/loadavg: 4.15 4.26 4.18 5/253 87698
/proc/meminfo: memFree=119790940/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=73860 memory=11272 CPUtime=0.09 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 1562 0 0 0 7 2 0 0 20 0 1 0 73389048 75632640 2818 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 18465 2818 1760 641 0 3222 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73860 KiB
Current children cumulated memory: 11272 KiB

[startup+0.214186 s]*
/proc/loadavg: 4.15 4.26 4.18 5/254 87699
/proc/meminfo: memFree=119782524/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=94744 memory=23500 CPUtime=0.18 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 2712 0 0 0 13 5 0 0 20 0 2 0 73389048 97017856 5875 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 23686 5875 2304 641 0 6169 0
[pid=87697/tid=87699] ppid=87694 vsize=94744 memory=3472328132921917724 CPUtime=0 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 73389068 97017856 5875 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 94744 KiB
Current children cumulated memory: 23500 KiB

[startup+0.309641 s]*
/proc/loadavg: 4.15 4.26 4.18 5/254 87699
/proc/meminfo: memFree=119762044/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=96696 memory=25036 CPUtime=0.27 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 3116 0 0 0 19 8 0 0 20 0 2 0 73389048 99016704 6259 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 24174 6259 2304 641 0 6657 0
[pid=87697/tid=87699] ppid=87694 vsize=96696 memory=-7387154158030584255 CPUtime=0 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 73389068 99016704 6259 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 96696 KiB
Current children cumulated memory: 25036 KiB

[startup+0.700304 s]
/proc/loadavg: 4.15 4.26 4.18 5/254 87699
/proc/meminfo: memFree=119758468/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=142116 memory=56480 CPUtime=0.64 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 10181 0 0 0 50 14 0 0 20 0 2 0 73389048 145526784 14120 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 35529 14120 3104 641 0 18012 0
[pid=87697/tid=87699] ppid=87694 vsize=142116 memory=18816 CPUtime=0 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 73389068 145526784 14120 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 142116 KiB
Current children cumulated memory: 56480 KiB

[startup+1.50037 s]
/proc/loadavg: 4.15 4.26 4.18 5/254 87699
/proc/meminfo: memFree=119736240/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=148608 memory=64288 CPUtime=1.44 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 11650 0 0 0 130 14 0 0 20 0 2 0 73389048 152174592 16072 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 37152 16072 3616 641 0 19635 0
[pid=87697/tid=87699] ppid=87694 vsize=148608 memory=18816 CPUtime=0 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 73389068 152174592 16072 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 148608 KiB
Current children cumulated memory: 64288 KiB

[startup+3.11267 s]
/proc/loadavg: 4.14 4.25 4.18 5/254 87699
/proc/meminfo: memFree=119740596/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=176016 memory=82368 CPUtime=3.05 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 15838 0 0 0 290 15 0 0 20 0 2 0 73389048 180240384 20592 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 44004 20592 3648 641 0 26487 0
[pid=87697/tid=87699] ppid=87694 vsize=176016 memory=0 CPUtime=0 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 73389068 180240384 20592 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 176016 KiB
Current children cumulated memory: 82368 KiB

[startup+6.30033 s]
/proc/loadavg: 4.14 4.25 4.18 5/254 87699
/proc/meminfo: memFree=119745344/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=176016 memory=82368 CPUtime=6.23 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 18230 0 0 0 607 16 0 0 20 0 2 0 73389048 180240384 20592 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 44004 20592 3648 641 0 26487 0
[pid=87697/tid=87699] ppid=87694 vsize=176016 memory=82368 CPUtime=0 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 4 0 0 0 0 0 0 0 20 0 2 0 73389068 180240384 20592 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 176016 KiB
Current children cumulated memory: 82368 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.24 4.17 5/254 87699
/proc/meminfo: memFree=119728276/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=176016 memory=82496 CPUtime=12.62 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 20423 0 0 0 1245 17 0 0 20 0 2 0 73389048 180240384 20624 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 44004 20624 3680 641 0 26487 0
[pid=87697/tid=87699] ppid=87694 vsize=176016 memory=6384 CPUtime=0.01 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 5 0 0 0 0 1 0 0 20 0 2 0 73389068 180240384 20624 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 176016 KiB
Current children cumulated memory: 82496 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.25 4.18 5/253 87699
/proc/meminfo: memFree=119739260/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=180456 memory=97492 CPUtime=25.39 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 23689 0 0 0 2520 19 0 0 20 0 2 0 73389048 184786944 24373 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 45114 24373 3680 641 0 27597 0
[pid=87697/tid=87699] ppid=87694 vsize=180456 memory=88660 CPUtime=0.02 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 7 0 0 0 0 2 0 0 20 0 2 0 73389068 184786944 24373 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 180456 KiB
Current children cumulated memory: 97492 KiB

[startup+51.1125 s]
/proc/loadavg: 4.11 4.23 4.17 5/253 87700
/proc/meminfo: memFree=119707016/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=184980 memory=100436 CPUtime=50.96 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 24566 0 0 0 5074 22 0 0 20 0 2 0 73389048 189419520 25109 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 46245 25109 3680 641 0 28728 0
[pid=87697/tid=87699] ppid=87694 vsize=184980 memory=100436 CPUtime=0.05 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 7 0 0 0 0 5 0 0 20 0 2 0 73389068 189419520 25109 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 184980 KiB
Current children cumulated memory: 100436 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.20 4.17 5/253 87701
/proc/meminfo: memFree=119679908/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=184980 memory=100436 CPUtime=102.05 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 30071 0 0 0 10178 27 0 0 20 0 2 0 73389048 189419520 25109 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 46245 25109 3680 641 0 28728 0
[pid=87697/tid=87699] ppid=87694 vsize=184980 memory=100436 CPUtime=0.11 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 12 0 0 0 2 9 0 0 20 0 2 0 73389068 189419520 25109 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 184980 KiB
Current children cumulated memory: 100436 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/255 87705
/proc/meminfo: memFree=119665708/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=184980 memory=100436 CPUtime=161.93 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 36469 0 1 0 16160 33 0 0 20 0 2 0 73389048 189419520 25109 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 46245 25109 3680 641 0 28728 0
[pid=87697/tid=87699] ppid=87694 vsize=184980 memory=100436 CPUtime=0.18 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 15 0 0 0 4 14 0 0 20 0 2 0 73389068 189419520 25109 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 184980 KiB
Current children cumulated memory: 100436 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.16 4.16 5/256 87712
/proc/meminfo: memFree=119632196/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=204396 memory=120600 CPUtime=221.84 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 40593 0 1 0 22142 42 0 0 20 0 2 0 73389048 209301504 30150 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 51099 30150 3680 641 0 33582 0
[pid=87697/tid=87699] ppid=87694 vsize=204396 memory=2273 CPUtime=0.25 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 15 0 0 0 5 20 0 0 20 0 2 0 73389068 209301504 30150 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 221.84 s
Current children cumulated vsize: 204396 KiB
Current children cumulated memory: 120600 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.17 4.16 5/256 87714
/proc/meminfo: memFree=119603436/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=205136 memory=122520 CPUtime=281.75 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 54336 0 1 0 28127 48 0 0 20 0 2 0 73389048 210059264 30630 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 51284 30630 3680 641 0 33767 0
[pid=87697/tid=87699] ppid=87694 vsize=205136 memory=122520 CPUtime=0.31 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 17 0 0 0 6 25 0 0 20 0 2 0 73389068 210059264 30630 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 281.75 s
Current children cumulated vsize: 205136 KiB
Current children cumulated memory: 122520 KiB

[startup+342.3 s]

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

/proc/meminfo: memFree=122212188/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=400272 memory=316932 CPUtime=2976.71 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 178428 0 1 0 297342 329 0 0 20 0 2 0 73389048 409878528 79233 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 100068 79233 3680 641 0 82551 0
[pid=87697/tid=87699] ppid=87694 vsize=400272 memory=311940 CPUtime=3.42 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 23 0 0 0 82 260 0 0 20 0 2 0 73389068 409878528 79233 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 2976.71 s
Current children cumulated vsize: 400272 KiB
Current children cumulated memory: 316932 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/257 88021
/proc/meminfo: memFree=122104852/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=405440 memory=320900 CPUtime=3036.59 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 179410 0 1 0 303324 335 0 0 20 0 2 0 73389048 415170560 80225 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 101360 80225 3680 641 0 83843 0
[pid=87697/tid=87699] ppid=87694 vsize=405440 memory=320900 CPUtime=3.48 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 23 0 0 0 83 265 0 0 20 0 2 0 73389068 415170560 80225 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3036.59 s
Current children cumulated vsize: 405440 KiB
Current children cumulated memory: 320900 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/256 88023
/proc/meminfo: memFree=122056348/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=411868 memory=327172 CPUtime=3096.47 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 180989 0 1 0 309305 342 0 0 20 0 2 0 73389048 421752832 81793 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 102967 81793 3680 641 0 85450 0
[pid=87697/tid=87699] ppid=87694 vsize=411868 memory=3328 CPUtime=3.55 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 23 0 0 0 85 270 0 0 20 0 2 0 73389068 421752832 81793 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3096.47 s
Current children cumulated vsize: 411868 KiB
Current children cumulated memory: 327172 KiB

[startup+3162.3 s]
/proc/loadavg: 3.84 4.07 4.09 4/249 88056
/proc/meminfo: memFree=124222536/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=415984 memory=331396 CPUtime=3156.37 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 182044 0 1 0 315289 348 0 0 20 0 2 0 73389048 425967616 82849 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 103996 82849 3680 641 0 86479 0
[pid=87697/tid=87699] ppid=87694 vsize=415984 memory=327812 CPUtime=3.62 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 23 0 0 0 86 276 0 0 20 0 2 0 73389068 425967616 82849 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3156.37 s
Current children cumulated vsize: 415984 KiB
Current children cumulated memory: 331396 KiB

[startup+3222.3 s]
/proc/loadavg: 3.37 3.89 4.02 4/248 88058
/proc/meminfo: memFree=124206480/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=417808 memory=334596 CPUtime=3216.25 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 182875 0 1 0 321271 354 0 0 20 0 2 0 73389048 427835392 83649 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 104452 83649 3680 641 0 86935 0
[pid=87697/tid=87699] ppid=87694 vsize=417808 memory=333188 CPUtime=3.69 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 23 0 0 0 88 281 0 0 20 0 2 0 73389068 427835392 83649 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3216.25 s
Current children cumulated vsize: 417808 KiB
Current children cumulated memory: 334596 KiB

[startup+3282.3 s]
/proc/loadavg: 3.18 3.74 3.96 4/248 88065
/proc/meminfo: memFree=124153548/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=421124 memory=338180 CPUtime=3276.13 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 189458 0 1 0 327252 361 0 0 20 0 2 0 73389048 431230976 84545 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 105281 84545 3680 641 0 87764 0
[pid=87697/tid=87699] ppid=87694 vsize=421124 memory=338180 CPUtime=3.76 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 23 0 0 0 90 286 0 0 20 0 2 0 73389068 431230976 84545 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3276.13 s
Current children cumulated vsize: 421124 KiB
Current children cumulated memory: 338180 KiB

[startup+3342.3 s]
/proc/loadavg: 3.26 3.66 3.92 4/248 88067
/proc/meminfo: memFree=124127752/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=422980 memory=339588 CPUtime=3336 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 198778 0 1 0 333231 369 0 0 20 0 2 0 73389048 433131520 84897 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 105745 84897 3680 641 0 88228 0
[pid=87697/tid=87699] ppid=87694 vsize=422980 memory=14336 CPUtime=3.83 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 24 0 0 0 92 291 0 0 20 0 2 0 73389068 433131520 84897 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3336 s
Current children cumulated vsize: 422980 KiB
Current children cumulated memory: 339588 KiB

[startup+3402.3 s]
/proc/loadavg: 3.79 3.74 3.93 4/248 88071
/proc/meminfo: memFree=124109232/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=430628 memory=346500 CPUtime=3395.88 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 200847 0 1 0 339212 376 0 0 20 0 2 0 73389048 440963072 86625 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 107657 86625 3680 641 0 90140 0
[pid=87697/tid=87699] ppid=87694 vsize=430628 memory=346500 CPUtime=3.89 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 25 0 0 0 93 296 0 0 20 0 2 0 73389068 440963072 86625 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3395.88 s
Current children cumulated vsize: 430628 KiB
Current children cumulated memory: 346500 KiB

[startup+3462.3 s]
/proc/loadavg: 3.41 3.63 3.88 4/248 88073
/proc/meminfo: memFree=124064684/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=433920 memory=351748 CPUtime=3455.77 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 202613 0 1 0 345195 382 0 0 20 0 2 0 73389048 444334080 87937 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 108480 87937 3680 641 0 90963 0
[pid=87697/tid=87699] ppid=87694 vsize=433920 memory=14336 CPUtime=3.96 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 25 0 0 0 95 301 0 0 20 0 2 0 73389068 444334080 87937 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3455.77 s
Current children cumulated vsize: 433920 KiB
Current children cumulated memory: 351748 KiB

[startup+3522.3 s]
/proc/loadavg: 3.26 3.55 3.83 4/248 88075
/proc/meminfo: memFree=124004496/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=438320 memory=355076 CPUtime=3515.67 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 205772 0 1 0 351177 390 0 0 20 0 2 0 73389048 448839680 88769 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 109580 88769 3680 641 0 92063 0
[pid=87697/tid=87699] ppid=87694 vsize=438320 memory=353668 CPUtime=4.03 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 26 0 0 0 96 307 0 0 20 0 2 0 73389068 448839680 88769 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3515.67 s
Current children cumulated vsize: 438320 KiB
Current children cumulated memory: 355076 KiB

[startup+3582.3 s]
/proc/loadavg: 3.14 3.46 3.79 4/248 88078
/proc/meminfo: memFree=123981184/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=443212 memory=360324 CPUtime=3575.57 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 210231 0 1 0 357162 395 0 0 20 0 2 0 73389048 453849088 90081 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 110803 90081 3680 641 0 93286 0
[pid=87697/tid=87699] ppid=87694 vsize=443212 memory=14336 CPUtime=4.09 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 27 0 0 0 98 311 0 0 20 0 2 0 73389068 453849088 90081 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3575.57 s
Current children cumulated vsize: 443212 KiB
Current children cumulated memory: 360324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.8 s]
/proc/loadavg: 3.24 3.46 3.77 4/248 88078
/proc/meminfo: memFree=123977088/131382116 swapFree=33010684/33010684
[pid=87697] ppid=87694 vsize=446868 memory=363908 CPUtime=3600.03 cores=4,6
/proc/87697/stat : 87697 (ipbhs_gurobi) R 87694 87697 85941 0 -1 4194304 211260 0 1 0 359605 398 0 0 20 0 2 0 73389048 457592832 90977 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
/proc/87697/statm: 111717 90977 3680 641 0 94200 0
[pid=87697/tid=87699] ppid=87694 vsize=446868 memory=357125 CPUtime=4.12 cores=4,6
/proc/87697/task/87699/stat : 87699 (ipbhs_gurobi) S 87694 87697 85941 0 -1 4194368 27 0 0 0 99 313 0 0 20 0 2 0 73389068 457592832 90977 18446744073709551615 93912921468928 93912924093981 140722351188128 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93912924712856 93912924745818 93912939655168 140722351196575 140722351196679 140722351196679 140722351202281 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 446868 KiB
Current children cumulated memory: 363908 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.06 s, system=3.9849 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3606.81
CPU time (s): 3600.05
CPU user time (s): 3596.06
CPU system time (s): 3.9849
CPU usage (%): 99.8125
Max. virtual memory (cumulated for all children) (KiB): 446868
Max. memory (cumulated for all children) (KiB): 363908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.06
system time used= 3.9849
maximum resident set size= 363908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211261
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357407
involuntary context switches= 2262


# summary of solver processes directly reported to runsolver:
#   pid: 87697
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3596.06
#   total CPU system time (s): 3.9849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4308 second user time and 33.0236 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-03 23:11:33
IDJOB=4522074
IDBENCH=178576
IDSOLVER=3333
FILE ID=nodeC011/4522074-1751577093
RUNJOBID= nodeC011-1751570052-85952
SLURM_JOB_ID= 9598789
Free space on /tmp= 430256 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-sorrell8.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522074-1751577093/watcher-4522074-1751577093 -o /tmp/evaluation-result-4522074-1751577093/solver-4522074-1751577093 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751570052-85952 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4522074-1751577093.opb --max-coef 1000000000

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

MD5SUM BENCH= 3efa309da6b8ed2e5ff01ccb25d0dd51
RANDOM SEED=998763255

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        119790860 kB
MemAvailable:   122775560 kB
Buffers:            3276 kB
Cached:          3780292 kB
SwapCached:            0 kB
Active:          7583560 kB
Inactive:        3338644 kB
Active(anon):    7154496 kB
Inactive(anon):     2104 kB
Active(file):     429064 kB
Inactive(file):  3336540 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             59680 kB
Writeback:             0 kB
AnonPages:       7141728 kB
Mapped:           119492 kB
Shmem:             17960 kB
KReclaimable:     117060 kB
Slab:             202712 kB
SReclaimable:     117060 kB
SUnreclaim:        85652 kB
KernelStack:        4080 kB
PageTables:        17296 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8281536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5509120 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430296 MiB
End job on nodeC011 at 2025-07-04 00:11:40