0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4444005-1721300959.opb>
0.09/0.18 c original problem has 1440 variables (1440 bin, 0 int, 0 impl, 0 cont) and 86040 constraints
0.09/0.18 c problem read in 0.18
0.09/0.18 c No objective function, only one solution is needed.
0.30/0.31 c presolving:
0.50/0.53 c (0.5s) running MILP presolver
0.60/0.61 c (0.6s) MILP presolver found nothing
0.79/0.81 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
1.09/1.11 c (1.1s) probing: 51/1440 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.11 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.79/1.88 c (1.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.19/2.20 c (2.2s) symmetry computation finished: 4 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.16)
2.19/2.20 c dynamic symmetry handling statistics:
2.19/2.20 c orbitopal reduction: no components
2.19/2.20 c orbital reduction: no components
2.19/2.20 c lexicographic reduction: no permutations
2.19/2.20 c handled 1 out of 1 symmetry components
2.19/2.20 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.19/2.22 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.19/2.26 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.29/2.30 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.29/2.39 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.47 c (2.5s) probing: 56/1440 (3.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.38/2.47 c (2.5s) probing aborted: 50/50 successive totally useless probings
2.48/2.59 c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
2.48/2.59 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.59 c 0 implications, 358 cliques
2.48/2.59 c presolved problem has 1432 variables (1432 bin, 0 int, 0 impl, 0 cont) and 85238 constraints
2.48/2.59 c 358 constraints of type <setppc>
2.48/2.59 c 3 constraints of type <orbitope>
2.48/2.59 c 84877 constraints of type <logicor>
2.48/2.59 c transformed objective value is always integral (scale: 1)
2.48/2.59 c Presolving Time: 2.28
2.48/2.59 c - non default parameters ----------------------------------------------------------------------
2.48/2.59 c # SCIP version 10.0.0
2.48/2.59 c
2.48/2.59 c # maximal time in seconds to run
2.48/2.59 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.48/2.59 c limits/time = 3596.998005
2.48/2.59 c
2.48/2.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.48/2.59 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.48/2.59 c limits/memory = 27900
2.48/2.59 c
2.48/2.59 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
2.48/2.59 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
2.48/2.59 c limits/solutions = 1
2.48/2.59 c
2.48/2.59 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.59 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
2.48/2.59 c misc/usesymmetry = 3
2.48/2.59 c
2.48/2.59 c # belongs reading time to solving time?
2.48/2.59 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.48/2.59 c timing/reading = TRUE
2.48/2.59 c
2.48/2.59 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
2.48/2.59 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.48/2.59 c propagating/symmetry/detectdoublelex = FALSE
2.48/2.59 c
2.48/2.59 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
2.48/2.59 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.48/2.59 c propagating/symmetry/detectsubgroups = FALSE
2.48/2.59 c
2.48/2.59 c # Type of symmetries that shall be computed?
2.48/2.59 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
2.48/2.59 c propagating/symmetry/symtype = 1
2.48/2.59 c
2.48/2.59 c # Should components consisting of a single full reflection be handled?
2.48/2.59 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.48/2.59 c propagating/symmetry/usesimplesgncomp = FALSE
2.48/2.59 c
2.48/2.59 c -----------------------------------------------------------------------------------------------
2.48/2.59 c start solving
2.48/2.59 c
3.28/3.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.28/3.36 c 3.4s| 1 | 0 | 730 | - | 567M | 0 |1432 | 85k| 85k| 0 | 0 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
11.66/11.70 c 11.7s| 1 | 0 | 8153 | - | 599M | 0 |1432 | 85k| 85k| 4 | 1 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
12.26/12.31 c 12.3s| 1 | 0 | 8200 | - | 623M | 0 |1432 | 85k| 85k| 6 | 2 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
13.06/13.16 c 13.2s| 1 | 0 | 8363 | - | 641M | 0 |1432 | 85k| 85k| 10 | 3 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
13.85/13.96 c 14.0s| 1 | 0 | 8518 | - | 670M | 0 |1432 | 85k| 85k| 14 | 4 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
14.55/14.64 c 14.6s| 1 | 0 | 8668 | - | 680M | 0 |1432 | 85k| 85k| 16 | 5 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
15.64/15.71 c 15.7s| 1 | 0 | 8931 | - | 694M | 0 |1432 | 85k| 85k| 20 | 6 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
16.24/16.34 c 16.3s| 1 | 0 | 9088 | - | 704M | 0 |1432 | 85k| 85k| 26 | 7 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
16.64/16.76 c 16.8s| 1 | 0 | 9141 | - | 720M | 0 |1432 | 85k| 85k| 28 | 8 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
17.24/17.35 c 17.3s| 1 | 0 | 9318 | - | 738M | 0 |1432 | 85k| 85k| 30 | 9 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
17.64/17.74 c 17.7s| 1 | 0 | 9326 | - | 750M | 0 |1432 | 85k| 85k| 32 | 10 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
18.14/18.29 c 18.3s| 1 | 0 | 9500 | - | 760M | 0 |1432 | 85k| 85k| 36 | 11 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
59.22/59.48 c 59.5s| 1 | 2 | 22250 | - | 760M | 0 |1432 | 85k| 85k| 36 | 11 | 91 | 19 | 0.000000e+00 | -- | Inf | unknown
571.97/573.61 c 574s| 100 | 101 |294599 |2879.8 | 807M | 24 |1432 | 85k| 85k| 76 | 1 | 313 | 19 | 0.000000e+00 | -- | Inf | unknown
645.06/646.91 c 647s| 200 | 201 |348875 |1705.4 | 869M | 45 |1432 | 85k| 85k| 196 | 1 | 369 | 19 | 0.000000e+00 | -- | Inf | unknown
668.69/670.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
668.69/670.60 c 671s| 300 | 301 |365056 |1189.2 | 895M | 46 |1432 | 85k| 85k| 309 | 1 | 381 | 19 | 0.000000e+00 | -- | Inf | unknown
741.49/743.69 c 744s| 400 | 401 |417370 |1022.2 | 897M | 46 |1432 | 85k| 85k| 523 | 1 | 405 | 19 | 0.000000e+00 | -- | Inf | unknown
848.79/851.27 c 851s| 500 | 501 |495755 | 974.5 | 920M | 46 |1432 | 85k| 85k| 855 | 1 | 475 | 19 | 0.000000e+00 | -- | Inf | unknown
892.17/894.79 c 895s| 600 | 601 |528991 | 867.3 | 930M | 49 |1432 | 85k| 85k| 994 | 1 | 533 | 19 | 0.000000e+00 | -- | Inf | unknown
991.69/994.57 c 995s| 700 | 701 |607384 | 855.3 | 951M | 67 |1432 | 85k| 85k|1196 | 1 | 605 | 19 | 0.000000e+00 | -- | Inf | unknown
1032.87/1035.85 c 1036s| 800 | 801 |644194 | 794.4 | 952M | 74 |1432 | 85k| 85k|1205 | 1 | 620 | 19 | 0.000000e+00 | -- | Inf | unknown
1099.48/1102.67 c 1103s| 900 | 901 |699375 | 767.4 | 955M | 88 |1432 | 85k| 85k|1211 | 1 | 722 | 19 | 0.000000e+00 | -- | Inf | unknown
1164.00/1167.31 c 1167s| 1000 | 1001 |755437 | 746.7 | 957M | 101 |1432 | 85k| 85k|1218 | 1 | 795 | 19 | 0.000000e+00 | -- | Inf | unknown
1199.00/1202.42 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1199.00/1202.42 c (run 1, node 1049) performing user restart
1199.00/1202.42 c
1199.00/1202.43 c (restart) converted 62 cuts from the global cut pool into linear constraints
1199.00/1202.43 c
1199.10/1202.54 c presolving:
1199.60/1203.10 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
1200.30/1203.75 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1200.30/1203.75 c 0 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1170 changed coefficients
1200.30/1203.75 c 0 implications, 358 cliques
1200.30/1203.75 c presolved problem has 1432 variables (1432 bin, 0 int, 0 impl, 0 cont) and 85856 constraints
1200.30/1203.75 c 62 constraints of type <knapsack>
1200.30/1203.75 c 358 constraints of type <setppc>
1200.30/1203.75 c 3 constraints of type <orbitope>
1200.30/1203.75 c 85433 constraints of type <logicor>
1200.30/1203.75 c transformed objective value is always integral (scale: 1)
1200.30/1203.75 c Presolving Time: 3.51
1200.30/1203.75 c
1202.39/1205.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1202.39/1205.86 c 1206s| 1 | 0 |789282 | - | 943M | 0 |1432 | 85k| 85k| 0 | 0 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1202.89/1206.33 c 1206s| 1 | 0 |789370 | - | 945M | 0 |1432 | 85k| 85k| 2 | 1 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1203.39/1206.80 c 1207s| 1 | 0 |789477 | - | 956M | 0 |1432 | 85k| 85k| 5 | 2 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1203.78/1207.28 c 1207s| 1 | 0 |789607 | - | 966M | 0 |1432 | 85k| 85k| 8 | 3 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1204.28/1207.70 c 1208s| 1 | 0 |789677 | - | 977M | 0 |1432 | 85k| 85k| 10 | 4 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1204.69/1208.17 c 1208s| 1 | 0 |789844 | - | 986M | 0 |1432 | 85k| 85k| 13 | 5 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1205.28/1208.73 c 1209s| 1 | 0 |790047 | - | 997M | 0 |1432 | 85k| 85k| 18 | 6 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
1205.88/1209.35 c 1209s| 1 | 0 |790259 | - | 1007M | 0 |1432 | 85k| 85k| 21 | 7 | 904 | 19 | 0.000000e+00 | -- | Inf | unknown
1206.18/1209.66 c 1210s| 1 | 0 |790310 | - | 1017M | 0 |1432 | 85k| 85k| 24 | 8 | 904 | 19 | 0.000000e+00 | -- | Inf | unknown
1206.68/1210.17 c 1210s| 1 | 0 |790467 | - | 1028M | 0 |1432 | 85k| 85k| 27 | 9 | 904 | 19 | 0.000000e+00 | -- | Inf | unknown
1207.08/1210.59 c 1211s| 1 | 0 |790585 | - | 1037M | 0 |1432 | 85k| 85k| 30 | 10 | 907 | 19 | 0.000000e+00 | -- | Inf | unknown
1207.37/1210.89 c 1211s| 1 | 0 |790618 | - | 1047M | 0 |1432 | 85k| 85k| 33 | 11 | 907 | 19 | 0.000000e+00 | -- | Inf | unknown
1225.63/1229.13 c 1229s| 1 | 2 |790649 | - | 1047M | 0 |1432 | 85k| 85k| 33 | 11 | 908 | 38 | 0.000000e+00 | -- | Inf | unknown
1352.97/1356.86 c 1357s| 100 | 101 |884976 | 759.7 | 1110M | 22 |1432 | 85k| 85k| 387 | 2 |1011 | 38 | 0.000000e+00 | -- | Inf | unknown
1481.18/1485.46 c 1485s| 200 | 201 |976377 | 772.0 | 1145M | 51 |1432 | 85k| 85k| 443 | 1 |1087 | 38 | 0.000000e+00 | -- | Inf | unknown
1580.87/1585.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1580.87/1585.42 c 1585s| 300 | 301 | 1044k| 765.1 | 1146M | 66 |1432 | 85k| 85k| 445 | 1 |1139 | 38 | 0.000000e+00 | -- | Inf | unknown
1622.23/1626.93 c 1627s| 400 | 401 | 1075k| 734.2 | 1148M | 72 |1432 | 85k| 85k| 447 | 1 |1164 | 38 | 0.000000e+00 | -- | Inf | unknown
1679.84/1684.78 c 1685s| 500 | 501 | 1123k| 717.5 | 1149M | 78 |1432 | 85k| 85k| 452 | 1 |1202 | 38 | 0.000000e+00 | -- | Inf | unknown
1722.20/1727.21 c 1727s| 600 | 601 | 1157k| 694.9 | 1149M | 78 |1432 | 85k| 85k| 455 | 1 |1214 | 38 | 0.000000e+00 | -- | Inf | unknown
1775.92/1781.19 c 1781s| 700 | 701 | 1199k| 678.6 | 1151M | 78 |1432 | 85k| 85k| 462 | 1 |1269 | 38 | 0.000000e+00 | -- | Inf | unknown
2055.03/2061.18 c 2061s| 800 | 801 | 1428k| 765.8 | 1152M | 78 |1432 | 85k| 85k| 465 | 1 |1269 | 38 | 0.000000e+00 | -- | Inf | unknown
2114.83/2121.15 c 2121s| 900 | 901 | 1478k| 752.6 | 1154M | 93 |1432 | 85k| 85k| 467 | 1 |1332 | 38 | 0.000000e+00 | -- | Inf | unknown
2173.73/2180.26 c 2180s| 1000 | 1001 | 1527k| 739.6 | 1157M | 95 |1432 | 85k| 85k| 469 | 1 |1378 | 38 | 0.000000e+00 | -- | Inf | unknown
2232.53/2239.29 c 2239s| 1100 | 1101 | 1577k| 728.5 | 1159M | 95 |1432 | 85k| 85k| 472 | 1 |1466 | 38 | 0.000000e+00 | -- | Inf | unknown
2296.82/2303.70 c 2304s| 1200 | 1201 | 1632k| 720.5 | 1161M | 95 |1432 | 85k| 85k| 476 | 1 |1585 | 38 | 0.000000e+00 | -- | Inf | unknown
2334.40/2341.46 c 2341s| 1300 | 1301 | 1667k| 704.7 | 1163M | 95 |1432 | 85k| 85k| 481 | 1 |1588 | 38 | 0.000000e+00 | -- | Inf | unknown
2381.74/2388.97 c 2389s| 1400 | 1401 | 1711k| 693.8 | 1166M | 155 |1432 | 86k| 85k| 482 | 1 |1689 | 38 | 0.000000e+00 | -- | Inf | unknown
2407.35/2414.60 c 2415s| 1500 | 1456 | 1734k| 675.7 | 1183M | 161 |1432 | 86k| 85k| 499 | 1 |1972 | 38 | 0.000000e+00 | -- | Inf | unknown
2419.51/2426.86 c 2427s| 1600 | 1461 | 1748k| 655.6 | 1193M | 166 |1432 | 86k| 85k| 527 | 1 |2451 | 38 | 0.000000e+00 | -- | Inf | unknown
2432.57/2439.98 c 2440s| 1700 | 1470 | 1765k| 637.6 | 1209M | 166 |1432 | 86k| 85k| 536 | 1 |2849 | 38 | 0.000000e+00 | -- | Inf | unknown
2443.93/2451.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2443.93/2451.31 c 2451s| 1800 | 1477 | 1778k| 619.8 | 1218M | 167 |1432 | 86k| 85k| 564 | 1 |3226 | 38 | 0.000000e+00 | -- | Inf | unknown
2454.39/2461.86 c 2462s| 1900 | 1473 | 1790k| 603.0 | 1227M | 167 |1432 | 86k| 0 | 577 | 0 |3591 | 38 | 0.000000e+00 | -- | Inf | unknown
2466.95/2474.41 c 2474s| 2000 | 1469 | 1804k| 587.8 | 1227M | 167 |1432 | 86k| 0 | 645 | 0 |3986 | 38 | 0.000000e+00 | -- | Inf | unknown
2476.82/2484.36 c 2484s| 2100 | 1469 | 1813k| 571.9 | 1235M | 168 |1432 | 86k| 85k| 716 | 1 |4276 | 38 | 0.000000e+00 | -- | Inf | unknown
2493.86/2501.47 c 2501s| 2200 | 1471 | 1827k| 558.7 | 1236M | 168 |1432 | 86k| 85k| 783 | 1 |4659 | 38 | 0.000000e+00 | -- | Inf | unknown
2512.99/2520.61 c 2521s| 2300 | 1489 | 1848k| 548.3 | 1244M | 168 |1432 | 86k| 85k| 839 | 1 |4974 | 38 | 0.000000e+00 | -- | Inf | unknown
2526.55/2534.29 c 2534s| 2400 | 1527 | 1862k| 536.5 | 1262M | 168 |1432 | 86k| 85k| 941 | 1 |5302 | 38 | 0.000000e+00 | -- | Inf | unknown
2536.02/2543.76 c 2544s| 2500 | 1531 | 1871k| 523.8 | 1287M | 168 |1432 | 86k| 85k|1085 | 1 |5705 | 38 | 0.000000e+00 | -- | Inf | unknown
2545.18/2552.92 c 2553s| 2600 | 1518 | 1880k| 511.9 | 1287M | 168 |1432 | 86k| 85k|1198 | 2 |6059 | 38 | 0.000000e+00 | -- | Inf | unknown
2559.54/2567.34 c 2567s| 2700 | 1517 | 1889k| 500.8 | 1297M | 168 |1432 | 86k| 85k|1356 | 1 |6463 | 38 | 0.000000e+00 | -- | Inf | unknown
2572.39/2580.27 c 2580s| 2800 | 1516 | 1901k| 490.8 | 1314M | 168 |1432 | 86k| 85k|1512 | 1 |6762 | 38 | 0.000000e+00 | -- | Inf | unknown
2582.86/2590.71 c 2591s| 2900 | 1517 | 1913k| 481.5 | 1314M | 168 |1432 | 86k| 0 |1565 | 0 |7156 | 38 | 0.000000e+00 | -- | Inf | unknown
2596.41/2604.36 c 2604s| 3000 | 1529 | 1929k| 473.4 | 1322M | 168 |1432 | 86k| 85k|1669 | 1 |7468 | 38 | 0.000000e+00 | -- | Inf | unknown
2603.48/2611.45 c 2611s| 3100 | 1525 | 1937k| 464.0 | 1322M | 168 |1432 | 86k| 85k|1697 | 1 |7858 | 38 | 0.000000e+00 | -- | Inf | unknown
2612.35/2620.32 c 2620s| 3200 | 1533 | 1947k| 455.5 | 1322M | 168 |1432 | 86k| 0 |1728 | 0 |8132 | 38 | 0.000000e+00 | -- | Inf | unknown
2622.62/2630.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2622.62/2630.65 c 2631s| 3300 | 1528 | 1960k| 447.9 | 1322M | 168 |1432 | 86k| 85k|1745 | 1 |8489 | 38 | 0.000000e+00 | -- | Inf | unknown
2634.28/2642.38 c 2642s| 3400 | 1537 | 1975k| 441.2 | 1322M | 168 |1432 | 86k| 0 |1778 | 0 |8967 | 38 | 0.000000e+00 | -- | Inf | unknown
2644.14/2652.21 c 2652s| 3500 | 1535 | 1986k| 433.9 | 1323M | 168 |1432 | 87k| 85k|1811 | 1 |9315 | 38 | 0.000000e+00 | -- | Inf | unknown
2653.11/2661.26 c 2661s| 3600 | 1550 | 1995k| 426.7 | 1319M | 168 |1432 | 87k| 85k|1849 | 1 |9677 | 38 | 0.000000e+00 | -- | Inf | unknown
2661.89/2670.07 c 2670s| 3700 | 1548 | 2005k| 419.7 | 1320M | 168 |1432 | 87k| 0 |1880 | 0 |9962 | 38 | 0.000000e+00 | -- | Inf | unknown
2671.85/2680.04 c 2680s| 3800 | 1548 | 2017k| 413.5 | 1320M | 170 |1432 | 87k| 0 |1901 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2680.92/2689.14 c 2689s| 3900 | 1551 | 2026k| 406.9 | 1320M | 170 |1432 | 87k| 0 |1968 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2688.19/2696.40 c 2696s| 4000 | 1550 | 2033k| 400.4 | 1320M | 170 |1432 | 87k| 0 |2047 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2699.55/2707.82 c 2708s| 4100 | 1549 | 2041k| 394.0 | 1328M | 170 |1432 | 87k| 85k|2208 | 2 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2711.21/2719.58 c 2720s| 4200 | 1562 | 2054k| 389.0 | 1328M | 170 |1432 | 87k| 85k|2314 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2719.69/2728.05 c 2728s| 4300 | 1564 | 2064k| 383.6 | 1329M | 170 |1432 | 87k| 0 |2350 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2727.56/2735.98 c 2736s| 4400 | 1559 | 2074k| 378.3 | 1329M | 170 |1432 | 87k| 85k|2367 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2734.54/2742.97 c 2743s| 4500 | 1560 | 2081k| 372.9 | 1329M | 170 |1432 | 87k| 85k|2404 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2745.71/2754.12 c 2754s| 4600 | 1566 | 2094k| 368.6 | 1329M | 170 |1432 | 87k| 85k|2459 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2753.28/2761.77 c 2762s| 4700 | 1567 | 2103k| 363.7 | 1329M | 170 |1432 | 87k| 0 |2502 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2763.84/2772.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2763.84/2772.30 c 2772s| 4800 | 1571 | 2112k| 359.1 | 1329M | 170 |1432 | 87k| 85k|2630 | 2 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
2775.30/2783.82 c 2784s| 4900 | 1590 | 2126k| 355.4 | 1330M | 170 |1432 | 87k| 85k|2657 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
2786.76/2795.38 c 2795s| 5000 | 1611 | 2138k| 351.4 | 1339M | 170 |1432 | 87k| 85k|2790 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
2800.21/2808.86 c 2809s| 5100 | 1586 | 2151k| 347.9 | 1339M | 170 |1432 | 87k| 85k|2938 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
2813.57/2822.28 c 2822s| 5200 | 1600 | 2168k| 345.1 | 1339M | 170 |1432 | 87k| 85k|2977 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
2826.33/2835.08 c 2835s| 5300 | 1591 | 2181k| 341.6 | 1355M | 170 |1432 | 87k| 85k|3045 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
2838.29/2847.07 c 2847s| 5400 | 1592 | 2190k| 337.8 | 1355M | 170 |1432 | 87k| 0 |3138 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
2846.95/2855.79 c 2856s| 5500 | 1584 | 2201k| 334.2 | 1355M | 170 |1432 | 88k| 0 |3175 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
2857.22/2866.09 c 2866s| 5600 | 1577 | 2212k| 330.8 | 1355M | 170 |1432 | 87k| 0 |3210 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
2869.08/2877.98 c 2878s| 5700 | 1586 | 2225k| 327.9 | 1355M | 170 |1432 | 87k| 85k|3260 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
2879.54/2888.45 c 2888s| 5800 | 1592 | 2238k| 325.0 | 1355M | 170 |1432 | 87k| 0 |3282 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
2890.30/2899.27 c 2899s| 5900 | 1608 | 2248k| 321.7 | 1354M | 170 |1432 | 87k| 85k|3328 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
2899.18/2908.16 c 2908s| 6000 | 1601 | 2257k| 318.5 | 1354M | 171 |1432 | 87k| 0 |3347 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
2909.14/2918.19 c 2918s| 6100 | 1594 | 2267k| 315.4 | 1354M | 171 |1432 | 87k| 0 |3361 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
2918.51/2927.56 c 2928s| 6200 | 1590 | 2279k| 312.7 | 1355M | 171 |1432 | 87k| 85k|3373 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
2932.66/2941.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2932.66/2941.76 c 2942s| 6300 | 1595 | 2295k| 310.6 | 1355M | 171 |1432 | 87k| 0 |3493 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
2942.23/2951.38 c 2951s| 6400 | 1611 | 2305k| 307.8 | 1355M | 171 |1432 | 87k| 85k|3549 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
2951.69/2960.82 c 2961s| 6500 | 1596 | 2314k| 304.9 | 1355M | 171 |1432 | 87k| 85k|3610 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | unknown
2968.74/2977.95 c 2978s| 6600 | 1586 | 2324k| 302.2 | 1355M | 171 |1432 | 87k| 0 |3746 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | unknown
2978.50/2987.75 c 2988s| 6700 | 1587 | 2334k| 299.7 | 1357M | 171 |1432 | 87k| 0 |3800 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | unknown
2991.36/3000.60 c 3001s| 6800 | 1594 | 2349k| 297.7 | 1357M | 171 |1432 | 87k| 85k|3831 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | unknown
3001.84/3011.16 c 3011s| 6900 | 1590 | 2361k| 295.5 | 1357M | 171 |1432 | 87k| 85k|3848 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | unknown
3013.89/3023.28 c 3023s| 7000 | 1587 | 2372k| 293.2 | 1365M | 171 |1432 | 87k| 0 |3952 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | unknown
3023.36/3032.72 c 3033s| 7100 | 1599 | 2383k| 291.0 | 1365M | 171 |1432 | 87k| 0 |3967 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | unknown
3031.23/3040.62 c 3041s| 7200 | 1589 | 2391k| 288.4 | 1365M | 171 |1432 | 87k| 85k|4023 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | unknown
3041.30/3050.74 c 3051s| 7300 | 1588 | 2403k| 286.4 | 1366M | 171 |1432 | 87k| 85k|4077 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | unknown
3049.17/3058.60 c 3059s| 7400 | 1586 | 2413k| 284.2 | 1366M | 171 |1432 | 88k| 0 |4077 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | unknown
3057.14/3066.64 c 3067s| 7500 | 1587 | 2422k| 281.9 | 1366M | 171 |1432 | 88k| 85k|4119 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | unknown
3064.72/3074.28 c 3074s| 7600 | 1585 | 2430k| 279.5 | 1374M | 171 |1432 | 88k| 85k|4175 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | unknown
3074.59/3084.13 c 3084s| 7700 | 1581 | 2440k| 277.6 | 1374M | 171 |1432 | 88k| 85k|4219 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | unknown
3082.16/3091.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3082.16/3091.76 c 3092s| 7800 | 1589 | 2449k| 275.4 | 1374M | 171 |1432 | 88k| 85k|4249 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | unknown
3095.31/3104.95 c 3105s| 7900 | 1593 | 2463k| 273.8 | 1374M | 171 |1432 | 88k| 85k|4312 | 1 | 23k| 38 | 0.000000e+00 | -- | Inf | unknown
3105.78/3115.47 c 3115s| 8000 | 1623 | 2473k| 271.9 | 1375M | 171 |1432 | 88k| 85k|4432 | 1 | 23k| 38 | 0.000000e+00 | -- | Inf | unknown
3116.24/3125.92 c 3126s| 8100 | 1619 | 2482k| 270.0 | 1376M | 171 |1432 | 88k| 0 |4526 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | unknown
3125.42/3135.12 c 3135s| 8200 | 1596 | 2492k| 268.2 | 1386M | 172 |1432 | 88k| 0 |4647 | 0 | 24k| 38 | 0.000000e+00 | -- | Inf | unknown
3142.67/3152.48 c 3152s| 8300 | 1594 | 2507k| 266.8 | 1386M | 172 |1432 | 88k| 0 |4709 | 0 | 24k| 38 | 0.000000e+00 | -- | Inf | unknown
3155.14/3164.95 c 3165s| 8400 | 1595 | 2522k| 265.6 | 1386M | 172 |1432 | 88k| 85k|4773 | 1 | 25k| 38 | 0.000000e+00 | -- | Inf | unknown
3166.31/3176.11 c 3176s| 8500 | 1590 | 2534k| 264.1 | 1394M | 172 |1432 | 88k| 0 |4903 | 0 | 25k| 38 | 0.000000e+00 | -- | Inf | unknown
3180.07/3189.93 c 3190s| 8600 | 1587 | 2549k| 262.9 | 1394M | 172 |1432 | 88k| 0 |5007 | 0 | 25k| 38 | 0.000000e+00 | -- | Inf | unknown
3191.54/3201.46 c 3201s| 8700 | 1595 | 2563k| 261.6 | 1394M | 172 |1432 | 88k| 85k|5083 | 1 | 26k| 38 | 0.000000e+00 | -- | Inf | unknown
3202.81/3212.78 c 3213s| 8800 | 1610 | 2574k| 260.1 | 1394M | 172 |1432 | 88k| 85k|5188 | 1 | 26k| 38 | 0.000000e+00 | -- | Inf | unknown
3216.18/3226.13 c 3226s| 8900 | 1604 | 2586k| 258.8 | 1394M | 172 |1432 | 88k| 0 |5383 | 0 | 26k| 38 | 0.000000e+00 | -- | Inf | unknown
3232.14/3242.11 c 3242s| 9000 | 1600 | 2603k| 257.8 | 1394M | 172 |1432 | 88k| 85k|5553 | 1 | 26k| 38 | 0.000000e+00 | -- | Inf | unknown
3244.01/3254.10 c 3254s| 9100 | 1614 | 2618k| 256.7 | 1394M | 172 |1432 | 88k| 85k|5602 | 1 | 27k| 38 | 0.000000e+00 | -- | Inf | unknown
3255.08/3265.16 c 3265s| 9200 | 1639 | 2631k| 255.5 | 1394M | 172 |1432 | 88k| 0 |5650 | 0 | 27k| 38 | 0.000000e+00 | -- | Inf | unknown
3266.34/3276.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3266.34/3276.43 c 3276s| 9300 | 1667 | 2644k| 254.3 | 1394M | 172 |1432 | 88k| 85k|5696 | 1 | 27k| 38 | 0.000000e+00 | -- | Inf | unknown
3276.61/3286.78 c 3287s| 9400 | 1693 | 2657k| 253.1 | 1396M | 172 |1432 | 88k| 85k|5736 | 1 | 28k| 38 | 0.000000e+00 | -- | Inf | unknown
3286.89/3297.03 c 3297s| 9500 | 1729 | 2669k| 251.9 | 1397M | 172 |1432 | 88k| 85k|5787 | 1 | 28k| 38 | 0.000000e+00 | -- | Inf | unknown
3298.35/3308.57 c 3309s| 9600 | 1729 | 2680k| 250.5 | 1397M | 172 |1432 | 88k| 85k|5847 | 1 | 29k| 38 | 0.000000e+00 | -- | Inf | unknown
3307.83/3318.07 c 3318s| 9700 | 1735 | 2690k| 249.1 | 1397M | 172 |1432 | 88k| 85k|5912 | 1 | 29k| 38 | 0.000000e+00 | -- | Inf | unknown
3318.00/3328.25 c 3328s| 9800 | 1743 | 2702k| 248.0 | 1397M | 172 |1432 | 88k| 0 |5956 | 0 | 29k| 38 | 0.000000e+00 | -- | Inf | unknown
3327.27/3337.54 c 3338s| 9900 | 1733 | 2714k| 246.8 | 1397M | 172 |1432 | 88k| 0 |5968 | 0 | 30k| 38 | 0.000000e+00 | -- | Inf | unknown
3337.55/3347.80 c 3348s| 10000 | 1752 | 2725k| 245.6 | 1397M | 172 |1432 | 88k| 85k|6047 | 1 | 30k| 38 | 0.000000e+00 | -- | Inf | unknown
3345.73/3356.00 c 3356s| 10100 | 1761 | 2735k| 244.2 | 1397M | 172 |1432 | 89k| 85k|6109 | 2 | 30k| 38 | 0.000000e+00 | -- | Inf | unknown
3358.99/3369.33 c 3369s| 10200 | 1759 | 2746k| 243.0 | 1397M | 172 |1432 | 89k| 0 |6209 | 0 | 31k| 38 | 0.000000e+00 | -- | Inf | unknown
3370.06/3380.44 c 3380s| 10300 | 1785 | 2758k| 241.9 | 1399M | 172 |1432 | 89k| 85k|6307 | 1 | 31k| 38 | 0.000000e+00 | -- | Inf | unknown
3382.63/3393.03 c 3393s| 10400 | 1807 | 2771k| 240.9 | 1399M | 172 |1432 | 89k| 0 |6452 | 0 | 31k| 38 | 0.000000e+00 | -- | Inf | unknown
3393.89/3404.38 c 3404s| 10500 | 1825 | 2785k| 240.1 | 1400M | 172 |1432 | 88k| 85k|6499 | 1 | 32k| 38 | 0.000000e+00 | -- | Inf | unknown
3406.56/3417.01 c 3417s| 10600 | 1838 | 2799k| 239.2 | 1400M | 172 |1432 | 89k| 0 |6554 | 0 | 32k| 38 | 0.000000e+00 | -- | Inf | unknown
3417.83/3428.30 c 3428s| 10700 | 1835 | 2810k| 238.2 | 1400M | 172 |1432 | 88k| 85k|6622 | 1 | 33k| 38 | 0.000000e+00 | -- | Inf | unknown
3430.39/3440.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3430.39/3440.91 c 3441s| 10800 | 1847 | 2825k| 237.4 | 1400M | 172 |1432 | 88k| 85k|6720 | 0 | 33k| 38 | 0.000000e+00 | -- | Inf | unknown
3441.27/3451.87 c 3452s| 10900 | 1851 | 2836k| 236.3 | 1408M | 172 |1432 | 88k| 85k|6794 | 2 | 33k| 38 | 0.000000e+00 | -- | Inf | unknown
3448.94/3459.51 c 3460s| 11000 | 1849 | 2844k| 235.0 | 1408M | 172 |1432 | 88k| 0 |6834 | 0 | 33k| 38 | 0.000000e+00 | -- | Inf | unknown
3460.12/3470.76 c 3471s| 11100 | 1842 | 2853k| 233.9 | 1408M | 172 |1432 | 88k| 0 |6956 | 0 | 34k| 38 | 0.000000e+00 | -- | Inf | unknown
3472.18/3482.83 c 3483s| 11200 | 1854 | 2866k| 233.0 | 1408M | 172 |1432 | 88k| 85k|7075 | 1 | 34k| 38 | 0.000000e+00 | -- | Inf | unknown
3483.46/3494.18 c 3494s| 11300 | 1855 | 2879k| 232.2 | 1408M | 172 |1432 | 88k| 85k|7156 | 1 | 34k| 38 | 0.000000e+00 | -- | Inf | unknown
3500.81/3511.55 c 3512s| 11400 | 1868 | 2891k| 231.3 | 1408M | 172 |1432 | 88k| 0 |7313 | 0 | 35k| 38 | 0.000000e+00 | -- | Inf | unknown
3515.57/3526.36 c 3526s| 11500 | 1860 | 2906k| 230.6 | 1408M | 172 |1432 | 88k| 85k|7507 | 1 | 35k| 38 | 0.000000e+00 | -- | Inf | unknown
3526.54/3537.34 c 3537s| 11600 | 1865 | 2917k| 229.7 | 1410M | 172 |1432 | 89k| 85k|7579 | 1 | 36k| 38 | 0.000000e+00 | -- | Inf | unknown
3543.60/3554.45 c 3554s| 11700 | 1871 | 2936k| 229.3 | 1410M | 172 |1432 | 88k| 0 |7748 | 0 | 36k| 38 | 0.000000e+00 | -- | Inf | unknown
3558.86/3569.78 c 3570s| 11800 | 1912 | 2955k| 229.1 | 1410M | 172 |1432 | 88k| 0 |7842 | 0 | 36k| 38 | 0.000000e+00 | -- | Inf | unknown
3567.33/3578.22 c 3578s| 11900 | 1923 | 2965k| 228.1 | 1411M | 172 |1432 | 88k| 85k|7901 | 1 | 37k| 38 | 0.000000e+00 | -- | Inf | unknown
3579.20/3590.14 c 3590s| 12000 | 1952 | 2979k| 227.4 | 1411M | 172 |1432 | 88k| 0 |8014 | 0 | 37k| 38 | 0.000000e+00 | -- | Inf | unknown
3585.98/3596.94 c 3597s| 12100 | 1956 | 2987k| 226.2 | 1411M | 175 |1432 | 88k| 0 |8057 | 0 | 37k| 38 | 0.000000e+00 | -- | Inf | unknown
3586.08/3597.00 c
3586.08/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.08/3597.00 c Solving Time (sec) : 3597.00
3586.08/3597.00 c Solving Nodes : 12103 (total of 13152 nodes in 2 runs)
3586.08/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.08/3597.00 c Dual Bound : +0.00000000000000e+00
3586.08/3597.00 c Gap : infinite
3586.08/3597.00 s UNKNOWN
3586.08/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.08/3597.00 c Total Time : 3597.00
3586.08/3597.00 c solving : 3597.00
3586.08/3597.00 c presolving : 3.51 (included in solving)
3586.08/3597.00 c reading : 0.18 (included in solving)
3586.08/3597.00 c copying : 0.62 (6 #copies) (minimal 0.10, maximal 0.11, average 0.10)
3586.08/3597.00 c Original Problem :
3586.08/3597.00 c Problem name : HOME/instance-4444005-1721300959.opb
3586.08/3597.00 c Variables : 1440 (1440 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.08/3597.00 c Constraints : 86040 initial, 86040 maximal
3586.08/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.08/3597.00 c Presolved Problem :
3586.08/3597.00 c Problem name : t_HOME/instance-4444005-1721300959.opb
3586.08/3597.00 c Variables : 1432 (1432 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.08/3597.00 c Constraints : 85856 initial, 89248 maximal
3586.08/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.08/3597.00 c Nonzeros : 376461 constraint, 1431 clique table
3586.08/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.08/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c domcol : 0.04 0.00 3 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c dualsparsify : 0.76 0.00 1 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c gateextraction : 0.08 0.00 5 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c milp : 0.22 0.00 1 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c sparsify : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c trivial : 0.00 0.00 9 1 0 0 0 0 0 0 0 0
3586.08/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c dualfix : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c probing : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c symmetry : 0.33 0.00 1 3 0 0 0 0 0 3 0 0
3586.08/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c setppc : 0.00 0.00 20 0 1 0 0 0 2 0 0 0
3586.08/3597.00 c linear : 0.23 0.05 4 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c orbitope : 0.00 0.00 6 3 0 0 0 0 0 0 0 0
3586.08/3597.00 c logicor : 1.41 0.20 20 0 0 0 0 0 815 0 0 1289
3586.08/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c components : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.08/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.08/3597.00 c benderslp : 0 0 0 0 9423 0 0 1633 0 0 0 0 0 0 0
3586.08/3597.00 c integral : 0 0 0 0 9423 0 0 1633 0 0 0 0 0 0 18846
3586.08/3597.00 c knapsack : 62+ 102 11 103264 0 0 0 0 48 6 116 0 0 0 0
3586.08/3597.00 c setppc : 358 358 22 126218 0 0 0 1629 505653 2422 220044 0 0 0 0
3586.08/3597.00 c linear : 0+ 14 0 37285 0 0 0 2 10 4 28 0 0 0 0
3586.08/3597.00 c orbitope : 3 3 0 123692 0 0 0 0 1760 34 2752 0 0 0 0
3586.08/3597.00 c logicor : 85433+ 88777 22 92484 0 0 0 0 1433615 3482 596048 0 0 0 0
3586.08/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.08/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c integral : 32.14 0.00 0.00 0.00 32.14 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c knapsack : 0.11 0.00 0.00 0.11 0.00 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c setppc : 4.20 0.00 0.00 3.86 0.00 0.00 0.00 0.00 0.33 0.00
3586.08/3597.00 c linear : 0.07 0.05 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c orbitope : 1.75 0.00 0.00 1.74 0.00 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c logicor : 16.25 0.20 0.49 14.73 0.00 0.00 0.00 0.00 0.80 0.04
3586.08/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.08/3597.00 c dualfix : 2 0 0 0
3586.08/3597.00 c genvbounds : 0 0 0 0
3586.08/3597.00 c nlobbt : 0 0 0 0
3586.08/3597.00 c obbt : 0 0 0 0
3586.08/3597.00 c probing : 0 0 0 0
3586.08/3597.00 c pseudoobj : 0 0 0 0
3586.08/3597.00 c redcost : 0 0 0 0
3586.08/3597.00 c rootredcost : 0 0 0 0
3586.08/3597.00 c symmetry : 0 0 0 0
3586.08/3597.00 c vbounds : 95007 0 0 0
3586.08/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.08/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3586.08/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.08/3597.00 c probing : 0.04 0.00 0.04 0.00 0.00 0.00
3586.08/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3586.08/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.08/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.08/3597.00 c symmetry : 0.35 0.00 0.33 0.02 0.00 0.00
3586.08/3597.00 c vbounds : 0.90 0.00 0.00 0.90 0.00 0.00
3586.08/3597.00 c Symmetry :
3586.08/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.08/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.08/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.08/3597.00 c shadow tree time : 0.00 s
3586.08/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.08/3597.00 c propagation : 6.13 5941 5941 - 360631 180.7 608 54.3 - - -
3586.08/3597.00 c infeasible LP : 0.42 260 206 - 13558 199.5 5 39.8 205 101.7 0
3586.08/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.08/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.08/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.08/3597.00 c applied globally : 0.30 - - 0 37385 123.9 - - 188 - -
3586.08/3597.00 c applied locally : - - - 0 0 0.0 - - 17 - -
3586.08/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.08/3597.00 c cut pool : 4.00 - 2724 42 - - 46639 75088 - - - - - (maximal pool size: 3609)
3586.08/3597.00 c aggregation : 7.46 0.00 1116 22 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.08/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.08/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.08/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c clique : 0.04 0.00 22 22 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c gomory : 145.65 0.00 1114 20 0 0 58869 67455 13233 2579 2070 509 0
3586.08/3597.00 c > gomorymi : - - - - - - - 21972 6663 454 117 337 -
3586.08/3597.00 c > strongcg : - - - - - - - 45483 6570 2125 1953 172 -
3586.08/3597.00 c impliedbounds : 0.03 0.00 1116 22 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c mcf : 0.06 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c multilinear : 0.00 0.00 101 22 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c rlt : 0.00 0.00 620 20 0 0 0 0 0 0 0 0 0
3586.08/3597.00 c zerohalf : 21.09 0.00 1116 22 0 0 3376 7633 2373 6678 5014 1664 0
3586.08/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.08/3597.00 c hybrid : 0.31 0.00 1529 22 9065 210 81629 69 0 6314
3586.08/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.08/3597.00 c problem variables: 0.00 - 0 0
3586.08/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.08/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c relpscost : 32.12 0.00 9423 0 0 0 0 0 0 18846
3586.08/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.08/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.08/3597.00 c LP solutions : 0.00 - - 0 0
3586.08/3597.00 c relax solutions : 0.00 - - 0 0
3586.08/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.08/3597.00 c strong branching : 0.00 - - 0 0
3586.08/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.08/3597.00 c adaptivediving : 82.81 0.00 4 0 0
3586.08/3597.00 c alns : 1.29 0.00 4 0 0
3586.08/3597.00 c bound : 0.00 0.00 0 0 0
3586.08/3597.00 c clique : 0.16 0.00 1 0 0
3586.08/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.08/3597.00 c completesol : 0.00 0.00 0 0 0
3586.08/3597.00 c conflictdiving : 251.34 0.00 21 0 0
3586.08/3597.00 c crossover : 0.00 0.00 0 0 0
3586.08/3597.00 c dins : 0.00 0.00 0 0 0
3586.08/3597.00 c distributiondivin: 141.35 0.00 9 0 0
3586.08/3597.00 c dps : 0.00 0.00 0 0 0
3586.08/3597.00 c dualval : 0.00 0.00 0 0 0
3586.08/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.08/3597.00 c feasjump : 0.24 0.00 2 0 0
3586.08/3597.00 c feaspump : 42.34 0.00 7 0 0
3586.08/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.08/3597.00 c fracdiving : 115.78 0.00 14 0 0
3586.08/3597.00 c gins : 0.00 0.00 0 0 0
3586.08/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.08/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3586.08/3597.00 c indicator : 0.01 0.00 0 0 0
3586.08/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.08/3597.00 c indoneopt : 0.01 0.00 0 0 0
3586.08/3597.00 c indrounding : 0.00 0.00 0 0 0
3586.08/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3586.08/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.08/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.08/3597.00 c linesearchdiving : 89.05 0.00 15 0 0
3586.08/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.08/3597.00 c locks : 0.04 0.00 1 0 0
3586.08/3597.00 c lpface : 0.02 0.00 0 0 0
3586.08/3597.00 c mpec : 0.00 0.00 0 0 0
3586.08/3597.00 c multistart : 0.00 0.00 0 0 0
3586.08/3597.00 c mutation : 0.00 0.00 0 0 0
3586.08/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.08/3597.00 c objpscostdiving : 412.69 0.00 2 0 0
3586.08/3597.00 c octane : 0.00 0.00 0 0 0
3586.08/3597.00 c ofins : 0.00 0.00 0 0 0
3586.08/3597.00 c oneopt : 0.01 0.00 0 0 0
3586.08/3597.00 c padm : 0.00 0.00 0 0 0
3586.08/3597.00 c proximity : 0.00 0.00 0 0 0
3586.08/3597.00 c pscostdiving : 116.86 0.00 15 0 0
3586.08/3597.00 c randrounding : 0.75 0.00 1623 0 0
3586.08/3597.00 c rens : 23.62 0.00 2 0 0
3586.08/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.08/3597.00 c repair : 0.00 0.00 0 0 0
3586.08/3597.00 c rins : 0.00 0.00 0 0 0
3586.08/3597.00 c rootsoldiving : 31.56 0.00 3 0 0
3586.08/3597.00 c rounding : 6.29 0.00 1445 0 0
3586.08/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.08/3597.00 c shiftandpropagate: 0.22 0.00 2 0 0
3586.08/3597.00 c shifting : 6.84 0.00 621 0 0
3586.08/3597.00 c simplerounding : 0.01 0.00 0 0 0
3586.08/3597.00 c smallcard : 0.00 0.00 0 0 0
3586.08/3597.00 c subnlp : 0.01 0.00 0 0 0
3586.08/3597.00 c trivial : 0.00 0.00 4 0 0
3586.08/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.08/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.08/3597.00 c trysol : 0.01 0.00 0 0 0
3586.08/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.08/3597.00 c undercover : 0.00 0.00 0 0 0
3586.08/3597.00 c vbounds : 0.11 0.00 2 0 0
3586.08/3597.00 c veclendiving : 150.48 0.00 9 0 0
3586.08/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.08/3597.00 c zirounding : 2.04 0.00 1000 0 0
3586.08/3597.00 c other solutions : - - - 0 -
3586.08/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.08/3597.00 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
3586.08/3597.00 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
3586.08/3597.00 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
3586.08/3597.00 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
3586.08/3597.00 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
3586.08/3597.00 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
3586.08/3597.00 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
3586.08/3597.00 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
3586.08/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.08/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.08/3597.00 c primal LP : 4.72 579 0 0.00 0.00 4.72 579
3586.08/3597.00 c dual LP : 1789.00 11216 2063672 184.06 1153.53 0.04 4
3586.08/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.08/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.08/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.08/3597.00 c diving/probing LP: 1424.70 1483 923951 623.03 648.52
3586.08/3597.00 c strong branching : 14.98 38 11672 307.16 779.23 - - 19
3586.08/3597.00 c (at root node) : - 38 11672 307.16 -
3586.08/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.08/3597.00 c B&B Tree :
3586.08/3597.00 c number of runs : 2
3586.08/3597.00 c nodes : 12103 (8374 internal, 3729 leaves)
3586.08/3597.00 c feasible leaves : 0
3586.08/3597.00 c infeas. leaves : 3728
3586.08/3597.00 c objective leaves : 0
3586.08/3597.00 c nodes (total) : 13152 (9423 internal, 3729 leaves)
3586.08/3597.00 c nodes left : 1955
3586.08/3597.00 c max depth : 175
3586.08/3597.00 c max depth (total): 175
3586.08/3597.00 c backtracks : 2959 (24.4%)
3586.08/3597.00 c early backtracks : 0 (0.0%)
3586.08/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.08/3597.00 c delayed cutoffs : 2692
3586.08/3597.00 c repropagations : 8313 (296516 domain reductions, 2214 cutoffs)
3586.08/3597.00 c avg switch length: 3.50
3586.08/3597.00 c switching time : 17.63
3586.08/3597.00 c Root Node :
3586.08/3597.00 c First LP value : +0.00000000000000e+00
3586.08/3597.00 c First LP Iters : 730 (2750.26 Iter/sec)
3586.08/3597.00 c First LP Time : 0.27
3586.08/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.08/3597.00 c Final Root Iters : 12869
3586.08/3597.00 c Root LP Estimate : +7.63163036324735e-02
3586.08/3597.00 c Solution :
3586.08/3597.00 c Solutions found : 0 (0 improvements)
3586.08/3597.00 c Primal Bound : -
3586.08/3597.00 c Dual Bound : +0.00000000000000e+00
3586.08/3597.00 c Gap : infinite
3586.08/3597.00 c Integrals : Total Avg%
3586.08/3597.00 c primal-dual : 359699.97 100.00
3586.08/3597.00 c primal-ref : - - (not evaluated)
3586.08/3597.00 c dual-ref : - - (not evaluated)
3586.28/3597.22 c Time complete: 3586.31.
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: 63931 MiB (59198 MiB free)
memory of node 1: 64510 MiB (60243 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444005-1721300959/watcher-4444005-1721300959 -o /tmp/evaluation-result-4444005-1721300959/solver-4444005-1721300959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975186 --watchdog 3760 pbscip -f HOME/instance-4444005-1721300959.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=981391, runsolver pid=981388
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.14 4.13 4.12 5/255 981392
/proc/meminfo: memFree=122279812/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=83288 memory=42744 CPUtime=0.09 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 7735 0 0 0 9 0 0 0 20 0 1 0 182261231 85286912 10686 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 20822 10686 3278 3540 0 9079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83288 KiB
Current children cumulated memory: 42744 KiB
[startup+0.205554 s]*
/proc/loadavg: 4.14 4.13 4.12 5/255 981392
/proc/meminfo: memFree=122244476/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=120016 memory=80936 CPUtime=0.19 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 17390 0 0 0 18 1 0 0 20 0 1 0 182261231 122896384 20234 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 30004 20234 3566 3540 0 18261 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 120016 KiB
Current children cumulated memory: 80936 KiB
[startup+0.305641 s]*
/proc/loadavg: 4.14 4.13 4.12 5/255 981392
/proc/meminfo: memFree=122165524/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=199260 memory=159752 CPUtime=0.3 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 37629 0 0 0 26 4 0 0 20 0 1 0 182261231 204042240 39938 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 49815 39938 3566 3540 0 38072 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 199260 KiB
Current children cumulated memory: 159752 KiB
[startup+0.700251 s]
/proc/loadavg: 4.14 4.13 4.12 5/255 981392
/proc/meminfo: memFree=122112792/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=240560 memory=199500 CPUtime=0.68 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 54675 0 0 0 61 7 0 0 20 0 1 0 182261231 246333440 49875 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 60140 49875 3725 3540 0 48397 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 240560 KiB
Current children cumulated memory: 199500 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.13 4.12 5/255 981392
/proc/meminfo: memFree=122129576/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=433380 memory=367988 CPUtime=1.48 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 71840 0 0 0 136 12 0 0 20 0 1 0 182261231 443781120 91997 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 108345 91997 3773 3540 0 96602 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 433380 KiB
Current children cumulated memory: 367988 KiB
[startup+3.1054 s]
/proc/loadavg: 4.13 4.13 4.11 5/255 981392
/proc/meminfo: memFree=121723228/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=667300 memory=598352 CPUtime=3.09 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 109463 0 0 0 290 19 0 0 20 0 1 0 182261231 683315200 149588 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 166825 149588 3885 3540 0 155082 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 667300 KiB
Current children cumulated memory: 598352 KiB
[startup+6.30026 s]
/proc/loadavg: 4.13 4.13 4.11 5/255 981393
/proc/meminfo: memFree=121723024/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=667300 memory=598352 CPUtime=6.27 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 109479 0 0 0 608 19 0 0 20 0 1 0 182261231 683315200 149588 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 166825 149588 3885 3540 0 155082 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 667300 KiB
Current children cumulated memory: 598352 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.11 5/255 981393
/proc/meminfo: memFree=121688652/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=736576 memory=641624 CPUtime=12.66 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 118696 0 0 0 1245 21 0 0 20 0 1 0 182261231 754253824 160406 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 184144 160406 3981 3540 0 172401 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 736576 KiB
Current children cumulated memory: 641624 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.14 4.12 5/255 981395
/proc/meminfo: memFree=121613168/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=867164 memory=708196 CPUtime=25.42 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 132314 0 0 0 2518 24 0 0 20 0 1 0 182261231 887975936 177049 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 216791 177049 3981 3540 0 205048 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 867164 KiB
Current children cumulated memory: 708196 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.12 4.11 5/258 981406
/proc/meminfo: memFree=121435144/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1027408 memory=866124 CPUtime=50.95 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 169802 0 0 0 5065 30 0 0 20 0 1 0 182261231 1052065792 216531 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 256852 216531 3981 3540 0 245109 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1027408 KiB
Current children cumulated memory: 866124 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/258 981461
/proc/meminfo: memFree=120942424/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1027408 memory=866548 CPUtime=101.99 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 169892 0 0 0 10169 30 0 0 20 0 1 0 182261231 1052065792 216637 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 256852 216637 4007 3540 0 245109 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1027408 KiB
Current children cumulated memory: 866548 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/258 981472
/proc/meminfo: memFree=120723832/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1027408 memory=866704 CPUtime=161.82 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 169951 0 0 0 16151 31 0 0 20 0 1 0 182261231 1052065792 216676 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 256852 216676 4023 3540 0 245109 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1027408 KiB
Current children cumulated memory: 866704 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/258 981484
/proc/meminfo: memFree=120701412/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1027408 memory=866704 CPUtime=221.66 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 169969 0 0 0 22135 31 0 0 20 0 1 0 182261231 1052065792 216676 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 256852 216676 4023 3540 0 245109 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1027408 KiB
Current children cumulated memory: 866704 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/258 981495
/proc/meminfo: memFree=120689092/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1027408 memory=866704 CPUtime=281.51 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 170003 0 0 0 28119 32 0 0 20 0 1 0 182261231 1052065792 216676 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 256852 216676 4023 3540 0 245109 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1027408 KiB
Current children cumulated memory: 866704 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/258 981506
/proc/meminfo: memFree=120604600/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1027408 memory=866704 CPUtime=341.33 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 170042 0 0 0 34101 32 0 0 20 0 1 0 182261231 1052065792 216676 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 256852 216676 4023 3540 0 245109 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 1027408 KiB
Current children cumulated memory: 866704 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/255 981516
/proc/meminfo: memFree=120593300/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1027408 memory=869504 CPUtime=401.17 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 170360 0 0 0 40084 33 0 0 20 0 1 0 182261231 1052065792 217376 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 256852 217376 4023 3540 0 245109 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 1027408 KiB
Current children cumulated memory: 869504 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 981526
/proc/meminfo: memFree=120589360/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1027408 memory=872416 CPUtime=460.99 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 170944 0 0 0 46066 33 0 0 20 0 1 0 182261231 1052065792 218104 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 256852 218104 4023 3540 0 245109 0
################
# More data... #
################
/proc/loadavg: 3.76 4.03 4.06 4/253 983332
/proc/meminfo: memFree=119711388/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1529796 memory=1094980 CPUtime=3152.55 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 221151 0 0 0 315208 47 0 0 20 0 1 0 182261231 1566511104 273745 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 382449 273745 4023 3540 0 370706 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 1529796 KiB
Current children cumulated memory: 1094980 KiB
[startup+3222.3 s]
/proc/loadavg: 3.38 3.87 4.00 4/253 983343
/proc/meminfo: memFree=119655408/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1537796 memory=1117468 CPUtime=3212.39 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 221413 0 0 0 321192 47 0 0 20 0 1 0 182261231 1574703104 279367 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 384449 279367 4023 3540 0 372706 0
Current children cumulated CPU time: 3212.39 s
Current children cumulated vsize: 1537796 KiB
Current children cumulated memory: 1117468 KiB
[startup+3282.3 s]
/proc/loadavg: 3.19 3.73 3.95 4/252 983354
/proc/meminfo: memFree=119601160/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1537796 memory=1135864 CPUtime=3272.22 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 221679 0 0 0 327175 47 0 0 20 0 1 0 182261231 1574703104 283966 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 384449 283966 4023 3540 0 372706 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 1537796 KiB
Current children cumulated memory: 1135864 KiB
[startup+3342.3 s]
/proc/loadavg: 3.18 3.62 3.89 4/252 983364
/proc/meminfo: memFree=119550824/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1537796 memory=1146084 CPUtime=3332.06 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 221948 0 0 0 333159 47 0 0 20 0 1 0 182261231 1574703104 286521 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 384449 286521 4023 3540 0 372706 0
Current children cumulated CPU time: 3332.06 s
Current children cumulated vsize: 1537796 KiB
Current children cumulated memory: 1146084 KiB
[startup+3402.3 s]
/proc/loadavg: 3.13 3.52 3.84 4/249 983375
/proc/meminfo: memFree=119518904/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1537796 memory=1146088 CPUtime=3391.9 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 222228 0 0 0 339143 47 0 0 20 0 1 0 182261231 1574703104 286522 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 384449 286522 4023 3540 0 372706 0
Current children cumulated CPU time: 3391.9 s
Current children cumulated vsize: 1537796 KiB
Current children cumulated memory: 1146088 KiB
[startup+3462.3 s]
/proc/loadavg: 3.05 3.43 3.79 4/248 983386
/proc/meminfo: memFree=119484772/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1545800 memory=1146092 CPUtime=3451.74 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 222500 0 0 0 345127 47 0 0 20 0 1 0 182261231 1582899200 286523 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 386450 286523 4023 3540 0 374707 0
Current children cumulated CPU time: 3451.74 s
Current children cumulated vsize: 1545800 KiB
Current children cumulated memory: 1146092 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.38 3.75 4/249 983398
/proc/meminfo: memFree=119464736/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1545800 memory=1146092 CPUtime=3511.58 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 222778 0 0 0 351111 47 0 0 20 0 1 0 182261231 1582899200 286523 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 386450 286523 4023 3540 0 374707 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 1545800 KiB
Current children cumulated memory: 1146092 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.32 3.70 4/249 983408
/proc/meminfo: memFree=119436780/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1545800 memory=1146092 CPUtime=3571.42 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 223048 0 0 0 357095 47 0 0 20 0 1 0 182261231 1582899200 286523 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 386450 286523 4023 3540 0 374707 0
Current children cumulated CPU time: 3571.42 s
Current children cumulated vsize: 1545800 KiB
Current children cumulated memory: 1146092 KiB
[startup+3597.23 s]
# the end of solver process 981391 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.83 s, system=0.486565 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.09 3.32 3.70 4/249 983408
/proc/meminfo: memFree=119436724/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1545800 memory=1146092 CPUtime=3573.12 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 223049 0 0 0 357265 47 0 0 20 0 1 0 182261231 1582899200 286523 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 386450 286523 4023 3540 0 374707 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 1545800 KiB
Current children cumulated memory: 1146092 KiB
[startup+3590.4 s]
/proc/loadavg: 3.08 3.31 3.69 4/249 983410
/proc/meminfo: memFree=119433532/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1545800 memory=1146092 CPUtime=3579.5 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 223105 0 0 0 357903 47 0 0 20 0 1 0 182261231 1582899200 286523 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 386450 286523 4023 3540 0 374707 0
Current children cumulated CPU time: 3579.5 s
Current children cumulated vsize: 1545800 KiB
Current children cumulated memory: 1146092 KiB
[startup+3593.6 s]
/proc/loadavg: 3.07 3.30 3.69 4/249 983410
/proc/meminfo: memFree=119432108/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1545800 memory=1146092 CPUtime=3582.69 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 223105 0 0 0 358222 47 0 0 20 0 1 0 182261231 1582899200 286523 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 386450 286523 4023 3540 0 374707 0
Current children cumulated CPU time: 3582.69 s
Current children cumulated vsize: 1545800 KiB
Current children cumulated memory: 1146092 KiB
[startup+3595.2 s]
/proc/loadavg: 3.07 3.30 3.69 4/249 983410
/proc/meminfo: memFree=119431464/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1545800 memory=1146092 CPUtime=3584.28 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 223105 0 0 0 358381 47 0 0 20 0 1 0 182261231 1582899200 286523 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 386450 286523 4023 3540 0 374707 0
Current children cumulated CPU time: 3584.28 s
Current children cumulated vsize: 1545800 KiB
Current children cumulated memory: 1146092 KiB
[startup+3596 s]*
/proc/loadavg: 3.07 3.30 3.69 5/249 983411
/proc/meminfo: memFree=119430988/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1545800 memory=1146092 CPUtime=3585.09 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 223105 0 0 0 358462 47 0 0 20 0 1 0 182261231 1582899200 286523 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 386450 286523 4023 3540 0 374707 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 1545800 KiB
Current children cumulated memory: 1146092 KiB
[startup+3596.8 s]
/proc/loadavg: 3.07 3.30 3.69 5/249 983411
/proc/meminfo: memFree=119430988/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1545800 memory=1146092 CPUtime=3585.88 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 223105 0 0 0 358541 47 0 0 20 0 1 0 182261231 1582899200 286523 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 386450 286523 4023 3540 0 374707 0
Current children cumulated CPU time: 3585.88 s
Current children cumulated vsize: 1545800 KiB
Current children cumulated memory: 1146092 KiB
[startup+3597.2 s]
/proc/loadavg: 3.07 3.30 3.69 4/249 983411
/proc/meminfo: memFree=119430596/131524600 swapFree=131071996/131071996
[pid=981391] ppid=981388 vsize=1539528 memory=1139856 CPUtime=3586.28 cores=1,3
/proc/981391/stat : 981391 (pbscip) R 981388 981391 975174 0 -1 4194304 223113 0 0 0 358581 47 0 0 20 0 1 0 182261231 1576476672 284964 134679101440 4194304 18693293 140735950077600 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 47874048 140735950078979 140735950079078 140735950079078 140735950086094 0
/proc/981391/statm: 384882 284964 4023 3540 0 373139 0
Current children cumulated CPU time: 3586.28 s
Current children cumulated vsize: 1539528 KiB
Current children cumulated memory: 1139856 KiB
Child status: 0
Real time (s): 3597.23
CPU time (s): 3586.32
CPU user time (s): 3585.83
CPU system time (s): 0.486565
CPU usage (%): 99.6967
Max. virtual memory (cumulated for all children) (KiB): 1545800
Max. memory (cumulated for all children) (KiB): 1146092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.83
system time used= 0.486565
maximum resident set size= 1146092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223203
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 1240
# summary of solver processes directly reported to runsolver:
# pid: 981391
# total CPU time (s): 3586.32
# total CPU user time (s): 3585.83
# total CPU system time (s): 0.486565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10525 second user time and 16.9134 second system time
The end