Trace number 4524190

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.07 3604.71

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-15_c18.opb
MD5SUM64dbfbfc0114f72138d7179eedb1d684
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 benchmark168
Best CPU time to get the best result obtained on this benchmark72002
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25846
Total number of constraints1501
Number of constraints which are clauses211
Number of constraints which are cardinality constraints (but not clauses)330
Number of constraints which are nor clauses,nor cardinality constraints960
Minimum length of a constraint1
Maximum length of a constraint232
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 513
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 25455
Number of bits of the biggest sum of numbers15
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.10/0.20	c limit for coefficient in constraints and objective to 1000000000
0.10/0.20	c will solve HOME/instance-4524190-1751609086.opb
0.10/0.20	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: 63837 MiB (60986 MiB free)
  memory of node 1: 64465 MiB (62373 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524190-1751609086/watcher-4524190-1751609086 -o /tmp/evaluation-result-4524190-1751609086/solver-4524190-1751609086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751599585-88080 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4524190-1751609086.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=89718, runsolver pid=89715

[startup+0.100072 s]*
/proc/loadavg: 4.18 4.19 4.18 5/254 89719
/proc/meminfo: memFree=126319116/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=80088 memory=17536 CPUtime=0.1 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 3074 0 0 0 9 1 0 0 20 0 1 0 76587830 82010112 4384 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 20022 4384 1728 641 0 4779 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80088 KiB
Current children cumulated memory: 17536 KiB

[startup+0.21328 s]*
/proc/loadavg: 4.18 4.19 4.18 5/255 89720
/proc/meminfo: memFree=126310548/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=104968 memory=30552 CPUtime=0.21 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 5844 0 0 0 18 3 0 0 20 0 2 0 76587830 107487232 7638 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 26242 7638 2304 641 0 8725 0
[pid=89718/tid=89720] ppid=89715 vsize=104968 memory=3472328132921917724 CPUtime=0 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 76587850 107487232 7638 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 104968 KiB
Current children cumulated memory: 30552 KiB

[startup+0.312996 s]*
/proc/loadavg: 4.18 4.19 4.18 5/255 89720
/proc/meminfo: memFree=126309792/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=106404 memory=36056 CPUtime=0.31 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 6296 0 0 0 28 3 0 0 20 0 2 0 76587830 108957696 9014 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 26601 9014 3296 641 0 9084 0
[pid=89718/tid=89720] ppid=89715 vsize=106404 memory=-7387154158014331069 CPUtime=0 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 76587850 108957696 9014 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 106404 KiB
Current children cumulated memory: 36056 KiB

[startup+0.700356 s]
/proc/loadavg: 4.18 4.19 4.18 5/255 89720
/proc/meminfo: memFree=126308784/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=107008 memory=36696 CPUtime=0.68 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 6455 0 0 0 65 3 0 0 20 0 2 0 76587830 109576192 9174 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 26752 9174 3296 641 0 9235 0
[pid=89718/tid=89720] ppid=89715 vsize=107008 memory=18560 CPUtime=0 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 76587850 109576192 9174 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107008 KiB
Current children cumulated memory: 36696 KiB

[startup+1.50034 s]
/proc/loadavg: 4.18 4.19 4.18 5/255 89720
/proc/meminfo: memFree=126307020/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=107800 memory=39516 CPUtime=1.48 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 6677 0 0 0 145 3 0 0 20 0 2 0 76587830 110387200 9879 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 26950 9879 3296 641 0 9433 0
[pid=89718/tid=89720] ppid=89715 vsize=107800 memory=18560 CPUtime=0 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 76587850 110387200 9879 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107800 KiB
Current children cumulated memory: 39516 KiB

[startup+3.11275 s]
/proc/loadavg: 4.18 4.19 4.18 5/255 89720
/proc/meminfo: memFree=126301728/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=115436 memory=47196 CPUtime=3.09 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 11264 0 0 0 305 4 0 0 20 0 2 0 76587830 118206464 11799 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 28859 11799 3296 641 0 11342 0
[pid=89718/tid=89720] ppid=89715 vsize=115436 memory=0 CPUtime=0 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 76587850 118206464 11799 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115436 KiB
Current children cumulated memory: 47196 KiB

[startup+6.30034 s]
/proc/loadavg: 4.16 4.18 4.18 5/255 89720
/proc/meminfo: memFree=126259104/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=162836 memory=88380 CPUtime=6.28 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 23568 0 0 0 617 11 0 0 20 0 2 0 76587830 166744064 22095 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 40709 22095 3296 641 0 23192 0
[pid=89718/tid=89720] ppid=89715 vsize=162836 memory=82400 CPUtime=0 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 76587850 166744064 22095 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 162836 KiB
Current children cumulated memory: 88380 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.18 4.18 5/255 89720
/proc/meminfo: memFree=126211472/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=214960 memory=139816 CPUtime=12.66 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 53029 0 0 0 1250 16 0 0 20 0 2 0 76587830 220119040 34954 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 53740 34954 3296 641 0 36223 0
[pid=89718/tid=89720] ppid=89715 vsize=214960 memory=6388 CPUtime=0.01 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 8 0 0 0 0 1 0 0 20 0 2 0 76587850 220119040 34954 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 214960 KiB
Current children cumulated memory: 139816 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.17 4.17 5/255 89720
/proc/meminfo: memFree=126187848/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=223092 memory=151536 CPUtime=25.46 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 61986 0 0 0 2516 30 0 0 20 0 2 0 76587830 228446208 37884 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 55773 37884 3296 641 0 38256 0
[pid=89718/tid=89720] ppid=89715 vsize=223092 memory=148464 CPUtime=0.04 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 9 0 0 0 1 3 0 0 20 0 2 0 76587850 228446208 37884 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 223092 KiB
Current children cumulated memory: 151536 KiB

[startup+51.113 s]
/proc/loadavg: 4.15 4.17 4.17 5/255 89721
/proc/meminfo: memFree=126168384/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=263116 memory=176888 CPUtime=51.03 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 98887 0 0 0 5046 57 0 0 20 0 2 0 76587830 269430784 44222 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 65779 44222 3296 641 0 48262 0
[pid=89718/tid=89720] ppid=89715 vsize=263116 memory=176248 CPUtime=0.08 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 10 0 0 0 2 6 0 0 20 0 2 0 76587850 269430784 44222 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 263116 KiB
Current children cumulated memory: 176888 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/255 89724
/proc/meminfo: memFree=126125804/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=304000 memory=225052 CPUtime=102.15 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 139696 0 0 0 10114 101 0 0 20 0 2 0 76587830 311296000 56263 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 76000 56263 3296 641 0 58483 0
[pid=89718/tid=89720] ppid=89715 vsize=304000 memory=224796 CPUtime=0.15 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 11 0 0 0 4 11 0 0 20 0 2 0 76587850 311296000 56263 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 102.15 s
Current children cumulated vsize: 304000 KiB
Current children cumulated memory: 225052 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/255 89726
/proc/meminfo: memFree=126096232/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=309900 memory=230940 CPUtime=162.09 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 141306 0 0 0 16065 144 0 0 20 0 2 0 76587830 317337600 57735 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 77475 57735 3296 641 0 59958 0
[pid=89718/tid=89720] ppid=89715 vsize=309900 memory=227740 CPUtime=0.26 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 11 0 0 0 7 19 0 0 20 0 2 0 76587850 317337600 57735 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 162.09 s
Current children cumulated vsize: 309900 KiB
Current children cumulated memory: 230940 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/254 89728
/proc/meminfo: memFree=126011764/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=369148 memory=250368 CPUtime=222.01 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 144267 0 0 0 22023 178 0 0 20 0 2 0 76587830 378007552 62592 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 92287 62592 3296 641 0 74770 0
[pid=89718/tid=89720] ppid=89715 vsize=369148 memory=2273 CPUtime=0.35 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 11 0 0 0 10 25 0 0 20 0 2 0 76587850 378007552 62592 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 222.01 s
Current children cumulated vsize: 369148 KiB
Current children cumulated memory: 250368 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/254 89730
/proc/meminfo: memFree=125994264/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=371680 memory=252800 CPUtime=281.94 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 144944 0 0 0 27980 214 0 0 20 0 2 0 76587830 380600320 63200 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 92920 63200 3296 641 0 75403 0
[pid=89718/tid=89720] ppid=89715 vsize=371680 memory=252800 CPUtime=0.44 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 12 0 0 0 12 32 0 0 20 0 2 0 76587850 380600320 63200 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 281.94 s
Current children cumulated vsize: 371680 KiB
Current children cumulated memory: 252800 KiB


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

/proc/meminfo: memFree=128317808/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=782608 memory=584004 CPUtime=3038.67 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 340388 0 0 0 302396 1471 0 0 20 0 2 0 76587830 801390592 146001 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 195652 146001 3296 641 0 178135 0
[pid=89718/tid=89720] ppid=89715 vsize=782608 memory=584004 CPUtime=5.27 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 26 0 0 0 153 374 0 0 20 0 2 0 76587850 801390592 146001 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3038.67 s
Current children cumulated vsize: 782608 KiB
Current children cumulated memory: 584004 KiB

[startup+3102.3 s]
/proc/loadavg: 1.15 1.30 1.89 2/234 89959
/proc/meminfo: memFree=128326124/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=784872 memory=585796 CPUtime=3098.55 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 342081 0 0 0 308361 1494 0 0 20 0 2 0 76587830 803708928 146449 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 196218 146449 3296 641 0 178701 0
[pid=89718/tid=89720] ppid=89715 vsize=784872 memory=584004 CPUtime=5.39 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 26 0 0 0 157 382 0 0 20 0 2 0 76587850 803708928 146449 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3098.55 s
Current children cumulated vsize: 784872 KiB
Current children cumulated memory: 585796 KiB

[startup+3162.3 s]
/proc/loadavg: 1.12 1.26 1.84 2/234 89961
/proc/meminfo: memFree=128309620/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=794084 memory=601704 CPUtime=3158.43 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 346785 0 0 0 314326 1517 0 0 20 0 2 0 76587830 813142016 150426 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 198521 150426 3296 641 0 181004 0
[pid=89718/tid=89720] ppid=89715 vsize=794084 memory=584004 CPUtime=5.49 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 27 0 0 0 160 389 0 0 20 0 2 0 76587850 813142016 150426 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3158.43 s
Current children cumulated vsize: 794084 KiB
Current children cumulated memory: 601704 KiB

[startup+3222.3 s]
/proc/loadavg: 1.09 1.22 1.79 2/234 89965
/proc/meminfo: memFree=128301680/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=794084 memory=603496 CPUtime=3218.32 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 346785 0 0 0 320286 1546 0 0 20 0 2 0 76587830 813142016 150874 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 198521 150874 3296 641 0 181004 0
[pid=89718/tid=89720] ppid=89715 vsize=794084 memory=601704 CPUtime=5.59 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 27 0 0 0 163 396 0 0 20 0 2 0 76587850 813142016 150874 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3218.32 s
Current children cumulated vsize: 794084 KiB
Current children cumulated memory: 603496 KiB

[startup+3282.3 s]
/proc/loadavg: 1.13 1.21 1.75 2/234 89967
/proc/meminfo: memFree=128290244/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=794084 memory=610408 CPUtime=3278.17 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 346820 0 0 0 326248 1569 0 0 20 0 2 0 76587830 813142016 152602 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 198521 152602 3296 641 0 181004 0
[pid=89718/tid=89720] ppid=89715 vsize=794084 memory=610408 CPUtime=5.69 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 27 0 0 0 167 402 0 0 20 0 2 0 76587850 813142016 152602 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3278.17 s
Current children cumulated vsize: 794084 KiB
Current children cumulated memory: 610408 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.18 1.70 2/234 89969
/proc/meminfo: memFree=128290496/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=794084 memory=610408 CPUtime=3338.03 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 346866 0 0 0 332211 1592 0 0 20 0 2 0 76587830 813142016 152602 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 198521 152602 3296 641 0 181004 0
[pid=89718/tid=89720] ppid=89715 vsize=794084 memory=14080 CPUtime=5.8 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 27 0 0 0 171 409 0 0 20 0 2 0 76587850 813142016 152602 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3338.03 s
Current children cumulated vsize: 794084 KiB
Current children cumulated memory: 610408 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.16 1.66 2/234 89982
/proc/meminfo: memFree=128289012/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=797048 memory=618612 CPUtime=3397.93 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 347417 0 0 0 338179 1614 0 0 20 0 2 0 76587830 816177152 154653 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 199262 154653 3296 641 0 181745 0
[pid=89718/tid=89720] ppid=89715 vsize=797048 memory=14080 CPUtime=5.91 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 27 0 0 0 175 416 0 0 20 0 2 0 76587850 816177152 154653 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3397.93 s
Current children cumulated vsize: 797048 KiB
Current children cumulated memory: 618612 KiB

[startup+3462.3 s]
/proc/loadavg: 1.06 1.14 1.62 2/234 89984
/proc/meminfo: memFree=128289452/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=797048 memory=618612 CPUtime=3457.85 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 347419 0 0 0 344147 1638 0 0 20 0 2 0 76587830 816177152 154653 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 199262 154653 3296 641 0 181745 0
[pid=89718/tid=89720] ppid=89715 vsize=797048 memory=14080 CPUtime=6.02 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 28 0 0 0 177 425 0 0 20 0 2 0 76587850 816177152 154653 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3457.85 s
Current children cumulated vsize: 797048 KiB
Current children cumulated memory: 618612 KiB

[startup+3522.3 s]
/proc/loadavg: 1.06 1.13 1.59 2/234 89986
/proc/meminfo: memFree=128290460/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=797048 memory=618612 CPUtime=3517.77 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 347419 0 0 0 350116 1661 0 0 20 0 2 0 76587830 816177152 154653 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 199262 154653 3296 641 0 181745 0
[pid=89718/tid=89720] ppid=89715 vsize=797048 memory=618612 CPUtime=6.12 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 28 0 0 0 180 432 0 0 20 0 2 0 76587850 816177152 154653 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3517.77 s
Current children cumulated vsize: 797048 KiB
Current children cumulated memory: 618612 KiB

[startup+3582.3 s]
/proc/loadavg: 1.13 1.14 1.56 2/233 89988
/proc/meminfo: memFree=128290816/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=797048 memory=618612 CPUtime=3577.69 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 347556 0 0 0 356091 1678 0 0 20 0 2 0 76587830 816177152 154653 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 199262 154653 3296 641 0 181745 0
[pid=89718/tid=89720] ppid=89715 vsize=797048 memory=618612 CPUtime=6.24 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 28 0 0 0 184 440 0 0 20 0 2 0 76587850 816177152 154653 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3577.69 s
Current children cumulated vsize: 797048 KiB
Current children cumulated memory: 618612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.7 s]
/proc/loadavg: 1.09 1.13 1.55 2/233 89993
/proc/meminfo: memFree=128283004/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=801756 memory=621556 CPUtime=3600.05 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 348789 0 0 0 358320 1685 0 0 20 0 2 0 76587830 820998144 155389 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 200439 155389 3296 641 0 182922 0
[pid=89718/tid=89720] ppid=89715 vsize=801756 memory=613148 CPUtime=6.28 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 28 0 0 0 184 444 0 0 20 0 2 0 76587850 820998144 155389 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 801756 KiB
Current children cumulated memory: 621556 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.21 s, system=16.8605 s

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

[startup+3604.7 s]
/proc/loadavg: 1.09 1.13 1.55 2/233 89993
/proc/meminfo: memFree=128283004/131382116 swapFree=33009904/33010684
[pid=89718] ppid=89715 vsize=801756 memory=621556 CPUtime=3600.05 cores=1,3
/proc/89718/stat : 89718 (ipbhs_gurobi) R 89715 89718 88068 0 -1 4194304 348789 0 0 0 358320 1685 0 0 20 0 2 0 76587830 820998144 155389 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
/proc/89718/statm: 200439 155389 3296 641 0 182922 0
[pid=89718/tid=89720] ppid=89715 vsize=801756 memory=613148 CPUtime=6.28 cores=1,3
/proc/89718/task/89720/stat : 89720 (ipbhs_gurobi) S 89715 89718 88068 0 -1 4194368 28 0 0 0 184 444 0 0 20 0 2 0 76587850 820998144 155389 18446744073709551615 94345882746880 94345885371933 140726051693184 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94345885990808 94345886023770 94345888346112 140726051699103 140726051699207 140726051699207 140726051704809 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 801756 KiB
Current children cumulated memory: 621556 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3604.71
CPU time (s): 3600.07
CPU user time (s): 3583.21
CPU system time (s): 16.8605
CPU usage (%): 99.8714
Max. virtual memory (cumulated for all children) (KiB): 801756
Max. memory (cumulated for all children) (KiB): 621556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.21
system time used= 16.8605
maximum resident set size= 621556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348789
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= 356933
involuntary context switches= 2102


# summary of solver processes directly reported to runsolver:
#   pid: 89718
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3583.21
#   total CPU system time (s): 16.8605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7308 second user time and 34.0503 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-04 08:04:46
IDJOB=4524190
IDBENCH=180627
IDSOLVER=3333
FILE ID=nodeC004/4524190-1751609086
RUNJOBID= nodeC004-1751599585-88080
SLURM_JOB_ID= 9598874
Free space on /tmp= 431460 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-GolombRuler-a3v18-15_c18.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524190-1751609086/watcher-4524190-1751609086 -o /tmp/evaluation-result-4524190-1751609086/solver-4524190-1751609086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751599585-88080 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4524190-1751609086.opb --max-coef 1000000000

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

MD5SUM BENCH= 64dbfbfc0114f72138d7179eedb1d684
RANDOM SEED=1366149123

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126320880 kB
MemAvailable:   127458004 kB
Buffers:            2128 kB
Cached:          1886036 kB
SwapCached:           32 kB
Active:          3076240 kB
Inactive:        1291268 kB
Active(anon):    2486540 kB
Inactive(anon):    10736 kB
Active(file):     589700 kB
Inactive(file):  1280532 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             59808 kB
Writeback:             0 kB
AnonPages:       2477844 kB
Mapped:           119588 kB
Shmem:             17932 kB
KReclaimable:     213040 kB
Slab:             299668 kB
SReclaimable:     213040 kB
SUnreclaim:        86628 kB
KernelStack:        4096 kB
PageTables:         8160 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3199912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149480 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1671168 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431620 MiB
End job on nodeC004 at 2025-07-04 09:04:52