Trace number 4489260

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.13 3610.02

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
MD5SUMc9dbdd12375057f4b915bf781d219fad
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 benchmark180
Best CPU time to get the best result obtained on this benchmark3585.96
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables468
Total number of constraints468
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints468
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 468
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 468
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 468
Number of bits of the biggest sum of numbers9
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 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.00/0.01	c limit for coefficient in constraints and objective to 1000000000
0.00/0.01	c will solve HOME/instance-4489260-1751350987.opb
0.00/0.01	c [0] 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 (59950 MiB free)
  memory of node 1: 64465 MiB (61389 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489260-1751350987/watcher-4489260-1751350987 -o /tmp/evaluation-result-4489260-1751350987/solver-4489260-1751350987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751347376-47061 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4489260-1751350987.opb --max-coef 1000000000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100056 s]*
/proc/loadavg: 4.19 4.12 4.10 4/264 47449
/proc/meminfo: memFree=124248068/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=96116 memory=21556 CPUtime=0.08 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 1863 0 0 0 8 0 0 0 20 0 2 0 50773275 98422784 5389 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 24029 5389 3456 641 0 6512 0
[pid=47442/tid=47444] ppid=47438 vsize=96116 memory=4026531959 CPUtime=0 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 50773277 98422784 5389 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 96116 KiB
Current children cumulated memory: 21556 KiB

[startup+0.204807 s]*
/proc/loadavg: 4.19 4.12 4.10 5/268 47453
/proc/meminfo: memFree=123845096/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=98520 memory=25012 CPUtime=0.19 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 2505 0 0 0 19 0 0 0 20 0 2 0 50773275 100884480 6253 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 24630 6253 3712 641 0 7113 0
[pid=47442/tid=47444] ppid=47438 vsize=98520 memory=3472328300254200092 CPUtime=0 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 50773277 100884480 6253 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 98520 KiB
Current children cumulated memory: 25012 KiB

[startup+0.305599 s]*
/proc/loadavg: 4.19 4.12 4.10 5/268 47453
/proc/meminfo: memFree=123402036/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=101060 memory=26804 CPUtime=0.29 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 2913 0 0 0 29 0 0 0 20 0 2 0 50773275 103485440 6701 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 25265 6701 3744 641 0 7748 0
[pid=47442/tid=47444] ppid=47438 vsize=101060 memory=-7675384534098738111 CPUtime=0 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 50773277 103485440 6701 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101060 KiB
Current children cumulated memory: 26804 KiB

[startup+0.700134 s]
/proc/loadavg: 4.19 4.12 4.10 5/269 47454
/proc/meminfo: memFree=123362400/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=101060 memory=27444 CPUtime=0.68 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 3074 0 0 0 68 0 0 0 20 0 2 0 50773275 103485440 6861 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 25265 6861 3744 641 0 7748 0
[pid=47442/tid=47444] ppid=47438 vsize=101060 memory=17664 CPUtime=0 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 50773277 103485440 6861 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 101060 KiB
Current children cumulated memory: 27444 KiB

[startup+1.50012 s]
/proc/loadavg: 4.19 4.12 4.10 5/269 47454
/proc/meminfo: memFree=123355344/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=101060 memory=28084 CPUtime=1.48 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 3235 0 0 0 148 0 0 0 20 0 2 0 50773275 103485440 7021 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 25265 7021 3744 641 0 7748 0
[pid=47442/tid=47444] ppid=47438 vsize=101060 memory=17664 CPUtime=0 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 50773277 103485440 7021 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101060 KiB
Current children cumulated memory: 28084 KiB

[startup+3.10509 s]
/proc/loadavg: 4.19 4.12 4.10 5/269 47500
/proc/meminfo: memFree=123481788/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=101988 memory=29068 CPUtime=3.08 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 5063 0 0 0 307 1 0 0 20 0 2 0 50773275 104435712 7267 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 25497 7267 3744 641 0 7980 0
[pid=47442/tid=47444] ppid=47438 vsize=101988 memory=27444 CPUtime=0 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 50773277 104435712 7267 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 101988 KiB
Current children cumulated memory: 29068 KiB

[startup+6.30011 s]
/proc/loadavg: 4.17 4.12 4.09 5/269 47500
/proc/meminfo: memFree=123476632/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=102068 memory=29636 CPUtime=6.27 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 7613 0 0 0 626 1 0 0 20 0 2 0 50773275 104517632 7409 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 25517 7409 3776 641 0 8000 0
[pid=47442/tid=47444] ppid=47438 vsize=102068 memory=27444 CPUtime=0 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 50773277 104517632 7409 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 102068 KiB
Current children cumulated memory: 29636 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 47500
/proc/meminfo: memFree=123475764/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=102068 memory=29892 CPUtime=12.64 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 10741 0 0 0 1263 1 0 0 20 0 2 0 50773275 104517632 7473 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 25517 7473 3776 641 0 8000 0
[pid=47442/tid=47444] ppid=47438 vsize=102068 memory=27444 CPUtime=0 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 50773277 104517632 7473 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 102068 KiB
Current children cumulated memory: 29892 KiB

[startup+25.5001 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 47500
/proc/meminfo: memFree=123457428/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=105092 memory=32452 CPUtime=25.4 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 12131 0 0 0 2539 1 0 0 20 0 2 0 50773275 107614208 8113 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 26273 8113 3776 641 0 8756 0
[pid=47442/tid=47444] ppid=47438 vsize=105092 memory=27444 CPUtime=0 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 50773277 107614208 8113 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 105092 KiB
Current children cumulated memory: 32452 KiB

[startup+51.1053 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 47503
/proc/meminfo: memFree=123364600/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=122764 memory=50416 CPUtime=50.93 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 20641 0 0 0 5090 3 0 0 20 0 2 0 50773275 125710336 12604 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 30691 12604 3808 641 0 13174 0
[pid=47442/tid=47444] ppid=47438 vsize=122764 memory=2273 CPUtime=0 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 2 0 50773277 125710336 12604 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 122764 KiB
Current children cumulated memory: 50416 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/270 47509
/proc/meminfo: memFree=123360672/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=122764 memory=51568 CPUtime=101.98 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 23680 0 0 0 10194 4 0 0 20 0 2 0 50773275 125710336 12892 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 30691 12892 3808 641 0 13174 0
[pid=47442/tid=47444] ppid=47438 vsize=122764 memory=51568 CPUtime=0.01 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 10 0 0 0 0 1 0 0 20 0 2 0 50773277 125710336 12892 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 122764 KiB
Current children cumulated memory: 51568 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 47511
/proc/meminfo: memFree=123358384/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=122764 memory=51568 CPUtime=161.81 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 23887 0 0 0 16177 4 0 0 20 0 2 0 50773275 125710336 12892 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 30691 12892 3808 641 0 13174 0
[pid=47442/tid=47444] ppid=47438 vsize=122764 memory=51568 CPUtime=0.01 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 12 0 0 0 0 1 0 0 20 0 2 0 50773277 125710336 12892 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 122764 KiB
Current children cumulated memory: 51568 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 47516
/proc/meminfo: memFree=123356384/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=122764 memory=51568 CPUtime=221.63 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 24804 0 0 0 22158 5 0 0 20 0 2 0 50773275 125710336 12892 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 30691 12892 3808 641 0 13174 0
[pid=47442/tid=47444] ppid=47438 vsize=122764 memory=51568 CPUtime=0.02 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 12 0 0 0 0 2 0 0 20 0 2 0 50773277 125710336 12892 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 122764 KiB
Current children cumulated memory: 51568 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 47518
/proc/meminfo: memFree=123348216/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=127100 memory=54640 CPUtime=281.44 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 26395 0 0 0 28139 5 0 0 20 0 2 0 50773275 130150400 13660 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 31775 13660 3808 641 0 14258 0
[pid=47442/tid=47444] ppid=47438 vsize=127100 memory=51824 CPUtime=0.03 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 12 0 0 0 1 2 0 0 20 0 2 0 50773277 130150400 13660 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 127100 KiB
Current children cumulated memory: 54640 KiB

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

/proc/meminfo: memFree=122027600/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=427832 memory=353888 CPUtime=2974.01 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 268525 0 0 0 297338 63 0 0 20 0 2 0 50773275 438099968 88472 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 106958 88472 3808 641 0 89441 0
[pid=47442/tid=47444] ppid=47438 vsize=427832 memory=353888 CPUtime=0.36 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 26 0 0 0 11 25 0 0 20 0 2 0 50773277 438099968 88472 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 427832 KiB
Current children cumulated memory: 353888 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 47667
/proc/meminfo: memFree=121999504/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=436156 memory=362080 CPUtime=3033.85 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 271364 0 0 0 303321 64 0 0 20 0 2 0 50773275 446623744 90520 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 109039 90520 3808 641 0 91522 0
[pid=47442/tid=47444] ppid=47438 vsize=436156 memory=14720 CPUtime=0.37 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 26 0 0 0 12 25 0 0 20 0 2 0 50773277 446623744 90520 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 436156 KiB
Current children cumulated memory: 362080 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 47674
/proc/meminfo: memFree=121990496/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=439364 memory=366816 CPUtime=3093.69 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 275184 0 0 0 309305 64 0 0 20 0 2 0 50773275 449908736 91704 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 109841 91704 3808 641 0 92324 0
[pid=47442/tid=47444] ppid=47438 vsize=439364 memory=366560 CPUtime=0.37 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 26 0 0 0 12 25 0 0 20 0 2 0 50773277 449908736 91704 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 439364 KiB
Current children cumulated memory: 366816 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 47676
/proc/meminfo: memFree=121956352/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=447324 memory=373856 CPUtime=3153.54 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 279800 0 0 0 315289 65 0 0 20 0 2 0 50773275 458059776 93464 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 111831 93464 3808 641 0 94314 0
[pid=47442/tid=47444] ppid=47438 vsize=447324 memory=370400 CPUtime=0.38 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 26 0 0 0 12 26 0 0 20 0 2 0 50773277 458059776 93464 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 447324 KiB
Current children cumulated memory: 373856 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 47681
/proc/meminfo: memFree=121933596/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=453892 memory=381280 CPUtime=3213.39 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 283504 0 0 0 321272 67 0 0 20 0 2 0 50773275 464785408 95320 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 113473 95320 3808 641 0 95956 0
[pid=47442/tid=47444] ppid=47438 vsize=453892 memory=373344 CPUtime=0.4 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 27 0 0 0 13 27 0 0 20 0 2 0 50773277 464785408 95320 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 453892 KiB
Current children cumulated memory: 381280 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 47683
/proc/meminfo: memFree=121927796/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=459172 memory=385888 CPUtime=3273.24 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 287299 0 0 0 327256 68 0 0 20 0 2 0 50773275 470192128 96472 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 114793 96472 3808 641 0 97276 0
[pid=47442/tid=47444] ppid=47438 vsize=459172 memory=385888 CPUtime=0.4 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 28 0 0 0 13 27 0 0 20 0 2 0 50773277 470192128 96472 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 459172 KiB
Current children cumulated memory: 385888 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 47686
/proc/meminfo: memFree=121911556/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=467304 memory=392416 CPUtime=3333.08 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 292337 0 0 0 333239 69 0 0 20 0 2 0 50773275 478519296 98104 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 116826 98104 3808 641 0 99309 0
[pid=47442/tid=47444] ppid=47438 vsize=467304 memory=392416 CPUtime=0.4 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 29 0 0 0 13 27 0 0 20 0 2 0 50773277 478519296 98104 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 467304 KiB
Current children cumulated memory: 392416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 47688
/proc/meminfo: memFree=121878936/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=474768 memory=401504 CPUtime=3392.93 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 296194 0 0 0 339223 70 0 0 20 0 2 0 50773275 486162432 100376 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 118692 100376 3808 641 0 101175 0
[pid=47442/tid=47444] ppid=47438 vsize=474768 memory=14720 CPUtime=0.42 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 29 0 0 0 14 28 0 0 20 0 2 0 50773277 486162432 100376 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 474768 KiB
Current children cumulated memory: 401504 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 47690
/proc/meminfo: memFree=121854896/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=480468 memory=406880 CPUtime=3452.78 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 298792 0 0 0 345207 71 0 0 20 0 2 0 50773275 491999232 101720 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 120117 101720 3808 641 0 102600 0
[pid=47442/tid=47444] ppid=47438 vsize=480468 memory=14720 CPUtime=0.42 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 29 0 0 0 14 28 0 0 20 0 2 0 50773277 491999232 101720 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 480468 KiB
Current children cumulated memory: 406880 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/268 47692
/proc/meminfo: memFree=121822272/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=486712 memory=412640 CPUtime=3512.62 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 301753 0 0 0 351190 72 0 0 20 0 2 0 50773275 498393088 103160 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 121678 103160 3808 641 0 104161 0
[pid=47442/tid=47444] ppid=47438 vsize=486712 memory=17664 CPUtime=0.43 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 29 0 0 0 14 29 0 0 20 0 2 0 50773277 498393088 103160 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 486712 KiB
Current children cumulated memory: 412640 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 47694
/proc/meminfo: memFree=121798224/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=493844 memory=421344 CPUtime=3572.47 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 304902 0 0 0 357174 73 0 0 20 0 2 0 50773275 505696256 105336 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 123461 105336 3808 641 0 105944 0
[pid=47442/tid=47444] ppid=47438 vsize=493844 memory=10752 CPUtime=0.43 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 29 0 0 0 14 29 0 0 20 0 2 0 50773277 505696256 105336 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 493844 KiB
Current children cumulated memory: 421344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.07 4.08 4.09 5/268 47696
/proc/meminfo: memFree=121782168/131249992 swapFree=33010160/33010684
[pid=47442] ppid=47438 vsize=500248 memory=426408 CPUtime=3600.1 cores=1,3
/proc/47442/stat : 47442 (ipbhs_gurobi) R 47438 47442 47049 0 -1 4194304 305528 0 0 0 359937 73 0 0 20 0 2 0 50773275 512253952 106602 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
/proc/47442/statm: 125062 106602 3808 641 0 107545 0
[pid=47442/tid=47444] ppid=47438 vsize=500248 memory=-7675384534165519295 CPUtime=0.44 cores=1,3
/proc/47442/task/47444/stat : 47444 (ipbhs_gurobi) S 47438 47442 47049 0 -1 4194368 29 0 0 0 15 29 0 0 20 0 2 0 50773277 512253952 106602 18446744073709551615 94307001262080 94307003887133 140726598026048 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94307004506008 94307004538970 94307036258304 140726598031775 140726598031879 140726598031879 140726598037481 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 500248 KiB
Current children cumulated memory: 426408 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.38 s, system=0.746493 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): 3610.02
CPU time (s): 3600.13
CPU user time (s): 3599.38
CPU system time (s): 0.746493
CPU usage (%): 99.726
Max. virtual memory (cumulated for all children) (KiB): 500248
Max. memory (cumulated for all children) (KiB): 426408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.38
system time used= 0.746493
maximum resident set size= 426408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 359285
involuntary context switches= 3740


# summary of solver processes directly reported to runsolver:
#   pid: 47442
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3599.38
#   total CPU system time (s): 0.746493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58553 second user time and 11.6123 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-01 08:23:07
IDJOB=4489260
IDBENCH=147544
IDSOLVER=3333
FILE ID=nodeC035/4489260-1751350987
RUNJOBID= nodeC035-1751347376-47061
SLURM_JOB_ID= 9598116
Free space on /tmp= 432916 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489260-1751350987/watcher-4489260-1751350987 -o /tmp/evaluation-result-4489260-1751350987/solver-4489260-1751350987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751347376-47061 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4489260-1751350987.opb --max-coef 1000000000

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

MD5SUM BENCH= c9dbdd12375057f4b915bf781d219fad
RANDOM SEED=488207179

nodeC035 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.756
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.51
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		: 3595.515
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.51
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		: 3601.073
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.51
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		: 3600.009
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.51
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.772
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.51
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.952
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.51
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		: 3599.650
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.51
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		: 3604.264
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124284736 kB
MemAvailable:   129272132 kB
Buffers:            1840 kB
Cached:          5740604 kB
SwapCached:            8 kB
Active:           805800 kB
Inactive:        5449940 kB
Active(anon):     520068 kB
Inactive(anon):    11616 kB
Active(file):     285732 kB
Inactive(file):  5438324 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            157308 kB
Writeback:             0 kB
AnonPages:        516724 kB
Mapped:           113612 kB
Shmem:             18048 kB
KReclaimable:     205160 kB
Slab:             294924 kB
SReclaimable:     205160 kB
SUnreclaim:        89764 kB
KernelStack:        4128 kB
PageTables:         3876 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     823676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    358400 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432832 MiB
End job on nodeC035 at 2025-07-01 09:23:18