0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik 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-3717611-1338204675.wbo>
0.02/0.08 c original problem has 24656 variables (24656 bin, 0 int, 0 impl, 0 cont) and 23307 constraints
0.02/0.08 c problem read in 0.08
0.28/0.36 c presolving:
0.39/0.49 c (round 1) 0 del vars, 0 del conss, 0 add conss, 22856 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 450 clqs
0.58/0.61 c (round 2) 0 del vars, 0 del conss, 0 add conss, 22856 chg bounds, 0 chg sides, 0 chg coeffs, 451 upgd conss, 0 impls, 450 clqs
8.48/8.52 c (8.5s) probing: 1000/24656 (4.1%) - 0 fixings, 0 aggregations, 999 implications, 0 bound changes
8.48/8.53 c (8.5s) probing: 1001/24656 (4.1%) - 0 fixings, 0 aggregations, 1000 implications, 0 bound changes
8.48/8.53 c (8.5s) probing aborted: 1000/1000 successive useless probings
8.48/8.55 c presolving (3 rounds):
8.48/8.55 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 22856 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.48/8.55 c 22856 implications, 450 cliques
8.48/8.55 c presolved problem has 47512 variables (24656 bin, 0 int, 22856 impl, 0 cont) and 46163 constraints
8.48/8.55 c 1 constraints of type <knapsack>
8.48/8.55 c 450 constraints of type <setppc>
8.48/8.55 c 22856 constraints of type <linear>
8.48/8.55 c 22856 constraints of type <indicator>
8.48/8.55 c transformed objective value is always integral (scale: 1)
8.48/8.55 c Presolving Time: 8.42
8.48/8.55 c - non default parameters ----------------------------------------------------------------------
8.48/8.55 c # SCIP version 2.1.1.4
8.48/8.55 c
8.48/8.55 c # maximal time in seconds to run
8.48/8.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.48/8.55 c limits/time = 1797
8.48/8.55 c
8.48/8.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.48/8.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.48/8.55 c limits/memory = 13950
8.48/8.55 c
8.48/8.55 c # default clock type (1: CPU user seconds, 2: wall clock time)
8.48/8.55 c # [type: int, range: [1,2], default: 1]
8.48/8.55 c timing/clocktype = 2
8.48/8.55 c
8.48/8.55 c # belongs reading time to solving time?
8.48/8.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.48/8.55 c timing/reading = TRUE
8.48/8.55 c
8.48/8.55 c # force restart if we have a max FS instance and gap is 1?
8.48/8.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.48/8.55 c constraints/indicator/forcerestart = TRUE
8.48/8.55 c
8.48/8.55 c # priority of branching rule <inference>
8.48/8.55 c # [type: int, range: [-536870912,536870911], default: 1000]
8.48/8.55 c branching/inference/priority = 1000000
8.48/8.55 c
8.48/8.55 c # frequency offset for calling primal heuristic <coefdiving>
8.48/8.55 c # [type: int, range: [0,2147483647], default: 1]
8.48/8.55 c heuristics/coefdiving/freqofs = 0
8.48/8.55 c
8.48/8.55 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
8.48/8.55 c # [type: int, range: [-1,2147483647], default: 0]
8.48/8.55 c heuristics/shiftandpropagate/freq = -1
8.48/8.55 c
8.48/8.55 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
8.48/8.55 c # [type: int, range: [-1,2147483647], default: 0]
8.48/8.55 c heuristics/undercover/freq = -1
8.48/8.55 c
8.48/8.55 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.48/8.55 c # [type: int, range: [-1,2147483647], default: -1]
8.48/8.55 c separating/rapidlearning/freq = 0
8.48/8.55 c
8.48/8.55 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
8.48/8.55 c # [type: int, range: [-1,2147483647], default: -1]
8.48/8.55 c heuristics/indrounding/freq = 1
8.48/8.55 c
8.48/8.55 c -----------------------------------------------------------------------------------------------
8.48/8.55 c start solving
8.59/8.62 c
9.80/9.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.80/9.88 c 9.9s| 1 | 0 | 4874 | - | 163M| 0 | 900 | 47k| 46k| 47k| 46k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
16.99/17.07 c 17.1s| 1 | 0 | 12371 | - | 166M| 0 | 898 | 47k| 46k| 47k| 46k| 16 | 0 | 0 | 0.000000e+00 | -- | Inf
20.98/21.03 c 21.0s| 1 | 0 | 14174 | - | 166M| 0 | 894 | 47k| 46k| 47k| 46k| 36 | 0 | 0 | 0.000000e+00 | -- | Inf
24.98/25.08 c 25.1s| 1 | 0 | 16075 | - | 167M| 0 | 928 | 47k| 46k| 47k| 46k| 54 | 0 | 0 | 0.000000e+00 | -- | Inf
29.09/29.17 c 29.2s| 1 | 0 | 17621 | - | 167M| 0 | 899 | 47k| 46k| 47k| 46k| 69 | 0 | 0 | 0.000000e+00 | -- | Inf
33.38/33.50 c 33.5s| 1 | 0 | 19699 | - | 169M| 0 | 939 | 47k| 46k| 47k| 46k| 81 | 0 | 0 | 0.000000e+00 | -- | Inf
37.79/37.84 c 37.8s| 1 | 0 | 21606 | - | 169M| 0 | 908 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
53.18/53.29 c 53.3s| 1 | 2 | 34650 | - | 170M| 0 | 908 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
217.05/217.13 c 217s| 100 | 101 |259324 |2401.2 | 173M| 15 | 878 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
254.55/254.62 c 255s| 200 | 201 |315951 |1479.1 | 176M| 32 | 893 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
293.54/293.68 c 294s| 300 | 301 |374751 |1181.1 | 178M| 34 | 878 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
335.34/335.49 c 335s| 400 | 401 |427421 |1017.1 | 180M| 34 | 860 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
367.63/367.70 c 368s| 500 | 501 |472057 | 902.7 | 182M| 51 | 851 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
389.63/389.75 c 390s| 600 | 601 |500353 | 799.2 | 184M| 56 | 856 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
428.82/428.95 c 429s| 700 | 701 |546537 | 751.0 | 186M| 56 | 858 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
451.11/451.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.11/451.25 c 451s| 800 | 801 |579397 | 698.1 | 188M| 56 | 861 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
464.71/464.83 c 465s| 900 | 901 |595786 | 638.7 | 190M| 56 | 903 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
490.42/490.51 c 491s| 1000 | 1001 |627014 | 606.0 | 193M| 56 | 864 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
518.91/519.07 c 519s| 1100 | 1101 |666595 | 586.9 | 195M| 56 | 849 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
530.60/530.74 c 531s| 1200 | 1201 |679614 | 548.8 | 197M| 56 | 842 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
557.10/557.28 c 557s| 1300 | 1301 |703995 | 525.3 | 199M| 58 | 846 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
579.90/580.00 c 580s| 1400 | 1401 |736018 | 510.7 | 201M| 61 | 847 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
591.89/592.02 c 592s| 1500 | 1501 |750630 | 486.3 | 203M| 61 | 848 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
605.39/605.52 c 606s| 1600 | 1601 |770067 | 468.1 | 205M| 61 | 838 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
629.29/629.41 c 629s| 1700 | 1701 |796946 | 456.4 | 208M| 63 | 851 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
656.49/656.62 c 657s| 1800 | 1801 |835071 | 452.2 | 210M| 63 | 847 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
682.38/682.59 c 683s| 1900 | 1901 |874618 | 449.2 | 212M| 75 | 834 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
711.38/711.51 c 712s| 2000 | 2001 |896343 | 437.6 | 214M| 81 | 846 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
723.88/724.00 c 724s| 2100 | 2101 |909677 | 423.1 | 216M| 85 | 851 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
746.17/746.33 c 746s| 2200 | 2201 |937909 | 416.7 | 218M| 85 | 854 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
762.17/762.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.17/762.37 c 762s| 2300 | 2301 |960294 | 408.3 | 221M| 85 | 839 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
787.47/787.62 c 788s| 2400 | 2401 |987865 | 402.8 | 223M| 85 | 842 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
800.66/800.85 c 801s| 2500 | 2501 | 1004k| 393.2 | 225M| 85 | 852 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
823.26/823.41 c 823s| 2600 | 2601 | 1032k| 389.0 | 227M| 85 | 836 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
843.66/843.86 c 844s| 2700 | 2701 | 1058k| 384.1 | 230M| 85 | 846 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
873.75/873.90 c 874s| 2800 | 2801 | 1082k| 379.2 | 232M| 85 | 835 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
886.25/886.49 c 886s| 2900 | 2901 | 1097k| 371.2 | 234M| 85 | 837 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
907.35/907.57 c 908s| 3000 | 3001 | 1125k| 368.0 | 236M| 85 | 842 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
921.24/921.43 c 921s| 3100 | 3101 | 1142k| 361.6 | 238M| 85 | 833 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
945.74/945.93 c 946s| 3200 | 3201 | 1169k| 358.8 | 241M| 85 | 851 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
960.74/960.98 c 961s| 3300 | 3301 | 1190k| 354.4 | 243M| 85 | 854 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
989.33/989.56 c 990s| 3400 | 3401 | 1232k| 356.2 | 245M| 85 | 859 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1021.03/1021.24 c 1021s| 3500 | 3501 | 1261k| 354.2 | 247M| 85 | 851 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1038.52/1038.76 c 1039s| 3600 | 3601 | 1285k| 351.2 | 249M| 85 | 851 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1053.22/1053.40 c 1053s| 3700 | 3701 | 1306k| 347.4 | 252M| 85 | 835 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1076.12/1076.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.12/1076.37 c 1076s| 3800 | 3801 | 1336k| 346.1 | 254M| 85 | 864 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1103.12/1103.31 c 1103s| 3900 | 3901 | 1367k| 345.1 | 256M| 85 | 862 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1118.71/1118.96 c 1119s| 4000 | 4001 | 1390k| 342.4 | 258M| 85 | 866 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1154.51/1154.73 c 1155s| 4100 | 4101 | 1443k| 346.9 | 261M| 85 | 853 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1188.10/1188.30 c 1188s| 4200 | 4201 | 1477k| 346.6 | 263M| 85 | 851 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1204.20/1204.43 c 1204s| 4300 | 4301 | 1501k| 344.2 | 265M| 85 | 848 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1227.10/1227.30 c 1227s| 4400 | 4401 | 1534k| 343.8 | 267M| 85 | 853 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1260.29/1260.58 c 1261s| 4500 | 4501 | 1580k| 346.5 | 269M| 85 | 853 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1280.78/1281.08 c 1281s| 4600 | 4601 | 1613k| 346.2 | 271M| 86 | 853 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1303.79/1304.09 c 1304s| 4700 | 4701 | 1644k| 345.3 | 274M| 86 | 852 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1343.78/1344.04 c 1344s| 4800 | 4801 | 1688k| 347.4 | 276M| 86 | 859 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1358.58/1358.89 c 1359s| 4900 | 4901 | 1710k| 344.7 | 278M| 86 | 855 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1374.78/1375.09 c 1375s| 5000 | 5001 | 1733k| 342.4 | 280M| 86 | 853 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1399.07/1399.37 c 1399s| 5100 | 5101 | 1765k| 341.9 | 282M| 86 | 845 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1425.87/1426.13 c 1426s| 5200 | 5201 | 1797k| 341.7 | 285M| 86 | 846 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1442.07/1442.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.07/1442.35 c 1442s| 5300 | 5301 | 1821k| 339.8 | 287M| 86 | 864 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1474.16/1474.46 c 1474s| 5400 | 5401 | 1866k| 341.8 | 289M| 86 | 848 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1509.86/1510.18 c 1510s| 5500 | 5501 | 1901k| 341.8 | 291M| 86 | 850 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1526.05/1526.39 c 1526s| 5600 | 5601 | 1925k| 340.1 | 293M| 86 | 854 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1541.05/1541.33 c 1541s| 5700 | 5701 | 1946k| 337.8 | 296M| 86 | 848 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1576.54/1576.81 c 1577s| 5800 | 5801 | 1993k| 340.1 | 298M| 86 | 858 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1592.24/1592.52 c 1593s| 5900 | 5901 | 2017k| 338.3 | 300M| 86 | 856 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1615.34/1615.66 c 1616s| 6000 | 6001 | 2049k| 338.0 | 302M| 86 | 840 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1666.42/1666.75 c 1667s| 6100 | 6101 | 2110k| 342.5 | 305M| 86 | 847 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1682.32/1682.64 c 1683s| 6200 | 6201 | 2134k| 340.9 | 307M| 86 | 855 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1696.72/1697.07 c 1697s| 6300 | 6301 | 2153k| 338.5 | 309M| 86 | 860 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1721.52/1721.84 c 1722s| 6400 | 6401 | 2187k| 338.5 | 311M| 86 | 856 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1748.21/1748.52 c 1749s| 6500 | 6501 | 2220k| 338.4 | 314M| 86 | 860 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1763.51/1763.80 c 1764s| 6600 | 6601 | 2241k| 336.3 | 316M| 86 | 853 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1778.22/1778.50 c 1778s| 6700 | 6701 | 2260k| 334.2 | 318M| 86 | 843 | 47k| 46k| 47k| 46k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
1796.71/1797.01 c
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Solving Time (sec) : 1797.02
1796.71/1797.01 c Solving Nodes : 6772
1796.71/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.01 c Dual Bound : +0.00000000000000e+00
1796.71/1797.01 c Gap : infinite
1796.71/1797.01 s UNKNOWN
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Total Time : 1797.02
1796.71/1797.01 c solving : 1797.02
1796.71/1797.01 c presolving : 8.42 (included in solving)
1796.71/1797.01 c reading : 0.08 (included in solving)
1796.71/1797.01 c copying : 0.16 (1 #copies) (minimal 0.16, maximal 0.16, average 0.16)
1796.71/1797.01 c Original Problem :
1796.71/1797.01 c Problem name : HOME/instance-3717611-1338204675.wbo
1796.71/1797.01 c Variables : 24656 (24656 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 23307 initial, 23307 maximal
1796.71/1797.01 c Objective sense : minimize
1796.71/1797.01 c Presolved Problem :
1796.71/1797.01 c Problem name : t_HOME/instance-3717611-1338204675.wbo
1796.71/1797.01 c Variables : 47512 (24656 binary, 0 integer, 22856 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 46163 initial, 46163 maximal
1796.71/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c trivial : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c probing : 7.82 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c knapsack : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c linear : 0.27 0.01 0 0 0 22856 0 0 0 0 0
1796.71/1797.02 c indicator : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c root node : - - 0 - - 0 - - - - -
1796.71/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.02 c integral : 0 0 0 0 6772 0 6778 0 0 0 0 0 13544
1796.71/1797.02 c knapsack : 1 1 0 24902 0 0 6777 0 0 0 0 0 0
1796.71/1797.02 c setppc : 450 450 6 24902 0 0 18 0 0 13503 0 0 0
1796.71/1797.02 c linear : 22856 22856 6 24902 0 0 0 0 0 1245 0 0 0
1796.71/1797.02 c indicator : 22856 22856 0 24902 0 0 0 0 0 722 0 0 0
1796.71/1797.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.02 c integral : 10.47 0.00 0.00 0.00 0.76 0.00 9.72 0.00
1796.71/1797.02 c knapsack : 9.55 0.00 0.00 1.38 0.00 0.00 8.17 0.00
1796.71/1797.02 c setppc : 0.58 0.00 0.00 0.58 0.00 0.00 0.00 0.00
1796.71/1797.02 c linear : 10.93 0.01 0.01 10.92 0.00 0.00 0.00 0.00
1796.71/1797.02 c indicator : 25.15 0.02 0.00 25.12 0.00 0.00 0.00 0.00
1796.71/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.02 c rootredcost : 0 0 0 0
1796.71/1797.02 c pseudoobj : 29674 0 0 0
1796.71/1797.02 c vbounds : 620 0 0 263
1796.71/1797.02 c redcost : 6778 0 0 0
1796.71/1797.02 c probing : 0 0 0 0
1796.71/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.02 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.71/1797.02 c pseudoobj : 0.12 0.01 0.00 0.11 0.00
1796.71/1797.02 c vbounds : 2.26 0.03 0.00 2.23 0.00
1796.71/1797.02 c redcost : 14.32 0.00 0.00 14.32 0.00
1796.71/1797.02 c probing : 7.82 0.00 7.82 0.00 0.00
1796.71/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.02 c applied globally : - - - 0 0.0 - - -
1796.71/1797.02 c applied locally : - - - 0 0.0 - - -
1796.71/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.02 c cut pool : 0.00 5 - - 34 - (maximal pool size: 23616)
1796.71/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c impliedbounds : 0.01 0.00 6 0 0 0 0
1796.71/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c gomory : 0.15 0.00 6 0 0 300 0
1796.71/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c strongcg : 1.37 0.00 6 0 0 3000 0
1796.71/1797.02 c cmir : 14.04 0.00 6 0 0 0 0
1796.71/1797.02 c flowcover : 4.69 0.00 6 0 0 0 0
1796.71/1797.02 c clique : 0.10 0.00 6 0 0 0 0
1796.71/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c mcf : 0.03 0.00 1 0 0 0 0
1796.71/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.02 c problem variables: 0.00 - 0 0
1796.71/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.02 c inference : 0.73 0.00 6772 0 0 0 0 13544
1796.71/1797.02 c relpscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.02 c LP solutions : 0.00 - - 0
1796.71/1797.02 c pseudo solutions : 0.00 - - 0
1796.71/1797.02 c oneopt : 0.02 0.00 0 0
1796.71/1797.02 c crossover : 0.01 0.00 0 0
1796.71/1797.02 c intshifting : 0.00 0.00 0 0
1796.71/1797.02 c indoneopt : 0.09 0.01 1 0
1796.71/1797.02 c veclendiving : 89.95 0.00 12 0
1796.71/1797.02 c linesearchdiving : 103.63 0.00 12 0
1796.71/1797.02 c pscostdiving : 205.30 0.00 13 0
1796.71/1797.02 c fracdiving : 103.94 0.00 13 0
1796.71/1797.02 c smallcard : 0.00 0.00 0 0
1796.71/1797.02 c trivial : 0.06 0.00 2 0
1796.71/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.71/1797.02 c simplerounding : 0.01 0.00 0 0
1796.71/1797.02 c zirounding : 5.14 0.00 0 0
1796.71/1797.02 c rounding : 2.74 0.00 1116 0
1796.71/1797.02 c shifting : 2.40 0.00 316 0
1796.71/1797.02 c twoopt : 0.00 0.00 0 0
1796.71/1797.02 c indtwoopt : 0.00 0.01 0 0
1796.71/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.02 c feaspump : 31.12 0.00 8 0
1796.71/1797.02 c clique : 0.00 0.00 0 0
1796.71/1797.02 c coefdiving : 143.89 0.00 13 0
1796.71/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.02 c indrounding : 159.55 0.00 6772 0
1796.71/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.02 c intdiving : 0.00 0.00 0 0
1796.71/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.02 c objpscostdiving : 30.38 0.00 4 0
1796.71/1797.02 c rootsoldiving : 30.53 0.00 5 0
1796.71/1797.02 c guideddiving : 0.00 0.00 0 0
1796.71/1797.02 c octane : 0.00 0.00 0 0
1796.71/1797.02 c rens : 1.96 0.00 1 0
1796.71/1797.02 c rins : 0.00 0.00 0 0
1796.71/1797.02 c localbranching : 0.00 0.00 0 0
1796.71/1797.02 c mutation : 0.00 0.00 0 0
1796.71/1797.02 c dins : 0.00 0.00 0 0
1796.71/1797.02 c vbounds : 0.00 0.00 0 0
1796.71/1797.02 c undercover : 0.00 0.00 0 0
1796.71/1797.02 c subnlp : 0.01 0.00 0 0
1796.71/1797.02 c trysol : 0.02 0.00 0 0
1796.71/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.02 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.71/1797.02 c dual LP : 742.71 6795 1460884 215.53 1966.96 0.26 17
1796.71/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.02 c diving/probing LP: 633.32 8687 824398 94.90 1301.70
1796.71/1797.02 c strong branching : 0.00 0 0 0.00 -
1796.71/1797.02 c (at root node) : - 0 0 0.00 -
1796.71/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.02 c B&B Tree :
1796.71/1797.02 c number of runs : 1
1796.71/1797.02 c nodes : 6772
1796.71/1797.02 c nodes (total) : 6772
1796.71/1797.02 c nodes left : 6773
1796.71/1797.02 c max depth : 86
1796.71/1797.02 c max depth (total): 86
1796.71/1797.02 c backtracks : 882 (13.0%)
1796.71/1797.02 c delayed cutoffs : 0
1796.71/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.02 c avg switch length: 6.41
1796.71/1797.02 c switching time : 7.01
1796.71/1797.02 c Solution :
1796.71/1797.02 c Solutions found : 0 (0 improvements)
1796.71/1797.02 c Primal Bound : -
1796.71/1797.02 c Dual Bound : +0.00000000000000e+00
1796.71/1797.02 c Gap : infinite
1796.71/1797.02 c Root Dual Bound : +0.00000000000000e+00
1796.71/1797.02 c Root Iterations : 21606
1796.91/1797.22 c Time complete: 1796.93.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717611-1338204675/watcher-3717611-1338204675 -o /tmp/evaluation-result-3717611-1338204675/solver-3717611-1338204675 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717611-1338204675.wbo -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.05 2.01 3/176 5099
/proc/meminfo: memFree=30892980/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=11184 CPUtime=0 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 1496 0 0 0 0 0 0 0 20 0 1 0 286591844 11452416 1450 33554432000 4194304 10173063 140736970362896 140736970227912 7545739 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 2796 1464 413 1460 0 1327 0
[startup+0.0268269 s]
/proc/loadavg: 2.15 2.05 2.01 3/176 5099
/proc/meminfo: memFree=30892980/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=19456 CPUtime=0.02 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 3633 0 0 0 2 0 0 0 20 0 1 0 286591844 19922944 3587 33554432000 4194304 10173063 140736970362896 140736970227912 7545739 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 4864 3587 416 1460 0 3395 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19456
[startup+0.10037 s]
/proc/loadavg: 2.15 2.05 2.01 3/176 5099
/proc/meminfo: memFree=30892980/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=50976 CPUtime=0.09 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 11453 0 0 0 8 1 0 0 20 0 1 0 286591844 52199424 11360 33554432000 4194304 10173063 140736970362896 140736970227912 7549422 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 12744 11361 469 1460 0 11275 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50976
[startup+0.300323 s]
/proc/loadavg: 2.15 2.05 2.01 3/176 5099
/proc/meminfo: memFree=30892980/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=128716 CPUtime=0.28 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 30632 0 0 0 25 3 0 0 20 0 1 0 286591844 131805184 30508 33554432000 4194304 10173063 140736970362896 140736970357448 5285008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 32179 30508 523 1460 0 30710 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 128716
[startup+0.700338 s]
/proc/loadavg: 2.15 2.05 2.01 3/176 5099
/proc/meminfo: memFree=30892980/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=161528 CPUtime=0.69 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 38741 0 0 0 51 18 0 0 20 0 1 0 286591844 165404672 37784 33554432000 4194304 10173063 140736970362896 140736970357448 4435370 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 40382 37784 591 1460 0 38913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 161528
[startup+1.50034 s]
/proc/loadavg: 2.15 2.05 2.01 3/177 5100
/proc/meminfo: memFree=30743816/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=162020 CPUtime=1.48 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 38959 0 0 0 130 18 0 0 20 0 1 0 286591844 165908480 37980 33554432000 4194304 10173063 140736970362896 140736970359256 6919659 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 40505 37980 615 1460 0 39036 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 162020
[startup+3.10031 s]
/proc/loadavg: 2.15 2.05 2.01 3/177 5100
/proc/meminfo: memFree=30743420/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=162020 CPUtime=3.09 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 38963 0 0 0 290 19 0 0 20 0 1 0 286591844 165908480 37984 33554432000 4194304 10173063 140736970362896 140736970359272 4261730 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 40505 37984 615 1460 0 39036 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 162020
[startup+6.3003 s]
/proc/loadavg: 2.14 2.05 2.01 3/177 5100
/proc/meminfo: memFree=30743172/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=162232 CPUtime=6.29 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 39018 0 0 0 608 21 0 0 20 0 1 0 286591844 166125568 38039 33554432000 4194304 10173063 140736970362896 140736970359256 6364359 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 40558 38039 615 1460 0 39089 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 162232
[startup+12.7003 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 5100
/proc/meminfo: memFree=30627732/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=286532 CPUtime=12.69 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 66123 0 0 0 1241 28 0 0 20 0 1 0 286591844 293408768 66929 33554432000 4194304 10173063 140736970362896 140736970357576 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 71633 66929 783 1460 0 70164 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 286532
[startup+25.5003 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 5101
/proc/meminfo: memFree=30621284/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=293044 CPUtime=25.49 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 68086 0 0 0 2512 37 0 0 20 0 1 0 286591844 300077056 68709 33554432000 4194304 10173063 140736970362896 140736970357784 7274100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 73261 68709 811 1460 0 71792 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 293044
[startup+51.1004 s]
/proc/loadavg: 2.06 2.04 2.01 3/177 5101
/proc/meminfo: memFree=30615828/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=298072 CPUtime=51.08 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 69604 0 0 0 5068 40 0 0 20 0 1 0 286591844 305225728 70227 33554432000 4194304 10173063 140736970362896 140736970355992 8012413 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 74518 70227 813 1460 0 73049 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 298072
[startup+102.306 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 5101
/proc/meminfo: memFree=30597912/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=308056 CPUtime=102.28 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 120777 0 0 0 10158 70 0 0 20 0 1 0 286591844 315449344 74194 33554432000 4194304 10173063 140736970362896 140736970356152 8012208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 77014 74194 847 1460 0 75545 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 308056
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5101
/proc/meminfo: memFree=30591996/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=311160 CPUtime=162.26 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 121112 0 0 0 16143 83 0 0 20 0 1 0 286591844 318627840 75227 33554432000 4194304 10173063 140736970362896 140736970355608 7910652 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 77790 75227 847 1460 0 76321 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 311160
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 5102
/proc/meminfo: memFree=30583840/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=311160 CPUtime=222.25 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 121121 0 0 0 22129 96 0 0 20 0 1 0 286591844 318627840 76157 33554432000 4194304 10173063 140736970362896 140736970359720 6797640 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 77790 76157 847 1460 0 76321 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 311160
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5102
/proc/meminfo: memFree=30578948/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=312668 CPUtime=282.24 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 121418 0 0 0 28114 110 0 0 20 0 1 0 286591844 320172032 76454 33554432000 4194304 10173063 140736970362896 140736970356536 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 78167 76454 847 1460 0 76698 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 312668
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5103
/proc/meminfo: memFree=30568584/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=318128 CPUtime=342.23 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 122878 0 0 0 34100 123 0 0 20 0 1 0 286591844 325763072 77914 33554432000 4194304 10173063 140736970362896 140736970356712 8012411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 79532 77914 847 1460 0 78063 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 318128
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5103
/proc/meminfo: memFree=30567460/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=318128 CPUtime=402.22 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 122982 0 0 0 40086 136 0 0 20 0 1 0 286591844 325763072 78039 33554432000 4194304 10173063 140736970362896 140736970356152 8032952 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 79532 78039 847 1460 0 78063 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 318128
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5103
/proc/meminfo: memFree=30560144/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=326076 CPUtime=462.22 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 124809 0 0 0 46074 148 0 0 20 0 1 0 286591844 333901824 79866 33554432000 4194304 10173063 140736970362896 140736970358264 7911519 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 81519 79866 847 1460 0 80050 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 326076
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5103
/proc/meminfo: memFree=30556052/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=326920 CPUtime=522.21 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 125063 0 0 0 52059 162 0 0 20 0 1 0 286591844 334766080 80120 33554432000 4194304 10173063 140736970362896 140736970358264 8040982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 81730 80120 847 1460 0 80261 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 326920
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5106
/proc/meminfo: memFree=30543328/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=337252 CPUtime=582.19 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 127805 0 0 0 58043 176 0 0 20 0 1 0 286591844 345346048 82862 33554432000 4194304 10173063 140736970362896 140736970358264 7910616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 84313 82862 847 1460 0 82844 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 337252
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30388932/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=400440 CPUtime=1122.11 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 148443 0 0 0 111904 307 0 0 20 0 1 0 286591844 410050560 98427 33554432000 4194304 10173063 140736970362896 140736970356152 8012679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 100110 98427 847 1460 0 98641 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 400440
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 5149
/proc/meminfo: memFree=30356228/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=411360 CPUtime=1182.1 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 150739 0 0 0 117893 317 0 0 20 0 1 0 286591844 421232640 100712 33554432000 4194304 10173063 140736970362896 140736970356536 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 102840 100712 847 1460 0 101371 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 411360
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 5149
/proc/meminfo: memFree=30327228/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=415588 CPUtime=1242.1 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 152229 0 0 0 123878 332 0 0 20 0 1 0 286591844 425562112 102201 33554432000 4194304 10173063 140736970362896 140736970355880 7911559 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 103897 102201 847 1460 0 102428 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 415588
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5150
/proc/meminfo: memFree=30304984/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=416980 CPUtime=1302.09 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 152769 0 0 0 129864 345 0 0 20 0 1 0 286591844 426987520 102737 33554432000 4194304 10173063 140736970362896 140736970356536 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 104245 102737 847 1460 0 102776 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 416980
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5150
/proc/meminfo: memFree=30275472/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=427636 CPUtime=1362.07 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 155192 0 0 0 135850 357 0 0 20 0 1 0 286591844 437899264 105160 33554432000 4194304 10173063 140736970362896 140736970356536 8033078 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 106909 105160 847 1460 0 105440 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 427636
[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 5150
/proc/meminfo: memFree=30248812/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=431432 CPUtime=1422.07 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 156368 0 0 0 141837 370 0 0 20 0 1 0 286591844 441786368 106327 33554432000 4194304 10173063 140736970362896 140736970356536 8047156 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 107858 106327 847 1460 0 106389 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 431432
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5150
/proc/meminfo: memFree=30225060/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=434704 CPUtime=1482.06 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 157219 0 0 0 147824 382 0 0 20 0 1 0 286591844 445136896 107178 33554432000 4194304 10173063 140736970362896 140736970356152 7911684 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 108676 107178 847 1460 0 107207 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 434704
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 5150
/proc/meminfo: memFree=30192300/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=445164 CPUtime=1542.04 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 159903 0 0 0 153811 393 0 0 20 0 1 0 286591844 455847936 109862 33554432000 4194304 10173063 140736970362896 140736970356216 7911519 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 111291 109862 847 1460 0 109822 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 445164
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5151
/proc/meminfo: memFree=30162092/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=446080 CPUtime=1602.04 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 159974 0 0 0 159797 407 0 0 20 0 1 0 286591844 456785920 109933 33554432000 4194304 10173063 140736970362896 140736970359720 7911721 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 111520 109933 847 1460 0 110051 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 446080
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5151
/proc/meminfo: memFree=30143244/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=455304 CPUtime=1662.03 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 161688 0 0 0 165786 417 0 0 20 0 1 0 286591844 466231296 111647 33554432000 4194304 10173063 140736970362896 140736970355768 8033056 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 113826 111647 847 1460 0 112357 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 455304
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5151
/proc/meminfo: memFree=30123900/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=459216 CPUtime=1722.02 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 163341 0 0 0 171771 431 0 0 20 0 1 0 286591844 470237184 113297 33554432000 4194304 10173063 140736970362896 140736970359720 7396628 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 114804 113297 847 1460 0 113335 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 459216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5154
/proc/meminfo: memFree=30108420/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=461996 CPUtime=1782.01 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 163743 0 0 0 177759 442 0 0 20 0 1 0 286591844 473083904 113697 33554432000 4194304 10173063 140736970362896 140736970355816 8063658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 115499 113697 847 1460 0 114030 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 461996
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5154
/proc/meminfo: memFree=30105568/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=464140 CPUtime=1785.21 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 164147 0 0 0 178078 443 0 0 20 0 1 0 286591844 475279360 114101 33554432000 4194304 10173063 140736970362896 140736970356200 7576755 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 116035 114101 847 1460 0 114566 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 464140
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5177
/proc/meminfo: memFree=30108124/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=462856 CPUtime=1791.62 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 165461 0 0 0 178717 445 0 0 20 0 1 0 286591844 473964544 113157 33554432000 4194304 10173063 140736970362896 140736970355880 7510027 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 115714 113157 847 1460 0 114245 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 462856
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5177
/proc/meminfo: memFree=30104040/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=463140 CPUtime=1794.82 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 166462 0 0 0 179036 446 0 0 20 0 1 0 286591844 474255360 113918 33554432000 4194304 10173063 140736970362896 140736970356152 4502525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 115785 113918 847 1460 0 114316 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 463140
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5177
/proc/meminfo: memFree=30104040/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=463140 CPUtime=1795.61 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 166464 0 0 0 179115 446 0 0 20 0 1 0 286591844 474255360 113920 33554432000 4194304 10173063 140736970362896 140736970355880 8047293 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 115785 113920 847 1460 0 114316 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 463140
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5177
/proc/meminfo: memFree=30104048/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=463140 CPUtime=1796.41 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 166467 0 0 0 179195 446 0 0 20 0 1 0 286591844 474255360 113923 33554432000 4194304 10173063 140736970362896 140736970356536 5749890 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 115785 113923 847 1460 0 114316 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 463140
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5177
/proc/meminfo: memFree=30104048/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=461532 CPUtime=1796.81 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 166472 0 0 0 179235 446 0 0 20 0 1 0 286591844 472608768 113526 33554432000 4194304 10173063 140736970362896 140736970356536 7550179 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 115383 113526 851 1460 0 113914 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 461532
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5177
/proc/meminfo: memFree=30104048/32873844 swapFree=7620/7620
[pid=5099] ppid=5097 vsize=434972 CPUtime=1796.91 cores=0,2,4,6
/proc/5099/stat : 5099 (scip-2.1.1.4fix) R 5097 5099 1906 0 -1 4202496 166472 0 0 0 179245 446 0 0 20 0 1 0 286591844 445411328 106916 33554432000 4194304 10173063 140736970362896 140736970356536 7550009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5099/statm: 108743 106916 851 1460 0 107274 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 434972
Child status: 0
Real time (s): 1797.23
CPU time (s): 1796.94
CPU user time (s): 1792.47
CPU system time (s): 4.47432
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 487500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.47
system time used= 4.47432
maximum resident set size= 469496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166474
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= 35
involuntary context switches= 1848
runsolver used 5.60515 second user time and 18.7781 second system time
The end