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 | SAT | -70 | 3587.52 | 3597.27 |
| Name | PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-5000opt.opb |
| MD5SUM | 267318dc6252912ba1edb3875073cd29 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -70 |
| Best CPU time to get the best result obtained on this benchmark | 2.66223 |
| 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 | 2025 |
| Total number of constraints | 30912 |
| Number of constraints which are clauses | 30912 |
| 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 | 2 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 135 |
| Biggest coefficient in the objective function | 4 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 317 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 317 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| 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-4432774-1721119839.opb>
0.10/0.17 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30912 constraints
0.10/0.17 c problem read in 0.16
0.21/0.26 o 0
0.21/0.26 c feasible solution found by trivial heuristic after 0.3 seconds, objective value 0.000000e+00
0.21/0.26 c presolving:
0.31/0.37 c (round 1, fast) 568 del vars, 568 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 602 clqs
0.42/0.50 c (0.5s) running MILP presolver
0.51/0.61 c (0.6s) MILP presolver (3 rounds): 0 aggregations, 26 fixings, 0 bound changes
0.51/0.61 c (round 2, medium) 594 del vars, 568 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 524 clqs
0.59/0.62 c (round 3, fast) 594 del vars, 646 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1054 clqs
0.59/0.65 c (round 4, exhaustive) 594 del vars, 4898 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1054 clqs
0.69/0.77 c (round 5, exhaustive) 594 del vars, 4898 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 26014 upgd conss, 0 impls, 1054 clqs
0.79/0.84 c (round 6, exhaustive) 594 del vars, 4991 del conss, 31 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 26014 upgd conss, 0 impls, 1054 clqs
0.89/0.98 c (1.0s) probing: 51/1431 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.98 c (1.0s) probing aborted: 50/50 successive totally useless probings
0.89/0.98 c (1.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.99/1.04 c (1.0s) no symmetry present (symcode time: 0.01)
0.99/1.07 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
0.99/1.07 c 594 deleted vars, 4991 deleted constraints, 31 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.07 c 0 implications, 1054 cliques
0.99/1.07 c presolved problem has 1431 variables (1431 bin, 0 int, 0 impl, 0 cont) and 25952 constraints
0.99/1.07 c 992 constraints of type <setppc>
0.99/1.07 c 31 constraints of type <and>
0.99/1.07 c 24929 constraints of type <logicor>
0.99/1.07 c transformed objective value is always integral (scale: 1)
0.99/1.07 c Presolving Time: 0.82
0.99/1.07 c - non default parameters ----------------------------------------------------------------------
0.99/1.07 c # SCIP version 10.0.0
0.99/1.07 c
0.99/1.07 c # maximal time in seconds to run
0.99/1.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.99/1.07 c limits/time = 3596.994059
0.99/1.07 c
0.99/1.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.99/1.07 c limits/memory = 27900
0.99/1.07 c
0.99/1.07 c # belongs reading time to solving time?
0.99/1.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.99/1.07 c timing/reading = TRUE
0.99/1.07 c
0.99/1.07 c -----------------------------------------------------------------------------------------------
0.99/1.07 c start solving
0.99/1.07 c
0.99/1.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.99/1.08 c t 1.1s| 1 | 0 | 0 | - | trivial| 0 |1431 | 25k| 0 | 0 | 0 | 0 | 0 |-2.570000e+02 | 0.000000e+00 | Inf | unknown
1.09/1.18 o -35
1.09/1.18 c p 1.2s| 1 | 0 | 0 | - | clique| 0 |1431 | 25k| 25k| 0 | 0 | 0 | 0 |-2.570000e+02 |-3.500000e+01 | 634.29%| unknown
5.37/5.45 c 5.4s| 1 | 0 | 10123 | - | 90M | 0 |1431 | 26k| 25k| 0 | 0 | 52 | 0 |-1.861250e+02 |-3.500000e+01 | 431.79%| unknown
11.35/11.45 c 11.4s| 1 | 0 | 20228 | - | 98M | 0 |1431 | 26k| 25k| 13 | 1 | 62 | 0 |-1.762354e+02 |-3.500000e+01 | 403.53%| unknown
16.84/17.01 c 17.0s| 1 | 0 | 29278 | - | 107M | 0 |1431 | 26k| 26k| 28 | 2 | 72 | 0 |-1.710750e+02 |-3.500000e+01 | 388.79%| unknown
21.33/21.48 c 21.5s| 1 | 0 | 36730 | - | 123M | 0 |1431 | 26k| 26k| 40 | 3 | 73 | 0 |-1.694626e+02 |-3.500000e+01 | 384.18%| unknown
25.32/25.45 c 25.4s| 1 | 0 | 43303 | - | 133M | 0 |1431 | 26k| 26k| 53 | 4 | 74 | 0 |-1.675771e+02 |-3.500000e+01 | 378.79%| unknown
30.80/30.95 c 30.9s| 1 | 0 | 52101 | - | 142M | 0 |1431 | 26k| 26k| 62 | 5 | 75 | 0 |-1.660391e+02 |-3.500000e+01 | 374.40%| unknown
38.19/38.37 c 38.4s| 1 | 0 | 63222 | - | 153M | 0 |1431 | 26k| 26k| 73 | 6 | 76 | 0 |-1.628864e+02 |-3.500000e+01 | 365.39%| unknown
41.78/41.98 c 42.0s| 1 | 0 | 69157 | - | 161M | 0 |1431 | 26k| 26k| 81 | 7 | 77 | 0 |-1.617578e+02 |-3.500000e+01 | 362.17%| unknown
46.87/47.06 c 47.0s| 1 | 0 | 77302 | - | 173M | 0 |1431 | 26k| 26k| 86 | 8 | 87 | 0 |-1.606111e+02 |-3.500000e+01 | 358.89%| unknown
50.97/51.17 c 51.2s| 1 | 0 | 84013 | - | 183M | 0 |1431 | 26k| 26k| 93 | 9 | 89 | 0 |-1.598375e+02 |-3.500000e+01 | 356.68%| unknown
55.85/56.09 c 56.1s| 1 | 0 | 91478 | - | 190M | 0 |1431 | 26k| 26k| 96 | 10 | 90 | 0 |-1.591331e+02 |-3.500000e+01 | 354.67%| unknown
60.63/60.86 c 60.9s| 1 | 0 | 99873 | - | 192M | 0 |1431 | 26k| 26k| 101 | 11 | 91 | 0 |-1.589262e+02 |-3.500000e+01 | 354.07%| unknown
64.83/65.03 c 65.0s| 1 | 0 |107392 | - | 195M | 0 |1431 | 26k| 26k| 103 | 12 | 93 | 0 |-1.581722e+02 |-3.500000e+01 | 351.92%| unknown
69.30/69.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
69.30/69.53 c 69.5s| 1 | 0 |115461 | - | 198M | 0 |1431 | 26k| 26k| 108 | 13 | 95 | 0 |-1.573036e+02 |-3.500000e+01 | 349.44%| unknown
73.59/73.86 c 73.9s| 1 | 0 |123185 | - | 200M | 0 |1431 | 26k| 26k| 115 | 14 | 96 | 0 |-1.557615e+02 |-3.500000e+01 | 345.03%| unknown
73.99/74.29 c 74.3s| 1 | 0 |124251 | - | 203M | 0 |1431 | 26k| 26k| 119 | 15 | 97 | 0 |-1.557615e+02 |-3.500000e+01 | 345.03%| unknown
78.48/78.76 c 78.7s| 1 | 0 |132130 | - | 205M | 0 |1431 | 26k| 26k| 121 | 16 | 107 | 0 |-1.552516e+02 |-3.500000e+01 | 343.58%| unknown
83.07/83.32 c 83.3s| 1 | 0 |139664 | - | 208M | 0 |1431 | 26k| 26k| 127 | 17 | 109 | 0 |-1.534940e+02 |-3.500000e+01 | 338.55%| unknown
88.65/88.98 c 89.0s| 1 | 0 |149139 | - | 210M | 0 |1431 | 26k| 26k| 131 | 18 | 111 | 0 |-1.513116e+02 |-3.500000e+01 | 332.32%| unknown
89.25/89.59 c 89.6s| 1 | 0 |150658 | - | 213M | 0 |1431 | 26k| 26k| 135 | 19 | 113 | 0 |-1.513116e+02 |-3.500000e+01 | 332.32%| unknown
91.44/91.70 c 91.7s| 1 | 0 |155026 | - | 215M | 0 |1431 | 26k| 26k| 138 | 20 | 115 | 0 |-1.501644e+02 |-3.500000e+01 | 329.04%| unknown
91.76/92.02 c 92.0s| 1 | 0 |155832 | - | 215M | 0 |1431 | 26k| 26k| 139 | 21 | 116 | 0 |-1.500412e+02 |-3.500000e+01 | 328.69%| unknown
123.06/123.47 o -58
123.06/123.47 c d 123s| 1 | 0 |202055 | - |farkasdi| 0 |1431 | 26k| 26k| 0 | 22 | 140 | 0 |-1.500412e+02 |-5.800000e+01 | 158.69%| unknown
142.42/142.86 c 143s| 1 | 0 |243117 | - | 218M | 0 |1431 | 26k| 26k| 139 | 22 | 148 | 0 |-1.500412e+02 |-5.800000e+01 | 158.69%| unknown
145.52/145.96 c 146s| 1 | 0 |249217 | - | 218M | 0 |1431 | 26k| 26k| 143 | 23 | 151 | 0 |-1.495274e+02 |-5.800000e+01 | 157.81%| unknown
149.72/150.17 c 150s| 1 | 0 |256817 | - | 218M | 0 |1431 | 26k| 26k| 144 | 24 | 152 | 0 |-1.490679e+02 |-5.800000e+01 | 157.01%| unknown
162.27/162.70 c 163s| 1 | 2 |256829 | - | 218M | 0 |1431 | 26k| 26k| 144 | 24 | 162 | 21 |-1.490679e+02 |-5.800000e+01 | 157.01%| unknown
284.05/284.87 o -59
284.05/284.87 c r 285s| 30 | 16 |488442 |10996.9 |rounding| 15 |1431 | 26k| 26k| 279 | 0 | 208 | 21 |-1.435884e+02 |-5.900000e+01 | 143.37%| 1.66%
304.90/305.80 o -61
304.90/305.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
304.90/305.80 c r 306s| 36 | 18 |531717 |10348.1 |rounding| 17 |1431 | 26k| 26k| 283 | 0 | 219 | 21 |-1.435884e+02 |-6.100000e+01 | 135.39%| 2.58%
549.76/551.25 c 551s| 100 | 41 | 1000k|8390.2 | 323M | 21 |1431 | 26k| 26k| 420 | 0 | 326 | 21 |-1.407167e+02 |-6.100000e+01 | 130.68%| 5.28%
691.12/692.94 c 693s| 200 | 61 | 1290k|5633.0 | 323M | 22 |1431 | 26k| 26k| 437 | 2 | 362 | 21 |-1.346250e+02 |-6.100000e+01 | 120.70%| 6.10%
813.62/815.76 c 816s| 300 | 68 | 1543k|4595.4 | 319M | 25 |1431 | 26k| 26k| 459 | 1 | 417 | 21 |-1.319167e+02 |-6.100000e+01 | 116.26%| 6.91%
981.22/983.77 c 984s| 400 | 72 | 1887k|4306.6 | 352M | 25 |1431 | 26k| 26k| 634 | 0 | 456 | 21 |-1.295833e+02 |-6.100000e+01 | 112.43%| 7.95%
1036.40/1039.03 o -63
1036.40/1039.03 c d1039s| 413 | 77 | 1998k|4439.9 |linesear| 25 |1431 | 26k| 26k| 0 | 2 | 469 | 21 |-1.290833e+02 |-6.300000e+01 | 104.89%| 8.49%
1065.51/1068.21 o -64
1065.51/1068.21 c r1068s| 444 | 78 | 2066k|4281.6 |rounding| 25 |1431 | 26k| 26k| 727 | 0 | 473 | 21 |-1.290833e+02 |-6.400000e+01 | 101.69%| 8.51%
1121.47/1124.34 c 1124s| 500 | 84 | 2194k|4057.5 | 360M | 25 |1431 | 26k| 26k| 730 | 0 | 498 | 21 |-1.286184e+02 |-6.400000e+01 | 100.97%| 9.00%
1333.46/1336.81 c 1337s| 600 | 94 | 2620k|4091.9 | 379M | 25 |1431 | 26k| 26k| 846 | 1 | 556 | 21 |-1.272500e+02 |-6.400000e+01 | 98.83%| 11.09%
1446.59/1450.29 o -65
1446.59/1450.29 c r1450s| 684 | 103 | 2858k|3937.2 |rounding| 25 |1431 | 26k| 26k| 880 | 2 | 578 | 21 |-1.272500e+02 |-6.500000e+01 | 95.77%| 11.97%
1506.26/1510.07 o -66
1506.26/1510.07 c r1510s| 700 | 103 | 2977k|4017.6 |rounding| 25 |1431 | 26k| 26k|1000 | 0 | 588 | 21 |-1.264444e+02 |-6.600000e+01 | 91.58%| 13.18%
1726.30/1730.69 c 1731s| 800 | 103 | 3426k|4076.2 | 422M | 25 |1431 | 26k| 26k|1417 | 1 | 614 | 21 |-1.256667e+02 |-6.600000e+01 | 90.40%| 18.69%
1965.92/1970.82 c 1971s| 900 | 115 | 3897k|4146.6 | 435M | 25 |1431 | 26k| 26k|1730 | 1 | 653 | 21 |-1.251667e+02 |-6.600000e+01 | 89.65%| 21.60%
2052.90/2058.07 o -67
2052.90/2058.07 c r2058s| 975 | 118 | 4090k|4025.4 |rounding| 25 |1431 | 26k| 26k|1813 | 0 | 670 | 21 |-1.242878e+02 |-6.700000e+01 | 85.50%| 21.96%
2082.19/2087.44 o -68
2082.19/2087.44 c r2087s| 996 | 118 | 4150k|4000.5 |rounding| 25 |1431 | 26k| 26k|1816 | 0 | 690 | 21 |-1.237500e+02 |-6.800000e+01 | 81.99%| 22.06%
2083.19/2088.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2083.19/2088.48 c 2088s| 1000 | 120 | 4152k|3987.4 | 438M | 25 |1431 | 26k| 26k|1816 | 0 | 690 | 21 |-1.237500e+02 |-6.800000e+01 | 81.99%| 22.06%
2085.90/2091.16 o -70
2085.90/2091.16 c r2091s| 1004 | 118 | 4159k|3977.8 |rounding| 25 |1431 | 26k| 26k|1816 | 0 | 690 | 21 |-1.237500e+02 |-7.000000e+01 | 76.79%| 22.11%
2328.64/2334.60 c 2335s| 1100 | 124 | 4647k|4074.6 | 457M | 25 |1431 | 26k| 26k|2175 | 1 | 717 | 21 |-1.205000e+02 |-7.000000e+01 | 72.14%| 25.56%
2514.18/2520.75 c 2521s| 1200 | 124 | 5031k|4055.1 | 463M | 25 |1431 | 26k| 26k|2395 | 1 | 726 | 21 |-1.200200e+02 |-7.000000e+01 | 71.46%| 26.62%
2733.02/2740.23 c 2740s| 1300 | 132 | 5455k|4069.1 | 470M | 25 |1431 | 26k| 26k|2565 | 1 | 761 | 21 |-1.188750e+02 |-7.000000e+01 | 69.82%| 29.89%
2894.47/2902.14 c 2902s| 1400 | 128 | 5797k|4022.7 | 475M | 25 |1431 | 26k| 26k|2772 | 0 | 769 | 21 |-1.188750e+02 |-7.000000e+01 | 69.82%| 31.81%
3073.51/3081.71 c 3082s| 1500 | 128 | 6161k|3997.6 | 479M | 25 |1431 | 26k| 26k|2954 | 1 | 788 | 21 |-1.188333e+02 |-7.000000e+01 | 69.76%| 33.35%
3260.85/3269.67 c 3270s| 1600 | 134 | 6537k|3982.7 | 502M | 25 |1431 | 26k| 26k|3152 | 0 | 808 | 21 |-1.180000e+02 |-7.000000e+01 | 68.57%| 33.75%
3499.71/3509.20 c 3509s| 1700 | 132 | 7020k|4032.2 | 513M | 25 |1431 | 26k| 26k|3397 | 2 | 818 | 21 |-1.177222e+02 |-7.000000e+01 | 68.17%| 35.00%
3587.14/3597.00 c
3587.14/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.14/3597.00 c Solving Time (sec) : 3597.00
3587.14/3597.00 c Solving Nodes : 1735
3587.14/3597.00 c Primal Bound : -7.00000000000000e+01 (25 solutions)
3587.14/3597.00 c Dual Bound : -1.17125000000000e+02
3587.14/3597.00 c Gap : 67.32 %
3587.25/3597.01 s SATISFIABLE
3587.25/3597.01 v -x2025 -x2024 x2023 -x2022 x2021 x2020 x2019 x2018 -x2017 -x2016 x2015 -x2014 -x2013 x2012 -x2011 -x2010 x2009 -x2008 -x2007 x2006
3587.25/3597.01 v x2005 x2004 -x2003 -x2002 -x2001 x2000 x1999 x1998 -x1997 -x1996 -x1995 -x1994 x1993 -x1992 x1991 x1990 x1989 -x1988 -x1987
3587.25/3597.01 v -x1986 x1985 -x1984 x1983 x1982 -x1981 -x1980 x1979 -x1978 -x1977 x1976 -x1975 x1974 -x1973 x1972 -x1971 -x1970 -x1969 -x1968
3587.25/3597.01 v -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 x1960 -x1959 -x1958 x1957 -x1956 x1955 x1954 x1953 x1952 -x1951 -x1950 x1949
3587.25/3597.01 v x1948 -x1947 -x1946 x1945 x1944 x1943 -x1942 -x1941 -x1940 -x1939 x1938 x1937 -x1936 -x1935 x1934 x1933 -x1932 -x1931 x1930
3587.25/3597.01 v -x1929 -x1928 x1927 x1926 x1925 -x1924 -x1923 x1922 -x1921 -x1920 x1919 x1918 -x1917 x1916 -x1915 x1914 x1913 x1912 -x1911
3587.25/3597.01 v -x1910 x1909 x1908 -x1907 -x1906 -x1905 x1904 -x1903 -x1902 -x1901 -x1900 x1899 x1898 -x1897 -x1896 -x1895 x1894 -x1893 -x1892
3587.25/3597.01 v -x1891 x1890 x1889 x1888 -x1887 x1886 x1885 x1884 -x1883 -x1882 x1881 x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 x1873
3587.25/3597.01 v x1872 x1871 -x1870 -x1869 x1868 -x1867 -x1866 -x1865 -x1864 x1863 -x1862 -x1861 x1860 x1859 x1858 -x1857 -x1856 -x1855 -x1854
3587.25/3597.01 v -x1853 -x1852 x1851 -x1850 x1849 x1848 -x1847 -x1846 -x1845 -x1844 -x1843 x1842 x1841 -x1840 -x1839 x1838 x1837 -x1836 x1835
3587.25/3597.01 v -x1834 x1833 -x1832 x1831 x1830 -x1829 x1828 -x1827 x1826 x1825 -x1824 x1823 x1822 -x1821 x1820 -x1819 x1818 -x1817 x1816
3587.25/3597.01 v x1815 -x1814 -x1813 x1812 -x1811 -x1810 -x1809 -x1808 x1807 x1806 x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797
3587.25/3597.01 v -x1796 -x1795 -x1794 x1793 x1792 x1791 -x1790 x1789 -x1788 x1787 x1786 x1785 -x1784 -x1783 -x1782 x1781 -x1780 -x1779 x1778
3587.25/3597.01 v x1777 x1776 x1775 x1774 x1773 -x1772 -x1771 x1770 -x1769 -x1768 -x1767 x1766 x1765 x1764 -x1763 x1762 -x1761 -x1760 -x1759
3587.25/3597.01 v -x1758 -x1757 -x1756 x1755 -x1754 -x1753 -x1752 x1751 -x1750 -x1749 x1748 x1747 -x1746 x1745 x1744 x1743 x1742 -x1741 x1740
3587.25/3597.01 v -x1739 x1738 -x1737 -x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730 x1729 x1728 x1727 x1726 x1725 x1724 x1723 x1722 -x1721 -x1720
3587.25/3597.01 v x1719 x1718 x1717 -x1716 x1715 -x1714 -x1713 -x1712 -x1711 x1710 -x1709 -x1708 x1707 x1706 x1705 -x1704 x1703 x1702 -x1701
3587.25/3597.01 v -x1700 -x1699 -x1698 -x1697 -x1696 x1695 x1694 -x1693 -x1692 x1691 x1690 -x1689 -x1688 x1687 -x1686 x1685 x1684 x1683 x1682
3587.25/3597.01 v x1681 -x1680 -x1679 -x1678 x1677 x1676 -x1675 -x1674 x1673 x1672 x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 x1664 x1663
3587.25/3597.01 v -x1662 -x1661 -x1660 -x1659 x1658 x1657 x1656 -x1655 -x1654 x1653 x1652 x1651 -x1650 x1649 -x1648 x1647 x1646 -x1645 -x1644
3587.25/3597.01 v x1643 x1642 x1641 -x1640 x1639 -x1638 -x1637 -x1636 -x1635 x1634 -x1633 -x1632 -x1631 -x1630 x1629 -x1628 -x1627 -x1626 x1625
3587.25/3597.01 v -x1624 x1623 -x1622 -x1621 -x1620 x1619 x1618 -x1617 -x1616 x1615 -x1614 -x1613 -x1612 x1611 x1610 x1609 x1608 -x1607 -x1606
3587.25/3597.01 v -x1605 -x1604 x1603 x1602 x1601 -x1600 -x1599 -x1598 -x1597 x1596 x1595 x1594 -x1593 -x1592 x1591 -x1590 -x1589 -x1588 -x1587
3587.25/3597.01 v x1586 x1585 -x1584 -x1583 -x1582 -x1581 -x1580 x1579 -x1578 x1577 x1576 x1575 -x1574 -x1573 x1572 -x1571 x1570 -x1569 -x1568
3587.25/3597.01 v -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 x1557 x1556 x1555 -x1554 -x1553 -x1552 x1551 x1550 x1549
3587.25/3597.01 v -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 x1540 -x1539 -x1538 -x1537 x1536 x1535 -x1534 -x1533 x1532 x1531
3587.25/3597.01 v x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 x1522 x1521 x1520 x1519 -x1518 x1517 -x1516 -x1515 -x1514 -x1513 x1512
3587.25/3597.01 v -x1511 x1510 x1509 -x1508 -x1507 x1506 x1505 -x1504 x1503 x1502 x1501 -x1500 -x1499 x1498 x1497 x1496 x1495 x1494 x1493 -x1492
3587.25/3597.01 v x1491 -x1490 x1489 -x1488 -x1487 -x1486 -x1485 x1484 -x1483 -x1482 x1481 x1480 x1479 -x1478 x1477 -x1476 -x1475 x1474 x1473
3587.25/3597.01 v -x1472 -x1471 -x1470 x1469 x1468 x1467 x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 x1459 x1458 -x1457 x1456 x1455 -x1454
3587.25/3597.01 v -x1453 x1452 x1451 -x1450 x1449 -x1448 -x1447 -x1446 x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 x1437 -x1436 -x1435
3587.25/3597.01 v x1434 -x1433 x1432 -x1431 -x1430 -x1429 x1428 x1427 x1426 -x1425 -x1424 x1423 -x1422 x1421 x1420 x1419 -x1418 -x1417 -x1416
3587.25/3597.01 v x1415 x1414 -x1413 -x1412 -x1411 x1410 -x1409 -x1408 -x1407 x1406 x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399 -x1398
3587.25/3597.01 v -x1397 -x1396 -x1395 x1394 x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 x1385 -x1384 -x1383 -x1382 -x1381 x1380 -x1379
3587.25/3597.01 v x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 x1370 -x1369 x1368 -x1367 -x1366 -x1365 -x1364 -x1363 x1362 -x1361 -x1360
3587.25/3597.01 v x1359 -x1358 -x1357 x1356 x1355 -x1354 -x1353 x1352 -x1351 x1350 x1349 x1348 x1347 -x1346 x1345 x1344 -x1343 -x1342 -x1341
3587.25/3597.01 v x1340 -x1339 x1338 -x1337 -x1336 x1335 x1334 -x1333 x1332 -x1331 x1330 x1329 -x1328 x1327 -x1326 x1325 x1324 -x1323 x1322
3587.25/3597.01 v x1321 x1320 -x1319 x1318 -x1317 -x1316 x1315 x1314 -x1313 -x1312 x1311 x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304 -x1303
3587.25/3597.01 v -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 x1296 x1295 -x1294 x1293 x1292 x1291 x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284
3587.25/3597.01 v x1283 -x1282 x1281 x1280 -x1279 x1278 -x1277 -x1276 x1275 -x1274 x1273 x1272 -x1271 -x1270 -x1269 x1268 -x1267 -x1266 x1265
3587.25/3597.01 v -x1264 -x1263 x1262 -x1261 x1260 x1259 x1258 -x1257 x1256 x1255 x1254 x1253 x1252 x1251 x1250 -x1249 -x1248 -x1247 x1246 x1245
3587.25/3597.01 v -x1244 -x1243 -x1242 x1241 x1240 -x1239 x1238 x1237 x1236 x1235 -x1234 -x1233 x1232 -x1231 -x1230 x1229 x1228 -x1227 -x1226
3587.25/3597.01 v -x1225 -x1224 x1223 -x1222 -x1221 x1220 -x1219 -x1218 x1217 x1216 -x1215 x1214 -x1213 x1212 -x1211 -x1210 x1209 x1208 x1207
3587.25/3597.01 v x1206 -x1205 x1204 x1203 x1202 -x1201 -x1200 -x1199 x1198 x1197 -x1196 -x1195 -x1194 -x1193 x1192 x1191 -x1190 -x1189 x1188
3587.25/3597.01 v -x1187 -x1186 -x1185 x1184 x1183 -x1182 -x1181 x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 x1173 -x1172 x1171 -x1170 -x1169
3587.25/3597.01 v x1168 -x1167 -x1166 x1165 -x1164 -x1163 -x1162 x1161 x1160 x1159 x1158 -x1157 x1156 x1155 -x1154 -x1153 -x1152 -x1151 -x1150
3587.25/3597.01 v -x1149 x1148 -x1147 -x1146 -x1145 -x1144 -x1143 x1142 -x1141 x1140 x1139 -x1138 x1137 -x1136 -x1135 x1134 -x1133 -x1132 x1131
3587.25/3597.01 v x1130 x1129 -x1128 x1127 -x1126 x1125 -x1124 x1123 x1122 -x1121 -x1120 -x1119 -x1118 x1117 x1116 x1115 x1114 -x1113 -x1112
3587.25/3597.01 v -x1111 -x1110 x1109 x1108 x1107 -x1106 -x1105 -x1104 x1103 x1102 x1101 -x1100 -x1099 x1098 -x1097 -x1096 x1095 x1094 -x1093
3587.25/3597.01 v -x1092 x1091 x1090 -x1089 -x1088 x1087 x1086 x1085 x1084 -x1083 x1082 -x1081 -x1080 x1079 x1078 x1077 -x1076 x1075 -x1074 -x1073
3587.25/3597.01 v x1072 x1071 x1070 x1069 -x1068 -x1067 x1066 -x1065 -x1064 x1063 -x1062 x1061 x1060 -x1059 -x1058 x1057 -x1056 -x1055 x1054
3587.25/3597.01 v -x1053 x1052 -x1051 -x1050 x1049 -x1048 x1047 -x1046 x1045 -x1044 -x1043 -x1042 -x1041 x1040 -x1039 x1038 -x1037 -x1036 x1035
3587.25/3597.01 v -x1034 -x1033 x1032 -x1031 x1030 x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 x1021 -x1020 -x1019 -x1018 -x1017 x1016
3587.25/3597.01 v -x1015 -x1014 x1013 x1012 -x1011 -x1010 x1009 x1008 -x1007 -x1006 x1005 x1004 -x1003 x1002 -x1001 x1000 x999 x998 x997 -x996
3587.25/3597.01 v -x995 x994 x993 x992 x991 x990 x989 x988 x987 -x986 x985 x984 x983 -x982 -x981 x980 x979 -x978 x977 -x976 -x975 -x974 -x973
3587.25/3597.01 v -x972 x971 x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 x962 -x961 -x960 x959 -x958 -x957 x956 -x955 -x954 -x953 -x952 -x951
3587.25/3597.01 v x950 -x949 x948 x947 x946 x945 x944 x943 x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 x934 -x933 x932 x931 x930 x929 -x928
3587.25/3597.01 v -x927 x926 x925 x924 x923 x922 -x921 x920 x919 -x918 -x917 -x916 -x915 x914 x913 -x912 x911 -x910 -x909 x908 x907 x906 x905
3587.25/3597.01 v -x904 -x903 -x902 x901 x900 -x899 x898 -x897 -x896 x895 x894 x893 -x892 -x891 -x890 x889 -x888 -x887 x886 -x885 -x884 x883
3587.25/3597.01 v -x882 x881 x880 -x879 -x878 x877 x876 -x875 -x874 -x873 x872 x871 -x870 -x869 -x868 -x867 x866 x865 -x864 -x863 x862 x861 -x860
3587.25/3597.01 v -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 -x851 -x850 x849 x848 -x847 -x846 x845 x844 -x843 -x842 x841 -x840 -x839 -x838
3587.25/3597.01 v -x837 x836 x835 x834 x833 x832 -x831 -x830 x829 x828 x827 -x826 -x825 x824 x823 -x822 -x821 x820 x819 x818 x817 -x816 -x815
3587.25/3597.01 v -x814 -x813 -x812 -x811 x810 x809 x808 x807 x806 x805 x804 -x803 -x802 -x801 -x800 x799 x798 x797 -x796 -x795 x794 -x793
3587.25/3597.01 v x792 x791 x790 x789 x788 x787 -x786 -x785 -x784 -x783 x782 x781 -x780 -x779 x778 x777 x776 x775 x774 -x773 -x772 x771 -x770 -x769
3587.25/3597.01 v x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 x749 x748
3587.25/3597.01 v x747 -x746 -x745 x744 -x743 -x742 x741 x740 -x739 x738 x737 x736 x735 -x734 -x733 x732 x731 -x730 x729 x728 x727 -x726 -x725
3587.25/3597.01 v -x724 -x723 -x722 -x721 x720 -x719 x718 -x717 x716 -x715 -x714 x713 -x712 -x711 x710 x709 -x708 x707 -x706 -x705 x704 x703 -x702
3587.25/3597.01 v x701 x700 x699 x698 -x697 -x696 x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680
3587.25/3597.01 v -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 x671 -x670 x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659
3587.25/3597.01 v x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638
3587.25/3597.01 v -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 x617
3587.25/3597.01 v -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 x598 x597 -x596 -x595
3587.25/3597.02 v -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574
3587.25/3597.02 v -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 x555 -x554 -x553
3587.25/3597.02 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
3587.25/3597.02 v -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511
3587.25/3597.02 v -x510 -x509 -x508 x507 -x506 x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
3587.25/3597.02 v -x488 -x487 x486 -x485 x484 -x483 -x482 -x481 x480 -x479 x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 x469 -x468 -x467
3587.25/3597.02 v -x466 -x465 x464 -x463 -x462 x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446
3587.25/3597.02 v -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425
3587.25/3597.02 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404
3587.25/3597.02 v -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 x382
3587.25/3597.02 v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361
3587.25/3597.02 v -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340
3587.25/3597.02 v -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319
3587.25/3597.02 v x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298
3587.25/3597.02 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276
3587.25/3597.02 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255
3587.25/3597.02 v -x254 -x253 -x252 -x251 -x250 -x249 x248 x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
3587.25/3597.02 v -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213
3587.25/3597.02 v -x212 x211 -x210 -x209 x208 -x207 x206 x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191
3587.25/3597.02 v -x190 -x189 -x188 -x187 -x186 x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 x175 -x174 -x173 -x172 x171 -x170 -x169
3587.25/3597.02 v -x168 -x167 x166 -x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 x147
3587.25/3597.02 v -x146 -x145 -x144 -x143 x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
3587.25/3597.02 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 x108 -x107 -x106 -x105
3587.25/3597.02 v x104 -x103 x102 x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79
3587.25/3597.02 v -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
3587.25/3597.02 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 x28
3587.25/3597.02 v x27 -x26 x25 -x24 -x23 -x22 x21 -x20 x19 -x18 -x17 x16 x15 -x14 x13 x12 -x11 -x10 x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 x1
3587.25/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.25/3597.02 c Total Time : 3597.00
3587.25/3597.02 c solving : 3597.00
3587.25/3597.02 c presolving : 0.82 (included in solving)
3587.25/3597.02 c reading : 0.16 (included in solving)
3587.25/3597.02 c copying : 0.33 (9 #copies) (minimal 0.03, maximal 0.04, average 0.04)
3587.25/3597.02 c Original Problem :
3587.25/3597.02 c Problem name : HOME/instance-4432774-1721119839.opb
3587.25/3597.02 c Variables : 2025 (2025 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.25/3597.02 c Constraints : 30912 initial, 30912 maximal
3587.25/3597.02 c Objective : minimize, 135 non-zeros (abs.min = 1, abs.max = 4)
3587.25/3597.02 c Presolved Problem :
3587.25/3597.02 c Problem name : t_HOME/instance-4432774-1721119839.opb
3587.25/3597.02 c Variables : 1431 (1431 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.25/3597.02 c Constraints : 25952 initial, 26434 maximal
3587.25/3597.02 c Objective : minimize, 109 non-zeros (abs.min = 1, abs.max = 4)
3587.25/3597.02 c Nonzeros : 76864 constraint, 2160 clique table
3587.25/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.25/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c gateextraction : 0.05 0.00 2 0 0 0 0 0 93 31 0 0
3587.25/3597.02 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c milp : 0.23 0.00 1 26 0 0 0 0 0 0 0 0
3587.25/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c setppc : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c and : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c linear : 0.24 0.02 7 0 568 0 0 0 4898 0 0 0
3587.25/3597.02 c logicor : 0.13 0.02 5 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c root node : - - - 0 - - 0 - - - - -
3587.25/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.25/3597.02 c benderslp : 0 0 0 0 943 0 0 70 0 0 0 0 0 0 0
3587.25/3597.02 c integral : 0 0 0 0 943 0 0 70 0 0 0 0 0 0 1886
3587.25/3597.02 c knapsack : 0+ 17 0 15607 0 0 0 0 37 17 0 0 0 0 0
3587.25/3597.02 c setppc : 992+ 1018 23 26966 0 0 0 64 2232 7 5565 15 0 0 0
3587.25/3597.02 c and : 31 31 1554 26383 0 0 0 25 2380 4 2728 283 153 0 0
3587.25/3597.02 c linear : 0+ 60 0 10170 0 0 0 3 3 33 8 0 0 0 0
3587.25/3597.02 c logicor : 24929+ 25324 23 22314 0 0 0 25 4239 230 10982 94 19 0 0
3587.25/3597.02 c benders : 0 0 0 0 0 0 0 28 0 0 0 0 0 0 0
3587.25/3597.02 c fixedvar : 0 0 0 0 0 0 0 28 0 0 0 0 0 0 0
3587.25/3597.02 c countsols : 0 0 0 0 0 0 0 28 0 0 0 0 0 0 0
3587.25/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.25/3597.02 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c integral : 12.96 0.00 0.00 0.00 12.96 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c setppc : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c and : 0.04 0.00 0.01 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c linear : 0.04 0.02 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c logicor : 0.80 0.02 0.11 0.61 0.00 0.00 0.00 0.05 0.00 0.01
3587.25/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.25/3597.02 c dualfix : 3 0 0 0
3587.25/3597.02 c genvbounds : 0 0 0 0
3587.25/3597.02 c nlobbt : 0 0 0 0
3587.25/3597.02 c obbt : 0 0 0 0
3587.25/3597.02 c probing : 0 0 0 0
3587.25/3597.02 c pseudoobj : 6354 2 0 12
3587.25/3597.02 c redcost : 316 0 0 93
3587.25/3597.02 c rootredcost : 10 0 0 0
3587.25/3597.02 c symmetry : 0 0 0 0
3587.25/3597.02 c vbounds : 9394 0 0 0
3587.25/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.25/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3587.25/3597.02 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.25/3597.02 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.25/3597.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.25/3597.02 c symmetry : 0.06 0.00 0.06 0.00 0.00 0.00
3587.25/3597.02 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.25/3597.02 c Symmetry :
3587.25/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.25/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.25/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.25/3597.02 c shadow tree time : 0.00 s
3587.25/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.25/3597.02 c propagation : 0.01 276 276 - 1185 38.1 24 15.0 - - -
3587.25/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.25/3597.02 c bound exceed. LP : 1.38 207 204 - 454 37.8 1 3.0 204 44.4 713
3587.25/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.25/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.25/3597.02 c applied globally : 0.00 - - 0 626 19.6 - - 204 - -
3587.25/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.25/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.25/3597.02 c cut pool : 2.67 - 929 45 - - 22490 37475 - - - - - (maximal pool size: 4490)
3587.25/3597.02 c aggregation : 2.40 0.00 486 23 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.25/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.25/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.25/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c clique : 0.12 0.00 23 23 0 0 1 2 0 1 1 0 0
3587.25/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c gomory : 26.22 0.00 390 10 0 0 21170 28716 0 1452 1452 0 0
3587.25/3597.02 c > gomorymi : - - - - - - - 8585 0 32 32 0 -
3587.25/3597.02 c > strongcg : - - - - - - - 20131 0 1420 1420 0 -
3587.25/3597.02 c impliedbounds : 0.06 0.00 486 23 0 0 90 286 0 168 168 0 0
3587.25/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c multilinear : 0.00 0.00 129 23 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c rapidlearning : 0.04 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.25/3597.02 c rlt : 64.84 0.00 154 10 0 0 37 140 0 58 58 0 0
3587.25/3597.02 c zerohalf : 8.27 0.00 400 20 0 0 1192 8331 0 1591 1591 0 0
3587.25/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.25/3597.02 c hybrid : 0.18 0.00 618 23 3442 0 34425 144 0 2258
3587.25/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.25/3597.02 c problem variables: 0.00 - 0 0
3587.25/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.25/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c relpscost : 12.96 0.00 943 0 0 0 0 0 0 1886
3587.25/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.25/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.25/3597.02 c LP solutions : 0.00 - - 0 0
3587.25/3597.02 c relax solutions : 0.00 - - 0 0
3587.25/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.25/3597.02 c strong branching : 0.00 - - 0 0
3587.25/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.25/3597.02 c adaptivediving : 37.06 0.00 10 0 0
3587.25/3597.02 c alns : 0.43 0.00 5 0 0
3587.25/3597.02 c bound : 0.00 0.00 0 0 0
3587.25/3597.02 c clique : 0.10 0.00 1 1 1
3587.25/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.25/3597.02 c completesol : 0.00 0.00 0 0 0
3587.25/3597.02 c conflictdiving : 10.08 0.00 8 0 0
3587.25/3597.02 c crossover : 0.11 0.00 1 1 0
3587.25/3597.02 c dins : 0.00 0.00 0 0 0
3587.25/3597.02 c distributiondivin: 6.89 0.00 7 0 0
3587.25/3597.02 c dps : 0.00 0.00 0 0 0
3587.25/3597.02 c dualval : 0.00 0.00 0 0 0
3587.25/3597.02 c farkasdiving : 128.71 0.00 8 1 1
3587.25/3597.02 c feasjump : 0.00 0.00 0 0 0
3587.25/3597.02 c feaspump : 13.42 0.00 1 1 0
3587.25/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.25/3597.02 c fracdiving : 22.21 0.00 8 0 0
3587.25/3597.02 c gins : 0.26 0.00 3 1 0
3587.25/3597.02 c guideddiving : 25.91 0.00 7 0 0
3587.25/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3587.25/3597.02 c indicator : 0.00 0.00 0 0 0
3587.25/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.25/3597.02 c indoneopt : 0.00 0.00 0 0 0
3587.25/3597.02 c indrounding : 0.00 0.00 0 0 0
3587.25/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3587.25/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.25/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.25/3597.02 c linesearchdiving : 25.00 0.00 7 1 1
3587.25/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.25/3597.02 c locks : 0.04 0.00 1 0 0
3587.25/3597.02 c lpface : 0.00 0.00 0 0 0
3587.25/3597.02 c mpec : 0.00 0.00 0 0 0
3587.25/3597.02 c multistart : 0.00 0.00 0 0 0
3587.25/3597.02 c mutation : 0.00 0.00 0 0 0
3587.25/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.25/3597.02 c objpscostdiving : 79.88 0.00 4 4 0
3587.25/3597.02 c octane : 0.00 0.00 0 0 0
3587.25/3597.02 c ofins : 0.00 0.00 0 0 0
3587.25/3597.02 c oneopt : 0.03 0.00 11 0 0
3587.25/3597.02 c padm : 0.00 0.00 0 0 0
3587.25/3597.02 c proximity : 0.00 0.00 0 0 0
3587.25/3597.02 c pscostdiving : 27.36 0.00 8 0 0
3587.25/3597.02 c randrounding : 0.15 0.00 63 0 0
3587.25/3597.02 c rens : 0.00 0.00 0 0 0
3587.25/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.25/3597.02 c repair : 0.00 0.00 0 0 0
3587.25/3597.02 c rins : 0.00 0.00 0 0 0
3587.25/3597.02 c rootsoldiving : 28.53 0.00 4 4 0
3587.25/3597.02 c rounding : 1.38 0.00 1568 8 8
3587.25/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.25/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3587.25/3597.02 c shifting : 0.58 0.00 284 0 0
3587.25/3597.02 c simplerounding : 0.01 0.00 1658 0 0
3587.25/3597.02 c smallcard : 0.00 0.00 0 0 0
3587.25/3597.02 c subnlp : 0.00 0.00 0 0 0
3587.25/3597.02 c trivial : 0.01 0.00 2 3 1
3587.25/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.25/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.25/3597.02 c trysol : 0.00 0.00 0 0 0
3587.25/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.25/3597.02 c undercover : 0.00 0.00 1 0 0
3587.25/3597.02 c vbounds : 0.02 0.00 1 0 0
3587.25/3597.02 c veclendiving : 27.95 0.00 8 0 0
3587.25/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.25/3597.02 c zirounding : 2.25 0.00 943 0 0
3587.25/3597.02 c other solutions : - - - 0 -
3587.25/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.25/3597.02 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
3587.25/3597.02 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
3587.25/3597.02 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
3587.25/3597.02 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
3587.25/3597.02 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
3587.25/3597.02 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
3587.25/3597.02 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
3587.25/3597.02 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
3587.25/3597.02 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
3587.25/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.25/3597.02 c primal LP : 0.68 212 0 0.00 0.00 0.68 212
3587.25/3597.02 c dual LP : 3033.94 2391 6488955 2821.28 2138.79 0.32 91
3587.25/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.25/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.25/3597.02 c resolve instable : 0.00 0 0 0.00 -
3587.25/3597.02 c diving/probing LP: 428.84 726 700927 965.46 1634.48
3587.25/3597.02 c strong branching : 11.97 21 21000 1000.00 1753.75 - - 42
3587.25/3597.02 c (at root node) : - 21 21000 1000.00 -
3587.25/3597.02 c conflict analysis: 1.30 77 713 9.26 550.56
3587.25/3597.02 c B&B Tree :
3587.25/3597.02 c number of runs : 1
3587.25/3597.02 c nodes : 1735 (943 internal, 792 leaves)
3587.25/3597.02 c feasible leaves : 0
3587.25/3597.02 c infeas. leaves : 56
3587.25/3597.02 c objective leaves : 735
3587.25/3597.02 c nodes (total) : 1735 (943 internal, 792 leaves)
3587.25/3597.02 c nodes left : 138
3587.25/3597.02 c max depth : 25
3587.25/3597.02 c max depth (total): 25
3587.25/3597.02 c backtracks : 425 (24.5%)
3587.25/3597.02 c early backtracks : 0 (0.0%)
3587.25/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.25/3597.02 c delayed cutoffs : 5
3587.25/3597.02 c repropagations : 240 (415 domain reductions, 1 cutoffs)
3587.25/3597.02 c avg switch length: 3.73
3587.25/3597.02 c switching time : 1.10
3587.25/3597.02 c Root Node :
3587.25/3597.02 c First LP value : -1.86125000000000e+02
3587.25/3597.02 c First LP Iters : 10123 (2412.39 Iter/sec)
3587.25/3597.02 c First LP Time : 4.20
3587.25/3597.02 c Final Dual Bound : -1.49067911714771e+02
3587.25/3597.02 c Final Root Iters : 169532
3587.25/3597.02 c Root LP Estimate : +5.02591934738914e+01
3587.25/3597.02 c Solution :
3587.25/3597.02 c Solutions found : 25 (12 improvements)
3587.25/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.25 seconds, depth 0, found by <trivial>)
3587.25/3597.02 c Gap First Sol. : infinite
3587.25/3597.02 c Gap Last Sol. : 76.79 %
3587.25/3597.02 c Primal Bound : -7.00000000000000e+01 (in run 1, after 1004 nodes, 2091.14 seconds, depth 13, found by <rounding>)
3587.25/3597.02 c Dual Bound : -1.17125000000000e+02
3587.25/3597.02 c Gap : 67.32 %
3587.25/3597.02 c Integrals : Total Avg%
3587.25/3597.02 c primal-dual : 174218.50 48.43
3587.25/3597.02 c primal-ref : - - (not evaluated)
3587.25/3597.02 c dual-ref : - - (not evaluated)
3587.44/3597.26 c Time complete: 3587.51.
OK -70
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: 64059 MiB (63199 MiB free)
memory of node 1: 64510 MiB (63325 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432774-1721119839/watcher-4432774-1721119839 -o /tmp/evaluation-result-4432774-1721119839/solver-4432774-1721119839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721119850-842307 --watchdog 3760 pbscip -f HOME/instance-4432774-1721119839.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=842361, runsolver pid=842352
[startup+0.100817 s]*
/proc/loadavg: 3.67 4.16 4.28 8/246 842371
/proc/meminfo: memFree=129502852/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=68560 memory=28044 CPUtime=0.1 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 4083 0 0 0 9 1 0 0 20 0 1 0 164143125 70205440 7011 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 17140 7011 3257 3540 0 5397 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 68560 KiB
Current children cumulated memory: 28044 KiB
[startup+0.214957 s]*
/proc/loadavg: 3.67 4.16 4.28 6/246 842373
/proc/meminfo: memFree=129447988/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=92324 memory=53296 CPUtime=0.21 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 10261 0 0 0 18 3 0 0 20 0 1 0 164143125 94539776 13324 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 23081 13324 3561 3540 0 11338 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 92324 KiB
Current children cumulated memory: 53296 KiB
[startup+0.314253 s]*
/proc/loadavg: 3.67 4.16 4.28 6/246 842373
/proc/meminfo: memFree=129401092/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=105672 memory=64828 CPUtime=0.31 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 13090 0 0 0 27 4 0 0 20 0 1 0 164143125 108208128 16207 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 26418 16207 3609 3540 0 14675 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 105672 KiB
Current children cumulated memory: 64828 KiB
[startup+0.700312 s]
/proc/loadavg: 3.67 4.16 4.28 6/246 842373
/proc/meminfo: memFree=129221076/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=121176 memory=81084 CPUtime=0.69 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 19604 0 0 0 62 7 0 0 20 0 1 0 164143125 124084224 20271 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 30294 20271 3736 3540 0 18551 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121176 KiB
Current children cumulated memory: 81084 KiB
[startup+1.5003 s]
/proc/loadavg: 3.67 4.16 4.28 6/246 842373
/proc/meminfo: memFree=129097976/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=157704 memory=116976 CPUtime=1.48 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 29282 0 0 0 139 9 0 0 20 0 1 0 164143125 161488896 29244 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 39426 29244 3960 3540 0 27683 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 157704 KiB
Current children cumulated memory: 116976 KiB
[startup+3.11322 s]
/proc/loadavg: 3.69 4.16 4.28 6/246 842373
/proc/meminfo: memFree=128826252/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=158088 memory=117240 CPUtime=3.08 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 29352 0 0 0 299 9 0 0 20 0 1 0 164143125 161882112 29310 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 39522 29310 3960 3540 0 27779 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 158088 KiB
Current children cumulated memory: 117240 KiB
[startup+6.30024 s]
/proc/loadavg: 3.69 4.16 4.28 6/246 842373
/proc/meminfo: memFree=128812940/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=173784 memory=128352 CPUtime=6.27 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 32166 0 0 0 617 10 0 0 20 0 1 0 164143125 177954816 32088 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 43446 32088 3992 3540 0 31703 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 173784 KiB
Current children cumulated memory: 128352 KiB
[startup+12.7003 s]
/proc/loadavg: 3.81 4.17 4.28 6/246 842374
/proc/meminfo: memFree=128803912/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=183076 memory=135140 CPUtime=12.65 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 33830 0 0 0 1255 10 0 0 20 0 1 0 164143125 187469824 33785 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 45769 33785 3992 3540 0 34026 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 183076 KiB
Current children cumulated memory: 135140 KiB
[startup+25.5003 s]
/proc/loadavg: 3.84 4.16 4.28 6/246 842376
/proc/meminfo: memFree=128780376/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=207900 memory=154404 CPUtime=25.42 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 38692 0 0 0 2531 11 0 0 20 0 1 0 164143125 212889600 38601 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 51975 38601 3992 3540 0 40232 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 207900 KiB
Current children cumulated memory: 154404 KiB
[startup+51.1135 s]
/proc/loadavg: 3.90 4.15 4.27 6/246 842380
/proc/meminfo: memFree=128740912/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=258052 memory=191352 CPUtime=50.97 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 47890 0 0 0 5084 13 0 0 20 0 1 0 164143125 264245248 47838 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 64513 47838 3992 3540 0 52770 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 258052 KiB
Current children cumulated memory: 191352 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.15 4.26 6/246 842389
/proc/meminfo: memFree=128703360/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=290224 memory=196884 CPUtime=102.02 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 49277 0 0 0 10189 13 0 0 20 0 1 0 164143125 297189376 49221 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 72556 49221 3992 3540 0 60813 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 290224 KiB
Current children cumulated memory: 196884 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.25 6/246 842399
/proc/meminfo: memFree=128649136/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=302156 memory=209268 CPUtime=161.87 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 57424 0 0 0 16172 15 0 0 20 0 1 0 164143125 309407744 52317 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 75539 52317 4008 3540 0 63796 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 302156 KiB
Current children cumulated memory: 209268 KiB
[startup+222.3 s]
/proc/loadavg: 5.52 4.47 4.35 6/246 842411
/proc/meminfo: memFree=128641096/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=302156 memory=209268 CPUtime=221.71 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 57438 0 0 0 22156 15 0 0 20 0 1 0 164143125 309407744 52317 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 75539 52317 4008 3540 0 63796 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 302156 KiB
Current children cumulated memory: 209268 KiB
[startup+282.3 s]
/proc/loadavg: 6.63 5.04 4.56 6/246 842803
/proc/meminfo: memFree=128597496/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=336004 memory=220316 CPUtime=281.56 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 60248 0 0 0 28140 16 0 0 20 0 1 0 164143125 344068096 55079 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 84001 55079 4019 3540 0 72258 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 336004 KiB
Current children cumulated memory: 220316 KiB
[startup+342.3 s]
/proc/loadavg: 5.01 4.86 4.53 6/242 842813
/proc/meminfo: memFree=128588652/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=336984 memory=221104 CPUtime=341.4 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 60430 0 0 0 34124 16 0 0 20 0 1 0 164143125 345071616 55276 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 84246 55276 4019 3540 0 72503 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 336984 KiB
Current children cumulated memory: 221104 KiB
[startup+402.3 s]
/proc/loadavg: 4.48 4.73 4.51 6/242 842824
/proc/meminfo: memFree=128568036/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=336984 memory=224416 CPUtime=401.24 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 60459 0 0 0 40108 16 0 0 20 0 1 0 164143125 345071616 56104 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 84246 56104 4019 3540 0 72503 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 336984 KiB
Current children cumulated memory: 224416 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 4.61 4.48 6/244 843004
/proc/meminfo: memFree=128511436/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=375812 memory=264532 CPUtime=461.09 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 65117 0 0 0 46092 17 0 0 20 0 1 0 164143125 384831488 66133 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 93953 66133 4019 3540 0 82210 0
################
# More data... #
################
/proc/loadavg: 4.09 4.09 4.09 6/243 844115
/proc/meminfo: memFree=127936940/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=563784 memory=490840 CPUtime=3153.87 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 110998 0 0 0 315360 27 0 0 20 0 1 0 164143125 577314816 122710 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 140946 122710 4019 3540 0 129203 0
Current children cumulated CPU time: 3153.87 s
Current children cumulated vsize: 563784 KiB
Current children cumulated memory: 490840 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/243 844126
/proc/meminfo: memFree=127930020/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=563784 memory=490976 CPUtime=3213.69 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 111150 0 0 0 321342 27 0 0 20 0 1 0 164143125 577314816 122744 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 140946 122744 4019 3540 0 129203 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 563784 KiB
Current children cumulated memory: 490976 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/243 844136
/proc/meminfo: memFree=127916932/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=573540 memory=493068 CPUtime=3273.51 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 111860 0 0 0 327324 27 0 0 20 0 1 0 164143125 587304960 123267 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 143385 123267 4019 3540 0 131642 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 573540 KiB
Current children cumulated memory: 493068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/241 844147
/proc/meminfo: memFree=127916060/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=574016 memory=493800 CPUtime=3333.32 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 112230 0 0 0 333305 27 0 0 20 0 1 0 164143125 587792384 123450 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 143504 123450 4019 3540 0 131761 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 574016 KiB
Current children cumulated memory: 493800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/241 844157
/proc/meminfo: memFree=127913580/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=581232 memory=496112 CPUtime=3393.14 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 112963 0 0 0 339286 28 0 0 20 0 1 0 164143125 595181568 124028 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 145308 124028 4019 3540 0 133565 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 581232 KiB
Current children cumulated memory: 496112 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/241 844167
/proc/meminfo: memFree=127913052/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=581368 memory=496172 CPUtime=3452.96 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 113164 0 0 0 345268 28 0 0 20 0 1 0 164143125 595320832 124043 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 145342 124043 4019 3540 0 133599 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 581368 KiB
Current children cumulated memory: 496172 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/241 844179
/proc/meminfo: memFree=127905512/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=583888 memory=498748 CPUtime=3512.77 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 113952 0 0 0 351249 28 0 0 20 0 1 0 164143125 597901312 124687 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 145972 124687 4019 3540 0 134229 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 583888 KiB
Current children cumulated memory: 498748 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/243 844193
/proc/meminfo: memFree=127902488/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=587872 memory=500208 CPUtime=3572.58 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 114492 0 0 0 357230 28 0 0 20 0 1 0 164143125 601980928 125052 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 146968 125052 4019 3540 0 135225 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 587872 KiB
Current children cumulated memory: 500208 KiB
[startup+3597.27 s]
# the end of solver process 842361 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.22 s, system=0.292441 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.09 4.09 6/243 844193
/proc/meminfo: memFree=127902580/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=587872 memory=500208 CPUtime=3574.29 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 114492 0 0 0 357401 28 0 0 20 0 1 0 164143125 601980928 125052 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 146968 125052 4019 3540 0 135225 0
Current children cumulated CPU time: 3574.29 s
Current children cumulated vsize: 587872 KiB
Current children cumulated memory: 500208 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.09 4.09 6/243 844193
/proc/meminfo: memFree=127902564/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=587872 memory=500208 CPUtime=3580.66 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 114492 0 0 0 358038 28 0 0 20 0 1 0 164143125 601980928 125052 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 146968 125052 4019 3540 0 135225 0
Current children cumulated CPU time: 3580.66 s
Current children cumulated vsize: 587872 KiB
Current children cumulated memory: 500208 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.09 4.09 6/243 844195
/proc/meminfo: memFree=127902472/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=587872 memory=500208 CPUtime=3583.85 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 114492 0 0 0 358357 28 0 0 20 0 1 0 164143125 601980928 125052 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 146968 125052 4019 3540 0 135225 0
Current children cumulated CPU time: 3583.85 s
Current children cumulated vsize: 587872 KiB
Current children cumulated memory: 500208 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.09 4.09 6/243 844195
/proc/meminfo: memFree=127902560/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=587872 memory=500208 CPUtime=3585.44 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 114492 0 0 0 358516 28 0 0 20 0 1 0 164143125 601980928 125052 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 146968 125052 4019 3540 0 135225 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 587872 KiB
Current children cumulated memory: 500208 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.09 4.09 6/243 844195
/proc/meminfo: memFree=127902544/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=587872 memory=500208 CPUtime=3586.25 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 114492 0 0 0 358597 28 0 0 20 0 1 0 164143125 601980928 125052 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 146968 125052 4019 3540 0 135225 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 587872 KiB
Current children cumulated memory: 500208 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.09 4.09 6/243 844195
/proc/meminfo: memFree=127902544/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=587872 memory=500208 CPUtime=3587.04 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 114492 0 0 0 358676 28 0 0 20 0 1 0 164143125 601980928 125052 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 146968 125052 4019 3540 0 135225 0
Current children cumulated CPU time: 3587.04 s
Current children cumulated vsize: 587872 KiB
Current children cumulated memory: 500208 KiB
[startup+3597.2 s]
/proc/loadavg: 4.09 4.09 4.09 6/243 844195
/proc/meminfo: memFree=127902504/131655788 swapFree=131071996/131071996
[pid=842361] ppid=842352 vsize=587872 memory=500208 CPUtime=3587.44 cores=4,6
/proc/842361/stat : 842361 (pbscip) R 842352 842361 842296 0 -1 4194304 114499 0 0 0 358716 28 0 0 20 0 1 0 164143125 601980928 125052 134679101440 4194304 18693293 140734959062368 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59289600 140734959068164 140734959068263 140734959068263 140734959075278 0
/proc/842361/statm: 146968 125052 4019 3540 0 135225 0
Current children cumulated CPU time: 3587.44 s
Current children cumulated vsize: 587872 KiB
Current children cumulated memory: 500208 KiB
Child status: 0
Real time (s): 3597.27
CPU time (s): 3587.52
CPU user time (s): 3587.22
CPU system time (s): 0.292441
CPU usage (%): 99.729
Max. virtual memory (cumulated for all children) (KiB): 587872
Max. memory (cumulated for all children) (KiB): 507752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.22
system time used= 0.292441
maximum resident set size= 507752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114541
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= 38
involuntary context switches= 2760
# summary of solver processes directly reported to runsolver:
# pid: 842361
# total CPU time (s): 3587.52
# total CPU user time (s): 3587.22
# total CPU system time (s): 0.292441
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2907 second user time and 34.4978 second system time
The end
Begin job on nodeC010 at 2024-07-16 10:50:50 IDJOB=4432774 IDBENCH=148793 IDSOLVER=3059 FILE ID=nodeC010/4432774-1721119839 RUNJOBID= nodeC010-1721119850-842307 SLURM_JOB_ID= 7505671 Free space on /tmp= 723776 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432774-1721119839/watcher-4432774-1721119839 -o /tmp/evaluation-result-4432774-1721119839/solver-4432774-1721119839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721119850-842307 --watchdog 3760 pbscip -f HOME/instance-4432774-1721119839.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 267318dc6252912ba1edb3875073cd29 RANDOM SEED=1257975998 nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 1197.185 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.183 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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.175 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.51 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.173 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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 : 1197.176 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.51 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 : 1197.174 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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.180 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.51 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.173 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129562936 kB MemAvailable: 129964788 kB Buffers: 403084 kB Cached: 841944 kB SwapCached: 0 kB Active: 758268 kB Inactive: 813156 kB Active(anon): 1324 kB Inactive(anon): 362772 kB Active(file): 756944 kB Inactive(file): 450384 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 81596 kB Writeback: 4 kB AnonPages: 326440 kB Mapped: 104044 kB Shmem: 37704 kB KReclaimable: 69112 kB Slab: 162380 kB SReclaimable: 69112 kB SUnreclaim: 93268 kB KernelStack: 3632 kB PageTables: 8936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 589488 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52416 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 187208 kB DirectMap2M: 18591744 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 723700 MiB End job on nodeC010 at 2024-07-16 11:50:48