0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3732479-1338691223.opb>
0.08/0.11 c original problem has 3862 variables (3862 bin, 0 int, 0 impl, 0 cont) and 16399 constraints
0.08/0.11 c problem read
0.08/0.11 c presolving settings loaded
0.08/0.14 c presolving:
0.08/0.19 c (round 1) 710 del vars, 720 del conss, 710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36384 impls, 0 clqs
0.18/0.21 c (round 2) 753 del vars, 2214 del conss, 738 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43208 impls, 0 clqs
0.18/0.22 c (round 3) 795 del vars, 2450 del conss, 780 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43516 impls, 0 clqs
0.18/0.23 c (round 4) 855 del vars, 2664 del conss, 822 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 45724 impls, 0 clqs
0.18/0.24 c (round 5) 924 del vars, 3067 del conss, 872 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 46764 impls, 0 clqs
0.18/0.25 c (round 6) 948 del vars, 3190 del conss, 896 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 47482 impls, 0 clqs
0.18/0.26 c (round 7) 955 del vars, 3240 del conss, 903 chg bounds, 10 chg sides, 18 chg coeffs, 0 upgd conss, 48506 impls, 0 clqs
0.18/0.27 c (round 8) 961 del vars, 3267 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48700 impls, 0 clqs
0.18/0.28 c (round 9) 961 del vars, 3270 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48946 impls, 0 clqs
0.28/0.37 c (round 10) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10332 upgd conss, 48946 impls, 0 clqs
0.28/0.39 c (round 11) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 48946 impls, 0 clqs
0.38/0.43 c (round 12) 1011 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 52844 impls, 0 clqs
0.38/0.43 c (round 13) 1011 del vars, 6132 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 53250 impls, 0 clqs
0.38/0.45 c (round 14) 1011 del vars, 6140 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 53250 impls, 0 clqs
0.48/0.50 c (round 15) 1061 del vars, 6140 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55464 impls, 0 clqs
0.48/0.51 c (round 16) 1063 del vars, 6207 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
0.48/0.52 c (round 17) 1063 del vars, 6211 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
0.48/0.56 c (round 18) 1114 del vars, 6211 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 56680 impls, 0 clqs
0.48/0.57 c (round 19) 1118 del vars, 6352 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
0.48/0.58 c (round 20) 1119 del vars, 6369 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
0.58/0.65 c (round 21) 1171 del vars, 6369 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 59813 impls, 0 clqs
0.58/0.66 c (round 22) 1174 del vars, 6544 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60397 impls, 0 clqs
0.58/0.67 c (round 23) 1174 del vars, 6558 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60397 impls, 0 clqs
0.58/0.69 c (round 24) 1174 del vars, 6566 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60397 impls, 0 clqs
0.68/0.74 c (round 25) 1224 del vars, 6566 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 62947 impls, 0 clqs
0.68/0.75 c (round 26) 1227 del vars, 6750 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 63123 impls, 0 clqs
0.68/0.76 c (round 27) 1227 del vars, 6753 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 63123 impls, 0 clqs
0.68/0.78 c (round 28) 1227 del vars, 6759 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 63123 impls, 0 clqs
0.78/0.81 c (round 29) 1277 del vars, 6759 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64279 impls, 0 clqs
0.78/0.83 c (round 30) 1277 del vars, 6990 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64533 impls, 0 clqs
0.78/0.84 c (round 31) 1277 del vars, 6995 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64533 impls, 0 clqs
0.78/0.88 c (round 32) 1327 del vars, 6995 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64683 impls, 0 clqs
0.78/0.89 c (round 33) 1327 del vars, 7127 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64683 impls, 0 clqs
0.88/0.94 c (round 34) 1377 del vars, 7127 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65675 impls, 0 clqs
0.88/0.94 c (round 35) 1377 del vars, 7220 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65675 impls, 0 clqs
0.88/0.99 c (round 36) 1427 del vars, 7220 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65675 impls, 0 clqs
0.99/1.01 c (round 37) 1427 del vars, 7270 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65675 impls, 0 clqs
0.99/1.05 c (round 38) 1477 del vars, 7270 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66203 impls, 0 clqs
0.99/1.06 c (round 39) 1477 del vars, 7331 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66203 impls, 0 clqs
1.09/1.13 c (round 40) 1527 del vars, 7331 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66733 impls, 0 clqs
1.09/1.13 c (round 41) 1527 del vars, 7399 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66733 impls, 0 clqs
1.09/1.19 c (round 42) 1577 del vars, 7399 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67211 impls, 0 clqs
1.18/1.20 c (round 43) 1577 del vars, 7468 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67211 impls, 0 clqs
1.18/1.24 c (round 44) 1627 del vars, 7468 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67443 impls, 0 clqs
1.18/1.25 c (round 45) 1627 del vars, 7518 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67443 impls, 0 clqs
1.18/1.26 c (round 46) 1627 del vars, 7519 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67443 impls, 0 clqs
1.28/1.32 c (1.2s) probing: 1000/2901 (34.5%) - 197 fixings, 482 aggregations, 3551 implications, 0 bound changes
1.28/1.33 c (round 47) 1677 del vars, 7519 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68471 impls, 0 clqs
1.28/1.33 c (round 48) 1682 del vars, 7748 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68583 impls, 0 clqs
1.28/1.36 c (round 49) 1682 del vars, 7751 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68583 impls, 0 clqs
1.38/1.40 c (round 50) 1732 del vars, 7751 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69017 impls, 0 clqs
1.38/1.41 c (round 51) 1732 del vars, 7903 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69017 impls, 0 clqs
1.38/1.45 c (round 52) 1782 del vars, 7903 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
1.38/1.46 c (round 53) 1782 del vars, 7953 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
1.48/1.53 c (1.4s) probing: 1360/2901 (46.9%) - 236 fixings, 572 aggregations, 3912 implications, 0 bound changes
1.48/1.53 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.48/1.53 c (round 54) 1787 del vars, 7953 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69205 impls, 0 clqs
1.48/1.55 c (round 55) 1787 del vars, 7958 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69205 impls, 0 clqs
1.58/1.60 c (1.5s) probing: 1499/2901 (51.7%) - 236 fixings, 572 aggregations, 3918 implications, 0 bound changes
1.58/1.60 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.58/1.60 c presolving (56 rounds):
1.58/1.60 c 1787 deleted vars, 7958 deleted constraints, 910 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
1.58/1.60 c 69221 implications, 0 cliques
1.58/1.60 c presolved problem has 2075 variables (2075 bin, 0 int, 0 impl, 0 cont) and 8441 constraints
1.58/1.60 c 4151 constraints of type <setppc>
1.58/1.60 c 4290 constraints of type <logicor>
1.58/1.60 c transformed objective value is always integral (scale: 1)
1.58/1.60 c Presolving Time: 1.47
1.58/1.60 c - non default parameters ----------------------------------------------------------------------
1.58/1.60 c # SCIP version 1.2.1.3
1.58/1.60 c
1.58/1.60 c # frequency for displaying node information lines
1.58/1.60 c # [type: int, range: [-1,2147483647], default: 100]
1.58/1.60 c display/freq = 10000
1.58/1.60 c
1.58/1.60 c # maximal time in seconds to run
1.58/1.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.58/1.60 c limits/time = 1789.9
1.58/1.60 c
1.58/1.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.58/1.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.58/1.60 c limits/memory = 13950
1.58/1.60 c
1.58/1.60 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.58/1.60 c # [type: int, range: [1,2], default: 1]
1.58/1.60 c timing/clocktype = 2
1.58/1.60 c
1.58/1.60 c # should presolving try to simplify inequalities
1.58/1.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.58/1.60 c constraints/linear/simplifyinequalities = TRUE
1.58/1.60 c
1.58/1.60 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.58/1.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.58/1.60 c constraints/indicator/addCouplingCons = TRUE
1.58/1.60 c
1.58/1.60 c # should presolving try to simplify knapsacks
1.58/1.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.58/1.60 c constraints/knapsack/simplifyinequalities = TRUE
1.58/1.60 c
1.58/1.60 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.58/1.60 c # [type: int, range: [-1,2147483647], default: -1]
1.58/1.60 c separating/rapidlearning/freq = 0
1.58/1.60 c
1.58/1.60 c -----------------------------------------------------------------------------------------------
1.58/1.60 c start solving
1.58/1.60 c
2.38/2.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.38/2.46 c 2.3s| 1 | 0 | 3181 | - | 22M| 0 |1354 |2075 |8441 |2075 |8427 | 0 | 0 | 0 | 1.602531e+03 | -- | Inf
13.19/13.29 c 13.2s| 1 | 0 | 16000 | - | 25M| 0 |1271 |2075 |9025 |2075 |8515 | 224 | 0 | 0 | 1.629750e+03 | -- | Inf
14.68/14.73 c 14.6s| 1 | 0 | 18613 | - | 26M| 0 |1336 |2075 |9025 |2075 |8565 | 274 | 0 | 0 | 1.670278e+03 | -- | Inf
17.19/17.23 c 17.1s| 1 | 0 | 23188 | - | 26M| 0 |1361 |2075 |9025 |2075 |8625 | 334 | 0 | 0 | 1.716295e+03 | -- | Inf
18.38/18.46 c 18.4s| 1 | 0 | 25190 | - | 27M| 0 |1408 |2075 |9025 |2075 |8723 | 432 | 0 | 0 | 1.725927e+03 | -- | Inf
20.68/20.76 c 20.7s| 1 | 0 | 29004 | - | 28M| 0 |1439 |2075 |9025 |2075 |8772 | 481 | 0 | 0 | 1.753351e+03 | -- | Inf
22.58/22.67 c 22.6s| 1 | 0 | 32287 | - | 29M| 0 |1393 |2075 |9025 |2075 |8818 | 527 | 0 | 0 | 1.789333e+03 | -- | Inf
25.29/25.34 c 25.2s| 1 | 0 | 36463 | - | 30M| 0 |1464 |2075 |9025 |2075 |8873 | 582 | 0 | 0 | 1.796166e+03 | -- | Inf
27.68/27.78 c 27.7s| 1 | 0 | 40192 | - | 32M| 0 |1540 |2075 |9025 |2075 |8919 | 628 | 0 | 0 | 1.800901e+03 | -- | Inf
29.58/29.61 c 29.5s| 1 | 0 | 43204 | - | 34M| 0 |1530 |2075 |9025 |2075 |8966 | 675 | 0 | 0 | 1.808781e+03 | -- | Inf
31.79/31.82 c 31.7s| 1 | 0 | 46456 | - | 36M| 0 |1557 |2075 |9025 |2075 |9012 | 721 | 0 | 0 | 1.814011e+03 | -- | Inf
34.48/34.55 c 34.4s| 1 | 0 | 50177 | - | 37M| 0 |1597 |2075 |9025 |2075 |9052 | 761 | 0 | 0 | 1.818892e+03 | -- | Inf
41.58/41.66 c 41.5s| 1 | 0 | 58174 | - | 40M| 0 |1650 |2075 |9025 |2075 |9080 | 789 | 0 | 0 | 1.820219e+03 | -- | Inf
49.18/49.21 c 49.1s| 1 | 0 | 66245 | - | 42M| 0 |1640 |2075 |9025 |2075 |9111 | 820 | 0 | 0 | 1.822566e+03 | -- | Inf
52.48/52.52 c 52.4s| 1 | 0 | 70125 | - | 45M| 0 |1605 |2075 |9025 |2075 |9146 | 855 | 0 | 0 | 1.825160e+03 | -- | Inf
58.88/58.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.88/58.94 c 58.8s| 1 | 0 | 77371 | - | 45M| 0 |1649 |2075 |9025 |2075 |9179 | 888 | 0 | 0 | 1.827442e+03 | -- | Inf
63.38/63.45 c 63.3s| 1 | 0 | 81816 | - | 45M| 0 |1643 |2075 |9025 |2075 |8936 | 910 | 0 | 0 | 1.831171e+03 | -- | Inf
68.68/68.78 c 68.7s| 1 | 0 | 88254 | - | 46M| 0 |1673 |2075 |9025 |2075 |8964 | 938 | 0 | 0 | 1.833636e+03 | -- | Inf
72.68/72.78 c 72.7s| 1 | 0 | 93093 | - | 47M| 0 |1682 |2075 |9025 |2075 |8999 | 973 | 0 | 0 | 1.836272e+03 | -- | Inf
78.08/78.19 c 78.1s| 1 | 0 | 97515 | - | 47M| 0 |1653 |2075 |9025 |2075 |9020 | 994 | 0 | 0 | 1.838211e+03 | -- | Inf
84.47/84.53 c 84.4s| 1 | 0 |103552 | - | 47M| 0 |1671 |2075 |9025 |2075 |9047 |1021 | 0 | 0 | 1.840083e+03 | -- | Inf
90.08/90.15 c 90.0s| 1 | 0 |109745 | - | 47M| 0 |1641 |2075 |9025 |2075 |9070 |1044 | 0 | 0 | 1.841404e+03 | -- | Inf
94.67/94.76 c 94.7s| 1 | 0 |115575 | - | 48M| 0 |1644 |2075 |9025 |2075 |8969 |1076 | 0 | 0 | 1.844440e+03 | -- | Inf
97.97/98.06 c 97.9s| 1 | 0 |117290 | - | 48M| 0 |1600 |2075 |9025 |2075 |8991 |1098 | 0 | 0 | 1.845096e+03 | -- | Inf
101.27/101.39 c 101s| 1 | 0 |119914 | - | 48M| 0 |1631 |2075 |9025 |2075 |9008 |1115 | 0 | 0 | 1.846146e+03 | -- | Inf
103.97/104.09 c 104s| 1 | 0 |121686 | - | 48M| 0 |1638 |2075 |9025 |2075 |9027 |1134 | 0 | 0 | 1.846624e+03 | -- | Inf
107.47/107.58 c 107s| 1 | 0 |125410 | - | 48M| 0 |1646 |2075 |9025 |2075 |9043 |1150 | 0 | 0 | 1.847951e+03 | -- | Inf
112.18/112.27 c 112s| 1 | 0 |130022 | - | 48M| 0 |1675 |2075 |9025 |2075 |9067 |1174 | 0 | 0 | 1.849590e+03 | -- | Inf
116.17/116.28 c 116s| 1 | 0 |133943 | - | 48M| 0 |1677 |2075 |9025 |2075 |8919 |1188 | 0 | 0 | 1.850684e+03 | -- | Inf
119.47/119.58 c 119s| 1 | 0 |137306 | - | 48M| 0 |1647 |2075 |9025 |2075 |8936 |1205 | 0 | 0 | 1.851511e+03 | -- | Inf
122.16/122.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.16/122.22 c 122s| 1 | 0 |139401 | - | 49M| 0 |1621 |2075 |9025 |2075 |8949 |1218 | 0 | 0 | 1.851669e+03 | -- | Inf
125.97/126.04 c 126s| 1 | 0 |141958 | - | 49M| 0 |1609 |2075 |9025 |2075 |8964 |1233 | 0 | 0 | 1.851835e+03 | -- | Inf
129.96/130.04 c 130s| 1 | 0 |145516 | - | 49M| 0 |1614 |2075 |9025 |2075 |8981 |1250 | 0 | 0 | 1.852215e+03 | -- | Inf
132.87/132.99 c 133s| 1 | 0 |148664 | - | 49M| 0 |1586 |2075 |9025 |2075 |9000 |1269 | 0 | 0 | 1.852419e+03 | -- | Inf
136.27/136.38 c 136s| 1 | 0 |151281 | - | 49M| 0 |1620 |2075 |9025 |2075 |8898 |1279 | 0 | 0 | 1.852484e+03 | -- | Inf
138.87/138.99 c 139s| 1 | 0 |153577 | - | 49M| 0 |1647 |2075 |9025 |2075 |8906 |1287 | 0 | 0 | 1.852571e+03 | -- | Inf
141.77/141.88 c 142s| 1 | 0 |156149 | - | 49M| 0 |1639 |2075 |9025 |2075 |8918 |1299 | 0 | 0 | 1.852981e+03 | -- | Inf
143.86/143.96 c 144s| 1 | 0 |158080 | - | 49M| 0 |1643 |2075 |9025 |2075 |8927 |1308 | 0 | 0 | 1.853074e+03 | -- | Inf
145.76/145.82 c 146s| 1 | 0 |159393 | - | 49M| 0 |1626 |2075 |9025 |2075 |8935 |1316 | 0 | 0 | 1.853089e+03 | -- | Inf
147.36/147.44 c 147s| 1 | 0 |160128 | - | 49M| 0 |1635 |2075 |9025 |2075 |8942 |1323 | 0 | 0 | 1.853095e+03 | -- | Inf
149.86/149.91 c 150s| 1 | 0 |162353 | - | 49M| 0 |1674 |2075 |9025 |2075 |8864 |1328 | 0 | 0 | 1.853388e+03 | -- | Inf
151.56/151.64 c 152s| 1 | 0 |163498 | - | 49M| 0 |1626 |2075 |9025 |2075 |8882 |1346 | 0 | 0 | 1.853618e+03 | -- | Inf
153.66/153.74 c 154s| 1 | 0 |165364 | - | 49M| 0 |1646 |2075 |9025 |2075 |8897 |1361 | 0 | 0 | 1.854416e+03 | -- | Inf
154.75/154.88 c 155s| 1 | 0 |165643 | - | 49M| 0 |1619 |2075 |9025 |2075 |8902 |1366 | 0 | 0 | 1.854416e+03 | -- | Inf
156.85/157.00 c 157s| 1 | 0 |166831 | - | 49M| 0 |1626 |2075 |9025 |2075 |8908 |1372 | 0 | 0 | 1.854425e+03 | -- | Inf
157.86/157.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.86/157.99 c 158s| 1 | 0 |166984 | - | 49M| 0 |1605 |2075 |9025 |2075 |8912 |1376 | 0 | 0 | 1.854425e+03 | -- | Inf
159.56/159.62 c 160s| 1 | 0 |168054 | - | 49M| 0 |1629 |2075 |9025 |2075 |8852 |1387 | 0 | 0 | 1.854439e+03 | -- | Inf
161.15/161.23 c 161s| 1 | 0 |169263 | - | 49M| 0 |1601 |2075 |9025 |2075 |8864 |1399 | 0 | 0 | 1.854458e+03 | -- | Inf
167.16/167.24 c 167s| 1 | 2 |169263 | - | 49M| 0 |1601 |2075 |9025 |2075 |8864 |1399 | 0 | 11 | 1.854458e+03 | -- | Inf
1789.69/1790.02 c
1789.69/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.69/1790.02 c Solving Time (sec) : 1789.91
1789.69/1790.02 c Solving Nodes : 1003
1789.69/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.69/1790.02 c Dual Bound : +1.85895154034666e+03
1789.69/1790.02 c Gap : infinite
1789.69/1790.02 s UNKNOWN
1789.69/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.69/1790.02 c Solving Time : 1789.91
1789.69/1790.02 c Original Problem :
1789.69/1790.02 c Problem name : HOME/instance-3732479-1338691223.opb
1789.69/1790.02 c Variables : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.02 c Constraints : 16399 initial, 16399 maximal
1789.69/1790.02 c Presolved Problem :
1789.69/1790.02 c Problem name : t_HOME/instance-3732479-1338691223.opb
1789.69/1790.02 c Variables : 2075 (2075 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.02 c Constraints : 8441 initial, 9471 maximal
1789.69/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.69/1790.02 c trivial : 0.00 1 0 0 0 0 0 0 0
1789.69/1790.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.02 c implics : 0.01 0 61 0 0 0 0 0 0
1789.69/1790.02 c probing : 0.60 236 572 0 0 0 0 0 0
1789.69/1790.02 c setppc : 0.25 5 0 0 0 0 1778 0 0
1789.69/1790.02 c linear : 0.20 909 3 0 909 0 6007 31 24
1789.69/1790.02 c logicor : 0.37 0 0 0 1 0 173 0 0
1789.69/1790.02 c root node : - 10 - - 10 - - - -
1789.69/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.69/1790.02 c integral : 0 0 0 998 0 1 72 0 0 1920
1789.69/1790.02 c setppc : 4151 48 30969 0 0 40 22969 0 0 0
1789.69/1790.02 c linear : 0+ 47 26704 0 0 7 1284 137 0 0
1789.69/1790.02 c logicor : 4290+ 48 19350 0 0 165 14819 0 0 0
1789.69/1790.02 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.69/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.69/1790.02 c integral : 434.58 0.00 0.00 434.58 0.00
1789.69/1790.02 c setppc : 2.40 0.01 2.38 0.00 0.00
1789.69/1790.02 c linear : 0.31 0.02 0.29 0.00 0.00
1789.69/1790.02 c logicor : 0.18 0.01 0.17 0.00 0.00
1789.69/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.69/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.69/1790.02 c vbounds : 0.03 2 0 0
1789.69/1790.02 c rootredcost : 0.02 0 0 0
1789.69/1790.02 c pseudoobj : 0.81 26819 0 0
1789.69/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.69/1790.02 c propagation : 0.01 130 127 704 26.0 53 7.8 -
1789.69/1790.02 c infeasible LP : 0.02 37 37 159 25.7 5 9.0 0
1789.69/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.69/1790.02 c applied globally : - - - 628 19.0 - - -
1789.69/1790.02 c applied locally : - - - 0 0.0 - - -
1789.69/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.69/1790.02 c cut pool : 0.19 46 - - 557 - (maximal pool size: 7430)
1789.69/1790.02 c redcost : 0.03 1044 0 0 0 0
1789.69/1790.02 c impliedbounds : 0.03 47 0 0 770 0
1789.69/1790.02 c intobj : 0.00 0 0 0 0 0
1789.69/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.69/1790.02 c gomory : 38.67 47 0 0 14314 0
1789.69/1790.02 c strongcg : 5.25 20 0 0 10000 0
1789.69/1790.02 c cmir : 0.41 10 0 0 0 0
1789.69/1790.02 c flowcover : 0.57 10 0 0 0 0
1789.69/1790.02 c clique : 0.79 47 0 0 327 0
1789.69/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.69/1790.02 c mcf : 0.01 1 0 0 0 0
1789.69/1790.02 c rapidlearning : 1.74 1 0 10 0 649
1789.69/1790.02 c Pricers : Time Calls Vars
1789.69/1790.02 c problem variables: 0.00 0 0
1789.69/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.69/1790.02 c relpscost : 434.57 998 1 72 0 0 1920
1789.69/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.69/1790.02 c inference : 0.00 0 0 0 0 0 0
1789.69/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.69/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.69/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.69/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.69/1790.02 c random : 0.00 0 0 0 0 0 0
1789.69/1790.02 c Primal Heuristics : Time Calls Found
1789.69/1790.02 c LP solutions : 0.00 - 0
1789.69/1790.02 c pseudo solutions : 0.00 - 0
1789.69/1790.02 c oneopt : 0.00 0 0
1789.69/1790.02 c crossover : 0.00 0 0
1789.69/1790.02 c fracdiving : 83.97 9 0
1789.69/1790.02 c feaspump : 38.99 7 0
1789.69/1790.02 c trivial : 0.01 2 0
1789.69/1790.02 c simplerounding : 0.00 0 0
1789.69/1790.02 c zirounding : 0.20 960 0
1789.69/1790.02 c rounding : 0.34 406 0
1789.69/1790.02 c shifting : 0.38 143 0
1789.69/1790.02 c intshifting : 0.00 0 0
1789.69/1790.02 c twoopt : 0.00 0 0
1789.69/1790.02 c fixandinfer : 0.00 0 0
1789.69/1790.02 c coefdiving : 89.98 6 0
1789.69/1790.02 c pscostdiving : 93.11 8 0
1789.69/1790.02 c veclendiving : 74.38 8 0
1789.69/1790.02 c intdiving : 0.00 0 0
1789.69/1790.02 c actconsdiving : 0.00 0 0
1789.69/1790.02 c objpscostdiving : 123.15 2 0
1789.69/1790.02 c rootsoldiving : 30.29 4 0
1789.69/1790.02 c linesearchdiving : 80.17 8 0
1789.69/1790.02 c guideddiving : 0.00 0 0
1789.69/1790.02 c octane : 0.00 0 0
1789.69/1790.02 c rens : 0.00 0 0
1789.69/1790.02 c rins : 0.00 0 0
1789.69/1790.02 c localbranching : 0.00 0 0
1789.69/1790.02 c mutation : 0.00 0 0
1789.69/1790.02 c dins : 0.00 0 0
1789.69/1790.02 c undercover : 0.00 0 0
1789.69/1790.02 c nlp : 0.00 0 0
1789.69/1790.02 c trysol : 0.00 0 0
1789.69/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.69/1790.02 c primal LP : 0.03 0 0 0.00 0.00
1789.69/1790.02 c dual LP : 688.06 1050 1184359 1127.96 1721.31
1789.69/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.69/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.69/1790.02 c diving/probing LP: 599.91 11524 919566 79.80 1532.84
1789.69/1790.02 c strong branching : 434.23 1338 708254 529.34 1631.07
1789.69/1790.02 c (at root node) : - 11 8593 781.18 -
1789.69/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.69/1790.02 c B&B Tree :
1789.69/1790.02 c number of runs : 1
1789.69/1790.02 c nodes : 1003
1789.69/1790.02 c nodes (total) : 1003
1789.69/1790.02 c nodes left : 903
1789.69/1790.02 c max depth : 28
1789.69/1790.02 c max depth (total): 28
1789.69/1790.02 c backtracks : 283 (28.2%)
1789.69/1790.02 c delayed cutoffs : 15
1789.69/1790.02 c repropagations : 138 (1348 domain reductions, 5 cutoffs)
1789.69/1790.02 c avg switch length: 6.37
1789.69/1790.02 c switching time : 0.50
1789.69/1790.02 c Solution :
1789.69/1790.02 c Solutions found : 0 (0 improvements)
1789.69/1790.02 c Primal Bound : -
1789.69/1790.02 c Dual Bound : +1.85895154034666e+03
1789.69/1790.02 c Gap : infinite
1789.69/1790.02 c Root Dual Bound : +1.85445791713821e+03
1789.69/1790.02 c Root Iterations : 169263
1789.69/1790.06 c Time complete: 1789.76.
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-3732479-1338691223/watcher-3732479-1338691223 -o /tmp/evaluation-result-3732479-1338691223/solver-3732479-1338691223 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3732479-1338691223.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 3/177 23216
/proc/meminfo: memFree=26851652/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/23216/stat : 23216 (runsolver) D 23214 23216 20882 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 335250891 12095488 51 33554432000 4194304 5436572 140735249593520 140735249589816 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/23216/statm: 2953 51 31 304 0 2645 0
[startup+0.0127941 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 23216
/proc/meminfo: memFree=26851652/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 1767 0 0 0 0 0 0 0 20 0 1 0 335250891 10211328 1713 33554432000 4194304 8395647 140735041889296 140735249589704 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 2508 1721 375 1026 0 1478 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9972
[startup+0.100282 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 23216
/proc/meminfo: memFree=26851652/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=19768 CPUtime=0.08 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 4225 0 0 0 8 0 0 0 20 0 1 0 335250891 20242432 4171 33554432000 4194304 8395647 140735041889296 140735249589704 4423932 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 4942 4171 393 1026 0 3912 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19768
[startup+0.300283 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 23216
/proc/meminfo: memFree=26851652/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=42580 CPUtime=0.28 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 9967 0 0 0 27 1 0 0 20 0 1 0 335250891 43601920 9559 33554432000 4194304 8395647 140735041889296 140735249589704 5019066 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 10645 9559 478 1026 0 9615 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 42580
[startup+0.700276 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 23216
/proc/meminfo: memFree=26851652/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=46140 CPUtime=0.68 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 10891 0 0 0 67 1 0 0 20 0 1 0 335250891 47247360 10483 33554432000 4194304 8395647 140735041889296 140735249589704 5219403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 11535 10483 498 1026 0 10505 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 46140
[startup+1.50028 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 23217
/proc/meminfo: memFree=26811468/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=46652 CPUtime=1.48 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 11025 0 0 0 147 1 0 0 20 0 1 0 335250891 47771648 10617 33554432000 4194304 8395647 140735041889296 140735041885096 5210433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 11663 10617 504 1026 0 10633 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46652
[startup+3.10028 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23217
/proc/meminfo: memFree=26797068/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=60720 CPUtime=3.08 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 14810 0 0 0 306 2 0 0 20 0 1 0 335250891 62177280 14149 33554432000 4194304 8395647 140735041889296 140735041883816 6708178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 15180 14149 580 1026 0 14150 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 60720
[startup+6.30025 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23217
/proc/meminfo: memFree=26792168/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=60720 CPUtime=6.28 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 14816 0 0 0 626 2 0 0 20 0 1 0 335250891 62177280 14155 33554432000 4194304 8395647 140735041889296 140735041883816 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 15180 14155 580 1026 0 14150 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 60720
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23217
/proc/meminfo: memFree=26757752/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=97652 CPUtime=12.68 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 23770 0 0 0 1255 13 0 0 20 0 1 0 335250891 99995648 23104 33554432000 4194304 8395647 140735041889296 140735041884344 6148701 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 24413 23104 624 1026 0 23383 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 97652
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23217
/proc/meminfo: memFree=26755528/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=97652 CPUtime=25.48 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 24103 0 0 0 2532 16 0 0 20 0 1 0 335250891 99995648 23306 33554432000 4194304 8395647 140735041889296 140735041884424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 24413 23306 629 1026 0 23383 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 97652
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23217
/proc/meminfo: memFree=26744996/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=104528 CPUtime=51.07 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 26076 0 0 0 5085 22 0 0 20 0 1 0 335250891 107036672 25230 33554432000 4194304 8395647 140735041889296 140735041884424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 26132 25230 629 1026 0 25102 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104528
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23217
/proc/meminfo: memFree=26740780/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=108016 CPUtime=102.28 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 27116 0 0 0 10192 36 0 0 20 0 1 0 335250891 110608384 26091 33554432000 4194304 8395647 140735041889296 140735041884536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 27004 26091 629 1026 0 25974 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 108016
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23217
/proc/meminfo: memFree=26740128/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=106932 CPUtime=162.25 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 27737 0 0 0 16174 51 0 0 20 0 1 0 335250891 109498368 26071 33554432000 4194304 8395647 140735041889296 140735041884168 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 26733 26071 630 1026 0 25703 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 106932
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23218
/proc/meminfo: memFree=26739564/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=108688 CPUtime=222.23 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 28046 0 0 0 22157 66 0 0 20 0 1 0 335250891 111296512 26410 33554432000 4194304 8395647 140735041889296 140735041884856 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 27172 26410 631 1026 0 26142 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 108688
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23218
/proc/meminfo: memFree=26736216/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=111420 CPUtime=282.23 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 28851 0 0 0 28144 79 0 0 20 0 1 0 335250891 114094080 27215 33554432000 4194304 8395647 140735041889296 140735041884168 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 27855 27215 631 1026 0 26825 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 111420
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23218
/proc/meminfo: memFree=26736340/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=111420 CPUtime=342.21 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 28851 0 0 0 34128 93 0 0 20 0 1 0 335250891 114094080 27215 33554432000 4194304 8395647 140735041889296 140735041884872 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 27855 27215 631 1026 0 26825 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 111420
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23218
/proc/meminfo: memFree=26734604/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=111420 CPUtime=402.2 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 28851 0 0 0 40116 104 0 0 20 0 1 0 335250891 114094080 27215 33554432000 4194304 8395647 140735041889296 140735041884776 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 27855 27215 631 1026 0 26825 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 111420
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23218
/proc/meminfo: memFree=26734540/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=111420 CPUtime=462.19 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 28854 0 0 0 46104 115 0 0 20 0 1 0 335250891 114094080 27217 33554432000 4194304 8395647 140735041889296 140735041884424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 27855 27217 632 1026 0 26825 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 111420
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23219
/proc/meminfo: memFree=26735284/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=111400 CPUtime=522.19 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 29590 0 0 0 52090 129 0 0 20 0 1 0 335250891 114073600 27124 33554432000 4194304 8395647 140735041889296 140735041884760 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 27850 27124 632 1026 0 26820 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 111400
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23222
/proc/meminfo: memFree=26734256/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=111400 CPUtime=582.17 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 29674 0 0 0 58076 141 0 0 20 0 1 0 335250891 114073600 27208 33554432000 4194304 8395647 140735041889296 140735041884168 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 27850 27208 632 1026 0 26820 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 111400
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26734472/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=112076 CPUtime=1062.1 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 35749 0 0 0 105951 259 0 0 20 0 1 0 335250891 114765824 27329 33554432000 4194304 8395647 140735041889296 140735041884424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28019 27329 632 1026 0 26989 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 112076
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23225
/proc/meminfo: memFree=26731620/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=112216 CPUtime=1122.1 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 36586 0 0 0 111934 276 0 0 20 0 1 0 335250891 114909184 27408 33554432000 4194304 8395647 140735041889296 140735041884504 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28054 27408 632 1026 0 27024 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 112216
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23228
/proc/meminfo: memFree=26731208/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=112204 CPUtime=1182.09 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 37588 0 0 0 117917 292 0 0 20 0 1 0 335250891 114896896 27397 33554432000 4194304 8395647 140735041889296 140735041884968 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28051 27397 632 1026 0 27021 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 112204
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 23251
/proc/meminfo: memFree=26730848/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=112236 CPUtime=1242.08 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 38515 0 0 0 123900 308 0 0 20 0 1 0 335250891 114929664 27414 33554432000 4194304 8395647 140735041889296 140735041884856 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28059 27414 632 1026 0 27029 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 112236
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23251
/proc/meminfo: memFree=26731308/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=112140 CPUtime=1302.07 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 40776 0 0 0 129884 323 0 0 20 0 1 0 335250891 114831360 27342 33554432000 4194304 8395647 140735041889296 140735041884600 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28035 27342 632 1026 0 27005 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 112140
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23251
/proc/meminfo: memFree=26726592/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=112236 CPUtime=1362.06 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 41647 0 0 0 135869 337 0 0 20 0 1 0 335250891 114929664 27373 33554432000 4194304 8395647 140735041889296 140735041884808 6708010 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28059 27373 632 1026 0 27029 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 112236
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23290
/proc/meminfo: memFree=26928736/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=112236 CPUtime=1422.06 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 41686 0 0 0 141853 353 0 0 20 0 1 0 335250891 114929664 27412 33554432000 4194304 8395647 140735041889296 140735041884872 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28059 27412 632 1026 0 27029 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 112236
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23290
/proc/meminfo: memFree=26924536/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=114072 CPUtime=1482.04 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42026 0 0 0 147838 366 0 0 20 0 1 0 335250891 116809728 27751 33554432000 4194304 8395647 140735041889296 140735041884712 6721073 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28518 27751 632 1026 0 27488 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 114072
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23290
/proc/meminfo: memFree=26924344/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=114072 CPUtime=1542.03 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42175 0 0 0 153822 381 0 0 20 0 1 0 335250891 116809728 27899 33554432000 4194304 8395647 140735041889296 140735041884552 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28518 27899 632 1026 0 27488 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 114072
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23290
/proc/meminfo: memFree=26921612/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=114072 CPUtime=1602.02 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42175 0 0 0 159811 391 0 0 20 0 1 0 335250891 116809728 27899 33554432000 4194304 8395647 140735041889296 140735041884824 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28518 27899 632 1026 0 27488 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 114072
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 23366
/proc/meminfo: memFree=26882708/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=115032 CPUtime=1662.01 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42388 0 0 0 165796 405 0 0 20 0 1 0 335250891 117792768 28112 33554432000 4194304 8395647 140735041889296 140735041884424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28758 28112 632 1026 0 27728 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 115032
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 23367
/proc/meminfo: memFree=26810260/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=115032 CPUtime=1722.01 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42388 0 0 0 171778 423 0 0 20 0 1 0 335250891 117792768 28112 33554432000 4194304 8395647 140735041889296 140735041884424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28758 28112 632 1026 0 27728 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 115032
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23370
/proc/meminfo: memFree=26874248/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=115032 CPUtime=1782 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42388 0 0 0 177763 437 0 0 20 0 1 0 335250891 117792768 28112 33554432000 4194304 8395647 140735041889296 140735041884840 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28758 28112 632 1026 0 27728 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 115032
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23370
/proc/meminfo: memFree=26874512/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=115032 CPUtime=1785.19 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42388 0 0 0 178082 437 0 0 20 0 1 0 335250891 117792768 28112 33554432000 4194304 8395647 140735041889296 140735041884504 6698719 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28758 28112 632 1026 0 27728 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 115032
[startup+1787.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23370
/proc/meminfo: memFree=26874512/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=115032 CPUtime=1786.79 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42388 0 0 0 178242 437 0 0 20 0 1 0 335250891 117792768 28112 33554432000 4194304 8395647 140735041889296 140735041884984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28758 28112 632 1026 0 27728 0
Current children cumulated CPU time (s) 1786.79
Current children cumulated vsize (KiB) 115032
[startup+1788.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23370
/proc/meminfo: memFree=26874512/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=115032 CPUtime=1788.4 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42388 0 0 0 178402 438 0 0 20 0 1 0 335250891 117792768 28112 33554432000 4194304 8395647 140735041889296 140735041884504 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28758 28112 632 1026 0 27728 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 115032
[startup+1789.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23370
/proc/meminfo: memFree=26874512/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=115032 CPUtime=1789.19 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42388 0 0 0 178481 438 0 0 20 0 1 0 335250891 117792768 28112 33554432000 4194304 8395647 140735041889296 140735041884504 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28758 28112 632 1026 0 27728 0
Current children cumulated CPU time (s) 1789.19
Current children cumulated vsize (KiB) 115032
[startup+1789.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23370
/proc/meminfo: memFree=26874528/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=115032 CPUtime=1789.59 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42388 0 0 0 178521 438 0 0 20 0 1 0 335250891 117792768 28112 33554432000 4194304 8395647 140735041889296 140735041884504 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28758 28112 632 1026 0 27728 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (KiB) 115032
[startup+1790 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23370
/proc/meminfo: memFree=26874528/32873844 swapFree=7628/7628
[pid=23216] ppid=23214 vsize=115032 CPUtime=1789.69 cores=0,2,4,6
/proc/23216/stat : 23216 (pbscip.linux.x8) R 23214 23216 20882 0 -1 4202496 42388 0 0 0 178531 438 0 0 20 0 1 0 335250891 117792768 28112 33554432000 4194304 8395647 140735041889296 140735041884504 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23216/statm: 28758 28112 632 1026 0 27728 0
Current children cumulated CPU time (s) 1789.69
Current children cumulated vsize (KiB) 115032
Child status: 0
Real time (s): 1790.06
CPU time (s): 1789.76
CPU user time (s): 1785.37
CPU system time (s): 4.39033
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 115032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.37
system time used= 4.39033
maximum resident set size= 112456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42393
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= 32
involuntary context switches= 1989
runsolver used 2.58861 second user time and 7.17891 second system time
The end