0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3479174-1307447198.opb>
0.09/0.10 c original problem has 3862 variables (3862 bin, 0 int, 0 impl, 0 cont) and 16399 constraints
0.09/0.10 c problem read
0.09/0.10 c presolving settings loaded
0.09/0.15 c presolving:
0.09/0.18 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.09/0.19 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.09/0.19 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.09/0.19 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.19/0.20 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.19/0.20 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.19/0.20 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.19/0.20 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.19/0.21 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.28 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.29/0.30 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.32 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.32 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.34 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.37 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.38 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.39/0.42 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.42 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.43 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.49 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.49 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.49/0.50 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.49/0.51 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.55 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.56 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.56 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.57 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.59/0.60 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.59/0.60 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.63 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.64 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.69/0.70 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.69/0.70 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.75 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.76 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.79 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.79/0.80 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.86 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.86 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.89/0.91 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.89/0.92 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.89/0.92 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.97 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.97 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.99 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/1.00 c (1.0s) probing: 1000/2901 (34.5%) - 211 fixings, 480 aggregations, 3035 implications, 0 bound changes
1.00/1.02 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
1.00/1.03 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
1.00/1.06 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
1.00/1.06 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
1.11/1.13 c (1.1s) probing: 1331/2901 (45.9%) - 237 fixings, 571 aggregations, 3286 implications, 0 bound changes
1.11/1.13 c (1.1s) probing aborted: 100/100 successive totally useless probings
1.11/1.13 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
1.11/1.14 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.11/1.19 c (1.2s) probing: 1452/2901 (50.1%) - 237 fixings, 571 aggregations, 3394 implications, 0 bound changes
1.11/1.19 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.11/1.19 c presolving (52 rounds):
1.11/1.19 c 1782 deleted vars, 7935 deleted constraints, 0 added constraints, 912 tightened bounds, 0 added holes, 32 changed sides, 26 changed coefficients
1.11/1.19 c 66428 implications, 0 cliques
1.11/1.19 c presolved problem has 2080 variables (2080 bin, 0 int, 0 impl, 0 cont) and 8464 constraints
1.11/1.19 c 4164 constraints of type <setppc>
1.11/1.19 c 4300 constraints of type <logicor>
1.11/1.19 c transformed objective value is always integral (scale: 1)
1.11/1.19 c Presolving Time: 1.07
1.11/1.19 c - non default parameters ----------------------------------------------------------------------
1.11/1.19 c # SCIP version 2.0.1.4
1.11/1.19 c
1.11/1.19 c # frequency for displaying node information lines
1.11/1.19 c # [type: int, range: [-1,2147483647], default: 100]
1.11/1.19 c display/freq = 10000
1.11/1.19 c
1.11/1.19 c # maximal time in seconds to run
1.11/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.11/1.19 c limits/time = 1800
1.11/1.19 c
1.11/1.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.11/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.11/1.19 c limits/memory = 13950
1.11/1.19 c
1.11/1.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.11/1.19 c # [type: int, range: [1,2], default: 1]
1.11/1.19 c timing/clocktype = 2
1.11/1.19 c
1.11/1.19 c # belongs reading time to solving time?
1.11/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.11/1.19 c timing/reading = TRUE
1.11/1.19 c
1.11/1.19 c # should presolving try to simplify inequalities
1.11/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.11/1.19 c constraints/linear/simplifyinequalities = TRUE
1.11/1.19 c
1.11/1.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.11/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.11/1.19 c constraints/indicator/addCouplingCons = TRUE
1.11/1.19 c
1.11/1.19 c # should presolving try to simplify knapsacks
1.11/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.11/1.19 c constraints/knapsack/simplifyinequalities = TRUE
1.11/1.19 c
1.11/1.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.11/1.19 c # [type: int, range: [-1,2147483647], default: -1]
1.11/1.19 c separating/rapidlearning/freq = 0
1.11/1.19 c
1.11/1.19 c -----------------------------------------------------------------------------------------------
1.11/1.19 c start solving
1.11/1.19 c
1.99/2.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.05 c 2.1s| 1 | 0 | 5258 | - | 22M| 0 |1310 |2080 |8517 |2080 |8454 | 0 | 53 | 0 | 1.600667e+03 | -- | Inf
15.30/15.39 c 15.4s| 1 | 0 | 38970 | - | 24M| 0 |1299 |2080 |9235 |2080 |8552 | 127 | 53 | 0 | 1.635956e+03 | -- | Inf
16.99/17.05 c 17.1s| 1 | 0 | 44289 | - | 25M| 0 |1338 |2080 |9235 |2080 |8619 | 194 | 53 | 0 | 1.680937e+03 | -- | Inf
18.09/18.11 c 18.1s| 1 | 0 | 48558 | - | 26M| 0 |1383 |2080 |9235 |2080 |8690 | 265 | 53 | 0 | 1.720106e+03 | -- | Inf
19.60/19.60 c 19.6s| 1 | 0 | 54665 | - | 27M| 0 |1454 |2080 |9235 |2080 |8762 | 337 | 53 | 0 | 1.758439e+03 | -- | Inf
20.49/20.53 c 20.5s| 1 | 0 | 57888 | - | 29M| 0 |1412 |2080 |9235 |2080 |8820 | 395 | 53 | 0 | 1.767622e+03 | -- | Inf
21.90/22.00 c 22.0s| 1 | 0 | 63679 | - | 31M| 0 |1534 |2080 |9235 |2080 |8868 | 443 | 53 | 0 | 1.783072e+03 | -- | Inf
23.29/23.37 c 23.4s| 1 | 0 | 69597 | - | 33M| 0 |1524 |2080 |9235 |2080 |8919 | 494 | 53 | 0 | 1.799845e+03 | -- | Inf
25.09/25.14 c 25.1s| 1 | 0 | 76682 | - | 35M| 0 |1632 |2080 |9235 |2080 |8962 | 537 | 53 | 0 | 1.807106e+03 | -- | Inf
28.39/28.41 c 28.4s| 1 | 0 | 86762 | - | 36M| 0 |1614 |2080 |9235 |2080 |9002 | 577 | 53 | 0 | 1.812675e+03 | -- | Inf
29.99/30.00 c 30.0s| 1 | 0 | 91750 | - | 38M| 0 |1592 |2080 |9235 |2080 |9047 | 622 | 53 | 0 | 1.816110e+03 | -- | Inf
31.59/31.63 c 31.6s| 1 | 0 | 96374 | - | 41M| 0 |1565 |2080 |9235 |2080 |9036 | 658 | 53 | 0 | 1.819598e+03 | -- | Inf
32.79/32.88 c 32.9s| 1 | 0 | 99795 | - | 44M| 0 |1612 |2080 |9235 |2080 |9069 | 691 | 53 | 0 | 1.822552e+03 | -- | Inf
34.79/34.87 c 34.9s| 1 | 0 |104947 | - | 46M| 0 |1592 |2080 |9235 |2080 |9098 | 720 | 53 | 0 | 1.824147e+03 | -- | Inf
36.59/36.69 c 36.7s| 1 | 0 |107511 | - | 47M| 0 |1660 |2080 |9235 |2080 |9119 | 741 | 53 | 0 | 1.825011e+03 | -- | Inf
38.09/38.15 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.15 c 38.1s| 1 | 0 |110747 | - | 47M| 0 |1627 |2080 |9235 |2080 |9145 | 767 | 53 | 0 | 1.826300e+03 | -- | Inf
40.29/40.39 c 40.4s| 1 | 0 |112857 | - | 47M| 0 |1618 |2080 |9235 |2080 |9169 | 791 | 53 | 0 | 1.828083e+03 | -- | Inf
43.10/43.15 c 43.2s| 1 | 0 |114993 | - | 48M| 0 |1614 |2080 |9235 |2080 |8966 | 813 | 53 | 0 | 1.829588e+03 | -- | Inf
46.79/46.86 c 46.9s| 1 | 0 |121240 | - | 49M| 0 |1634 |2080 |9235 |2080 |8994 | 841 | 53 | 0 | 1.831958e+03 | -- | Inf
49.09/49.11 c 49.1s| 1 | 0 |126580 | - | 51M| 0 |1714 |2080 |9235 |2080 |9023 | 870 | 53 | 0 | 1.835420e+03 | -- | Inf
51.60/51.68 c 51.7s| 1 | 0 |130736 | - | 51M| 0 |1675 |2080 |9235 |2080 |9046 | 893 | 53 | 0 | 1.837171e+03 | -- | Inf
54.90/54.96 c 55.0s| 1 | 0 |136855 | - | 51M| 0 |1682 |2080 |9235 |2080 |9066 | 913 | 53 | 0 | 1.839181e+03 | -- | Inf
57.99/58.00 c 58.0s| 1 | 0 |140080 | - | 51M| 0 |1614 |2080 |9235 |2080 |9083 | 930 | 53 | 0 | 1.840617e+03 | -- | Inf
60.89/60.98 c 61.0s| 1 | 0 |145831 | - | 52M| 0 |1661 |2080 |9235 |2080 |8957 | 948 | 53 | 0 | 1.842268e+03 | -- | Inf
63.09/63.13 c 63.1s| 1 | 0 |150914 | - | 52M| 0 |1669 |2080 |9235 |2080 |8980 | 971 | 53 | 0 | 1.844532e+03 | -- | Inf
65.39/65.44 c 65.4s| 1 | 0 |156011 | - | 52M| 0 |1671 |2080 |9235 |2080 |9027 |1018 | 53 | 0 | 1.845629e+03 | -- | Inf
69.20/69.26 c 69.3s| 1 | 0 |160825 | - | 52M| 0 |1689 |2080 |9235 |2080 |9048 |1039 | 53 | 0 | 1.847149e+03 | -- | Inf
71.51/71.54 c 71.5s| 1 | 0 |164364 | - | 52M| 0 |1658 |2080 |9235 |2080 |9067 |1058 | 53 | 0 | 1.848296e+03 | -- | Inf
74.70/74.77 c 74.8s| 1 | 0 |168151 | - | 53M| 0 |1656 |2080 |9235 |2080 |9087 |1078 | 53 | 0 | 1.848834e+03 | -- | Inf
77.09/77.10 c 77.1s| 1 | 0 |173731 | - | 53M| 0 |1676 |2080 |9235 |2080 |8987 |1098 | 53 | 0 | 1.849699e+03 | -- | Inf
80.39/80.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.39/80.42 c 80.4s| 1 | 0 |177846 | - | 53M| 0 |1671 |2080 |9235 |2080 |9002 |1113 | 53 | 0 | 1.850353e+03 | -- | Inf
83.19/83.28 c 83.3s| 1 | 0 |181597 | - | 53M| 0 |1586 |2080 |9235 |2080 |9018 |1129 | 53 | 0 | 1.850614e+03 | -- | Inf
84.89/84.98 c 85.0s| 1 | 0 |183612 | - | 53M| 0 |1648 |2080 |9235 |2080 |9030 |1141 | 53 | 0 | 1.851169e+03 | -- | Inf
87.29/87.34 c 87.3s| 1 | 0 |186096 | - | 53M| 0 |1665 |2080 |9235 |2080 |9043 |1154 | 53 | 0 | 1.851395e+03 | -- | Inf
88.49/88.56 c 88.6s| 1 | 0 |186700 | - | 53M| 0 |1665 |2080 |9235 |2080 |9049 |1160 | 53 | 0 | 1.851424e+03 | -- | Inf
89.59/89.62 c 89.6s| 1 | 0 |187186 | - | 53M| 0 |1670 |2080 |9235 |2080 |8949 |1167 | 53 | 0 | 1.851426e+03 | -- | Inf
90.99/91.03 c 91.0s| 1 | 0 |187845 | - | 53M| 0 |1653 |2080 |9235 |2080 |8957 |1175 | 53 | 0 | 1.851438e+03 | -- | Inf
92.69/92.70 c 92.7s| 1 | 0 |189987 | - | 53M| 0 |1661 |2080 |9235 |2080 |8972 |1190 | 53 | 0 | 1.851626e+03 | -- | Inf
94.89/94.95 c 94.9s| 1 | 0 |191859 | - | 54M| 0 |1650 |2080 |9235 |2080 |8986 |1204 | 53 | 0 | 1.851778e+03 | -- | Inf
96.09/96.13 c 96.1s| 1 | 0 |192759 | - | 54M| 0 |1604 |2080 |9235 |2080 |8994 |1212 | 53 | 0 | 1.851820e+03 | -- | Inf
97.69/97.72 c 97.7s| 1 | 0 |195047 | - | 54M| 0 |1637 |2080 |9235 |2080 |9003 |1221 | 53 | 0 | 1.851899e+03 | -- | Inf
99.01/99.04 c 99.0s| 1 | 0 |195969 | - | 54M| 0 |1643 |2080 |9235 |2080 |8931 |1228 | 53 | 0 | 1.851938e+03 | -- | Inf
101.29/101.33 c 101s| 1 | 0 |198013 | - | 54M| 0 |1619 |2080 |9235 |2080 |8940 |1237 | 53 | 0 | 1.852010e+03 | -- | Inf
103.30/103.40 c 103s| 1 | 0 |199543 | - | 54M| 0 |1646 |2080 |9235 |2080 |8949 |1246 | 53 | 0 | 1.852033e+03 | -- | Inf
104.69/104.74 c 105s| 1 | 0 |200459 | - | 54M| 0 |1611 |2080 |9235 |2080 |8954 |1251 | 53 | 0 | 1.852045e+03 | -- | Inf
105.51/105.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.51/105.59 c 106s| 1 | 0 |200474 | - | 54M| 0 |1614 |2080 |9235 |2080 |8958 |1255 | 53 | 0 | 1.852045e+03 | -- | Inf
106.60/106.65 c 107s| 1 | 0 |201069 | - | 54M| 0 |1612 |2080 |9235 |2080 |8965 |1262 | 53 | 0 | 1.852073e+03 | -- | Inf
107.70/107.72 c 108s| 1 | 0 |201648 | - | 54M| 0 |1620 |2080 |9235 |2080 |8929 |1271 | 53 | 0 | 1.852090e+03 | -- | Inf
109.59/109.63 c 110s| 1 | 0 |202475 | - | 54M| 0 |1614 |2080 |9235 |2080 |8937 |1279 | 53 | 0 | 1.852111e+03 | -- | Inf
111.50/111.59 c 112s| 1 | 0 |205790 | - | 54M| 0 |1635 |2080 |9235 |2080 |8946 |1288 | 53 | 0 | 1.852530e+03 | -- | Inf
112.69/112.78 c 113s| 1 | 0 |206685 | - | 54M| 0 |1644 |2080 |9235 |2080 |8954 |1296 | 53 | 0 | 1.852543e+03 | -- | Inf
114.49/114.52 c 115s| 1 | 0 |208373 | - | 54M| 0 |1663 |2080 |9235 |2080 |8961 |1303 | 53 | 0 | 1.852560e+03 | -- | Inf
116.61/116.67 c 117s| 1 | 0 |212241 | - | 54M| 0 |1641 |2080 |9235 |2080 |8972 |1314 | 53 | 0 | 1.852734e+03 | -- | Inf
117.71/117.75 c 118s| 1 | 0 |212791 | - | 54M| 0 |1638 |2080 |9235 |2080 |8945 |1328 | 53 | 0 | 1.852739e+03 | -- | Inf
118.59/118.65 c 119s| 1 | 0 |212876 | - | 54M| 0 |1641 |2080 |9235 |2080 |8951 |1334 | 53 | 0 | 1.852740e+03 | -- | Inf
119.91/119.92 c 120s| 1 | 0 |213906 | - | 54M| 0 |1636 |2080 |9235 |2080 |8957 |1340 | 53 | 0 | 1.852751e+03 | -- | Inf
120.90/120.92 c 121s| 1 | 0 |214228 | - | 54M| 0 |1640 |2080 |9235 |2080 |8960 |1343 | 53 | 0 | 1.852754e+03 | -- | Inf
122.00/122.05 c 122s| 1 | 0 |214928 | - | 54M| 0 |1648 |2080 |9235 |2080 |8968 |1351 | 53 | 0 | 1.852779e+03 | -- | Inf
126.99/127.07 c 127s| 1 | 2 |214928 | - | 54M| 0 |1648 |2080 |9235 |2080 |8968 |1351 | 53 | 14 | 1.852779e+03 | -- | Inf
1800.01/1800.08 c
1800.01/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.08 c Solving Time (sec) : 1800.08
1800.01/1800.08 c Solving Nodes : 1102
1800.01/1800.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.08 c Dual Bound : +1.85805422577226e+03
1800.01/1800.08 c Gap : infinite
1800.01/1800.08 s UNKNOWN
1800.01/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.08 c Total Time : 1800.08
1800.01/1800.08 c solving : 1800.08
1800.01/1800.08 c presolving : 1.07 (included in solving)
1800.01/1800.08 c reading : 0.10 (included in solving)
1800.01/1800.08 c Original Problem :
1800.01/1800.08 c Problem name : HOME/instance-3479174-1307447198.opb
1800.01/1800.08 c Variables : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.08 c Constraints : 16399 initial, 16399 maximal
1800.01/1800.08 c Presolved Problem :
1800.01/1800.08 c Problem name : t_HOME/instance-3479174-1307447198.opb
1800.01/1800.08 c Variables : 2080 (2080 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.08 c Constraints : 8464 initial, 9534 maximal
1800.01/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.01/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.08 c implics : 0.01 0 62 0 0 0 0 0 0 0
1800.01/1800.08 c probing : 0.56 237 571 0 0 0 0 0 0 0
1800.01/1800.08 c setppc : 0.10 0 0 0 0 0 1765 0 0 0
1800.01/1800.08 c linear : 0.11 912 0 0 912 0 6007 0 32 26
1800.01/1800.08 c logicor : 0.23 0 0 0 0 0 163 0 0 0
1800.01/1800.08 c root node : - 4 - - 4 - - - - -
1800.01/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.01/1800.08 c integral : 0 0 0 1086 0 4 0 6 63 0 0 2072
1800.01/1800.08 c setppc : 4164 58 43556 0 0 3 6358 28 19719 0 0 0
1800.01/1800.08 c linear : 0+ 57 39320 0 0 0 124 2 266 175 0 0
1800.01/1800.08 c logicor : 4300+ 58 27100 0 0 0 4702 226 13176 0 0 0
1800.01/1800.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.01/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.01/1800.08 c integral : 442.65 0.00 0.00 442.65 0.00 0.00 0.00
1800.01/1800.08 c setppc : 3.59 0.02 3.57 0.00 0.00 0.00 0.00
1800.01/1800.08 c linear : 0.28 0.02 0.26 0.00 0.00 0.00 0.00
1800.01/1800.08 c logicor : 0.26 0.02 0.24 0.00 0.00 0.00 0.00
1800.01/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.01/1800.08 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.01/1800.08 c vbounds : 0 0 0 0
1800.01/1800.08 c rootredcost : 0 0 0 0
1800.01/1800.08 c pseudoobj : 39625 0 0 0
1800.01/1800.08 c Propagator Timings : TotalTime Propagate Resprop
1800.01/1800.08 c vbounds : 0.01 0.01 0.00
1800.01/1800.08 c rootredcost : 0.01 0.01 0.00
1800.01/1800.08 c pseudoobj : 1.04 1.04 0.00
1800.01/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.08 c propagation : 0.01 172 171 758 21.7 39 7.6 -
1800.01/1800.08 c infeasible LP : 0.02 50 50 278 22.1 8 5.2 0
1800.01/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.08 c applied globally : - - - 607 15.1 - - -
1800.01/1800.08 c applied locally : - - - 0 0.0 - - -
1800.01/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.08 c cut pool : 0.29 56 - - 666 - (maximal pool size: 8542)
1800.01/1800.08 c redcost : 0.04 1142 0 0 0 0
1800.01/1800.08 c impliedbounds : 0.03 57 0 0 764 0
1800.01/1800.08 c intobj : 0.00 0 0 0 0 0
1800.01/1800.08 c gomory : 47.87 57 0 0 15079 0
1800.01/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.08 c closecuts : 0.00 0 0 0 0 0
1800.01/1800.08 c strongcg : 4.38 20 0 0 10000 0
1800.01/1800.08 c cmir : 0.34 10 0 0 0 0
1800.01/1800.08 c flowcover : 0.41 10 0 0 0 0
1800.01/1800.08 c clique : 1.29 57 0 0 415 0
1800.01/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.08 c mcf : 0.00 1 0 0 0 0
1800.01/1800.08 c oddcycle : 0.00 0 0 0 0 0
1800.01/1800.08 c rapidlearning : 0.81 1 0 4 0 739
1800.01/1800.08 c Pricers : Time Calls Vars
1800.01/1800.08 c problem variables: 0.00 0 0
1800.01/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.08 c relpscost : 442.64 1086 6 63 0 0 2072
1800.01/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.08 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.08 c random : 0.00 0 0 0 0 0 0
1800.01/1800.08 c Primal Heuristics : Time Calls Found
1800.01/1800.08 c LP solutions : 0.00 - 0
1800.01/1800.08 c pseudo solutions : 0.00 - 0
1800.01/1800.08 c oneopt : 0.00 0 0
1800.01/1800.08 c crossover : 0.00 0 0
1800.01/1800.08 c trivial : 0.01 2 0
1800.01/1800.08 c shiftandpropagate: 0.03 1 0
1800.01/1800.08 c simplerounding : 0.00 0 0
1800.01/1800.08 c zirounding : 0.80 1000 0
1800.01/1800.08 c rounding : 0.45 431 0
1800.01/1800.08 c shifting : 0.47 154 0
1800.01/1800.08 c intshifting : 0.00 0 0
1800.01/1800.08 c twoopt : 0.00 0 0
1800.01/1800.08 c fixandinfer : 0.00 0 0
1800.01/1800.08 c feaspump : 11.68 1 0
1800.01/1800.08 c clique : 0.00 0 0
1800.01/1800.08 c coefdiving : 101.54 11 0
1800.01/1800.08 c pscostdiving : 93.75 8 0
1800.01/1800.08 c fracdiving : 94.69 13 0
1800.01/1800.08 c veclendiving : 86.67 8 0
1800.01/1800.08 c intdiving : 0.00 0 0
1800.01/1800.08 c actconsdiving : 0.00 0 0
1800.01/1800.08 c objpscostdiving : 19.83 2 0
1800.01/1800.08 c rootsoldiving : 26.90 4 0
1800.01/1800.08 c linesearchdiving : 90.19 12 0
1800.01/1800.08 c guideddiving : 0.00 0 0
1800.01/1800.08 c octane : 0.00 0 0
1800.01/1800.08 c rens : 0.01 0 0
1800.01/1800.08 c rins : 0.00 0 0
1800.01/1800.08 c localbranching : 0.00 0 0
1800.01/1800.08 c mutation : 0.00 0 0
1800.01/1800.08 c dins : 0.00 0 0
1800.01/1800.08 c vbounds : 0.00 0 0
1800.01/1800.08 c undercover : 0.00 0 0
1800.01/1800.08 c subnlp : 0.00 0 0
1800.01/1800.08 c trysol : 0.00 0 0
1800.01/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.08 c primal LP : 0.04 0 0 0.00 0.00
1800.01/1800.08 c dual LP : 770.42 1172 2213365 1888.54 2872.94
1800.01/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.08 c diving/probing LP: 503.77 17442 1257310 72.09 2495.78
1800.01/1800.08 c strong branching : 442.17 1926 1087755 564.77 2460.05
1800.01/1800.08 c (at root node) : - 14 12943 924.50 -
1800.01/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.08 c B&B Tree :
1800.01/1800.08 c number of runs : 1
1800.01/1800.08 c nodes : 1102
1800.01/1800.08 c nodes (total) : 1102
1800.01/1800.08 c nodes left : 954
1800.01/1800.08 c max depth : 18
1800.01/1800.08 c max depth (total): 18
1800.01/1800.08 c backtracks : 482 (43.7%)
1800.01/1800.08 c delayed cutoffs : 17
1800.01/1800.08 c repropagations : 185 (1006 domain reductions, 6 cutoffs)
1800.01/1800.08 c avg switch length: 7.48
1800.01/1800.08 c switching time : 0.54
1800.01/1800.08 c Solution :
1800.01/1800.08 c Solutions found : 0 (0 improvements)
1800.01/1800.08 c Primal Bound : -
1800.01/1800.08 c Dual Bound : +1.85805422577226e+03
1800.01/1800.08 c Gap : infinite
1800.01/1800.08 c Root Dual Bound : +1.85277903238599e+03
1800.01/1800.08 c Root Iterations : 214928
1800.11/1800.13 c Time complete: 1800.13.
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-3479174-1307447198/watcher-3479174-1307447198 -o /tmp/evaluation-result-3479174-1307447198/solver-3479174-1307447198 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3479174-1307447198.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.05 2.05 1.86 2/446 16433
/proc/meminfo: memFree=30997124/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=12644 CPUtime=0 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 2150 0 0 0 0 0 0 0 25 0 1 0 856318534 12947456 2103 33554432000 4194304 9128323 140734477668096 18446744073709551615 6193891 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16433/statm: 3161 2103 391 1205 0 1952 0
[startup+0.0665319 s]
/proc/loadavg: 2.05 2.05 1.86 2/446 16433
/proc/meminfo: memFree=30997124/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=16564 CPUtime=0.06 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 3158 0 0 0 6 0 0 0 25 0 1 0 856318534 16961536 3110 33554432000 4194304 9128323 140734477668096 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16433/statm: 4141 3110 400 1205 0 2932 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16564
[startup+0.100472 s]
/proc/loadavg: 2.05 2.05 1.86 2/446 16433
/proc/meminfo: memFree=30997124/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=18764 CPUtime=0.09 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 3720 0 0 0 9 0 0 0 25 0 1 0 856318534 19214336 3671 33554432000 4194304 9128323 140734477668096 18446744073709551615 7447727 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16433/statm: 4691 3671 400 1205 0 3482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18764
[startup+0.300472 s]
/proc/loadavg: 2.05 2.05 1.86 2/446 16433
/proc/meminfo: memFree=30997124/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=49160 CPUtime=0.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 11820 0 0 0 28 1 0 0 25 0 1 0 856318534 50339840 10995 33554432000 4194304 9128323 140734477668096 18446744073709551615 5326896 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 12290 10995 533 1205 0 11081 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49160
[startup+0.700315 s]
/proc/loadavg: 2.05 2.05 1.86 2/446 16433
/proc/meminfo: memFree=30997124/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=49928 CPUtime=0.69 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 12053 0 0 0 68 1 0 0 25 0 1 0 856318534 51126272 11228 33554432000 4194304 9128323 140734477668096 18446744073709551615 5489551 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 12482 11228 546 1205 0 11273 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49928
[startup+1.50028 s]
/proc/loadavg: 2.05 2.05 1.86 3/447 16434
/proc/meminfo: memFree=30952848/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=67956 CPUtime=1.49 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 16935 0 0 0 147 2 0 0 18 0 1 0 856318534 69586944 15822 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 16989 15822 660 1205 0 15780 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67956
[startup+3.101 s]
/proc/loadavg: 2.05 2.05 1.86 3/447 16434
/proc/meminfo: memFree=30934740/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=67564 CPUtime=3.09 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 17145 0 0 0 306 3 0 0 21 0 1 0 856318534 69185536 15927 33554432000 4194304 9128323 140734477668096 18446744073709551615 7315625 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 16891 15927 714 1205 0 15682 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67564
[startup+6.30044 s]
/proc/loadavg: 2.04 2.05 1.86 3/447 16434
/proc/meminfo: memFree=30934644/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=67784 CPUtime=6.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 17148 0 0 0 625 4 0 0 25 0 1 0 856318534 69410816 15930 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 16946 15930 716 1205 0 15737 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67784
[startup+12.7003 s]
/proc/loadavg: 2.04 2.05 1.86 3/447 16434
/proc/meminfo: memFree=30933920/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=67784 CPUtime=12.69 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 17193 0 0 0 1263 6 0 0 25 0 1 0 856318534 69410816 15931 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 16946 15931 672 1205 0 15737 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67784
[startup+25.501 s]
/proc/loadavg: 2.03 2.05 1.86 3/447 16435
/proc/meminfo: memFree=30896968/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=105784 CPUtime=25.49 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 26605 0 0 0 2535 14 0 0 25 0 1 0 856318534 108322816 25300 33554432000 4194304 9128323 140734477668096 18446744073709551615 7315270 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 26446 25300 733 1205 0 25237 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 105784
[startup+51.1004 s]
/proc/loadavg: 2.02 2.04 1.86 3/447 16462
/proc/meminfo: memFree=30921280/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=121016 CPUtime=51.09 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 32035 0 0 0 5080 29 0 0 25 0 1 0 856318534 123920384 29039 33554432000 4194304 9128323 140734477668096 18446744073709551615 7286084 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 30254 29039 736 1205 0 29045 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 121016
[startup+102.317 s]
/proc/loadavg: 2.09 2.06 1.88 3/447 16464
/proc/meminfo: memFree=30854272/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=122404 CPUtime=102.31 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 34787 0 0 0 10176 55 0 0 25 0 1 0 856318534 125341696 29547 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 30601 29547 736 1205 0 29392 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 122404
[startup+162.301 s]
/proc/loadavg: 2.07 2.06 1.89 3/447 16465
/proc/meminfo: memFree=30839544/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=123944 CPUtime=162.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 35814 0 0 0 16145 84 0 0 25 0 1 0 856318534 126918656 29838 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 30986 29838 741 1205 0 29777 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 123944
[startup+222.3 s]
/proc/loadavg: 2.02 2.05 1.90 3/447 16467
/proc/meminfo: memFree=30841456/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=124016 CPUtime=222.3 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 39575 0 0 0 22120 110 0 0 25 0 1 0 856318534 126992384 29745 33554432000 4194304 9128323 140734477668096 18446744073709551615 7286040 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 31004 29745 740 1205 0 29795 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 124016
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 1.90 3/447 16468
/proc/meminfo: memFree=30840268/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=125924 CPUtime=282.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 41300 0 0 0 28091 138 0 0 25 0 1 0 856318534 128946176 30133 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 31481 30133 740 1205 0 30272 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 125924
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/447 16470
/proc/meminfo: memFree=30839944/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=125912 CPUtime=342.3 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 42474 0 0 0 34065 165 0 0 25 0 1 0 856318534 128933888 30328 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 31478 30328 837 1205 0 30269 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 125912
[startup+402.301 s]
/proc/loadavg: 2.06 2.05 1.92 3/447 16472
/proc/meminfo: memFree=30839620/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=125912 CPUtime=402.3 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 42506 0 0 0 40037 193 0 0 25 0 1 0 856318534 128933888 30328 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 31478 30328 805 1205 0 30269 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 125912
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 1.92 3/447 16473
/proc/meminfo: memFree=30841300/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=124104 CPUtime=462.3 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 43695 0 0 0 46009 221 0 0 25 0 1 0 856318534 127082496 29978 33554432000 4194304 9128323 140734477668096 18446744073709551615 7315248 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 31026 29978 801 1205 0 29817 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 124104
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 1.92 3/447 16475
/proc/meminfo: memFree=30840116/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=124980 CPUtime=522.31 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 43975 0 0 0 51980 251 0 0 25 0 1 0 856318534 127979520 30199 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 31245 30199 742 1205 0 30036 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 124980
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 1.92 3/447 16476
/proc/meminfo: memFree=30840784/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=124112 CPUtime=582.3 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 44525 0 0 0 57954 276 0 0 25 0 1 0 856318534 127090688 29882 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 31028 29882 742 1205 0 29819 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 124112
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 1.93 3/447 16493
/proc/meminfo: memFree=30839564/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=124976 CPUtime=882.31 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 48458 0 0 0 87818 413 0 0 25 0 1 0 856318534 127975424 30186 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 31244 30186 742 1205 0 30035 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 124976
[startup+942.301 s]
/proc/loadavg: 2.09 2.04 1.94 3/447 16495
/proc/meminfo: memFree=30838748/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=125864 CPUtime=942.31 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 49432 0 0 0 93788 443 0 0 25 0 1 0 856318534 128884736 30417 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 31466 30417 742 1205 0 30257 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 125864
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 1.94 3/447 16497
/proc/meminfo: memFree=30838816/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=125872 CPUtime=1002.31 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 50275 0 0 0 99761 470 0 0 25 0 1 0 856318534 128892928 30402 33554432000 4194304 9128323 140734477668096 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16433/statm: 31468 30402 742 1205 0 30259 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 125872
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/447 16500
/proc/meminfo: memFree=30840240/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=124092 CPUtime=1062.28 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 50596 0 0 0 105731 497 0 0 25 0 1 0 856318534 127070208 29886 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31023 29886 742 1205 0 29814 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 124092
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/447 16503
/proc/meminfo: memFree=30838416/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=125800 CPUtime=1122.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 51197 0 0 0 111711 518 0 0 25 0 1 0 856318534 128819200 30428 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31450 30428 759 1205 0 30241 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 125800
[startup+1182.3 s]
/proc/loadavg: 2.16 2.04 1.95 3/447 16504
/proc/meminfo: memFree=30838248/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=125800 CPUtime=1182.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 51214 0 0 0 117688 541 0 0 25 0 1 0 856318534 128819200 30428 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31450 30428 742 1205 0 30241 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 125800
[startup+1242.3 s]
/proc/loadavg: 2.13 2.05 1.96 3/447 16506
/proc/meminfo: memFree=30840204/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=124108 CPUtime=1242.28 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 52174 0 0 0 123669 559 0 0 25 0 1 0 856318534 127086592 29873 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31027 29873 742 1205 0 29818 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 124108
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 1.96 3/447 16508
/proc/meminfo: memFree=30837052/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=125908 CPUtime=1302.3 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 53908 0 0 0 129649 581 0 0 25 0 1 0 856318534 128929792 30249 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31477 30249 742 1205 0 30268 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 125908
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/447 16509
/proc/meminfo: memFree=30837264/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=125884 CPUtime=1362.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 56557 0 0 0 135628 601 0 0 25 0 1 0 856318534 128905216 30226 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31471 30226 742 1205 0 30262 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 125884
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.96 3/447 16511
/proc/meminfo: memFree=30837096/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=125864 CPUtime=1422.31 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 57283 0 0 0 141613 618 0 0 25 0 1 0 856318534 128884736 30267 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31466 30267 742 1205 0 30257 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 125864
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/447 16512
/proc/meminfo: memFree=30835184/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=127760 CPUtime=1482.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 60696 0 0 0 147588 641 0 0 25 0 1 0 856318534 130826240 30791 33554432000 4194304 9128323 140734477668096 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31940 30791 774 1205 0 30731 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 127760
[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 1.97 3/447 16514
/proc/meminfo: memFree=30834880/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=127760 CPUtime=1542.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 62521 0 0 0 153566 663 0 0 25 0 1 0 856318534 130826240 30893 33554432000 4194304 9128323 140734477668096 18446744073709551615 7326053 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31940 30893 804 1205 0 30731 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 127760
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/447 16516
/proc/meminfo: memFree=30837200/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=126848 CPUtime=1602.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 65311 0 0 0 159544 685 0 0 25 0 1 0 856318534 129892352 30566 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31712 30566 742 1205 0 30503 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 126848
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/447 16517
/proc/meminfo: memFree=30836284/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=127624 CPUtime=1662.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 68180 0 0 0 165521 708 0 0 25 0 1 0 856318534 130686976 30891 33554432000 4194304 9128323 140734477668096 18446744073709551615 7286064 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31906 30891 831 1205 0 30697 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 127624
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/447 16519
/proc/meminfo: memFree=30835364/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=128624 CPUtime=1722.29 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 70228 0 0 0 171500 729 0 0 25 0 1 0 856318534 131710976 31113 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 32156 31113 892 1205 0 30947 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 128624
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/447 16520
/proc/meminfo: memFree=30835820/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=128536 CPUtime=1782.3 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 71957 0 0 0 177477 753 0 0 25 0 1 0 856318534 131620864 30908 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 32134 30908 825 1205 0 30925 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 128536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.03 1.97 3/447 16521
/proc/meminfo: memFree=30836056/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=127676 CPUtime=1800.01 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 73375 0 0 0 179242 759 0 0 25 0 1 0 856318534 130740224 30833 33554432000 4194304 9128323 140734477668096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16433/statm: 31919 30833 830 1205 0 30710 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 127676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.12 s]
/proc/loadavg: 2.08 2.03 1.97 3/447 16521
/proc/meminfo: memFree=30836056/32950928 swapFree=34365992/67111528
[pid=16433] ppid=16431 vsize=125872 CPUtime=1800.11 cores=0,2,4,6
/proc/16433/stat : 16433 (scip-2.0.1.4.li) R 16431 16433 16166 0 -1 4202496 73377 0 0 0 179252 759 0 0 25 0 1 0 856318534 128892928 30384 33554432000 4194304 9128323 140734477668096 18446744073709551615 6885328 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16433/statm: 31468 30384 832 1205 0 30259 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 125872
Child status: 0
Real time (s): 1800.14
CPU time (s): 1800.14
CPU user time (s): 1792.54
CPU system time (s): 7.59784
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 128656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.54
system time used= 7.59784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73379
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= 6
involuntary context switches= 14469
runsolver used 8.30874 second user time and 17.9003 second system time
The end