0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 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-3479173-1307446590.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.16 c (round 1) 710 del vars, 720 del conss, 0 add conss, 710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36384 impls, 0 clqs
0.08/0.17 c (round 2) 753 del vars, 2214 del conss, 0 add conss, 738 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43368 impls, 0 clqs
0.08/0.17 c (round 3) 795 del vars, 2450 del conss, 0 add conss, 780 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43688 impls, 0 clqs
0.08/0.18 c (round 4) 855 del vars, 2664 del conss, 0 add conss, 822 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 46466 impls, 0 clqs
0.08/0.18 c (round 5) 919 del vars, 3062 del conss, 0 add conss, 870 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 47489 impls, 0 clqs
0.08/0.18 c (round 6) 948 del vars, 3190 del conss, 0 add conss, 899 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 48105 impls, 0 clqs
0.08/0.19 c (round 7) 955 del vars, 3240 del conss, 0 add conss, 906 chg bounds, 11 chg sides, 20 chg coeffs, 0 upgd conss, 49293 impls, 0 clqs
0.08/0.19 c (round 8) 961 del vars, 3267 del conss, 0 add conss, 912 chg bounds, 14 chg sides, 26 chg coeffs, 0 upgd conss, 49543 impls, 0 clqs
0.08/0.19 c (round 9) 961 del vars, 3270 del conss, 0 add conss, 912 chg bounds, 14 chg sides, 26 chg coeffs, 0 upgd conss, 49789 impls, 0 clqs
0.19/0.26 c (round 10) 961 del vars, 6007 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10332 upgd conss, 49789 impls, 0 clqs
0.19/0.28 c (round 11) 961 del vars, 6007 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 49789 impls, 0 clqs
0.29/0.30 c (round 12) 1013 del vars, 6007 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 53182 impls, 0 clqs
0.29/0.30 c (round 13) 1016 del vars, 6162 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 53912 impls, 0 clqs
0.29/0.32 c (round 14) 1016 del vars, 6176 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 53912 impls, 0 clqs
0.29/0.35 c (round 15) 1066 del vars, 6176 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 56338 impls, 0 clqs
0.29/0.36 c (round 16) 1068 del vars, 6237 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 56354 impls, 0 clqs
0.29/0.39 c (round 17) 1118 del vars, 6238 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 57522 impls, 0 clqs
0.39/0.40 c (round 18) 1118 del vars, 6352 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 57616 impls, 0 clqs
0.39/0.41 c (round 19) 1118 del vars, 6360 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 57616 impls, 0 clqs
0.39/0.47 c (round 20) 1168 del vars, 6360 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 58952 impls, 0 clqs
0.39/0.47 c (round 21) 1171 del vars, 6548 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 59644 impls, 0 clqs
0.39/0.48 c (round 22) 1171 del vars, 6562 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 59644 impls, 0 clqs
0.39/0.49 c (round 23) 1171 del vars, 6575 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 59644 impls, 0 clqs
0.49/0.53 c (round 24) 1223 del vars, 6575 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 61562 impls, 0 clqs
0.49/0.53 c (round 25) 1226 del vars, 6781 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 61826 impls, 0 clqs
0.49/0.54 c (round 26) 1226 del vars, 6784 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 61826 impls, 0 clqs
0.49/0.55 c (round 27) 1226 del vars, 6785 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 61826 impls, 0 clqs
0.49/0.57 c (round 28) 1310 del vars, 6785 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 62300 impls, 0 clqs
0.49/0.58 c (round 29) 1310 del vars, 7104 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 62300 impls, 0 clqs
0.59/0.61 c (round 30) 1360 del vars, 7104 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 63386 impls, 0 clqs
0.59/0.62 c (round 31) 1360 del vars, 7231 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 63386 impls, 0 clqs
0.59/0.67 c (round 32) 1410 del vars, 7231 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 63816 impls, 0 clqs
0.59/0.68 c (round 33) 1410 del vars, 7313 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 63816 impls, 0 clqs
0.69/0.72 c (round 34) 1460 del vars, 7313 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 64126 impls, 0 clqs
0.69/0.73 c (round 35) 1460 del vars, 7362 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 64126 impls, 0 clqs
0.69/0.76 c (round 36) 1510 del vars, 7362 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 64480 impls, 0 clqs
0.69/0.77 c (round 37) 1510 del vars, 7423 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 64480 impls, 0 clqs
0.79/0.83 c (round 38) 1560 del vars, 7423 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 64910 impls, 0 clqs
0.79/0.83 c (round 39) 1560 del vars, 7473 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 64910 impls, 0 clqs
0.79/0.88 c (round 40) 1610 del vars, 7473 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 65188 impls, 0 clqs
0.79/0.88 c (round 41) 1612 del vars, 7532 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 65282 impls, 0 clqs
0.79/0.89 c (round 42) 1612 del vars, 7534 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 65282 impls, 0 clqs
0.89/0.94 c (round 43) 1665 del vars, 7534 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 65726 impls, 0 clqs
0.89/0.94 c (round 44) 1665 del vars, 7684 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 65726 impls, 0 clqs
0.89/0.95 c (round 45) 1665 del vars, 7685 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 65726 impls, 0 clqs
0.89/0.96 c (1.0s) probing: 1000/2901 (34.5%) - 211 fixings, 480 aggregations, 3035 implications, 0 bound changes
0.89/0.99 c (round 46) 1715 del vars, 7685 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 65944 impls, 0 clqs
0.89/0.99 c (round 47) 1715 del vars, 7868 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 65944 impls, 0 clqs
0.99/1.02 c (round 48) 1765 del vars, 7868 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 65956 impls, 0 clqs
0.99/1.03 c (round 49) 1765 del vars, 7918 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 65956 impls, 0 clqs
0.99/1.10 c (1.1s) probing: 1331/2901 (45.9%) - 237 fixings, 571 aggregations, 3286 implications, 0 bound changes
0.99/1.10 c (1.1s) probing aborted: 100/100 successive totally useless probings
0.99/1.10 c (round 50) 1782 del vars, 7918 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 66292 impls, 0 clqs
0.99/1.11 c (round 51) 1782 del vars, 7935 del conss, 0 add conss, 912 chg bounds, 32 chg sides, 26 chg coeffs, 10392 upgd conss, 66292 impls, 0 clqs
1.10/1.15 c (1.1s) probing: 1452/2901 (50.1%) - 237 fixings, 571 aggregations, 3394 implications, 0 bound changes
1.10/1.15 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.10/1.15 c presolving (52 rounds):
1.10/1.15 c 1782 deleted vars, 7935 deleted constraints, 0 added constraints, 912 tightened bounds, 0 added holes, 32 changed sides, 26 changed coefficients
1.10/1.15 c 66428 implications, 0 cliques
1.10/1.15 c presolved problem has 2080 variables (2080 bin, 0 int, 0 impl, 0 cont) and 8464 constraints
1.10/1.15 c 4164 constraints of type <setppc>
1.10/1.15 c 4300 constraints of type <logicor>
1.10/1.15 c transformed objective value is always integral (scale: 1)
1.10/1.15 c Presolving Time: 1.02
1.10/1.15 c - non default parameters ----------------------------------------------------------------------
1.10/1.15 c # SCIP version 2.0.1.5
1.10/1.15 c
1.10/1.15 c # frequency for displaying node information lines
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.15 c display/freq = 10000
1.10/1.15 c
1.10/1.15 c # maximal time in seconds to run
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/time = 1800
1.10/1.15 c
1.10/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/memory = 13950
1.10/1.15 c
1.10/1.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.15 c # [type: int, range: [1,2], default: 1]
1.10/1.15 c timing/clocktype = 2
1.10/1.15 c
1.10/1.15 c # belongs reading time to solving time?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c timing/reading = TRUE
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify inequalities
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/linear/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/indicator/addCouplingCons = TRUE
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify knapsacks
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15 c separating/rapidlearning/freq = 0
1.10/1.15 c
1.10/1.15 c -----------------------------------------------------------------------------------------------
1.10/1.15 c start solving
1.10/1.15 c
1.98/2.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.98/2.02 c 2.0s| 1 | 0 | 5258 | - | 23M| 0 |1310 |2080 |8517 |2080 |8454 | 0 | 53 | 0 | 1.600667e+03 | -- | Inf
15.30/15.39 c 15.4s| 1 | 0 | 38970 | - | 25M| 0 |1299 |2080 |9235 |2080 |8552 | 127 | 53 | 0 | 1.635956e+03 | -- | Inf
16.99/17.04 c 17.0s| 1 | 0 | 44289 | - | 27M| 0 |1338 |2080 |9235 |2080 |8619 | 194 | 53 | 0 | 1.680937e+03 | -- | Inf
18.09/18.10 c 18.1s| 1 | 0 | 48558 | - | 28M| 0 |1383 |2080 |9235 |2080 |8690 | 265 | 53 | 0 | 1.720106e+03 | -- | Inf
19.49/19.59 c 19.6s| 1 | 0 | 54665 | - | 29M| 0 |1454 |2080 |9235 |2080 |8762 | 337 | 53 | 0 | 1.758439e+03 | -- | Inf
20.49/20.52 c 20.5s| 1 | 0 | 57888 | - | 31M| 0 |1412 |2080 |9235 |2080 |8820 | 395 | 53 | 0 | 1.767622e+03 | -- | Inf
21.90/21.99 c 22.0s| 1 | 0 | 63679 | - | 32M| 0 |1534 |2080 |9235 |2080 |8868 | 443 | 53 | 0 | 1.783072e+03 | -- | Inf
23.29/23.36 c 23.4s| 1 | 0 | 69597 | - | 34M| 0 |1524 |2080 |9235 |2080 |8919 | 494 | 53 | 0 | 1.799845e+03 | -- | Inf
25.09/25.13 c 25.1s| 1 | 0 | 76682 | - | 36M| 0 |1632 |2080 |9235 |2080 |8962 | 537 | 53 | 0 | 1.807106e+03 | -- | Inf
28.39/28.40 c 28.4s| 1 | 0 | 86762 | - | 38M| 0 |1614 |2080 |9235 |2080 |9002 | 577 | 53 | 0 | 1.812675e+03 | -- | Inf
29.89/30.00 c 30.0s| 1 | 0 | 91750 | - | 39M| 0 |1592 |2080 |9235 |2080 |9047 | 622 | 53 | 0 | 1.816110e+03 | -- | Inf
31.59/31.62 c 31.6s| 1 | 0 | 96374 | - | 43M| 0 |1565 |2080 |9235 |2080 |9036 | 658 | 53 | 0 | 1.819598e+03 | -- | Inf
32.79/32.87 c 32.9s| 1 | 0 | 99795 | - | 45M| 0 |1612 |2080 |9235 |2080 |9069 | 691 | 53 | 0 | 1.822552e+03 | -- | Inf
34.79/34.86 c 34.9s| 1 | 0 |104947 | - | 47M| 0 |1592 |2080 |9235 |2080 |9098 | 720 | 53 | 0 | 1.824147e+03 | -- | Inf
36.59/36.67 c 36.7s| 1 | 0 |107511 | - | 48M| 0 |1660 |2080 |9235 |2080 |9119 | 741 | 53 | 0 | 1.825011e+03 | -- | Inf
38.09/38.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.09/38.12 c 38.1s| 1 | 0 |110747 | - | 48M| 0 |1627 |2080 |9235 |2080 |9145 | 767 | 53 | 0 | 1.826300e+03 | -- | Inf
40.28/40.34 c 40.3s| 1 | 0 |112857 | - | 49M| 0 |1618 |2080 |9235 |2080 |9169 | 791 | 53 | 0 | 1.828083e+03 | -- | Inf
42.99/43.08 c 43.1s| 1 | 0 |114993 | - | 49M| 0 |1614 |2080 |9235 |2080 |8966 | 813 | 53 | 0 | 1.829588e+03 | -- | Inf
46.69/46.76 c 46.8s| 1 | 0 |121240 | - | 51M| 0 |1634 |2080 |9235 |2080 |8994 | 841 | 53 | 0 | 1.831958e+03 | -- | Inf
48.99/49.02 c 49.0s| 1 | 0 |126580 | - | 52M| 0 |1714 |2080 |9235 |2080 |9023 | 870 | 53 | 0 | 1.835420e+03 | -- | Inf
51.49/51.58 c 51.6s| 1 | 0 |130736 | - | 52M| 0 |1675 |2080 |9235 |2080 |9046 | 893 | 53 | 0 | 1.837171e+03 | -- | Inf
54.79/54.84 c 54.8s| 1 | 0 |136855 | - | 53M| 0 |1682 |2080 |9235 |2080 |9066 | 913 | 53 | 0 | 1.839181e+03 | -- | Inf
57.79/57.85 c 57.9s| 1 | 0 |140080 | - | 53M| 0 |1614 |2080 |9235 |2080 |9083 | 930 | 53 | 0 | 1.840617e+03 | -- | Inf
60.79/60.82 c 60.8s| 1 | 0 |145831 | - | 53M| 0 |1661 |2080 |9235 |2080 |8957 | 948 | 53 | 0 | 1.842268e+03 | -- | Inf
62.89/62.97 c 63.0s| 1 | 0 |150914 | - | 53M| 0 |1669 |2080 |9235 |2080 |8980 | 971 | 53 | 0 | 1.844532e+03 | -- | Inf
65.20/65.26 c 65.3s| 1 | 0 |156011 | - | 53M| 0 |1671 |2080 |9235 |2080 |9027 |1018 | 53 | 0 | 1.845629e+03 | -- | Inf
68.99/69.06 c 69.1s| 1 | 0 |160825 | - | 53M| 0 |1689 |2080 |9235 |2080 |9048 |1039 | 53 | 0 | 1.847149e+03 | -- | Inf
71.30/71.32 c 71.3s| 1 | 0 |164364 | - | 54M| 0 |1658 |2080 |9235 |2080 |9067 |1058 | 53 | 0 | 1.848296e+03 | -- | Inf
74.49/74.54 c 74.5s| 1 | 0 |168151 | - | 54M| 0 |1656 |2080 |9235 |2080 |9087 |1078 | 53 | 0 | 1.848834e+03 | -- | Inf
76.79/76.86 c 76.9s| 1 | 0 |173731 | - | 55M| 0 |1676 |2080 |9235 |2080 |8987 |1098 | 53 | 0 | 1.849699e+03 | -- | Inf
80.09/80.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.09/80.17 c 80.2s| 1 | 0 |177846 | - | 55M| 0 |1671 |2080 |9235 |2080 |9002 |1113 | 53 | 0 | 1.850353e+03 | -- | Inf
82.99/83.01 c 83.0s| 1 | 0 |181597 | - | 55M| 0 |1586 |2080 |9235 |2080 |9018 |1129 | 53 | 0 | 1.850614e+03 | -- | Inf
84.60/84.70 c 84.7s| 1 | 0 |183612 | - | 55M| 0 |1648 |2080 |9235 |2080 |9030 |1141 | 53 | 0 | 1.851169e+03 | -- | Inf
87.00/87.03 c 87.0s| 1 | 0 |186096 | - | 55M| 0 |1665 |2080 |9235 |2080 |9043 |1154 | 53 | 0 | 1.851395e+03 | -- | Inf
88.19/88.25 c 88.2s| 1 | 0 |186700 | - | 55M| 0 |1665 |2080 |9235 |2080 |9049 |1160 | 53 | 0 | 1.851424e+03 | -- | Inf
89.19/89.29 c 89.3s| 1 | 0 |187186 | - | 55M| 0 |1670 |2080 |9235 |2080 |8949 |1167 | 53 | 0 | 1.851426e+03 | -- | Inf
90.59/90.69 c 90.7s| 1 | 0 |187845 | - | 55M| 0 |1653 |2080 |9235 |2080 |8957 |1175 | 53 | 0 | 1.851438e+03 | -- | Inf
92.30/92.35 c 92.3s| 1 | 0 |189987 | - | 55M| 0 |1661 |2080 |9235 |2080 |8972 |1190 | 53 | 0 | 1.851626e+03 | -- | Inf
94.50/94.58 c 94.6s| 1 | 0 |191859 | - | 55M| 0 |1650 |2080 |9235 |2080 |8986 |1204 | 53 | 0 | 1.851778e+03 | -- | Inf
95.71/95.75 c 95.8s| 1 | 0 |192759 | - | 55M| 0 |1604 |2080 |9235 |2080 |8994 |1212 | 53 | 0 | 1.851820e+03 | -- | Inf
97.30/97.33 c 97.3s| 1 | 0 |195047 | - | 55M| 0 |1637 |2080 |9235 |2080 |9003 |1221 | 53 | 0 | 1.851899e+03 | -- | Inf
98.59/98.64 c 98.6s| 1 | 0 |195969 | - | 55M| 0 |1643 |2080 |9235 |2080 |8931 |1228 | 53 | 0 | 1.851938e+03 | -- | Inf
100.89/100.91 c 101s| 1 | 0 |198013 | - | 55M| 0 |1619 |2080 |9235 |2080 |8940 |1237 | 53 | 0 | 1.852010e+03 | -- | Inf
102.89/102.96 c 103s| 1 | 0 |199543 | - | 55M| 0 |1646 |2080 |9235 |2080 |8949 |1246 | 53 | 0 | 1.852033e+03 | -- | Inf
104.19/104.29 c 104s| 1 | 0 |200459 | - | 55M| 0 |1611 |2080 |9235 |2080 |8954 |1251 | 53 | 0 | 1.852045e+03 | -- | Inf
105.09/105.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.09/105.13 c 105s| 1 | 0 |200474 | - | 55M| 0 |1614 |2080 |9235 |2080 |8958 |1255 | 53 | 0 | 1.852045e+03 | -- | Inf
106.09/106.18 c 106s| 1 | 0 |201069 | - | 55M| 0 |1612 |2080 |9235 |2080 |8965 |1262 | 53 | 0 | 1.852073e+03 | -- | Inf
107.19/107.24 c 107s| 1 | 0 |201648 | - | 55M| 0 |1620 |2080 |9235 |2080 |8929 |1271 | 53 | 0 | 1.852090e+03 | -- | Inf
109.09/109.13 c 109s| 1 | 0 |202475 | - | 55M| 0 |1614 |2080 |9235 |2080 |8937 |1279 | 53 | 0 | 1.852111e+03 | -- | Inf
111.00/111.08 c 111s| 1 | 0 |205790 | - | 55M| 0 |1635 |2080 |9235 |2080 |8946 |1288 | 53 | 0 | 1.852530e+03 | -- | Inf
112.21/112.25 c 112s| 1 | 0 |206685 | - | 55M| 0 |1644 |2080 |9235 |2080 |8954 |1296 | 53 | 0 | 1.852543e+03 | -- | Inf
113.90/113.97 c 114s| 1 | 0 |208373 | - | 55M| 0 |1663 |2080 |9235 |2080 |8961 |1303 | 53 | 0 | 1.852560e+03 | -- | Inf
116.09/116.13 c 116s| 1 | 0 |212241 | - | 55M| 0 |1641 |2080 |9235 |2080 |8972 |1314 | 53 | 0 | 1.852734e+03 | -- | Inf
117.09/117.19 c 117s| 1 | 0 |212791 | - | 55M| 0 |1638 |2080 |9235 |2080 |8945 |1328 | 53 | 0 | 1.852739e+03 | -- | Inf
117.99/118.08 c 118s| 1 | 0 |212876 | - | 55M| 0 |1641 |2080 |9235 |2080 |8951 |1334 | 53 | 0 | 1.852740e+03 | -- | Inf
119.29/119.34 c 119s| 1 | 0 |213906 | - | 55M| 0 |1636 |2080 |9235 |2080 |8957 |1340 | 53 | 0 | 1.852751e+03 | -- | Inf
120.30/120.34 c 120s| 1 | 0 |214228 | - | 55M| 0 |1640 |2080 |9235 |2080 |8960 |1343 | 53 | 0 | 1.852754e+03 | -- | Inf
121.39/121.45 c 121s| 1 | 0 |214928 | - | 55M| 0 |1648 |2080 |9235 |2080 |8968 |1351 | 53 | 0 | 1.852779e+03 | -- | Inf
126.40/126.51 c 127s| 1 | 2 |214928 | - | 55M| 0 |1648 |2080 |9235 |2080 |8968 |1351 | 53 | 14 | 1.852779e+03 | -- | Inf
1800.01/1800.02 c
1800.01/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.02 c Solving Time (sec) : 1800.02
1800.01/1800.02 c Solving Nodes : 1138
1800.01/1800.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.02 c Dual Bound : +1.85813293471834e+03
1800.01/1800.02 c Gap : infinite
1800.01/1800.02 s UNKNOWN
1800.01/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.02 c Total Time : 1800.02
1800.01/1800.02 c solving : 1800.02
1800.01/1800.02 c presolving : 1.02 (included in solving)
1800.01/1800.02 c reading : 0.11 (included in solving)
1800.01/1800.02 c Original Problem :
1800.01/1800.02 c Problem name : HOME/instance-3479173-1307446590.opb
1800.01/1800.02 c Variables : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.02 c Constraints : 16399 initial, 16399 maximal
1800.01/1800.02 c Presolved Problem :
1800.01/1800.02 c Problem name : t_HOME/instance-3479173-1307446590.opb
1800.01/1800.02 c Variables : 2080 (2080 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.02 c Constraints : 8464 initial, 9539 maximal
1800.01/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.01/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.02 c implics : 0.01 0 62 0 0 0 0 0 0 0
1800.01/1800.02 c probing : 0.55 237 571 0 0 0 0 0 0 0
1800.01/1800.02 c setppc : 0.10 0 0 0 0 0 1765 0 0 0
1800.01/1800.02 c linear : 0.11 912 0 0 912 0 6007 0 32 26
1800.01/1800.02 c logicor : 0.22 0 0 0 0 0 163 0 0 0
1800.01/1800.02 c root node : - 4 - - 4 - - - - -
1800.01/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.01/1800.02 c integral : 0 0 0 1127 0 4 0 6 75 0 0 2140
1800.01/1800.02 c setppc : 4164 58 45123 0 1 3 6441 28 20519 0 0 0
1800.01/1800.02 c linear : 0+ 57 40887 0 0 0 129 2 272 175 0 0
1800.01/1800.02 c logicor : 4300+ 58 28046 0 1 0 4769 230 13636 0 0 0
1800.01/1800.02 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.01/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.01/1800.02 c integral : 444.36 0.00 0.00 444.36 0.00 0.00 0.00
1800.01/1800.02 c setppc : 3.61 0.02 3.59 0.00 0.00 0.00 0.00
1800.01/1800.02 c linear : 0.28 0.02 0.26 0.00 0.00 0.00 0.00
1800.01/1800.02 c logicor : 0.25 0.02 0.23 0.00 0.00 0.00 0.00
1800.01/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.01/1800.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.01/1800.02 c vbounds : 0 0 0 0
1800.01/1800.02 c rootredcost : 0 0 0 0
1800.01/1800.02 c pseudoobj : 41194 0 0 0
1800.01/1800.02 c Propagator Timings : TotalTime Propagate Resprop
1800.01/1800.02 c vbounds : 0.01 0.01 0.00
1800.01/1800.02 c rootredcost : 0.02 0.02 0.00
1800.01/1800.02 c pseudoobj : 1.08 1.08 0.00
1800.01/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.02 c propagation : 0.01 176 175 766 21.5 41 7.3 -
1800.01/1800.02 c infeasible LP : 0.02 51 51 284 21.9 8 5.2 0
1800.01/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.02 c applied globally : - - - 620 14.9 - - -
1800.01/1800.02 c applied locally : - - - 0 0.0 - - -
1800.01/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.02 c cut pool : 0.29 56 - - 666 - (maximal pool size: 8542)
1800.01/1800.02 c redcost : 0.04 1183 0 0 0 0
1800.01/1800.02 c impliedbounds : 0.03 57 0 0 764 0
1800.01/1800.02 c intobj : 0.00 0 0 0 0 0
1800.01/1800.02 c gomory : 47.27 57 0 0 15079 0
1800.01/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.02 c closecuts : 0.00 0 0 0 0 0
1800.01/1800.02 c strongcg : 4.32 20 0 0 10000 0
1800.01/1800.02 c cmir : 0.35 10 0 0 0 0
1800.01/1800.02 c flowcover : 0.41 10 0 0 0 0
1800.01/1800.02 c clique : 1.18 57 0 0 415 0
1800.01/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.02 c mcf : 0.00 1 0 0 0 0
1800.01/1800.02 c oddcycle : 0.00 0 0 0 0 0
1800.01/1800.02 c rapidlearning : 0.80 1 0 4 0 739
1800.01/1800.02 c Pricers : Time Calls Vars
1800.01/1800.02 c problem variables: 0.00 0 0
1800.01/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.02 c relpscost : 444.36 1127 6 75 0 0 2140
1800.01/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.02 c inference : 0.00 1 0 0 0 0 2
1800.01/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.02 c random : 0.00 0 0 0 0 0 0
1800.01/1800.02 c Primal Heuristics : Time Calls Found
1800.01/1800.02 c LP solutions : 0.00 - 0
1800.01/1800.02 c pseudo solutions : 0.00 - 0
1800.01/1800.02 c oneopt : 0.00 0 0
1800.01/1800.02 c crossover : 0.00 0 0
1800.01/1800.02 c trivial : 0.01 2 0
1800.01/1800.02 c shiftandpropagate: 0.03 1 0
1800.01/1800.02 c simplerounding : 0.00 0 0
1800.01/1800.02 c zirounding : 0.77 1000 0
1800.01/1800.02 c rounding : 0.44 439 0
1800.01/1800.02 c shifting : 0.46 158 0
1800.01/1800.02 c intshifting : 0.00 0 0
1800.01/1800.02 c twoopt : 0.00 0 0
1800.01/1800.02 c fixandinfer : 0.00 0 0
1800.01/1800.02 c feaspump : 11.73 1 0
1800.01/1800.02 c clique : 0.00 0 0
1800.01/1800.02 c coefdiving : 98.86 11 0
1800.01/1800.02 c pscostdiving : 91.15 8 0
1800.01/1800.02 c fracdiving : 97.52 14 0
1800.01/1800.02 c veclendiving : 84.66 8 0
1800.01/1800.02 c intdiving : 0.00 0 0
1800.01/1800.02 c actconsdiving : 0.00 0 0
1800.01/1800.02 c objpscostdiving : 19.95 2 0
1800.01/1800.02 c rootsoldiving : 26.65 4 0
1800.01/1800.02 c linesearchdiving : 94.07 13 0
1800.01/1800.02 c guideddiving : 0.00 0 0
1800.01/1800.02 c octane : 0.00 0 0
1800.01/1800.02 c rens : 0.03 0 0
1800.01/1800.02 c rins : 0.00 0 0
1800.01/1800.02 c localbranching : 0.00 0 0
1800.01/1800.02 c mutation : 0.00 0 0
1800.01/1800.02 c dins : 0.00 0 0
1800.01/1800.02 c vbounds : 0.00 0 0
1800.01/1800.02 c undercover : 0.00 0 0
1800.01/1800.02 c subnlp : 0.00 0 0
1800.01/1800.02 c trysol : 0.00 0 0
1800.01/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.02 c primal LP : 0.04 0 0 0.00 0.00
1800.01/1800.02 c dual LP : 770.17 1215 2302542 1895.10 2989.64
1800.01/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.02 c diving/probing LP: 502.46 18233 1283418 70.39 2554.25
1800.01/1800.02 c strong branching : 443.89 1990 1126430 566.05 2537.65
1800.01/1800.02 c (at root node) : - 14 12943 924.50 -
1800.01/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.02 c B&B Tree :
1800.01/1800.02 c number of runs : 1
1800.01/1800.02 c nodes : 1138
1800.01/1800.02 c nodes (total) : 1138
1800.01/1800.02 c nodes left : 985
1800.01/1800.02 c max depth : 18
1800.01/1800.02 c max depth (total): 18
1800.01/1800.02 c backtracks : 503 (44.2%)
1800.01/1800.02 c delayed cutoffs : 20
1800.01/1800.02 c repropagations : 189 (1009 domain reductions, 6 cutoffs)
1800.01/1800.02 c avg switch length: 7.57
1800.01/1800.02 c switching time : 0.54
1800.01/1800.02 c Solution :
1800.01/1800.02 c Solutions found : 0 (0 improvements)
1800.01/1800.02 c Primal Bound : -
1800.01/1800.02 c Dual Bound : +1.85813293471834e+03
1800.01/1800.02 c Gap : infinite
1800.01/1800.02 c Root Dual Bound : +1.85277903238599e+03
1800.01/1800.02 c Root Iterations : 214928
1800.01/1800.06 c Time complete: 1800.06.
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-3479173-1307446590/watcher-3479173-1307446590 -o /tmp/evaluation-result-3479173-1307446590/solver-3479173-1307446590 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479173-1307446590.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.00 2.02 1.71 3/515 8294
/proc/meminfo: memFree=21411692/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=13700 CPUtime=0 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 2376 0 0 0 0 0 0 0 25 0 1 0 934889674 14028800 2330 33554432000 4194304 9163163 140734938270640 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8294/statm: 3425 2345 389 1214 0 2207 0
[startup+0.093569 s]
/proc/loadavg: 2.00 2.02 1.71 3/515 8294
/proc/meminfo: memFree=21411692/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=22492 CPUtime=0.08 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 4631 0 0 0 8 0 0 0 25 0 1 0 934889674 23031808 4584 33554432000 4194304 9163163 140734938270640 18446744073709551615 4443414 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8294/statm: 5623 4584 395 1214 0 4405 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22492
[startup+0.100557 s]
/proc/loadavg: 2.00 2.02 1.71 3/515 8294
/proc/meminfo: memFree=21411692/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=22492 CPUtime=0.08 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 4633 0 0 0 8 0 0 0 25 0 1 0 934889674 23031808 4586 33554432000 4194304 9163163 140734938270640 18446744073709551615 8041210 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8294/statm: 5623 4586 395 1214 0 4405 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22492
[startup+0.300529 s]
/proc/loadavg: 2.00 2.02 1.71 3/515 8294
/proc/meminfo: memFree=21411692/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=47888 CPUtime=0.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 11350 0 0 0 28 1 0 0 25 0 1 0 934889674 49037312 10692 33554432000 4194304 9163163 140734938270640 18446744073709551615 5459278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 11972 10692 542 1214 0 10754 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47888
[startup+0.700445 s]
/proc/loadavg: 2.00 2.02 1.71 3/515 8294
/proc/meminfo: memFree=21411692/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=48784 CPUtime=0.69 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 11574 0 0 0 68 1 0 0 25 0 1 0 934889674 49954816 10916 33554432000 4194304 9163163 140734938270640 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 12196 10916 542 1214 0 10978 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48784
[startup+1.50031 s]
/proc/loadavg: 2.00 2.02 1.71 3/516 8295
/proc/meminfo: memFree=21369276/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=66824 CPUtime=1.49 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 16395 0 0 0 146 3 0 0 25 0 1 0 934889674 68427776 15459 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 16706 15459 662 1214 0 15488 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66824
[startup+3.10098 s]
/proc/loadavg: 2.00 2.02 1.71 3/516 8295
/proc/meminfo: memFree=21349808/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=66864 CPUtime=3.09 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 16762 0 0 0 304 5 0 0 25 0 1 0 934889674 68468736 15728 33554432000 4194304 9163163 140734938270640 18446744073709551615 7348304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 16716 15728 737 1214 0 15498 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66864
[startup+6.30037 s]
/proc/loadavg: 2.00 2.02 1.71 3/516 8295
/proc/meminfo: memFree=21349080/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=67304 CPUtime=6.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 16812 0 0 0 620 9 0 0 25 0 1 0 934889674 68919296 15766 33554432000 4194304 9163163 140734938270640 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 16826 15766 728 1214 0 15608 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67304
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.71 3/516 8296
/proc/meminfo: memFree=21348460/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=67304 CPUtime=12.69 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 16848 0 0 0 1250 19 0 0 25 0 1 0 934889674 68919296 15766 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 16826 15766 692 1214 0 15608 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67304
[startup+25.5007 s]
/proc/loadavg: 2.00 2.01 1.72 3/516 8296
/proc/meminfo: memFree=21310452/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=106096 CPUtime=25.49 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 26439 0 0 0 2499 50 0 0 25 0 1 0 934889674 108642304 25333 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 26524 25333 721 1214 0 25306 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106096
[startup+51.1008 s]
/proc/loadavg: 2.00 2.01 1.72 3/516 8297
/proc/meminfo: memFree=21297700/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=119376 CPUtime=51.09 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 33219 0 0 0 5019 90 0 0 25 0 1 0 934889674 122241024 28452 33554432000 4194304 9163163 140734938270640 18446744073709551615 7345742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 29844 28452 728 1214 0 28626 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 119376
[startup+102.319 s]
/proc/loadavg: 2.00 2.01 1.74 3/516 8298
/proc/meminfo: memFree=21292776/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=121864 CPUtime=102.31 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 38157 0 0 0 10071 160 0 0 25 0 1 0 934889674 124788736 29450 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30466 29450 726 1214 0 29248 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 121864
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.75 3/516 8303
/proc/meminfo: memFree=21291608/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=121672 CPUtime=162.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 40427 0 0 0 15986 243 0 0 25 0 1 0 934889674 124592128 29295 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30418 29295 729 1214 0 29200 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 121672
[startup+222.301 s]
/proc/loadavg: 2.10 2.03 1.77 3/516 8304
/proc/meminfo: memFree=21292768/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=121672 CPUtime=222.3 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 40535 0 0 0 21905 325 0 0 25 0 1 0 934889674 124592128 29402 33554432000 4194304 9163163 140734938270640 18446744073709551615 7348416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30418 29402 729 1214 0 29200 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 121672
[startup+282.301 s]
/proc/loadavg: 2.08 2.04 1.79 3/516 8306
/proc/meminfo: memFree=21293348/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=121672 CPUtime=282.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 40539 0 0 0 27823 406 0 0 25 0 1 0 934889674 124592128 29406 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30418 29406 729 1214 0 29200 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 121672
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 1.80 3/516 8307
/proc/meminfo: memFree=21291576/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123524 CPUtime=342.3 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 40898 0 0 0 33739 491 0 0 25 0 1 0 934889674 126488576 29765 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30881 29765 733 1214 0 29663 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 123524
[startup+402.301 s]
/proc/loadavg: 2.12 2.05 1.82 3/516 8309
/proc/meminfo: memFree=21291804/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123524 CPUtime=402.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 40898 0 0 0 39647 582 0 0 25 0 1 0 934889674 126488576 29765 33554432000 4194304 9163163 140734938270640 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30881 29765 733 1214 0 29663 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 123524
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 1.83 3/516 8311
/proc/meminfo: memFree=21291292/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123524 CPUtime=462.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 40915 0 0 0 45559 670 0 0 25 0 1 0 934889674 126488576 29780 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30881 29780 731 1214 0 29663 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 123524
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 1.83 3/516 8312
/proc/meminfo: memFree=21290036/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123524 CPUtime=522.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 40996 0 0 0 51480 749 0 0 25 0 1 0 934889674 126488576 29861 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30881 29861 731 1214 0 29663 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 123524
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 1.84 3/516 8314
/proc/meminfo: memFree=21290740/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123524 CPUtime=582.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 40998 0 0 0 57401 828 0 0 25 0 1 0 934889674 126488576 29863 33554432000 4194304 9163163 140734938270640 18446744073709551615 7345695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30881 29863 731 1214 0 29663 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 123524
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 2.03 1.87 3/516 8320
/proc/meminfo: memFree=21262924/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=122520 CPUtime=822.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 41513 0 0 0 81060 1169 0 0 25 0 1 0 934889674 125460480 29533 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30630 29533 731 1214 0 29412 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 122520
[startup+882.301 s]
/proc/loadavg: 2.10 2.05 1.89 3/516 8322
/proc/meminfo: memFree=21261520/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123332 CPUtime=882.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 42408 0 0 0 86964 1265 0 0 25 0 1 0 934889674 126291968 29712 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30833 29712 731 1214 0 29615 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 123332
[startup+942.3 s]
/proc/loadavg: 2.13 2.07 1.91 3/516 8323
/proc/meminfo: memFree=21261336/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123332 CPUtime=942.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 42530 0 0 0 92868 1361 0 0 25 0 1 0 934889674 126291968 29834 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30833 29834 731 1214 0 29615 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 123332
[startup+1002.3 s]
/proc/loadavg: 2.04 2.05 1.91 3/516 8325
/proc/meminfo: memFree=21261788/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123332 CPUtime=1002.3 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 42530 0 0 0 98774 1456 0 0 25 0 1 0 934889674 126291968 29834 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30833 29834 731 1214 0 29615 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 123332
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 1.91 3/516 8327
/proc/meminfo: memFree=21259888/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123332 CPUtime=1062.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 42530 0 0 0 104677 1552 0 0 25 0 1 0 934889674 126291968 29834 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30833 29834 731 1214 0 29615 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 123332
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/516 8356
/proc/meminfo: memFree=22573424/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123332 CPUtime=1122.3 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 42530 0 0 0 110597 1633 0 0 25 0 1 0 934889674 126291968 29834 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30833 29834 731 1214 0 29615 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 123332
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/516 8358
/proc/meminfo: memFree=22560640/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123332 CPUtime=1182.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 42539 0 0 0 116522 1707 0 0 25 0 1 0 934889674 126291968 29843 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30833 29843 731 1214 0 29615 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 123332
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/516 8359
/proc/meminfo: memFree=22563564/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123332 CPUtime=1242.3 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 42540 0 0 0 122449 1781 0 0 25 0 1 0 934889674 126291968 29844 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30833 29844 731 1214 0 29615 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 123332
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/516 8361
/proc/meminfo: memFree=22562280/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123332 CPUtime=1302.3 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 42540 0 0 0 128379 1851 0 0 25 0 1 0 934889674 126291968 29844 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30833 29844 731 1214 0 29615 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 123332
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/516 8363
/proc/meminfo: memFree=22570780/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123332 CPUtime=1362.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 42540 0 0 0 134309 1920 0 0 25 0 1 0 934889674 126291968 29844 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30833 29844 731 1214 0 29615 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 123332
[startup+1422.32 s]
/proc/loadavg: 2.12 2.03 1.92 3/516 8364
/proc/meminfo: memFree=22563656/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123496 CPUtime=1422.31 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 42567 0 0 0 140237 1994 0 0 25 0 1 0 934889674 126459904 29871 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30874 29871 731 1214 0 29656 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 123496
[startup+1482.3 s]
/proc/loadavg: 2.11 2.04 1.93 3/516 8375
/proc/meminfo: memFree=22563324/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123544 CPUtime=1482.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 43317 0 0 0 146166 2063 0 0 25 0 1 0 934889674 126509056 29781 33554432000 4194304 9163163 140734938270640 18446744073709551615 7392232 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30886 29781 731 1214 0 29668 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 123544
[startup+1542.3 s]
/proc/loadavg: 2.16 2.06 1.94 3/516 8376
/proc/meminfo: memFree=22585072/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=125228 CPUtime=1542.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 43857 0 0 0 152093 2136 0 0 25 0 1 0 934889674 128233472 30321 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 31307 30321 731 1214 0 30089 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 125228
[startup+1602.3 s]
/proc/loadavg: 2.12 2.06 1.94 3/516 8378
/proc/meminfo: memFree=22562824/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=125228 CPUtime=1602.3 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 43861 0 0 0 158019 2211 0 0 25 0 1 0 934889674 128233472 30325 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 31307 30325 731 1214 0 30089 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 125228
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 1.94 3/516 8380
/proc/meminfo: memFree=22561300/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=125292 CPUtime=1662.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 45325 0 0 0 163949 2280 0 0 25 0 1 0 934889674 128299008 30210 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 31323 30210 812 1214 0 30105 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 125292
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 1.94 3/516 8381
/proc/meminfo: memFree=22559636/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=123500 CPUtime=1722.3 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 46779 0 0 0 169876 2354 0 0 25 0 1 0 934889674 126464000 29760 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 30875 29760 731 1214 0 29657 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 123500
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/516 8383
/proc/meminfo: memFree=22566936/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=125284 CPUtime=1782.29 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 49209 0 0 0 175805 2424 0 0 25 0 1 0 934889674 128290816 30289 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 31321 30289 809 1214 0 30103 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 125284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 1.94 3/516 8383
/proc/meminfo: memFree=22560356/32950928 swapFree=58671692/67111528
[pid=8294] ppid=8292 vsize=125204 CPUtime=1800.01 cores=1,3,5,7
/proc/8294/stat : 8294 (scip-2.0.1.4b.l) R 8292 8294 8125 0 -1 4202496 49847 0 0 0 177555 2446 0 0 25 0 1 0 934889674 128208896 30096 33554432000 4194304 9163163 140734938270640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8294/statm: 31301 30096 731 1214 0 30083 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 125204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.07
CPU time (s): 1800.07
CPU user time (s): 1775.6
CPU system time (s): 24.4693
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 126204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.6
system time used= 24.4693
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49853
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= 22723
runsolver used 8.38373 second user time and 22.1106 second system time
The end