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-4450865-1721421606.opb>
0.00/0.02 c original problem has 4288 variables (4288 bin, 0 int, 0 impl, 0 cont) and 9472 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 552 del vars, 972 del conss, 681 add conss, 488 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 353 clqs
0.00/0.06 c (round 2, fast) 799 del vars, 1516 del conss, 768 add conss, 585 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 383 clqs
0.00/0.06 c (round 3, fast) 799 del vars, 1519 del conss, 794 add conss, 585 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 396 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver (4 rounds): 36 aggregations, 2 fixings, 0 bound changes
0.00/0.10 c (round 4, medium) 837 del vars, 1519 del conss, 794 add conss, 585 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 321 clqs
0.00/0.10 c (round 5, fast) 837 del vars, 1561 del conss, 828 add conss, 585 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 338 clqs
0.10/0.10 c (round 6, exhaustive) 837 del vars, 2300 del conss, 828 add conss, 585 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 338 clqs
0.10/0.13 c (round 7, exhaustive) 837 del vars, 2300 del conss, 828 add conss, 585 chg bounds, 1 chg sides, 0 chg coeffs, 6541 upgd conss, 0 impls, 338 clqs
0.10/0.13 c (round 8, exhaustive) 837 del vars, 2396 del conss, 860 add conss, 585 chg bounds, 1 chg sides, 0 chg coeffs, 6541 upgd conss, 0 impls, 338 clqs
0.10/0.16 c (round 9, exhaustive) 837 del vars, 2396 del conss, 860 add conss, 585 chg bounds, 57 chg sides, 0 chg coeffs, 6541 upgd conss, 0 impls, 338 clqs
0.10/0.17 c (round 10, exhaustive) 837 del vars, 2396 del conss, 860 add conss, 585 chg bounds, 57 chg sides, 0 chg coeffs, 6597 upgd conss, 0 impls, 338 clqs
0.20/0.29 c (0.3s) probing: 1000/3497 (28.6%) - 0 fixings, 1 aggregations, 293 implications, 0 bound changes
0.20/0.29 c (0.3s) probing: 1006/3497 (28.8%) - 0 fixings, 1 aggregations, 293 implications, 0 bound changes
0.20/0.29 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.20/0.29 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.30/0.31 c (0.3s) no symmetry present (symcode time: 0.00)
0.30/0.32 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.30/0.32 c 838 deleted vars, 2396 deleted constraints, 860 added constraints, 585 tightened bounds, 0 added holes, 57 changed sides, 33 changed coefficients
0.30/0.32 c 0 implications, 625 cliques
0.30/0.32 c presolved problem has 3496 variables (3496 bin, 0 int, 0 impl, 0 cont) and 7936 constraints
0.30/0.32 c 32 constraints of type <and>
0.30/0.32 c 2 constraints of type <xor>
0.30/0.32 c 1403 constraints of type <linear>
0.30/0.32 c 6499 constraints of type <logicor>
0.30/0.32 c transformed objective value is always integral (scale: 1)
0.30/0.32 c Presolving Time: 0.28
0.30/0.32 c - non default parameters ----------------------------------------------------------------------
0.30/0.32 c # SCIP version 10.0.0
0.30/0.32 c
0.30/0.32 c # maximal time in seconds to run
0.30/0.32 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.30/0.32 c limits/time = 3596.997011
0.30/0.32 c
0.30/0.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.30/0.32 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.30/0.32 c limits/memory = 27900
0.30/0.32 c
0.30/0.32 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.30/0.32 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.30/0.32 c limits/solutions = 1
0.30/0.32 c
0.30/0.32 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.
0.30/0.32 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.30/0.32 c misc/usesymmetry = 3
0.30/0.32 c
0.30/0.32 c # belongs reading time to solving time?
0.30/0.32 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.30/0.32 c timing/reading = TRUE
0.30/0.32 c
0.30/0.32 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.30/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.30/0.32 c propagating/symmetry/detectdoublelex = FALSE
0.30/0.32 c
0.30/0.32 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.30/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.30/0.32 c propagating/symmetry/detectsubgroups = FALSE
0.30/0.32 c
0.30/0.32 c # Type of symmetries that shall be computed?
0.30/0.32 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.30/0.32 c propagating/symmetry/symtype = 1
0.30/0.32 c
0.30/0.32 c # Should components consisting of a single full reflection be handled?
0.30/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.30/0.32 c propagating/symmetry/usesimplesgncomp = FALSE
0.30/0.32 c
0.30/0.32 c -----------------------------------------------------------------------------------------------
0.30/0.32 c start solving
0.30/0.32 c
0.40/0.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.40/0.41 c 0.4s| 1 | 0 | 957 | - | 56M | 0 |3496 |7956 |7976 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.94 c 0.9s| 1 | 0 | 3162 | - | 62M | 0 |3496 |7956 |8259 | 283 | 1 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
2.08/2.19 c 2.2s| 1 | 0 | 5638 | - | 64M | 0 |3496 |7956 |8561 | 585 | 2 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
4.27/4.32 c 4.3s| 1 | 0 | 9044 | - | 68M | 0 |3496 |7956 |8848 | 872 | 3 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
6.47/6.51 c 6.5s| 1 | 0 | 12412 | - | 70M | 0 |3496 |7956 |9133 |1157 | 4 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
9.06/9.15 c 9.2s| 1 | 0 | 16567 | - | 73M | 0 |3496 |7956 |9420 |1444 | 5 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
11.75/11.88 c 11.9s| 1 | 0 | 20788 | - | 75M | 0 |3496 |7956 |9700 |1724 | 6 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
14.64/14.72 c 14.7s| 1 | 0 | 24862 | - | 78M | 0 |3496 |7957 |9873 |1897 | 7 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
16.94/17.04 c 17.0s| 1 | 0 | 27787 | - | 79M | 0 |3496 |7958 |9987 |2011 | 8 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
20.03/20.17 c 20.2s| 1 | 0 | 32339 | - | 80M | 0 |3496 |7958 | 10k|2123 | 9 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
23.31/23.41 c 23.4s| 1 | 0 | 37038 | - | 82M | 0 |3496 |7958 |9583 |2209 | 10 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
24.61/24.72 c 24.7s| 1 | 0 | 39865 | - | 82M | 0 |3496 |7959 |9680 |2306 | 11 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
35.89/36.06 c 36.1s| 1 | 2 | 47515 | - | 83M | 0 |3496 |7959 |9680 |2306 | 11 | 23 | 12 | 0.000000e+00 | -- | Inf | unknown
340.99/342.01 c 342s| 100 | 101 |299589 |2623.5 | 85M | 12 |3496 |8014 |8292 |5525 | 2 | 100 | 12 | 0.000000e+00 | -- | Inf | unknown
397.82/399.10 c 399s| 200 | 201 |401677 |1818.2 | 85M | 16 |3496 |8036 |8092 |6934 | 1 | 141 | 12 | 0.000000e+00 | -- | Inf | unknown
417.06/418.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
417.06/418.30 c 418s| 300 | 301 |435823 |1324.3 | 86M | 17 |3496 |8032 |8180 |7538 | 1 | 147 | 12 | 0.000000e+00 | -- | Inf | unknown
435.51/436.82 c 437s| 400 | 401 |471181 |1081.0 | 88M | 19 |3496 |8027 |8190 |9146 | 1 | 151 | 12 | 0.000000e+00 | -- | Inf | unknown
468.51/469.94 c 470s| 500 | 501 |555498 |1033.3 | 89M | 22 |3496 |8043 |8336 | 11k| 1 | 170 | 12 | 0.000000e+00 | -- | Inf | unknown
513.48/515.06 c 515s| 600 | 601 |665278 |1044.1 | 90M | 23 |3496 |8060 |8390 | 16k| 2 | 192 | 12 | 0.000000e+00 | -- | Inf | unknown
554.85/556.57 c 557s| 700 | 701 |745554 |1009.6 | 91M | 23 |3496 |8049 |8382 | 20k| 2 | 209 | 12 | 0.000000e+00 | -- | Inf | unknown
590.05/591.83 c 592s| 800 | 799 |813271 | 968.0 | 92M | 23 |3496 |8044 |8374 | 23k| 1 | 235 | 12 | 0.000000e+00 | -- | Inf | unknown
628.25/630.12 c 630s| 900 | 899 |888030 | 943.5 | 92M | 23 |3496 |8045 |8251 | 27k| 1 | 244 | 12 | 0.000000e+00 | -- | Inf | unknown
658.75/660.71 c 661s| 1000 | 999 |953861 | 914.9 | 92M | 23 |3496 |8042 |8372 | 30k| 1 | 255 | 12 | 0.000000e+00 | -- | Inf | unknown
681.78/683.86 c 684s| 1100 | 1099 | 1006k| 879.1 | 93M | 25 |3496 |8044 |8189 | 32k| 1 | 263 | 12 | 0.000000e+00 | -- | Inf | unknown
697.64/699.77 c 700s| 1200 | 1199 | 1035k| 830.5 | 94M | 25 |3496 |8050 |8235 | 32k| 1 | 274 | 12 | 0.000000e+00 | -- | Inf | unknown
714.89/717.04 c 717s| 1300 | 1299 | 1072k| 794.7 | 94M | 25 |3496 |8058 |8190 | 34k| 1 | 284 | 12 | 0.000000e+00 | -- | Inf | unknown
731.34/733.56 c 734s| 1400 | 1399 | 1104k| 760.9 | 95M | 26 |3496 |8064 |8181 | 36k| 1 | 291 | 12 | 0.000000e+00 | -- | Inf | unknown
759.65/761.94 c 762s| 1500 | 1499 | 1151k| 741.4 | 96M | 26 |3496 |8072 |8235 | 38k| 1 | 302 | 12 | 0.000000e+00 | -- | Inf | unknown
779.59/781.97 c 782s| 1600 | 1599 | 1197k| 723.8 | 96M | 26 |3496 |8069 |8407 | 40k| 2 | 304 | 12 | 0.000000e+00 | -- | Inf | unknown
819.48/821.98 c 822s| 1700 | 1699 | 1275k| 727.2 | 96M | 26 |3496 |8090 |8233 | 43k| 1 | 333 | 12 | 0.000000e+00 | -- | Inf | unknown
845.40/847.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
845.40/847.99 c 848s| 1800 | 1799 | 1331k| 718.0 | 97M | 26 |3496 |8095 |8235 | 46k| 1 | 355 | 12 | 0.000000e+00 | -- | Inf | unknown
872.82/875.49 c 875s| 1900 | 1899 | 1386k| 709.0 | 97M | 26 |3496 |8082 |8336 | 48k| 1 | 358 | 12 | 0.000000e+00 | -- | Inf | unknown
888.57/891.26 c 891s| 2000 | 1999 | 1413k| 687.3 | 98M | 26 |3496 |8086 |8092 | 49k| 1 | 365 | 12 | 0.000000e+00 | -- | Inf | unknown
906.52/909.23 c 909s| 2100 | 2099 | 1451k| 672.3 | 98M | 26 |3496 |8084 |8371 | 50k| 1 | 371 | 12 | 0.000000e+00 | -- | Inf | unknown
925.76/928.52 c 929s| 2200 | 2199 | 1488k| 658.6 | 99M | 26 |3496 |8091 |8330 | 52k| 1 | 383 | 12 | 0.000000e+00 | -- | Inf | unknown
944.70/947.52 c 948s| 2300 | 2299 | 1539k| 652.5 | 100M | 26 |3496 |8084 |8371 | 53k| 1 | 384 | 12 | 0.000000e+00 | -- | Inf | unknown
961.65/964.55 c 965s| 2400 | 2399 | 1577k| 640.8 | 100M | 27 |3496 |8078 |8293 | 54k| 2 | 384 | 12 | 0.000000e+00 | -- | Inf | unknown
982.49/985.40 c 985s| 2500 | 2499 | 1629k| 636.2 | 102M | 27 |3496 |8104 |8357 | 56k| 1 | 418 | 12 | 0.000000e+00 | -- | Inf | unknown
1016.78/1019.86 c 1020s| 2600 | 2599 | 1694k| 636.7 | 102M | 27 |3496 |8106 |8254 | 59k| 1 | 438 | 12 | 0.000000e+00 | -- | Inf | unknown
1039.30/1042.46 c 1042s| 2700 | 2699 | 1741k| 630.6 | 103M | 27 |3496 |8099 |8385 | 61k| 1 | 439 | 12 | 0.000000e+00 | -- | Inf | unknown
1061.62/1064.89 c 1065s| 2800 | 2799 | 1790k| 625.5 | 104M | 27 |3496 |8103 |8339 | 64k| 1 | 447 | 12 | 0.000000e+00 | -- | Inf | unknown
1085.44/1088.76 c 1089s| 2900 | 2899 | 1846k| 623.2 | 104M | 27 |3496 |8105 |8246 | 67k| 1 | 457 | 12 | 0.000000e+00 | -- | Inf | unknown
1119.73/1123.13 c 1123s| 3000 | 2999 | 1907k| 622.8 | 105M | 27 |3496 |8109 |8093 | 69k| 1 | 478 | 12 | 0.000000e+00 | -- | Inf | unknown
1137.06/1140.58 c 1141s| 3100 | 3099 | 1951k| 616.9 | 106M | 27 |3496 |8113 |8092 | 72k| 1 | 488 | 12 | 0.000000e+00 | -- | Inf | unknown
1164.26/1167.81 c 1168s| 3200 | 3199 | 2005k| 614.5 | 106M | 27 |3496 |8099 |8180 | 74k| 1 | 499 | 12 | 0.000000e+00 | -- | Inf | unknown
1178.71/1182.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1178.71/1182.31 c 1182s| 3300 | 3299 | 2039k| 606.0 | 106M | 28 |3496 |8097 |8371 | 76k| 1 | 501 | 12 | 0.000000e+00 | -- | Inf | unknown
1206.42/1210.17 c 1210s| 3400 | 3399 | 2088k| 602.8 | 106M | 28 |3496 |8096 |8343 | 77k| 1 | 511 | 12 | 0.000000e+00 | -- | Inf | unknown
1230.34/1234.16 c 1234s| 3500 | 3499 | 2131k| 597.7 | 109M | 29 |3496 |8092 |8338 | 79k| 1 | 514 | 12 | 0.000000e+00 | -- | Inf | unknown
1275.18/1279.19 c 1279s| 3600 | 3599 | 2220k| 605.9 | 110M | 29 |3496 |8119 |8339 | 83k| 1 | 548 | 12 | 0.000000e+00 | -- | Inf | unknown
1501.23/1505.96 c 1506s| 3700 | 3699 | 2315k| 615.1 | 110M | 29 |3496 |8140 |8248 | 85k| 1 | 573 | 12 | 0.000000e+00 | -- | Inf | unknown
1524.05/1528.81 c 1529s| 3800 | 3799 | 2364k| 612.0 | 110M | 29 |3496 |8143 |8374 | 88k| 1 | 588 | 12 | 0.000000e+00 | -- | Inf | unknown
1553.64/1558.55 c 1559s| 3900 | 3899 | 2424k| 611.6 | 110M | 29 |3496 |8127 |8242 | 90k| 1 | 590 | 12 | 0.000000e+00 | -- | Inf | unknown
1562.01/1566.94 c 1567s| 4000 | 3999 | 2443k| 601.1 | 110M | 29 |3496 |8124 |8336 | 91k| 1 | 590 | 12 | 0.000000e+00 | -- | Inf | unknown
1582.05/1587.02 c 1587s| 4100 | 4099 | 2482k| 595.8 | 110M | 30 |3496 |8134 |8370 | 92k| 1 | 602 | 12 | 0.000000e+00 | -- | Inf | unknown
1599.38/1604.40 c 1604s| 4200 | 4199 | 2524k| 591.8 | 110M | 30 |3496 |8132 |8380 | 94k| 2 | 604 | 12 | 0.000000e+00 | -- | Inf | unknown
1615.23/1620.36 c 1620s| 4300 | 4299 | 2552k| 584.5 | 112M | 30 |3496 |8131 |8323 | 95k| 1 | 614 | 12 | 0.000000e+00 | -- | Inf | unknown
1626.39/1631.54 c 1632s| 4400 | 4399 | 2579k| 577.2 | 112M | 30 |3496 |8130 |8346 | 97k| 1 | 617 | 12 | 0.000000e+00 | -- | Inf | unknown
1643.03/1648.26 c 1648s| 4500 | 4499 | 2612k| 571.8 | 112M | 30 |3496 |8124 |8185 | 98k| 1 | 630 | 12 | 0.000000e+00 | -- | Inf | unknown
1664.65/1669.99 c 1670s| 4600 | 4599 | 2675k| 573.1 | 112M | 30 |3496 |8107 |8381 | 99k| 2 | 630 | 12 | 0.000000e+00 | -- | Inf | unknown
1687.17/1692.58 c 1693s| 4700 | 4699 | 2721k| 570.7 | 112M | 30 |3496 |8117 |8383 | 101k| 2 | 649 | 12 | 0.000000e+00 | -- | Inf | unknown
1704.72/1710.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1704.72/1710.16 c 1710s| 4800 | 4799 | 2758k| 566.6 | 113M | 30 |3496 |8131 |8190 | 103k| 1 | 667 | 12 | 0.000000e+00 | -- | Inf | unknown
1721.25/1726.78 c 1727s| 4900 | 4897 | 2795k| 562.5 | 113M | 30 |3496 |8126 |8360 | 105k| 1 | 670 | 12 | 0.000000e+00 | -- | Inf | unknown
1741.28/1746.85 c 1747s| 5000 | 4997 | 2835k| 559.3 | 113M | 30 |3496 |8116 |8341 | 108k| 1 | 671 | 12 | 0.000000e+00 | -- | Inf | unknown
1760.61/1766.26 c 1766s| 5100 | 5097 | 2877k| 556.6 | 115M | 32 |3496 |8108 |8375 | 110k| 1 | 672 | 12 | 0.000000e+00 | -- | Inf | unknown
1782.24/1787.96 c 1788s| 5200 | 5197 | 2919k| 553.9 | 115M | 32 |3496 |8119 |8224 | 112k| 1 | 688 | 12 | 0.000000e+00 | -- | Inf | unknown
1800.67/1806.48 c 1806s| 5300 | 5297 | 2955k| 550.2 | 116M | 32 |3496 |8119 |8374 | 114k| 1 | 690 | 12 | 0.000000e+00 | -- | Inf | unknown
1827.38/1833.24 c 1833s| 5400 | 5397 | 3011k| 550.3 | 116M | 32 |3496 |8118 |8327 | 117k| 1 | 698 | 12 | 0.000000e+00 | -- | Inf | unknown
1844.23/1850.18 c 1850s| 5500 | 5497 | 3044k| 546.5 | 116M | 32 |3496 |8116 |8374 | 119k| 1 | 703 | 12 | 0.000000e+00 | -- | Inf | unknown
1859.86/1865.86 c 1866s| 5600 | 5595 | 3078k| 542.7 | 117M | 33 |3496 |8113 |8382 | 120k| 1 | 707 | 12 | 0.000000e+00 | -- | Inf | unknown
1879.90/1885.99 c 1886s| 5700 | 5695 | 3124k| 541.2 | 117M | 33 |3496 |8109 |8232 | 123k| 1 | 715 | 12 | 0.000000e+00 | -- | Inf | unknown
1913.08/1919.24 c 1919s| 5800 | 5795 | 3193k| 543.9 | 118M | 33 |3496 |8129 |8388 | 125k| 1 | 746 | 12 | 0.000000e+00 | -- | Inf | unknown
1939.89/1946.18 c 1946s| 5900 | 5895 | 3249k| 544.1 | 121M | 33 |3496 |8111 |8371 | 127k| 1 | 748 | 12 | 0.000000e+00 | -- | Inf | unknown
1963.01/1969.33 c 1969s| 6000 | 5995 | 3294k| 542.6 | 121M | 33 |3496 |8130 |8235 | 129k| 1 | 779 | 12 | 0.000000e+00 | -- | Inf | unknown
1977.16/1983.55 c 1984s| 6100 | 6095 | 3328k| 539.3 | 121M | 33 |3496 |8130 |8232 | 131k| 1 | 781 | 12 | 0.000000e+00 | -- | Inf | unknown
1996.70/2003.11 c 2003s| 6200 | 6195 | 3367k| 536.9 | 121M | 33 |3496 |8127 |8250 | 133k| 1 | 784 | 12 | 0.000000e+00 | -- | Inf | unknown
2024.89/2031.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2024.89/2031.45 c 2031s| 6300 | 6295 | 3428k| 537.9 | 121M | 33 |3496 |8124 |8250 | 135k| 1 | 797 | 12 | 0.000000e+00 | -- | Inf | unknown
2052.99/2059.63 c 2060s| 6400 | 6395 | 3491k| 539.4 | 121M | 33 |3496 |8127 |8390 | 138k| 2 | 807 | 12 | 0.000000e+00 | -- | Inf | unknown
2077.41/2084.16 c 2084s| 6500 | 6493 | 3541k| 538.8 | 121M | 33 |3496 |8119 |8362 | 140k| 1 | 811 | 12 | 0.000000e+00 | -- | Inf | unknown
2091.46/2098.29 c 2098s| 6600 | 6593 | 3572k| 535.3 | 122M | 33 |3496 |8107 |8372 | 141k| 2 | 811 | 12 | 0.000000e+00 | -- | Inf | unknown
2113.68/2120.54 c 2121s| 6700 | 6693 | 3617k| 534.0 | 122M | 33 |3496 |8130 |8371 | 142k| 1 | 842 | 12 | 0.000000e+00 | -- | Inf | unknown
2121.26/2128.18 c 2128s| 6800 | 6793 | 3638k| 529.3 | 122M | 33 |3496 |8129 |8342 | 143k| 2 | 842 | 12 | 0.000000e+00 | -- | Inf | unknown
2142.78/2149.79 c 2150s| 6900 | 6893 | 3683k| 528.2 | 122M | 33 |3496 |8131 |8381 | 145k| 2 | 853 | 12 | 0.000000e+00 | -- | Inf | unknown
2169.88/2176.98 c 2177s| 7000 | 6993 | 3736k| 528.1 | 122M | 33 |3496 |8153 |8190 | 147k| 1 | 882 | 12 | 0.000000e+00 | -- | Inf | unknown
2183.94/2191.08 c 2191s| 7100 | 7093 | 3769k| 525.4 | 122M | 33 |3496 |8154 |8372 | 149k| 1 | 885 | 12 | 0.000000e+00 | -- | Inf | unknown
2202.47/2209.60 c 2210s| 7200 | 7193 | 3809k| 523.6 | 124M | 33 |3496 |8161 |8172 | 151k| 1 | 902 | 12 | 0.000000e+00 | -- | Inf | unknown
2214.83/2222.02 c 2222s| 7300 | 7293 | 3837k| 520.2 | 125M | 33 |3496 |8177 |8371 | 152k| 1 | 921 | 12 | 0.000000e+00 | -- | Inf | unknown
2236.25/2243.59 c 2244s| 7400 | 7393 | 3878k| 518.8 | 125M | 33 |3496 |8182 |8505 | 154k| 2 | 934 | 12 | 0.000000e+00 | -- | Inf | unknown
2253.29/2260.67 c 2261s| 7500 | 7493 | 3912k| 516.4 | 125M | 33 |3496 |8182 |8379 | 156k| 1 | 936 | 12 | 0.000000e+00 | -- | Inf | unknown
2264.15/2271.52 c 2272s| 7600 | 7593 | 3935k| 512.7 | 125M | 33 |3496 |8175 |8371 | 157k| 1 | 939 | 12 | 0.000000e+00 | -- | Inf | unknown
2282.49/2290.00 c 2290s| 7700 | 7693 | 3987k| 512.8 | 126M | 33 |3496 |8188 |8181 | 158k| 1 | 962 | 12 | 0.000000e+00 | -- | Inf | unknown
2298.23/2305.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2298.23/2305.74 c 2306s| 7800 | 7793 | 4022k| 510.6 | 126M | 33 |3496 |8187 |8371 | 160k| 1 | 967 | 12 | 0.000000e+00 | -- | Inf | unknown
2313.68/2321.29 c 2321s| 7900 | 7891 | 4052k| 507.9 | 126M | 33 |3496 |8178 |8371 | 161k| 1 | 967 | 12 | 0.000000e+00 | -- | Inf | unknown
2334.81/2342.47 c 2342s| 8000 | 7989 | 4101k| 507.8 | 127M | 33 |3496 |8172 |8335 | 163k| 1 | 975 | 12 | 0.000000e+00 | -- | Inf | unknown
2355.82/2363.50 c 2363s| 8100 | 8089 | 4140k| 506.4 | 127M | 33 |3496 |8160 |8394 | 165k| 1 | 987 | 12 | 0.000000e+00 | -- | Inf | unknown
2369.67/2377.49 c 2377s| 8200 | 8189 | 4169k| 503.7 | 127M | 33 |3496 |8151 |8260 | 166k| 1 | 989 | 12 | 0.000000e+00 | -- | Inf | unknown
2391.19/2399.06 c 2399s| 8300 | 8289 | 4214k| 503.0 | 127M | 33 |3496 |8146 |8328 | 168k| 1 | 993 | 12 | 0.000000e+00 | -- | Inf | unknown
2405.73/2413.68 c 2414s| 8400 | 8389 | 4249k| 501.2 | 128M | 33 |3496 |8148 |8256 | 170k| 1 |1004 | 12 | 0.000000e+00 | -- | Inf | unknown
2421.77/2429.71 c 2430s| 8500 | 8489 | 4284k| 499.4 | 128M | 33 |3496 |8150 |8255 | 172k| 1 |1015 | 12 | 0.000000e+00 | -- | Inf | unknown
2437.21/2445.20 c 2445s| 8600 | 8587 | 4314k| 497.1 | 128M | 33 |3496 |8156 |8502 | 173k| 1 |1030 | 12 | 0.000000e+00 | -- | Inf | unknown
2455.73/2463.82 c 2464s| 8700 | 8687 | 4353k| 495.9 | 129M | 33 |3496 |8171 |8264 | 174k| 1 |1051 | 12 | 0.000000e+00 | -- | Inf | unknown
2471.57/2479.76 c 2480s| 8800 | 8787 | 4386k| 494.0 | 129M | 33 |3496 |8185 |8393 | 176k| 1 |1067 | 12 | 0.000000e+00 | -- | Inf | unknown
2488.71/2496.95 c 2497s| 8900 | 8885 | 4420k| 492.2 | 130M | 33 |3496 |8193 |8092 | 177k| 1 |1084 | 12 | 0.000000e+00 | -- | Inf | unknown
2500.87/2509.16 c 2509s| 9000 | 8983 | 4450k| 490.1 | 130M | 33 |3496 |8184 |8255 | 179k| 1 |1091 | 12 | 0.000000e+00 | -- | Inf | unknown
2512.32/2520.66 c 2521s| 9100 | 9081 | 4471k| 487.0 | 130M | 33 |3496 |8176 |8304 | 180k| 1 |1092 | 12 | 0.000000e+00 | -- | Inf | unknown
2525.58/2533.93 c 2534s| 9200 | 9179 | 4501k| 485.1 | 130M | 33 |3496 |8172 |8371 | 181k| 1 |1100 | 12 | 0.000000e+00 | -- | Inf | unknown
2541.61/2550.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2541.61/2550.00 c 2550s| 9300 | 9279 | 4534k| 483.4 | 132M | 33 |3496 |8167 |8371 | 183k| 1 |1105 | 12 | 0.000000e+00 | -- | Inf | unknown
2553.96/2562.43 c 2562s| 9400 | 9379 | 4567k| 481.7 | 133M | 33 |3496 |8161 |8344 | 185k| 1 |1107 | 12 | 0.000000e+00 | -- | Inf | unknown
2574.59/2583.13 c 2583s| 9500 | 9479 | 4605k| 480.7 | 135M | 41 |3496 |8163 |8478 | 187k| 1 |1122 | 12 | 0.000000e+00 | -- | Inf | unknown
2839.60/2849.09 c 2849s| 9600 | 9579 | 4838k| 499.9 | 138M | 44 |3496 |8172 |8641 | 190k| 1 |1138 | 12 | 0.000000e+00 | -- | Inf | unknown
2877.28/2886.88 c 2887s| 9700 | 9673 | 4917k| 502.9 | 139M | 45 |3496 |8180 |8477 | 193k| 1 |1153 | 12 | 0.000000e+00 | -- | Inf | unknown
2896.72/2906.34 c 2906s| 9800 | 9769 | 4960k| 502.2 | 139M | 45 |3496 |8182 |8477 | 195k| 1 |1169 | 12 | 0.000000e+00 | -- | Inf | unknown
2919.05/2928.76 c 2929s| 9900 | 9869 | 5009k| 502.0 | 140M | 45 |3496 |8197 |8644 | 198k| 1 |1193 | 12 | 0.000000e+00 | -- | Inf | unknown
2936.79/2946.51 c 2947s| 10000 | 9967 | 5042k| 500.4 | 140M | 45 |3496 |8197 |8175 | 199k| 1 |1205 | 12 | 0.000000e+00 | -- | Inf | unknown
2962.50/2972.30 c 2972s| 10100 | 10067 | 5098k| 500.9 | 140M | 45 |3496 |8194 |8304 | 202k| 1 |1205 | 12 | 0.000000e+00 | -- | Inf | unknown
2974.37/2984.20 c 2984s| 10200 | 10167 | 5122k| 498.3 | 142M | 45 |3496 |8196 |8256 | 202k| 1 |1219 | 12 | 0.000000e+00 | -- | Inf | unknown
3002.78/3012.74 c 3013s| 10300 | 10265 | 5179k| 499.0 | 142M | 45 |3496 |8219 |8355 | 206k| 1 |1255 | 12 | 0.000000e+00 | -- | Inf | unknown
3026.50/3036.58 c 3037s| 10400 | 10365 | 5237k| 499.8 | 143M | 45 |3496 |8236 |8643 | 208k| 1 |1280 | 12 | 0.000000e+00 | -- | Inf | unknown
3060.49/3070.64 c 3071s| 10500 | 10465 | 5328k| 503.7 | 143M | 45 |3496 |8242 |8634 | 211k| 1 |1296 | 12 | 0.000000e+00 | -- | Inf | unknown
3091.49/3101.76 c 3102s| 10600 | 10565 | 5388k| 504.7 | 143M | 45 |3496 |8241 |8334 | 214k| 1 |1320 | 12 | 0.000000e+00 | -- | Inf | unknown
3113.52/3123.87 c 3124s| 10700 | 10665 | 5437k| 504.5 | 144M | 45 |3496 |8226 |8333 | 216k| 1 |1327 | 12 | 0.000000e+00 | -- | Inf | unknown
3149.11/3159.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3149.11/3159.52 c 3160s| 10800 | 10763 | 5515k| 507.0 | 145M | 45 |3496 |8231 |8651 | 220k| 1 |1359 | 12 | 0.000000e+00 | -- | Inf | unknown
3169.04/3179.55 c 3180s| 10900 | 10863 | 5550k| 505.6 | 145M | 45 |3496 |8223 |8332 | 221k| 1 |1377 | 12 | 0.000000e+00 | -- | Inf | unknown
3194.36/3204.92 c 3205s| 11000 | 10963 | 5608k| 506.2 | 146M | 45 |3496 |8211 |8409 | 224k| 1 |1384 | 12 | 0.000000e+00 | -- | Inf | unknown
3220.18/3230.87 c 3231s| 11100 | 11063 | 5660k| 506.4 | 146M | 45 |3496 |8191 |8338 | 227k| 1 |1390 | 12 | 0.000000e+00 | -- | Inf | unknown
3236.23/3246.92 c 3247s| 11200 | 11163 | 5695k| 505.0 | 147M | 45 |3496 |8180 |8384 | 229k| 1 |1391 | 12 | 0.000000e+00 | -- | Inf | unknown
3261.85/3272.64 c 3273s| 11300 | 11263 | 5753k| 505.6 | 148M | 45 |3496 |8202 |8292 | 232k| 2 |1423 | 12 | 0.000000e+00 | -- | Inf | unknown
3304.51/3315.40 c 3315s| 11400 | 11363 | 5836k| 508.6 | 149M | 45 |3496 |8216 |8435 | 235k| 2 |1455 | 12 | 0.000000e+00 | -- | Inf | unknown
3320.46/3331.40 c 3331s| 11500 | 11463 | 5874k| 507.4 | 149M | 45 |3496 |8202 |8384 | 237k| 1 |1455 | 12 | 0.000000e+00 | -- | Inf | unknown
3346.98/3358.08 c 3358s| 11600 | 11563 | 5927k| 507.6 | 150M | 45 |3496 |8198 |8235 | 239k| 1 |1474 | 12 | 0.000000e+00 | -- | Inf | unknown
3368.21/3379.33 c 3379s| 11700 | 11663 | 5973k| 507.2 | 150M | 45 |3496 |8189 |8248 | 241k| 1 |1481 | 12 | 0.000000e+00 | -- | Inf | unknown
3385.86/3397.09 c 3397s| 11800 | 11763 | 6015k| 506.4 | 150M | 45 |3496 |8181 |8357 | 244k| 1 |1482 | 12 | 0.000000e+00 | -- | Inf | unknown
3403.49/3414.76 c 3415s| 11900 | 11863 | 6054k| 505.5 | 151M | 45 |3496 |8194 |8344 | 245k| 1 |1503 | 12 | 0.000000e+00 | -- | Inf | unknown
3423.93/3435.25 c 3435s| 12000 | 11963 | 6098k| 505.0 | 151M | 45 |3496 |8184 |8370 | 248k| 1 |1513 | 12 | 0.000000e+00 | -- | Inf | unknown
3456.13/3467.50 c 3467s| 12100 | 12063 | 6164k| 506.2 | 153M | 45 |3496 |8182 |8248 | 251k| 1 |1529 | 12 | 0.000000e+00 | -- | Inf | unknown
3469.59/3481.04 c 3481s| 12200 | 12163 | 6196k| 504.7 | 153M | 45 |3496 |8174 |8487 | 253k| 2 |1531 | 12 | 0.000000e+00 | -- | Inf | unknown
3487.83/3499.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3487.83/3499.34 c 3499s| 12300 | 12263 | 6240k| 504.2 | 153M | 45 |3496 |8165 |8379 | 254k| 1 |1533 | 12 | 0.000000e+00 | -- | Inf | unknown
3505.07/3516.60 c 3517s| 12400 | 12363 | 6281k| 503.4 | 153M | 45 |3496 |8161 |8478 | 256k| 1 |1543 | 12 | 0.000000e+00 | -- | Inf | unknown
3525.01/3536.67 c 3537s| 12500 | 12463 | 6324k| 502.8 | 154M | 45 |3496 |8175 |8628 | 259k| 1 |1563 | 12 | 0.000000e+00 | -- | Inf | unknown
3559.30/3571.01 c 3571s| 12600 | 12563 | 6389k| 504.0 | 154M | 45 |3496 |8203 |8381 | 261k| 1 |1609 | 12 | 0.000000e+00 | -- | Inf | unknown
3570.96/3582.72 c 3583s| 12700 | 12663 | 6417k| 502.2 | 154M | 45 |3496 |8196 |8339 | 263k| 1 |1609 | 12 | 0.000000e+00 | -- | Inf | unknown
3585.11/3597.00 c
3585.11/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.11/3597.00 c Solving Time (sec) : 3597.00
3585.11/3597.00 c Solving Nodes : 12778
3585.11/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.11/3597.00 c Dual Bound : +0.00000000000000e+00
3585.11/3597.00 c Gap : infinite
3585.11/3597.00 s UNKNOWN
3585.11/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.11/3597.00 c Total Time : 3597.00
3585.11/3597.00 c solving : 3597.00
3585.11/3597.00 c presolving : 0.28 (included in solving)
3585.11/3597.00 c reading : 0.02 (included in solving)
3585.11/3597.00 c copying : 1.45 (106 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3585.11/3597.00 c Original Problem :
3585.11/3597.00 c Problem name : HOME/instance-4450865-1721421606.opb
3585.11/3597.00 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.11/3597.00 c Constraints : 9472 initial, 9472 maximal
3585.11/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.11/3597.00 c Presolved Problem :
3585.11/3597.00 c Problem name : t_HOME/instance-4450865-1721421606.opb
3585.11/3597.00 c Variables : 3496 (3496 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.11/3597.00 c Constraints : 7936 initial, 8246 maximal
3585.11/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.11/3597.00 c Nonzeros : 37223 constraint, 1252 clique table
3585.11/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.11/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c gateextraction : 0.00 0.00 1 0 0 0 0 0 96 32 0 0
3585.11/3597.00 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c milp : 0.03 0.00 1 2 36 0 0 0 0 0 0 0
3585.11/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c trivial : 0.00 0.00 11 46 0 0 0 0 0 0 0 0
3585.11/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c probing : 0.11 0.00 1 0 1 0 0 0 0 0 0 0
3585.11/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c setppc : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c and : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c xor : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c linear : 0.07 0.00 16 585 122 0 585 0 2300 828 57 0
3585.11/3597.00 c logicor : 0.02 0.00 9 0 0 0 0 0 0 0 0 33
3585.11/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c root node : - - - 0 - - 0 - - - - -
3585.11/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.11/3597.00 c benderslp : 0 0 0 0 12756 0 0 7839 0 0 0 0 0 0 0
3585.11/3597.00 c integral : 0 0 0 0 12756 0 0 7839 0 0 0 0 0 0 25512
3585.11/3597.00 c knapsack : 0+ 14 0 350759 0 0 0 0 310 44 864 0 0 0 0
3585.11/3597.00 c setppc : 0+ 2 0 196930 0 0 0 0 3 0 0 0 0 0 0
3585.11/3597.00 c and : 32 32 13345 364871 0 0 0 7835 398 2 1284 1148 1101 0 0
3585.11/3597.00 c xor : 2 2 11 330605 0 0 0 0 3 0 1 0 0 0 0
3585.11/3597.00 c linear : 1403+ 1416 11 371875 0 0 0 3 15090 2640 20756 0 0 0 0
3585.11/3597.00 c logicor : 6499+ 6795 11 207798 0 0 0 0 3154 151 3286 0 0 0 0
3585.11/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.11/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c integral : 10.89 0.00 0.00 0.00 10.62 0.00 0.00 0.27 0.00 0.00
3585.11/3597.00 c knapsack : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c and : 0.23 0.00 0.11 0.10 0.00 0.00 0.00 0.01 0.00 0.00
3585.11/3597.00 c xor : 0.93 0.00 0.00 0.93 0.00 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c linear : 1.00 0.00 0.00 0.98 0.00 0.00 0.00 0.00 0.01 0.00
3585.11/3597.00 c logicor : 0.76 0.00 0.01 0.75 0.00 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.11/3597.00 c dualfix : 1 0 0 0
3585.11/3597.00 c genvbounds : 0 0 0 0
3585.11/3597.00 c nlobbt : 0 0 0 0
3585.11/3597.00 c obbt : 0 0 0 0
3585.11/3597.00 c probing : 0 0 0 0
3585.11/3597.00 c pseudoobj : 0 0 0 0
3585.11/3597.00 c redcost : 0 0 0 0
3585.11/3597.00 c rootredcost : 0 0 0 0
3585.11/3597.00 c symmetry : 0 0 0 0
3585.11/3597.00 c vbounds : 69276 0 0 0
3585.11/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.11/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3585.11/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.11/3597.00 c probing : 0.11 0.00 0.11 0.00 0.00 0.00
3585.11/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3585.11/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.11/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.11/3597.00 c symmetry : 0.06 0.00 0.02 0.03 0.00 0.00
3585.11/3597.00 c vbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3585.11/3597.00 c Symmetry :
3585.11/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.11/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.11/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.11/3597.00 c shadow tree time : 0.00 s
3585.11/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.11/3597.00 c propagation : 0.03 416 413 - 2112 82.7 180 9.2 - - -
3585.11/3597.00 c infeasible LP : 0.04 66 66 - 652 106.3 35 7.1 66 62.1 0
3585.11/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.11/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.11/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.11/3597.00 c applied globally : 0.00 - - 0 1559 31.3 - - 66 - -
3585.11/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.11/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.11/3597.00 c cut pool : 0.66 - 2888 21 - - 6064 676253 - - - - - (maximal pool size: 4480)
3585.11/3597.00 c aggregation : 0.17 0.00 34 11 0 0 3944 410884 13 169568 169559 9 0
3585.11/3597.00 c > cmir : - - - - - - - 110672 0 25925 25925 0 -
3585.11/3597.00 c > flowcover : - - - - - - - 143618 0 61571 61571 0 -
3585.11/3597.00 c > knapsackcover : - - - - - - - 156594 13 82072 82063 9 -
3585.11/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c clique : 0.01 0.00 11 11 0 0 3 579 0 157 157 0 0
3585.11/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c gomory : 13.67 0.00 33 10 0 0 1297 121394 0 14320 14320 0 0
3585.11/3597.00 c > gomorymi : - - - - - - - 48776 0 7827 7827 0 -
3585.11/3597.00 c > strongcg : - - - - - - - 72618 0 6493 6493 0 -
3585.11/3597.00 c impliedbounds : 0.01 0.00 34 11 0 0 558 83734 0 45705 45705 0 0
3585.11/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c multilinear : 0.00 0.00 450 11 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.11/3597.00 c rapidlearning : 10.08 0.00 100 1 0 0 0 0 0 0 0 0 17
3585.11/3597.00 c rlt : 0.55 0.00 32 10 0 0 7 7 1 4 4 0 0
3585.11/3597.00 c zerohalf : 0.84 0.00 33 11 0 0 309 59655 40 35092 35058 34 0
3585.11/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.11/3597.00 c hybrid : 1.14 0.00 3680 11 265947 0 411508 2306 0 3361
3585.11/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3585.11/3597.00 c problem variables: 0.00 - 0 0
3585.11/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.11/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c relpscost : 10.61 0.00 12756 0 0 0 0 0 0 25512
3585.11/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.11/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.11/3597.00 c LP solutions : 0.00 - - 0 0
3585.11/3597.00 c relax solutions : 0.00 - - 0 0
3585.11/3597.00 c pseudo solutions : 0.00 - - 0 0
3585.11/3597.00 c strong branching : 0.00 - - 0 0
3585.11/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3585.11/3597.00 c adaptivediving : 38.07 0.00 9 0 0
3585.11/3597.00 c alns : 0.23 0.00 6 0 0
3585.11/3597.00 c bound : 0.00 0.00 0 0 0
3585.11/3597.00 c clique : 0.02 0.00 1 0 0
3585.11/3597.00 c coefdiving : 0.00 0.00 0 0 0
3585.11/3597.00 c completesol : 0.00 0.00 0 0 0
3585.11/3597.00 c conflictdiving : 491.81 0.00 248 0 0
3585.11/3597.00 c crossover : 0.00 0.00 0 0 0
3585.11/3597.00 c dins : 0.00 0.00 0 0 0
3585.11/3597.00 c distributiondivin: 175.13 0.00 49 0 0
3585.11/3597.00 c dps : 0.00 0.00 0 0 0
3585.11/3597.00 c dualval : 0.00 0.00 0 0 0
3585.11/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3585.11/3597.00 c feasjump : 0.02 0.00 1 0 0
3585.11/3597.00 c feaspump : 34.32 0.00 7 0 0
3585.11/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3585.11/3597.00 c fracdiving : 182.89 0.00 42 0 0
3585.11/3597.00 c gins : 0.00 0.00 0 0 0
3585.11/3597.00 c guideddiving : 0.00 0.00 0 0 0
3585.11/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3585.11/3597.00 c indicator : 0.01 0.00 0 0 0
3585.11/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3585.11/3597.00 c indoneopt : 0.00 0.00 0 0 0
3585.11/3597.00 c indrounding : 0.00 0.00 0 0 0
3585.11/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3585.11/3597.00 c intdiving : 0.00 0.00 0 0 0
3585.11/3597.00 c intshifting : 0.00 0.00 0 0 0
3585.11/3597.00 c linesearchdiving : 173.49 0.00 45 0 0
3585.11/3597.00 c localbranching : 0.00 0.00 0 0 0
3585.11/3597.00 c locks : 0.01 0.00 1 0 0
3585.11/3597.00 c lpface : 0.04 0.00 0 0 0
3585.11/3597.00 c mpec : 0.00 0.00 0 0 0
3585.11/3597.00 c multistart : 0.00 0.00 0 0 0
3585.11/3597.00 c mutation : 0.00 0.00 0 0 0
3585.11/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3585.11/3597.00 c objpscostdiving : 626.29 0.00 3 0 0
3585.11/3597.00 c octane : 0.00 0.00 0 0 0
3585.11/3597.00 c ofins : 0.00 0.00 0 0 0
3585.11/3597.00 c oneopt : 0.01 0.00 0 0 0
3585.11/3597.00 c padm : 0.00 0.00 0 0 0
3585.11/3597.00 c proximity : 0.00 0.00 0 0 0
3585.11/3597.00 c pscostdiving : 215.10 0.00 34 0 0
3585.11/3597.00 c randrounding : 0.76 0.00 2844 0 0
3585.11/3597.00 c rens : 0.00 0.00 0 0 0
3585.11/3597.00 c reoptsols : 0.00 0.00 0 0 0
3585.11/3597.00 c repair : 0.00 0.00 0 0 0
3585.11/3597.00 c rins : 0.00 0.00 0 0 0
3585.11/3597.00 c rootsoldiving : 22.60 0.00 9 0 0
3585.11/3597.00 c rounding : 0.42 0.00 1764 0 0
3585.11/3597.00 c scheduler : 0.00 0.00 0 0 0
3585.11/3597.00 c shiftandpropagate: 0.01 0.00 1 0 0
3585.11/3597.00 c shifting : 1.18 0.00 890 0 0
3585.11/3597.00 c simplerounding : 0.01 0.00 0 0 0
3585.11/3597.00 c smallcard : 0.00 0.00 0 0 0
3585.11/3597.00 c subnlp : 0.01 0.00 0 0 0
3585.11/3597.00 c trivial : 0.00 0.00 2 0 0
3585.11/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3585.11/3597.00 c trustregion : 0.00 0.00 0 0 0
3585.11/3597.00 c trysol : 0.00 0.00 0 0 0
3585.11/3597.00 c twoopt : 0.00 0.00 0 0 0
3585.11/3597.00 c undercover : 0.00 0.00 1 0 0
3585.11/3597.00 c vbounds : 0.00 0.00 0 0 0
3585.11/3597.00 c veclendiving : 196.48 0.00 90 0 0
3585.11/3597.00 c zeroobj : 0.00 0.00 0 0 0
3585.11/3597.00 c zirounding : 0.16 0.00 1000 0 0
3585.11/3597.00 c other solutions : - - - 0 -
3585.11/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.22/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
3585.22/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
3585.22/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
3585.22/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
3585.22/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
3585.22/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
3585.22/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
3585.22/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
3585.22/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3585.22/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.22/3597.00 c primal LP : 1.67 1426 0 0.00 0.00 1.67 1426
3585.22/3597.00 c dual LP : 1376.57 16439 3914278 238.57 2843.50 0.06 32
3585.22/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3585.22/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.22/3597.00 c resolve instable : 0.00 0 0 0.00 -
3585.22/3597.00 c diving/probing LP: 2134.31 5171 2537857 490.79 1189.08
3585.22/3597.00 c strong branching : 5.40 12 10800 900.00 2001.17 - - 20
3585.22/3597.00 c (at root node) : - 12 10800 900.00 -
3585.22/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3585.22/3597.00 c B&B Tree :
3585.22/3597.00 c number of runs : 1
3585.22/3597.00 c nodes : 12778 (12756 internal, 22 leaves)
3585.22/3597.00 c feasible leaves : 0
3585.22/3597.00 c infeas. leaves : 21
3585.22/3597.00 c objective leaves : 0
3585.22/3597.00 c nodes (total) : 12778 (12756 internal, 22 leaves)
3585.22/3597.00 c nodes left : 12736
3585.22/3597.00 c max depth : 45
3585.22/3597.00 c max depth (total): 45
3585.22/3597.00 c backtracks : 3299 (25.8%)
3585.22/3597.00 c early backtracks : 0 (0.0%)
3585.22/3597.00 c nodes exc. ref. : 0 (0.0%)
3585.22/3597.00 c delayed cutoffs : 0
3585.22/3597.00 c repropagations : 13 (10 domain reductions, 0 cutoffs)
3585.22/3597.00 c avg switch length: 7.38
3585.22/3597.00 c switching time : 3.54
3585.22/3597.00 c Root Node :
3585.22/3597.00 c First LP value : +0.00000000000000e+00
3585.22/3597.00 c First LP Iters : 957 (33789.99 Iter/sec)
3585.22/3597.00 c First LP Time : 0.03
3585.22/3597.00 c Final Dual Bound : +0.00000000000000e+00
3585.22/3597.00 c Final Root Iters : 39865
3585.22/3597.00 c Root LP Estimate : +3.33944257691921e-01
3585.22/3597.00 c Solution :
3585.22/3597.00 c Solutions found : 0 (0 improvements)
3585.22/3597.00 c Primal Bound : -
3585.22/3597.00 c Dual Bound : +0.00000000000000e+00
3585.22/3597.00 c Gap : infinite
3585.22/3597.00 c Integrals : Total Avg%
3585.22/3597.00 c primal-dual : 359699.76 100.00
3585.22/3597.00 c primal-ref : - - (not evaluated)
3585.22/3597.00 c dual-ref : - - (not evaluated)
3585.22/3597.05 c Time complete: 3585.27.
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 (61476 MiB free)
memory of node 1: 64510 MiB (62374 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450865-1721421606/watcher-4450865-1721421606 -o /tmp/evaluation-result-4450865-1721421606/solver-4450865-1721421606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721421618-1052159 --watchdog 3760 pbscip -f HOME/instance-4450865-1721421606.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1052212, runsolver pid=1052204
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.40 2.11 2.84 8/259 1052223
/proc/meminfo: memFree=126693260/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=87216 memory=47648 CPUtime=0.1 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 9975 0 0 0 9 1 0 0 20 0 1 0 194322413 89309184 11912 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 21804 11912 3703 3540 0 10061 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87216 KiB
Current children cumulated memory: 47648 KiB
[startup+0.206709 s]*
/proc/loadavg: 1.40 2.11 2.84 8/259 1052223
/proc/meminfo: memFree=126663428/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=92236 memory=52984 CPUtime=0.2 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 11278 0 0 0 19 1 0 0 20 0 1 0 194322413 94449664 13246 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 23059 13246 3719 3540 0 11316 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92236 KiB
Current children cumulated memory: 52984 KiB
[startup+0.306347 s]*
/proc/loadavg: 1.40 2.11 2.84 7/259 1052223
/proc/meminfo: memFree=126625920/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=104812 memory=60148 CPUtime=0.3 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 13049 0 0 0 29 1 0 0 20 0 1 0 194322413 107327488 15037 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 26203 15037 3735 3540 0 14460 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 104812 KiB
Current children cumulated memory: 60148 KiB
[startup+0.700209 s]
/proc/loadavg: 1.40 2.11 2.84 7/259 1052223
/proc/meminfo: memFree=126582188/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=148808 memory=103452 CPUtime=0.68 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 24566 0 0 0 65 3 0 0 20 0 1 0 194322413 152379392 25863 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 37202 25863 3943 3540 0 25459 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 148808 KiB
Current children cumulated memory: 103452 KiB
[startup+1.50021 s]
/proc/loadavg: 1.40 2.11 2.84 6/259 1052223
/proc/meminfo: memFree=126470716/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=155592 memory=110952 CPUtime=1.48 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 26838 0 0 0 145 3 0 0 20 0 1 0 194322413 159326208 27738 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 38898 27738 3989 3540 0 27155 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 155592 KiB
Current children cumulated memory: 110952 KiB
[startup+3.10642 s]
/proc/loadavg: 1.40 2.11 2.84 6/259 1052223
/proc/meminfo: memFree=126470260/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=155592 memory=110952 CPUtime=3.08 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 26855 0 0 0 305 3 0 0 20 0 1 0 194322413 159326208 27738 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 38898 27738 3989 3540 0 27155 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 155592 KiB
Current children cumulated memory: 110952 KiB
[startup+6.30017 s]
/proc/loadavg: 1.61 2.14 2.85 5/259 1052225
/proc/meminfo: memFree=126469568/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=155592 memory=111216 CPUtime=6.27 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 26903 0 0 0 624 3 0 0 20 0 1 0 194322413 159326208 27804 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 38898 27804 3989 3540 0 27155 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 155592 KiB
Current children cumulated memory: 111216 KiB
[startup+12.7002 s]
/proc/loadavg: 1.80 2.17 2.86 6/259 1052225
/proc/meminfo: memFree=126467472/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=155592 memory=111216 CPUtime=12.65 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 26904 0 0 0 1262 3 0 0 20 0 1 0 194322413 159326208 27804 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 38898 27804 3989 3540 0 27155 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 155592 KiB
Current children cumulated memory: 111216 KiB
[startup+25.5002 s]
/proc/loadavg: 2.29 2.26 2.88 5/259 1052228
/proc/meminfo: memFree=126460020/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=155592 memory=111744 CPUtime=25.41 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 27052 0 0 0 2538 3 0 0 20 0 1 0 194322413 159326208 27936 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 38898 27936 3989 3540 0 27155 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 155592 KiB
Current children cumulated memory: 111744 KiB
[startup+51.1064 s]
/proc/loadavg: 2.87 2.40 2.91 6/259 1052231
/proc/meminfo: memFree=126363472/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=178640 memory=134964 CPUtime=50.94 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 35941 0 0 0 5089 5 0 0 20 0 1 0 194322413 182927360 33741 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 44660 33741 3989 3540 0 32917 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 178640 KiB
Current children cumulated memory: 134964 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 2.67 2.97 6/259 1052239
/proc/meminfo: memFree=126362848/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=178640 memory=134964 CPUtime=101.99 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 35941 0 0 0 10194 5 0 0 20 0 1 0 194322413 182927360 33741 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 44660 33741 3989 3540 0 32917 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 178640 KiB
Current children cumulated memory: 134964 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.94 3.05 6/259 1052251
/proc/meminfo: memFree=126362528/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=178640 memory=134964 CPUtime=161.82 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 35941 0 0 0 16177 5 0 0 20 0 1 0 194322413 182927360 33741 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 44660 33741 3989 3540 0 32917 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 178640 KiB
Current children cumulated memory: 134964 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.15 3.12 6/258 1052263
/proc/meminfo: memFree=126352268/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=178640 memory=134964 CPUtime=221.65 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 36041 0 0 0 22160 5 0 0 20 0 1 0 194322413 182927360 33741 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 44660 33741 3989 3540 0 32917 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 178640 KiB
Current children cumulated memory: 134964 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.33 3.18 6/258 1052273
/proc/meminfo: memFree=126344036/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=178640 memory=135920 CPUtime=281.47 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 36178 0 0 0 28142 5 0 0 20 0 1 0 194322413 182927360 33980 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 44660 33980 3989 3540 0 32917 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 178640 KiB
Current children cumulated memory: 135920 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.47 3.24 6/254 1052284
/proc/meminfo: memFree=126327684/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=179116 memory=139808 CPUtime=341.28 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 42310 0 0 0 34122 6 0 0 20 0 1 0 194322413 183414784 34952 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 44779 34952 3989 3540 0 33036 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 179116 KiB
Current children cumulated memory: 139808 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.58 3.29 6/254 1052294
/proc/meminfo: memFree=126320124/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=179116 memory=139808 CPUtime=401.11 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 42412 0 0 0 40105 6 0 0 20 0 1 0 194322413 183414784 34952 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 44779 34952 3989 3540 0 33036 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 179116 KiB
Current children cumulated memory: 139808 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.69 3.35 6/254 1052304
/proc/meminfo: memFree=126298960/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=189960 memory=150440 CPUtime=460.93 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 48526 0 0 0 46086 7 0 0 20 0 1 0 194322413 194519040 37610 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 47490 37610 4005 3540 0 35747 0
################
# More data... #
################
/proc/loadavg: 4.13 4.29 4.18 6/260 1053973
/proc/meminfo: memFree=125771584/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=212648 memory=173100 CPUtime=3151.9 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 106211 0 0 0 315171 19 0 0 20 0 1 0 194322413 217751552 43275 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 53162 43275 4005 3540 0 41419 0
Current children cumulated CPU time: 3151.9 s
Current children cumulated vsize: 212648 KiB
Current children cumulated memory: 173100 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.28 4.18 6/258 1053984
/proc/meminfo: memFree=125769700/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=214164 memory=174720 CPUtime=3211.71 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 106666 0 0 0 321152 19 0 0 20 0 1 0 194322413 219303936 43680 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 53541 43680 4005 3540 0 41798 0
Current children cumulated CPU time: 3211.71 s
Current children cumulated vsize: 214164 KiB
Current children cumulated memory: 174720 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.24 4.18 6/257 1053995
/proc/meminfo: memFree=125765056/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=216004 memory=176500 CPUtime=3271.51 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 107191 0 0 0 327132 19 0 0 20 0 1 0 194322413 221188096 44125 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 54001 44125 4005 3540 0 42258 0
Current children cumulated CPU time: 3271.51 s
Current children cumulated vsize: 216004 KiB
Current children cumulated memory: 176500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.21 4.17 6/254 1054005
/proc/meminfo: memFree=125763952/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=216572 memory=177276 CPUtime=3331.32 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 107426 0 0 0 333113 19 0 0 20 0 1 0 194322413 221769728 44319 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 54143 44319 4005 3540 0 42400 0
Current children cumulated CPU time: 3331.32 s
Current children cumulated vsize: 216572 KiB
Current children cumulated memory: 177276 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.20 4.17 6/254 1054015
/proc/meminfo: memFree=125761284/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=218176 memory=178868 CPUtime=3391.13 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 107875 0 0 0 339094 19 0 0 20 0 1 0 194322413 223412224 44717 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 54544 44717 4005 3540 0 42801 0
Current children cumulated CPU time: 3391.13 s
Current children cumulated vsize: 218176 KiB
Current children cumulated memory: 178868 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.18 4.17 6/254 1054026
/proc/meminfo: memFree=125756152/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=218692 memory=179356 CPUtime=3450.94 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 108072 0 0 0 345075 19 0 0 20 0 1 0 194322413 223940608 44839 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 54673 44839 4005 3540 0 42930 0
Current children cumulated CPU time: 3450.94 s
Current children cumulated vsize: 218692 KiB
Current children cumulated memory: 179356 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.16 4.16 6/254 1054036
/proc/meminfo: memFree=125738352/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=220616 memory=181188 CPUtime=3510.75 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 108629 0 0 0 351056 19 0 0 20 0 1 0 194322413 225910784 45297 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 55154 45297 4005 3540 0 43411 0
Current children cumulated CPU time: 3510.75 s
Current children cumulated vsize: 220616 KiB
Current children cumulated memory: 181188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.14 4.15 6/254 1054046
/proc/meminfo: memFree=125737724/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=220808 memory=181532 CPUtime=3570.56 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 108781 0 0 0 357037 19 0 0 20 0 1 0 194322413 226107392 45383 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 55202 45383 4005 3540 0 43459 0
Current children cumulated CPU time: 3570.56 s
Current children cumulated vsize: 220808 KiB
Current children cumulated memory: 181532 KiB
[startup+3597.05 s]
# the end of solver process 1052212 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.07 s, system=0.201747 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.14 4.15 6/254 1054046
/proc/meminfo: memFree=125737732/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=220808 memory=181532 CPUtime=3572.26 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 108781 0 0 0 357207 19 0 0 20 0 1 0 194322413 226107392 45383 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 55202 45383 4005 3540 0 43459 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 220808 KiB
Current children cumulated memory: 181532 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.14 4.15 6/254 1054047
/proc/meminfo: memFree=125737572/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=221004 memory=181692 CPUtime=3578.63 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 108801 0 0 0 357844 19 0 0 20 0 1 0 194322413 226308096 45423 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 55251 45423 4005 3540 0 43508 0
Current children cumulated CPU time: 3578.63 s
Current children cumulated vsize: 221004 KiB
Current children cumulated memory: 181692 KiB
[startup+3593.6 s]
/proc/loadavg: 4.06 4.14 4.15 6/254 1054047
/proc/meminfo: memFree=125737632/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=221004 memory=181692 CPUtime=3581.82 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 108801 0 0 0 358163 19 0 0 20 0 1 0 194322413 226308096 45423 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 55251 45423 4005 3540 0 43508 0
Current children cumulated CPU time: 3581.82 s
Current children cumulated vsize: 221004 KiB
Current children cumulated memory: 181692 KiB
[startup+3595.2 s]
/proc/loadavg: 4.06 4.14 4.15 6/256 1054053
/proc/meminfo: memFree=125737436/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=221004 memory=181692 CPUtime=3583.42 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 108801 0 0 0 358323 19 0 0 20 0 1 0 194322413 226308096 45423 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 55251 45423 4005 3540 0 43508 0
Current children cumulated CPU time: 3583.42 s
Current children cumulated vsize: 221004 KiB
Current children cumulated memory: 181692 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.15 4.16 6/256 1054053
/proc/meminfo: memFree=125737208/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=221560 memory=181692 CPUtime=3584.22 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 108837 0 0 0 358403 19 0 0 20 0 1 0 194322413 226877440 45423 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 55390 45423 4005 3540 0 43647 0
Current children cumulated CPU time: 3584.22 s
Current children cumulated vsize: 221560 KiB
Current children cumulated memory: 181692 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.15 4.16 6/256 1054053
/proc/meminfo: memFree=125737208/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=221560 memory=181692 CPUtime=3585.01 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 108837 0 0 0 358482 19 0 0 20 0 1 0 194322413 226877440 45423 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 55390 45423 4005 3540 0 43647 0
Current children cumulated CPU time: 3585.01 s
Current children cumulated vsize: 221560 KiB
Current children cumulated memory: 181692 KiB
[startup+3597 s]*
/proc/loadavg: 4.14 4.15 4.16 6/256 1054053
/proc/meminfo: memFree=125737316/131524600 swapFree=131071996/131071996
[pid=1052212] ppid=1052204 vsize=221560 memory=181692 CPUtime=3585.22 cores=0,2
/proc/1052212/stat : 1052212 (pbscip) R 1052204 1052212 1052149 0 -1 4194304 108837 0 0 0 358503 19 0 0 20 0 1 0 194322413 226877440 45423 134679101440 4194304 18693293 140735453472608 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45072384 140735453475842 140735453475941 140735453475941 140735453482958 0
/proc/1052212/statm: 55390 45423 4005 3540 0 43647 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 221560 KiB
Current children cumulated memory: 181692 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3585.28
CPU user time (s): 3585.07
CPU system time (s): 0.201747
CPU usage (%): 99.6727
Max. virtual memory (cumulated for all children) (KiB): 221560
Max. memory (cumulated for all children) (KiB): 181692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.07
system time used= 0.201747
maximum resident set size= 181692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108845
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= 37
involuntary context switches= 25096
# summary of solver processes directly reported to runsolver:
# pid: 1052212
# total CPU time (s): 3585.28
# total CPU user time (s): 3585.07
# total CPU system time (s): 0.201747
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02441 second user time and 19.0579 second system time
The end