Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | -13067 | 3585.82 | 3597.14 |
| Name | PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_5881.opb |
| MD5SUM | 72a008fff12a99d8557ede6656b5f966 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -13067 |
| Best CPU time to get the best result obtained on this benchmark | 2078.23 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 2243 |
| Biggest coefficient in the objective function | 100 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 113910 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 100 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 113910 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 2123 |
| Sum of products size (including duplicates) | 4246 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-4524444-1751272922.opb>
0.00/0.01 c original problem has 2243 variables (120 bin, 0 int, 2123 cont) and 2123 constraints
0.00/0.01 c original problem has 2123 implied integral variables (0 bin, 0 int, 2123 cont)
0.00/0.01 c problem read in 0.010 seconds
0.00/0.02 o 0
0.00/0.02 o -796
0.00/0.02 c feasible solution found by trivial heuristic after 0.0 seconds, objective value -7.960000e+02
0.00/0.02 c presolving:
0.00/0.06 c (0.1s) probing: 51/2243 (2.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.07 c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
0.00/0.07 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07 c 0 implications, 4246 cliques
0.00/0.07 c presolved problem has 2243 variables (120 bin, 0 int, 2123 cont) and 2123 constraints
0.00/0.07 c presolved problem has 2123 implied integral variables (0 bin, 0 int, 2123 cont)
0.00/0.07 c 2123 constraints of type <and>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.05
0.00/0.07 c problem pure SAT
0.00/0.07 c
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c
0.00/0.07 c # SCIP version 10.0.0
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.07 c limits/time = 3596.995058
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.07 c limits/memory = 27900
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 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.00/0.07 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.07 c reading/opbreader/maxintsize = 47
0.00/0.07 c
0.00/0.07 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.07 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.07 c propagating/genvbounds/timingmask = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c transformed 2/2 original solutions to the transformed problem space
0.00/0.07 c
0.10/0.12 o -4628
0.10/0.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.10/0.12 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |2243 |2123 |4246 | 0 | 0 | 0 | 0 |-5.735300e+04 |-4.628000e+03 |1139.26%| unknown
0.88/0.92 c 0.9s| 1 | 0 | 3281 | - | 26M | 0 |2243 |2123 |4246 | 0 | 0 | 0 | 0 |-2.792300e+04 |-4.628000e+03 | 503.35%| unknown
1.09/1.12 c 1.1s| 1 | 0 | 3502 | - | 30M | 0 |2243 |2123 |4341 | 95 | 1 | 0 | 0 |-2.721700e+04 |-4.628000e+03 | 488.09%| unknown
1.18/1.24 c 1.2s| 1 | 0 | 3664 | - | 31M | 0 |2243 |2123 |4381 | 135 | 2 | 0 | 0 |-2.678750e+04 |-4.628000e+03 | 478.81%| unknown
1.28/1.36 c 1.4s| 1 | 0 | 3819 | - | 33M | 0 |2243 |2123 |4422 | 176 | 3 | 0 | 0 |-2.647800e+04 |-4.628000e+03 | 472.13%| unknown
1.38/1.45 c 1.5s| 1 | 0 | 3924 | - | 34M | 0 |2243 |2123 |4473 | 227 | 4 | 0 | 0 |-2.624100e+04 |-4.628000e+03 | 467.01%| unknown
1.48/1.56 c 1.6s| 1 | 0 | 4177 | - | 36M | 0 |2243 |2123 |4512 | 266 | 5 | 0 | 0 |-2.586150e+04 |-4.628000e+03 | 458.81%| unknown
1.58/1.66 c 1.7s| 1 | 0 | 4405 | - | 38M | 0 |2243 |2123 |4548 | 302 | 6 | 0 | 0 |-2.563621e+04 |-4.628000e+03 | 453.94%| unknown
1.78/1.81 c 1.8s| 1 | 0 | 4677 | - | 40M | 0 |2243 |2123 |4583 | 337 | 7 | 0 | 0 |-2.539064e+04 |-4.628000e+03 | 448.63%| unknown
1.88/1.95 c 1.9s| 1 | 0 | 5016 | - | 41M | 0 |2243 |2123 |4614 | 368 | 8 | 0 | 0 |-2.504967e+04 |-4.628000e+03 | 441.26%| unknown
1.99/2.07 c 2.1s| 1 | 0 | 5304 | - | 41M | 0 |2243 |2123 |4643 | 397 | 9 | 0 | 0 |-2.477946e+04 |-4.628000e+03 | 435.42%| unknown
2.18/2.23 c 2.2s| 1 | 0 | 5717 | - | 44M | 0 |2243 |2123 |4688 | 442 | 10 | 0 | 0 |-2.455425e+04 |-4.628000e+03 | 430.56%| unknown
2.27/2.38 c 2.4s| 1 | 0 | 6235 | - | 45M | 0 |2243 |2123 |4727 | 485 | 11 | 0 | 0 |-2.455425e+04 |-4.628000e+03 | 430.56%| unknown
2.27/2.38 c 2.4s| 1 | 0 | 6235 | - | 45M | 0 |2243 |2123 |4727 | 485 | 11 | 0 | 0 |-2.417964e+04 |-4.628000e+03 | 422.46%| unknown
2.47/2.50 c 2.5s| 1 | 0 | 6906 | - | 45M | 0 |2243 |2123 |4771 | 529 | 12 | 0 | 0 |-2.417964e+04 |-4.628000e+03 | 422.46%| unknown
2.47/2.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.47/2.52 c 2.5s| 1 | 0 | 6977 | - | 45M | 0 |2243 |2123 |4771 | 529 | 12 | 0 | 0 |-2.402946e+04 |-4.628000e+03 | 419.22%| unknown
2.57/2.64 c 2.6s| 1 | 0 | 7459 | - | 46M | 0 |2243 |2123 |4832 | 609 | 13 | 0 | 0 |-2.402946e+04 |-4.628000e+03 | 419.22%| unknown
2.57/2.65 c 2.7s| 1 | 0 | 7512 | - | 46M | 0 |2243 |2123 |4832 | 609 | 13 | 0 | 0 |-2.380800e+04 |-4.628000e+03 | 414.43%| unknown
2.77/2.87 c 2.9s| 1 | 0 | 8675 | - | 46M | 0 |2243 |2123 |4868 | 645 | 14 | 0 | 0 |-2.380800e+04 |-4.628000e+03 | 414.43%| unknown
2.87/2.94 c 2.9s| 1 | 0 | 9073 | - | 46M | 0 |2243 |2123 |4819 | 645 | 14 | 0 | 0 |-2.353350e+04 |-4.628000e+03 | 408.50%| unknown
2.99/3.06 c 3.1s| 1 | 0 | 9559 | - | 47M | 0 |2243 |2123 |4857 | 683 | 15 | 0 | 0 |-2.353350e+04 |-4.628000e+03 | 408.50%| unknown
2.99/3.07 c 3.1s| 1 | 0 | 9597 | - | 47M | 0 |2243 |2123 |4817 | 683 | 15 | 0 | 0 |-2.321525e+04 |-4.628000e+03 | 401.63%| unknown
3.27/3.33 c 3.3s| 1 | 0 | 10994 | - | 47M | 0 |2243 |2123 |4850 | 716 | 16 | 0 | 0 |-2.321525e+04 |-4.628000e+03 | 401.63%| unknown
3.27/3.37 c 3.4s| 1 | 0 | 11237 | - | 47M | 0 |2243 |2123 |4850 | 716 | 16 | 0 | 0 |-2.301500e+04 |-4.628000e+03 | 397.30%| unknown
3.47/3.52 c 3.5s| 1 | 0 | 11836 | - | 48M | 0 |2243 |2123 |4866 | 744 | 17 | 0 | 0 |-2.301500e+04 |-4.628000e+03 | 397.30%| unknown
3.47/3.54 c 3.5s| 1 | 0 | 11913 | - | 48M | 0 |2243 |2123 |4866 | 744 | 17 | 0 | 0 |-2.284100e+04 |-4.628000e+03 | 393.54%| unknown
3.67/3.70 c 3.7s| 1 | 0 | 12637 | - | 48M | 0 |2243 |2123 |4907 | 785 | 18 | 0 | 0 |-2.284100e+04 |-4.628000e+03 | 393.54%| unknown
3.67/3.71 c 3.7s| 1 | 0 | 12646 | - | 48M | 0 |2243 |2123 |4887 | 785 | 18 | 0 | 0 |-2.260356e+04 |-4.628000e+03 | 388.41%| unknown
3.98/4.04 c 4.0s| 1 | 0 | 14518 | - | 49M | 0 |2243 |2123 |4942 | 840 | 19 | 0 | 0 |-2.260356e+04 |-4.628000e+03 | 388.41%| unknown
3.98/4.08 c 4.1s| 1 | 0 | 14769 | - | 49M | 0 |2243 |2123 |4942 | 840 | 19 | 0 | 0 |-2.230325e+04 |-4.628000e+03 | 381.92%| unknown
4.17/4.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.17/4.22 c 4.2s| 1 | 0 | 15315 | - | 49M | 0 |2243 |2123 |4982 | 889 | 20 | 0 | 0 |-2.230325e+04 |-4.628000e+03 | 381.92%| unknown
4.17/4.22 c 4.2s| 1 | 0 | 15318 | - | 49M | 0 |2243 |2123 |4982 | 889 | 20 | 0 | 0 |-2.210890e+04 |-4.628000e+03 | 377.72%| unknown
4.27/4.34 c 4.3s| 1 | 0 | 15756 | - | 49M | 0 |2243 |2123 |5007 | 914 | 21 | 0 | 0 |-2.210890e+04 |-4.628000e+03 | 377.72%| unknown
4.27/4.34 c 4.3s| 1 | 0 | 15756 | - | 49M | 0 |2243 |2123 |5007 | 914 | 21 | 0 | 0 |-2.203338e+04 |-4.628000e+03 | 376.09%| unknown
4.37/4.41 c 4.4s| 1 | 0 | 15981 | - | 49M | 0 |2243 |2123 |4983 | 923 | 22 | 0 | 0 |-2.203338e+04 |-4.628000e+03 | 376.09%| unknown
4.37/4.41 c 4.4s| 1 | 0 | 15981 | - | 49M | 0 |2243 |2123 |4983 | 923 | 22 | 0 | 0 |-2.201000e+04 |-4.628000e+03 | 375.58%| unknown
4.37/4.48 c 4.5s| 1 | 0 | 16233 | - | 49M | 0 |2243 |2123 |4990 | 930 | 23 | 0 | 0 |-2.201000e+04 |-4.628000e+03 | 375.58%| unknown
4.37/4.48 c 4.5s| 1 | 0 | 16233 | - | 49M | 0 |2243 |2123 |4990 | 930 | 23 | 0 | 0 |-2.200225e+04 |-4.628000e+03 | 375.42%| unknown
4.47/4.55 c 4.5s| 1 | 0 | 16420 | - | 49M | 0 |2243 |2123 |4998 | 938 | 24 | 0 | 0 |-2.200225e+04 |-4.628000e+03 | 375.42%| unknown
4.47/4.55 c 4.5s| 1 | 0 | 16424 | - | 49M | 0 |2243 |2123 |4998 | 938 | 24 | 0 | 0 |-2.199425e+04 |-4.628000e+03 | 375.24%| unknown
4.57/4.60 c 4.6s| 1 | 0 | 16504 | - | 49M | 0 |2243 |2123 |4983 | 941 | 25 | 0 | 0 |-2.199142e+04 |-4.628000e+03 | 375.18%| unknown
4.57/4.65 c 4.6s| 1 | 0 | 16592 | - | 50M | 0 |2243 |2123 |4987 | 945 | 26 | 0 | 0 |-2.199142e+04 |-4.628000e+03 | 375.18%| unknown
4.57/4.65 c 4.6s| 1 | 0 | 16592 | - | 50M | 0 |2243 |2123 |4987 | 945 | 26 | 0 | 0 |-2.198986e+04 |-4.628000e+03 | 375.15%| unknown
4.57/4.69 c 4.7s| 1 | 0 | 16643 | - | 50M | 0 |2243 |2123 |4995 | 953 | 27 | 0 | 0 |-2.198902e+04 |-4.628000e+03 | 375.13%| unknown
4.67/4.72 c 4.7s| 1 | 0 | 16644 | - | 50M | 0 |2243 |2123 |4996 | 954 | 28 | 0 | 0 |-2.198902e+04 |-4.628000e+03 | 375.13%| unknown
5.76/5.81 o -6375
5.76/5.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.76/5.81 c d 5.8s| 1 | 0 | 22053 | - |farkasdi| 0 |2243 |2123 |4996 | 0 | 29 | 0 | 0 |-2.198902e+04 |-6.375000e+03 | 244.93%| unknown
5.98/6.09 o -6575
5.98/6.09 c L 6.1s| 1 | 0 | 24899 | - | alns| 0 |2243 |2123 |4996 | 954 | 29 | 0 | 0 |-2.198902e+04 |-6.575000e+03 | 234.43%| unknown
5.98/6.09 o -6680
5.98/6.09 c L 6.1s| 1 | 0 | 24899 | - | alns| 0 |2243 |2123 |4996 | 954 | 29 | 0 | 0 |-2.198902e+04 |-6.680000e+03 | 229.18%| unknown
5.98/6.10 c 6.1s| 1 | 0 | 24899 | - | 50M | 0 |2243 |2123 |4996 | 954 | 29 | 0 | 0 |-2.198902e+04 |-6.680000e+03 | 229.18%| unknown
13.55/13.66 c 13.7s| 1 | 2 | 24899 | - | 50M | 0 |2243 |2123 |4996 | 954 | 30 | 0 | 40 |-2.198902e+04 |-6.680000e+03 | 229.18%| unknown
44.06/44.24 o -8611
44.06/44.24 c L44.2s| 34 | 35 | 55028 |1163.2 | alns| 20 |2243 |2123 |5511 |1778 | 3 | 0 | 209 |-2.159012e+04 |-8.611000e+03 | 150.73%| unknown
44.06/44.25 o -10689
44.06/44.25 c L44.2s| 34 | 35 | 55028 |1163.2 | alns| 20 |2243 |2123 |5511 |1778 | 3 | 0 | 209 |-2.159012e+04 |-1.068900e+04 | 101.98%| unknown
44.06/44.25 o -10728
44.06/44.25 c L44.3s| 34 | 35 | 55028 |1163.2 | alns| 20 |2243 |2123 |5511 |1778 | 3 | 0 | 209 |-2.159012e+04 |-1.072800e+04 | 101.25%| unknown
48.96/49.17 o -10763
48.96/49.17 c r49.2s| 63 | 56 | 65024 | 780.3 |simplero| 41 |2243 |2123 |5777 |2147 | 1 | 0 | 219 |-2.159012e+04 |-1.076300e+04 | 100.60%| unknown
49.05/49.22 o -10806
49.05/49.22 c r49.2s| 64 | 55 | 65313 | 772.5 |simplero| 41 |2243 |2123 |5765 |2147 | 0 | 0 | 219 |-2.159012e+04 |-1.080600e+04 | 99.80%| unknown
57.72/57.91 o -10843
57.72/57.91 c *57.9s| 88 | 71 | 92927 | 876.8 |strongbr| 41 |2243 |2123 |5908 |2780 | 2 | 0 | 221 |-2.128950e+04 |-1.084300e+04 | 96.34%| unknown
58.02/58.23 o -10868
58.02/58.23 c *58.2s| 93 | 70 | 93872 | 839.4 |strongbr| 43 |2243 |2123 |5908 |2781 | 1 | 0 | 225 |-2.128950e+04 |-1.086800e+04 | 95.89%| unknown
59.82/60.04 c 60.0s| 100 | 69 | 96407 | 805.7 | 103M | 43 |2243 |2123 |5769 |2810 | 2 | 0 | 245 |-2.128950e+04 |-1.086800e+04 | 95.89%| unknown
64.60/64.89 o -11475
64.60/64.89 c L64.9s| 125 | 62 |105366 | 715.5 | alns| 43 |2243 |2123 |5826 |2935 | 0 | 0 | 267 |-2.128950e+04 |-1.147500e+04 | 85.53%| unknown
64.70/64.92 o -11701
64.70/64.92 c L64.9s| 125 | 62 |105366 | 715.5 | alns| 43 |2243 |2123 |5826 |2935 | 0 | 0 | 267 |-2.128950e+04 |-1.170100e+04 | 81.95%| unknown
64.70/64.94 o -12185
64.70/64.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
64.70/64.94 c L64.9s| 125 | 62 |105366 | 715.5 | alns| 43 |2243 |2123 |5826 |2935 | 0 | 0 | 267 |-2.128950e+04 |-1.218500e+04 | 74.72%| unknown
141.18/141.68 c 142s| 200 | 123 |393066 |1891.6 | 169M | 43 |2243 |2123 |6392 |5800 | 2 | 0 | 326 |-2.102325e+04 |-1.218500e+04 | 72.53%| unknown
165.61/166.12 c 166s| 300 | 159 |491450 |1588.0 | 171M | 43 |2243 |2123 |6512 |6174 | 2 | 0 | 348 |-2.032650e+04 |-1.218500e+04 | 66.82%| unknown
186.12/186.73 c 187s| 400 | 197 |585965 |1426.9 | 172M | 43 |2243 |2123 |6543 |6513 | 2 | 0 | 354 |-2.019525e+04 |-1.218500e+04 | 65.74%| unknown
196.50/197.11 o -12262
196.50/197.11 c r 197s| 466 | 212 |631191 |1321.6 |simplero| 43 |2243 |2123 |6577 |7204 | 1 | 0 | 357 |-2.000250e+04 |-1.226200e+04 | 63.13%| unknown
199.68/200.35 o -12278
199.68/200.35 c r 200s| 482 | 216 |644423 |1305.2 |simplero| 43 |2243 |2123 |6585 |7241 | 0 | 0 | 368 |-1.999200e+04 |-1.227800e+04 | 62.83%| unknown
210.04/210.75 c 211s| 500 | 220 |676560 |1322.5 | 180M | 43 |2243 |2123 |6585 |7933 | 2 | 0 | 390 |-1.978450e+04 |-1.227800e+04 | 61.14%| unknown
229.08/229.88 c 230s| 600 | 236 |747516 |1220.2 | 184M | 43 |2243 |2123 |6596 |8719 | 2 | 0 | 417 |-1.950950e+04 |-1.227800e+04 | 58.90%| unknown
258.58/259.42 o -12347
258.58/259.42 c r 259s| 682 | 254 |868681 |1251.2 |simplero| 43 |2243 |2123 |6691 | 10k| 0 | 0 | 438 |-1.927300e+04 |-1.234700e+04 | 56.09%| unknown
259.38/260.23 c 260s| 700 | 254 |872597 |1224.5 | 206M | 43 |2243 |2123 |6643 | 10k| 0 | 0 | 438 |-1.927300e+04 |-1.234700e+04 | 56.09%| unknown
270.64/271.56 o -12360
270.64/271.56 c r 272s| 730 | 266 |922594 |1242.7 |simplero| 43 |2243 |2123 |6649 | 11k| 0 | 0 | 438 |-1.914100e+04 |-1.236000e+04 | 54.86%| unknown
270.94/271.80 o -12368
270.94/271.80 c r 272s| 739 | 265 |923777 |1229.2 |simplero| 43 |2243 |2123 |6650 | 11k| 0 | 0 | 438 |-1.914100e+04 |-1.236800e+04 | 54.76%| unknown
279.61/280.50 o -12372
279.61/280.50 c r 281s| 755 | 269 |959397 |1250.3 |simplero| 43 |2243 |2123 |6649 | 12k| 0 | 0 | 440 |-1.902100e+04 |-1.237200e+04 | 53.74%| unknown
279.91/280.83 o -12384
279.91/280.83 c r 281s| 763 | 271 |960607 |1238.8 |simplero| 43 |2243 |2123 |6650 | 12k| 0 | 0 | 441 |-1.902100e+04 |-1.238400e+04 | 53.59%| unknown
301.24/302.25 c 302s| 800 | 278 | 1030k|1269.3 | 250M | 43 |2243 |2123 |6710 | 13k| 3 | 0 | 460 |-1.887600e+04 |-1.238400e+04 | 52.42%| unknown
368.42/369.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
368.42/369.66 c 370s| 900 | 300 | 1283k|1408.8 | 298M | 43 |2243 |2123 |6651 | 17k| 2 | 0 | 509 |-1.833525e+04 |-1.238400e+04 | 48.06%| unknown
376.19/377.43 o -12413
376.19/377.43 c r 377s| 962 | 306 | 1318k|1354.3 |simplero| 43 |2243 |2123 |6639 | 17k| 0 | 0 | 511 |-1.824400e+04 |-1.241300e+04 | 46.97%| unknown
376.59/377.85 o -12420
376.59/377.85 c r 378s| 970 | 305 | 1320k|1345.3 |simplero| 43 |2243 |2123 |6648 | 17k| 0 | 0 | 511 |-1.824400e+04 |-1.242000e+04 | 46.89%| unknown
386.57/387.88 c 388s| 1000 | 307 | 1362k|1347.6 | 302M | 43 |2243 |2123 |6669 | 18k| 0 | 0 | 512 |-1.824175e+04 |-1.242000e+04 | 46.87%| unknown
406.89/408.29 c 408s| 1100 | 317 | 1451k|1305.9 | 306M | 43 |2243 |2123 |6637 | 18k| 0 | 0 | 516 |-1.815950e+04 |-1.242000e+04 | 46.21%| unknown
437.79/439.29 o -12539
437.79/439.29 c L 439s| 1146 | 353 | 1581k|1366.6 | alns| 43 |2243 |2123 |6657 | 20k| 3 | 0 | 517 |-1.812811e+04 |-1.253900e+04 | 44.57%| unknown
451.25/452.72 c 453s| 1200 | 373 | 1639k|1353.9 | 318M | 43 |2243 |2123 |6703 | 20k| 0 | 0 | 518 |-1.810800e+04 |-1.253900e+04 | 44.41%| unknown
463.41/464.98 c 465s| 1300 | 375 | 1696k|1293.3 | 318M | 43 |2243 |2123 |6717 | 20k| 0 | 0 | 518 |-1.810800e+04 |-1.253900e+04 | 44.41%| unknown
478.96/480.50 o -12730
478.96/480.50 c L 480s| 1346 | 367 | 1765k|1299.9 |crossove| 43 |2243 |2123 |6728 | 21k| 0 | 0 | 518 |-1.799727e+04 |-1.273000e+04 | 41.38%| unknown
495.11/496.75 c 497s| 1400 | 379 | 1828k|1294.9 | 321M | 43 |2243 |2123 |6731 | 21k| 1 | 0 | 528 |-1.797700e+04 |-1.273000e+04 | 41.22%| unknown
548.63/550.40 c 550s| 1500 | 389 | 2024k|1339.4 | 332M | 43 |2243 |2123 |6781 | 23k| 0 | 0 | 566 |-1.793525e+04 |-1.273000e+04 | 40.89%| unknown
607.73/609.70 c 610s| 1600 | 439 | 2271k|1410.2 | 342M | 43 |2243 |2123 |6832 | 24k| 2 | 0 | 579 |-1.781117e+04 |-1.273000e+04 | 39.91%| unknown
628.17/630.28 c 630s| 1700 | 447 | 2360k|1379.3 | 342M | 43 |2243 |2123 |6833 | 25k| 1 | 0 | 589 |-1.774548e+04 |-1.273000e+04 | 39.40%| unknown
667.05/669.26 c 669s| 1800 | 459 | 2496k|1378.7 | 346M | 43 |2243 |2123 |6826 | 26k| 2 | 0 | 620 |-1.773542e+04 |-1.273000e+04 | 39.32%| unknown
708.49/710.88 c 711s| 1900 | 487 | 2653k|1388.8 | 353M | 43 |2243 |2123 |6849 | 27k| 3 | 0 | 640 |-1.769600e+04 |-1.273000e+04 | 39.01%| unknown
725.65/728.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
725.65/728.03 c 728s| 2000 | 493 | 2720k|1352.7 | 353M | 43 |2243 |2123 |6856 | 27k| 0 | 0 | 654 |-1.769600e+04 |-1.273000e+04 | 39.01%| unknown
773.39/776.00 c 776s| 2100 | 507 | 2921k|1384.1 | 359M | 43 |2243 |2123 |6864 | 29k| 2 | 0 | 660 |-1.762584e+04 |-1.273000e+04 | 38.46%| unknown
805.69/808.38 c 808s| 2200 | 525 | 3040k|1375.0 | 362M | 43 |2243 |2123 |6850 | 30k| 2 | 0 | 683 |-1.759800e+04 |-1.273000e+04 | 38.24%| unknown
827.52/830.21 c 830s| 2300 | 531 | 3126k|1352.7 | 362M | 43 |2243 |2123 |6853 | 30k| 2 | 0 | 696 |-1.759800e+04 |-1.273000e+04 | 38.24%| unknown
896.80/899.74 c 900s| 2400 | 579 | 3391k|1406.7 | 372M | 43 |2243 |2123 |6750 | 33k| 0 | 0 | 726 |-1.751100e+04 |-1.273000e+04 | 37.56%| unknown
945.75/948.89 c 949s| 2500 | 587 | 3597k|1432.9 | 381M | 43 |2243 |2123 |6692 | 35k| 3 | 0 | 728 |-1.748950e+04 |-1.273000e+04 | 37.39%| unknown
994.70/997.91 c 998s| 2600 | 613 | 3778k|1447.3 | 386M | 43 |2243 |2123 |6684 | 36k| 1 | 0 | 754 |-1.745423e+04 |-1.273000e+04 | 37.11%| unknown
1035.97/1039.30 c 1039s| 2700 | 621 | 3934k|1451.7 | 386M | 43 |2243 |2123 |6736 | 37k| 3 | 0 | 776 |-1.743950e+04 |-1.273000e+04 | 37.00%| unknown
1042.25/1045.69 o -12775
1042.25/1045.69 c r1046s| 2726 | 622 | 3958k|1446.5 |simplero| 43 |2243 |2123 |6716 | 37k| 1 | 0 | 781 |-1.743950e+04 |-1.277500e+04 | 36.51%| unknown
1047.04/1050.47 o -12804
1047.04/1050.47 c r1050s| 2755 | 616 | 3978k|1438.6 |simplero| 43 |2243 |2123 |6718 | 37k| 0 | 0 | 782 |-1.743950e+04 |-1.280400e+04 | 36.20%| unknown
1068.17/1071.69 c 1072s| 2800 | 617 | 4056k|1443.3 | 388M | 43 |2243 |2123 |6702 | 37k| 2 | 0 | 795 |-1.741625e+04 |-1.280400e+04 | 36.02%| unknown
1112.84/1116.42 c 1116s| 2900 | 627 | 4240k|1456.8 | 394M | 43 |2243 |2123 |6720 | 39k| 0 | 0 | 804 |-1.739483e+04 |-1.280400e+04 | 35.85%| unknown
1157.70/1161.47 c 1161s| 3000 | 635 | 4431k|1472.1 | 400M | 43 |2243 |2123 |6786 | 40k| 3 | 0 | 806 |-1.736450e+04 |-1.280400e+04 | 35.62%| unknown
1189.33/1193.13 c 1193s| 3100 | 639 | 4551k|1463.3 | 400M | 43 |2243 |2123 |6732 | 40k| 0 | 0 | 825 |-1.736450e+04 |-1.280400e+04 | 35.62%| unknown
1251.63/1255.69 c 1256s| 3200 | 665 | 4783k|1490.0 | 407M | 43 |2243 |2123 |6751 | 43k| 0 | 0 | 856 |-1.730400e+04 |-1.280400e+04 | 35.15%| unknown
1296.68/1300.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1296.68/1300.84 c 1301s| 3300 | 671 | 4970k|1501.6 | 410M | 43 |2243 |2123 |6775 | 44k| 0 | 0 | 864 |-1.728250e+04 |-1.280400e+04 | 34.98%| unknown
1350.31/1354.62 c 1355s| 3400 | 691 | 5196k|1523.8 | 414M | 43 |2243 |2123 |6826 | 45k| 0 | 0 | 872 |-1.726149e+04 |-1.280400e+04 | 34.81%| unknown
1402.55/1407.03 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1403.24/1407.74 c (run 1, node 3496) performing user restart
1403.24/1407.74 c
1403.24/1407.74 c (restart) converted 1263 cuts from the global cut pool into linear constraints
1403.24/1407.74 c
1403.34/1407.82 c presolving:
1403.34/1407.83 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1263 upgd conss, 0 impls, 4246 clqs
1403.34/1407.84 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1403.34/1407.84 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1403.34/1407.84 c 0 implications, 4246 cliques
1403.34/1407.84 c presolved problem has 2243 variables (120 bin, 0 int, 2123 cont) and 3386 constraints
1403.34/1407.84 c presolved problem has 2123 implied integral variables (0 bin, 0 int, 2123 cont)
1403.34/1407.84 c 1050 constraints of type <knapsack>
1403.34/1407.84 c 182 constraints of type <setppc>
1403.34/1407.84 c 2123 constraints of type <and>
1403.34/1407.84 c 31 constraints of type <logicor>
1403.34/1407.84 c transformed objective value is always integral (scale: 1)
1403.34/1407.84 c Presolving Time: 0.08
1403.34/1407.85 c transformed 31/31 original solutions to the transformed problem space
1403.34/1407.85 c
1407.13/1411.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1407.13/1411.60 c 1412s| 1 | 0 | 5418k| - | 414M | 0 |2243 |3386 |5509 | 0 | 0 | 0 | 896 |-1.723500e+04 |-1.280400e+04 | 34.61%| unknown
1408.33/1412.87 c 1413s| 1 | 0 | 5422k| - | 419M | 0 |2243 |3386 |5618 | 109 | 1 | 0 | 896 |-1.723500e+04 |-1.280400e+04 | 34.61%| unknown
1409.13/1413.66 c 1414s| 1 | 0 | 5425k| - | 420M | 0 |2243 |3386 |5709 | 200 | 2 | 0 | 896 |-1.723500e+04 |-1.280400e+04 | 34.61%| unknown
1409.92/1414.49 c 1414s| 1 | 0 | 5427k| - | 421M | 0 |2243 |3386 |5788 | 279 | 3 | 0 | 896 |-1.723500e+04 |-1.280400e+04 | 34.61%| unknown
1410.72/1415.26 c 1415s| 1 | 0 | 5429k| - | 421M | 0 |2243 |3386 |5863 | 354 | 4 | 0 | 896 |-1.723500e+04 |-1.280400e+04 | 34.61%| unknown
1411.63/1416.20 c 1416s| 1 | 0 | 5432k| - | 421M | 0 |2243 |3386 |5926 | 417 | 5 | 0 | 896 |-1.716706e+04 |-1.280400e+04 | 34.08%| unknown
1412.53/1417.06 c 1417s| 1 | 0 | 5434k| - | 422M | 0 |2243 |3386 |5958 | 449 | 6 | 0 | 896 |-1.698528e+04 |-1.280400e+04 | 32.66%| unknown
1413.41/1417.95 c 1418s| 1 | 0 | 5437k| - | 423M | 0 |2243 |3386 |6021 | 512 | 7 | 0 | 896 |-1.687018e+04 |-1.280400e+04 | 31.76%| unknown
1414.11/1418.68 c 1419s| 1 | 0 | 5438k| - | 423M | 0 |2243 |3386 |6063 | 554 | 8 | 0 | 896 |-1.679815e+04 |-1.280400e+04 | 31.19%| unknown
1414.81/1419.36 c 1419s| 1 | 0 | 5440k| - | 425M | 0 |2243 |3386 |6106 | 597 | 9 | 0 | 896 |-1.672520e+04 |-1.280400e+04 | 30.62%| unknown
1415.62/1420.19 c 1420s| 1 | 0 | 5442k| - | 427M | 0 |2243 |3386 |6136 | 627 | 10 | 0 | 896 |-1.664474e+04 |-1.280400e+04 | 30.00%| unknown
1416.20/1420.71 c 1421s| 1 | 0 | 5443k| - | 428M | 0 |2243 |3386 |6051 | 663 | 11 | 0 | 896 |-1.659599e+04 |-1.280400e+04 | 29.62%| unknown
1417.20/1421.76 c 1422s| 1 | 0 | 5447k| - | 428M | 0 |2243 |3386 |6084 | 696 | 12 | 0 | 896 |-1.659599e+04 |-1.280400e+04 | 29.62%| unknown
1417.20/1421.76 c 1422s| 1 | 0 | 5447k| - | 428M | 0 |2243 |3386 |6084 | 696 | 12 | 0 | 896 |-1.654119e+04 |-1.280400e+04 | 29.19%| unknown
1417.61/1422.19 c 1422s| 1 | 0 | 5449k| - | 429M | 0 |2243 |3386 |6111 | 723 | 13 | 0 | 896 |-1.654119e+04 |-1.280400e+04 | 29.19%| unknown
1417.61/1422.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1417.61/1422.19 c 1422s| 1 | 0 | 5449k| - | 429M | 0 |2243 |3386 |6111 | 723 | 13 | 0 | 896 |-1.649655e+04 |-1.280400e+04 | 28.84%| unknown
1418.00/1422.58 c 1423s| 1 | 0 | 5450k| - | 429M | 0 |2243 |3386 |6035 | 750 | 14 | 0 | 896 |-1.649655e+04 |-1.280400e+04 | 28.84%| unknown
1418.00/1422.58 c 1423s| 1 | 0 | 5450k| - | 429M | 0 |2243 |3386 |6035 | 750 | 14 | 0 | 896 |-1.646472e+04 |-1.280400e+04 | 28.59%| unknown
1418.61/1423.14 c 1423s| 1 | 0 | 5452k| - | 430M | 0 |2243 |3386 |6055 | 770 | 15 | 0 | 896 |-1.646472e+04 |-1.280400e+04 | 28.59%| unknown
1418.61/1423.14 c 1423s| 1 | 0 | 5452k| - | 430M | 0 |2243 |3386 |6055 | 770 | 15 | 0 | 896 |-1.640229e+04 |-1.280400e+04 | 28.10%| unknown
1418.99/1423.53 c 1424s| 1 | 0 | 5453k| - | 430M | 0 |2243 |3386 |6085 | 800 | 16 | 0 | 896 |-1.640229e+04 |-1.280400e+04 | 28.10%| unknown
1418.99/1423.53 c 1424s| 1 | 0 | 5453k| - | 430M | 0 |2243 |3386 |6085 | 800 | 16 | 0 | 896 |-1.637569e+04 |-1.280400e+04 | 27.90%| unknown
1419.39/1423.93 c 1424s| 1 | 0 | 5455k| - | 430M | 0 |2243 |3386 |6023 | 830 | 17 | 0 | 896 |-1.637569e+04 |-1.280400e+04 | 27.90%| unknown
1419.39/1423.93 c 1424s| 1 | 0 | 5455k| - | 430M | 0 |2243 |3386 |6023 | 830 | 17 | 0 | 896 |-1.634159e+04 |-1.280400e+04 | 27.63%| unknown
1419.69/1424.23 c 1424s| 1 | 0 | 5456k| - | 431M | 0 |2243 |3386 |6047 | 854 | 18 | 0 | 896 |-1.634159e+04 |-1.280400e+04 | 27.63%| unknown
1419.69/1424.24 c 1424s| 1 | 0 | 5456k| - | 431M | 0 |2243 |3386 |6047 | 854 | 18 | 0 | 896 |-1.632091e+04 |-1.280400e+04 | 27.47%| unknown
1419.99/1424.57 c 1425s| 1 | 0 | 5457k| - | 431M | 0 |2243 |3386 |6077 | 884 | 19 | 0 | 896 |-1.632091e+04 |-1.280400e+04 | 27.47%| unknown
1419.99/1424.59 c 1425s| 1 | 0 | 5457k| - | 431M | 0 |2243 |3386 |6005 | 884 | 19 | 0 | 896 |-1.630067e+04 |-1.280400e+04 | 27.31%| unknown
1420.39/1425.01 c 1425s| 1 | 0 | 5458k| - | 432M | 0 |2243 |3386 |6036 | 915 | 20 | 0 | 896 |-1.630067e+04 |-1.280400e+04 | 27.31%| unknown
1420.39/1425.01 c 1425s| 1 | 0 | 5458k| - | 432M | 0 |2243 |3386 |6036 | 915 | 20 | 0 | 896 |-1.627219e+04 |-1.280400e+04 | 27.09%| unknown
1420.60/1425.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1420.60/1425.19 c 1425s| 1 | 0 | 5459k| - | 432M | 0 |2243 |3386 |6060 | 939 | 21 | 0 | 896 |-1.627219e+04 |-1.280400e+04 | 27.09%| unknown
1420.60/1425.19 c 1425s| 1 | 0 | 5459k| - | 432M | 0 |2243 |3386 |6060 | 939 | 21 | 0 | 896 |-1.626739e+04 |-1.280400e+04 | 27.05%| unknown
1420.69/1425.29 c 1425s| 1 | 0 | 5459k| - | 432M | 0 |2243 |3386 |6002 | 957 | 22 | 0 | 896 |-1.626739e+04 |-1.280400e+04 | 27.05%| unknown
1420.69/1425.29 c 1425s| 1 | 0 | 5459k| - | 432M | 0 |2243 |3386 |6002 | 957 | 22 | 0 | 896 |-1.626631e+04 |-1.280400e+04 | 27.04%| unknown
1420.79/1425.35 c 1425s| 1 | 0 | 5459k| - | 432M | 0 |2243 |3386 |6010 | 965 | 23 | 0 | 896 |-1.626631e+04 |-1.280400e+04 | 27.04%| unknown
1420.79/1425.35 c 1425s| 1 | 0 | 5459k| - | 432M | 0 |2243 |3386 |6010 | 965 | 23 | 0 | 896 |-1.626557e+04 |-1.280400e+04 | 27.04%| unknown
1420.89/1425.40 c 1425s| 1 | 0 | 5459k| - | 432M | 0 |2243 |3386 |6018 | 973 | 24 | 0 | 896 |-1.626523e+04 |-1.280400e+04 | 27.03%| unknown
1420.89/1425.45 c 1425s| 1 | 0 | 5459k| - | 432M | 0 |2243 |3386 |6021 | 976 | 25 | 0 | 896 |-1.626522e+04 |-1.280400e+04 | 27.03%| unknown
1431.25/1435.89 c 1436s| 1 | 2 | 5482k| - | 432M | 0 |2243 |3386 |6021 | 976 | 26 | 0 | 916 |-1.626522e+04 |-1.280400e+04 | 27.03%| unknown
1537.61/1542.53 c 1543s| 100 | 37 | 5623k|1544.5 | 438M | 30 |2243 |3386 |6526 |2017 | 3 | 0 |1256 |-1.603191e+04 |-1.280400e+04 | 25.21%| unknown
1556.25/1561.28 c 1561s| 200 | 35 | 5676k|1517.1 | 439M | 31 |2243 |3386 |6489 |2169 | 0 | 0 |1300 |-1.603191e+04 |-1.280400e+04 | 25.21%| unknown
1578.09/1583.11 c 1583s| 300 | 37 | 5757k|1498.5 | 439M | 31 |2243 |3386 |6426 |2400 | 2 | 0 |1326 |-1.596229e+04 |-1.280400e+04 | 24.67%| unknown
1602.59/1607.74 c 1608s| 400 | 45 | 5840k|1481.4 | 440M | 31 |2243 |3386 |6467 |2721 | 0 | 0 |1364 |-1.586019e+04 |-1.280400e+04 | 23.87%| unknown
1626.61/1631.82 c 1632s| 500 | 47 | 5919k|1464.0 | 440M | 31 |2243 |3386 |6497 |2971 | 2 | 0 |1417 |-1.581681e+04 |-1.280400e+04 | 23.53%| unknown
1652.03/1657.35 c 1657s| 600 | 61 | 6018k|1452.6 | 441M | 31 |2243 |3386 |6545 |3344 | 0 | 0 |1443 |-1.581681e+04 |-1.280400e+04 | 23.53%| unknown
1692.50/1697.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1692.50/1697.90 c 1698s| 700 | 91 | 6199k|1461.0 | 442M | 31 |2243 |3386 |6569 |3843 | 0 | 0 |1457 |-1.563117e+04 |-1.280400e+04 | 22.08%| unknown
1715.23/1720.71 c 1721s| 800 | 103 | 6303k|1451.3 | 442M | 31 |2243 |3386 |6590 |4107 | 1 | 0 |1464 |-1.559243e+04 |-1.280400e+04 | 21.78%| unknown
1747.33/1752.91 c 1753s| 900 | 115 | 6438k|1448.9 | 443M | 31 |2243 |3386 |6564 |4423 | 0 | 0 |1491 |-1.551834e+04 |-1.280400e+04 | 21.20%| unknown
1778.63/1784.34 c 1784s| 1000 | 137 | 6561k|1444.1 | 432M | 31 |2243 |3386 |6530 |4721 | 0 | 0 |1522 |-1.544757e+04 |-1.280400e+04 | 20.65%| unknown
1801.28/1807.09 c 1807s| 1100 | 147 | 6659k|1434.0 | 432M | 31 |2243 |3386 |6569 |4954 | 0 | 0 |1532 |-1.544245e+04 |-1.280400e+04 | 20.61%| unknown
1825.09/1830.94 c 1831s| 1200 | 157 | 6759k|1424.7 | 429M | 31 |2243 |3386 |6590 |5298 | 1 | 0 |1547 |-1.543801e+04 |-1.280400e+04 | 20.57%| unknown
1844.93/1850.85 c 1851s| 1300 | 159 | 6856k|1415.2 | 429M | 31 |2243 |3386 |6583 |5525 | 2 | 0 |1548 |-1.542647e+04 |-1.280400e+04 | 20.48%| unknown
1870.26/1876.21 c 1876s| 1400 | 159 | 6971k|1409.9 | 429M | 31 |2243 |3386 |6557 |5847 | 0 | 0 |1552 |-1.540138e+04 |-1.280400e+04 | 20.29%| unknown
1895.68/1901.70 c 1902s| 1500 | 175 | 7085k|1404.4 | 429M | 31 |2243 |3386 |6606 |6213 | 2 | 0 |1556 |-1.539792e+04 |-1.280400e+04 | 20.26%| unknown
1924.79/1930.94 c 1931s| 1600 | 183 | 7227k|1404.7 | 429M | 31 |2243 |3386 |6553 |6549 | 2 | 0 |1557 |-1.537103e+04 |-1.280400e+04 | 20.05%| unknown
1953.11/1959.34 c 1959s| 1700 | 189 | 7351k|1401.5 | 429M | 31 |2243 |3386 |6609 |6917 | 0 | 0 |1564 |-1.534703e+04 |-1.280400e+04 | 19.86%| unknown
1986.51/1992.80 c 1993s| 1800 | 205 | 7493k|1401.9 | 431M | 31 |2243 |3386 |6656 |7338 | 2 | 0 |1574 |-1.532887e+04 |-1.280400e+04 | 19.72%| unknown
2011.13/2017.59 c 2018s| 1900 | 207 | 7590k|1393.9 | 433M | 31 |2243 |3386 |6648 |7600 | 1 | 0 |1592 |-1.532881e+04 |-1.280400e+04 | 19.72%| unknown
2038.75/2045.21 c 2045s| 2000 | 211 | 7702k|1388.9 | 435M | 31 |2243 |3386 |6640 |7938 | 2 | 0 |1604 |-1.532197e+04 |-1.280400e+04 | 19.67%| unknown
2067.66/2074.24 c 2074s| 2100 | 217 | 7827k|1386.3 | 436M | 31 |2243 |3386 |6590 |8286 | 0 | 0 |1616 |-1.530761e+04 |-1.280400e+04 | 19.55%| unknown
2101.16/2107.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2101.16/2107.84 c 2108s| 2200 | 235 | 7969k|1387.1 | 437M | 31 |2243 |3386 |6654 |8789 | 2 | 0 |1629 |-1.529791e+04 |-1.280400e+04 | 19.48%| unknown
2144.34/2151.12 c 2151s| 2300 | 251 | 8145k|1393.4 | 448M | 31 |2243 |3386 |6697 |9752 | 0 | 0 |1637 |-1.528206e+04 |-1.280400e+04 | 19.35%| unknown
2187.11/2194.10 c 2194s| 2400 | 277 | 8313k|1398.3 | 463M | 31 |2243 |3386 |6840 | 10k| 2 | 0 |1650 |-1.525274e+04 |-1.280400e+04 | 19.12%| unknown
2196.87/2203.86 o -12855
2196.87/2203.86 c r2204s| 2446 | 287 | 8350k|1393.7 |simplero| 31 |2243 |3386 |6899 | 10k| 0 | 0 |1656 |-1.525274e+04 |-1.285500e+04 | 18.65%| unknown
2218.60/2225.61 c 2226s| 2500 | 289 | 8441k|1396.3 | 466M | 31 |2243 |3386 |6893 | 11k| 0 | 0 |1661 |-1.523424e+04 |-1.285500e+04 | 18.51%| unknown
2245.42/2252.53 o -12884
2245.42/2252.53 c r2253s| 2575 | 306 | 8555k|1397.8 |simplero| 31 |2243 |3386 |6901 | 11k| 0 | 0 |1667 |-1.522846e+04 |-1.288400e+04 | 18.20%| unknown
2247.11/2254.29 o -12934
2247.11/2254.29 c r2254s| 2589 | 301 | 8562k|1395.8 |simplero| 31 |2243 |3386 |6903 | 11k| 0 | 0 |1668 |-1.522846e+04 |-1.293400e+04 | 17.74%| unknown
2252.30/2259.45 c 2259s| 2600 | 304 | 8585k|1397.0 | 466M | 31 |2243 |3386 |6882 | 11k| 2 | 0 |1668 |-1.522118e+04 |-1.293400e+04 | 17.68%| unknown
2272.85/2280.09 c 2280s| 2700 | 300 | 8674k|1388.8 | 466M | 31 |2243 |3386 |6907 | 11k| 0 | 0 |1668 |-1.522118e+04 |-1.293400e+04 | 17.68%| unknown
2293.57/2300.81 o -12957
2293.57/2300.81 c r2301s| 2770 | 305 | 8755k|1386.3 |simplero| 31 |2243 |3386 |6910 | 11k| 0 | 0 |1676 |-1.522118e+04 |-1.295700e+04 | 17.47%| unknown
2308.83/2316.16 c 2316s| 2800 | 317 | 8816k|1389.3 | 467M | 31 |2243 |3386 |6971 | 11k| 0 | 0 |1682 |-1.519515e+04 |-1.295700e+04 | 17.27%| unknown
2320.09/2327.42 o -12992
2320.09/2327.42 c r2327s| 2845 | 317 | 8864k|1387.0 |simplero| 31 |2243 |3386 |6984 | 11k| 0 | 0 |1685 |-1.519422e+04 |-1.299200e+04 | 16.95%| unknown
2344.21/2351.65 c 2352s| 2900 | 332 | 8946k|1387.9 | 466M | 31 |2243 |3386 |6960 | 11k| 2 | 0 |1705 |-1.519093e+04 |-1.299200e+04 | 16.93%| unknown
2370.12/2377.64 o -12999
2370.12/2377.64 c r2378s| 2960 | 340 | 9050k|1391.1 |simplero| 31 |2243 |3386 |6993 | 12k| 0 | 0 |1707 |-1.517902e+04 |-1.299900e+04 | 16.77%| unknown
2372.63/2380.17 o -13067
2372.63/2380.17 c r2380s| 2975 | 334 | 9061k|1389.6 |simplero| 31 |2243 |3386 |6989 | 12k| 0 | 0 |1707 |-1.517902e+04 |-1.306700e+04 | 16.16%| unknown
2379.39/2386.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2379.39/2386.96 c 2387s| 3000 | 333 | 9091k|1388.9 | 472M | 31 |2243 |3386 |6979 | 12k| 3 | 0 |1707 |-1.517902e+04 |-1.306700e+04 | 16.16%| unknown
2418.67/2426.39 c 2426s| 3100 | 341 | 9258k|1393.2 | 475M | 31 |2243 |3386 |6943 | 12k| 1 | 0 |1709 |-1.517173e+04 |-1.306700e+04 | 16.11%| unknown
2467.01/2474.85 c 2475s| 3200 | 347 | 9463k|1402.9 | 479M | 31 |2243 |3386 |6959 | 13k| 2 | 0 |1714 |-1.515449e+04 |-1.306700e+04 | 15.98%| unknown
2512.86/2520.84 c 2521s| 3300 | 367 | 9652k|1410.2 | 483M | 31 |2243 |3386 |6943 | 14k| 0 | 0 |1718 |-1.514560e+04 |-1.306700e+04 | 15.91%| unknown
2550.06/2558.17 c 2558s| 3400 | 375 | 9812k|1412.8 | 486M | 31 |2243 |3386 |6962 | 14k| 0 | 0 |1719 |-1.514343e+04 |-1.306700e+04 | 15.89%| unknown
2609.05/2617.39 c 2617s| 3500 | 389 | 10041k|1425.4 | 496M | 31 |2243 |3386 |6912 | 15k| 2 | 0 |1742 |-1.512172e+04 |-1.306700e+04 | 15.72%| unknown
2655.40/2663.84 c 2664s| 3600 | 395 | 10217k|1430.2 | 497M | 31 |2243 |3386 |6957 | 15k| 0 | 0 |1765 |-1.511605e+04 |-1.306700e+04 | 15.68%| unknown
2697.86/2706.45 c 2706s| 3700 | 405 | 10391k|1434.5 | 500M | 31 |2243 |3386 |6913 | 16k| 2 | 0 |1772 |-1.511137e+04 |-1.306700e+04 | 15.65%| unknown
2755.98/2764.71 c 2765s| 3800 | 425 | 10631k|1447.7 | 508M | 31 |2243 |3386 |6969 | 17k| 0 | 0 |1775 |-1.509561e+04 |-1.306700e+04 | 15.52%| unknown
2810.52/2819.47 c 2819s| 3900 | 437 | 10853k|1458.1 | 522M | 31 |2243 |3386 |6960 | 18k| 2 | 0 |1778 |-1.508354e+04 |-1.306700e+04 | 15.43%| unknown
2879.61/2888.70 c 2889s| 4000 | 461 | 11125k|1475.0 | 533M | 31 |2243 |3386 |6997 | 19k| 1 | 0 |1791 |-1.506380e+04 |-1.306700e+04 | 15.28%| unknown
2926.57/2935.82 c 2936s| 4100 | 479 | 11307k|1479.5 | 534M | 31 |2243 |3386 |6953 | 20k| 3 | 0 |1813 |-1.505854e+04 |-1.306700e+04 | 15.24%| unknown
2976.22/2985.67 c 2986s| 4200 | 493 | 11516k|1487.4 | 538M | 31 |2243 |3386 |6974 | 20k| 2 | 0 |1826 |-1.505104e+04 |-1.306700e+04 | 15.18%| unknown
3020.69/3030.22 c 3030s| 4300 | 505 | 11697k|1491.6 | 539M | 31 |2243 |3386 |6930 | 21k| 0 | 0 |1840 |-1.505004e+04 |-1.306700e+04 | 15.18%| unknown
3048.30/3057.90 c 3058s| 4400 | 509 | 11811k|1487.1 | 541M | 31 |2243 |3386 |6921 | 21k| 2 | 0 |1842 |-1.504732e+04 |-1.306700e+04 | 15.16%| unknown
3088.30/3098.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3088.30/3098.10 c 3098s| 4500 | 529 | 11976k|1489.1 | 546M | 31 |2243 |3386 |6956 | 22k| 2 | 0 |1844 |-1.503979e+04 |-1.306700e+04 | 15.10%| unknown
3118.09/3127.93 c 3128s| 4600 | 529 | 12101k|1486.2 | 548M | 31 |2243 |3386 |6956 | 23k| 2 | 0 |1847 |-1.503979e+04 |-1.306700e+04 | 15.10%| unknown
3155.18/3165.18 c 3165s| 4700 | 545 | 12254k|1486.8 | 552M | 31 |2243 |3386 |6976 | 23k| 0 | 0 |1848 |-1.503629e+04 |-1.306700e+04 | 15.07%| unknown
3197.33/3207.47 c 3207s| 4800 | 561 | 12429k|1489.9 | 557M | 31 |2243 |3386 |6990 | 24k| 2 | 0 |1850 |-1.502388e+04 |-1.306700e+04 | 14.98%| unknown
3236.30/3246.53 c 3247s| 4900 | 567 | 12582k|1490.3 | 558M | 31 |2243 |3386 |6981 | 24k| 1 | 0 |1865 |-1.502086e+04 |-1.306700e+04 | 14.95%| unknown
3284.95/3295.36 c 3295s| 5000 | 575 | 12761k|1494.0 | 561M | 31 |2243 |3386 |6982 | 25k| 0 | 0 |1885 |-1.500709e+04 |-1.306700e+04 | 14.85%| unknown
3312.56/3323.03 c 3323s| 5100 | 577 | 12875k|1489.8 | 561M | 31 |2243 |3386 |6959 | 25k| 2 | 0 |1891 |-1.500709e+04 |-1.306700e+04 | 14.85%| unknown
3340.96/3351.55 c 3352s| 5200 | 579 | 12995k|1486.5 | 561M | 31 |2243 |3386 |7001 | 26k| 2 | 0 |1894 |-1.500709e+04 |-1.306700e+04 | 14.85%| unknown
3371.15/3381.81 c 3382s| 5300 | 581 | 13117k|1483.4 | 562M | 31 |2243 |3386 |6995 | 26k| 2 | 0 |1899 |-1.500607e+04 |-1.306700e+04 | 14.84%| unknown
3418.70/3429.51 c 3430s| 5400 | 599 | 13299k|1487.3 | 568M | 31 |2243 |3386 |6977 | 27k| 0 | 0 |1904 |-1.500028e+04 |-1.306700e+04 | 14.80%| unknown
3466.94/3477.92 c 3478s| 5500 | 609 | 13508k|1493.9 | 573M | 31 |2243 |3386 |6971 | 28k| 1 | 0 |1911 |-1.499637e+04 |-1.306700e+04 | 14.77%| unknown
3511.31/3522.40 c 3522s| 5600 | 609 | 13694k|1498.0 | 575M | 31 |2243 |3386 |7040 | 28k| 0 | 0 |1912 |-1.498954e+04 |-1.306700e+04 | 14.71%| unknown
3559.55/3570.81 c 3571s| 5700 | 621 | 13892k|1503.2 | 578M | 31 |2243 |3386 |7075 | 29k| 0 | 0 |1918 |-1.496754e+04 |-1.306700e+04 | 14.54%| unknown
3585.57/3597.00 c
3585.57/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.57/3597.00 c Solving Time (sec) : 3597.00
3585.57/3597.00 c Solving Nodes : 5741 (total of 9237 nodes in 2 runs)
3585.57/3597.00 c Primal Bound : -1.30670000000000e+04 (40 solutions)
3585.57/3597.00 c Dual Bound : -1.49613157756421e+04
3585.57/3597.00 c Gap : 14.50 %
3585.57/3597.00 s SATISFIABLE
3585.57/3597.00 v x33 -x44 x55 x66 x77 -x88 -x99 x110 x1 x12 x23 x26 x27 x28 x29 -x30 x31 -x32 -x34 x35 x36 x37 x38 -x39 x40 -x41 -x42 x43 -x45 x46
3585.57/3597.00 v x47 -x48 x49 x50 x51 -x52 x53 x54 -x56 x57 x58 -x59 -x60 x61 x62 -x63 -x64 x65 x67 -x68 x69 x70 -x71 x72 -x73 x74 -x75 x76 x78 x79
3585.57/3597.00 v x80 -x81 x82 x83 -x84 x85 -x86 x87 -x89 x90 x91 x92 -x93 x94 x95 x96 x97 x98 -x100 -x101 x102 x103 -x104 x105 -x106 x107 x108 -x109
3585.57/3597.00 v -x111 x112 x113 -x114 x115 -x116 x117 x118 x119 x120 x2 x3 -x4 x5 -x6 -x7 x8 x9 x10 x11 -x13 -x14 x15 -x16 -x17 x18 -x19 x20 x21
3585.57/3597.00 v x22 x24 x25
3585.57/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.57/3597.00 c Total Time : 3597.00
3585.57/3597.00 c solving : 3597.00
3585.57/3597.00 c presolving : 0.08 (included in solving)
3585.57/3597.00 c reading : 0.01 (included in solving)
3585.57/3597.00 c copying : 0.08 (14 #copies) (minimal 0.00, maximal 0.01, average 0.01)
3585.57/3597.00 c Original Problem :
3585.57/3597.00 c Problem name : HOME/instance-4524444-1751272922.opb
3585.57/3597.00 c Variables : 2243 (120 binary, 0 integer, 2123 continuous)
3585.57/3597.00 c implied integral : 2123 (0 binary, 0 integer, 2123 continuous)
3585.57/3597.00 c Constraints : 2123 initial, 2123 maximal
3585.57/3597.00 c Objective : minimize, 2243 non-zeros (abs.min = 1, abs.max = 100)
3585.57/3597.00 c Presolved Problem :
3585.57/3597.00 c Problem name : t_HOME/instance-4524444-1751272922.opb
3585.57/3597.00 c Variables : 2243 (120 binary, 0 integer, 2123 continuous)
3585.57/3597.00 c implied integral : 2123 (0 binary, 0 integer, 2123 continuous)
3585.57/3597.00 c Constraints : 3386 initial, 3386 maximal
3585.57/3597.00 c Objective : minimize, 2243 non-zeros (abs.min = 1, abs.max = 100)
3585.57/3597.00 c Nonzeros : 12708 constraint, 8492 clique table
3585.57/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.57/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c trivial : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c dualfix : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c and : 0.02 0.00 6 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c linear : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c logicor : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c root node : - - - 0 - - 0 - - - - -
3585.57/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.57/3597.00 c integral : 0 0 0 0 5311 0 0 2454 0 0 0 0 0 0 10622
3585.57/3597.00 c knapsack : 1050 1050 26 37930 0 0 0 0 0 0 28024 58 38 0 0
3585.57/3597.00 c setppc : 182 182 26 37908 0 0 0 0 0 0 5588 9 0 0 0
3585.57/3597.00 c and : 2123 2123 11486 67191 0 0 0 2450 0 0 200110 55956 28225 0 0
3585.57/3597.00 c logicor : 31 31 26 4663 0 0 0 0 0 0 1 0 0 0 0
3585.57/3597.00 c fixedvar : 0 0 0 0 0 0 0 75 0 0 0 0 0 0 0
3585.57/3597.00 c countsols : 0 0 0 0 0 0 0 75 0 0 0 0 0 0 0
3585.57/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.57/3597.00 c integral : 380.30 0.00 0.00 0.00 380.30 0.00 0.00 0.00 0.00 0.00
3585.57/3597.00 c knapsack : 0.43 0.00 0.07 0.32 0.00 0.00 0.00 0.00 0.00 0.05
3585.57/3597.00 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3585.57/3597.00 c and : 7.45 0.00 5.07 2.02 0.00 0.00 0.00 0.01 0.00 0.35
3585.57/3597.00 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.57/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.57/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.57/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.57/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.57/3597.00 c dualfix : 4 0 0 0
3585.57/3597.00 c genvbounds : 0 0 0 0
3585.57/3597.00 c nlobbt : 0 0 0 0
3585.57/3597.00 c obbt : 0 0 0 0
3585.57/3597.00 c probing : 0 0 0 0
3585.57/3597.00 c pseudoobj : 31328 0 0 0
3585.57/3597.00 c redcost : 26185 0 0 56025
3585.57/3597.00 c rootredcost : 28 0 0 0
3585.57/3597.00 c symmetry : 0 0 0 0
3585.57/3597.00 c vbounds : 26528 0 0 0
3585.57/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.57/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.57/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.57/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.57/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.57/3597.00 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3585.57/3597.00 c pseudoobj : 0.06 0.00 0.00 0.06 0.00 0.00
3585.57/3597.00 c redcost : 0.92 0.00 0.00 0.92 0.00 0.00
3585.57/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.57/3597.00 c symmetry : 0.03 0.00 0.01 0.01 0.00 0.00
3585.57/3597.00 c vbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3585.57/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3585.57/3597.00 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.57/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.57/3597.00 c bound exceed. LP : 0.02 6 0 - 0 0.0 0 0.0 0 0.0 60
3585.57/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.57/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.57/3597.00 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3585.57/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.57/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.57/3597.00 c cut pool : 9.72 - 3681 100 - - 47642 239907 - - - - - (maximal pool size: 5047)
3585.57/3597.00 c aggregation : 37.53 0.00 1144 56 0 0 336 1112 0 58 58 0 0
3585.57/3597.00 c > cmir : - - - - - - - 1083 0 47 47 0 -
3585.57/3597.00 c > flowcover : - - - - - - - 29 0 11 11 0 -
3585.57/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.57/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c clique : 0.01 0.00 56 56 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c gomory : 39.25 0.00 696 20 0 0 38094 78753 550 3291 3280 11 0
3585.57/3597.00 c > gomorymi : - - - - - - - 29396 284 421 418 3 -
3585.57/3597.00 c > strongcg : - - - - - - - 49357 266 2870 2862 8 -
3585.57/3597.00 c impliedbounds : 0.20 0.00 1145 56 0 0 5827 28648 0 8482 8482 0 0
3585.57/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c mixing : 0.00 0.00 1145 56 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c multilinear : 0.00 0.00 398 56 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c rapidlearning : 0.18 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3585.57/3597.00 c zerohalf : 16.17 0.00 716 40 0 0 3951 131394 16 36740 36726 14 0
3585.57/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.57/3597.00 c hybrid : 1.59 0.00 7762 53 76834 0 219662 1930 0 14249
3585.57/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3585.57/3597.00 c problem variables: 0.46 - 15514 7581
3585.57/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.57/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c relpscost : 380.29 0.00 5311 0 0 0 0 0 0 10622
3585.57/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.57/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.57/3597.00 c LP solutions : 0.00 - - 0 0
3585.57/3597.00 c relax solutions : 0.00 - - 0 0
3585.57/3597.00 c pseudo solutions : 0.00 - - 0 0
3585.57/3597.00 c strong branching : 0.00 - - 2 2
3585.57/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3585.57/3597.00 c adaptivediving : 16.43 0.00 17 0 0
3585.57/3597.00 c alns : 0.46 0.00 8 9 9
3585.57/3597.00 c bound : 0.00 0.00 0 0 0
3585.57/3597.00 c clique : 0.05 0.00 1 1 1
3585.57/3597.00 c coefdiving : 0.00 0.00 0 0 0
3585.57/3597.00 c completesol : 0.00 0.00 0 0 0
3585.57/3597.00 c conflictdiving : 0.00 0.00 0 0 0
3585.57/3597.00 c crossover : 0.08 0.00 3 3 1
3585.57/3597.00 c dins : 0.00 0.00 0 0 0
3585.57/3597.00 c distributiondivin: 75.83 0.00 28 0 0
3585.57/3597.00 c dks : 0.00 0.00 0 0 0
3585.57/3597.00 c dps : 0.00 0.00 0 0 0
3585.57/3597.00 c dualval : 0.00 0.00 0 0 0
3585.57/3597.00 c farkasdiving : 73.30 0.00 29 1 1
3585.57/3597.00 c feaspump : 0.27 0.00 1 0 0
3585.57/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3585.57/3597.00 c fracdiving : 18.43 0.00 29 0 0
3585.57/3597.00 c gins : 0.01 0.00 0 0 0
3585.57/3597.00 c guideddiving : 18.69 0.00 28 0 0
3585.57/3597.00 c indicator : 0.00 0.00 0 0 0
3585.57/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3585.57/3597.00 c intdiving : 0.00 0.00 0 0 0
3585.57/3597.00 c intshifting : 0.00 0.00 0 0 0
3585.57/3597.00 c linesearchdiving : 29.38 0.00 29 0 0
3585.57/3597.00 c localbranching : 0.00 0.00 0 0 0
3585.57/3597.00 c locks : 0.02 0.00 1 0 0
3585.57/3597.00 c lpface : 0.00 0.00 0 0 0
3585.57/3597.00 c mpec : 0.00 0.00 0 0 0
3585.57/3597.00 c multistart : 0.00 0.00 0 0 0
3585.57/3597.00 c mutation : 0.00 0.00 0 0 0
3585.57/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3585.57/3597.00 c objpscostdiving : 55.49 0.00 8 0 0
3585.57/3597.00 c octane : 0.00 0.00 0 0 0
3585.57/3597.00 c ofins : 0.00 0.00 0 0 0
3585.57/3597.00 c oneopt : 0.02 0.00 28 0 0
3585.57/3597.00 c padm : 0.00 0.00 0 0 0
3585.57/3597.00 c proximity : 0.00 0.00 0 0 0
3585.57/3597.00 c pscostdiving : 25.74 0.00 29 0 0
3585.57/3597.00 c randrounding : 0.42 0.00 1490 0 0
3585.57/3597.00 c rens : 0.00 0.00 0 0 0
3585.57/3597.00 c reoptsols : 0.00 0.00 0 0 0
3585.57/3597.00 c repair : 0.00 0.00 0 0 0
3585.57/3597.00 c rins : 5.60 0.00 2 2 0
3585.57/3597.00 c rootsoldiving : 19.12 0.00 15 0 0
3585.57/3597.00 c rounding : 0.16 0.00 1553 0 0
3585.57/3597.00 c scheduler : 0.00 0.00 0 0 0
3585.57/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3585.57/3597.00 c shifting : 0.89 0.00 771 0 0
3585.57/3597.00 c simplerounding : 0.91 0.00 20457 20 20
3585.57/3597.00 c subnlp : 0.00 0.00 0 0 0
3585.57/3597.00 c trivial : 0.00 0.00 4 2 2
3585.57/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3585.57/3597.00 c trustregion : 0.00 0.00 0 0 0
3585.57/3597.00 c trysol : 0.00 0.00 0 0 0
3585.57/3597.00 c twoopt : 0.00 0.00 0 0 0
3585.57/3597.00 c undercover : 0.07 0.00 1 0 0
3585.57/3597.00 c vbounds : 0.09 0.00 2 0 0
3585.57/3597.00 c veclendiving : 5.37 0.00 29 0 0
3585.57/3597.00 c zeroobj : 0.00 0.00 0 0 0
3585.57/3597.00 c zirounding : 0.64 0.00 1000 0 0
3585.57/3597.00 c other solutions : - - - 0 -
3585.57/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.57/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.57/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.57/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.57/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.57/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.57/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.57/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.57/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.57/3597.00 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
3585.57/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.57/3597.00 c primal LP : 467.05 7371 2454453 408.26 5255.27 1.90 1359
3585.57/3597.00 c dual LP : 2262.56 20174 9952722 585.49 4398.89 4.42 3175
3585.57/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3585.57/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.57/3597.00 c resolve instable : 0.00 0 0 0.00 -
3585.57/3597.00 c diving/probing LP: 333.64 2507 1584111 631.88 4747.96
3585.57/3597.00 c strong branching : 375.41 1930 1654710 857.36 4407.76 - - 2520
3585.57/3597.00 c (at root node) : - 60 56982 949.70 -
3585.57/3597.00 c conflict analysis: 0.01 6 60 10.00 -
3585.57/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3585.57/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3585.57/3597.00 c B&B Tree :
3585.57/3597.00 c number of runs : 2
3585.57/3597.00 c nodes : 5741 (3192 internal, 2549 leaves)
3585.57/3597.00 c feasible leaves : 0
3585.57/3597.00 c infeas. leaves : 2548
3585.57/3597.00 c objective leaves : 0
3585.57/3597.00 c nodes (total) : 9237 (5311 internal, 3926 leaves)
3585.57/3597.00 c nodes left : 627
3585.57/3597.00 c max depth : 31
3585.57/3597.00 c max depth (total): 43
3585.57/3597.00 c backtracks : 1286 (22.4%)
3585.57/3597.00 c early backtracks : 0 (0.0%)
3585.57/3597.00 c nodes exc. ref. : 0 (0.0%)
3585.57/3597.00 c delayed cutoffs : 0
3585.57/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3585.57/3597.00 c avg switch length: 3.29
3585.57/3597.00 c switching time : 2.70
3585.57/3597.00 c Root Node :
3585.57/3597.00 c First LP value : -2.79230000000000e+04
3585.57/3597.00 c First LP Iters : 3281 (4766.36 Iter/sec)
3585.57/3597.00 c First LP Time : 0.69
3585.57/3597.00 c Final Dual Bound : -1.62652244885867e+04
3585.57/3597.00 c Final Root Iters : 70657
3585.57/3597.00 c Root LP Estimate : -5.19450662255211e+03
3585.57/3597.00 c Solution :
3585.57/3597.00 c Solutions found : 40 (36 improvements)
3585.57/3597.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
3585.57/3597.00 c Gap First Sol. : infinite
3585.57/3597.00 c Gap Last Sol. : 16.16 %
3585.57/3597.00 c Primal Bound : -1.30670000000000e+04 (in run 2, after 2975 nodes, 2380.17 seconds, depth 24, found by <simplerounding>)
3585.57/3597.00 c Dual Bound : -1.49613157756421e+04
3585.57/3597.00 c Gap : 14.50 %
3585.57/3597.00 c Integrals : Total Avg%
3585.57/3597.00 c primal-dual : 77518.34 21.55
3585.57/3597.00 c primal-ref : - - (not evaluated)
3585.57/3597.00 c dual-ref : - - (not evaluated)
3585.78/3597.13 c Time complete (sec): 3585.812
OK -13067
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62649 MiB free)
memory of node 1: 64465 MiB (63038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524444-1751272922/watcher-4524444-1751272922 -o /tmp/evaluation-result-4524444-1751272922/solver-4524444-1751272922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751268232-38444 --watchdog 3760 pbsolver -f HOME/instance-4524444-1751272922.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39402, runsolver pid=39399
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 4.04 4.09 4.08 5/250 39403
/proc/meminfo: memFree=128681012/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=45392 memory=33012 CPUtime=0.1 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 6227 0 0 0 9 1 0 0 20 0 1 0 42971550 46481408 8253 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 11348 8253 2560 2575 0 8255 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45392 KiB
Current children cumulated memory: 33012 KiB
[startup+0.212879 s]*
/proc/loadavg: 4.04 4.09 4.08 5/250 39403
/proc/meminfo: memFree=128677232/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=48520 memory=36212 CPUtime=0.21 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 6983 0 0 0 20 1 0 0 20 0 1 0 42971550 49684480 9053 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 12130 9053 2624 2575 0 9037 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48520 KiB
Current children cumulated memory: 36212 KiB
[startup+0.312834 s]*
/proc/loadavg: 4.04 4.09 4.08 5/250 39403
/proc/meminfo: memFree=128677232/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=49144 memory=36596 CPUtime=0.31 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 7084 0 0 0 30 1 0 0 20 0 1 0 42971550 50323456 9149 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 12286 9149 2624 2575 0 9193 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49144 KiB
Current children cumulated memory: 36596 KiB
[startup+0.700259 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 39403
/proc/meminfo: memFree=128677456/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=49580 memory=36980 CPUtime=0.68 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 7187 0 0 0 67 1 0 0 20 0 1 0 42971550 50769920 9245 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 12395 9245 2624 2575 0 9302 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49580 KiB
Current children cumulated memory: 36980 KiB
[startup+1.50034 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 39403
/proc/meminfo: memFree=128649232/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=65952 memory=52284 CPUtime=1.48 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 13172 0 0 0 146 2 0 0 20 0 1 0 42971550 67534848 13071 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 16488 13071 2656 2575 0 13395 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65952 KiB
Current children cumulated memory: 52284 KiB
[startup+3.1126 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 39403
/proc/meminfo: memFree=128649492/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=72736 memory=56380 CPUtime=3.09 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 14216 0 0 0 307 2 0 0 20 0 1 0 42971550 74481664 14095 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 18184 14095 2656 2575 0 15091 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 72736 KiB
Current children cumulated memory: 56380 KiB
[startup+6.30026 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 39403
/proc/meminfo: memFree=128649592/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=85892 memory=67516 CPUtime=6.27 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 16942 0 0 0 624 3 0 0 20 0 1 0 42971550 87953408 16879 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 21473 16879 2688 2575 0 18380 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 85892 KiB
Current children cumulated memory: 67516 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 39403
/proc/meminfo: memFree=128647868/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=85892 memory=67516 CPUtime=12.65 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 16942 0 0 0 1262 3 0 0 20 0 1 0 42971550 87953408 16879 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 21473 16879 2688 2575 0 18380 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85892 KiB
Current children cumulated memory: 67516 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 39403
/proc/meminfo: memFree=128643604/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=85892 memory=67516 CPUtime=25.41 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 16943 0 0 0 2538 3 0 0 20 0 1 0 42971550 87953408 16879 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 21473 16879 2688 2575 0 18380 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 85892 KiB
Current children cumulated memory: 67516 KiB
[startup+51.1125 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 39404
/proc/meminfo: memFree=128597308/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=115284 memory=93244 CPUtime=50.95 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 23378 0 0 0 5091 4 0 0 20 0 1 0 42971550 118050816 23311 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 28821 23311 2688 2575 0 25728 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 115284 KiB
Current children cumulated memory: 93244 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 39406
/proc/meminfo: memFree=128557776/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=177484 memory=138172 CPUtime=101.99 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 34697 0 0 0 10194 5 0 0 20 0 1 0 42971550 181743616 34543 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 44371 34543 2688 2575 0 41278 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 177484 KiB
Current children cumulated memory: 138172 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 39408
/proc/meminfo: memFree=128500136/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=198228 memory=153148 CPUtime=161.81 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 38427 0 0 0 16175 6 0 0 20 0 1 0 42971550 202985472 38287 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 49557 38287 2688 2575 0 46464 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 198228 KiB
Current children cumulated memory: 153148 KiB
[startup+222.3 s]
/proc/loadavg: 3.77 4.01 4.06 4/245 39442
/proc/meminfo: memFree=129175108/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=210304 memory=159292 CPUtime=221.6 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 39965 0 0 0 22154 6 0 0 20 0 1 0 42971550 215351296 39823 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 52576 39823 2688 2575 0 49483 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 210304 KiB
Current children cumulated memory: 159292 KiB
[startup+282.3 s]
/proc/loadavg: 3.34 3.84 4.00 4/245 39450
/proc/meminfo: memFree=129146184/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=256660 memory=191420 CPUtime=281.41 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 48001 0 0 0 28132 9 0 0 20 0 1 0 42971550 262819840 47855 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 64165 47855 2688 2575 0 61072 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 256660 KiB
Current children cumulated memory: 191420 KiB
[startup+342.3 s]
/proc/loadavg: 3.17 3.70 3.94 4/244 39452
/proc/meminfo: memFree=129064100/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=314208 memory=236732 CPUtime=341.21 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 59515 0 0 0 34109 12 0 0 20 0 1 0 42971550 321748992 59183 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 78552 59183 2688 2575 0 75459 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 314208 KiB
Current children cumulated memory: 236732 KiB
[startup+402.3 s]
/proc/loadavg: 3.18 3.60 3.89 4/244 39454
/proc/meminfo: memFree=129002652/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=329196 memory=241596 CPUtime=401.01 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 60797 0 0 0 40088 13 0 0 20 0 1 0 42971550 337096704 60399 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 82299 60399 2688 2575 0 79206 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 329196 KiB
Current children cumulated memory: 241596 KiB
[startup+462.3 s]
/proc/loadavg: 3.04 3.49 3.83 3/238 39487
/proc/meminfo: memFree=129219756/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=350920 memory=258620 CPUtime=460.82 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 65043 0 0 0 46067 15 0 0 20 0 1 0 42971550 359342080 64655 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 87730 64655 2688 2575 0 84637 0
Current children cumulated CPU time: 460.82 s
################
# More data... #
################
/proc/loadavg: 2.09 2.11 2.21 3/237 39680
/proc/meminfo: memFree=128608364/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=579820 memory=540964 CPUtime=3212.18 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 101372 0 0 0 321190 28 0 0 20 0 1 0 42971550 593735680 135241 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 144955 135241 2688 2575 0 141862 0
Current children cumulated CPU time: 3212.18 s
Current children cumulated vsize: 579820 KiB
Current children cumulated memory: 540964 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.11 2.20 3/238 39683
/proc/meminfo: memFree=128425984/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=583592 memory=541860 CPUtime=3271.99 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 101625 0 0 0 327171 28 0 0 20 0 1 0 42971550 597598208 135465 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 145898 135465 2688 2575 0 142805 0
Current children cumulated CPU time: 3271.99 s
Current children cumulated vsize: 583592 KiB
Current children cumulated memory: 541860 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.10 2.19 3/239 39692
/proc/meminfo: memFree=128369540/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=583592 memory=541860 CPUtime=3331.79 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 101827 0 0 0 333151 28 0 0 20 0 1 0 42971550 597598208 135465 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 145898 135465 2688 2575 0 142805 0
Current children cumulated CPU time: 3331.79 s
Current children cumulated vsize: 583592 KiB
Current children cumulated memory: 541860 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.09 2.18 3/239 39694
/proc/meminfo: memFree=128341252/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=599924 memory=556044 CPUtime=3391.59 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 105819 0 0 0 339130 29 0 0 20 0 1 0 42971550 614322176 139011 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 149981 139011 2688 2575 0 146888 0
Current children cumulated CPU time: 3391.59 s
Current children cumulated vsize: 599924 KiB
Current children cumulated memory: 556044 KiB
[startup+3462.3 s]
/proc/loadavg: 2.14 2.11 2.18 3/239 39698
/proc/meminfo: memFree=128320392/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=599924 memory=571148 CPUtime=3451.39 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 106020 0 0 0 345110 29 0 0 20 0 1 0 42971550 614322176 142787 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 149981 142787 2688 2575 0 146888 0
Current children cumulated CPU time: 3451.39 s
Current children cumulated vsize: 599924 KiB
Current children cumulated memory: 571148 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.10 2.17 3/239 39700
/proc/meminfo: memFree=128274396/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=599924 memory=591500 CPUtime=3511.21 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 106147 0 0 0 351092 29 0 0 20 0 1 0 42971550 614322176 147875 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 149981 147875 2688 2575 0 146888 0
Current children cumulated CPU time: 3511.21 s
Current children cumulated vsize: 599924 KiB
Current children cumulated memory: 591500 KiB
[startup+3582.3 s]
/proc/loadavg: 2.15 2.11 2.17 3/239 39703
/proc/meminfo: memFree=128280432/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=601364 memory=591756 CPUtime=3571.02 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 106329 0 0 0 357073 29 0 0 20 0 1 0 42971550 615796736 147939 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 150341 147939 2688 2575 0 147248 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 601364 KiB
Current children cumulated memory: 591756 KiB
[startup+3597.14 s]
# the end of solver process 39402 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.52 s, system=0.295839 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.15 2.11 2.17 3/239 39703
/proc/meminfo: memFree=128280432/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=601364 memory=591756 CPUtime=3572.72 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 106329 0 0 0 357243 29 0 0 20 0 1 0 42971550 615796736 147939 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 150341 147939 2688 2575 0 147248 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 601364 KiB
Current children cumulated memory: 591756 KiB
[startup+3590.4 s]
/proc/loadavg: 2.14 2.11 2.17 3/239 39703
/proc/meminfo: memFree=128280432/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=601968 memory=591756 CPUtime=3579.09 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 106330 0 0 0 357880 29 0 0 20 0 1 0 42971550 616415232 147939 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 150492 147939 2688 2575 0 147399 0
Current children cumulated CPU time: 3579.09 s
Current children cumulated vsize: 601968 KiB
Current children cumulated memory: 591756 KiB
[startup+3593.6 s]
/proc/loadavg: 2.13 2.11 2.17 3/239 39703
/proc/meminfo: memFree=128281456/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=603356 memory=591884 CPUtime=3582.28 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 106374 0 0 0 358199 29 0 0 20 0 1 0 42971550 617836544 147971 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 150839 147971 2688 2575 0 147746 0
Current children cumulated CPU time: 3582.28 s
Current children cumulated vsize: 603356 KiB
Current children cumulated memory: 591884 KiB
[startup+3595.2 s]
/proc/loadavg: 2.13 2.11 2.17 3/239 39704
/proc/meminfo: memFree=128281456/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=603356 memory=591884 CPUtime=3583.88 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 106374 0 0 0 358359 29 0 0 20 0 1 0 42971550 617836544 147971 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 150839 147971 2688 2575 0 147746 0
Current children cumulated CPU time: 3583.88 s
Current children cumulated vsize: 603356 KiB
Current children cumulated memory: 591884 KiB
[startup+3596 s]*
/proc/loadavg: 2.13 2.11 2.17 3/239 39704
/proc/meminfo: memFree=128281456/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=603356 memory=591884 CPUtime=3584.68 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 106374 0 0 0 358439 29 0 0 20 0 1 0 42971550 617836544 147971 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 150839 147971 2688 2575 0 147746 0
Current children cumulated CPU time: 3584.68 s
Current children cumulated vsize: 603356 KiB
Current children cumulated memory: 591884 KiB
[startup+3596.8 s]
/proc/loadavg: 2.13 2.11 2.17 3/239 39704
/proc/meminfo: memFree=128281456/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=603356 memory=591884 CPUtime=3585.47 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 106374 0 0 0 358518 29 0 0 20 0 1 0 42971550 617836544 147971 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 150839 147971 2688 2575 0 147746 0
Current children cumulated CPU time: 3585.47 s
Current children cumulated vsize: 603356 KiB
Current children cumulated memory: 591884 KiB
[startup+3597 s]*
/proc/loadavg: 2.12 2.10 2.17 3/239 39704
/proc/meminfo: memFree=128281456/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=603356 memory=591884 CPUtime=3585.68 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 106374 0 0 0 358539 29 0 0 20 0 1 0 42971550 617836544 147971 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 150839 147971 2688 2575 0 147746 0
Current children cumulated CPU time: 3585.68 s
Current children cumulated vsize: 603356 KiB
Current children cumulated memory: 591884 KiB
[startup+3597.11 s]
/proc/loadavg: 2.12 2.10 2.17 3/239 39704
/proc/meminfo: memFree=128281456/131382112 swapFree=33010684/33010684
[pid=39402] ppid=39399 vsize=603356 memory=591884 CPUtime=3585.78 cores=4,6
/proc/39402/stat : 39402 (pbsolver) R 39399 39402 38426 0 -1 4194304 106374 0 0 0 358549 29 0 0 20 0 1 0 42971550 617836544 147971 18446744073709551615 4198400 14743177 140726028353424 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50417664 140726028360074 140726028360170 140726028360170 140726028365772 0
/proc/39402/statm: 150839 147971 2688 2575 0 147746 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 603356 KiB
Current children cumulated memory: 591884 KiB
Child status: 0
Real time (s): 3597.14
CPU time (s): 3585.82
CPU user time (s): 3585.52
CPU system time (s): 0.295839
CPU usage (%): 99.6852
Max. virtual memory (cumulated for all children) (KiB): 603356
Max. memory (cumulated for all children) (KiB): 591884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.52
system time used= 0.295839
maximum resident set size= 591884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106418
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= 54
involuntary context switches= 19885
# summary of solver processes directly reported to runsolver:
# pid: 39402
# total CPU time (s): 3585.82
# total CPU user time (s): 3585.52
# total CPU system time (s): 0.295839
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0051 second user time and 32.4146 second system time
The end
Begin job on nodeC005 at 2025-06-30 10:42:02 IDJOB=4524444 IDBENCH=181017 IDSOLVER=3366 FILE ID=nodeC005/4524444-1751272922 RUNJOBID= nodeC005-1751268232-38444 SLURM_JOB_ID= 9594172 Free space on /tmp= 433016 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/instances/normalized-QPLIB_5881.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524444-1751272922/watcher-4524444-1751272922 -o /tmp/evaluation-result-4524444-1751272922/solver-4524444-1751272922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751268232-38444 --watchdog 3760 pbsolver -f HOME/instance-4524444-1751272922.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 72a008fff12a99d8557ede6656b5f966 RANDOM SEED=694883639 nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.162 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.479 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.539 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.287 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.492 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.237 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.920 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 128704796 kB MemAvailable: 128869000 kB Buffers: 3280 kB Cached: 966472 kB SwapCached: 0 kB Active: 1399104 kB Inactive: 718584 kB Active(anon): 1165896 kB Inactive(anon): 0 kB Active(file): 233208 kB Inactive(file): 718584 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15028 kB Writeback: 48 kB AnonPages: 1148704 kB Mapped: 134940 kB Shmem: 17960 kB KReclaimable: 104080 kB Slab: 186376 kB SReclaimable: 104080 kB SUnreclaim: 82296 kB KernelStack: 4064 kB PageTables: 5536 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1684152 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 755712 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: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433024 MiB End job on nodeC005 at 2025-06-30 11:41:59