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-4494534-1751148704.opb>
0.09/0.17 c original problem has 1440 variables (1440 bin, 0 int, 0 impl, 0 cont) and 86040 constraints
0.09/0.17 c problem read in 0.17
0.09/0.17 c No objective function, only one solution is needed.
0.20/0.30 c presolving:
0.50/0.52 c (0.5s) running MILP presolver
0.50/0.60 c (0.6s) MILP presolver found nothing
0.68/0.79 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 86040 upgd conss, 0 impls, 360 clqs
0.99/1.09 c (1.1s) probing: 51/1440 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.09 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.78/1.83 c (1.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.09/2.14 c (2.1s) symmetry computation finished: 4 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.16)
2.09/2.14 c dynamic symmetry handling statistics:
2.09/2.14 c orbitopal reduction: no components
2.09/2.14 c orbital reduction: no components
2.09/2.14 c lexicographic reduction: no permutations
2.09/2.14 c handled 1 out of 1 symmetry components
2.09/2.14 c (round 2, exhaustive) 4 del vars, 0 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 86040 upgd conss, 0 impls, 359 clqs
2.09/2.16 c (round 3, fast) 5 del vars, 358 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 119 chg coeffs, 86040 upgd conss, 0 impls, 359 clqs
2.18/2.20 c (round 4, medium) 7 del vars, 596 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 119 chg coeffs, 86040 upgd conss, 0 impls, 359 clqs
2.18/2.24 c (round 5, medium) 9 del vars, 716 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 119 chg coeffs, 86040 upgd conss, 0 impls, 358 clqs
2.28/2.33 c (round 6, exhaustive) 9 del vars, 805 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 119 chg coeffs, 86040 upgd conss, 0 impls, 358 clqs
2.38/2.41 c (2.4s) probing: 56/1440 (3.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.38/2.41 c (2.4s) probing aborted: 50/50 successive totally useless probings
2.48/2.52 c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
2.48/2.52 c 9 deleted vars, 805 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 119 changed coefficients
2.48/2.52 c 0 implications, 358 cliques
2.48/2.52 c presolved problem has 1432 variables (1432 bin, 0 int, 0 impl, 0 cont) and 85238 constraints
2.48/2.52 c 358 constraints of type <setppc>
2.48/2.52 c 3 constraints of type <orbitope>
2.48/2.52 c 84877 constraints of type <logicor>
2.48/2.52 c transformed objective value is always integral (scale: 1)
2.48/2.52 c Presolving Time: 2.22
2.48/2.52 c - non default parameters ----------------------------------------------------------------------
2.48/2.52 c # SCIP version 10.0.0
2.48/2.52 c
2.48/2.52 c # maximal time in seconds to run
2.48/2.52 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.48/2.52 c limits/time = 3596.99801
2.48/2.52 c
2.48/2.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.48/2.52 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.48/2.52 c limits/memory = 27900
2.48/2.52 c
2.48/2.52 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
2.48/2.52 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
2.48/2.52 c limits/solutions = 1
2.48/2.52 c
2.48/2.52 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
2.48/2.52 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
2.48/2.52 c misc/usesymmetry = 3
2.48/2.52 c
2.48/2.52 c # belongs reading time to solving time?
2.48/2.52 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.48/2.52 c timing/reading = TRUE
2.48/2.52 c
2.48/2.52 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
2.48/2.52 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.48/2.52 c propagating/symmetry/detectdoublelex = FALSE
2.48/2.52 c
2.48/2.52 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
2.48/2.52 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.48/2.52 c propagating/symmetry/detectsubgroups = FALSE
2.48/2.52 c
2.48/2.52 c # Type of symmetries that shall be computed?
2.48/2.52 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
2.48/2.52 c propagating/symmetry/symtype = 1
2.48/2.52 c
2.48/2.52 c # Should components consisting of a single full reflection be handled?
2.48/2.52 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.48/2.52 c propagating/symmetry/usesimplesgncomp = FALSE
2.48/2.52 c
2.48/2.52 c -----------------------------------------------------------------------------------------------
2.48/2.52 c start solving
2.48/2.52 c
3.17/3.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.17/3.24 c 3.2s| 1 | 0 | 730 | - | 567M | 0 |1432 | 85k| 85k| 0 | 0 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
11.25/11.35 c 11.3s| 1 | 0 | 8153 | - | 599M | 0 |1432 | 85k| 85k| 4 | 1 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
11.86/11.92 c 11.9s| 1 | 0 | 8200 | - | 623M | 0 |1432 | 85k| 85k| 6 | 2 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
12.65/12.72 c 12.7s| 1 | 0 | 8363 | - | 641M | 0 |1432 | 85k| 85k| 10 | 3 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
13.35/13.48 c 13.5s| 1 | 0 | 8518 | - | 671M | 0 |1432 | 85k| 85k| 14 | 4 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
14.05/14.11 c 14.1s| 1 | 0 | 8668 | - | 680M | 0 |1432 | 85k| 85k| 16 | 5 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
15.05/15.12 c 15.1s| 1 | 0 | 8931 | - | 694M | 0 |1432 | 85k| 85k| 20 | 6 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
15.64/15.71 c 15.7s| 1 | 0 | 9088 | - | 704M | 0 |1432 | 85k| 85k| 26 | 7 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
16.05/16.10 c 16.1s| 1 | 0 | 9141 | - | 720M | 0 |1432 | 85k| 85k| 28 | 8 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
16.55/16.65 c 16.6s| 1 | 0 | 9318 | - | 738M | 0 |1432 | 85k| 85k| 30 | 9 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
16.95/17.01 c 17.0s| 1 | 0 | 9326 | - | 750M | 0 |1432 | 85k| 85k| 32 | 10 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
17.44/17.52 c 17.5s| 1 | 0 | 9500 | - | 760M | 0 |1432 | 85k| 85k| 36 | 11 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
57.84/58.05 c 58.0s| 1 | 2 | 22250 | - | 760M | 0 |1432 | 85k| 85k| 36 | 11 | 91 | 19 | 0.000000e+00 | -- | Inf | unknown
556.96/558.44 c 558s| 100 | 101 |294599 |2879.8 | 807M | 24 |1432 | 85k| 85k| 76 | 1 | 313 | 19 | 0.000000e+00 | -- | Inf | unknown
629.48/631.11 c 631s| 200 | 201 |348875 |1705.4 | 869M | 45 |1432 | 85k| 85k| 196 | 1 | 369 | 19 | 0.000000e+00 | -- | Inf | unknown
652.91/654.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
652.91/654.62 c 655s| 300 | 301 |365056 |1189.2 | 895M | 46 |1432 | 85k| 85k| 309 | 1 | 381 | 19 | 0.000000e+00 | -- | Inf | unknown
725.13/727.01 c 727s| 400 | 401 |417370 |1022.2 | 897M | 46 |1432 | 85k| 85k| 523 | 1 | 405 | 19 | 0.000000e+00 | -- | Inf | unknown
831.15/833.37 c 833s| 500 | 501 |495755 | 974.5 | 920M | 46 |1432 | 85k| 85k| 855 | 1 | 475 | 19 | 0.000000e+00 | -- | Inf | unknown
873.94/876.28 c 876s| 600 | 601 |528991 | 867.3 | 930M | 49 |1432 | 85k| 85k| 994 | 1 | 533 | 19 | 0.000000e+00 | -- | Inf | unknown
971.78/974.38 c 974s| 700 | 701 |607384 | 855.3 | 951M | 67 |1432 | 85k| 85k|1196 | 1 | 605 | 19 | 0.000000e+00 | -- | Inf | unknown
1012.38/1015.04 c 1015s| 800 | 801 |644194 | 794.4 | 953M | 74 |1432 | 85k| 85k|1205 | 1 | 620 | 19 | 0.000000e+00 | -- | Inf | unknown
1078.11/1080.94 c 1081s| 900 | 901 |699375 | 767.4 | 955M | 88 |1432 | 85k| 85k|1211 | 1 | 722 | 19 | 0.000000e+00 | -- | Inf | unknown
1141.16/1144.19 c 1144s| 1000 | 1001 |755437 | 746.7 | 957M | 101 |1432 | 85k| 85k|1218 | 1 | 795 | 19 | 0.000000e+00 | -- | Inf | unknown
1175.56/1178.69 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1175.56/1178.69 c (run 1, node 1049) performing user restart
1175.56/1178.69 c
1175.66/1178.70 c (restart) converted 62 cuts from the global cut pool into linear constraints
1175.66/1178.70 c
1175.76/1178.81 c presolving:
1176.36/1179.40 c (round 1, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1170 chg coeffs, 62 upgd conss, 0 impls, 358 clqs
1176.96/1180.07 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1176.96/1180.07 c 0 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1170 changed coefficients
1176.96/1180.07 c 0 implications, 358 cliques
1176.96/1180.07 c presolved problem has 1432 variables (1432 bin, 0 int, 0 impl, 0 cont) and 85856 constraints
1176.96/1180.07 c 62 constraints of type <knapsack>
1176.96/1180.07 c 358 constraints of type <setppc>
1176.96/1180.07 c 3 constraints of type <orbitope>
1176.96/1180.07 c 85433 constraints of type <logicor>
1176.96/1180.07 c transformed objective value is always integral (scale: 1)
1176.96/1180.07 c Presolving Time: 3.50
1176.96/1180.07 c
1179.06/1182.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1179.06/1182.12 c 1182s| 1 | 0 |789282 | - | 943M | 0 |1432 | 85k| 85k| 0 | 0 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1179.45/1182.57 c 1183s| 1 | 0 |789370 | - | 945M | 0 |1432 | 85k| 85k| 2 | 1 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1179.96/1183.02 c 1183s| 1 | 0 |789477 | - | 956M | 0 |1432 | 85k| 85k| 5 | 2 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1180.45/1183.50 c 1183s| 1 | 0 |789607 | - | 966M | 0 |1432 | 85k| 85k| 8 | 3 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1180.85/1183.90 c 1184s| 1 | 0 |789677 | - | 977M | 0 |1432 | 85k| 85k| 10 | 4 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1181.25/1184.38 c 1184s| 1 | 0 |789844 | - | 986M | 0 |1432 | 85k| 85k| 13 | 5 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1181.85/1184.93 c 1185s| 1 | 0 |790047 | - | 997M | 0 |1432 | 85k| 85k| 18 | 6 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1182.44/1185.54 c 1186s| 1 | 0 |790259 | - | 1007M | 0 |1432 | 85k| 85k| 21 | 7 | 904 | 19 | 0.000000e+00 | -- | Inf | unknown
1182.74/1185.85 c 1186s| 1 | 0 |790310 | - | 1018M | 0 |1432 | 85k| 85k| 24 | 8 | 904 | 19 | 0.000000e+00 | -- | Inf | unknown
1183.24/1186.33 c 1186s| 1 | 0 |790467 | - | 1028M | 0 |1432 | 85k| 85k| 27 | 9 | 904 | 19 | 0.000000e+00 | -- | Inf | unknown
1183.64/1186.75 c 1187s| 1 | 0 |790585 | - | 1037M | 0 |1432 | 85k| 85k| 30 | 10 | 907 | 19 | 0.000000e+00 | -- | Inf | unknown
1183.94/1187.04 c 1187s| 1 | 0 |790618 | - | 1047M | 0 |1432 | 85k| 85k| 33 | 11 | 907 | 19 | 0.000000e+00 | -- | Inf | unknown
1201.90/1205.02 c 1205s| 1 | 2 |790649 | - | 1047M | 0 |1432 | 85k| 85k| 33 | 11 | 908 | 38 | 0.000000e+00 | -- | Inf | unknown
1327.17/1330.67 c 1331s| 100 | 101 |884976 | 759.7 | 1110M | 22 |1432 | 85k| 85k| 387 | 2 |1011 | 38 | 0.000000e+00 | -- | Inf | unknown
1451.66/1455.43 c 1455s| 200 | 201 |976377 | 772.0 | 1145M | 51 |1432 | 85k| 85k| 443 | 1 |1087 | 38 | 0.000000e+00 | -- | Inf | unknown
1548.91/1552.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1548.91/1552.97 c 1553s| 300 | 301 | 1044k| 765.1 | 1146M | 66 |1432 | 85k| 85k| 445 | 1 |1139 | 38 | 0.000000e+00 | -- | Inf | unknown
1589.41/1593.55 c 1594s| 400 | 401 | 1075k| 734.2 | 1148M | 72 |1432 | 85k| 85k| 447 | 1 |1164 | 38 | 0.000000e+00 | -- | Inf | unknown
1645.67/1649.98 c 1650s| 500 | 501 | 1123k| 717.5 | 1149M | 78 |1432 | 85k| 85k| 452 | 1 |1202 | 38 | 0.000000e+00 | -- | Inf | unknown
1687.16/1691.57 c 1692s| 600 | 601 | 1157k| 694.9 | 1149M | 78 |1432 | 85k| 85k| 455 | 1 |1214 | 38 | 0.000000e+00 | -- | Inf | unknown
1740.03/1744.56 c 1745s| 700 | 701 | 1199k| 678.6 | 1151M | 78 |1432 | 85k| 85k| 462 | 1 |1269 | 38 | 0.000000e+00 | -- | Inf | unknown
2016.75/2022.00 c 2022s| 800 | 801 | 1428k| 765.8 | 1152M | 78 |1432 | 85k| 85k| 465 | 1 |1269 | 38 | 0.000000e+00 | -- | Inf | unknown
2075.21/2080.53 c 2081s| 900 | 901 | 1478k| 752.6 | 1155M | 93 |1432 | 85k| 85k| 467 | 1 |1332 | 38 | 0.000000e+00 | -- | Inf | unknown
2132.64/2138.13 c 2138s| 1000 | 1001 | 1527k| 739.6 | 1157M | 95 |1432 | 85k| 85k| 469 | 1 |1378 | 38 | 0.000000e+00 | -- | Inf | unknown
2189.87/2195.58 c 2196s| 1100 | 1101 | 1577k| 728.5 | 1159M | 95 |1432 | 85k| 85k| 472 | 1 |1466 | 38 | 0.000000e+00 | -- | Inf | unknown
2252.28/2258.19 c 2258s| 1200 | 1201 | 1632k| 720.5 | 1161M | 95 |1432 | 85k| 85k| 476 | 1 |1585 | 38 | 0.000000e+00 | -- | Inf | unknown
2288.87/2294.88 c 2295s| 1300 | 1301 | 1667k| 704.7 | 1164M | 95 |1432 | 85k| 85k| 481 | 1 |1588 | 38 | 0.000000e+00 | -- | Inf | unknown
2335.23/2341.37 c 2341s| 1400 | 1401 | 1711k| 693.8 | 1166M | 155 |1432 | 86k| 85k| 482 | 1 |1689 | 38 | 0.000000e+00 | -- | Inf | unknown
2360.25/2366.47 c 2366s| 1500 | 1456 | 1734k| 675.7 | 1183M | 161 |1432 | 86k| 85k| 499 | 1 |1972 | 38 | 0.000000e+00 | -- | Inf | unknown
2372.41/2378.68 c 2379s| 1600 | 1461 | 1748k| 655.6 | 1193M | 166 |1432 | 86k| 85k| 527 | 1 |2451 | 38 | 0.000000e+00 | -- | Inf | unknown
2385.37/2391.69 c 2392s| 1700 | 1470 | 1765k| 637.6 | 1209M | 166 |1432 | 86k| 85k| 536 | 1 |2849 | 38 | 0.000000e+00 | -- | Inf | unknown
2396.54/2402.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2396.54/2402.88 c 2403s| 1800 | 1477 | 1778k| 619.8 | 1218M | 167 |1432 | 86k| 85k| 564 | 1 |3226 | 38 | 0.000000e+00 | -- | Inf | unknown
2407.11/2413.44 c 2413s| 1900 | 1473 | 1790k| 603.0 | 1227M | 167 |1432 | 86k| 0 | 577 | 0 |3591 | 38 | 0.000000e+00 | -- | Inf | unknown
2419.57/2425.95 c 2426s| 2000 | 1469 | 1804k| 587.8 | 1227M | 167 |1432 | 86k| 0 | 645 | 0 |3986 | 38 | 0.000000e+00 | -- | Inf | unknown
2429.54/2435.92 c 2436s| 2100 | 1469 | 1813k| 571.9 | 1235M | 168 |1432 | 86k| 85k| 716 | 1 |4276 | 38 | 0.000000e+00 | -- | Inf | unknown
2446.59/2453.07 c 2453s| 2200 | 1471 | 1827k| 558.7 | 1236M | 168 |1432 | 86k| 85k| 783 | 1 |4659 | 38 | 0.000000e+00 | -- | Inf | unknown
2465.53/2472.09 c 2472s| 2300 | 1489 | 1848k| 548.3 | 1244M | 168 |1432 | 86k| 85k| 839 | 1 |4974 | 38 | 0.000000e+00 | -- | Inf | unknown
2479.19/2485.77 c 2486s| 2400 | 1527 | 1862k| 536.5 | 1262M | 168 |1432 | 86k| 85k| 941 | 1 |5302 | 38 | 0.000000e+00 | -- | Inf | unknown
2488.75/2495.30 c 2495s| 2500 | 1531 | 1871k| 523.8 | 1287M | 168 |1432 | 86k| 85k|1085 | 1 |5705 | 38 | 0.000000e+00 | -- | Inf | unknown
2497.83/2504.46 c 2504s| 2600 | 1518 | 1880k| 511.9 | 1288M | 168 |1432 | 86k| 85k|1198 | 2 |6059 | 38 | 0.000000e+00 | -- | Inf | unknown
2512.18/2518.89 c 2519s| 2700 | 1517 | 1889k| 500.8 | 1297M | 168 |1432 | 86k| 85k|1356 | 1 |6463 | 38 | 0.000000e+00 | -- | Inf | unknown
2525.14/2531.81 c 2532s| 2800 | 1516 | 1901k| 490.8 | 1314M | 168 |1432 | 86k| 85k|1512 | 1 |6762 | 38 | 0.000000e+00 | -- | Inf | unknown
2535.51/2542.21 c 2542s| 2900 | 1517 | 1913k| 481.5 | 1314M | 168 |1432 | 86k| 0 |1565 | 0 |7156 | 38 | 0.000000e+00 | -- | Inf | unknown
2549.07/2555.82 c 2556s| 3000 | 1529 | 1929k| 473.4 | 1322M | 168 |1432 | 86k| 85k|1669 | 1 |7468 | 38 | 0.000000e+00 | -- | Inf | unknown
2556.05/2562.89 c 2563s| 3100 | 1525 | 1937k| 464.0 | 1322M | 168 |1432 | 86k| 85k|1697 | 1 |7858 | 38 | 0.000000e+00 | -- | Inf | unknown
2564.92/2571.76 c 2572s| 3200 | 1533 | 1947k| 455.5 | 1322M | 168 |1432 | 86k| 0 |1728 | 0 |8132 | 38 | 0.000000e+00 | -- | Inf | unknown
2575.19/2582.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2575.19/2582.07 c 2582s| 3300 | 1528 | 1960k| 447.9 | 1323M | 168 |1432 | 86k| 85k|1745 | 1 |8489 | 38 | 0.000000e+00 | -- | Inf | unknown
2586.85/2593.73 c 2594s| 3400 | 1537 | 1975k| 441.2 | 1323M | 168 |1432 | 86k| 0 |1778 | 0 |8967 | 38 | 0.000000e+00 | -- | Inf | unknown
2596.62/2603.50 c 2603s| 3500 | 1535 | 1986k| 433.9 | 1323M | 168 |1432 | 87k| 85k|1811 | 1 |9315 | 38 | 0.000000e+00 | -- | Inf | unknown
2605.59/2612.53 c 2613s| 3600 | 1550 | 1995k| 426.7 | 1320M | 168 |1432 | 87k| 85k|1849 | 1 |9677 | 38 | 0.000000e+00 | -- | Inf | unknown
2614.37/2621.32 c 2621s| 3700 | 1548 | 2005k| 419.7 | 1320M | 168 |1432 | 87k| 0 |1880 | 0 |9962 | 38 | 0.000000e+00 | -- | Inf | unknown
2624.23/2631.29 c 2631s| 3800 | 1548 | 2017k| 413.5 | 1320M | 170 |1432 | 87k| 0 |1901 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2633.31/2640.38 c 2640s| 3900 | 1551 | 2026k| 406.9 | 1320M | 170 |1432 | 87k| 0 |1968 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2640.58/2647.61 c 2648s| 4000 | 1550 | 2033k| 400.4 | 1320M | 170 |1432 | 87k| 0 |2047 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2651.95/2659.03 c 2659s| 4100 | 1549 | 2041k| 394.0 | 1328M | 170 |1432 | 87k| 85k|2208 | 2 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2663.61/2670.71 c 2671s| 4200 | 1562 | 2054k| 389.0 | 1328M | 170 |1432 | 87k| 85k|2314 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2671.99/2679.15 c 2679s| 4300 | 1564 | 2064k| 383.6 | 1329M | 170 |1432 | 87k| 0 |2350 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2679.97/2687.10 c 2687s| 4400 | 1559 | 2074k| 378.3 | 1329M | 170 |1432 | 87k| 85k|2367 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2686.84/2694.10 c 2694s| 4500 | 1560 | 2081k| 372.9 | 1329M | 170 |1432 | 87k| 85k|2404 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2697.91/2705.19 c 2705s| 4600 | 1566 | 2094k| 368.6 | 1329M | 170 |1432 | 87k| 85k|2459 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2705.58/2712.81 c 2713s| 4700 | 1567 | 2103k| 363.7 | 1329M | 170 |1432 | 87k| 0 |2502 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2716.05/2723.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2716.05/2723.31 c 2723s| 4800 | 1571 | 2112k| 359.1 | 1329M | 170 |1432 | 87k| 85k|2630 | 2 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
2727.41/2734.75 c 2735s| 4900 | 1590 | 2126k| 355.4 | 1331M | 170 |1432 | 87k| 85k|2657 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
2738.88/2746.26 c 2746s| 5000 | 1611 | 2138k| 351.4 | 1339M | 170 |1432 | 87k| 85k|2790 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
2752.24/2759.69 c 2760s| 5100 | 1586 | 2151k| 347.9 | 1339M | 170 |1432 | 87k| 85k|2938 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
2765.60/2773.02 c 2773s| 5200 | 1600 | 2168k| 345.1 | 1339M | 170 |1432 | 87k| 85k|2977 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
2778.26/2785.73 c 2786s| 5300 | 1591 | 2181k| 341.6 | 1355M | 170 |1432 | 87k| 85k|3045 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
2790.22/2797.74 c 2798s| 5400 | 1592 | 2190k| 337.8 | 1355M | 170 |1432 | 87k| 0 |3138 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
2798.90/2806.41 c 2806s| 5500 | 1584 | 2201k| 334.2 | 1355M | 170 |1432 | 88k| 0 |3175 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
2809.16/2816.71 c 2817s| 5600 | 1577 | 2212k| 330.8 | 1355M | 170 |1432 | 87k| 0 |3210 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
2820.93/2828.57 c 2829s| 5700 | 1586 | 2225k| 327.9 | 1355M | 170 |1432 | 87k| 85k|3260 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
2831.40/2839.01 c 2839s| 5800 | 1592 | 2238k| 325.0 | 1355M | 170 |1432 | 87k| 0 |3282 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
2842.16/2849.83 c 2850s| 5900 | 1608 | 2248k| 321.7 | 1354M | 170 |1432 | 87k| 85k|3328 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
2850.94/2858.69 c 2859s| 6000 | 1601 | 2257k| 318.5 | 1355M | 171 |1432 | 87k| 0 |3347 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
2861.00/2868.70 c 2869s| 6100 | 1594 | 2267k| 315.4 | 1355M | 171 |1432 | 87k| 0 |3361 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
2870.18/2878.00 c 2878s| 6200 | 1590 | 2279k| 312.7 | 1355M | 171 |1432 | 87k| 85k|3373 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
2884.34/2892.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2884.34/2892.12 c 2892s| 6300 | 1595 | 2295k| 310.6 | 1355M | 171 |1432 | 87k| 0 |3493 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
2893.90/2901.74 c 2902s| 6400 | 1611 | 2305k| 307.8 | 1355M | 171 |1432 | 87k| 85k|3549 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
2903.28/2911.15 c 2911s| 6500 | 1596 | 2314k| 304.9 | 1355M | 171 |1432 | 87k| 85k|3610 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | unknown
2920.42/2928.32 c 2928s| 6600 | 1586 | 2324k| 302.2 | 1355M | 171 |1432 | 87k| 0 |3746 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | unknown
2930.10/2938.09 c 2938s| 6700 | 1587 | 2334k| 299.7 | 1357M | 171 |1432 | 87k| 0 |3800 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | unknown
2942.85/2950.85 c 2951s| 6800 | 1594 | 2349k| 297.7 | 1357M | 171 |1432 | 87k| 85k|3831 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | unknown
2953.32/2961.33 c 2961s| 6900 | 1590 | 2361k| 295.5 | 1357M | 171 |1432 | 87k| 85k|3848 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | unknown
2965.39/2973.47 c 2973s| 7000 | 1587 | 2372k| 293.2 | 1366M | 171 |1432 | 87k| 0 |3952 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | unknown
2974.76/2982.83 c 2983s| 7100 | 1599 | 2383k| 291.0 | 1366M | 171 |1432 | 87k| 0 |3967 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | unknown
2982.63/2990.70 c 2991s| 7200 | 1589 | 2391k| 288.4 | 1366M | 171 |1432 | 87k| 85k|4023 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | unknown
2992.70/3000.82 c 3001s| 7300 | 1588 | 2403k| 286.4 | 1366M | 171 |1432 | 87k| 85k|4077 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | unknown
3000.48/3008.68 c 3009s| 7400 | 1586 | 2413k| 284.2 | 1366M | 171 |1432 | 88k| 0 |4077 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | unknown
3008.55/3016.71 c 3017s| 7500 | 1587 | 2422k| 281.9 | 1366M | 171 |1432 | 88k| 85k|4119 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | unknown
3016.13/3024.33 c 3024s| 7600 | 1585 | 2430k| 279.5 | 1374M | 171 |1432 | 88k| 85k|4175 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | unknown
3025.90/3034.16 c 3034s| 7700 | 1581 | 2440k| 277.6 | 1374M | 171 |1432 | 88k| 85k|4219 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | unknown
3033.57/3041.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3033.57/3041.80 c 3042s| 7800 | 1589 | 2449k| 275.4 | 1374M | 171 |1432 | 88k| 85k|4249 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | unknown
3046.63/3054.99 c 3055s| 7900 | 1593 | 2463k| 273.8 | 1374M | 171 |1432 | 88k| 85k|4312 | 1 | 23k| 38 | 0.000000e+00 | -- | Inf | unknown
3057.10/3065.48 c 3065s| 8000 | 1623 | 2473k| 271.9 | 1375M | 171 |1432 | 88k| 85k|4432 | 1 | 23k| 38 | 0.000000e+00 | -- | Inf | unknown
3067.57/3075.91 c 3076s| 8100 | 1619 | 2482k| 270.0 | 1376M | 171 |1432 | 88k| 0 |4526 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | unknown
3076.84/3085.21 c 3085s| 8200 | 1596 | 2492k| 268.2 | 1386M | 172 |1432 | 88k| 0 |4647 | 0 | 24k| 38 | 0.000000e+00 | -- | Inf | unknown
3094.69/3103.12 c 3103s| 8300 | 1594 | 2507k| 266.8 | 1386M | 172 |1432 | 88k| 0 |4709 | 0 | 24k| 38 | 0.000000e+00 | -- | Inf | unknown
3107.55/3116.04 c 3116s| 8400 | 1595 | 2522k| 265.6 | 1386M | 172 |1432 | 88k| 85k|4773 | 1 | 25k| 38 | 0.000000e+00 | -- | Inf | unknown
3119.01/3127.58 c 3128s| 8500 | 1590 | 2534k| 264.1 | 1394M | 172 |1432 | 88k| 0 |4903 | 0 | 25k| 38 | 0.000000e+00 | -- | Inf | unknown
3133.27/3141.86 c 3142s| 8600 | 1587 | 2549k| 262.9 | 1394M | 172 |1432 | 88k| 0 |5007 | 0 | 25k| 38 | 0.000000e+00 | -- | Inf | unknown
3145.13/3153.79 c 3154s| 8700 | 1595 | 2563k| 261.6 | 1394M | 172 |1432 | 88k| 85k|5083 | 1 | 26k| 38 | 0.000000e+00 | -- | Inf | unknown
3156.79/3165.48 c 3165s| 8800 | 1610 | 2574k| 260.1 | 1394M | 172 |1432 | 88k| 85k|5188 | 1 | 26k| 38 | 0.000000e+00 | -- | Inf | unknown
3170.55/3179.25 c 3179s| 8900 | 1604 | 2586k| 258.8 | 1394M | 172 |1432 | 88k| 0 |5383 | 0 | 26k| 38 | 0.000000e+00 | -- | Inf | unknown
3187.00/3195.76 c 3196s| 9000 | 1600 | 2603k| 257.8 | 1394M | 172 |1432 | 88k| 85k|5553 | 1 | 26k| 38 | 0.000000e+00 | -- | Inf | unknown
3199.37/3208.15 c 3208s| 9100 | 1614 | 2618k| 256.7 | 1394M | 172 |1432 | 88k| 85k|5602 | 1 | 27k| 38 | 0.000000e+00 | -- | Inf | unknown
3210.83/3219.62 c 3220s| 9200 | 1639 | 2631k| 255.5 | 1394M | 172 |1432 | 88k| 0 |5650 | 0 | 27k| 38 | 0.000000e+00 | -- | Inf | unknown
3222.49/3231.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3222.49/3231.30 c 3231s| 9300 | 1667 | 2644k| 254.3 | 1395M | 172 |1432 | 88k| 85k|5696 | 1 | 27k| 38 | 0.000000e+00 | -- | Inf | unknown
3233.16/3242.01 c 3242s| 9400 | 1693 | 2657k| 253.1 | 1396M | 172 |1432 | 88k| 85k|5736 | 1 | 28k| 38 | 0.000000e+00 | -- | Inf | unknown
3243.72/3252.64 c 3253s| 9500 | 1729 | 2669k| 251.9 | 1397M | 172 |1432 | 88k| 85k|5787 | 1 | 28k| 38 | 0.000000e+00 | -- | Inf | unknown
3255.68/3264.60 c 3265s| 9600 | 1729 | 2680k| 250.5 | 1397M | 172 |1432 | 88k| 85k|5847 | 1 | 29k| 38 | 0.000000e+00 | -- | Inf | unknown
3265.45/3274.42 c 3274s| 9700 | 1735 | 2690k| 249.1 | 1397M | 172 |1432 | 88k| 85k|5912 | 1 | 29k| 38 | 0.000000e+00 | -- | Inf | unknown
3275.92/3285.00 c 3285s| 9800 | 1743 | 2702k| 248.0 | 1397M | 172 |1432 | 88k| 0 |5956 | 0 | 29k| 38 | 0.000000e+00 | -- | Inf | unknown
3285.59/3294.63 c 3295s| 9900 | 1733 | 2714k| 246.8 | 1397M | 172 |1432 | 88k| 0 |5968 | 0 | 30k| 38 | 0.000000e+00 | -- | Inf | unknown
3296.15/3305.28 c 3305s| 10000 | 1752 | 2725k| 245.6 | 1397M | 172 |1432 | 88k| 85k|6047 | 1 | 30k| 38 | 0.000000e+00 | -- | Inf | unknown
3304.63/3313.77 c 3314s| 10100 | 1761 | 2735k| 244.2 | 1397M | 172 |1432 | 89k| 85k|6109 | 2 | 30k| 38 | 0.000000e+00 | -- | Inf | unknown
3318.39/3327.50 c 3327s| 10200 | 1759 | 2746k| 243.0 | 1397M | 172 |1432 | 89k| 0 |6209 | 0 | 31k| 38 | 0.000000e+00 | -- | Inf | unknown
3329.75/3338.95 c 3339s| 10300 | 1785 | 2758k| 241.9 | 1399M | 172 |1432 | 89k| 85k|6307 | 1 | 31k| 38 | 0.000000e+00 | -- | Inf | unknown
3342.71/3351.94 c 3352s| 10400 | 1807 | 2771k| 240.9 | 1399M | 172 |1432 | 89k| 0 |6452 | 0 | 31k| 38 | 0.000000e+00 | -- | Inf | unknown
3354.37/3363.65 c 3364s| 10500 | 1825 | 2785k| 240.1 | 1400M | 172 |1432 | 88k| 85k|6499 | 1 | 32k| 38 | 0.000000e+00 | -- | Inf | unknown
3367.33/3376.69 c 3377s| 10600 | 1838 | 2799k| 239.2 | 1400M | 172 |1432 | 89k| 0 |6554 | 0 | 32k| 38 | 0.000000e+00 | -- | Inf | unknown
3379.00/3388.34 c 3388s| 10700 | 1835 | 2810k| 238.2 | 1400M | 172 |1432 | 88k| 85k|6622 | 1 | 33k| 38 | 0.000000e+00 | -- | Inf | unknown
3391.96/3401.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3391.96/3401.37 c 3401s| 10800 | 1847 | 2825k| 237.4 | 1400M | 172 |1432 | 88k| 85k|6720 | 0 | 33k| 38 | 0.000000e+00 | -- | Inf | unknown
3403.22/3412.69 c 3413s| 10900 | 1851 | 2836k| 236.3 | 1408M | 172 |1432 | 88k| 85k|6794 | 2 | 33k| 38 | 0.000000e+00 | -- | Inf | unknown
3411.10/3420.57 c 3421s| 11000 | 1849 | 2844k| 235.0 | 1408M | 172 |1432 | 88k| 0 |6834 | 0 | 33k| 38 | 0.000000e+00 | -- | Inf | unknown
3422.67/3432.16 c 3432s| 11100 | 1842 | 2853k| 233.9 | 1408M | 172 |1432 | 88k| 0 |6956 | 0 | 34k| 38 | 0.000000e+00 | -- | Inf | unknown
3435.03/3444.59 c 3445s| 11200 | 1854 | 2866k| 233.0 | 1408M | 172 |1432 | 88k| 85k|7075 | 1 | 34k| 38 | 0.000000e+00 | -- | Inf | unknown
3446.79/3456.30 c 3456s| 11300 | 1855 | 2879k| 232.2 | 1408M | 172 |1432 | 88k| 85k|7156 | 1 | 34k| 38 | 0.000000e+00 | -- | Inf | unknown
3464.54/3474.17 c 3474s| 11400 | 1868 | 2891k| 231.3 | 1408M | 172 |1432 | 88k| 0 |7313 | 0 | 35k| 38 | 0.000000e+00 | -- | Inf | unknown
3479.79/3489.40 c 3489s| 11500 | 1860 | 2906k| 230.6 | 1409M | 172 |1432 | 88k| 85k|7507 | 1 | 35k| 38 | 0.000000e+00 | -- | Inf | unknown
3491.06/3500.71 c 3501s| 11600 | 1865 | 2917k| 229.7 | 1410M | 172 |1432 | 89k| 85k|7579 | 1 | 36k| 38 | 0.000000e+00 | -- | Inf | unknown
3508.60/3518.36 c 3518s| 11700 | 1871 | 2936k| 229.3 | 1410M | 172 |1432 | 88k| 0 |7748 | 0 | 36k| 38 | 0.000000e+00 | -- | Inf | unknown
3524.36/3534.16 c 3534s| 11800 | 1912 | 2955k| 229.1 | 1410M | 172 |1432 | 88k| 0 |7842 | 0 | 36k| 38 | 0.000000e+00 | -- | Inf | unknown
3533.03/3542.87 c 3543s| 11900 | 1923 | 2965k| 228.1 | 1411M | 172 |1432 | 88k| 85k|7901 | 1 | 37k| 38 | 0.000000e+00 | -- | Inf | unknown
3545.31/3555.19 c 3555s| 12000 | 1952 | 2979k| 227.4 | 1412M | 172 |1432 | 88k| 0 |8014 | 0 | 37k| 38 | 0.000000e+00 | -- | Inf | unknown
3552.38/3562.20 c 3562s| 12100 | 1956 | 2987k| 226.2 | 1412M | 175 |1432 | 88k| 0 |8057 | 0 | 37k| 38 | 0.000000e+00 | -- | Inf | unknown
3561.75/3571.65 c 3572s| 12200 | 1972 | 2998k| 225.4 | 1413M | 175 |1432 | 89k| 85k|8100 | 1 | 37k| 38 | 0.000000e+00 | -- | Inf | unknown
3575.41/3585.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3575.41/3585.37 c 3585s| 12300 | 2000 | 3011k| 224.6 | 1414M | 175 |1432 | 89k| 85k|8197 | 1 | 38k| 38 | 0.000000e+00 | -- | Inf | unknown
3587.08/3597.01 c
3587.08/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.08/3597.01 c Solving Time (sec) : 3597.00
3587.08/3597.01 c Solving Nodes : 12393 (total of 13442 nodes in 2 runs)
3587.08/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.08/3597.01 c Dual Bound : +0.00000000000000e+00
3587.08/3597.01 c Gap : infinite
3587.08/3597.01 s UNKNOWN
3587.08/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.08/3597.01 c Total Time : 3597.00
3587.08/3597.01 c solving : 3597.00
3587.08/3597.01 c presolving : 3.50 (included in solving)
3587.08/3597.01 c reading : 0.17 (included in solving)
3587.08/3597.01 c copying : 0.64 (6 #copies) (minimal 0.10, maximal 0.11, average 0.11)
3587.08/3597.01 c Original Problem :
3587.08/3597.01 c Problem name : HOME/instance-4494534-1751148704.opb
3587.08/3597.01 c Variables : 1440 (1440 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.08/3597.01 c Constraints : 86040 initial, 86040 maximal
3587.08/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.08/3597.01 c Presolved Problem :
3587.08/3597.01 c Problem name : t_HOME/instance-4494534-1751148704.opb
3587.08/3597.01 c Variables : 1432 (1432 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.08/3597.01 c Constraints : 85856 initial, 89416 maximal
3587.08/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.08/3597.01 c Nonzeros : 376461 constraint, 1431 clique table
3587.08/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.08/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c domcol : 0.04 0.00 3 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c dualsparsify : 0.73 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c gateextraction : 0.08 0.00 5 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c milp : 0.22 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c sparsify : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c trivial : 0.00 0.00 9 1 0 0 0 0 0 0 0 0
3587.08/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c dualfix : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c probing : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c symmetry : 0.32 0.00 1 3 0 0 0 0 0 3 0 0
3587.08/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c setppc : 0.00 0.00 20 0 1 0 0 0 2 0 0 0
3587.08/3597.01 c linear : 0.23 0.05 4 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c orbitope : 0.00 0.00 6 3 0 0 0 0 0 0 0 0
3587.08/3597.01 c logicor : 1.45 0.20 20 0 0 0 0 0 815 0 0 1289
3587.08/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c components : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.08/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.08/3597.01 c benderslp : 0 0 0 0 9630 0 0 1689 0 0 0 0 0 0 0
3587.08/3597.01 c integral : 0 0 0 0 9630 0 0 1689 0 0 0 0 0 0 19260
3587.08/3597.01 c knapsack : 62+ 102 11 105306 0 0 0 0 48 6 116 0 0 0 0
3587.08/3597.01 c setppc : 358 358 22 128262 0 0 0 1685 517246 2469 225003 0 0 0 0
3587.08/3597.01 c linear : 0+ 14 0 38556 0 0 0 2 10 4 30 0 0 0 0
3587.08/3597.01 c orbitope : 3 3 0 125689 0 0 0 0 1819 34 2811 0 0 0 0
3587.08/3597.01 c logicor : 85433+ 88941 22 94288 0 0 0 0 1465147 3563 608915 0 0 0 0
3587.08/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.08/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c integral : 31.41 0.00 0.00 0.00 31.41 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c knapsack : 0.11 0.00 0.00 0.11 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c setppc : 4.22 0.00 0.00 3.89 0.00 0.00 0.00 0.00 0.32 0.00
3587.08/3597.01 c linear : 0.07 0.05 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c orbitope : 1.76 0.00 0.00 1.76 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c logicor : 16.08 0.20 0.47 14.61 0.00 0.00 0.00 0.00 0.76 0.04
3587.08/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.08/3597.01 c dualfix : 2 0 0 0
3587.08/3597.01 c genvbounds : 0 0 0 0
3587.08/3597.01 c nlobbt : 0 0 0 0
3587.08/3597.01 c obbt : 0 0 0 0
3587.08/3597.01 c probing : 0 0 0 0
3587.08/3597.01 c pseudoobj : 0 0 0 0
3587.08/3597.01 c redcost : 0 0 0 0
3587.08/3597.01 c rootredcost : 0 0 0 0
3587.08/3597.01 c symmetry : 0 0 0 0
3587.08/3597.01 c vbounds : 96799 0 0 0
3587.08/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.08/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.08/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.01 c probing : 0.04 0.00 0.04 0.00 0.00 0.00
3587.08/3597.01 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.08/3597.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.08/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.08/3597.01 c symmetry : 0.34 0.00 0.32 0.02 0.00 0.00
3587.08/3597.01 c vbounds : 0.90 0.00 0.00 0.90 0.00 0.00
3587.08/3597.01 c Symmetry :
3587.08/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.08/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.08/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.08/3597.01 c shadow tree time : 0.00 s
3587.08/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.08/3597.01 c propagation : 6.21 6069 6069 - 368803 180.8 620 54.0 - - -
3587.08/3597.01 c infeasible LP : 0.42 263 208 - 13689 199.4 5 39.8 207 101.8 0
3587.08/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.08/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.08/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.08/3597.01 c applied globally : 0.30 - - 0 38418 124.1 - - 190 - -
3587.08/3597.01 c applied locally : - - - 0 0 0.0 - - 17 - -
3587.08/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.08/3597.01 c cut pool : 4.12 - 2792 42 - - 48084 77075 - - - - - (maximal pool size: 3609)
3587.08/3597.01 c aggregation : 7.79 0.00 1154 22 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.08/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.08/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.08/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c clique : 0.04 0.00 22 22 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c gomory : 152.82 0.00 1152 20 0 0 60775 69266 13709 2652 2131 521 0
3587.08/3597.01 c > gomorymi : - - - - - - - 22628 6901 467 122 345 -
3587.08/3597.01 c > strongcg : - - - - - - - 46638 6808 2185 2009 176 -
3587.08/3597.01 c impliedbounds : 0.03 0.00 1154 22 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c mcf : 0.06 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c multilinear : 0.00 0.00 101 22 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c rlt : 0.00 0.00 639 20 0 0 0 0 0 0 0 0 0
3587.08/3597.01 c zerohalf : 20.75 0.00 1154 22 0 0 3471 7809 2453 6825 5110 1715 0
3587.08/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.08/3597.01 c hybrid : 0.32 0.00 1567 22 9285 210 83952 69 0 6314
3587.08/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.08/3597.01 c problem variables: 0.00 - 0 0
3587.08/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.08/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c relpscost : 31.40 0.00 9630 0 0 0 0 0 0 19260
3587.08/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.08/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.08/3597.01 c LP solutions : 0.00 - - 0 0
3587.08/3597.01 c relax solutions : 0.00 - - 0 0
3587.08/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.08/3597.01 c strong branching : 0.00 - - 0 0
3587.08/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.08/3597.01 c adaptivediving : 80.32 0.00 4 0 0
3587.08/3597.01 c alns : 1.27 0.00 4 0 0
3587.08/3597.01 c bound : 0.00 0.00 0 0 0
3587.08/3597.01 c clique : 0.15 0.00 1 0 0
3587.08/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.08/3597.01 c completesol : 0.00 0.00 0 0 0
3587.08/3597.01 c conflictdiving : 246.34 0.00 21 0 0
3587.08/3597.01 c crossover : 0.00 0.00 0 0 0
3587.08/3597.01 c dins : 0.00 0.00 0 0 0
3587.08/3597.01 c distributiondivin: 137.31 0.00 9 0 0
3587.08/3597.01 c dps : 0.00 0.00 0 0 0
3587.08/3597.01 c dualval : 0.00 0.00 0 0 0
3587.08/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.08/3597.01 c feasjump : 0.22 0.00 2 0 0
3587.08/3597.01 c feaspump : 41.89 0.00 7 0 0
3587.08/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.08/3597.01 c fracdiving : 113.18 0.00 14 0 0
3587.08/3597.01 c gins : 0.00 0.00 0 0 0
3587.08/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.08/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.08/3597.01 c indicator : 0.01 0.00 0 0 0
3587.08/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.08/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.08/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.08/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.08/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.08/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.08/3597.01 c linesearchdiving : 87.89 0.00 15 0 0
3587.08/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.08/3597.01 c locks : 0.03 0.00 1 0 0
3587.08/3597.01 c lpface : 0.02 0.00 0 0 0
3587.08/3597.01 c mpec : 0.00 0.00 0 0 0
3587.08/3597.01 c multistart : 0.00 0.00 0 0 0
3587.08/3597.01 c mutation : 0.00 0.00 0 0 0
3587.08/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.08/3597.01 c objpscostdiving : 409.08 0.00 2 0 0
3587.08/3597.01 c octane : 0.00 0.00 0 0 0
3587.08/3597.01 c ofins : 0.00 0.00 0 0 0
3587.08/3597.01 c oneopt : 0.01 0.00 0 0 0
3587.08/3597.01 c padm : 0.00 0.00 0 0 0
3587.08/3597.01 c proximity : 0.00 0.00 0 0 0
3587.08/3597.01 c pscostdiving : 114.23 0.00 15 0 0
3587.08/3597.01 c randrounding : 0.78 0.00 1679 0 0
3587.08/3597.01 c rens : 23.53 0.00 2 0 0
3587.08/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.08/3597.01 c repair : 0.00 0.00 0 0 0
3587.08/3597.01 c rins : 0.00 0.00 0 0 0
3587.08/3597.01 c rootsoldiving : 31.29 0.00 3 0 0
3587.08/3597.01 c rounding : 7.50 0.00 1462 0 0
3587.08/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.08/3597.01 c shiftandpropagate: 0.21 0.00 2 0 0
3587.08/3597.01 c shifting : 8.00 0.00 633 0 0
3587.08/3597.01 c simplerounding : 0.01 0.00 0 0 0
3587.08/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.08/3597.01 c subnlp : 0.01 0.00 0 0 0
3587.08/3597.01 c trivial : 0.00 0.00 4 0 0
3587.08/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.08/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.08/3597.01 c trysol : 0.01 0.00 0 0 0
3587.08/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.08/3597.01 c undercover : 0.00 0.00 0 0 0
3587.08/3597.01 c vbounds : 0.10 0.00 2 0 0
3587.08/3597.01 c veclendiving : 146.78 0.00 9 0 0
3587.08/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.08/3597.01 c zirounding : 2.00 0.00 1000 0 0
3587.08/3597.01 c other solutions : - - - 0 -
3587.08/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.08/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.08/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.08/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.08/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.08/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.08/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.08/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.08/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.08/3597.01 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.08/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.08/3597.01 c primal LP : 4.87 593 0 0.00 0.00 4.87 593
3587.08/3597.01 c dual LP : 1805.04 11464 2099519 183.20 1163.14 0.04 4
3587.08/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.08/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.08/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.08/3597.01 c diving/probing LP: 1398.85 1483 923951 623.03 660.51
3587.08/3597.01 c strong branching : 14.44 38 11672 307.16 808.24 - - 19
3587.08/3597.01 c (at root node) : - 38 11672 307.16 -
3587.08/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.08/3597.01 c B&B Tree :
3587.08/3597.01 c number of runs : 2
3587.08/3597.01 c nodes : 12393 (8581 internal, 3812 leaves)
3587.08/3597.01 c feasible leaves : 0
3587.08/3597.01 c infeas. leaves : 3811
3587.08/3597.01 c objective leaves : 0
3587.08/3597.01 c nodes (total) : 13442 (9630 internal, 3812 leaves)
3587.08/3597.01 c nodes left : 2019
3587.08/3597.01 c max depth : 175
3587.08/3597.01 c max depth (total): 175
3587.08/3597.01 c backtracks : 3017 (24.3%)
3587.08/3597.01 c early backtracks : 0 (0.0%)
3587.08/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.08/3597.01 c delayed cutoffs : 2752
3587.08/3597.01 c repropagations : 8453 (302268 domain reductions, 2262 cutoffs)
3587.08/3597.01 c avg switch length: 3.49
3587.08/3597.01 c switching time : 17.76
3587.08/3597.01 c Root Node :
3587.08/3597.01 c First LP value : +0.00000000000000e+00
3587.08/3597.01 c First LP Iters : 730 (2824.02 Iter/sec)
3587.08/3597.01 c First LP Time : 0.26
3587.08/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.08/3597.01 c Final Root Iters : 12869
3587.08/3597.01 c Root LP Estimate : +7.62341997870421e-02
3587.08/3597.01 c Solution :
3587.08/3597.01 c Solutions found : 0 (0 improvements)
3587.08/3597.01 c Primal Bound : -
3587.08/3597.01 c Dual Bound : +0.00000000000000e+00
3587.08/3597.01 c Gap : infinite
3587.08/3597.01 c Integrals : Total Avg%
3587.08/3597.01 c primal-dual : 359700.01 100.00
3587.08/3597.01 c primal-ref : - - (not evaluated)
3587.08/3597.01 c dual-ref : - - (not evaluated)
3587.27/3597.25 c Time complete: 3587.33.
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 (60305 MiB free)
memory of node 1: 64507 MiB (63478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494534-1751148704/watcher-4494534-1751148704 -o /tmp/evaluation-result-4494534-1751148704/solver-4494534-1751148704 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751144686-14927 --watchdog 3760 pbscip -f HOME/instance-4494534-1751148704.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
solver pid=16402, runsolver pid=16399
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.20 4.15 4.10 5/265 16403
/proc/meminfo: memFree=126722880/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=70532 memory=42624 CPUtime=0.09 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 7749 0 0 0 8 1 0 0 20 0 1 0 30548290 72224768 10656 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 17633 10656 3232 3530 0 9084 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70532 KiB
Current children cumulated memory: 42624 KiB
[startup+0.205683 s]*
/proc/loadavg: 4.20 4.15 4.10 5/265 16403
/proc/meminfo: memFree=126682812/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=114452 memory=87556 CPUtime=0.2 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 19065 0 0 0 17 3 0 0 20 0 1 0 30548290 117198848 21889 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 28613 21889 3520 3530 0 20064 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 114452 KiB
Current children cumulated memory: 87556 KiB
[startup+0.305709 s]*
/proc/loadavg: 4.20 4.15 4.10 5/265 16403
/proc/meminfo: memFree=126602928/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=188076 memory=160096 CPUtime=0.29 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 37758 0 0 0 24 5 0 0 20 0 1 0 30548290 192589824 40024 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 47019 40024 3552 3530 0 38470 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 188076 KiB
Current children cumulated memory: 160096 KiB
[startup+0.700177 s]
/proc/loadavg: 4.20 4.15 4.10 5/265 16403
/proc/meminfo: memFree=126578736/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=228304 memory=199904 CPUtime=0.68 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 55584 0 0 0 59 9 0 0 20 0 1 0 30548290 233783296 49976 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 57076 49976 3680 3530 0 48527 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 228304 KiB
Current children cumulated memory: 199904 KiB
[startup+1.50018 s]
/proc/loadavg: 4.20 4.15 4.10 5/265 16403
/proc/meminfo: memFree=126538920/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=419468 memory=365120 CPUtime=1.48 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 71828 0 0 0 134 14 0 0 20 0 1 0 30548290 429535232 91280 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 104867 91280 3744 3530 0 96318 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 419468 KiB
Current children cumulated memory: 365120 KiB
[startup+3.10562 s]
/proc/loadavg: 4.20 4.15 4.10 5/265 16403
/proc/meminfo: memFree=126385284/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=654548 memory=597324 CPUtime=3.08 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 109528 0 0 0 287 21 0 0 20 0 1 0 30548290 670257152 149331 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 163637 149331 3936 3530 0 155088 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 654548 KiB
Current children cumulated memory: 597324 KiB
[startup+6.30014 s]
/proc/loadavg: 4.18 4.15 4.10 5/265 16403
/proc/meminfo: memFree=126385576/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=654548 memory=597324 CPUtime=6.27 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 109538 0 0 0 606 21 0 0 20 0 1 0 30548290 670257152 149331 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 163637 149331 3936 3530 0 155088 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 654548 KiB
Current children cumulated memory: 597324 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.15 4.10 5/265 16403
/proc/meminfo: memFree=126366580/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=736708 memory=653228 CPUtime=12.65 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 120479 0 0 0 1242 23 0 0 20 0 1 0 30548290 754388992 163307 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 184177 163307 3936 3530 0 175628 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 736708 KiB
Current children cumulated memory: 653228 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 16404
/proc/meminfo: memFree=126335752/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=854116 memory=702308 CPUtime=25.41 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 132231 0 0 0 2516 25 0 0 20 0 1 0 30548290 874614784 175577 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 213529 175577 3936 3530 0 204980 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 854116 KiB
Current children cumulated memory: 702308 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 4.13 4.09 5/265 16404
/proc/meminfo: memFree=126157176/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1014728 memory=862784 CPUtime=50.96 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 170311 0 0 0 5065 31 0 0 20 0 1 0 30548290 1039081472 215696 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 253682 215696 3936 3530 0 245133 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1014728 KiB
Current children cumulated memory: 862784 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 16411
/proc/meminfo: memFree=126181656/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1014728 memory=863296 CPUtime=102.02 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 170430 0 0 0 10171 31 0 0 20 0 1 0 30548290 1039081472 215824 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 253682 215824 3968 3530 0 245133 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1014728 KiB
Current children cumulated memory: 863296 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 16413
/proc/meminfo: memFree=125960648/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1014728 memory=863296 CPUtime=161.87 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 170431 0 0 0 16156 31 0 0 20 0 1 0 30548290 1039081472 215824 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 253682 215824 3968 3530 0 245133 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1014728 KiB
Current children cumulated memory: 863296 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 16417
/proc/meminfo: memFree=125818292/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1014728 memory=863296 CPUtime=221.72 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 170447 0 0 0 22141 31 0 0 20 0 1 0 30548290 1039081472 215824 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 253682 215824 3968 3530 0 245133 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1014728 KiB
Current children cumulated memory: 863296 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 16420
/proc/meminfo: memFree=125746676/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1014728 memory=863296 CPUtime=281.57 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 170447 0 0 0 28126 31 0 0 20 0 1 0 30548290 1039081472 215824 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 253682 215824 3968 3530 0 245133 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 1014728 KiB
Current children cumulated memory: 863296 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 16422
/proc/meminfo: memFree=125730152/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1014728 memory=863936 CPUtime=341.41 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 170628 0 0 0 34110 31 0 0 20 0 1 0 30548290 1039081472 215984 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 253682 215984 3968 3530 0 245133 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 1014728 KiB
Current children cumulated memory: 863936 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 16425
/proc/meminfo: memFree=125575252/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1014728 memory=864320 CPUtime=401.26 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 170748 0 0 0 40095 31 0 0 20 0 1 0 30548290 1039081472 216080 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 253682 216080 3968 3530 0 245133 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 1014728 KiB
Current children cumulated memory: 864320 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 16427
/proc/meminfo: memFree=125543704/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1014728 memory=865728 CPUtime=461.11 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 171115 0 0 0 46080 31 0 0 20 0 1 0 30548290 1039081472 216432 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 253682 216432 3968 3530 0 245133 0
################
# More data... #
################
/proc/loadavg: 4.08 4.13 4.11 5/265 16582
/proc/meminfo: memFree=123836424/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1525196 memory=1096984 CPUtime=3153.7 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 209599 0 0 0 315334 36 0 0 20 0 1 0 30548290 1561800704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 381299 274246 3968 3530 0 372750 0
Current children cumulated CPU time: 3153.7 s
Current children cumulated vsize: 1525196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/267 16724
/proc/meminfo: memFree=125286024/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1525196 memory=1096984 CPUtime=3213.52 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 209599 0 0 0 321316 36 0 0 20 0 1 0 30548290 1561800704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 381299 274246 3968 3530 0 372750 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 1525196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/267 17130
/proc/meminfo: memFree=125334760/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1525196 memory=1096984 CPUtime=3273.33 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 209846 0 0 0 327297 36 0 0 20 0 1 0 30548290 1561800704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 381299 274246 3968 3530 0 372750 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 1525196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.10 4.10 5/267 17356
/proc/meminfo: memFree=125454076/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1525196 memory=1096984 CPUtime=3333.14 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 209864 0 0 0 333278 36 0 0 20 0 1 0 30548290 1561800704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 381299 274246 3968 3530 0 372750 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 1525196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 17402
/proc/meminfo: memFree=125377940/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1525196 memory=1096984 CPUtime=3392.96 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 209865 0 0 0 339260 36 0 0 20 0 1 0 30548290 1561800704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 381299 274246 3968 3530 0 372750 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 1525196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 17404
/proc/meminfo: memFree=125266928/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1533196 memory=1096984 CPUtime=3452.77 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 209866 0 0 0 345241 36 0 0 20 0 1 0 30548290 1569992704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 383299 274246 3968 3530 0 374750 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 1533196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 17406
/proc/meminfo: memFree=125183632/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1533196 memory=1096984 CPUtime=3512.59 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 209866 0 0 0 351223 36 0 0 20 0 1 0 30548290 1569992704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 383299 274246 3968 3530 0 374750 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 1533196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 17454
/proc/meminfo: memFree=128703644/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1533196 memory=1096984 CPUtime=3572.42 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 210114 0 0 0 357205 37 0 0 20 0 1 0 30548290 1569992704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 383299 274246 3968 3530 0 374750 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 1533196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3597.26 s]
# the end of solver process 16402 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.96 s, system=0.380914 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.08 4.09 5/264 17454
/proc/meminfo: memFree=128700680/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1533196 memory=1096984 CPUtime=3574.12 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 210115 0 0 0 357375 37 0 0 20 0 1 0 30548290 1569992704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 383299 274246 3968 3530 0 374750 0
Current children cumulated CPU time: 3574.12 s
Current children cumulated vsize: 1533196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 17454
/proc/meminfo: memFree=128695396/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1533196 memory=1096984 CPUtime=3580.49 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 210117 0 0 0 358012 37 0 0 20 0 1 0 30548290 1569992704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 383299 274246 3968 3530 0 374750 0
Current children cumulated CPU time: 3580.49 s
Current children cumulated vsize: 1533196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3593.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 17454
/proc/meminfo: memFree=128687332/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1533196 memory=1096984 CPUtime=3583.68 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 210117 0 0 0 358331 37 0 0 20 0 1 0 30548290 1569992704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 383299 274246 3968 3530 0 374750 0
Current children cumulated CPU time: 3583.68 s
Current children cumulated vsize: 1533196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3595.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 17454
/proc/meminfo: memFree=128682544/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1533196 memory=1096984 CPUtime=3585.28 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 210118 0 0 0 358491 37 0 0 20 0 1 0 30548290 1569992704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 383299 274246 3968 3530 0 374750 0
Current children cumulated CPU time: 3585.28 s
Current children cumulated vsize: 1533196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3596 s]*
/proc/loadavg: 4.07 4.08 4.09 5/264 17454
/proc/meminfo: memFree=128675488/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1533196 memory=1096984 CPUtime=3586.08 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 210118 0 0 0 358571 37 0 0 20 0 1 0 30548290 1569992704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 383299 274246 3968 3530 0 374750 0
Current children cumulated CPU time: 3586.08 s
Current children cumulated vsize: 1533196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 17454
/proc/meminfo: memFree=128675488/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1533196 memory=1096984 CPUtime=3586.87 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 210118 0 0 0 358650 37 0 0 20 0 1 0 30548290 1569992704 274246 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 383299 274246 3968 3530 0 374750 0
Current children cumulated CPU time: 3586.87 s
Current children cumulated vsize: 1533196 KiB
Current children cumulated memory: 1096984 KiB
[startup+3597.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 17454
/proc/meminfo: memFree=128667424/131249996 swapFree=33010684/33010684
[pid=16402] ppid=16399 vsize=1530496 memory=1094376 CPUtime=3587.27 cores=1,3
/proc/16402/stat : 16402 (pbscip) R 16399 16402 14915 0 -1 4194304 210123 0 0 0 358690 37 0 0 20 0 1 0 30548290 1567227904 273594 18446744073709551615 4235264 18693293 140728398460304 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 52535296 140728398465417 140728398465516 140728398465516 140728398471118 0
/proc/16402/statm: 382624 273594 3968 3530 0 374075 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 1530496 KiB
Current children cumulated memory: 1094376 KiB
Child status: 0
Real time (s): 3597.26
CPU time (s): 3587.34
CPU user time (s): 3586.96
CPU system time (s): 0.380914
CPU usage (%): 99.7242
Max. virtual memory (cumulated for all children) (KiB): 1533196
Max. memory (cumulated for all children) (KiB): 1096984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.96
system time used= 0.380914
maximum resident set size= 1096984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210199
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= 1963
# summary of solver processes directly reported to runsolver:
# pid: 16402
# total CPU time (s): 3587.34
# total CPU user time (s): 3586.96
# total CPU system time (s): 0.380914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.958 second user time and 15.6992 second system time
The end