0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3450989-1307076268.opb>
0.00/0.00 c original problem has 787 variables (787 bin, 0 int, 0 impl, 0 cont) and 65 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 2 del vars, 0 del conss, 0 add conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.01 c (round 2) 2 del vars, 1 del conss, 0 add conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.01 c (round 3) 2 del vars, 1 del conss, 0 add conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 64 upgd conss, 0 impls, 48 clqs
0.00/0.01 c (round 4) 3 del vars, 1 del conss, 0 add conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 64 upgd conss, 0 impls, 48 clqs
0.00/0.02 c (0.0s) probing: 101/784 (12.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 3 deleted vars, 1 deleted constraints, 0 added constraints, 2 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
0.00/0.02 c 0 implications, 48 cliques
0.00/0.02 c presolved problem has 784 variables (784 bin, 0 int, 0 impl, 0 cont) and 64 constraints
0.00/0.02 c 16 constraints of type <knapsack>
0.00/0.02 c 48 constraints of type <setppc>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 2.0.1.5
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 13950
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 o 0
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c T 0.0s| 1 | 0 | 0 | - |2866k| 0 | - | 784 | 64 | 784 | 64 | 0 | 0 | 0 | -- | 0.000000e+00 | 100.00%
0.00/0.06 c 0.1s| 1 | 0 | 2199 | - |2799k| 0 | 28 | 784 | 64 | 784 | 64 | 0 | 0 | 0 |-2.050190e+04 | 0.000000e+00 | 100.00%
0.00/0.06 o -16384
0.00/0.06 c R 0.1s| 1 | 0 | 2201 | - |2817k| 0 | 28 | 784 | 64 | 784 | 64 | 0 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.00/0.06 c 0.1s| 1 | 0 | 2201 | - |2819k| 0 | 28 | 784 | 64 | 784 | 64 | 0 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.09/0.15 c 0.2s| 1 | 0 | 2204 | - |2902k| 0 | 30 | 784 | 64 | 784 | 65 | 6 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.09/0.17 c 0.2s| 1 | 0 | 2210 | - |2987k| 0 | 31 | 784 | 64 | 784 | 78 | 19 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.09/0.19 c 0.2s| 1 | 0 | 2230 | - |3070k| 0 | 46 | 784 | 64 | 784 | 90 | 31 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.19/0.23 c 0.2s| 1 | 0 | 2236 | - |3142k| 0 | 48 | 784 | 64 | 784 | 97 | 38 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.19/0.26 c 0.3s| 1 | 0 | 2238 | - |3196k| 0 | 49 | 784 | 64 | 784 | 102 | 43 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.29/0.30 c 0.3s| 1 | 0 | 2240 | - |3236k| 0 | 50 | 784 | 64 | 784 | 103 | 44 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.29/0.38 c 0.4s| 1 | 0 | 3719 | - |3246k| 0 | 47 | 784 | 64 | 784 | 103 | 44 | 0 | 24 |-2.028658e+04 |-1.638400e+04 | 19.24%
0.39/0.41 c 0.4s| 1 | 0 | 3739 | - |3341k| 0 | 58 | 784 | 64 | 784 | 110 | 51 | 0 | 24 |-2.028630e+04 |-1.638400e+04 | 19.24%
0.39/0.44 c 0.4s| 1 | 2 | 3739 | - |3342k| 0 | 58 | 784 | 64 | 784 | 110 | 51 | 0 | 42 |-2.028630e+04 |-1.638400e+04 | 19.24%
13.10/13.17 c 13.2s| 10000 | 9983 | 92362 | 9.0 | 17M| 69 | 26 | 784 |3336 | 784 | 84 | 51 |4728 |4423 |-2.009473e+04 |-1.638400e+04 | 18.47%
21.59/21.64 c 21.6s| 20000 | 19983 |164967 | 8.1 | 27M| 69 | 19 | 784 |2619 | 784 | 84 | 51 |7679 |4790 |-2.009473e+04 |-1.638400e+04 | 18.47%
29.70/29.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.70/29.74 c 29.7s| 30000 | 29983 |235069 | 7.8 | 37M| 73 | 26 | 784 |2148 | 784 | 84 | 51 | 10k|4945 |-2.009473e+04 |-1.638400e+04 | 18.47%
37.79/37.88 c 37.9s| 40000 | 39981 |307111 | 7.6 | 49M| 73 | 18 | 784 |2494 | 784 | 84 | 51 | 13k|5004 |-2.009473e+04 |-1.638400e+04 | 18.47%
46.10/46.20 c 46.2s| 50000 | 49971 |379099 | 7.5 | 59M| 73 | 23 | 784 |2248 | 784 | 84 | 51 | 16k|5266 |-2.009473e+04 |-1.638400e+04 | 18.47%
54.69/54.70 c 54.7s| 60000 | 59795 |452801 | 7.5 | 70M| 73 | 29 | 784 |2001 | 784 | 84 | 51 | 19k|5801 |-2.009473e+04 |-1.638400e+04 | 18.47%
63.19/63.22 c 63.2s| 70000 | 69629 |526763 | 7.5 | 80M| 73 | 18 | 784 |2224 | 784 | 84 | 51 | 22k|6334 |-2.009473e+04 |-1.638400e+04 | 18.47%
71.60/71.64 c 71.6s| 80000 | 79233 |598773 | 7.5 | 91M| 80 | 24 | 784 |2227 | 784 | 84 | 51 | 25k|6786 |-2.009473e+04 |-1.638400e+04 | 18.47%
80.70/80.72 c 80.7s| 90000 | 88823 |678991 | 7.5 | 102M| 80 | 39 | 784 |1948 | 784 | 84 | 51 | 28k|7353 |-2.009473e+04 |-1.638400e+04 | 18.47%
89.40/89.48 c 89.5s|100000 | 98367 |757938 | 7.6 | 113M| 80 | 26 | 784 |1896 | 784 | 84 | 51 | 32k|7738 |-2.009473e+04 |-1.638400e+04 | 18.47%
98.29/98.35 c 98.3s|110000 |107911 |837193 | 7.6 | 124M| 80 | 36 | 784 |1719 | 784 | 84 | 51 | 36k|8224 |-2.009473e+04 |-1.638400e+04 | 18.47%
106.89/106.94 c 107s|120000 |117347 |914063 | 7.6 | 135M| 80 | 16 | 784 |1669 | 784 | 84 | 51 | 40k|8562 |-2.009473e+04 |-1.638400e+04 | 18.47%
115.60/115.63 c 116s|130000 |126801 |990346 | 7.6 | 145M| 80 | 17 | 784 |1449 | 784 | 84 | 51 | 44k|8919 |-2.009473e+04 |-1.638400e+04 | 18.47%
124.09/124.17 c 124s|140000 |136215 | 1066k| 7.6 | 156M| 80 | 26 | 784 |1615 | 784 | 84 | 51 | 47k|9319 |-2.009473e+04 |-1.638400e+04 | 18.47%
132.50/132.58 c 133s|150000 |145585 | 1139k| 7.6 | 167M| 80 | 24 | 784 |1467 | 784 | 84 | 51 | 52k|9672 |-2.009473e+04 |-1.638400e+04 | 18.47%
141.19/141.29 c 141s|160000 |154959 | 1218k| 7.6 | 178M| 80 | 29 | 784 |1225 | 784 | 84 | 51 | 56k| 10k|-2.009473e+04 |-1.638400e+04 | 18.47%
149.80/149.81 c 150s|170000 |164417 | 1295k| 7.6 | 189M| 81 | 27 | 784 |1287 | 784 | 84 | 51 | 60k| 10k|-2.009473e+04 |-1.638400e+04 | 18.47%
158.10/158.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.10/158.11 c 158s|180000 |173891 | 1368k| 7.6 | 200M| 81 | 21 | 784 |1159 | 784 | 84 | 51 | 64k| 10k|-2.009473e+04 |-1.638400e+04 | 18.47%
166.60/166.65 c 167s|190000 |183259 | 1446k| 7.6 | 211M| 81 | 27 | 784 | 864 | 784 | 84 | 51 | 68k| 10k|-2.009473e+04 |-1.638400e+04 | 18.47%
175.00/175.09 c 175s|200000 |192491 | 1521k| 7.6 | 222M| 81 | 34 | 784 |1041 | 784 | 84 | 51 | 72k| 11k|-2.009473e+04 |-1.638400e+04 | 18.47%
183.50/183.53 c 184s|210000 |201861 | 1598k| 7.6 | 232M| 81 | 30 | 784 |1040 | 784 | 84 | 51 | 76k| 11k|-2.009473e+04 |-1.638400e+04 | 18.47%
191.80/191.87 c 192s|220000 |211101 | 1672k| 7.6 | 243M| 81 | 27 | 784 | 971 | 784 | 84 | 51 | 81k| 11k|-2.009473e+04 |-1.638400e+04 | 18.47%
200.21/200.23 c 200s|230000 |220277 | 1747k| 7.6 | 254M| 81 | 29 | 784 | 868 | 784 | 84 | 51 | 85k| 11k|-2.009473e+04 |-1.638400e+04 | 18.47%
208.60/208.61 c 209s|240000 |229453 | 1823k| 7.6 | 265M| 81 | 29 | 784 | 846 | 784 | 84 | 51 | 90k| 12k|-2.009473e+04 |-1.638400e+04 | 18.47%
216.80/216.89 c 217s|250000 |238519 | 1897k| 7.6 | 275M| 81 | 32 | 784 | 663 | 784 | 84 | 51 | 95k| 12k|-2.009473e+04 |-1.638400e+04 | 18.47%
225.29/225.37 c 225s|260000 |247715 | 1975k| 7.6 | 286M| 81 | - | 784 | 793 | 784 | 84 | 51 | 99k| 12k|-2.009473e+04 |-1.638400e+04 | 18.47%
233.59/233.64 c 234s|270000 |256828 | 2051k| 7.6 | 297M| 81 | 28 | 784 | 597 | 784 | 84 | 51 | 104k| 13k|-2.009473e+04 |-1.638400e+04 | 18.47%
242.01/242.02 c 242s|280000 |265876 | 2127k| 7.6 | 308M| 81 | 17 | 784 | 521 | 784 | 84 | 51 | 109k| 13k|-2.009473e+04 |-1.638400e+04 | 18.47%
250.30/250.39 c 250s|290000 |274880 | 2203k| 7.6 | 319M| 81 | 18 | 784 | 617 | 784 | 84 | 51 | 114k| 13k|-2.009473e+04 |-1.638400e+04 | 18.47%
258.51/258.57 c 259s|300000 |284010 | 2277k| 7.6 | 329M| 82 | 28 | 784 | 441 | 784 | 84 | 51 | 118k| 13k|-2.009473e+04 |-1.638400e+04 | 18.47%
266.80/266.82 c 267s|310000 |293076 | 2351k| 7.6 | 340M| 82 | 28 | 784 | 655 | 784 | 84 | 51 | 122k| 13k|-2.009473e+04 |-1.638400e+04 | 18.47%
275.01/275.04 c 275s|320000 |302080 | 2424k| 7.6 | 351M| 82 | 20 | 784 | 796 | 784 | 84 | 51 | 127k| 14k|-2.009473e+04 |-1.638400e+04 | 18.47%
283.10/283.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.10/283.17 c 283s|330000 |311078 | 2498k| 7.6 | 362M| 82 | - | 784 | 651 | 784 | 84 | 51 | 132k| 14k|-2.009473e+04 |-1.638400e+04 | 18.47%
291.51/291.51 c 292s|340000 |320156 | 2572k| 7.6 | 373M| 82 | 22 | 784 | 757 | 784 | 84 | 51 | 136k| 14k|-2.009473e+04 |-1.638400e+04 | 18.47%
299.30/299.34 c 299s|350000 |329370 | 2641k| 7.5 | 384M| 83 | 20 | 784 | 762 | 784 | 84 | 51 | 142k| 14k|-2.009473e+04 |-1.638400e+04 | 18.47%
307.40/307.43 c 307s|360000 |338420 | 2713k| 7.5 | 394M| 83 | 19 | 784 | 492 | 784 | 84 | 51 | 147k| 14k|-2.009473e+04 |-1.638400e+04 | 18.47%
315.50/315.56 c 316s|370000 |347448 | 2786k| 7.5 | 405M| 83 | 16 | 784 | 658 | 784 | 84 | 51 | 151k| 15k|-2.009473e+04 |-1.638400e+04 | 18.47%
323.90/323.99 c 324s|380000 |356492 | 2863k| 7.5 | 416M| 83 | 29 | 784 | 843 | 784 | 84 | 51 | 157k| 15k|-2.009473e+04 |-1.638400e+04 | 18.47%
332.11/332.16 c 332s|390000 |365494 | 2937k| 7.5 | 427M| 85 | 22 | 784 | 774 | 784 | 84 | 51 | 162k| 15k|-2.009473e+04 |-1.638400e+04 | 18.47%
340.40/340.49 c 340s|400000 |374476 | 3012k| 7.5 | 437M| 85 | 31 | 784 | 657 | 784 | 84 | 51 | 168k| 15k|-2.009473e+04 |-1.638400e+04 | 18.47%
348.62/348.65 c 349s|410000 |383490 | 3084k| 7.5 | 448M| 85 | 29 | 784 | 701 | 784 | 84 | 51 | 173k| 15k|-2.009473e+04 |-1.638400e+04 | 18.47%
356.80/356.88 c 357s|420000 |392470 | 3157k| 7.5 | 459M| 85 | 20 | 784 | 880 | 784 | 84 | 51 | 178k| 16k|-2.009473e+04 |-1.638400e+04 | 18.47%
365.21/365.27 c 365s|430000 |401458 | 3233k| 7.5 | 470M| 85 | 19 | 784 | 646 | 784 | 84 | 51 | 183k| 16k|-2.009473e+04 |-1.638400e+04 | 18.47%
373.50/373.53 c 374s|440000 |410484 | 3306k| 7.5 | 481M| 85 | 24 | 784 |1094 | 784 | 84 | 51 | 189k| 16k|-2.009473e+04 |-1.638400e+04 | 18.47%
381.80/381.89 c 382s|450000 |419559 | 3381k| 7.5 | 491M| 86 | 18 | 784 | 766 | 784 | 84 | 51 | 194k| 16k|-2.009473e+04 |-1.638400e+04 | 18.47%
390.20/390.26 c 390s|460000 |428623 | 3456k| 7.5 | 502M| 87 | 26 | 784 | 785 | 784 | 84 | 51 | 199k| 16k|-2.009473e+04 |-1.638400e+04 | 18.47%
398.31/398.33 c 398s|470000 |437663 | 3528k| 7.5 | 513M| 87 | - | 784 | 763 | 784 | 84 | 51 | 204k| 16k|-2.009473e+04 |-1.638400e+04 | 18.47%
406.41/406.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.41/406.42 c 406s|480000 |446823 | 3599k| 7.5 | 524M| 87 | 42 | 784 | 617 | 784 | 84 | 51 | 209k| 16k|-2.009473e+04 |-1.638400e+04 | 18.47%
414.61/414.68 c 415s|490000 |455845 | 3673k| 7.5 | 534M| 87 | 13 | 784 | 719 | 784 | 84 | 51 | 214k| 17k|-2.009473e+04 |-1.638400e+04 | 18.47%
422.61/422.61 c 423s|500000 |464998 | 3743k| 7.5 | 545M| 87 | 27 | 784 | 628 | 784 | 84 | 51 | 219k| 17k|-2.009473e+04 |-1.638400e+04 | 18.47%
430.71/430.75 c 431s|510000 |474016 | 3816k| 7.5 | 556M| 87 | 20 | 784 | 651 | 784 | 84 | 51 | 224k| 17k|-2.009473e+04 |-1.638400e+04 | 18.47%
439.01/439.00 c 439s|520000 |482979 | 3889k| 7.5 | 567M| 87 | 17 | 784 | 749 | 784 | 84 | 51 | 229k| 17k|-2.009473e+04 |-1.638400e+04 | 18.47%
447.10/447.16 c 447s|530000 |492075 | 3962k| 7.5 | 577M| 87 | 17 | 784 | 766 | 784 | 84 | 51 | 234k| 17k|-2.009473e+04 |-1.638400e+04 | 18.47%
455.42/455.41 c 455s|540000 |501080 | 4035k| 7.5 | 588M| 87 | 30 | 784 | 719 | 784 | 84 | 51 | 239k| 17k|-2.009473e+04 |-1.638400e+04 | 18.47%
463.40/463.48 c 463s|550000 |510128 | 4107k| 7.5 | 599M| 87 | 17 | 784 | 835 | 784 | 84 | 51 | 244k| 17k|-2.009473e+04 |-1.638400e+04 | 18.47%
471.71/471.77 c 472s|560000 |519156 | 4181k| 7.5 | 610M| 87 | 27 | 784 | 729 | 784 | 84 | 51 | 249k| 18k|-2.009473e+04 |-1.638400e+04 | 18.47%
480.01/480.07 c 480s|570000 |528124 | 4256k| 7.5 | 621M| 87 | 24 | 784 | 879 | 784 | 84 | 51 | 255k| 18k|-2.009473e+04 |-1.638400e+04 | 18.47%
488.41/488.47 c 488s|580000 |537011 | 4331k| 7.5 | 631M| 87 | 27 | 784 | 836 | 784 | 84 | 51 | 260k| 18k|-2.009473e+04 |-1.638400e+04 | 18.47%
496.80/496.80 c 497s|590000 |545958 | 4406k| 7.5 | 642M| 87 | 24 | 784 | 826 | 784 | 84 | 51 | 266k| 18k|-2.009473e+04 |-1.638400e+04 | 18.47%
505.01/505.08 c 505s|600000 |554968 | 4480k| 7.5 | 653M| 88 | 22 | 784 | 816 | 784 | 84 | 51 | 271k| 18k|-2.009473e+04 |-1.638400e+04 | 18.47%
513.41/513.42 c 513s|610000 |563838 | 4554k| 7.5 | 663M| 88 | 21 | 784 | 791 | 784 | 84 | 51 | 276k| 18k|-2.009473e+04 |-1.638400e+04 | 18.47%
521.61/521.60 c 522s|620000 |572632 | 4629k| 7.5 | 674M| 88 | 18 | 784 |1032 | 784 | 84 | 51 | 282k| 18k|-2.009473e+04 |-1.638400e+04 | 18.47%
529.70/529.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.70/529.71 c 530s|630000 |581572 | 4701k| 7.5 | 685M| 88 | 15 | 784 | 816 | 784 | 84 | 51 | 288k| 19k|-2.009473e+04 |-1.638400e+04 | 18.47%
537.81/537.90 c 538s|640000 |590520 | 4773k| 7.5 | 695M| 88 | 33 | 784 | 936 | 784 | 84 | 51 | 293k| 19k|-2.009473e+04 |-1.638400e+04 | 18.47%
546.21/546.26 c 546s|650000 |599334 | 4846k| 7.5 | 706M| 88 | 20 | 784 | 881 | 784 | 84 | 51 | 299k| 19k|-2.009473e+04 |-1.638400e+04 | 18.47%
554.32/554.38 c 554s|660000 |608316 | 4918k| 7.4 | 717M| 88 | 19 | 784 | 657 | 784 | 84 | 51 | 304k| 19k|-2.009473e+04 |-1.638400e+04 | 18.47%
562.51/562.57 c 563s|670000 |617242 | 4991k| 7.4 | 727M| 88 | 27 | 784 | 832 | 784 | 84 | 51 | 309k| 19k|-2.009473e+04 |-1.638400e+04 | 18.47%
570.71/570.73 c 571s|680000 |626100 | 5064k| 7.4 | 738M| 88 | 20 | 784 |1000 | 784 | 84 | 51 | 315k| 19k|-2.009473e+04 |-1.638400e+04 | 18.47%
578.81/578.88 c 579s|690000 |635010 | 5135k| 7.4 | 749M| 88 | 13 | 784 |1070 | 784 | 84 | 51 | 321k| 19k|-2.009473e+04 |-1.638400e+04 | 18.47%
587.01/587.06 c 587s|700000 |643796 | 5207k| 7.4 | 759M| 88 | 22 | 784 | 945 | 784 | 84 | 51 | 327k| 19k|-2.009473e+04 |-1.638400e+04 | 18.47%
595.12/595.17 c 595s|710000 |652740 | 5279k| 7.4 | 770M| 88 | 21 | 784 | 935 | 784 | 84 | 51 | 332k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
603.21/603.27 c 603s|720000 |661774 | 5350k| 7.4 | 781M| 88 | 20 | 784 | 933 | 784 | 84 | 51 | 337k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
611.41/611.44 c 611s|730000 |670698 | 5422k| 7.4 | 791M| 88 | 19 | 784 | 823 | 784 | 84 | 51 | 343k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
619.51/619.53 c 620s|740000 |679627 | 5492k| 7.4 | 802M| 88 | 31 | 784 |1155 | 784 | 84 | 51 | 349k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
627.61/627.65 c 628s|750000 |688514 | 5562k| 7.4 | 813M| 88 | 26 | 784 | 895 | 784 | 84 | 51 | 355k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
635.61/635.68 c 636s|760000 |697238 | 5633k| 7.4 | 823M| 88 | 17 | 784 | 843 | 784 | 84 | 51 | 360k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
643.71/643.72 c 644s|770000 |706126 | 5703k| 7.4 | 834M| 88 | 19 | 784 |1064 | 784 | 84 | 51 | 365k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
651.61/651.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.61/651.69 c 652s|780000 |714842 | 5772k| 7.4 | 844M| 88 | 25 | 784 |1135 | 784 | 84 | 51 | 371k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
659.82/659.84 c 660s|790000 |723654 | 5842k| 7.4 | 855M| 88 | 21 | 784 |1155 | 784 | 84 | 51 | 377k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
668.02/668.00 c 668s|800000 |732438 | 5914k| 7.4 | 865M| 88 | 27 | 784 |1212 | 784 | 84 | 51 | 383k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
676.02/676.04 c 676s|810000 |741257 | 5983k| 7.4 | 876M| 88 | - | 784 |1019 | 784 | 84 | 51 | 388k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
684.23/684.23 c 684s|820000 |750019 | 6055k| 7.4 | 886M| 88 | - | 784 |1060 | 784 | 84 | 51 | 394k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
692.22/692.26 c 692s|830000 |758941 | 6125k| 7.4 | 897M| 91 | 24 | 784 | 994 | 784 | 84 | 51 | 400k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
701.02/701.04 c 701s|840000 |768369 | 6206k| 7.4 | 908M| 91 | 22 | 784 |1036 | 784 | 84 | 51 | 404k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
710.53/710.53 c 711s|850000 |778337 | 6299k| 7.4 | 920M| 91 | 23 | 784 | 877 | 784 | 84 | 51 | 406k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
719.51/719.52 c 720s|860000 |787955 | 6384k| 7.4 | 932M| 91 | 35 | 784 |1219 | 784 | 84 | 51 | 409k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
728.71/728.76 c 729s|870000 |797647 | 6472k| 7.4 | 943M| 91 | 14 | 784 | 960 | 784 | 84 | 51 | 412k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
737.91/738.01 c 738s|880000 |807551 | 6560k| 7.5 | 955M| 91 | 24 | 784 |1115 | 784 | 84 | 51 | 415k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
747.01/747.09 c 747s|890000 |817287 | 6647k| 7.5 | 967M| 91 | 24 | 784 |1007 | 784 | 84 | 51 | 418k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
755.91/755.92 c 756s|900000 |826840 | 6729k| 7.5 | 978M| 91 | 17 | 784 |1077 | 784 | 84 | 51 | 422k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
764.71/764.78 c 765s|910000 |836270 | 6809k| 7.5 | 989M| 91 | 26 | 784 |1202 | 784 | 84 | 51 | 426k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
773.41/773.41 c 773s|920000 |845632 | 6887k| 7.5 |1000M| 91 | 24 | 784 |1233 | 784 | 84 | 51 | 430k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
782.32/782.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.32/782.34 c 782s|930000 |855285 | 6970k| 7.5 |1011M| 91 | 27 | 784 |1063 | 784 | 84 | 51 | 434k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
791.01/791.08 c 791s|940000 |864897 | 7050k| 7.5 |1022M| 91 | 21 | 784 |1068 | 784 | 84 | 51 | 438k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
799.73/799.76 c 800s|950000 |874638 | 7129k| 7.5 |1034M| 91 | 25 | 784 | 763 | 784 | 84 | 51 | 441k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
808.42/808.49 c 808s|960000 |884236 | 7210k| 7.5 |1045M| 91 | 26 | 784 |1009 | 784 | 84 | 51 | 445k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
817.22/817.21 c 817s|970000 |893483 | 7289k| 7.5 |1056M| 91 | 24 | 784 | 960 | 784 | 84 | 51 | 449k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
825.72/825.78 c 826s|980000 |903061 | 7366k| 7.5 |1067M| 91 | 24 | 784 | 992 | 784 | 84 | 51 | 453k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
834.61/834.64 c 835s|990000 |912616 | 7448k| 7.5 |1079M| 91 | 27 | 784 |1005 | 784 | 84 | 51 | 456k| 23k|-2.009473e+04 |-1.638400e+04 | 18.47%
843.52/843.55 c 844s| 1000k|922066 | 7529k| 7.5 |1090M| 91 | 23 | 784 |1181 | 784 | 84 | 51 | 461k| 23k|-2.009473e+04 |-1.638400e+04 | 18.47%
852.02/852.05 c 852s| 1010k|931640 | 7606k| 7.5 |1101M| 91 | 25 | 784 |1075 | 784 | 84 | 51 | 465k| 23k|-2.009473e+04 |-1.638400e+04 | 18.47%
861.02/861.01 c 861s| 1020k|941216 | 7688k| 7.5 |1112M| 91 | 20 | 784 |1146 | 784 | 84 | 51 | 469k| 23k|-2.009473e+04 |-1.638400e+04 | 18.47%
870.03/870.06 c 870s| 1030k|950820 | 7773k| 7.5 |1124M| 91 | 25 | 784 | 990 | 784 | 84 | 51 | 472k| 23k|-2.009473e+04 |-1.638400e+04 | 18.47%
878.62/878.61 c 879s| 1040k|960274 | 7850k| 7.5 |1135M| 91 | 23 | 784 |1028 | 784 | 84 | 51 | 477k| 23k|-2.009473e+04 |-1.638400e+04 | 18.47%
887.32/887.37 c 887s| 1050k|969739 | 7929k| 7.5 |1146M| 91 | 22 | 784 |1154 | 784 | 84 | 51 | 481k| 23k|-2.009473e+04 |-1.638400e+04 | 18.47%
896.02/896.04 c 896s| 1060k|979204 | 8008k| 7.6 |1158M| 91 | 22 | 784 |1224 | 784 | 84 | 51 | 485k| 23k|-2.009473e+04 |-1.638400e+04 | 18.47%
904.82/904.84 c 905s| 1070k|988400 | 8088k| 7.6 |1169M| 91 | 25 | 784 |1049 | 784 | 84 | 51 | 489k| 23k|-2.009473e+04 |-1.638400e+04 | 18.47%
913.52/913.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.52/913.53 c 914s| 1080k|997832 | 8168k| 7.6 |1180M| 91 | 24 | 784 | 899 | 784 | 84 | 51 | 494k| 23k|-2.009473e+04 |-1.638400e+04 | 18.47%
922.52/922.51 c 923s| 1090k| 1007k| 8253k| 7.6 |1191M| 91 | 17 | 784 |1083 | 784 | 84 | 51 | 497k| 24k|-2.009473e+04 |-1.638400e+04 | 18.47%
931.42/931.50 c 931s| 1100k| 1016k| 8337k| 7.6 |1203M| 91 | 20 | 784 |1013 | 784 | 84 | 51 | 501k| 24k|-2.009473e+04 |-1.638400e+04 | 18.47%
940.32/940.40 c 940s| 1110k| 1026k| 8419k| 7.6 |1214M| 91 | 12 | 784 | 920 | 784 | 84 | 51 | 505k| 24k|-2.009473e+04 |-1.638400e+04 | 18.47%
949.23/949.26 c 949s| 1120k| 1035k| 8501k| 7.6 |1225M| 91 | 27 | 784 |1074 | 784 | 84 | 51 | 510k| 24k|-2.009473e+04 |-1.638400e+04 | 18.47%
957.92/957.94 c 958s| 1130k| 1045k| 8580k| 7.6 |1237M| 91 | 28 | 784 | 963 | 784 | 84 | 51 | 513k| 24k|-2.009473e+04 |-1.638400e+04 | 18.47%
967.12/967.12 c 967s| 1140k| 1054k| 8667k| 7.6 |1248M| 91 | 17 | 784 |1593 | 784 | 84 | 51 | 518k| 24k|-2.009473e+04 |-1.638400e+04 | 18.47%
975.82/975.89 c 976s| 1150k| 1063k| 8748k| 7.6 |1259M| 91 | 27 | 784 |1454 | 784 | 84 | 51 | 523k| 24k|-2.009473e+04 |-1.638400e+04 | 18.47%
984.62/984.63 c 985s| 1160k| 1073k| 8827k| 7.6 |1270M| 91 | 26 | 784 |1407 | 784 | 84 | 51 | 529k| 24k|-2.009473e+04 |-1.638400e+04 | 18.47%
992.92/992.92 c 993s| 1170k| 1082k| 8901k| 7.6 |1281M| 91 | 24 | 784 |1100 | 784 | 84 | 51 | 535k| 24k|-2.009473e+04 |-1.638400e+04 | 18.47%
1001.82/1001.83 c 1002s| 1180k| 1091k| 8983k| 7.6 |1293M| 91 | 20 | 784 |1214 | 784 | 84 | 51 | 540k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1010.22/1010.23 c 1010s| 1190k| 1100k| 9058k| 7.6 |1303M| 91 | 22 | 784 |1519 | 784 | 84 | 51 | 545k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1018.53/1018.57 c 1019s| 1200k| 1109k| 9132k| 7.6 |1314M| 91 | 16 | 784 |1183 | 784 | 84 | 51 | 551k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1027.22/1027.28 c 1027s| 1210k| 1119k| 9210k| 7.6 |1326M| 91 | 27 | 784 |1396 | 784 | 84 | 51 | 555k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1036.02/1036.10 c 1036s| 1220k| 1128k| 9292k| 7.6 |1338M| 91 | 24 | 784 |1413 | 784 | 84 | 51 | 558k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1044.72/1044.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.72/1044.70 c 1045s| 1230k| 1138k| 9369k| 7.6 |1349M| 95 | 14 | 784 |1204 | 784 | 84 | 51 | 564k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1052.93/1052.98 c 1053s| 1240k| 1147k| 9442k| 7.6 |1360M| 95 | 23 | 784 | 942 | 784 | 84 | 51 | 568k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1061.63/1061.62 c 1062s| 1250k| 1157k| 9519k| 7.6 |1372M| 95 | 28 | 784 |1277 | 784 | 84 | 51 | 572k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1070.33/1070.32 c 1070s| 1260k| 1167k| 9599k| 7.6 |1384M| 95 | 24 | 784 |1428 | 784 | 84 | 51 | 576k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1078.93/1078.97 c 1079s| 1270k| 1176k| 9677k| 7.6 |1395M| 95 | 20 | 784 |1185 | 784 | 84 | 51 | 580k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1087.32/1087.32 c 1087s| 1280k| 1186k| 9752k| 7.6 |1407M| 95 | 25 | 784 |1186 | 784 | 84 | 51 | 584k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1095.72/1095.76 c 1096s| 1290k| 1196k| 9825k| 7.6 |1419M| 95 | 24 | 784 |1388 | 784 | 84 | 51 | 588k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1104.63/1104.63 c 1105s| 1300k| 1205k| 9906k| 7.6 |1430M| 95 | 20 | 784 |1430 | 784 | 84 | 51 | 592k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1113.24/1113.22 c 1113s| 1310k| 1215k| 9984k| 7.6 |1442M| 95 | 22 | 784 |1201 | 784 | 84 | 51 | 595k| 25k|-2.009473e+04 |-1.638400e+04 | 18.47%
1121.53/1121.56 c 1122s| 1320k| 1224k| 10058k| 7.6 |1453M| 95 | 23 | 784 |1603 | 784 | 84 | 51 | 601k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1129.53/1129.57 c 1130s| 1330k| 1233k| 10125k| 7.6 |1464M| 95 | 28 | 784 |1139 | 784 | 84 | 51 | 606k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1137.83/1137.81 c 1138s| 1340k| 1243k| 10198k| 7.6 |1475M| 95 | 23 | 784 |1074 | 784 | 84 | 51 | 610k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1145.92/1145.90 c 1146s| 1350k| 1252k| 10267k| 7.6 |1487M| 95 | 24 | 784 |1213 | 784 | 84 | 51 | 613k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1154.23/1154.23 c 1154s| 1360k| 1262k| 10339k| 7.6 |1499M| 95 | 17 | 784 |1404 | 784 | 84 | 51 | 618k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1162.83/1162.83 c 1163s| 1370k| 1272k| 10415k| 7.6 |1510M| 95 | 22 | 784 |1467 | 784 | 84 | 51 | 621k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1171.32/1171.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.32/1171.33 c 1171s| 1380k| 1281k| 10489k| 7.6 |1521M| 95 | 18 | 784 |1202 | 784 | 84 | 51 | 626k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1179.83/1179.85 c 1180s| 1390k| 1291k| 10566k| 7.6 |1533M| 95 | - | 784 |1310 | 784 | 84 | 51 | 630k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1188.33/1188.36 c 1188s| 1400k| 1299k| 10642k| 7.6 |1544M| 95 | 25 | 784 |1275 | 784 | 84 | 51 | 636k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1196.74/1196.72 c 1197s| 1410k| 1309k| 10718k| 7.6 |1556M| 95 | 25 | 784 |1378 | 784 | 84 | 51 | 639k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1205.13/1205.13 c 1205s| 1420k| 1319k| 10792k| 7.6 |1568M| 95 | 24 | 784 |1202 | 784 | 84 | 51 | 642k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1213.24/1213.30 c 1213s| 1430k| 1329k| 10863k| 7.6 |1579M| 95 | 23 | 784 |1234 | 784 | 84 | 51 | 646k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1221.63/1221.66 c 1222s| 1440k| 1338k| 10934k| 7.6 |1591M| 95 | 19 | 784 |1263 | 784 | 84 | 51 | 650k| 26k|-2.009473e+04 |-1.638400e+04 | 18.47%
1230.13/1230.19 c 1230s| 1450k| 1348k| 11009k| 7.6 |1602M| 95 | 25 | 784 |1446 | 784 | 84 | 51 | 654k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1238.64/1238.69 c 1239s| 1460k| 1357k| 11083k| 7.6 |1614M| 95 | - | 784 |1469 | 784 | 84 | 51 | 658k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1247.13/1247.14 c 1247s| 1470k| 1367k| 11158k| 7.6 |1625M| 95 | 22 | 784 |1486 | 784 | 84 | 51 | 664k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1255.53/1255.58 c 1256s| 1480k| 1377k| 11232k| 7.6 |1637M| 95 | 23 | 784 |1441 | 784 | 84 | 51 | 667k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1263.94/1263.96 c 1264s| 1490k| 1386k| 11308k| 7.6 |1648M| 95 | - | 784 |1492 | 784 | 84 | 51 | 672k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1272.23/1272.29 c 1272s| 1500k| 1395k| 11383k| 7.6 |1659M| 95 | 23 | 784 |1583 | 784 | 84 | 51 | 677k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1280.83/1280.85 c 1281s| 1510k| 1405k| 11460k| 7.6 |1671M| 95 | 29 | 784 |1474 | 784 | 84 | 51 | 681k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1289.14/1289.12 c 1289s| 1520k| 1415k| 11531k| 7.6 |1683M| 95 | 21 | 784 |1474 | 784 | 84 | 51 | 684k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1297.33/1297.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.33/1297.38 c 1297s| 1530k| 1424k| 11603k| 7.6 |1694M| 95 | 19 | 784 |1112 | 784 | 84 | 51 | 688k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1305.74/1305.77 c 1306s| 1540k| 1434k| 11675k| 7.6 |1706M| 95 | 24 | 784 |1366 | 784 | 84 | 51 | 692k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1314.44/1314.43 c 1314s| 1550k| 1444k| 11751k| 7.6 |1717M| 95 | 25 | 784 |1436 | 784 | 84 | 51 | 696k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1323.24/1323.22 c 1323s| 1560k| 1453k| 11831k| 7.6 |1729M| 95 | 23 | 784 |1466 | 784 | 84 | 51 | 701k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1331.84/1331.86 c 1332s| 1570k| 1462k| 11910k| 7.6 |1740M| 95 | 25 | 784 |1383 | 784 | 84 | 51 | 705k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1340.44/1340.41 c 1340s| 1580k| 1472k| 11988k| 7.6 |1752M| 95 | 24 | 784 |1318 | 784 | 84 | 51 | 709k| 27k|-2.009473e+04 |-1.638400e+04 | 18.47%
1349.04/1349.08 c 1349s| 1590k| 1481k| 12067k| 7.6 |1763M| 95 | 18 | 784 |1356 | 784 | 84 | 51 | 714k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1357.73/1357.72 c 1358s| 1600k| 1490k| 12144k| 7.6 |1774M| 95 | 19 | 784 |1362 | 784 | 84 | 51 | 720k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1366.15/1366.17 c 1366s| 1610k| 1500k| 12220k| 7.6 |1785M| 95 | 24 | 784 |1337 | 784 | 84 | 51 | 725k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1374.63/1374.61 c 1375s| 1620k| 1510k| 12294k| 7.6 |1797M| 95 | 13 | 784 |1345 | 784 | 84 | 51 | 729k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1382.94/1382.98 c 1383s| 1630k| 1519k| 12367k| 7.6 |1808M| 95 | 26 | 784 |1758 | 784 | 84 | 51 | 733k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1391.33/1391.36 c 1391s| 1640k| 1529k| 12440k| 7.6 |1820M| 95 | 23 | 784 |1332 | 784 | 84 | 51 | 737k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1399.64/1399.66 c 1400s| 1650k| 1539k| 12511k| 7.6 |1832M| 95 | 19 | 784 |1442 | 784 | 84 | 51 | 741k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1408.23/1408.27 c 1408s| 1660k| 1548k| 12588k| 7.6 |1843M| 95 | 21 | 784 |1589 | 784 | 84 | 51 | 745k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1416.85/1416.84 c 1417s| 1670k| 1557k| 12665k| 7.6 |1854M| 95 | 15 | 784 |1568 | 784 | 84 | 51 | 750k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1425.44/1425.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.44/1425.49 c 1425s| 1680k| 1566k| 12743k| 7.6 |1865M| 95 | 23 | 784 |1455 | 784 | 84 | 51 | 756k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1434.04/1434.07 c 1434s| 1690k| 1576k| 12822k| 7.6 |1877M| 95 | 25 | 784 |1417 | 784 | 84 | 51 | 759k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1442.63/1442.60 c 1443s| 1700k| 1585k| 12897k| 7.6 |1888M| 95 | 23 | 784 |1576 | 784 | 84 | 51 | 766k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1451.23/1451.26 c 1451s| 1710k| 1594k| 12976k| 7.6 |1899M| 95 | 19 | 784 |1320 | 784 | 84 | 51 | 771k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1459.93/1459.90 c 1460s| 1720k| 1604k| 13055k| 7.6 |1910M| 95 | 32 | 784 |1436 | 784 | 84 | 51 | 776k| 28k|-2.009473e+04 |-1.638400e+04 | 18.47%
1468.34/1468.41 c 1468s| 1730k| 1613k| 13131k| 7.6 |1922M| 95 | 19 | 784 |1535 | 784 | 84 | 51 | 781k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1476.84/1476.83 c 1477s| 1740k| 1623k| 13205k| 7.6 |1933M| 95 | 24 | 784 |1393 | 784 | 84 | 51 | 784k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1485.24/1485.22 c 1485s| 1750k| 1632k| 13278k| 7.6 |1945M| 95 | 14 | 784 |1316 | 784 | 84 | 51 | 788k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1493.54/1493.56 c 1494s| 1760k| 1642k| 13352k| 7.6 |1956M| 95 | 22 | 784 |1417 | 784 | 84 | 51 | 792k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1502.14/1502.15 c 1502s| 1770k| 1652k| 13427k| 7.6 |1968M| 95 | 16 | 784 |1313 | 784 | 84 | 51 | 796k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1510.54/1510.58 c 1511s| 1780k| 1661k| 13503k| 7.6 |1979M| 95 | 22 | 784 |1573 | 784 | 84 | 51 | 801k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1519.15/1519.14 c 1519s| 1790k| 1671k| 13581k| 7.6 |1991M| 95 | 20 | 784 |1358 | 784 | 84 | 51 | 805k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1527.74/1527.79 c 1528s| 1800k| 1680k| 13659k| 7.6 |2002M| 95 | 22 | 784 |1406 | 784 | 84 | 51 | 809k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1536.44/1536.45 c 1536s| 1810k| 1690k| 13739k| 7.6 |2013M| 95 | 22 | 784 |1229 | 784 | 84 | 51 | 814k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1545.24/1545.24 c 1545s| 1820k| 1699k| 13820k| 7.6 |2025M| 95 | 25 | 784 |1179 | 784 | 84 | 51 | 818k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1553.74/1553.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.74/1553.73 c 1554s| 1830k| 1709k| 13895k| 7.6 |2037M| 95 | 26 | 784 |1348 | 784 | 84 | 51 | 821k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1562.44/1562.40 c 1562s| 1840k| 1719k| 13970k| 7.6 |2048M| 95 | 22 | 784 |1471 | 784 | 84 | 51 | 824k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1571.04/1571.01 c 1571s| 1850k| 1729k| 14046k| 7.6 |2060M| 95 | 24 | 784 |1571 | 784 | 84 | 51 | 828k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1579.84/1579.80 c 1580s| 1860k| 1738k| 14126k| 7.6 |2072M| 95 | 22 | 784 |1453 | 784 | 84 | 51 | 832k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1588.45/1588.45 c 1588s| 1870k| 1748k| 14203k| 7.6 |2083M| 95 | 22 | 784 |1242 | 784 | 84 | 51 | 836k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1597.04/1597.06 c 1597s| 1880k| 1757k| 14280k| 7.6 |2094M| 95 | 22 | 784 |1425 | 784 | 84 | 51 | 841k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1605.85/1605.84 c 1606s| 1890k| 1767k| 14360k| 7.6 |2105M| 95 | 30 | 784 |1188 | 784 | 84 | 51 | 845k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1614.34/1614.39 c 1614s| 1900k| 1776k| 14439k| 7.6 |2117M| 95 | 14 | 784 |1700 | 784 | 84 | 51 | 850k| 29k|-2.009473e+04 |-1.638400e+04 | 18.47%
1623.24/1623.21 c 1623s| 1910k| 1786k| 14518k| 7.6 |2128M| 95 | 20 | 784 |1562 | 784 | 84 | 51 | 853k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1631.84/1631.82 c 1632s| 1920k| 1795k| 14595k| 7.6 |2140M| 95 | 25 | 784 |1638 | 784 | 84 | 51 | 857k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1640.35/1640.32 c 1640s| 1930k| 1805k| 14669k| 7.6 |2152M| 95 | 23 | 784 |1348 | 784 | 84 | 51 | 861k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1648.95/1648.99 c 1649s| 1940k| 1815k| 14747k| 7.6 |2163M| 95 | 21 | 784 |1257 | 784 | 84 | 51 | 865k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1657.65/1657.67 c 1658s| 1950k| 1824k| 14825k| 7.6 |2174M| 95 | 23 | 784 |1337 | 784 | 84 | 51 | 869k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1666.14/1666.13 c 1666s| 1960k| 1834k| 14901k| 7.6 |2186M| 95 | 21 | 784 |1247 | 784 | 84 | 51 | 874k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1674.74/1674.77 c 1675s| 1970k| 1843k| 14980k| 7.6 |2197M| 95 | 20 | 784 |1522 | 784 | 84 | 51 | 878k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1683.74/1683.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.74/1683.73 c 1684s| 1980k| 1853k| 15062k| 7.6 |2208M| 95 | 28 | 784 |1191 | 784 | 84 | 51 | 882k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1692.24/1692.20 c 1692s| 1990k| 1862k| 15137k| 7.6 |2220M| 95 | 22 | 784 |1573 | 784 | 84 | 51 | 886k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1700.66/1700.66 c 1701s| 2000k| 1872k| 15210k| 7.6 |2231M| 95 | 19 | 784 |1506 | 784 | 84 | 51 | 891k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1709.24/1709.31 c 1709s| 2010k| 1881k| 15286k| 7.6 |2243M| 95 | 26 | 784 |1680 | 784 | 84 | 51 | 895k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1717.94/1717.92 c 1718s| 2020k| 1891k| 15365k| 7.6 |2254M| 95 | 22 | 784 |1661 | 784 | 84 | 51 | 900k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1726.75/1726.73 c 1727s| 2030k| 1901k| 15445k| 7.6 |2266M| 95 | 23 | 784 |1248 | 784 | 84 | 51 | 903k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1735.45/1735.42 c 1735s| 2040k| 1910k| 15521k| 7.6 |2277M| 95 | 25 | 784 |1377 | 784 | 84 | 51 | 909k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1744.04/1744.06 c 1744s| 2050k| 1919k| 15597k| 7.6 |2288M| 95 | 19 | 784 |1570 | 784 | 84 | 51 | 913k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1752.45/1752.47 c 1752s| 2060k| 1929k| 15670k| 7.6 |2300M| 95 | 28 | 784 |1550 | 784 | 84 | 51 | 918k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1761.45/1761.49 c 1761s| 2070k| 1938k| 15752k| 7.6 |2311M| 95 | 25 | 784 |1387 | 784 | 84 | 51 | 922k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1770.35/1770.32 c 1770s| 2080k| 1948k| 15834k| 7.6 |2322M| 95 | 20 | 784 |1590 | 784 | 84 | 51 | 927k| 30k|-2.009473e+04 |-1.638400e+04 | 18.47%
1778.85/1778.84 c 1779s| 2090k| 1957k| 15910k| 7.6 |2333M| 95 | 20 | 784 |1325 | 784 | 84 | 51 | 932k| 31k|-2.009473e+04 |-1.638400e+04 | 18.47%
1787.75/1787.71 c 1788s| 2100k| 1966k| 15989k| 7.6 |2344M| 95 | 28 | 784 |1134 | 784 | 84 | 51 | 936k| 31k|-2.009473e+04 |-1.638400e+04 | 18.47%
1796.45/1796.45 c 1796s| 2110k| 1976k| 16069k| 7.6 |2356M| 95 | 21 | 784 |1202 | 784 | 84 | 51 | 940k| 31k|-2.009473e+04 |-1.638400e+04 | 18.47%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 2114204
1800.05/1800.00 c Primal Bound : -1.63840000000000e+04 (35 solutions)
1800.05/1800.00 c Dual Bound : -2.00947269110543e+04
1800.05/1800.00 c Gap : 18.47 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x383 -x329 -x277 -x382 -x328 -x276 -x381 -x327 -x274 -x380 -x326 -x273 -x379 -x325 -x272 x223 x222 -x221 x220 -x218 -x378 -x324
1800.05/1800.00 v -x271 -x217 -x377 -x323 -x270 -x216 -x762 -x376 -x322 -x269 -x215 -x374 -x321 -x268 -x214 -x373 -x320 -x267 -x213 -x372 -x318
1800.05/1800.00 v -x266 -x212 -x371 -x317 -x265 -x211 -x370 -x316 -x263 -x210 -x369 -x315 x262 -x209 -x368 -x314 -x261 -x207 -x174 -x173 -x172
1800.05/1800.00 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x163 -x162 -x161 -x160 -x159 -x367 -x313 x260 -x206 -x158 -x366 -x312 x259 -x205
1800.05/1800.00 v -x157 -x365 -x311 -x258 -x204 -x156 -x363 -x310 -x257 -x203 -x155 -x362 -x309 -x256 -x202 -x154 -x761 -x361 -x307 -x255 -x201
1800.05/1800.00 v -x152 -x360 -x306 -x254 -x200 -x151 -x359 -x305 -x252 -x199 -x150 x358 -x304 -x251 -x198 -x149 x357 -x303 -x250 -x196 -x148
1800.05/1800.00 v -x121 -x120 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1800.05/1800.00 v x98 -x96 -x95 -x94 -x760 -x759 x356 -x302 -x249 -x195 -x147 -x93 -x355 -x301 -x248 -x194 -x146 x92 -x354 -x300 -x247 -x193
1800.05/1800.00 v -x145 x91 -x351 -x299 -x246 -x192 -x144 x90 -x350 -x298 -x245 -x191 x143 -x89 -x349 -x296 -x244 -x190 x141 -x88 -x758 -x348 -x295
1800.05/1800.00 v -x243 -x189 -x140 -x87 -x347 -x294 -x240 -x188 -x139 -x85 -x346 x293 -x239 -x187 -x138 -x84 -x345 -x292 -x238 -x185 -x137
1800.05/1800.00 v -x83 -x68 -x67 -x66 -x65 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x52 -x51 -x50 -x49 x48 x47 -x46 -x45 -x44 -x43
1800.05/1800.00 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x757 -x344 -x291 -x237 -x136 -x82 -x30 -x756 -x343 x290 -x236 -x135 -x81 -x29
1800.05/1800.00 v -x755 -x342 -x289 -x235 -x134 -x80 -x28 -x754 -x340 -x288 -x234 -x133 -x79 -x27 -x339 -x287 -x233 -x184 -x132 -x78 -x26 -x338
1800.05/1800.00 v -x285 -x232 -x183 -x129 -x77 -x25 -x337 -x284 -x231 -x182 -x128 -x76 x24 -x336 -x283 -x229 -x181 -x127 -x74 -x23 -x335 -x282
1800.05/1800.00 v -x228 -x180 -x126 -x73 -x22 -x334 -x281 -x227 -x179 x125 -x72 -x21 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x776 -x775
1800.05/1800.00 v -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x765 -x764 -x763 -x752 -x741 -x730 -x719 -x708 -x697 -x686 -x674 -x663 -x652
1800.05/1800.00 v -x641 x630 x619 -x608 -x597 -x586 -x575 -x563 -x552 -x541 -x530 -x519 x508 -x497 -x486 -x333 -x280 -x226 -x178 -x124 -x71 -x787
1800.05/1800.00 v -x475 -x332 -x279 -x225 -x177 -x123 -x70 -x786 -x464 -x753 -x331 -x278 -x224 -x176 -x122 -x69 -x785 -x452 -x751 -x750 -x749
1800.05/1800.00 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x740 -x739 -x738 -x737 x736 -x735 -x734 x733 -x732 -x731 -x729 -x728 -x727 -x726
1800.05/1800.00 v -x725 -x724 -x723 -x722 -x721 -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x707 -x706 -x705 -x704 -x703
1800.05/1800.00 v -x702 -x701 -x700 -x699 -x698 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x684 -x683 -x682 -x681 -x680 -x679
1800.05/1800.00 v -x678 -x677 -x676 -x675 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x662 -x661 -x660 -x659 x658 x657 -x656
1800.05/1800.00 v -x655 -x654 -x653 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
1800.05/1800.00 v -x632 -x631 -x629 -x628 -x627 -x626 -x625 x624 -x623 x622 -x621 -x620 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1800.05/1800.00 v -x609 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587
1800.05/1800.00 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x562
1800.05/1800.00 v -x561 -x560 -x559 -x558 -x557 x556 x555 -x554 -x553 -x551 x550 x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x540 -x539
1800.05/1800.00 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x518 -x517 -x516
1800.05/1800.00 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x496 -x495 -x494 x493
1800.05/1800.00 v -x492 x491 -x490 -x489 -x488 -x487 x485 -x484 x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 -x474 -x473 -x472 -x471 -x470 -x469
1800.05/1800.00 v -x468 -x467 -x466 -x465 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x451 -x450 -x449 -x448 -x447 -x446
1800.05/1800.00 v -x445 -x444 -x443 -x442 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x429 x428 x427 -x426 -x425 x424 -x423 -x422
1800.05/1800.00 v -x421 -x420 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399
1800.05/1800.00 v -x398 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x385 -x384 -x441 -x430 -x419 -x408 -x397 -x386 -x375
1800.05/1800.00 v -x364 x353 x341 -x330 x319 x308 -x297 -x286 -x275 -x264 -x253 -x242 -x230 -x219 -x208 -x197 -x186 -x175 -x164 -x153 -x142 -x131
1800.05/1800.00 v -x119 -x108 -x97 -x86 -x75 -x64 -x53 -x42 -x31 -x20 -x777 -x766 -x685 -x574 -x463 -x352 -x241 -x130 -x19 -x18 -x17 -x16 x15
1800.05/1800.00 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.01 (included in solving)
1800.05/1800.00 c reading : 0.00 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3450989-1307076268.opb
1800.05/1800.00 c Variables : 787 (787 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 65 initial, 65 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3450989-1307076268.opb
1800.05/1800.00 c Variables : 784 (784 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 64 initial, 3557 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 1 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 2 0 0 2 0 1 0 2 2
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 5 - - 5 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 2048321 0 41 0 73 1084 0 0 4094418
1800.05/1800.00 c knapsack : 16 8 6395417 0 1 38 265897 23404 11072 229 0 0
1800.05/1800.00 c setppc : 48 8 6370818 0 1 37 14015086 35534 25134201 0 0 0
1800.05/1800.00 c linear : 0+ 1 1 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c logicor : 0+ 0 988917 0 0 0 5966 190 29976 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1 37 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 39.66 0.00 0.00 39.66 0.00 0.00 0.00
1800.05/1800.00 c knapsack : 39.15 0.03 37.66 0.00 0.00 0.00 1.46
1800.05/1800.00 c setppc : 54.22 0.00 50.77 0.00 0.00 0.00 3.45
1800.05/1800.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c logicor : 16.48 0.00 16.45 0.00 0.00 0.00 0.03
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 0 0 0 0
1800.05/1800.00 c pseudoobj : 6399452 0 4149 3
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 1.17 1.17 0.00
1800.05/1800.00 c rootredcost : 1.35 1.35 0.00
1800.05/1800.00 c pseudoobj : 6.88 6.88 0.00
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 26.44 63277 63275 2403802 90.3 194 100.3 -
1800.05/1800.00 c infeasible LP : 24.98 119370 70760 1010445 82.3 7 93.6 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 939170 55.9 - - -
1800.05/1800.00 c applied locally : - - - 3894 90.1 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 6 - - 79 - (maximal pool size: 227)
1800.05/1800.00 c redcost : 52.42 2051682 0 119738 0 0
1800.05/1800.00 c impliedbounds : 0.00 7 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.03 7 0 0 1 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.03 7 0 0 1 0
1800.05/1800.00 c cmir : 0.02 7 0 0 84 0
1800.05/1800.00 c flowcover : 0.07 7 0 0 142 0
1800.05/1800.00 c clique : 0.00 7 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 1 0 0 0 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.08 1 0 1 0 13
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 38.30 2048321 73 1084 0 0 4094418
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.98 2 0
1800.05/1800.00 c crossover : 1.01 5 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c shiftandpropagate: 0.00 1 1
1800.05/1800.00 c simplerounding : 1.02 263570 0
1800.05/1800.00 c zirounding : 10.43 0 0
1800.05/1800.00 c rounding : 2.05 69505 1
1800.05/1800.00 c shifting : 3.03 6351 0
1800.05/1800.00 c intshifting : 0.05 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.41 22 0
1800.05/1800.00 c clique : 0.00 0 0
1800.05/1800.00 c coefdiving : 84.47 12485 0
1800.05/1800.00 c pscostdiving : 105.58 4772 0
1800.05/1800.00 c fracdiving : 128.22 5567 0
1800.05/1800.00 c veclendiving : 52.61 5685 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 10.40 2368 12
1800.05/1800.00 c rootsoldiving : 7.97 814 21
1800.05/1800.00 c linesearchdiving : 65.90 7734 0
1800.05/1800.00 c guideddiving : 121.09 4129 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.01 1 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c vbounds : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c subnlp : 0.36 0 0
1800.05/1800.00 c trysol : 0.55 0 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 669.10 2094762 12150244 5.80 18158.96
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 344.07 1781789 3950737 2.22 11482.25
1800.05/1800.00 c strong branching : 17.18 31239 285064 9.13 16596.18
1800.05/1800.00 c (at root node) : - 42 937 22.31 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2114204
1800.05/1800.00 c nodes (total) : 2114204
1800.05/1800.00 c nodes left : 1980165
1800.05/1800.00 c max depth : 95
1800.05/1800.00 c max depth (total): 95
1800.05/1800.00 c backtracks : 210726 (10.0%)
1800.05/1800.00 c delayed cutoffs : 52
1800.05/1800.00 c repropagations : 38931 (35989 domain reductions, 52 cutoffs)
1800.05/1800.00 c avg switch length: 5.97
1800.05/1800.00 c switching time : 140.83
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 35 (2 improvements)
1800.05/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 1 nodes, 0.02 seconds, depth 67, found by <shiftandpropagate>)
1800.05/1800.00 c Primal Bound : -1.63840000000000e+04 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <rounding>)
1800.05/1800.00 c Dual Bound : -2.00947269110543e+04
1800.05/1800.00 c Gap : 18.47 %
1800.05/1800.00 c Root Dual Bound : -2.02863032139379e+04
1800.05/1800.00 c Root Iterations : 2313
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450989-1307076268/watcher-3450989-1307076268 -o /tmp/evaluation-result-3450989-1307076268/solver-3450989-1307076268 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450989-1307076268.opb -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.03 2.01 2.00 2/327 17683
/proc/meminfo: memFree=23965676/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=18240 CPUtime=0 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 3284 0 0 0 0 0 0 0 25 0 1 0 897857424 18677760 3236 33554432000 4194304 9163163 140736908575024 18446744073709551615 5168384 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 4560 3238 474 1214 0 3342 0
[startup+0.0835699 s]
/proc/loadavg: 2.03 2.01 2.00 2/327 17683
/proc/meminfo: memFree=23965676/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=30040 CPUtime=0.07 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 6710 0 0 0 7 0 0 0 25 0 1 0 897857424 30760960 6405 33554432000 4194304 9163163 140736908575024 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 7546 6415 687 1214 0 6328 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30040
[startup+0.100586 s]
/proc/loadavg: 2.03 2.01 2.00 2/327 17683
/proc/meminfo: memFree=23965676/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=38416 CPUtime=0.09 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 8492 0 0 0 8 1 0 0 25 0 1 0 897857424 39337984 8187 33554432000 4194304 9163163 140736908575024 18446744073709551615 8013931 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 9604 8187 705 1214 0 8386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38416
[startup+0.300545 s]
/proc/loadavg: 2.03 2.01 2.00 2/327 17683
/proc/meminfo: memFree=23965676/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=36380 CPUtime=0.29 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 8859 0 0 0 28 1 0 0 25 0 1 0 897857424 37253120 7848 33554432000 4194304 9163163 140736908575024 18446744073709551615 6494337 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 9095 7848 715 1214 0 7877 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36380
[startup+0.700472 s]
/proc/loadavg: 2.03 2.01 2.00 2/327 17683
/proc/meminfo: memFree=23965676/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=38604 CPUtime=0.69 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 9340 0 0 0 68 1 0 0 25 0 1 0 897857424 39530496 8329 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 9651 8329 729 1214 0 8433 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38604
[startup+1.50032 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 17684
/proc/meminfo: memFree=23934916/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=38604 CPUtime=1.49 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 9342 0 0 0 146 3 0 0 25 0 1 0 897857424 39530496 8331 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 9651 8331 731 1214 0 8433 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38604
[startup+3.10103 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 17684
/proc/meminfo: memFree=23934272/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=38604 CPUtime=3.09 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 9343 0 0 0 303 6 0 0 25 0 1 0 897857424 39530496 8332 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 9651 8332 731 1214 0 8433 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38604
[startup+6.30045 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 17684
/proc/meminfo: memFree=23934272/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=38604 CPUtime=6.29 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 9351 0 0 0 618 11 0 0 25 0 1 0 897857424 39530496 8340 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 9651 8340 731 1214 0 8433 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38604
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 17684
/proc/meminfo: memFree=23929116/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=42572 CPUtime=12.69 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 10596 0 0 0 1248 21 0 0 25 0 1 0 897857424 43593728 9585 33554432000 4194304 9163163 140736908575024 18446744073709551615 6923170 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 10643 9585 731 1214 0 9425 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42572
[startup+25.5009 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 17684
/proc/meminfo: memFree=23911492/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=59940 CPUtime=25.5 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 15025 0 0 0 2510 40 0 0 25 0 1 0 897857424 61378560 14014 33554432000 4194304 9163163 140736908575024 18446744073709551615 6890039 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 14985 14014 731 1214 0 13767 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 59940
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 17685
/proc/meminfo: memFree=23875620/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=91540 CPUtime=51.09 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 23037 0 0 0 5029 80 0 0 25 0 1 0 897857424 93736960 22026 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 22885 22026 731 1214 0 21667 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 91540
[startup+102.312 s]
/proc/loadavg: 2.04 2.02 2.00 3/328 17687
/proc/meminfo: memFree=23808256/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=157304 CPUtime=102.31 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 61846 0 0 0 10071 160 0 0 25 0 1 0 897857424 161079296 38177 33554432000 4194304 9163163 140736908575024 18446744073709551615 5076048 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 39326 38177 731 1214 0 38108 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 157304
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 17688
/proc/meminfo: memFree=23729992/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=233556 CPUtime=162.3 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 90563 0 0 0 15986 244 0 0 25 0 1 0 897857424 239161344 57499 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 58389 57499 731 1214 0 57171 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 233556
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17690
/proc/meminfo: memFree=23650608/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=314424 CPUtime=222.29 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 110017 0 0 0 21895 334 0 0 25 0 1 0 897857424 321970176 76952 33554432000 4194304 9163163 140736908575024 18446744073709551615 4911680 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 78606 76952 731 1214 0 77388 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 314424
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17691
/proc/meminfo: memFree=23581880/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=390496 CPUtime=282.3 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 129297 0 0 0 27802 428 0 0 25 0 1 0 897857424 399867904 96230 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 97624 96230 731 1214 0 96406 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 390496
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17693
/proc/meminfo: memFree=23501600/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=468660 CPUtime=342.3 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 152923 0 0 0 33708 522 0 0 25 0 1 0 897857424 479907840 116037 33554432000 4194304 9163163 140736908575024 18446744073709551615 6501014 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 117165 116037 731 1214 0 115947 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 468660
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17694
/proc/meminfo: memFree=23425032/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=545436 CPUtime=402.31 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 172461 0 0 0 39622 609 0 0 25 0 1 0 897857424 558526464 135574 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 136359 135574 852 1214 0 135141 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 545436
[startup+462.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/328 17696
/proc/meminfo: memFree=23347484/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=629624 CPUtime=462.31 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 191730 0 0 0 45531 700 0 0 25 0 1 0 897857424 644734976 154843 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 157406 154843 852 1214 0 156188 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 629624
[startup+522.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/328 17698
/proc/meminfo: memFree=23267972/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=708592 CPUtime=522.3 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 211734 0 0 0 51447 783 0 0 25 0 1 0 897857424 725598208 174846 33554432000 4194304 9163163 140736908575024 18446744073709551615 4710495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 177148 174846 852 1214 0 175930 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 708592
[startup+582.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/328 17699
/proc/meminfo: memFree=23189816/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=784020 CPUtime=582.31 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 230850 0 0 0 57360 871 0 0 25 0 1 0 897857424 802836480 193960 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 196005 193960 852 1214 0 194787 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 784020
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.95 2.00 1.99 3/328 17735
/proc/meminfo: memFree=22997208/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=1164568 CPUtime=882.32 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 331188 0 0 0 86919 1313 0 0 25 0 1 0 897857424 1192517632 290360 33554432000 4194304 9163163 140736908575024 18446744073709551615 4793058 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 291142 290360 852 1214 0 289924 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1164568
[startup+942.301 s]
/proc/loadavg: 1.98 2.00 1.99 3/328 17737
/proc/meminfo: memFree=22920976/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=1254904 CPUtime=942.32 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 349919 0 0 0 92830 1402 0 0 25 0 1 0 897857424 1285021696 309091 33554432000 4194304 9163163 140736908575024 18446744073709551615 4246763 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 313726 309091 852 1214 0 312508 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1254904
[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/328 17748
/proc/meminfo: memFree=22844916/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=1330136 CPUtime=1002.32 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 368971 0 0 0 98738 1494 0 0 25 0 1 0 897857424 1362059264 328143 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 332534 328143 852 1214 0 331316 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1330136
[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/328 17749
/proc/meminfo: memFree=22765824/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=1407484 CPUtime=1062.32 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 388563 0 0 0 104650 1582 0 0 25 0 1 0 897857424 1441263616 347734 33554432000 4194304 9163163 140736908575024 18446744073709551615 6498236 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 351871 347734 852 1214 0 350653 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1407484
[startup+1122.3 s]
/proc/loadavg: 2.14 2.03 2.00 3/328 17751
/proc/meminfo: memFree=22685072/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=1486608 CPUtime=1122.33 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 408614 0 0 0 110563 1670 0 0 25 0 1 0 897857424 1522286592 367785 33554432000 4194304 9163163 140736908575024 18446744073709551615 6480285 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 371652 367785 852 1214 0 370434 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1486608
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/328 17752
/proc/meminfo: memFree=22600216/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=1569604 CPUtime=1182.33 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 429634 0 0 0 116479 1754 0 0 25 0 1 0 897857424 1607274496 388805 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 392401 388805 852 1214 0 391183 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1569604
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/328 17754
/proc/meminfo: memFree=22518588/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=1649192 CPUtime=1242.33 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 449787 0 0 0 122393 1840 0 0 25 0 1 0 897857424 1688772608 408958 33554432000 4194304 9163163 140736908575024 18446744073709551615 4520061 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 412298 408958 852 1214 0 411080 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1649192
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17756
/proc/meminfo: memFree=22436956/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=1727680 CPUtime=1302.34 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 469674 0 0 0 128306 1928 0 0 25 0 1 0 897857424 1769144320 428845 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 431920 428845 852 1214 0 430702 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1727680
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/328 17757
/proc/meminfo: memFree=22358192/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=1806788 CPUtime=1362.33 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 489713 0 0 0 134221 2012 0 0 25 0 1 0 897857424 1850150912 448884 33554432000 4194304 9163163 140736908575024 18446744073709551615 6687801 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 451697 448884 852 1214 0 450479 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1806788
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 17759
/proc/meminfo: memFree=22277192/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=1886124 CPUtime=1422.35 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 515061 0 0 0 140138 2097 0 0 25 0 1 0 897857424 1931390976 468955 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 471531 468955 852 1214 0 470313 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1886124
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17760
/proc/meminfo: memFree=22195564/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=1965660 CPUtime=1482.34 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 535228 0 0 0 146051 2183 0 0 25 0 1 0 897857424 2012835840 489122 33554432000 4194304 9163163 140736908575024 18446744073709551615 6889632 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 491415 489122 852 1214 0 490197 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1965660
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17762
/proc/meminfo: memFree=22116420/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=2042428 CPUtime=1542.34 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 554681 0 0 0 151964 2270 0 0 25 0 1 0 897857424 2091446272 508575 33554432000 4194304 9163163 140736908575024 18446744073709551615 6781455 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 510607 508575 852 1214 0 509389 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2042428
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17764
/proc/meminfo: memFree=22039008/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=2119244 CPUtime=1602.34 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 574133 0 0 0 157882 2352 0 0 25 0 1 0 897857424 2170105856 528027 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 529811 528027 852 1214 0 528593 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2119244
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17765
/proc/meminfo: memFree=21958760/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=2198464 CPUtime=1662.35 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 594196 0 0 0 163791 2444 0 0 25 0 1 0 897857424 2251227136 548090 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 549616 548090 852 1214 0 548398 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2198464
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/328 17767
/proc/meminfo: memFree=21879732/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=2276656 CPUtime=1722.35 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 614008 0 0 0 169705 2530 0 0 25 0 1 0 897857424 2331295744 567902 33554432000 4194304 9163163 140736908575024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 569164 567902 852 1214 0 567946 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2276656
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 17768
/proc/meminfo: memFree=21801204/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=2352508 CPUtime=1782.35 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 633218 0 0 0 175620 2615 0 0 25 0 1 0 897857424 2408968192 587112 33554432000 4194304 9163163 140736908575024 18446744073709551615 7240272 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17683/statm: 588127 587112 852 1214 0 586909 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2352508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/328 17769
/proc/meminfo: memFree=21778636/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=2374204 CPUtime=1800.06 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4202496 638722 0 0 0 177365 2641 0 0 25 0 1 0 897857424 2431184896 592616 33554432000 4194304 9163163 140736908575024 18446744073709551615 4807035 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17683/statm: 593551 592616 857 1214 0 592333 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2374204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.01 2.00 2.00 3/328 17769
/proc/meminfo: memFree=21778636/32951124 swapFree=67056304/67111528
[pid=17683] ppid=17681 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/17683/stat : 17683 (scip-2.0.1.4b.l) R 17681 17683 15734 0 -1 4203524 638722 0 0 0 177365 2651 0 0 25 0 1 0 897857424 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17683/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.18
CPU user time (s): 1773.66
CPU system time (s): 26.524
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2374204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.66
system time used= 26.524
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 638722
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= 5
involuntary context switches= 2247
runsolver used 5.82211 second user time and 12.2111 second system time
The end