Trace number 4510843

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 NameAnswerCPU timeWall clock time
SCIP 2025-06-13UNSAT 73.4321 73.6795

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb
MD5SUM496e1a97745958844c4098fcb049f7a4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.093145
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3543
Total number of constraints11237
Number of constraints which are clauses11237
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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 SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4510843-1751202049.opb>
0.00/0.02	c original problem has 3543 variables (3543 bin, 0 int, 0 cont) and 11237 constraints
0.00/0.02	c problem read in 0.021 seconds
0.00/0.02	c problem without objective
0.00/0.04	c presolving:
0.00/0.06	c    (0.1s) running MILP presolver
0.00/0.07	c    (0.1s) MILP presolver found nothing
0.00/0.09	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11237 upgd conss, 0 impls, 10056 clqs
0.09/0.10	c (round 2, exhaustive) 0 del vars, 4724 del conss, 1181 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11237 upgd conss, 0 impls, 10056 clqs
0.09/0.11	c    (0.1s) running MILP presolver
0.09/0.12	c    (0.1s) MILP presolver found nothing
0.09/0.16	c    (0.2s) probing: 51/3543 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.17	c    (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.18	c    (0.2s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.78) (symcode time: 0.01)
0.09/0.18	c dynamic symmetry handling statistics:
0.09/0.18	c    orbitopal reduction:       no components
0.09/0.18	c    orbital reduction:         no components
0.09/0.18	c    lexicographic reduction:   no permutations
0.09/0.18	c handled 1 out of 1 symmetry components
0.09/0.18	c (round 3, exhaustive) 15 del vars, 4724 del conss, 1182 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11237 upgd conss, 0 impls, 11133 clqs
0.09/0.18	c (round 4, fast)       39 del vars, 4800 del conss, 1182 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11237 upgd conss, 0 impls, 11121 clqs
0.09/0.19	c    (0.2s) probing: 57/3543 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.19	c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
0.09/0.19	c  39 deleted vars, 4800 deleted constraints, 1182 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  0 implications, 11121 cliques
0.09/0.19	c presolved problem has 3516 variables (3516 bin, 0 int, 0 cont) and 7619 constraints
0.09/0.19	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.09/0.19	c    7618 constraints of type <setppc>
0.09/0.19	c       1 constraints of type <orbitope_pp>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.16
0.09/0.19	c 
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c 
0.09/0.19	c # SCIP version 10.0.0
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.19	c limits/time = 3596.998106
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.19	c limits/memory = 27900
0.09/0.19	c 
0.09/0.19	c # belongs reading time to solving time?
0.09/0.19	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c timing/reading = TRUE
0.09/0.19	c 
0.09/0.19	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.09/0.19	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.09/0.19	c reading/opbreader/maxintsize = 47
0.09/0.19	c 
0.09/0.19	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.09/0.19	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.09/0.19	c propagating/genvbounds/timingmask = 0
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c 
0.19/0.28	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.19/0.28	c   0.3s|     1 |     0 |  2674 |     - |    71M |   0 |3516 |7640 |7618 |   0 |  0 |  21 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1.18/1.24	c   1.2s|     1 |     0 | 10052 |     - |    75M |   0 |3516 |7714 |7799 | 181 |  1 |  22 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1.38/1.45	c   1.5s|     1 |     0 | 10958 |     - |    76M |   0 |3516 |7715 |7974 | 356 |  2 |  23 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1.68/1.72	c   1.7s|     1 |     0 | 11656 |     - |    77M |   0 |3516 |7716 |8123 | 505 |  3 |  24 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1.98/2.03	c   2.0s|     1 |     0 | 12103 |     - |    80M |   0 |3516 |7718 |8203 | 585 |  4 |  26 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.18/2.26	c   2.3s|     1 |     0 | 12314 |     - |    82M |   0 |3516 |7719 |8236 | 618 |  5 |  27 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.48/2.51	c   2.5s|     1 |     0 | 12463 |     - |    84M |   0 |3516 |7720 |8253 | 635 |  6 |  28 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.58/2.63	c   2.6s|     1 |     0 | 12694 |     - |    85M |   0 |3516 |7721 |8263 | 645 |  7 |  29 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.78/2.86	c   2.9s|     1 |     0 | 12774 |     - |    87M |   0 |3516 |7723 |8286 | 668 |  8 |  31 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.18	c   3.2s|     1 |     0 | 12962 |     - |    90M |   0 |3516 |7724 |8303 | 685 |  9 |  32 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.27/3.39	c   3.4s|     1 |     0 | 13096 |     - |    91M |   0 |3516 |7725 |8320 | 702 | 10 |  33 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.37/3.46	c   3.5s|     1 |     0 | 13211 |     - |    93M |   0 |3516 |7726 |8336 | 718 | 11 |  34 |   0 | 0.000000e+00 |      --      |    Inf | unknown
4.08/4.16	c   4.2s|     1 |     2 | 15398 |     - |    93M |   0 |3516 |7731 |8336 | 718 | 11 |  39 |  11 | 0.000000e+00 |      --      |    Inf | unknown
5.77/5.86	c   5.9s|   100 |    34 | 20555 |  74.2 |    97M |  40 |3516 |7798 |7994 | 962 |  0 | 106 |  11 | 0.000000e+00 |      --      |    Inf | unknown
8.66/8.77	c   8.8s|   200 |    47 | 27885 |  73.7 |    99M |  40 |3516 |7853 |8002 |1400 |  1 | 162 |  11 | 0.000000e+00 |      --      |    Inf | unknown
10.45/10.51	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
10.45/10.51	c  10.5s|   300 |    48 | 34110 |  69.9 |   100M |  40 |3516 |7938 |8018 |1778 |  1 | 247 |  11 | 0.000000e+00 |      --      |    Inf | unknown
11.84/11.99	c  12.0s|   400 |    42 | 39939 |  67.0 |   103M |  40 |3516 |8020 |7971 |2461 |  1 | 329 |  11 | 0.000000e+00 |      --      |    Inf | unknown
13.94/14.03	c  14.0s|   500 |    47 | 43667 |  61.0 |   103M |  40 |3516 |8060 |8020 |2900 |  1 | 369 |  11 | 0.000000e+00 |      --      |    Inf | unknown
15.23/15.31	c  15.3s|   600 |    50 | 46208 |  55.1 |   104M |  40 |3516 |8098 |8007 |3417 |  1 | 407 |  11 | 0.000000e+00 |      --      |    Inf | unknown
15.63/15.72	c  15.7s|   700 |    61 | 47523 |  49.1 |   105M |  40 |3516 |8161 |   0 |3549 |  0 | 473 |  11 | 0.000000e+00 |      --      |    Inf | unknown
15.93/16.04	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
15.93/16.04	c (run 1, node 776) performing user restart
15.93/16.04	c 
15.93/16.04	c (restart) converted 318 cuts from the global cut pool into linear constraints
15.93/16.04	c 
15.93/16.05	c presolving:
15.93/16.05	c (round 1, fast)       0 del vars, 124 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 21 chg coeffs, 0 upgd conss, 0 impls, 11366 clqs
15.93/16.05	c (round 2, exhaustive) 0 del vars, 220 del conss, 24 add conss, 0 chg bounds, 2 chg sides, 21 chg coeffs, 0 upgd conss, 0 impls, 11366 clqs
15.93/16.06	c (round 3, exhaustive) 0 del vars, 220 del conss, 24 add conss, 0 chg bounds, 2 chg sides, 23 chg coeffs, 397 upgd conss, 0 impls, 11386 clqs
15.93/16.07	c (round 4, fast)       0 del vars, 230 del conss, 24 add conss, 0 chg bounds, 2 chg sides, 23 chg coeffs, 397 upgd conss, 0 impls, 11386 clqs
15.93/16.07	c (round 5, medium)     0 del vars, 241 del conss, 34 add conss, 0 chg bounds, 12 chg sides, 48 chg coeffs, 397 upgd conss, 0 impls, 11390 clqs
15.93/16.07	c (round 6, exhaustive) 0 del vars, 250 del conss, 36 add conss, 0 chg bounds, 12 chg sides, 48 chg coeffs, 397 upgd conss, 0 impls, 11390 clqs
15.93/16.08	c (round 7, exhaustive) 0 del vars, 264 del conss, 36 add conss, 0 chg bounds, 12 chg sides, 58 chg coeffs, 397 upgd conss, 0 impls, 11391 clqs
15.93/16.09	c presolving (8 rounds: 8 fast, 6 medium, 5 exhaustive):
15.93/16.09	c  0 deleted vars, 265 deleted constraints, 36 added constraints, 0 tightened bounds, 0 added holes, 12 changed sides, 59 changed coefficients
15.93/16.09	c  0 implications, 11391 cliques
15.93/16.09	c presolved problem has 3516 variables (3516 bin, 0 int, 0 cont) and 8303 constraints
15.93/16.09	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
15.93/16.09	c      40 constraints of type <knapsack>
15.93/16.09	c    7810 constraints of type <setppc>
15.93/16.09	c       2 constraints of type <linear>
15.93/16.09	c       1 constraints of type <orbitope_pp>
15.93/16.09	c     450 constraints of type <logicor>
15.93/16.09	c transformed objective value is always integral (scale: 1)
15.93/16.09	c Presolving Time: 0.21
15.93/16.09	c 
16.03/16.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.03/16.18	c  16.2s|     1 |     0 | 52650 |     - |   106M |   0 |3516 |8312 |7877 |   0 |  0 | 535 |  11 | 0.000000e+00 |      --      |    Inf | unknown
16.33/16.42	c  16.4s|     1 |     0 | 53258 |     - |   107M |   0 |3516 |8313 |8027 | 150 |  1 | 536 |  11 | 0.000000e+00 |      --      |    Inf | unknown
16.53/16.69	c  16.7s|     1 |     0 | 53888 |     - |   108M |   0 |3516 |8314 |8184 | 307 |  2 | 537 |  11 | 0.000000e+00 |      --      |    Inf | unknown
17.12/17.20	c  17.2s|     1 |     0 | 54468 |     - |   109M |   0 |3516 |8315 |8270 | 393 |  3 | 538 |  11 | 0.000000e+00 |      --      |    Inf | unknown
17.22/17.33	c  17.3s|     1 |     0 | 54677 |     - |   110M |   0 |3516 |8317 |8304 | 427 |  4 | 540 |  11 | 0.000000e+00 |      --      |    Inf | unknown
17.52/17.68	c  17.7s|     1 |     0 | 54869 |     - |   111M |   0 |3516 |8318 |8329 | 452 |  5 | 541 |  11 | 0.000000e+00 |      --      |    Inf | unknown
17.82/17.94	c  17.9s|     1 |     0 | 55083 |     - |   112M |   0 |3516 |8319 |8346 | 469 |  6 | 542 |  11 | 0.000000e+00 |      --      |    Inf | unknown
17.93/18.05	c  18.1s|     1 |     0 | 55201 |     - |   113M |   0 |3516 |8321 |8362 | 485 |  7 | 544 |  11 | 0.000000e+00 |      --      |    Inf | unknown
18.12/18.21	c  18.2s|     1 |     0 | 55335 |     - |   115M |   0 |3516 |8323 |8375 | 498 |  8 | 546 |  11 | 0.000000e+00 |      --      |    Inf | unknown
18.32/18.43	c  18.4s|     1 |     0 | 55455 |     - |   118M |   0 |3516 |8324 |8391 | 514 |  9 | 547 |  11 | 0.000000e+00 |      --      |    Inf | unknown
18.43/18.59	c  18.6s|     1 |     0 | 55615 |     - |   123M |   0 |3516 |8325 |8404 | 527 | 10 | 548 |  11 | 0.000000e+00 |      --      |    Inf | unknown
18.53/18.66	c  18.7s|     1 |     0 | 55782 |     - |   123M |   0 |3516 |8326 |8418 | 541 | 11 | 549 |  11 | 0.000000e+00 |      --      |    Inf | unknown
19.42/19.57	c  19.6s|     1 |     2 | 57994 |     - |   123M |   0 |3516 |8344 |8418 | 541 | 11 | 567 |  30 | 0.000000e+00 |      --      |    Inf | unknown
20.72/20.88	c  20.9s|   100 |    34 | 71591 |  59.5 |   128M |  37 |3516 |8450 |8018 | 808 |  1 | 673 |  30 | 0.000000e+00 |      --      |    Inf | unknown
21.71/21.81	c  21.8s|   200 |    23 | 77985 |  59.9 |   131M |  37 |3516 |8574 |8023 |1445 |  0 | 797 |  30 | 0.000000e+00 |      --      |    Inf |   3.92%
22.71/22.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
22.71/22.86	c  22.9s|   300 |    15 | 85798 |  61.6 |   140M |  40 |3516 |8732 |   0 |2214 |  0 | 956 |  30 | 0.000000e+00 |      --      |    Inf |   7.56%
23.91/24.03	c  24.0s|   400 |    28 | 94272 |  63.6 |   147M |  40 |3516 |8847 |8080 |3386 |  1 |1074 |  30 | 0.000000e+00 |      --      |    Inf |   8.50%
24.91/25.04	c  25.0s|   500 |    24 |101223 |  64.0 |   150M |  40 |3516 |8943 |8067 |4250 |  1 |1202 |  30 | 0.000000e+00 |      --      |    Inf |   8.94%
25.50/25.69	c  25.7s|   600 |    26 |104685 |  61.9 |   151M |  40 |3516 |9017 |8070 |4425 |  1 |1300 |  30 | 0.000000e+00 |      --      |    Inf |   9.01%
26.39/26.53	c  26.5s|   700 |    21 |108537 |  60.3 |   155M |  40 |3516 |9098 |8069 |4990 |  1 |1404 |  30 | 0.000000e+00 |      --      |    Inf |   9.65%
27.39/27.56	c  27.6s|   800 |    24 |116643 |  61.6 |   158M |  40 |3516 |9181 |8030 |6423 |  1 |1515 |  30 | 0.000000e+00 |      --      |    Inf |  12.48%
28.99/29.16	c  29.2s|   900 |    18 |128757 |  65.2 |   166M |  40 |3516 |9276 |8071 |8556 |  0 |1636 |  30 | 0.000000e+00 |      --      |    Inf |  15.91%
29.78/29.99	c  30.0s|  1000 |    22 |135212 |  65.2 |   169M |  40 |3516 |9383 |   0 |9248 |  0 |1770 |  30 | 0.000000e+00 |      --      |    Inf |  16.47%
30.88/31.09	c  31.1s|  1100 |    23 |143322 |  66.0 |   173M |  40 |3516 |9460 |8034 |  10k|  0 |1876 |  30 | 0.000000e+00 |      --      |    Inf |  17.25%
31.98/32.10	c  32.1s|  1200 |    22 |152695 |  67.4 |   176M |  40 |3516 |9527 |8103 |  11k|  1 |1994 |  30 | 0.000000e+00 |      --      |    Inf |  25.93%
32.67/32.85	c  32.8s|  1300 |    18 |156457 |  66.0 |   178M |  40 |3516 |9614 |8060 |  12k|  1 |2114 |  30 | 0.000000e+00 |      --      |    Inf |  26.51%
33.67/33.87	c  33.9s|  1400 |    17 |165895 |  67.3 |   183M |  40 |3516 |9679 |7971 |  13k|  1 |2222 |  30 | 0.000000e+00 |      --      |    Inf |  32.13%
35.36/35.58	c  35.6s|  1500 |    17 |179186 |  70.2 |   187M |  40 |3516 |9747 |8091 |  16k|  1 |2337 |  30 | 0.000000e+00 |      --      |    Inf |  35.99%
36.46/36.70	c  36.7s|  1600 |    21 |187397 |  70.7 |   190M |  40 |3516 |9826 |8033 |  17k|  0 |2449 |  30 | 0.000000e+00 |      --      |    Inf |  38.64%
38.05/38.21	c  38.2s|  1700 |    30 |198826 |  72.4 |   195M |  40 |3516 |9910 |8028 |  18k|  1 |2568 |  30 | 0.000000e+00 |      --      |    Inf |  39.19%
40.74/40.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
40.74/40.91	c  40.9s|  1800 |    29 |208385 |  73.3 |   199M |  40 |3516 |9986 |8004 |  19k|  1 |2687 |  30 | 0.000000e+00 |      --      |    Inf |  39.72%
41.85/42.04	c  42.0s|  1900 |    24 |219786 |  74.9 |   202M |  40 |3516 |  10k|   0 |  20k|  0 |2823 |  30 | 0.000000e+00 |      --      |    Inf |  40.36%
43.44/43.60	c  43.6s|  2000 |    17 |233860 |  77.2 |   203M |  40 |3516 |  10k|   0 |  22k|  0 |2929 |  30 | 0.000000e+00 |      --      |    Inf |  42.02%
44.84/45.09	c  45.1s|  2100 |    23 |245257 |  78.5 |   206M |  40 |3516 |  10k|7983 |  23k|  1 |3031 |  30 | 0.000000e+00 |      --      |    Inf |  46.95%
46.23/46.47	c  46.5s|  2200 |    27 |258458 |  80.3 |   208M |  40 |3516 |  10k|8007 |  25k|  1 |3137 |  30 | 0.000000e+00 |      --      |    Inf |  47.81%
47.32/47.56	c  47.6s|  2300 |    19 |269444 |  81.3 |   209M |  40 |3516 |  10k|7990 |  26k|  1 |3239 |  30 | 0.000000e+00 |      --      |    Inf |  48.61%
48.61/48.87	c  48.9s|  2400 |    19 |281582 |  82.5 |   212M |  40 |3516 |  10k|7990 |  28k|  1 |3362 |  30 | 0.000000e+00 |      --      |    Inf |  50.83%
50.42/50.66	c  50.7s|  2500 |    22 |296115 |  84.4 |   217M |  40 |3516 |  10k|7982 |  30k|  0 |3461 |  30 | 0.000000e+00 |      --      |    Inf |  53.08%
52.01/52.21	c  52.2s|  2600 |    20 |309571 |  85.9 |   218M |  40 |3516 |  10k|   0 |  31k|  0 |3579 |  30 | 0.000000e+00 |      --      |    Inf |  57.48%
53.81/54.07	c  54.1s|  2700 |    26 |323910 |  87.6 |   225M |  40 |3516 |  10k|8012 |  33k|  1 |3684 |  30 | 0.000000e+00 |      --      |    Inf |  60.42%
55.60/55.80	c  55.8s|  2800 |    28 |339076 |  89.4 |   227M |  40 |3516 |  10k|   0 |  34k|  0 |3800 |  30 | 0.000000e+00 |      --      |    Inf |  61.62%
58.09/58.36	c  58.4s|  2900 |    28 |360687 |  92.8 |   230M |  40 |3516 |  10k|   0 |  36k|  0 |3909 |  30 | 0.000000e+00 |      --      |    Inf |  63.62%
59.89/60.18	c  60.2s|  3000 |    31 |377752 |  94.9 |   232M |  40 |3516 |  10k|7872 |  38k|  1 |4033 |  30 | 0.000000e+00 |      --      |    Inf |  66.41%
61.58/61.84	c  61.8s|  3100 |    35 |391752 |  96.0 |   240M |  40 |3516 |  10k|7971 |  39k|  1 |4154 |  30 | 0.000000e+00 |      --      |    Inf |  70.39%
63.57/63.82	c  63.8s|  3200 |    46 |409338 |  98.1 |   247M |  40 |3516 |  10k|8039 |  41k|  1 |4252 |  30 | 0.000000e+00 |      --      |    Inf |  73.34%
64.66/64.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
64.66/64.92	c  64.9s|  3300 |    45 |421260 |  98.6 |   248M |  40 |3516 |  10k|8026 |  43k|  2 |4363 |  30 | 0.000000e+00 |      --      |    Inf |  75.59%
66.46/66.78	c  66.8s|  3400 |    41 |438664 | 100.4 |   250M |  40 |3516 |  10k|8023 |  45k|  1 |4465 |  30 | 0.000000e+00 |      --      |    Inf |  77.78%
68.15/68.40	c  68.4s|  3500 |    29 |458936 | 102.8 |   250M |  40 |3516 |  10k|   0 |  47k|  0 |4603 |  30 | 0.000000e+00 |      --      |    Inf |  80.37%
69.45/69.78	c  69.8s|  3600 |    22 |474621 | 104.0 |   252M |  40 |3516 |  10k|   0 |  49k|  0 |4717 |  30 | 0.000000e+00 |      --      |    Inf |  88.70%
71.24/71.50	c  71.5s|  3700 |    19 |493323 | 105.9 |   253M |  40 |3516 |  10k|8070 |  51k|  2 |4824 |  30 | 0.000000e+00 |      --      |    Inf |  96.04%
73.05/73.34	c  73.3s|  3800 |    11 |512350 | 107.7 |   256M |  40 |3516 |  10k|   0 |  54k|  0 |4964 |  30 | 0.000000e+00 |      --      |    Inf |  99.02%
73.35/73.64	c 
73.35/73.64	c SCIP Status        : problem is solved [infeasible]
73.35/73.64	c Solving Time (sec) : 73.64
73.35/73.64	c Solving Nodes      : 3816 (total of 4592 nodes in 2 runs)
73.35/73.64	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
73.35/73.64	c Dual Bound         : +1.00000000000000e+20
73.35/73.64	c Gap                : 0.00 %
73.35/73.64	s UNSATISFIABLE
73.35/73.64	c SCIP Status        : problem is solved [infeasible]
73.35/73.64	c Total Time         :      73.64
73.35/73.64	c   solving          :      73.64
73.35/73.64	c   presolving       :       0.21 (included in solving)
73.35/73.64	c   reading          :       0.02 (included in solving)
73.35/73.64	c   copying          :       1.06 (104 #copies) (minimal 0.01, maximal 0.01, average 0.01)
73.35/73.64	c Original Problem   :
73.35/73.64	c   Problem name     : HOME/instance-4510843-1751202049.opb
73.35/73.64	c   Variables        : 3543 (3543 binary, 0 integer, 0 continuous)
73.35/73.64	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
73.35/73.64	c   Constraints      : 11237 initial, 11237 maximal
73.35/73.64	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
73.35/73.64	c Presolved Problem  :
73.35/73.64	c   Problem name     : t_HOME/instance-4510843-1751202049.opb
73.35/73.64	c   Variables        : 3516 (3516 binary, 0 integer, 0 continuous)
73.35/73.64	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
73.35/73.64	c   Constraints      : 8303 initial, 10833 maximal
73.35/73.64	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
73.35/73.64	c   Nonzeros         : 19518 constraint, 24237 clique table
73.35/73.64	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
73.35/73.64	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   domcol           :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
73.35/73.64	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   dualsparsify     :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
73.35/73.64	c   gateextraction   :       0.02       0.00      6          0          0          0          0          0       4830       1207          0          0
73.35/73.64	c   implics          :       0.00       0.00     10          0          0          0          0          0          0          0          0          0
73.35/73.64	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   milp             :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
73.35/73.64	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
73.35/73.64	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   trivial          :       0.00       0.00     13         12          0          0          0          0          0          0          0          0
73.35/73.64	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   dualfix          :       0.00       0.00     13          0          0          0          0          0          0          0          0          0
73.35/73.64	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   probing          :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
73.35/73.64	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
73.35/73.64	c   symmetry         :       0.02       0.00      1          3          0          0          0          0          0          1          0          0
73.35/73.64	c   vbounds          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
73.35/73.64	c   knapsack         :       0.00       0.00     17          0          0          0          0          0          5         10         10         28
73.35/73.64	c   setppc           :       0.04       0.00     26          0         12          0          0          0         86          0          0          0
73.35/73.64	c   linear           :       0.03       0.00     13          0          0          0          0          0          0          0          2         21
73.35/73.64	c   orbitope_pp      :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
73.35/73.64	c   logicor          :       0.00       0.00     18          0          0          0          0          0        144          0          0         10
73.35/73.64	c   components       :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
73.35/73.64	c   root node        :          -          -      -         78          -          -         78          -          -          -          -          -
73.35/73.64	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
73.35/73.64	c   integral         :          0          0          0          0       3158          0          0        413          0          0          0          0          0          0       6316
73.35/73.64	c   knapsack         :         40+        62         11      38070          0          0          0          0        211          8       1655          0          0          0          0
73.35/73.64	c   setppc           :       7810+      7821         22      42263          0          0          0        409      55189        931     503351          3          0          0          0
73.35/73.64	c   linear           :          2+        19         11      38847          0          0          0          2        328          9       1020          2          2          0          0
73.35/73.64	c   orbitope_pp      :          1          1          0      41223          0          0          0          0        395          6         77          0          0          0          0
73.35/73.64	c   logicor          :        450+      2955         22      22748          0          0          0          0      25639        621      56081         42         22          0          0
73.35/73.64	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
73.35/73.64	c   integral         :       1.73       0.00       0.00       0.00       1.73       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   knapsack         :       0.03       0.00       0.00       0.03       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   setppc           :       0.85       0.00       0.01       0.82       0.00       0.00       0.00       0.00       0.01       0.00
73.35/73.64	c   linear           :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   orbitope_pp      :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   logicor          :       0.38       0.00       0.00       0.36       0.00       0.00       0.00       0.00       0.02       0.00
73.35/73.64	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
73.35/73.64	c   dualfix          :          2          0          0          0
73.35/73.64	c   genvbounds       :          0          0          0          0
73.35/73.64	c   nlobbt           :          0          0          0          0
73.35/73.64	c   obbt             :          0          0          0          0
73.35/73.64	c   probing          :          0          0          0          0
73.35/73.64	c   pseudoobj        :          0          0          0          0
73.35/73.64	c   redcost          :          0          0          0          0
73.35/73.64	c   rootredcost      :          0          0          0          0
73.35/73.64	c   symmetry         :          0          0          0          0
73.35/73.64	c   vbounds          :      32174          0          0          0
73.35/73.64	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
73.35/73.64	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   probing          :       0.03       0.00       0.03       0.00       0.00       0.00
73.35/73.64	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
73.35/73.64	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
73.35/73.64	c   symmetry         :       0.02       0.00       0.02       0.01       0.00       0.00
73.35/73.64	c   vbounds          :       0.34       0.00       0.00       0.34       0.00       0.00
73.35/73.64	c Symmetry           :
73.35/73.64	c   #affected vars   :       3543 (3543 bin, 0 int, 0 cont)
73.35/73.64	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
73.35/73.64	c   orbital reduction:          0 reductions applied,          0 cutoffs
73.35/73.64	c   lexicographic red:          0 reductions applied,          0 cutoffs
73.35/73.64	c   shadow tree time :       0.00 s
73.35/73.64	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
73.35/73.64	c   propagation      :       0.04       1562       1453          -       4347       13.0        238        6.9          -          -          -
73.35/73.64	c   infeasible LP    :       0.22        577        573          -       1953       10.8        229        6.3        573        7.5          0
73.35/73.64	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
73.35/73.64	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
73.35/73.64	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
73.35/73.64	c   applied globally :       0.05          -          -          0       4406        8.2          -          -        566          -          -
73.35/73.64	c   applied locally  :          -          -          -          0          4        6.2          -          -          7          -          -
73.35/73.64	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
73.35/73.64	c   cut pool         :       0.76          -       1409         42          -          -      19914     267326          -          -          -          -          -    (maximal pool size:       4632)
73.35/73.64	c   aggregation      :       0.28       0.00        291         22          0          0          1          2          0          0          0          0          0
73.35/73.64	c   > cmir           :          -          -          -          -          -          -          -          2          0          0          0          0          -
73.35/73.64	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
73.35/73.64	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
73.35/73.64	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   clique           :       0.49       0.00         22         22          0          0        124       1353          0       1124       1124          0          0
73.35/73.64	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   gomory           :      14.74       0.00        289         20          0          0      17492     200893        362      20567      20557         10          0
73.35/73.64	c   > gomorymi       :          -          -          -          -          -          -          -      15690        181        124        117          7          -
73.35/73.64	c   > strongcg       :          -          -          -          -          -          -          -     185203        181      20443      20440          3          -
73.35/73.64	c   impliedbounds    :       0.09       0.00        291         22          0          0         10        593          0        441        441          0          0
73.35/73.64	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   mcf              :       0.03       0.00          2          2          0          0          0          0          0          0          0          0          0
73.35/73.64	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   multilinear      :       0.00       0.00        193         22          0          0          0          0          0          0          0          0          0
73.35/73.64	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
73.35/73.64	c   rapidlearning    :       6.57       0.00        100          1          0       2133          0          0          0          0          0          0        125
73.35/73.64	c   rlt              :       0.00       0.00         20         20          0          0          0          0          0          0          0          0          0
73.35/73.64	c   zerohalf         :       2.05       0.00        291         22          0          0       4555      64485       1906      36292      35877        415          0
73.35/73.64	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
73.35/73.64	c   hybrid           :       0.33       0.00       1034         22      58513          2     210762       1259          0       4746
73.35/73.64	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c Pricers            :   ExecTime  SetupTime      Calls       Vars
73.35/73.64	c   problem variables:       0.00          -          0          0
73.35/73.64	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
73.35/73.64	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c   relpscost        :       1.73       0.00       3158          0          0          0          0          0          0       6316
73.35/73.64	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
73.35/73.64	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
73.35/73.64	c   LP solutions     :       0.00          -          -          0          0
73.35/73.64	c   relax solutions  :       0.00          -          -          0          0
73.35/73.64	c   pseudo solutions :       0.00          -          -          0          0
73.35/73.64	c   strong branching :       0.00          -          -          0          0
73.35/73.64	c   actconsdiving    :       0.00       0.00          0          0          0
73.35/73.64	c   adaptivediving   :       0.73       0.00         14          0          0
73.35/73.64	c   alns             :       0.16       0.00          4          0          0
73.35/73.64	c   bound            :       0.00       0.00          0          0          0
73.35/73.64	c   clique           :       0.01       0.00          1          0          0
73.35/73.64	c   coefdiving       :       0.00       0.00          0          0          0
73.35/73.64	c   completesol      :       0.00       0.00          0          0          0
73.35/73.64	c   conflictdiving   :       0.72       0.00          8          0          0
73.35/73.64	c   crossover        :       0.00       0.00          0          0          0
73.35/73.64	c   dins             :       0.00       0.00          0          0          0
73.35/73.64	c   distributiondivin:       0.30       0.00          7          0          0
73.35/73.64	c   dks              :       0.00       0.00          0          0          0
73.35/73.64	c   dps              :       0.00       0.00          0          0          0
73.35/73.64	c   dualval          :       0.00       0.00          0          0          0
73.35/73.64	c   farkasdiving     :       0.00       0.00          0          0          0
73.35/73.64	c   feaspump         :       0.98       0.00          4          0          0
73.35/73.64	c   fixandinfer      :       0.00       0.00          0          0          0
73.35/73.64	c   fracdiving       :       0.26       0.00          7          0          0
73.35/73.64	c   gins             :       0.00       0.00          0          0          0
73.35/73.64	c   guideddiving     :       0.00       0.00          0          0          0
73.35/73.64	c   indicator        :       0.00       0.00          0          0          0
73.35/73.64	c   indicatordiving  :       0.00       0.00          0          0          0
73.35/73.64	c   intdiving        :       0.00       0.00          0          0          0
73.35/73.64	c   intshifting      :       0.00       0.00          0          0          0
73.35/73.64	c   linesearchdiving :       0.21       0.00          8          0          0
73.35/73.64	c   localbranching   :       0.00       0.00          0          0          0
73.35/73.64	c   locks            :       0.00       0.00          1          0          0
73.35/73.64	c   lpface           :       0.01       0.00          0          0          0
73.35/73.64	c   mpec             :       0.00       0.00          0          0          0
73.35/73.64	c   multistart       :       0.00       0.00          0          0          0
73.35/73.64	c   mutation         :       0.00       0.00          0          0          0
73.35/73.64	c   nlpdiving        :       0.00       0.00          0          0          0
73.35/73.64	c   objpscostdiving  :       1.75       0.00          4          0          0
73.35/73.64	c   octane           :       0.00       0.00          0          0          0
73.35/73.64	c   ofins            :       0.00       0.00          0          0          0
73.35/73.64	c   oneopt           :       0.00       0.00          0          0          0
73.35/73.64	c   padm             :       0.00       0.00          0          0          0
73.35/73.64	c   proximity        :       0.00       0.00          0          0          0
73.35/73.64	c   pscostdiving     :       0.29       0.00          8          0          0
73.35/73.64	c   randrounding     :       0.11       0.00        424          0          0
73.35/73.64	c   rens             :       0.00       0.00          0          0          0
73.35/73.64	c   reoptsols        :       0.00       0.00          0          0          0
73.35/73.64	c   repair           :       0.00       0.00          0          0          0
73.35/73.64	c   rins             :       0.00       0.00          0          0          0
73.35/73.64	c   rootsoldiving    :       0.46       0.00          4          0          0
73.35/73.64	c   rounding         :       0.12       0.00        856          0          0
73.35/73.64	c   scheduler        :       0.00       0.00          0          0          0
73.35/73.64	c   shiftandpropagate:       0.02       0.00          2          0          0
73.35/73.64	c   shifting         :       0.57       0.00        503          0          0
73.35/73.64	c   simplerounding   :       0.00       0.00          0          0          0
73.35/73.64	c   subnlp           :       0.00       0.00          0          0          0
73.35/73.64	c   trivial          :       0.00       0.00          4          0          0
73.35/73.64	c   trivialnegation  :       0.00       0.00          0          0          0
73.35/73.64	c   trustregion      :       0.00       0.00          0          0          0
73.35/73.64	c   trysol           :       0.00       0.00          0          0          0
73.35/73.64	c   twoopt           :       0.00       0.00          0          0          0
73.35/73.64	c   undercover       :       0.00       0.00          0          0          0
73.35/73.64	c   vbounds          :       0.01       0.00          2          0          0
73.35/73.64	c   veclendiving     :       0.15       0.00          7          0          0
73.35/73.64	c   zeroobj          :       0.00       0.00          0          0          0
73.35/73.64	c   zirounding       :       0.08       0.00       1000          0          0
73.35/73.64	c   other solutions  :          -          -          -          0          -
73.35/73.64	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
73.35/73.64	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
73.35/73.64	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
73.35/73.64	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
73.35/73.64	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
73.35/73.64	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
73.35/73.64	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
73.35/73.64	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
73.35/73.64	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
73.35/73.64	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
73.35/73.64	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
73.35/73.64	c   primal LP        :       0.59        485          0       0.00       0.00       0.59        485
73.35/73.64	c   dual LP          :      31.40       4918     459527      96.46   14635.38       0.19        154
73.35/73.64	c   lex dual LP      :       0.00          0          0       0.00          -
73.35/73.64	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
73.35/73.64	c   resolve instable :       0.00          0          0       0.00          -
73.35/73.64	c   diving/probing LP:       5.37        266      56257     211.49   10475.75
73.35/73.64	c   strong branching :       0.79         30      13511     450.37   17140.46          -          -         13
73.35/73.64	c     (at root node) :          -         30      13511     450.37          -
73.35/73.64	c   conflict analysis:       0.00          0          0       0.00          -
73.35/73.64	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
73.35/73.64	c   benders          :       0.00          0          0          0       0.00          0          0          0
73.35/73.64	c B&B Tree           :
73.35/73.64	c   number of runs   :          2
73.35/73.64	c   nodes            :       3816 (2591 internal, 1225 leaves)
73.35/73.64	c   feasible leaves  :          0
73.35/73.64	c   infeas. leaves   :       1225
73.35/73.64	c   objective leaves :          0
73.35/73.64	c   nodes (total)    :       4592 (3158 internal, 1434 leaves)
73.35/73.64	c   nodes left       :          0
73.35/73.64	c   max depth        :         40
73.35/73.64	c   max depth (total):         40
73.35/73.64	c   backtracks       :        924 (24.2%)
73.35/73.64	c   early backtracks :          0 (0.0%)
73.35/73.64	c   nodes exc. ref.  :          0 (0.0%)
73.35/73.64	c   delayed cutoffs  :       1367
73.35/73.64	c   repropagations   :       4218 (212405 domain reductions, 688 cutoffs)
73.35/73.64	c   avg switch length:       4.03
73.35/73.64	c   switching time   :       1.66
73.35/73.64	c Root Node          :
73.35/73.64	c   First LP value   : +0.00000000000000e+00
73.35/73.64	c   First LP Iters   :       2674 (48111.70 Iter/sec)
73.35/73.64	c   First LP Time    :       0.06
73.35/73.64	c   Final Dual Bound :          -
73.35/73.64	c   Final Root Iters :      19561
73.35/73.64	c   Root LP Estimate : +8.12848614556452e-02
73.35/73.64	c Solution           :
73.35/73.64	c   Solutions found  :          0 (0 improvements)
73.35/73.64	c   Primal Bound     : infeasible
73.35/73.64	c   Dual Bound       :          -
73.35/73.64	c   Gap              :       0.00 %
73.35/73.64	c Integrals          :      Total       Avg%
73.35/73.64	c   primal-dual      :          -          - (problem infeasible)
73.35/73.64	c   primal-ref       :          -          - (problem infeasible)
73.35/73.64	c   dual-ref         :          -          - (problem infeasible)
73.35/73.67	c Time complete (sec):     73.429

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (59063 MiB free)
  memory of node 1: 64465 MiB (61287 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510843-1751202049/watcher-4510843-1751202049 -o /tmp/evaluation-result-4510843-1751202049/solver-4510843-1751202049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751194846-25411 --watchdog 3760 pbsolver -f HOME/instance-4510843-1751202049.opb -t 3600 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=26202, runsolver pid=26199

[startup+0.100064 s]*
/proc/loadavg: 4.21 4.16 4.12 5/265 26203
/proc/meminfo: memFree=123199624/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=53588 memory=44480 CPUtime=0.09 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 9925 0 0 0 8 1 0 0 20 0 1 0 35882428 54874112 11120 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 13397 11120 2528 2575 0 10304 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53588 KiB
Current children cumulated memory: 44480 KiB

[startup+0.205603 s]*
/proc/loadavg: 4.21 4.16 4.12 5/265 26203
/proc/meminfo: memFree=123183560/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=91800 memory=71504 CPUtime=0.19 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 17531 0 0 0 17 2 0 0 20 0 1 0 35882428 94003200 17876 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 22950 17876 2624 2575 0 19857 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91800 KiB
Current children cumulated memory: 71504 KiB

[startup+0.305603 s]*
/proc/loadavg: 4.21 4.16 4.12 5/265 26203
/proc/meminfo: memFree=123175748/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=97928 memory=77008 CPUtime=0.3 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 18887 0 0 0 27 3 0 0 20 0 1 0 35882428 100278272 19252 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 24482 19252 2656 2575 0 21389 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97928 KiB
Current children cumulated memory: 77008 KiB

[startup+0.700173 s]
/proc/loadavg: 4.21 4.16 4.12 5/265 26203
/proc/meminfo: memFree=123175748/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=98772 memory=77776 CPUtime=0.69 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 19098 0 0 0 66 3 0 0 20 0 1 0 35882428 101142528 19444 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 24693 19444 2656 2575 0 21600 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 98772 KiB
Current children cumulated memory: 77776 KiB

[startup+1.50018 s]
/proc/loadavg: 4.21 4.16 4.12 5/265 26203
/proc/meminfo: memFree=123143816/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=125412 memory=100828 CPUtime=1.48 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 27716 0 0 0 144 4 0 0 20 0 1 0 35882428 128421888 25207 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 31353 25207 2688 2575 0 28260 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125412 KiB
Current children cumulated memory: 100828 KiB

[startup+3.10564 s]
/proc/loadavg: 4.19 4.16 4.11 5/265 26203
/proc/meminfo: memFree=123143312/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=125412 memory=101340 CPUtime=3.08 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 27848 0 0 0 304 4 0 0 20 0 1 0 35882428 128421888 25335 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 31353 25335 2688 2575 0 28260 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 125412 KiB
Current children cumulated memory: 101340 KiB

[startup+6.30016 s]
/proc/loadavg: 4.19 4.16 4.11 5/261 26211
/proc/meminfo: memFree=125498632/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=150732 memory=128216 CPUtime=6.27 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 36924 0 0 0 622 5 0 0 20 0 1 0 35882428 154349568 32054 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 37683 32054 2688 2575 0 34590 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 150732 KiB
Current children cumulated memory: 128216 KiB

[startup+12.7001 s]
/proc/loadavg: 4.18 4.16 4.11 5/263 26314
/proc/meminfo: memFree=129285916/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=158912 memory=136320 CPUtime=12.64 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 52878 0 0 0 1257 7 0 0 20 0 1 0 35882428 162725888 34080 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 39728 34080 2688 2575 0 36635 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 158912 KiB
Current children cumulated memory: 136320 KiB

[startup+25.5001 s]
/proc/loadavg: 4.14 4.15 4.11 5/265 26350
/proc/meminfo: memFree=129156864/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=186372 memory=138492 CPUtime=25.4 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 54358 0 0 0 2532 8 0 0 20 0 1 0 35882428 190844928 34623 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 46593 34623 2688 2575 0 43500 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 186372 KiB
Current children cumulated memory: 138492 KiB

[startup+51.1054 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 26395
/proc/meminfo: memFree=129031800/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=244824 memory=155132 CPUtime=50.92 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 57992 0 0 0 5083 9 0 0 20 0 1 0 35882428 250699776 38783 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 61206 38783 2688 2575 0 58113 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 244824 KiB
Current children cumulated memory: 155132 KiB

[startup+73.6795 s]
# the end of solver process 26202 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=73.3265 s, system=0.105657 s

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

[startup+51.2002 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 26395
/proc/meminfo: memFree=129031800/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=244824 memory=155132 CPUtime=51.02 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 57992 0 0 0 5093 9 0 0 20 0 1 0 35882428 250699776 38783 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 61206 38783 2688 2575 0 58113 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 244824 KiB
Current children cumulated memory: 155132 KiB

[startup+64.0001 s]*
/proc/loadavg: 4.12 4.14 4.11 5/265 26395
/proc/meminfo: memFree=128953692/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=277632 memory=176252 CPUtime=63.77 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 63221 0 0 0 6368 9 0 0 20 0 1 0 35882428 284295168 44063 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 69408 44063 2688 2575 0 66315 0
Current children cumulated CPU time: 63.77 s
Current children cumulated vsize: 277632 KiB
Current children cumulated memory: 176252 KiB

[startup+70.4001 s]
/proc/loadavg: 4.11 4.14 4.11 5/265 26396
/proc/meminfo: memFree=128928248/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=279572 memory=177916 CPUtime=70.15 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 63673 0 0 0 7006 9 0 0 20 0 1 0 35882428 286281728 44479 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 69893 44479 2688 2575 0 66800 0
Current children cumulated CPU time: 70.15 s
Current children cumulated vsize: 279572 KiB
Current children cumulated memory: 177916 KiB

[startup+72.0001 s]*
/proc/loadavg: 4.11 4.14 4.11 5/265 26396
/proc/meminfo: memFree=128926484/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=281404 memory=178556 CPUtime=71.75 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 63846 0 0 0 7166 9 0 0 20 0 1 0 35882428 288157696 44639 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 70351 44639 2688 2575 0 67258 0
Current children cumulated CPU time: 71.75 s
Current children cumulated vsize: 281404 KiB
Current children cumulated memory: 178556 KiB

[startup+72.8001 s]
/proc/loadavg: 4.11 4.14 4.11 5/265 26396
/proc/meminfo: memFree=128926484/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=282432 memory=178940 CPUtime=72.54 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 63952 0 0 0 7245 9 0 0 20 0 1 0 35882428 289210368 44735 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 70608 44735 2688 2575 0 67515 0
Current children cumulated CPU time: 72.54 s
Current children cumulated vsize: 282432 KiB
Current children cumulated memory: 178940 KiB

[startup+73.2001 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 26396
/proc/meminfo: memFree=128916564/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=283396 memory=179580 CPUtime=72.95 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 64106 0 0 0 7285 10 0 0 20 0 1 0 35882428 290197504 44895 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 70849 44895 2688 2575 0 67756 0
Current children cumulated CPU time: 72.95 s
Current children cumulated vsize: 283396 KiB
Current children cumulated memory: 179580 KiB

[startup+73.6001 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 26396
/proc/meminfo: memFree=128916564/131249988 swapFree=33010684/33010684
[pid=26202] ppid=26199 vsize=283808 memory=179964 CPUtime=73.35 cores=5,7
/proc/26202/stat : 26202 (pbsolver) R 26199 26202 25398 0 -1 4194304 64194 0 0 0 7325 10 0 0 20 0 1 0 35882428 290619392 44991 18446744073709551615 4198400 14743177 140721859604416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47726592 140721859611018 140721859611114 140721859611114 140721859616716 0
/proc/26202/statm: 70952 44991 2688 2575 0 67859 0
Current children cumulated CPU time: 73.35 s
Current children cumulated vsize: 283808 KiB
Current children cumulated memory: 179964 KiB

Child status: 0

Real time (s): 73.6795
CPU time (s): 73.4321
CPU user time (s): 73.3265
CPU system time (s): 0.105657
CPU usage (%): 99.6642
Max. virtual memory (cumulated for all children) (KiB): 283808
Max. memory (cumulated for all children) (KiB): 179964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.3265
system time used= 0.105657
maximum resident set size= 179964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64196
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= 34
involuntary context switches= 114


# summary of solver processes directly reported to runsolver:
#   pid: 26202
#   total CPU time (s): 73.4321
#   total CPU user time (s): 73.3265
#   total CPU system time (s): 0.105657

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.110302 second user time and 0.376122 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-29 15:00:49
IDJOB=4510843
IDBENCH=160395
IDSOLVER=3366
FILE ID=nodeC020/4510843-1751202049
RUNJOBID= nodeC020-1751194846-25411
SLURM_JOB_ID= 9587600
Free space on /tmp= 433000 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510843-1751202049/watcher-4510843-1751202049 -o /tmp/evaluation-result-4510843-1751202049/solver-4510843-1751202049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751194846-25411 --watchdog 3760  pbsolver -f HOME/instance-4510843-1751202049.opb -t 3600 -m 31000

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

MD5SUM BENCH= 496e1a97745958844c4098fcb049f7a4
RANDOM SEED=2040098931

nodeC020 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.895
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.79
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.811
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.79
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.655
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.79
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		: 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 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.79
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.976
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.79
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.870
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.79
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		: 3598.290
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.79
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		: 3623.844
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        123239392 kB
MemAvailable:   123358580 kB
Buffers:            3280 kB
Cached:           926136 kB
SwapCached:            0 kB
Active:          6738024 kB
Inactive:         618828 kB
Active(anon):    6445500 kB
Inactive(anon):        0 kB
Active(file):     292524 kB
Inactive(file):   618828 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15300 kB
Writeback:            88 kB
AnonPages:       6428868 kB
Mapped:           135212 kB
Shmem:             18056 kB
KReclaimable:      94152 kB
Slab:             180484 kB
SReclaimable:      94152 kB
SUnreclaim:        86332 kB
KernelStack:        4320 kB
PageTables:        15612 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    6865436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3676160 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433004 MiB
End job on nodeC020 at 2025-06-29 15:02:02