Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | -13067 | 2078.23 | 2083.72 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4524443-1751273024.opb>
0.00/0.01 c original problem has 2243 variables (120 bin, 0 int, 2123 impl, 0 cont) and 2123 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 o 0
0.00/0.01 o -796
0.00/0.01 c feasible solution found by trivial heuristic after 0.0 seconds, objective value -7.960000e+02
0.00/0.01 c presolving:
0.00/0.03 c (0.0s) probing: 51/2243 (2.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.03 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.03 c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
0.00/0.03 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.03 c 0 implications, 4246 cliques
0.00/0.03 c presolved problem has 2243 variables (120 bin, 0 int, 2123 impl, 0 cont) and 2123 constraints
0.00/0.03 c 2123 constraints of type <and>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 10.0.0
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.03 c limits/time = 3596.997022
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.03 c limits/memory = 27900
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c transformed 2/2 original solutions to the transformed problem space
0.00/0.03 c
0.00/0.05 o -4628
0.00/0.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.05 c p 0.0s| 1 | 0 | 0 | - | clique| 0 |2243 |2123 |4246 | 0 | 0 | 0 | 0 |-5.735300e+04 |-4.628000e+03 |1139.26%| unknown
0.29/0.38 c 0.4s| 1 | 0 | 3281 | - | 25M | 0 |2243 |2123 |4246 | 0 | 0 | 0 | 0 |-2.792300e+04 |-4.628000e+03 | 503.35%| unknown
0.39/0.50 c 0.5s| 1 | 0 | 3502 | - | 30M | 0 |2243 |2123 |4341 | 95 | 1 | 0 | 0 |-2.721700e+04 |-4.628000e+03 | 488.09%| unknown
1.09/1.15 c 1.1s| 1 | 0 | 4024 | - | 34M | 0 |2243 |2123 |4491 | 245 | 2 | 0 | 0 |-2.547950e+04 |-4.628000e+03 | 450.55%| unknown
1.68/1.77 c 1.8s| 1 | 0 | 4617 | - | 35M | 0 |2243 |2123 |4632 | 386 | 3 | 0 | 0 |-2.433900e+04 |-4.628000e+03 | 425.91%| unknown
2.38/2.49 c 2.5s| 1 | 0 | 5373 | - | 38M | 0 |2243 |2123 |4753 | 507 | 4 | 0 | 0 |-2.313650e+04 |-4.628000e+03 | 399.92%| unknown
3.18/3.20 c 3.2s| 1 | 0 | 6170 | - | 41M | 0 |2243 |2123 |4885 | 639 | 5 | 0 | 0 |-2.204188e+04 |-4.628000e+03 | 376.27%| unknown
3.98/4.03 c 4.0s| 1 | 0 | 7211 | - | 45M | 0 |2243 |2123 |5040 | 794 | 6 | 0 | 0 |-2.090780e+04 |-4.628000e+03 | 351.77%| unknown
4.87/4.94 c 4.9s| 1 | 0 | 8685 | - | 48M | 0 |2243 |2123 |5160 | 914 | 7 | 0 | 0 |-2.003004e+04 |-4.628000e+03 | 332.80%| unknown
5.97/6.09 c 6.1s| 1 | 0 | 10823 | - | 53M | 0 |2243 |2123 |5294 |1048 | 8 | 0 | 0 |-1.925118e+04 |-4.628000e+03 | 315.97%| unknown
7.36/7.45 c 7.4s| 1 | 0 | 13702 | - | 55M | 0 |2243 |2123 |5424 |1178 | 9 | 0 | 0 |-1.848876e+04 |-4.628000e+03 | 299.50%| unknown
9.06/9.14 c 9.1s| 1 | 0 | 16908 | - | 67M | 0 |2243 |2123 |5541 |1295 | 10 | 0 | 0 |-1.792019e+04 |-4.628000e+03 | 287.21%| unknown
9.76/9.86 c 9.9s| 1 | 0 | 19757 | - | 68M | 0 |2243 |2123 |5620 |1377 | 11 | 0 | 0 |-1.792019e+04 |-4.628000e+03 | 287.21%| unknown
9.76/9.86 c 9.9s| 1 | 0 | 19757 | - | 68M | 0 |2243 |2123 |5620 |1377 | 11 | 0 | 0 |-1.762092e+04 |-4.628000e+03 | 280.75%| unknown
10.55/10.66 c 10.7s| 1 | 0 | 23769 | - | 69M | 0 |2243 |2123 |5707 |1464 | 12 | 0 | 0 |-1.762092e+04 |-4.628000e+03 | 280.75%| unknown
10.65/10.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.65/10.70 c 10.7s| 1 | 0 | 23961 | - | 69M | 0 |2243 |2123 |5707 |1464 | 12 | 0 | 0 |-1.738583e+04 |-4.628000e+03 | 275.67%| unknown
11.15/11.24 c 11.2s| 1 | 0 | 26303 | - | 69M | 0 |2243 |2123 |5739 |1529 | 13 | 0 | 0 |-1.738583e+04 |-4.628000e+03 | 275.67%| unknown
11.15/11.25 c 11.2s| 1 | 0 | 26307 | - | 69M | 0 |2243 |2123 |5739 |1529 | 13 | 0 | 0 |-1.721831e+04 |-4.628000e+03 | 272.05%| unknown
11.75/11.86 c 11.9s| 1 | 0 | 29070 | - | 70M | 0 |2243 |2123 |5798 |1588 | 14 | 0 | 0 |-1.721831e+04 |-4.628000e+03 | 272.05%| unknown
11.75/11.86 c 11.9s| 1 | 0 | 29103 | - | 70M | 0 |2243 |2123 |5798 |1588 | 14 | 0 | 0 |-1.709565e+04 |-4.628000e+03 | 269.40%| unknown
12.25/12.30 c 12.3s| 1 | 0 | 30880 | - | 72M | 0 |2243 |2123 |5771 |1639 | 15 | 0 | 0 |-1.709565e+04 |-4.628000e+03 | 269.40%| unknown
12.25/12.31 c 12.3s| 1 | 0 | 30940 | - | 72M | 0 |2243 |2123 |5771 |1639 | 15 | 0 | 0 |-1.699964e+04 |-4.628000e+03 | 267.32%| unknown
12.65/12.75 c 12.7s| 1 | 0 | 32841 | - | 72M | 0 |2243 |2123 |5821 |1689 | 16 | 0 | 0 |-1.699964e+04 |-4.628000e+03 | 267.32%| unknown
12.65/12.76 c 12.8s| 1 | 0 | 32865 | - | 72M | 0 |2243 |2123 |5821 |1689 | 16 | 0 | 0 |-1.692239e+04 |-4.628000e+03 | 265.65%| unknown
13.15/13.24 c 13.2s| 1 | 0 | 35039 | - | 73M | 0 |2243 |2123 |5848 |1741 | 17 | 0 | 0 |-1.692239e+04 |-4.628000e+03 | 265.65%| unknown
13.15/13.26 c 13.3s| 1 | 0 | 35131 | - | 73M | 0 |2243 |2123 |5848 |1741 | 17 | 0 | 0 |-1.685843e+04 |-4.628000e+03 | 264.27%| unknown
13.54/13.69 c 13.7s| 1 | 0 | 36845 | - | 74M | 0 |2243 |2123 |5888 |1781 | 18 | 0 | 0 |-1.685843e+04 |-4.628000e+03 | 264.27%| unknown
13.54/13.69 c 13.7s| 1 | 0 | 36848 | - | 74M | 0 |2243 |2123 |5888 |1781 | 18 | 0 | 0 |-1.679513e+04 |-4.628000e+03 | 262.90%| unknown
14.05/14.16 c 14.2s| 1 | 0 | 38723 | - | 75M | 0 |2243 |2123 |5902 |1821 | 19 | 0 | 0 |-1.679513e+04 |-4.628000e+03 | 262.90%| unknown
14.05/14.17 c 14.2s| 1 | 0 | 38750 | - | 75M | 0 |2243 |2123 |5902 |1821 | 19 | 0 | 0 |-1.672355e+04 |-4.628000e+03 | 261.36%| unknown
14.45/14.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.45/14.53 c 14.5s| 1 | 0 | 40223 | - | 76M | 0 |2243 |2123 |5936 |1855 | 20 | 0 | 0 |-1.672355e+04 |-4.628000e+03 | 261.36%| unknown
14.45/14.54 c 14.5s| 1 | 0 | 40237 | - | 76M | 0 |2243 |2123 |5936 |1855 | 20 | 0 | 0 |-1.669530e+04 |-4.628000e+03 | 260.75%| unknown
14.55/14.66 c 14.7s| 1 | 0 | 40699 | - | 76M | 0 |2243 |2123 |5949 |1886 | 21 | 0 | 0 |-1.669530e+04 |-4.628000e+03 | 260.75%| unknown
14.55/14.66 c 14.7s| 1 | 0 | 40699 | - | 76M | 0 |2243 |2123 |5949 |1886 | 21 | 0 | 0 |-1.668930e+04 |-4.628000e+03 | 260.62%| unknown
14.65/14.77 c 14.8s| 1 | 0 | 41051 | - | 76M | 0 |2243 |2123 |5967 |1904 | 22 | 0 | 0 |-1.668930e+04 |-4.628000e+03 | 260.62%| unknown
14.65/14.77 c 14.8s| 1 | 0 | 41051 | - | 76M | 0 |2243 |2123 |5967 |1904 | 22 | 0 | 0 |-1.668560e+04 |-4.628000e+03 | 260.54%| unknown
14.75/14.84 c 14.8s| 1 | 0 | 41295 | - | 76M | 0 |2243 |2123 |5981 |1918 | 23 | 0 | 0 |-1.668560e+04 |-4.628000e+03 | 260.54%| unknown
14.75/14.84 c 14.8s| 1 | 0 | 41295 | - | 76M | 0 |2243 |2123 |5981 |1918 | 23 | 0 | 0 |-1.668405e+04 |-4.628000e+03 | 260.50%| unknown
14.75/14.89 c 14.9s| 1 | 0 | 41362 | - | 76M | 0 |2243 |2123 |5946 |1927 | 24 | 0 | 0 |-1.668385e+04 |-4.628000e+03 | 260.50%| unknown
14.85/14.93 c 14.9s| 1 | 0 | 41388 | - | 76M | 0 |2243 |2123 |5949 |1930 | 25 | 0 | 0 |-1.668383e+04 |-4.628000e+03 | 260.50%| unknown
14.85/14.96 c 15.0s| 1 | 0 | 41392 | - | 76M | 0 |2243 |2123 |5950 |1931 | 26 | 0 | 0 |-1.668383e+04 |-4.628000e+03 | 260.50%| unknown
19.63/19.74 o -7841
19.63/19.74 c d19.7s| 1 | 0 | 64593 | - |farkasdi| 0 |2243 |2123 |5950 | 0 | 27 | 0 | 0 |-1.668383e+04 |-7.841000e+03 | 112.78%| unknown
21.53/21.66 o -7979
21.53/21.66 c L21.7s| 1 | 0 | 75225 | - | alns| 0 |2243 |2123 |5950 |1931 | 27 | 0 | 0 |-1.668383e+04 |-7.979000e+03 | 109.10%| unknown
21.53/21.66 o -8250
21.53/21.66 c L21.7s| 1 | 0 | 75225 | - | alns| 0 |2243 |2123 |5950 |1931 | 27 | 0 | 0 |-1.668383e+04 |-8.250000e+03 | 102.23%| unknown
21.53/21.66 c 21.7s| 1 | 0 | 75225 | - | 77M | 0 |2243 |2123 |5950 |1931 | 27 | 0 | 0 |-1.668383e+04 |-8.250000e+03 | 102.23%| unknown
21.62/21.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.62/21.71 c 21.7s| 1 | 0 | 75226 | - | 77M | 0 |2243 |2123 |5951 |1932 | 28 | 0 | 0 |-1.668383e+04 |-8.250000e+03 | 102.23%| unknown
26.31/26.45 c 26.4s| 1 | 2 | 75226 | - | 77M | 0 |2243 |2123 |5951 |1932 | 29 | 0 | 19 |-1.668383e+04 |-8.250000e+03 | 102.23%| unknown
94.14/94.42 o -8697
94.14/94.42 c L94.4s| 31 | 32 |189156 |4925.4 | alns| 20 |2243 |2123 |6575 |2884 | 2 | 0 | 192 |-1.635011e+04 |-8.697000e+03 | 88.00%| unknown
94.14/94.42 o -11491
94.14/94.42 c L94.4s| 31 | 32 |189156 |4925.4 | alns| 20 |2243 |2123 |6575 |2884 | 2 | 0 | 192 |-1.635011e+04 |-1.149100e+04 | 42.29%| unknown
94.14/94.43 o -11555
94.14/94.43 c L94.4s| 31 | 32 |189156 |4925.4 | alns| 20 |2243 |2123 |6575 |2884 | 2 | 0 | 192 |-1.635011e+04 |-1.155500e+04 | 41.50%| unknown
97.74/98.03 o -11925
97.74/98.03 c r98.0s| 55 | 54 |204982 |3029.4 |simplero| 36 |2243 |2123 |6641 |2958 | 0 | 0 | 195 |-1.635011e+04 |-1.192500e+04 | 37.11%| unknown
97.84/98.10 o -11969
97.84/98.10 c r98.1s| 60 | 51 |205310 |2778.3 |simplero| 37 |2243 |2123 |6641 |2958 | 0 | 0 | 195 |-1.635011e+04 |-1.196900e+04 | 36.60%| unknown
106.51/106.85 o -12165
106.51/106.85 c r 107s| 67 | 55 |238243 |2982.6 |simplero| 37 |2243 |2123 |6701 |3056 | 1 | 0 | 207 |-1.629058e+04 |-1.216500e+04 | 33.91%| unknown
106.51/106.87 o -12205
106.51/106.87 c r 107s| 68 | 52 |238349 |2939.6 |simplero| 37 |2243 |2123 |6701 |3056 | 0 | 0 | 207 |-1.629058e+04 |-1.220500e+04 | 33.47%| unknown
106.71/107.02 o -12240
106.71/107.02 c r 107s| 72 | 49 |239029 |2783.6 |simplero| 37 |2243 |2123 |6703 |3060 | 0 | 0 | 207 |-1.629058e+04 |-1.224000e+04 | 33.09%| unknown
108.71/109.08 o -12276
108.71/109.08 c r 109s| 93 | 49 |244664 |2209.5 |simplero| 37 |2243 |2123 |6653 |3084 | 0 | 0 | 217 |-1.629058e+04 |-1.227600e+04 | 32.70%| unknown
109.90/110.27 c 110s| 100 | 50 |247180 |2078.7 | 186M | 37 |2243 |2123 |6650 |3090 | 0 | 0 | 224 |-1.629058e+04 |-1.227600e+04 | 32.70%| unknown
110.40/110.70 o -12340
110.40/110.70 c r 111s| 110 | 50 |249287 |1907.3 |simplero| 37 |2243 |2123 |6654 |3094 | 0 | 0 | 224 |-1.629058e+04 |-1.234000e+04 | 32.01%| unknown
110.40/110.70 o -12405
110.40/110.70 c r 111s| 111 | 49 |249290 |1890.0 |simplero| 37 |2243 |2123 |6654 |3094 | 0 | 0 | 224 |-1.629058e+04 |-1.240500e+04 | 31.32%| unknown
110.50/110.82 o -12426
110.50/110.82 c r 111s| 120 | 48 |249781 |1751.2 |simplero| 37 |2243 |2123 |6655 |3095 | 0 | 0 | 224 |-1.629058e+04 |-1.242600e+04 | 31.10%| unknown
138.23/138.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
138.23/138.60 c 139s| 200 | 52 |357566 |1588.8 | 187M | 37 |2243 |2123 |6647 |3447 | 0 | 0 | 260 |-1.628611e+04 |-1.242600e+04 | 31.06%| unknown
144.31/144.79 o -12431
144.31/144.79 c r 145s| 215 | 57 |387171 |1615.8 |simplero| 37 |2243 |2123 |6678 |3584 | 0 | 0 | 260 |-1.623849e+04 |-1.243100e+04 | 30.63%| unknown
167.56/168.05 o -12662
167.56/168.05 c r 168s| 269 | 74 |468359 |1593.2 |simplero| 37 |2243 |2123 |6800 |4156 | 0 | 0 | 269 |-1.623849e+04 |-1.266200e+04 | 28.25%| unknown
176.33/176.87 o -12740
176.33/176.87 c r 177s| 287 | 75 |496365 |1590.8 |simplero| 37 |2243 |2123 |6803 |4294 | 0 | 0 | 283 |-1.621747e+04 |-1.274000e+04 | 27.30%| unknown
179.23/179.75 c 180s| 300 | 74 |503556 |1545.7 | 249M | 37 |2243 |2123 |6797 |4317 | 2 | 0 | 290 |-1.621747e+04 |-1.274000e+04 | 27.30%| unknown
181.12/181.66 o -12777
181.12/181.66 c r 182s| 320 | 74 |512251 |1476.0 |simplero| 37 |2243 |2123 |6805 |4328 | 0 | 0 | 290 |-1.621747e+04 |-1.277700e+04 | 26.93%| unknown
181.22/181.72 o -12794
181.22/181.72 c r 182s| 322 | 74 |512425 |1467.4 |simplero| 37 |2243 |2123 |6805 |4328 | 0 | 0 | 290 |-1.621747e+04 |-1.279400e+04 | 26.76%| unknown
192.50/193.03 o -12830
192.50/193.03 c L 193s| 378 | 70 |553761 |1359.1 | alns| 37 |2243 |2123 |6812 |4411 | 2 | 0 | 302 |-1.621747e+04 |-1.283000e+04 | 26.40%| unknown
192.50/193.06 o -12895
192.50/193.06 c L 193s| 378 | 70 |553761 |1359.1 | alns| 37 |2243 |2123 |6812 |4411 | 2 | 0 | 302 |-1.621747e+04 |-1.289500e+04 | 25.77%| unknown
197.98/198.53 c 199s| 400 | 70 |578065 |1345.0 | 251M | 37 |2243 |2123 |6820 |4456 | 0 | 0 | 302 |-1.621747e+04 |-1.289500e+04 | 25.77%| unknown
230.30/230.95 c 231s| 500 | 102 |702569 |1325.0 | 252M | 37 |2243 |2123 |6849 |4760 | 0 | 0 | 327 |-1.621747e+04 |-1.289500e+04 | 25.77%| unknown
243.37/244.01 o -12981
243.37/244.01 c L 244s| 578 | 102 |759054 |1243.8 |crossove| 37 |2243 |2123 |6887 |4898 | 1 | 0 | 328 |-1.610753e+04 |-1.298100e+04 | 24.09%| unknown
254.64/255.30 c 255s| 600 | 108 |799255 |1265.2 | 252M | 37 |2243 |2123 |6830 |5033 | 1 | 0 | 339 |-1.598223e+04 |-1.298100e+04 | 23.12%| unknown
268.11/268.84 o -13004
268.11/268.84 c r 269s| 630 | 111 |847624 |1281.8 |simplero| 37 |2243 |2123 |6892 |5176 | 1 | 0 | 357 |-1.585123e+04 |-1.300400e+04 | 21.90%| unknown
271.70/272.40 o -13008
271.70/272.40 c r 272s| 660 | 113 |860717 |1243.3 |simplero| 37 |2243 |2123 |6894 |5198 | 0 | 0 | 362 |-1.585123e+04 |-1.300800e+04 | 21.86%| unknown
284.57/285.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
284.57/285.37 c 285s| 700 | 115 |906497 |1237.6 | 253M | 37 |2243 |2123 |6913 |5287 | 0 | 0 | 383 |-1.583607e+04 |-1.300800e+04 | 21.74%| unknown
322.77/323.65 c 324s| 800 | 121 | 1063k|1279.8 | 254M | 37 |2243 |2123 |6894 |5712 | 2 | 0 | 400 |-1.573030e+04 |-1.300800e+04 | 20.93%| unknown
364.57/365.52 c 366s| 900 | 133 | 1227k|1319.3 | 258M | 37 |2243 |2123 |6908 |6364 | 2 | 0 | 423 |-1.564454e+04 |-1.300800e+04 | 20.27%| unknown
397.10/398.18 o -13016
397.10/398.18 c r 398s| 967 | 140 | 1343k|1348.0 |simplero| 37 |2243 |2123 |6935 |6908 | 0 | 0 | 446 |-1.560202e+04 |-1.301600e+04 | 19.87%| unknown
399.10/400.13 o -13048
399.10/400.13 c r 400s| 981 | 141 | 1350k|1335.4 |simplero| 37 |2243 |2123 |6932 |6915 | 0 | 0 | 448 |-1.560202e+04 |-1.304800e+04 | 19.57%| unknown
399.10/400.14 o -13053
399.10/400.14 c r 400s| 982 | 140 | 1350k|1334.0 |simplero| 37 |2243 |2123 |6932 |6915 | 0 | 0 | 448 |-1.560202e+04 |-1.305300e+04 | 19.53%| unknown
402.48/403.55 c 404s| 1000 | 138 | 1362k|1322.8 | 262M | 37 |2243 |2123 |6887 |6957 | 2 | 0 | 450 |-1.560202e+04 |-1.305300e+04 | 19.53%| unknown
424.13/425.23 c 425s| 1100 | 144 | 1449k|1281.7 | 263M | 37 |2243 |2123 |6954 |7204 | 0 | 0 | 461 |-1.555969e+04 |-1.305300e+04 | 19.20%| unknown
469.60/470.80 c 471s| 1200 | 164 | 1652k|1343.8 | 270M | 37 |2243 |2123 |6951 |7894 | 2 | 0 | 464 |-1.549166e+04 |-1.305300e+04 | 18.68%| unknown
514.78/516.16 c 516s| 1300 | 168 | 1839k|1384.5 | 282M | 37 |2243 |2123 |6904 |8803 | 2 | 0 | 467 |-1.544874e+04 |-1.305300e+04 | 18.35%| unknown
524.24/525.66 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
526.74/528.18 c (run 1, node 1321) performing user restart
526.74/528.18 c
526.74/528.18 c (restart) converted 1856 cuts from the global cut pool into linear constraints
526.74/528.18 c
526.94/528.35 c presolving:
526.94/528.36 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1856 upgd conss, 0 impls, 4246 clqs
526.94/528.37 c (round 2, medium) 0 del vars, 6 del conss, 7 add conss, 0 chg bounds, 7 chg sides, 14 chg coeffs, 1856 upgd conss, 0 impls, 4246 clqs
526.94/528.38 c presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
526.94/528.38 c 0 deleted vars, 7 deleted constraints, 8 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 14 changed coefficients
526.94/528.38 c 0 implications, 4246 cliques
526.94/528.38 c presolved problem has 2243 variables (120 bin, 0 int, 2123 impl, 0 cont) and 3980 constraints
526.94/528.38 c 1500 constraints of type <knapsack>
526.94/528.38 c 334 constraints of type <setppc>
526.94/528.38 c 2123 constraints of type <and>
526.94/528.38 c 23 constraints of type <logicor>
526.94/528.38 c transformed objective value is always integral (scale: 1)
526.94/528.38 c Presolving Time: 0.06
526.94/528.39 c transformed 34/34 original solutions to the transformed problem space
526.94/528.39 c
531.63/533.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
531.63/533.01 c 533s| 1 | 0 | 1907k| - | 274M | 0 |2243 |3980 |6103 | 0 | 0 | 0 | 467 |-1.542863e+04 |-1.305300e+04 | 18.20%| unknown
532.62/534.05 c 534s| 1 | 0 | 1910k| - | 285M | 0 |2243 |3980 |6174 | 71 | 1 | 0 | 467 |-1.542863e+04 |-1.305300e+04 | 18.20%| unknown
534.62/536.09 c 536s| 1 | 0 | 1913k| - | 312M | 0 |2243 |3980 |6260 | 157 | 2 | 0 | 467 |-1.542863e+04 |-1.305300e+04 | 18.20%| unknown
537.31/538.76 c 539s| 1 | 0 | 1916k| - | 313M | 0 |2243 |3980 |6330 | 227 | 3 | 0 | 467 |-1.542863e+04 |-1.305300e+04 | 18.20%| unknown
539.30/540.72 c 541s| 1 | 0 | 1919k| - | 322M | 0 |2243 |3980 |6401 | 298 | 4 | 0 | 467 |-1.526642e+04 |-1.305300e+04 | 16.96%| unknown
541.20/542.63 c 543s| 1 | 0 | 1922k| - | 329M | 0 |2243 |3980 |6470 | 367 | 5 | 0 | 467 |-1.511070e+04 |-1.305300e+04 | 15.76%| unknown
543.09/544.53 c 545s| 1 | 0 | 1925k| - | 343M | 0 |2243 |3980 |6533 | 430 | 6 | 0 | 467 |-1.497900e+04 |-1.305300e+04 | 14.76%| unknown
544.98/546.41 c 546s| 1 | 0 | 1927k| - | 358M | 0 |2243 |3980 |6582 | 479 | 7 | 0 | 467 |-1.488182e+04 |-1.305300e+04 | 14.01%| unknown
547.68/549.16 c 549s| 1 | 0 | 1929k| - | 359M | 0 |2243 |3980 |6628 | 525 | 8 | 0 | 467 |-1.479974e+04 |-1.305300e+04 | 13.38%| unknown
550.37/551.82 c 552s| 1 | 0 | 1932k| - | 360M | 0 |2243 |3980 |6678 | 575 | 9 | 0 | 467 |-1.471385e+04 |-1.305300e+04 | 12.72%| unknown
553.26/554.72 c 555s| 1 | 0 | 1935k| - | 360M | 0 |2243 |3980 |6555 | 637 | 10 | 0 | 467 |-1.471385e+04 |-1.305300e+04 | 12.72%| unknown
553.26/554.72 c 555s| 1 | 0 | 1935k| - | 360M | 0 |2243 |3980 |6555 | 637 | 10 | 0 | 467 |-1.460615e+04 |-1.305300e+04 | 11.90%| unknown
553.66/555.16 c 555s| 1 | 0 | 1936k| - | 360M | 0 |2243 |3980 |6594 | 676 | 11 | 0 | 467 |-1.460615e+04 |-1.305300e+04 | 11.90%| unknown
553.66/555.16 c 555s| 1 | 0 | 1936k| - | 360M | 0 |2243 |3980 |6594 | 676 | 11 | 0 | 467 |-1.458799e+04 |-1.305300e+04 | 11.76%| unknown
554.16/555.68 c 556s| 1 | 0 | 1938k| - | 360M | 0 |2243 |3980 |6619 | 701 | 12 | 0 | 467 |-1.458799e+04 |-1.305300e+04 | 11.76%| unknown
554.16/555.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
554.16/555.68 c 556s| 1 | 0 | 1938k| - | 360M | 0 |2243 |3980 |6619 | 701 | 12 | 0 | 467 |-1.457665e+04 |-1.305300e+04 | 11.67%| unknown
554.45/555.95 c 556s| 1 | 0 | 1938k| - | 360M | 0 |2243 |3980 |6636 | 718 | 13 | 0 | 467 |-1.457277e+04 |-1.305300e+04 | 11.64%| unknown
554.85/556.31 c 556s| 1 | 0 | 1939k| - | 361M | 0 |2243 |3980 |6373 | 733 | 14 | 0 | 467 |-1.457277e+04 |-1.305300e+04 | 11.64%| unknown
554.85/556.31 c 556s| 1 | 0 | 1939k| - | 361M | 0 |2243 |3980 |6373 | 733 | 14 | 0 | 467 |-1.456538e+04 |-1.305300e+04 | 11.59%| unknown
555.05/556.51 c 557s| 1 | 0 | 1940k| - | 362M | 0 |2243 |3980 |6382 | 742 | 15 | 0 | 467 |-1.456538e+04 |-1.305300e+04 | 11.59%| unknown
555.05/556.51 c 557s| 1 | 0 | 1940k| - | 362M | 0 |2243 |3980 |6382 | 742 | 15 | 0 | 467 |-1.456303e+04 |-1.305300e+04 | 11.57%| unknown
555.25/556.78 c 557s| 1 | 0 | 1940k| - | 362M | 0 |2243 |3980 |6389 | 749 | 16 | 0 | 467 |-1.456303e+04 |-1.305300e+04 | 11.57%| unknown
555.25/556.79 c 557s| 1 | 0 | 1940k| - | 362M | 0 |2243 |3980 |6127 | 749 | 16 | 0 | 467 |-1.455805e+04 |-1.305300e+04 | 11.53%| unknown
555.65/557.12 c 557s| 1 | 0 | 1941k| - | 363M | 0 |2243 |3980 |6137 | 759 | 17 | 0 | 467 |-1.455805e+04 |-1.305300e+04 | 11.53%| unknown
555.65/557.13 c 557s| 1 | 0 | 1941k| - | 363M | 0 |2243 |3980 |6137 | 759 | 17 | 0 | 467 |-1.455052e+04 |-1.305300e+04 | 11.47%| unknown
555.85/557.34 c 557s| 1 | 0 | 1942k| - | 364M | 0 |2243 |3980 |6151 | 773 | 18 | 0 | 467 |-1.455052e+04 |-1.305300e+04 | 11.47%| unknown
555.85/557.34 c 557s| 1 | 0 | 1942k| - | 364M | 0 |2243 |3980 |6151 | 773 | 18 | 0 | 467 |-1.454710e+04 |-1.305300e+04 | 11.45%| unknown
556.05/557.51 c 558s| 1 | 0 | 1942k| - | 364M | 0 |2243 |3980 |6106 | 790 | 19 | 0 | 467 |-1.454710e+04 |-1.305300e+04 | 11.45%| unknown
556.05/557.51 c 558s| 1 | 0 | 1942k| - | 364M | 0 |2243 |3980 |6106 | 790 | 19 | 0 | 467 |-1.454410e+04 |-1.305300e+04 | 11.42%| unknown
556.25/557.71 c 558s| 1 | 0 | 1942k| - | 365M | 0 |2243 |3980 |6112 | 796 | 20 | 0 | 467 |-1.454410e+04 |-1.305300e+04 | 11.42%| unknown
556.25/557.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
556.25/557.71 c 558s| 1 | 0 | 1942k| - | 365M | 0 |2243 |3980 |6112 | 796 | 20 | 0 | 467 |-1.454142e+04 |-1.305300e+04 | 11.40%| unknown
556.35/557.80 c 558s| 1 | 0 | 1943k| - | 365M | 0 |2243 |3980 |6125 | 809 | 21 | 0 | 467 |-1.454142e+04 |-1.305300e+04 | 11.40%| unknown
556.35/557.80 c 558s| 1 | 0 | 1943k| - | 365M | 0 |2243 |3980 |6125 | 809 | 21 | 0 | 467 |-1.454038e+04 |-1.305300e+04 | 11.39%| unknown
556.35/557.85 c 558s| 1 | 0 | 1943k| - | 365M | 0 |2243 |3980 |6093 | 812 | 22 | 0 | 467 |-1.454038e+04 |-1.305300e+04 | 11.39%| unknown
556.35/557.85 c 558s| 1 | 0 | 1943k| - | 365M | 0 |2243 |3980 |6093 | 812 | 22 | 0 | 467 |-1.454032e+04 |-1.305300e+04 | 11.39%| unknown
556.35/557.88 c 558s| 1 | 0 | 1943k| - | 365M | 0 |2243 |3980 |6099 | 818 | 23 | 0 | 467 |-1.454031e+04 |-1.305300e+04 | 11.39%| unknown
556.45/557.91 c 558s| 1 | 0 | 1943k| - | 365M | 0 |2243 |3980 |6102 | 821 | 24 | 0 | 467 |-1.454031e+04 |-1.305300e+04 | 11.39%| unknown
570.81/572.36 c 572s| 1 | 2 | 1963k| - | 365M | 0 |2243 |3980 |6102 | 821 | 25 | 0 | 502 |-1.454031e+04 |-1.305300e+04 | 11.39%| unknown
672.81/674.63 c 675s| 100 | 25 | 2185k|1474.8 | 499M | 23 |2243 |3980 |6560 |1958 | 0 | 0 | 714 |-1.438143e+04 |-1.305300e+04 | 10.18%| unknown
720.07/722.07 c 722s| 200 | 33 | 2350k|1486.6 | 500M | 23 |2243 |3980 |6571 |2604 | 2 | 0 | 759 |-1.429081e+04 |-1.305300e+04 | 9.48%| unknown
766.83/768.96 c 769s| 300 | 45 | 2515k|1496.5 | 527M | 23 |2243 |3980 |6660 |3251 | 2 | 0 | 785 |-1.421400e+04 |-1.305300e+04 | 8.89%| unknown
822.58/824.84 c 825s| 400 | 47 | 2714k|1525.2 | 597M | 23 |2243 |3980 |6814 |3841 | 0 | 0 | 808 |-1.419295e+04 |-1.305300e+04 | 8.73%| 14.62%
898.99/901.46 c 901s| 500 | 51 | 2976k|1585.6 | 636M | 23 |2243 |3980 |6796 |4857 | 0 | 0 | 822 |-1.415186e+04 |-1.305300e+04 | 8.42%| 16.33%
1002.44/1005.14 o -13067
1002.44/1005.14 c r1005s| 585 | 68 | 3368k|1720.7 |simplero| 23 |2243 |3980 |6950 |6424 | 0 | 0 | 825 |-1.408574e+04 |-1.306700e+04 | 7.80%| 19.94%
1025.77/1028.57 c 1029s| 600 | 65 | 3444k|1746.7 | 689M | 23 |2243 |3980 |6920 |6861 | 0 | 0 | 825 |-1.408574e+04 |-1.306700e+04 | 7.80%| 21.33%
1165.82/1168.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1165.82/1168.98 c 1169s| 700 | 65 | 3900k|1885.9 | 717M | 23 |2243 |3980 |7096 |8509 | 0 | 0 | 853 |-1.407842e+04 |-1.306700e+04 | 7.74%| 26.77%
1314.16/1317.68 c 1318s| 800 | 65 | 4445k|2054.2 | 1045M | 23 |2243 |3980 |6864 | 10k| 0 | 0 | 865 |-1.400348e+04 |-1.306700e+04 | 7.17%| 34.00%
1421.59/1425.34 c 1425s| 900 | 71 | 4873k|2154.2 | 1049M | 23 |2243 |3980 |6936 | 11k| 2 | 0 | 872 |-1.397117e+04 |-1.306700e+04 | 6.92%| 41.43%
1549.26/1553.30 c 1553s| 1000 | 67 | 5371k|2276.3 | 1061M | 23 |2243 |3980 |6833 | 13k| 2 | 0 | 889 |-1.390867e+04 |-1.306700e+04 | 6.44%| 50.27%
1661.08/1665.44 c 1665s| 1100 | 63 | 5826k|2370.0 | 1062M | 23 |2243 |3980 |6962 | 14k| 1 | 0 | 900 |-1.389215e+04 |-1.306700e+04 | 6.31%| 58.37%
1779.67/1784.37 c 1784s| 1200 | 51 | 6305k|2466.3 | 1065M | 23 |2243 |3980 |6929 | 15k| 2 | 0 | 911 |-1.385016e+04 |-1.306700e+04 | 5.99%| 67.76%
1895.44/1900.46 c 1900s| 1300 | 41 | 6772k|2550.1 | 1067M | 23 |2243 |3980 |6985 | 16k| 0 | 0 | 923 |-1.379384e+04 |-1.306700e+04 | 5.56%| 76.39%
2009.90/2015.24 c 2015s| 1400 | 27 | 7228k|2624.2 | 1069M | 23 |2243 |3980 |6979 | 17k| 2 | 0 | 941 |-1.347100e+04 |-1.306700e+04 | 3.09%| 87.92%
2077.91/2083.46 c
2077.91/2083.46 c SCIP Status : problem is solved [optimal solution found]
2077.91/2083.46 c Solving Time (sec) : 2083.45
2077.91/2083.46 c Solving Nodes : 1439 (total of 2760 nodes in 2 runs)
2077.91/2083.46 c Primal Bound : -1.30670000000000e+04 (36 solutions)
2077.91/2083.46 c Dual Bound : -1.30670000000000e+04
2077.91/2083.46 c Gap : 0.00 %
2077.91/2083.46 s OPTIMUM FOUND
2077.91/2083.46 v x25 x24 x22 x21 x20 -x19 x18 -x17 -x16 x15 -x14 -x13 x11 x10 x9 x8 -x7 -x6 x5 -x4 x3 x2 x120 x119 x118 x117 -x116 x115 -x114 x113
2077.91/2083.46 v x112 -x111 -x109 x108 x107 -x106 x105 -x104 x103 x102 -x101 -x100 x98 x97 x96 x95 x94 -x93 x92 x91 x90 -x89 x87 -x86 x85 -x84
2077.91/2083.46 v x83 x82 -x81 x80 x79 x78 x76 -x75 x74 -x73 x72 -x71 x70 x69 -x68 x67 x65 -x64 -x63 x62 x61 -x60 -x59 x58 x57 -x56 x54 x53
2077.91/2083.46 v -x52 x51 x50 x49 -x48 x47 x46 -x45 x43 -x42 -x41 x40 -x39 x38 x37 x36 x35 -x34 -x32 x31 -x30 x29 x28 x27 x26 x23 x12 x1 x110
2077.91/2083.46 v -x99 -x88 x77 x66 x55 -x44 x33
2077.91/2083.46 c SCIP Status : problem is solved [optimal solution found]
2077.91/2083.46 c Total Time : 2083.45
2077.91/2083.46 c solving : 2083.45
2077.91/2083.46 c presolving : 0.06 (included in solving)
2077.91/2083.46 c reading : 0.00 (included in solving)
2077.91/2083.46 c copying : 0.05 (11 #copies) (minimal 0.00, maximal 0.01, average 0.00)
2077.91/2083.46 c Original Problem :
2077.91/2083.46 c Problem name : HOME/instance-4524443-1751273024.opb
2077.91/2083.46 c Variables : 2243 (120 binary, 0 integer, 2123 implicit integer, 0 continuous)
2077.91/2083.46 c Constraints : 2123 initial, 2123 maximal
2077.91/2083.46 c Objective : minimize, 2243 non-zeros (abs.min = 1, abs.max = 100)
2077.91/2083.46 c Presolved Problem :
2077.91/2083.46 c Problem name : t_HOME/instance-4524443-1751273024.opb
2077.91/2083.46 c Variables : 2243 (120 binary, 0 integer, 2123 implicit integer, 0 continuous)
2077.91/2083.46 c Constraints : 3980 initial, 3980 maximal
2077.91/2083.46 c Objective : minimize, 2243 non-zeros (abs.min = 1, abs.max = 100)
2077.91/2083.46 c Nonzeros : 13986 constraint, 8492 clique table
2077.91/2083.46 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
2077.91/2083.46 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c knapsack : 0.01 0.00 5 0 0 0 0 0 4 8 7 14
2077.91/2083.46 c setppc : 0.00 0.00 5 0 0 0 0 0 3 0 0 0
2077.91/2083.46 c and : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c linear : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c logicor : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c root node : - - - 101 - - 101 - - - - -
2077.91/2083.46 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
2077.91/2083.46 c benderslp : 0 0 0 0 1475 0 0 653 0 0 0 0 0 0 0
2077.91/2083.46 c integral : 0 0 0 0 1475 0 0 653 0 0 0 0 0 0 2950
2077.91/2083.46 c knapsack : 1500 1500 25 10883 0 0 0 0 0 0 5229 42 35 0 0
2077.91/2083.46 c setppc : 334 334 25 10878 0 0 0 0 0 0 2688 6 0 0 0
2077.91/2083.46 c and : 2123 2123 3314 27267 0 0 0 649 0 0 63674 22499 13725 0 0
2077.91/2083.46 c logicor : 23 23 25 1532 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c benders : 0 0 0 0 0 0 0 74 0 0 0 0 0 0 0
2077.91/2083.46 c fixedvar : 0 0 0 0 0 0 0 74 0 0 0 0 0 0 0
2077.91/2083.46 c countsols : 0 0 0 0 0 0 0 74 0 0 0 0 0 0 0
2077.91/2083.46 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
2077.91/2083.46 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c integral : 213.01 0.00 0.00 0.00 213.01 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c knapsack : 0.18 0.00 0.08 0.09 0.00 0.00 0.00 0.00 0.00 0.02
2077.91/2083.46 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c and : 2.34 0.00 1.48 0.70 0.00 0.00 0.00 0.01 0.00 0.15
2077.91/2083.46 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c Propagators : #Propagate #ResProp Cutoffs DomReds
2077.91/2083.46 c dualfix : 4 0 0 0
2077.91/2083.46 c genvbounds : 0 0 0 0
2077.91/2083.46 c nlobbt : 0 0 0 0
2077.91/2083.46 c obbt : 0 0 0 0
2077.91/2083.46 c probing : 0 0 0 0
2077.91/2083.46 c pseudoobj : 7828 0 0 0
2077.91/2083.46 c redcost : 6460 0 0 17104
2077.91/2083.46 c rootredcost : 25 0 0 0
2077.91/2083.46 c symmetry : 0 0 0 0
2077.91/2083.46 c vbounds : 12551 0 0 0
2077.91/2083.46 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
2077.91/2083.46 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
2077.91/2083.46 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
2077.91/2083.46 c redcost : 0.23 0.00 0.00 0.23 0.00 0.00
2077.91/2083.46 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
2077.91/2083.46 c symmetry : 0.01 0.00 0.00 0.01 0.00 0.00
2077.91/2083.46 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
2077.91/2083.46 c Symmetry :
2077.91/2083.46 c orbitopal red. : 0 reductions applied, 0 cutoffs
2077.91/2083.46 c orbital reduction: 0 reductions applied, 0 cutoffs
2077.91/2083.46 c lexicographic red: 0 reductions applied, 0 cutoffs
2077.91/2083.46 c shadow tree time : 0.00 s
2077.91/2083.46 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
2077.91/2083.46 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
2077.91/2083.46 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
2077.91/2083.46 c bound exceed. LP : 0.01 6 0 - 0 0.0 0 0.0 0 0.0 60
2077.91/2083.46 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
2077.91/2083.46 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
2077.91/2083.46 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
2077.91/2083.46 c applied locally : - - - 0 0 0.0 - - 0 - -
2077.91/2083.46 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
2077.91/2083.46 c cut pool : 2.59 - 823 97 - - 19984 48646 - - - - - (maximal pool size: 5978)
2077.91/2083.46 c aggregation : 9.63 0.00 341 53 0 0 260 769 0 26 26 0 0
2077.91/2083.46 c > cmir : - - - - - - - 747 0 20 20 0 -
2077.91/2083.46 c > flowcover : - - - - - - - 22 0 6 6 0 -
2077.91/2083.46 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
2077.91/2083.46 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c clique : 0.01 0.00 53 53 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c gomory : 48.95 0.00 255 20 0 0 13353 17617 0 465 465 0 0
2077.91/2083.46 c > gomorymi : - - - - - - - 6729 0 54 54 0 -
2077.91/2083.46 c > strongcg : - - - - - - - 10888 0 411 411 0 -
2077.91/2083.46 c impliedbounds : 0.06 0.00 341 53 0 0 2481 6570 0 2092 2092 0 0
2077.91/2083.46 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c mixing : 0.00 0.00 341 53 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c multilinear : 0.00 0.00 204 53 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c rapidlearning : 0.03 0.00 0 0 0 0 0 0 0 0 0 0 0
2077.91/2083.46 c rlt : 64.30 0.00 101 20 0 0 3004 19194 0 8665 8665 0 0
2077.91/2083.46 c zerohalf : 8.04 0.00 275 40 0 0 886 4496 0 1370 1370 0 0
2077.91/2083.46 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
2077.91/2083.46 c hybrid : 0.40 0.00 2440 51 26378 0 44815 2753 0 13818
2077.91/2083.46 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c Pricers : ExecTime SetupTime Calls Vars
2077.91/2083.46 c problem variables: 0.19 - 5407 6375
2077.91/2083.46 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
2077.91/2083.46 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c random : 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c relpscost : 213.01 0.00 1475 0 0 0 0 0 0 2950
2077.91/2083.46 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
2077.91/2083.46 c Primal Heuristics : ExecTime SetupTime Calls Found Best
2077.91/2083.46 c LP solutions : 0.00 - - 0 0
2077.91/2083.46 c relax solutions : 0.00 - - 0 0
2077.91/2083.46 c pseudo solutions : 0.00 - - 0 0
2077.91/2083.46 c strong branching : 0.00 - - 0 0
2077.91/2083.46 c actconsdiving : 0.00 0.00 0 0 0
2077.91/2083.46 c adaptivediving : 15.39 0.00 11 0 0
2077.91/2083.46 c alns : 0.30 0.00 5 7 7
2077.91/2083.46 c bound : 0.00 0.00 0 0 0
2077.91/2083.46 c clique : 0.02 0.00 1 1 1
2077.91/2083.46 c coefdiving : 0.00 0.00 0 0 0
2077.91/2083.46 c completesol : 0.00 0.00 0 0 0
2077.91/2083.46 c conflictdiving : 0.00 0.00 0 0 0
2077.91/2083.46 c crossover : 0.05 0.00 2 2 1
2077.91/2083.46 c dins : 0.00 0.00 0 0 0
2077.91/2083.46 c distributiondivin: 20.37 0.00 7 0 0
2077.91/2083.46 c dps : 0.00 0.00 0 0 0
2077.91/2083.46 c dualval : 0.00 0.00 0 0 0
2077.91/2083.46 c farkasdiving : 20.29 0.00 8 1 1
2077.91/2083.46 c feasjump : 0.00 0.00 0 0 0
2077.91/2083.46 c feaspump : 1.90 0.00 1 0 0
2077.91/2083.46 c fixandinfer : 0.00 0.00 0 0 0
2077.91/2083.46 c fracdiving : 4.63 0.00 7 0 0
2077.91/2083.46 c gins : 0.00 0.00 0 0 0
2077.91/2083.46 c guideddiving : 5.94 0.00 7 0 0
2077.91/2083.46 c indcoefdiving : 0.00 0.00 0 0 0
2077.91/2083.46 c indicator : 0.00 0.00 0 0 0
2077.91/2083.46 c indicatordiving : 0.00 0.00 0 0 0
2077.91/2083.46 c indoneopt : 0.00 0.00 0 0 0
2077.91/2083.46 c indrounding : 0.00 0.00 0 0 0
2077.91/2083.46 c indtwoopt : 0.00 0.00 0 0 0
2077.91/2083.46 c intdiving : 0.00 0.00 0 0 0
2077.91/2083.46 c intshifting : 0.00 0.00 0 0 0
2077.91/2083.46 c linesearchdiving : 7.01 0.00 7 0 0
2077.91/2083.46 c localbranching : 0.00 0.00 0 0 0
2077.91/2083.46 c locks : 0.01 0.00 1 0 0
2077.91/2083.46 c lpface : 0.00 0.00 0 0 0
2077.91/2083.46 c mpec : 0.00 0.00 0 0 0
2077.91/2083.46 c multistart : 0.00 0.00 0 0 0
2077.91/2083.46 c mutation : 0.00 0.00 0 0 0
2077.91/2083.46 c nlpdiving : 0.00 0.00 0 0 0
2077.91/2083.46 c objpscostdiving : 19.67 0.00 4 0 0
2077.91/2083.46 c octane : 0.00 0.00 0 0 0
2077.91/2083.46 c ofins : 0.00 0.00 0 0 0
2077.91/2083.46 c oneopt : 0.02 0.00 25 0 0
2077.91/2083.46 c padm : 0.00 0.00 0 0 0
2077.91/2083.46 c proximity : 0.00 0.00 0 0 0
2077.91/2083.46 c pscostdiving : 6.57 0.00 8 0 0
2077.91/2083.46 c randrounding : 0.30 0.00 224 0 0
2077.91/2083.46 c rens : 0.00 0.00 0 0 0
2077.91/2083.46 c reoptsols : 0.00 0.00 0 0 0
2077.91/2083.46 c repair : 0.00 0.00 0 0 0
2077.91/2083.46 c rins : 1.90 0.00 3 3 0
2077.91/2083.46 c rootsoldiving : 5.22 0.00 4 0 0
2077.91/2083.46 c rounding : 0.09 0.00 795 0 0
2077.91/2083.46 c scheduler : 0.00 0.00 0 0 0
2077.91/2083.46 c shiftandpropagate: 0.00 0.00 0 0 0
2077.91/2083.46 c shifting : 0.39 0.00 300 0 0
2077.91/2083.46 c simplerounding : 0.26 0.00 6827 20 20
2077.91/2083.46 c smallcard : 0.00 0.00 0 0 0
2077.91/2083.46 c subnlp : 0.00 0.00 0 0 0
2077.91/2083.46 c trivial : 0.00 0.00 4 2 2
2077.91/2083.46 c trivialnegation : 0.00 0.00 0 0 0
2077.91/2083.46 c trustregion : 0.00 0.00 0 0 0
2077.91/2083.46 c trysol : 0.00 0.00 0 0 0
2077.91/2083.46 c twoopt : 0.00 0.00 0 0 0
2077.91/2083.46 c undercover : 0.05 0.00 1 0 0
2077.91/2083.46 c vbounds : 0.03 0.00 2 0 0
2077.91/2083.46 c veclendiving : 0.85 0.00 7 0 0
2077.91/2083.46 c zeroobj : 0.00 0.00 0 0 0
2077.91/2083.46 c zirounding : 0.69 0.00 1000 0 0
2077.91/2083.46 c other solutions : - - - 0 -
2077.91/2083.46 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
2077.91/2083.46 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
2077.91/2083.46 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
2077.91/2083.46 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
2077.91/2083.46 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
2077.91/2083.46 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
2077.91/2083.46 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
2077.91/2083.46 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
2077.91/2083.46 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
2077.91/2083.46 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
2077.91/2083.46 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
2077.91/2083.46 c primal LP : 514.17 3267 2527070 857.80 4914.84 0.44 321
2077.91/2083.46 c dual LP : 1097.42 6275 4486354 862.76 4088.10 1.44 1075
2077.91/2083.46 c lex dual LP : 0.00 0 0 0.00 -
2077.91/2083.46 c barrier LP : 0.00 0 0 0.00 - 0.00 0
2077.91/2083.46 c resolve instable : 0.00 0 0 0.00 -
2077.91/2083.46 c diving/probing LP: 106.42 782 503655 644.06 4732.81
2077.91/2083.46 c strong branching : 211.08 941 868720 923.19 4115.60 - - 1544
2077.91/2083.46 c (at root node) : - 54 54000 1000.00 -
2077.91/2083.46 c conflict analysis: 0.00 6 60 10.00 -
2077.91/2083.46 c B&B Tree :
2077.91/2083.46 c number of runs : 2
2077.91/2083.46 c nodes : 1439 (719 internal, 720 leaves)
2077.91/2083.46 c feasible leaves : 0
2077.91/2083.46 c infeas. leaves : 720
2077.91/2083.46 c objective leaves : 0
2077.91/2083.46 c nodes (total) : 2760 (1475 internal, 1285 leaves)
2077.91/2083.46 c nodes left : 0
2077.91/2083.46 c max depth : 23
2077.91/2083.46 c max depth (total): 37
2077.91/2083.46 c backtracks : 411 (28.6%)
2077.91/2083.46 c early backtracks : 0 (0.0%)
2077.91/2083.46 c nodes exc. ref. : 0 (0.0%)
2077.91/2083.46 c delayed cutoffs : 0
2077.91/2083.46 c repropagations : 0 (0 domain reductions, 0 cutoffs)
2077.91/2083.46 c avg switch length: 3.75
2077.91/2083.46 c switching time : 0.68
2077.91/2083.46 c Root Node :
2077.91/2083.46 c First LP value : -2.79230000000000e+04
2077.91/2083.46 c First LP Iters : 3281 (11417.30 Iter/sec)
2077.91/2083.46 c First LP Time : 0.29
2077.91/2083.46 c Final Dual Bound : -1.45403106043142e+04
2077.91/2083.46 c Final Root Iters : 90844
2077.91/2083.46 c Root LP Estimate : -8.44537181220634e+03
2077.91/2083.46 c Solution :
2077.91/2083.46 c Solutions found : 36 (32 improvements)
2077.91/2083.46 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
2077.91/2083.46 c Gap First Sol. : infinite
2077.91/2083.46 c Gap Last Sol. : 7.80 %
2077.91/2083.46 c Primal Bound : -1.30670000000000e+04 (in run 2, after 585 nodes, 1005.14 seconds, depth 14, found by <simplerounding>)
2077.91/2083.46 c Dual Bound : -1.30670000000000e+04
2077.91/2083.46 c Gap : 0.00 %
2077.91/2083.46 c Integrals : Total Avg%
2077.91/2083.46 c primal-dual : 23922.43 11.48
2077.91/2083.46 c primal-ref : - - (not evaluated)
2077.91/2083.46 c dual-ref : - - (not evaluated)
2078.20/2083.71 c Time complete: 2078.23.
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: 63665 MiB (62043 MiB free)
memory of node 1: 64507 MiB (63352 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524443-1751273024/watcher-4524443-1751273024 -o /tmp/evaluation-result-4524443-1751273024/solver-4524443-1751273024 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751268232-38744 --watchdog 3760 pbscip -f HOME/instance-4524443-1751273024.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39676, runsolver pid=39673
[startup+0.100067 s]*
/proc/loadavg: 4.58 4.25 4.14 5/264 39677
/proc/meminfo: memFree=128397440/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=70224 memory=40996 CPUtime=0.09 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 7106 0 0 0 8 1 0 0 20 0 1 0 42980109 71909376 10249 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 17556 10249 3840 3530 0 9007 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70224 KiB
Current children cumulated memory: 40996 KiB
[startup+0.205466 s]*
/proc/loadavg: 4.58 4.25 4.14 5/264 39677
/proc/meminfo: memFree=128397440/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=71168 memory=41508 CPUtime=0.19 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 7255 0 0 0 18 1 0 0 20 0 1 0 42980109 72876032 10377 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 17792 10377 3840 3530 0 9243 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71168 KiB
Current children cumulated memory: 41508 KiB
[startup+0.305109 s]*
/proc/loadavg: 4.58 4.25 4.14 5/264 39677
/proc/meminfo: memFree=128397440/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=71620 memory=42148 CPUtime=0.29 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 7396 0 0 0 28 1 0 0 20 0 1 0 42980109 73338880 10537 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 17905 10537 3840 3530 0 9356 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71620 KiB
Current children cumulated memory: 42148 KiB
[startup+0.700112 s]
/proc/loadavg: 4.58 4.25 4.14 5/264 39677
/proc/meminfo: memFree=128378040/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=88664 memory=59576 CPUtime=0.68 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 13319 0 0 0 66 2 0 0 20 0 1 0 42980109 90791936 14894 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 22166 14894 3936 3530 0 13617 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88664 KiB
Current children cumulated memory: 59576 KiB
[startup+1.50013 s]
/proc/loadavg: 4.58 4.25 4.14 5/264 39677
/proc/meminfo: memFree=128378040/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=88664 memory=59704 CPUtime=1.48 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 13351 0 0 0 146 2 0 0 20 0 1 0 42980109 90791936 14926 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 22166 14926 3936 3530 0 13617 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88664 KiB
Current children cumulated memory: 59704 KiB
[startup+3.10527 s]
/proc/loadavg: 4.58 4.25 4.14 5/264 39677
/proc/meminfo: memFree=128378056/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=89284 memory=60216 CPUtime=3.08 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 13483 0 0 0 306 2 0 0 20 0 1 0 42980109 91426816 15054 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 22321 15054 3936 3530 0 13772 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89284 KiB
Current children cumulated memory: 60216 KiB
[startup+6.30017 s]
/proc/loadavg: 4.62 4.26 4.14 5/264 39677
/proc/meminfo: memFree=128370308/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=101328 memory=70840 CPUtime=6.26 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 16152 0 0 0 624 2 0 0 20 0 1 0 42980109 103759872 17710 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 25332 17710 3936 3530 0 16783 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 101328 KiB
Current children cumulated memory: 70840 KiB
[startup+12.7001 s]
/proc/loadavg: 4.65 4.27 4.15 5/264 39677
/proc/meminfo: memFree=128354188/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=119700 memory=86072 CPUtime=12.65 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 19974 0 0 0 1262 3 0 0 20 0 1 0 42980109 122572800 21518 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 29925 21518 3936 3530 0 21376 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 119700 KiB
Current children cumulated memory: 86072 KiB
[startup+25.5002 s]
/proc/loadavg: 4.50 4.26 4.14 5/264 39677
/proc/meminfo: memFree=128342092/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=134596 memory=98104 CPUtime=25.42 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 22931 0 0 0 2538 4 0 0 20 0 1 0 42980109 137826304 24526 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 33649 24526 3968 3530 0 25100 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 134596 KiB
Current children cumulated memory: 98104 KiB
[startup+51.105 s]
/proc/loadavg: 4.39 4.25 4.14 5/264 39677
/proc/meminfo: memFree=128341872/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=134596 memory=98104 CPUtime=50.96 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 22933 0 0 0 5092 4 0 0 20 0 1 0 42980109 137826304 24526 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 33649 24526 3968 3530 0 25100 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 134596 KiB
Current children cumulated memory: 98104 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.23 4.14 5/264 39679
/proc/meminfo: memFree=128248776/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=242620 memory=197932 CPUtime=102.02 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 32591 0 0 0 10195 7 0 0 20 0 1 0 42980109 248442880 49483 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 60655 49483 3968 3530 0 52106 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 242620 KiB
Current children cumulated memory: 197932 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.20 4.13 5/264 39681
/proc/meminfo: memFree=128194296/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=295148 memory=235760 CPUtime=161.87 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 37438 0 0 0 16179 8 0 0 20 0 1 0 42980109 302231552 58940 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 73787 58940 3968 3530 0 65238 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 295148 KiB
Current children cumulated memory: 235760 KiB
[startup+222.3 s]
/proc/loadavg: 3.51 4.01 4.07 4/256 39713
/proc/meminfo: memFree=128687764/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=311924 memory=251504 CPUtime=221.72 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 41381 0 0 0 22163 9 0 0 20 0 1 0 42980109 319410176 62876 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 77981 62876 3968 3530 0 69432 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 311924 KiB
Current children cumulated memory: 251504 KiB
[startup+282.3 s]
/proc/loadavg: 3.23 3.84 4.01 4/259 39724
/proc/meminfo: memFree=128679840/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=316976 memory=257368 CPUtime=281.57 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 43391 0 0 0 28148 9 0 0 20 0 1 0 42980109 324583424 64342 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 79244 64342 3968 3530 0 70695 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 316976 KiB
Current children cumulated memory: 257368 KiB
[startup+342.3 s]
/proc/loadavg: 3.20 3.71 3.95 4/259 39726
/proc/meminfo: memFree=128659844/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=316976 memory=257368 CPUtime=341.43 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 43416 0 0 0 34134 9 0 0 20 0 1 0 42980109 324583424 64342 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 79244 64342 3968 3530 0 70695 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 316976 KiB
Current children cumulated memory: 257368 KiB
[startup+402.3 s]
/proc/loadavg: 3.14 3.60 3.89 4/259 39728
/proc/meminfo: memFree=128627556/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=327656 memory=274780 CPUtime=401.29 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 45759 0 0 0 40119 10 0 0 20 0 1 0 42980109 335519744 68695 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 81914 68695 3968 3530 0 73365 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 327656 KiB
Current children cumulated memory: 274780 KiB
[startup+462.3 s]
/proc/loadavg: 3.28 3.57 3.87 4/259 39730
/proc/meminfo: memFree=128579976/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=332528 memory=280284 CPUtime=461.13 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 47140 0 0 0 46103 10 0 0 20 0 1 0 42980109 340508672 70071 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 83132 70071 3968 3530 0 74583 0
################
# More data... #
################
/proc/loadavg: 3.11 3.12 3.35 4/257 39793
/proc/meminfo: memFree=127787468/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1085272 memory=951208 CPUtime=1478.44 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 119215 0 0 0 147815 29 0 0 20 0 1 0 42980109 1111318528 237802 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 271318 237802 3968 3530 0 262769 0
Current children cumulated CPU time: 1478.44 s
Current children cumulated vsize: 1085272 KiB
Current children cumulated memory: 951208 KiB
[startup+1542.3 s]
/proc/loadavg: 3.12 3.11 3.33 4/258 39796
/proc/meminfo: memFree=127787032/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1089212 memory=952872 CPUtime=1538.29 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 119821 0 0 0 153800 29 0 0 20 0 1 0 42980109 1115353088 238218 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 272303 238218 3968 3530 0 263754 0
Current children cumulated CPU time: 1538.29 s
Current children cumulated vsize: 1089212 KiB
Current children cumulated memory: 952872 KiB
[startup+1602.3 s]
/proc/loadavg: 3.10 3.11 3.31 4/258 39799
/proc/meminfo: memFree=127763132/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1089212 memory=952872 CPUtime=1598.14 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 119821 0 0 0 159785 29 0 0 20 0 1 0 42980109 1115353088 238218 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 272303 238218 3968 3530 0 263754 0
Current children cumulated CPU time: 1598.14 s
Current children cumulated vsize: 1089212 KiB
Current children cumulated memory: 952872 KiB
[startup+1662.3 s]
/proc/loadavg: 3.08 3.10 3.29 4/258 39802
/proc/meminfo: memFree=127764288/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1089864 memory=952872 CPUtime=1657.99 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 119822 0 0 0 165770 29 0 0 20 0 1 0 42980109 1116020736 238218 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 272466 238218 3968 3530 0 263917 0
Current children cumulated CPU time: 1657.99 s
Current children cumulated vsize: 1089864 KiB
Current children cumulated memory: 952872 KiB
[startup+1722.3 s]
/proc/loadavg: 3.07 3.09 3.27 4/257 39804
/proc/meminfo: memFree=127765436/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1093072 memory=952872 CPUtime=1717.84 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 119827 0 0 0 171755 29 0 0 20 0 1 0 42980109 1119305728 238218 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 273268 238218 3968 3530 0 264719 0
Current children cumulated CPU time: 1717.84 s
Current children cumulated vsize: 1093072 KiB
Current children cumulated memory: 952872 KiB
[startup+1782.3 s]
/proc/loadavg: 3.08 3.09 3.26 4/257 39806
/proc/meminfo: memFree=127760796/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1093072 memory=952872 CPUtime=1777.68 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 119952 0 0 0 177739 29 0 0 20 0 1 0 42980109 1119305728 238218 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 273268 238218 3968 3530 0 264719 0
Current children cumulated CPU time: 1777.68 s
Current children cumulated vsize: 1093072 KiB
Current children cumulated memory: 952872 KiB
[startup+1842.3 s]
/proc/loadavg: 3.07 3.08 3.25 4/257 39808
/proc/meminfo: memFree=127742500/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1093348 memory=953128 CPUtime=1837.5 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 120080 0 0 0 183721 29 0 0 20 0 1 0 42980109 1119588352 238282 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 273337 238282 3968 3530 0 264788 0
Current children cumulated CPU time: 1837.5 s
Current children cumulated vsize: 1093348 KiB
Current children cumulated memory: 953128 KiB
[startup+1902.3 s]
/proc/loadavg: 3.12 3.10 3.24 4/256 39810
/proc/meminfo: memFree=127744924/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1094824 memory=953512 CPUtime=1897.33 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 120185 0 0 0 189704 29 0 0 20 0 1 0 42980109 1121099776 238378 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 273706 238378 3968 3530 0 265157 0
Current children cumulated CPU time: 1897.33 s
Current children cumulated vsize: 1094824 KiB
Current children cumulated memory: 953512 KiB
[startup+1962.3 s]
/proc/loadavg: 3.04 3.08 3.23 4/257 39813
/proc/meminfo: memFree=127739380/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1095976 memory=954536 CPUtime=1957.15 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 120424 0 0 0 195686 29 0 0 20 0 1 0 42980109 1122279424 238634 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 273994 238634 3968 3530 0 265445 0
Current children cumulated CPU time: 1957.15 s
Current children cumulated vsize: 1095976 KiB
Current children cumulated memory: 954536 KiB
[startup+2022.3 s]
/proc/loadavg: 3.12 3.09 3.22 4/257 39815
/proc/meminfo: memFree=127736968/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1096340 memory=954792 CPUtime=2016.98 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 120495 0 0 0 201669 29 0 0 20 0 1 0 42980109 1122652160 238698 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 274085 238698 3968 3530 0 265536 0
Current children cumulated CPU time: 2016.98 s
Current children cumulated vsize: 1096340 KiB
Current children cumulated memory: 954792 KiB
[startup+2082.3 s]
/proc/loadavg: 3.10 3.09 3.21 4/258 39823
/proc/meminfo: memFree=127724708/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1096340 memory=954792 CPUtime=2076.81 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 120495 0 0 0 207652 29 0 0 20 0 1 0 42980109 1122652160 238698 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 274085 238698 3968 3530 0 265536 0
Current children cumulated CPU time: 2076.81 s
Current children cumulated vsize: 1096340 KiB
Current children cumulated memory: 954792 KiB
[startup+2083.72 s]
# the end of solver process 39676 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2077.93 s, system=0.303094 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2082.4 s]
/proc/loadavg: 3.10 3.09 3.21 4/258 39823
/proc/meminfo: memFree=127724708/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1096340 memory=954792 CPUtime=2076.91 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 120495 0 0 0 207662 29 0 0 20 0 1 0 42980109 1122652160 238698 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 274085 238698 3968 3530 0 265536 0
Current children cumulated CPU time: 2076.91 s
Current children cumulated vsize: 1096340 KiB
Current children cumulated memory: 954792 KiB
[startup+2083.2 s]
/proc/loadavg: 3.10 3.09 3.21 4/258 39824
/proc/meminfo: memFree=127724772/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1096340 memory=954792 CPUtime=2077.71 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 120495 0 0 0 207742 29 0 0 20 0 1 0 42980109 1122652160 238698 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 274085 238698 3968 3530 0 265536 0
Current children cumulated CPU time: 2077.71 s
Current children cumulated vsize: 1096340 KiB
Current children cumulated memory: 954792 KiB
[startup+2083.6 s]
/proc/loadavg: 3.10 3.09 3.21 4/258 39824
/proc/meminfo: memFree=127724772/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1096340 memory=954792 CPUtime=2078.11 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 120495 0 0 0 207782 29 0 0 20 0 1 0 42980109 1122652160 238698 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 274085 238698 3968 3530 0 265536 0
Current children cumulated CPU time: 2078.11 s
Current children cumulated vsize: 1096340 KiB
Current children cumulated memory: 954792 KiB
[startup+2083.7 s]
/proc/loadavg: 3.10 3.09 3.21 4/258 39824
/proc/meminfo: memFree=127724772/131249996 swapFree=33010684/33010684
[pid=39676] ppid=39673 vsize=1096340 memory=954792 CPUtime=2078.2 cores=1,3
/proc/39676/stat : 39676 (pbscip) R 39673 39676 38726 0 -1 4194304 120495 0 0 0 207791 29 0 0 20 0 1 0 42980109 1122652160 238698 18446744073709551615 4235264 18693293 140722871875104 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28454912 140722871884169 140722871884268 140722871884268 140722871889870 0
/proc/39676/statm: 274085 238698 3968 3530 0 265536 0
Current children cumulated CPU time: 2078.2 s
Current children cumulated vsize: 1096340 KiB
Current children cumulated memory: 954792 KiB
Child status: 0
Real time (s): 2083.72
CPU time (s): 2078.23
CPU user time (s): 2077.93
CPU system time (s): 0.303094
CPU usage (%): 99.7368
Max. virtual memory (cumulated for all children) (KiB): 1096340
Max. memory (cumulated for all children) (KiB): 954792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2077.93
system time used= 0.303094
maximum resident set size= 954792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120505
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= 112
involuntary context switches= 3327
# summary of solver processes directly reported to runsolver:
# pid: 39676
# total CPU time (s): 2078.23
# total CPU user time (s): 2077.93
# total CPU system time (s): 0.303094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.57042 second user time and 7.27822 second system time
The end
Begin job on nodeC021 at 2025-06-30 10:43:44 IDJOB=4524443 IDBENCH=181017 IDSOLVER=3365 FILE ID=nodeC021/4524443-1751273024 RUNJOBID= nodeC021-1751268232-38744 SLURM_JOB_ID= 9594188 Free space on /tmp= 433008 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/instances/normalized-QPLIB_5881.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524443-1751273024/watcher-4524443-1751273024 -o /tmp/evaluation-result-4524443-1751273024/solver-4524443-1751273024 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751268232-38744 --watchdog 3760 pbscip -f HOME/instance-4524443-1751273024.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 72a008fff12a99d8557ede6656b5f966 RANDOM SEED=694883639 nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.773 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.216 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.492 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.774 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.775 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.767 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.158 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128405428 kB MemAvailable: 128505180 kB Buffers: 3280 kB Cached: 907132 kB SwapCached: 0 kB Active: 1618924 kB Inactive: 649776 kB Active(anon): 1376348 kB Inactive(anon): 0 kB Active(file): 242576 kB Inactive(file): 649776 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18712 kB Writeback: 0 kB AnonPages: 1359192 kB Mapped: 138084 kB Shmem: 18060 kB KReclaimable: 92880 kB Slab: 179392 kB SReclaimable: 92880 kB SUnreclaim: 86512 kB KernelStack: 4256 kB PageTables: 5820 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1734976 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 1105920 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433008 MiB End job on nodeC021 at 2025-06-30 11:18:28