Trace number 4503867

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
MD5SUMd01f39fb61de71c60f300d6712f658b6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2899749
Best CPU time to get the best result obtained on this benchmark124.337
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503867-1751469748/watcher-4503867-1751469748 -o /tmp/evaluation-result-4503867-1751469748/solver-4503867-1751469748 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751469715-63503 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4503867-1751469748.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=64340, runsolver pid=64337
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 2.39 1.41 1.43 6/267 64342
/proc/meminfo: memFree=127445116/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=106808 memory=31400 CPUtime=0.09 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 5690 0 0 0 7 2 0 0 20 0 2 0 62654684 109371392 7850 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 26702 7850 2304 641 0 9185 0
[pid=64340/tid=64342] ppid=64337 vsize=106808 memory=4026531960 CPUtime=0 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 62654691 109371392 7850 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 31400 KiB

[startup+0.205879 s]*
/proc/loadavg: 2.39 1.41 1.43 5/267 64342
/proc/meminfo: memFree=127444864/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=108812 memory=36008 CPUtime=0.19 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 6281 0 0 0 15 4 0 0 20 0 2 0 62654684 111423488 9002 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 27203 9002 2912 641 0 9686 0
[pid=64340/tid=64342] ppid=64337 vsize=108812 memory=3472328132921917724 CPUtime=0 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 62654691 111423488 9002 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108812 KiB
Current children cumulated memory: 36008 KiB

[startup+0.305784 s]*
/proc/loadavg: 2.39 1.41 1.43 5/267 64342
/proc/meminfo: memFree=127441084/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=123008 memory=46524 CPUtime=0.3 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 8938 0 0 0 25 5 0 0 20 0 2 0 62654684 125960192 11599 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 30752 11631 3488 641 0 13235 0
[pid=64340/tid=64342] ppid=64337 vsize=123008 memory=-7531269346056502466 CPUtime=0 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 62654691 125960192 11631 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 123008 KiB
Current children cumulated memory: 46524 KiB

[startup+0.70012 s]
/proc/loadavg: 2.39 1.41 1.43 5/267 64342
/proc/meminfo: memFree=127436800/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=125268 memory=51400 CPUtime=0.69 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 10816 0 0 0 57 12 0 0 20 0 2 0 62654684 128274432 12850 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 31317 12850 3648 641 0 13800 0
[pid=64340/tid=64342] ppid=64337 vsize=125268 memory=18560 CPUtime=0 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 62654691 128274432 12850 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 125268 KiB
Current children cumulated memory: 51400 KiB

[startup+1.50012 s]
/proc/loadavg: 2.39 1.41 1.43 5/267 64342
/proc/meminfo: memFree=127444576/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=125268 memory=53708 CPUtime=1.48 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 10877 0 0 0 123 25 0 0 20 0 2 0 62654684 128274432 13427 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 31317 13427 3648 641 0 13800 0
[pid=64340/tid=64342] ppid=64337 vsize=125268 memory=18560 CPUtime=0 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 62654691 128274432 13427 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125268 KiB
Current children cumulated memory: 53708 KiB

[startup+3.10539 s]
/proc/loadavg: 2.39 1.41 1.43 5/267 64342
/proc/meminfo: memFree=127476224/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=125268 memory=53708 CPUtime=3.08 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 12475 0 0 0 256 52 0 0 20 0 2 0 62654684 128274432 13427 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 31317 13427 3648 641 0 13800 0
[pid=64340/tid=64342] ppid=64337 vsize=125268 memory=53708 CPUtime=0 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 62654691 128274432 13427 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 125268 KiB
Current children cumulated memory: 53708 KiB

[startup+6.30016 s]
/proc/loadavg: 2.60 1.47 1.45 5/267 64342
/proc/meminfo: memFree=127509964/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=127988 memory=55628 CPUtime=6.28 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 15376 0 0 0 526 102 0 0 20 0 2 0 62654684 131059712 13907 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 31997 13907 3648 641 0 14480 0
[pid=64340/tid=64342] ppid=64337 vsize=127988 memory=18560 CPUtime=0 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 62654691 131059712 13907 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 127988 KiB
Current children cumulated memory: 55628 KiB

[startup+12.7002 s]
/proc/loadavg: 2.72 1.52 1.46 5/267 64342
/proc/meminfo: memFree=127584684/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=138060 memory=67340 CPUtime=12.66 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 24029 0 0 0 1087 179 0 0 20 0 2 0 62654684 141373440 16835 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 34515 16835 3648 641 0 16998 0
[pid=64340/tid=64342] ppid=64337 vsize=138060 memory=66828 CPUtime=0 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 8 0 0 0 0 0 0 0 20 0 2 0 62654691 141373440 16835 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 138060 KiB
Current children cumulated memory: 67340 KiB

[startup+25.5002 s]
/proc/loadavg: 3.07 1.65 1.51 5/267 64342
/proc/meminfo: memFree=127635700/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=176224 memory=101212 CPUtime=25.44 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 36487 0 0 0 2257 287 0 0 20 0 2 0 62654684 180453376 25303 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 44056 25303 3648 641 0 26539 0
[pid=64340/tid=64342] ppid=64337 vsize=176224 memory=14720 CPUtime=0 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 2 0 62654691 180453376 25303 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 176224 KiB
Current children cumulated memory: 101212 KiB

[startup+51.1058 s]
/proc/loadavg: 3.39 1.84 1.57 5/268 64344
/proc/meminfo: memFree=127720196/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=231520 memory=143520 CPUtime=50.99 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 47627 0 0 0 4623 476 0 0 20 0 2 0 62654684 237076480 35880 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 57880 35880 3648 641 0 40363 0
[pid=64340/tid=64342] ppid=64337 vsize=231520 memory=139808 CPUtime=0.01 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 11 0 0 0 0 1 0 0 20 0 2 0 62654691 237076480 35880 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 231520 KiB
Current children cumulated memory: 143520 KiB

[startup+102.3 s]
/proc/loadavg: 3.78 2.19 1.71 5/268 64345
/proc/meminfo: memFree=127582552/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=302396 memory=212628 CPUtime=102.08 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 58315 0 0 0 9466 742 0 0 20 0 2 0 62654684 309653504 53157 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 75599 53157 3648 641 0 58082 0
[pid=64340/tid=64342] ppid=64337 vsize=302396 memory=203320 CPUtime=0.05 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 11 0 0 0 2 3 0 0 20 0 2 0 62654691 309653504 53157 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 302396 KiB
Current children cumulated memory: 212628 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.54 1.86 5/268 64347
/proc/meminfo: memFree=127441396/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=351852 memory=278216 CPUtime=161.95 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 78583 0 0 0 15201 994 0 0 20 0 2 0 62654684 360296448 69554 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 87963 69554 3648 641 0 70446 0
[pid=64340/tid=64342] ppid=64337 vsize=351852 memory=269640 CPUtime=0.08 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 13 0 0 0 3 5 0 0 20 0 2 0 62654691 360296448 69554 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 278216 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.82 2.00 5/268 64352
/proc/meminfo: memFree=127298408/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=390692 memory=317128 CPUtime=221.81 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 119774 0 0 0 20965 1216 0 0 20 0 2 0 62654684 400068608 79282 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 97673 79282 3648 641 0 80156 0
[pid=64340/tid=64342] ppid=64337 vsize=390692 memory=310472 CPUtime=0.13 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 16 0 0 0 4 9 0 0 20 0 2 0 62654691 400068608 79282 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 390692 KiB
Current children cumulated memory: 317128 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.07 2.14 5/268 64354
/proc/meminfo: memFree=127145964/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=459664 memory=351420 CPUtime=281.68 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 126107 0 0 0 26755 1413 0 0 20 0 2 0 62654684 470695936 87855 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 114916 87855 3648 641 0 97399 0
[pid=64340/tid=64342] ppid=64337 vsize=459664 memory=335544 CPUtime=0.17 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 16 0 0 0 6 11 0 0 20 0 2 0 62654691 470695936 87855 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 459664 KiB
Current children cumulated memory: 351420 KiB

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

/proc/meminfo: memFree=118013880/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=5268576 memory=3905672 CPUtime=3035.84 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 3762457 0 0 0 293973 9611 0 0 20 0 2 0 62654684 5395021824 976418 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1317144 976418 3936 641 0 1299627 0
[pid=64340/tid=64342] ppid=64337 vsize=5268576 memory=10880 CPUtime=2.12 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 108 0 0 0 65 147 0 0 20 0 2 0 62654691 5395021824 976418 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3035.84 s
Current children cumulated vsize: 5268576 KiB
Current children cumulated memory: 3905672 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/267 64496
/proc/meminfo: memFree=117967052/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=5279708 memory=3927408 CPUtime=3095.71 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 3789246 0 0 0 299924 9647 0 0 20 0 2 0 62654684 5406420992 981852 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1319927 981852 3936 641 0 1302410 0
[pid=64340/tid=64342] ppid=64337 vsize=5279708 memory=3927408 CPUtime=2.17 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 109 0 0 0 67 150 0 0 20 0 2 0 62654691 5406420992 981852 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3095.71 s
Current children cumulated vsize: 5279708 KiB
Current children cumulated memory: 3927408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.11 4.03 5/267 64498
/proc/meminfo: memFree=117959660/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=5258880 memory=3906712 CPUtime=3155.6 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 3815783 0 0 0 305890 9670 0 0 20 0 2 0 62654684 5385093120 976678 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1314720 976678 3936 641 0 1297203 0
[pid=64340/tid=64342] ppid=64337 vsize=5258880 memory=3927408 CPUtime=2.22 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 111 0 0 0 68 154 0 0 20 0 2 0 62654691 5385093120 976678 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3155.6 s
Current children cumulated vsize: 5258880 KiB
Current children cumulated memory: 3906712 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.02 5/268 64503
/proc/meminfo: memFree=117981088/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=5258248 memory=3894700 CPUtime=3215.47 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 3871654 0 0 0 311776 9771 0 0 20 0 2 0 62654684 5384445952 973675 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1314562 973675 3936 641 0 1297045 0
[pid=64340/tid=64342] ppid=64337 vsize=5258248 memory=3927408 CPUtime=2.27 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 113 0 0 0 70 157 0 0 20 0 2 0 62654691 5384445952 973675 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3215.47 s
Current children cumulated vsize: 5258248 KiB
Current children cumulated memory: 3894700 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/267 64505
/proc/meminfo: memFree=117940600/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=5488628 memory=3931792 CPUtime=3275.27 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 3883741 0 6 0 317721 9806 0 0 20 0 2 0 62654684 5620355072 982948 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1372157 982948 4032 641 0 1354640 0
[pid=64340/tid=64342] ppid=64337 vsize=5488628 memory=3923568 CPUtime=2.32 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 114 0 0 0 71 161 0 0 20 0 2 0 62654691 5620355072 982948 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3275.27 s
Current children cumulated vsize: 5488628 KiB
Current children cumulated memory: 3931792 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 64512
/proc/meminfo: memFree=118577356/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=4396264 memory=3300964 CPUtime=3335.16 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 3946296 0 6 0 323487 10029 0 0 20 0 2 0 62654684 4501774336 825241 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1099066 825241 4032 641 0 1081549 0
[pid=64340/tid=64342] ppid=64337 vsize=4396264 memory=18560 CPUtime=2.35 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 116 0 0 0 71 164 0 0 20 0 2 0 62654691 4501774336 825241 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3335.16 s
Current children cumulated vsize: 4396264 KiB
Current children cumulated memory: 3300964 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/268 64514
/proc/meminfo: memFree=118569812/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=4396264 memory=3300964 CPUtime=3395.07 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 3953373 0 6 0 329224 10283 0 0 20 0 2 0 62654684 4501774336 825241 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1099066 825241 4032 641 0 1081549 0
[pid=64340/tid=64342] ppid=64337 vsize=4396264 memory=3300964 CPUtime=2.4 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 117 0 0 0 72 168 0 0 20 0 2 0 62654691 4501774336 825241 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3395.07 s
Current children cumulated vsize: 4396264 KiB
Current children cumulated memory: 3300964 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/268 64516
/proc/meminfo: memFree=118560424/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=4396264 memory=3300964 CPUtime=3454.95 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 3953445 0 6 0 334984 10511 0 0 20 0 2 0 62654684 4501774336 825241 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1099066 825241 4032 641 0 1081549 0
[pid=64340/tid=64342] ppid=64337 vsize=4396264 memory=3300964 CPUtime=2.44 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 117 0 0 0 73 171 0 0 20 0 2 0 62654691 4501774336 825241 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3454.95 s
Current children cumulated vsize: 4396264 KiB
Current children cumulated memory: 3300964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/267 64518
/proc/meminfo: memFree=117535072/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=5714348 memory=4597616 CPUtime=3514.84 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 3983653 0 6 0 340779 10705 0 0 20 0 2 0 62654684 5851492352 1149404 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1428587 1149404 4032 641 0 1411070 0
[pid=64340/tid=64342] ppid=64337 vsize=5714348 memory=3300964 CPUtime=2.48 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 119 0 0 0 75 173 0 0 20 0 2 0 62654691 5851492352 1149404 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3514.84 s
Current children cumulated vsize: 5714348 KiB
Current children cumulated memory: 4597616 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/267 64612
/proc/meminfo: memFree=118461464/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=5771596 memory=4373100 CPUtime=3574.72 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 4030591 0 6 0 346647 10825 0 0 20 0 2 0 62654684 5910114304 1093275 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1442899 1093275 4032 641 0 1425382 0
[pid=64340/tid=64342] ppid=64337 vsize=5771596 memory=5760 CPUtime=2.53 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 122 0 0 0 76 177 0 0 20 0 2 0 62654691 5910114304 1093275 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3574.72 s
Current children cumulated vsize: 5771596 KiB
Current children cumulated memory: 4373100 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.7 s]
/proc/loadavg: 4.17 4.11 4.04 4/265 64613
/proc/meminfo: memFree=121350664/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=5495912 memory=4029808 CPUtime=3600.06 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 4047187 0 6 0 349167 10839 0 0 20 0 2 0 62654684 5627813888 1007452 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1373978 1007452 4032 641 0 1356461 0
[pid=64340/tid=64342] ppid=64337 vsize=5495912 memory=3702084 CPUtime=2.54 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 124 0 0 0 76 178 0 0 20 0 2 0 62654691 5627813888 1007452 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5495912 KiB
Current children cumulated memory: 4029808 KiB

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

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

# cumulated CPU time of all completed processes:  user=3491.68 s, system=108.417 s

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

[startup+3607.7 s]
/proc/loadavg: 4.17 4.11 4.04 4/265 64613
/proc/meminfo: memFree=121350664/131250000 swapFree=33010416/33010684
[pid=64340] ppid=64337 vsize=5495912 memory=4029808 CPUtime=3600.06 cores=1,3
/proc/64340/stat : 64340 (ipbhs_gurobi) R 64337 64340 63491 0 -1 4194304 4047187 0 6 0 349167 10839 0 0 20 0 2 0 62654684 5627813888 1007452 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
/proc/64340/statm: 1373978 1007452 4032 641 0 1356461 0
[pid=64340/tid=64342] ppid=64337 vsize=5495912 memory=3702084 CPUtime=2.54 cores=1,3
/proc/64340/task/64342/stat : 64342 (ipbhs_gurobi) S 64337 64340 63491 0 -1 4194368 124 0 0 0 76 178 0 0 20 0 2 0 62654691 5627813888 1007452 18446744073709551615 93981164470272 93981167095325 140722173546480 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 93981167714200 93981167747162 93981177024512 140722173548939 140722173549063 140722173549063 140722173554665 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5495912 KiB
Current children cumulated memory: 4029808 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3607.72
CPU time (s): 3600.09
CPU user time (s): 3491.68
CPU system time (s): 108.417
CPU usage (%): 99.7886
Max. virtual memory (cumulated for all children) (KiB): 6500408
Max. memory (cumulated for all children) (KiB): 5404444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3491.68
system time used= 108.417
maximum resident set size= 5404572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4047187
page faults= 6
swaps= 0
block input operations= 1064
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358739
involuntary context switches= 3331


# summary of solver processes directly reported to runsolver:
#   pid: 64340
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3491.68
#   total CPU system time (s): 108.417

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.7346 second user time and 17.0046 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-02 17:22:28
IDJOB=4503867
IDBENCH=155610
IDSOLVER=3334
FILE ID=nodeC027/4503867-1751469748
RUNJOBID= nodeC027-1751469715-63503
SLURM_JOB_ID= 9598493
Free space on /tmp= 431008 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= ./ipbhs_gurobi --sym-cores-compact BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503867-1751469748/watcher-4503867-1751469748 -o /tmp/evaluation-result-4503867-1751469748/solver-4503867-1751469748 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751469715-63503 --watchdog 3760  ./ipbhs_gurobi --sym-cores-compact HOME/instance-4503867-1751469748.opb --max-coef 1000000000

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

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=2104548746

nodeC027 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.590
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127473988 kB
MemAvailable:   127736156 kB
Buffers:            2488 kB
Cached:          1062864 kB
SwapCached:           12 kB
Active:          2105352 kB
Inactive:         523020 kB
Active(anon):    1578284 kB
Inactive(anon):     2792 kB
Active(file):     527068 kB
Inactive(file):   520228 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            238608 kB
Writeback:             0 kB
AnonPages:       1566216 kB
Mapped:           119960 kB
Shmem:             18056 kB
KReclaimable:     107824 kB
Slab:             196688 kB
SReclaimable:     107824 kB
SUnreclaim:        88864 kB
KernelStack:        4288 kB
PageTables:         6248 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1963272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1359872 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 430848 MiB
End job on nodeC027 at 2025-07-02 18:22:36