0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3489569-1307773041.opb>
0.00/0.00 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 4 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c presolving (2 rounds):
0.00/0.00 c 0 deleted vars, 4 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.00 c 4 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 2.0.1.5
0.00/0.00 c
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = 10000
0.00/0.00 c
0.00/0.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/time = 1797
0.00/0.00 c
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/memory = 13950
0.00/0.00 c
0.00/0.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.00 c # [type: int, range: [1,2], default: 1]
0.00/0.00 c timing/clocktype = 2
0.00/0.00 c
0.00/0.00 c # belongs reading time to solving time?
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c timing/reading = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify inequalities
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/linear/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 o 1105
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c T 0.0s| 1 | 0 | 0 | - | 384k| 0 | - | 94 | 4 | 94 | 4 | 0 | 0 | 0 | -- | 1.105000e+03 | Inf
0.00/0.01 c 0.0s| 1 | 0 | 21 | - | 367k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 1.105000e+03 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 26 | - | 427k| 0 | 8 | 94 | 21 | 94 | 8 | 4 | 0 | 0 | 0.000000e+00 | 1.105000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 32 | - | 468k| 0 | 10 | 94 | 21 | 94 | 13 | 9 | 0 | 0 | 0.000000e+00 | 1.105000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 38 | - | 515k| 0 | 11 | 94 | 21 | 94 | 18 | 14 | 0 | 0 | 0.000000e+00 | 1.105000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 46 | - | 537k| 0 | 14 | 94 | 21 | 94 | 21 | 17 | 0 | 0 | 0.000000e+00 | 1.105000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 62 | - | 552k| 0 | 15 | 94 | 21 | 94 | 25 | 21 | 0 | 0 | 0.000000e+00 | 1.105000e+03 | Inf
0.04/0.04 c 0.0s| 1 | 0 | 70 | - | 556k| 0 | 16 | 94 | 21 | 94 | 28 | 24 | 0 | 0 | 0.000000e+00 | 1.105000e+03 | Inf
0.04/0.07 c 0.1s| 1 | 2 | 180 | - | 557k| 0 | 16 | 94 | 21 | 94 | 28 | 24 | 0 | 9 | 0.000000e+00 | 1.105000e+03 | Inf
0.04/0.09 o 266
0.04/0.09 c c 0.1s| 23 | 22 | 298 | 10.4 | 579k| 22 | - | 94 | 21 | 94 | 16 | 24 | 0 | 98 | 0.000000e+00 | 2.660000e+02 | Inf
0.09/0.12 o 75
0.09/0.12 c f 0.1s| 64 | 42 | 501 | 6.8 | 588k| 25 | - | 94 | 21 | 94 | 16 | 24 | 0 | 214 | 0.000000e+00 | 7.500000e+01 | Inf
0.09/0.15 o 66
0.09/0.15 c g 0.2s| 172 | 130 | 860 | 4.6 | 647k| 25 | - | 94 | 27 | 94 | 16 | 24 | 12 | 322 | 0.000000e+00 | 6.600000e+01 | Inf
0.09/0.16 o 65
0.09/0.16 c * 0.2s| 197 | 147 | 954 | 4.5 | 661k| 25 | - | 94 | 30 | 94 | 16 | 24 | 17 | 341 | 0.000000e+00 | 6.500000e+01 | Inf
0.09/0.16 o 63
0.09/0.16 c * 0.2s| 200 | 147 | 957 | 4.5 | 663k| 26 | - | 94 | 30 | 94 | 16 | 24 | 17 | 349 | 0.000000e+00 | 6.300000e+01 | Inf
0.09/0.16 o 61
0.09/0.16 c * 0.2s| 201 | 146 | 957 | 4.4 | 664k| 26 | - | 94 | 30 | 94 | 16 | 24 | 17 | 349 | 0.000000e+00 | 6.100000e+01 | Inf
0.09/0.19 o 59
0.09/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.19 c v 0.2s| 294 | 206 | 1225 | 3.9 | 700k| 26 | - | 94 | 20 | 94 | 16 | 24 | 27 | 384 | 0.000000e+00 | 5.900000e+01 | Inf
0.09/0.19 o 58
0.09/0.19 c * 0.2s| 295 | 205 | 1233 | 4.0 | 701k| 26 | - | 94 | 20 | 94 | 16 | 24 | 27 | 384 | 0.000000e+00 | 5.800000e+01 | Inf
0.09/0.19 o 57
0.09/0.19 c l 0.2s| 337 | 229 | 1337 | 3.8 | 722k| 26 | - | 94 | 27 | 94 | 16 | 24 | 35 | 391 | 0.000000e+00 | 5.700000e+01 | Inf
0.09/0.19 o 55
0.09/0.19 c g 0.2s| 337 | 229 | 1337 | 3.8 | 726k| 26 | - | 94 | 28 | 94 | 16 | 24 | 36 | 391 | 0.000000e+00 | 5.500000e+01 | Inf
0.18/0.20 o 54
0.18/0.20 c * 0.2s| 348 | 238 | 1372 | 3.8 | 733k| 26 | - | 94 | 28 | 94 | 16 | 24 | 36 | 403 | 0.000000e+00 | 5.400000e+01 | Inf
0.18/0.20 o 52
0.18/0.20 c * 0.2s| 349 | 235 | 1372 | 3.7 | 732k| 26 | - | 94 | 28 | 94 | 16 | 24 | 36 | 403 | 0.000000e+00 | 5.200000e+01 | Inf
0.18/0.21 o 24
0.18/0.21 c s 0.2s| 381 | 208 | 1465 | 3.7 | 717k| 26 | 4 | 94 | 30 | 94 | 16 | 24 | 38 | 410 | 0.000000e+00 | 2.400000e+01 | Inf
0.18/0.22 o 22
0.18/0.22 c * 0.2s| 462 | 239 | 1674 | 3.5 | 742k| 26 | - | 94 | 38 | 94 | 16 | 24 | 47 | 438 | 0.000000e+00 | 2.200000e+01 | Inf
0.18/0.22 o 21
0.18/0.22 c * 0.2s| 466 | 240 | 1692 | 3.5 | 744k| 26 | - | 94 | 38 | 94 | 16 | 24 | 47 | 444 | 0.000000e+00 | 2.100000e+01 | Inf
0.18/0.22 o 19
0.18/0.22 c * 0.2s| 467 | 235 | 1692 | 3.5 | 743k| 26 | - | 94 | 38 | 94 | 16 | 24 | 47 | 444 | 0.000000e+00 | 1.900000e+01 | Inf
0.18/0.23 o 17
0.18/0.23 c * 0.2s| 486 | 236 | 1740 | 3.4 | 745k| 26 | - | 94 | 40 | 94 | 16 | 24 | 49 | 445 | 0.000000e+00 | 1.700000e+01 | Inf
0.29/0.30 o 16
0.29/0.30 c p 0.3s| 804 | 395 | 2761 | 3.4 | 846k| 26 | - | 94 | 93 | 94 | 16 | 24 | 104 | 449 | 0.000000e+00 | 1.600000e+01 | Inf
0.39/0.40 o 15
0.39/0.40 c s 0.4s| 1329 | 690 | 4268 | 3.2 |1030k| 26 | 4 | 94 | 208 | 94 | 16 | 24 | 223 | 473 | 0.000000e+00 | 1.500000e+01 | Inf
0.39/0.40 o 11
0.39/0.40 c p 0.4s| 1329 | 675 | 4273 | 3.2 |1030k| 26 | - | 94 | 211 | 94 | 16 | 24 | 227 | 475 | 0.000000e+00 | 1.100000e+01 | Inf
0.59/0.63 o 9
0.59/0.63 c * 0.6s| 2441 | 1153 | 8480 | 3.4 |1378k| 26 | - | 94 | 483 | 94 | 16 | 24 | 499 | 478 | 0.000000e+00 | 9.000000e+00 | Inf
0.79/0.86 o 8
0.79/0.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.86 c * 0.9s| 3795 | 1449 | 12201 | 3.2 |1665k| 26 | - | 94 | 768 | 94 | 16 | 24 | 784 | 489 | 0.000000e+00 | 8.000000e+00 | Inf
0.89/0.98 o 6
0.89/0.98 c * 1.0s| 4477 | 1481 | 13743 | 3.1 |1772k| 26 | - | 94 | 905 | 94 | 16 | 24 | 934 | 493 | 0.000000e+00 | 6.000000e+00 | Inf
0.89/0.98 o 4
0.89/0.98 c * 1.0s| 4478 | 1449 | 13743 | 3.1 |1754k| 26 | - | 94 | 905 | 94 | 16 | 24 | 934 | 493 | 0.000000e+00 | 4.000000e+00 | Inf
1.79/1.89 c 1.9s| 10000 | 1778 | 26437 | 2.6 |2496k| 26 | - | 94 |1903 | 94 | 16 | 24 |1974 | 522 | 0.000000e+00 | 4.000000e+00 | Inf
3.69/3.70 c 3.7s| 20000 | 1902 | 48952 | 2.4 |3517k| 27 | 4 | 94 |3519 | 94 | 16 | 24 |3979 | 658 | 0.000000e+00 | 4.000000e+00 | Inf
4.09/4.12 o 3
4.09/4.12 c * 4.1s| 22099 | 1819 | 53464 | 2.4 |3605k| 27 | - | 94 |3708 | 94 | 16 | 24 |4418 | 679 | 0.000000e+00 | 3.000000e+00 | Inf
5.69/5.70 c 5.7s| 30000 | 1635 | 70002 | 2.3 |3567k| 27 | - | 94 |3497 | 0 | 0 | 24 |5935 | 787 | 0.000000e+00 | 3.000000e+00 | Inf
7.59/7.62 c 7.6s| 40000 | 1581 | 91105 | 2.3 |3750k| 27 | - | 94 |3894 | 0 | 0 | 24 |8185 | 816 | 0.000000e+00 | 3.000000e+00 | Inf
9.39/9.41 c 9.4s| 50000 | 1755 |112038 | 2.2 |3109k| 27 | - | 94 |1727 | 94 | 16 | 24 | 10k| 880 | 0.000000e+00 | 3.000000e+00 | Inf
10.89/10.91 c 10.9s| 60000 | 2137 |133095 | 2.2 |3394k| 27 | - | 94 |1585 | 94 | 16 | 24 | 12k| 902 | 0.000000e+00 | 3.000000e+00 | Inf
12.29/12.38 c 12.4s| 70000 | 2001 |153298 | 2.2 |3361k| 27 | 4 | 94 |1484 | 94 | 16 | 24 | 14k| 939 | 0.000000e+00 | 3.000000e+00 | Inf
13.79/13.86 c 13.9s| 80000 | 2006 |175059 | 2.2 |3567k| 27 | - | 94 |1837 | 0 | 0 | 24 | 15k| 997 | 0.000000e+00 | 3.000000e+00 | Inf
15.19/15.28 c 15.3s| 90000 | 1888 |196134 | 2.2 |3303k| 27 | 4 | 94 |1550 | 94 | 16 | 24 | 17k|1047 | 0.000000e+00 | 3.000000e+00 | Inf
16.59/16.61 c 16.6s|100000 | 2048 |217259 | 2.2 |3447k| 27 | - | 94 |1334 | 94 | 16 | 24 | 19k|1092 | 0.000000e+00 | 3.000000e+00 | Inf
17.89/17.99 c 18.0s|110000 | 1767 |237997 | 2.2 |3187k| 27 | 4 | 94 |1164 | 94 | 16 | 24 | 20k|1162 | 0.000000e+00 | 3.000000e+00 | Inf
18.59/18.64 o 1
18.59/18.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.59/18.64 c *18.6s|114860 | 1795 |248575 | 2.2 |3235k| 27 | - | 94 |1235 | 94 | 16 | 24 | 21k|1217 | 0.000000e+00 | 1.000000e+00 | Inf
19.49/19.59 c 19.6s|120000 | 1742 |258067 | 2.1 |3711k| 27 | 4 | 94 |2829 | 94 | 16 | 24 | 25k|1217 | 0.000000e+00 | 1.000000e+00 | Inf
21.79/21.82 c 21.8s|130000 | 1355 |275628 | 2.1 |3895k| 27 | - | 94 |4560 | 0 | 0 | 24 | 32k|1349 | 0.000000e+00 | 1.000000e+00 | Inf
24.10/24.10 c 24.1s|140000 | 1461 |292347 | 2.1 |4248k| 27 | 4 | 94 |5183 | 94 | 16 | 24 | 39k|1371 | 0.000000e+00 | 1.000000e+00 | Inf
26.69/26.71 c 26.7s|150000 | 1000 |309039 | 2.1 |3949k| 27 | 4 | 94 |4956 | 94 | 16 | 24 | 46k|1393 | 0.000000e+00 | 1.000000e+00 | Inf
29.19/29.27 c 29.3s|160000 | 1326 |326771 | 2.0 |5027k| 27 | 4 | 94 |6635 | 94 | 16 | 24 | 53k|1393 | 0.000000e+00 | 1.000000e+00 | Inf
31.99/32.00 c 32.0s|170000 | 1315 |344105 | 2.0 |5414k| 27 | - | 94 |7458 | 0 | 0 | 24 | 61k|1393 | 0.000000e+00 | 1.000000e+00 | Inf
35.00/35.00 c 35.0s|180000 | 1158 |361395 | 2.0 |5640k| 27 | - | 94 |8667 | 94 | 16 | 24 | 68k|1444 | 0.000000e+00 | 1.000000e+00 | Inf
37.99/38.09 c 38.1s|190000 | 1071 |378326 | 2.0 |5980k| 27 | - | 94 |9522 | 0 | 0 | 24 | 76k|1458 | 0.000000e+00 | 1.000000e+00 | Inf
41.49/41.54 c 41.5s|200000 | 1116 |394883 | 2.0 |6714k| 27 | - | 94 | 11k| 94 | 16 | 24 | 83k|1479 | 0.000000e+00 | 1.000000e+00 | Inf
45.19/45.25 c 45.3s|210000 | 1081 |410627 | 2.0 |7244k| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 90k|1495 | 0.000000e+00 | 1.000000e+00 | Inf
48.99/49.06 c 49.1s|220000 | 1000 |427718 | 1.9 |6350k| 27 | 4 | 94 |9324 | 94 | 16 | 24 | 97k|1511 | 0.000000e+00 | 1.000000e+00 | Inf
52.09/52.13 c 52.1s|230000 | 700 |444478 | 1.9 |4821k| 27 | - | 94 |4959 | 94 | 16 | 24 | 104k|1532 | 0.000000e+00 | 1.000000e+00 | Inf
54.59/54.68 c 54.7s|240000 | 1087 |462036 | 1.9 |5539k| 27 | 4 | 94 |6292 | 94 | 16 | 24 | 111k|1534 | 0.000000e+00 | 1.000000e+00 | Inf
57.40/57.48 c 57.5s|250000 | 811 |479380 | 1.9 |4997k| 27 | - | 94 |5093 | 94 | 16 | 24 | 119k|1551 | 0.000000e+00 | 1.000000e+00 | Inf
60.19/60.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.19/60.22 c 60.2s|260000 | 570 |496084 | 1.9 |5253k| 27 | - | 94 |6289 | 0 | 0 | 24 | 127k|1557 | 0.000000e+00 | 1.000000e+00 | Inf
62.80/62.86 c 62.9s|270000 | 853 |514183 | 1.9 |5863k| 27 | - | 94 |7048 | 0 | 0 | 24 | 134k|1581 | 0.000000e+00 | 1.000000e+00 | Inf
65.69/65.72 c 65.7s|280000 | 666 |531839 | 1.9 |5750k| 27 | - | 94 |7479 | 94 | 16 | 24 | 142k|1603 | 0.000000e+00 | 1.000000e+00 | Inf
68.69/68.78 c 68.8s|290000 | 1002 |549920 | 1.9 |7192k| 27 | - | 94 | 10k| 94 | 16 | 24 | 149k|1603 | 0.000000e+00 | 1.000000e+00 | Inf
72.29/72.31 c 72.3s|300000 | 805 |567585 | 1.9 |7437k| 27 | - | 94 | 11k| 0 | 0 | 24 | 156k|1603 | 0.000000e+00 | 1.000000e+00 | Inf
75.99/76.03 c 76.0s|310000 | 678 |585315 | 1.9 |7757k| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 164k|1603 | 0.000000e+00 | 1.000000e+00 | Inf
79.49/79.59 c 79.6s|320000 | 499 |603164 | 1.9 |6306k| 27 | 4 | 94 |8976 | 94 | 16 | 24 | 171k|1663 | 0.000000e+00 | 1.000000e+00 | Inf
82.50/82.51 c 82.5s|330000 | 1780 |623609 | 1.9 |7390k| 27 | 4 | 94 | 10k| 94 | 16 | 24 | 178k|1681 | 0.000000e+00 | 1.000000e+00 | Inf
85.49/85.53 c 85.5s|340000 | 3121 |641759 | 1.9 |8650k| 27 | - | 94 | 10k| 94 | 16 | 24 | 185k|1687 | 0.000000e+00 | 1.000000e+00 | Inf
88.69/88.78 c 88.8s|350000 | 3718 |658772 | 1.9 |9717k| 27 | 4 | 94 | 10k| 94 | 16 | 24 | 192k|1702 | 0.000000e+00 | 1.000000e+00 | Inf
92.00/92.07 c 92.1s|360000 | 4544 |676809 | 1.9 | 11M| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 199k|1717 | 0.000000e+00 | 1.000000e+00 | Inf
95.49/95.55 c 95.6s|370000 | 5123 |694683 | 1.9 | 11M| 27 | - | 94 | 12k| 94 | 16 | 24 | 206k|1718 | 0.000000e+00 | 1.000000e+00 | Inf
99.19/99.25 c 99.2s|380000 | 5193 |711996 | 1.9 | 12M| 27 | 4 | 94 | 11k| 94 | 16 | 24 | 213k|1724 | 0.000000e+00 | 1.000000e+00 | Inf
102.79/102.84 c 103s|390000 | 5411 |729464 | 1.9 | 12M| 27 | - | 94 | 12k| 94 | 16 | 24 | 221k|1741 | 0.000000e+00 | 1.000000e+00 | Inf
106.70/106.73 c 107s|400000 | 5135 |746297 | 1.9 | 12M| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 228k|1749 | 0.000000e+00 | 1.000000e+00 | Inf
110.59/110.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.59/110.60 c 111s|410000 | 4658 |763071 | 1.9 | 12M| 27 | - | 94 | 12k| 94 | 16 | 24 | 236k|1772 | 0.000000e+00 | 1.000000e+00 | Inf
114.19/114.29 c 114s|420000 | 4329 |780411 | 1.9 | 12M| 27 | 4 | 94 | 11k| 94 | 16 | 24 | 244k|1790 | 0.000000e+00 | 1.000000e+00 | Inf
117.49/117.58 c 118s|430000 | 5245 |798840 | 1.9 | 13M| 27 | - | 94 | 14k| 0 | 0 | 24 | 251k|1790 | 0.000000e+00 | 1.000000e+00 | Inf
121.39/121.42 c 121s|440000 | 4939 |815886 | 1.9 | 14M| 27 | - | 94 | 14k| 94 | 16 | 24 | 258k|1800 | 0.000000e+00 | 1.000000e+00 | Inf
125.30/125.34 c 125s|450000 | 5042 |833575 | 1.9 | 14M| 27 | - | 94 | 16k| 94 | 16 | 24 | 266k|1805 | 0.000000e+00 | 1.000000e+00 | Inf
129.70/129.73 c 130s|460000 | 5165 |851189 | 1.9 | 15M| 27 | - | 94 | 17k| 94 | 16 | 24 | 273k|1823 | 0.000000e+00 | 1.000000e+00 | Inf
134.59/134.64 c 135s|470000 | 4782 |868429 | 1.8 | 15M| 27 | 4 | 94 | 17k| 94 | 16 | 24 | 281k|1834 | 0.000000e+00 | 1.000000e+00 | Inf
139.49/139.56 c 140s|480000 | 4686 |885224 | 1.8 | 15M| 27 | 4 | 94 | 16k| 94 | 16 | 24 | 288k|1842 | 0.000000e+00 | 1.000000e+00 | Inf
144.19/144.24 c 144s|490000 | 4659 |902793 | 1.8 | 14M| 27 | 4 | 94 | 13k| 94 | 16 | 24 | 296k|1860 | 0.000000e+00 | 1.000000e+00 | Inf
148.30/148.38 c 148s|500000 | 4291 |919854 | 1.8 | 14M| 27 | - | 94 | 16k| 94 | 16 | 24 | 304k|1872 | 0.000000e+00 | 1.000000e+00 | Inf
153.19/153.23 c 153s|510000 | 3540 |936764 | 1.8 | 13M| 27 | - | 94 | 12k| 0 | 0 | 24 | 312k|1897 | 0.000000e+00 | 1.000000e+00 | Inf
157.20/157.25 c 157s|520000 | 3209 |953925 | 1.8 | 13M| 27 | 4 | 94 | 13k| 94 | 16 | 24 | 320k|1906 | 0.000000e+00 | 1.000000e+00 | Inf
161.39/161.46 c 161s|530000 | 2666 |971104 | 1.8 | 12M| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 328k|1916 | 0.000000e+00 | 1.000000e+00 | Inf
165.39/165.46 c 165s|540000 | 2418 |988296 | 1.8 | 12M| 27 | - | 94 | 12k| 94 | 16 | 24 | 335k|1921 | 0.000000e+00 | 1.000000e+00 | Inf
169.40/169.48 c 169s|550000 | 1795 | 1005k| 1.8 | 11M| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 343k|1937 | 0.000000e+00 | 1.000000e+00 | Inf
173.50/173.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.50/173.54 c 174s|560000 | 1193 | 1021k| 1.8 | 10M| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 351k|1950 | 0.000000e+00 | 1.000000e+00 | Inf
177.29/177.34 c 177s|570000 | 1721 | 1039k| 1.8 | 11M| 27 | 4 | 94 | 15k| 94 | 16 | 24 | 358k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
182.09/182.11 c 182s|580000 | 1407 | 1055k| 1.8 | 12M| 27 | - | 94 | 17k| 94 | 16 | 24 | 366k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
187.49/187.58 c 188s|590000 | 730 | 1071k| 1.8 |9118k| 27 | 4 | 94 | 13k| 94 | 16 | 24 | 374k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
192.19/192.26 c 192s|600000 | 493 | 1088k| 1.8 |8229k| 27 | 4 | 94 | 13k| 94 | 16 | 24 | 382k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
195.90/195.95 c 196s|610000 | 949 | 1106k| 1.8 |8936k| 27 | - | 94 | 13k| 0 | 0 | 24 | 390k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
199.90/199.96 c 200s|620000 | 919 | 1123k| 1.8 |9794k| 27 | - | 94 | 15k| 94 | 16 | 24 | 397k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
204.20/204.24 c 204s|630000 | 639 | 1141k| 1.8 |9597k| 27 | 4 | 94 | 15k| 94 | 16 | 24 | 405k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
208.60/208.67 c 209s|640000 | 472 | 1159k| 1.8 |8089k| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 413k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
212.39/212.48 c 212s|650000 | 282 | 1177k| 1.8 |8541k| 27 | - | 94 | 14k| 94 | 16 | 24 | 421k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
216.19/216.26 c 216s|660000 | 415 | 1194k| 1.8 |8702k| 27 | 4 | 94 | 13k| 94 | 16 | 24 | 429k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
220.10/220.20 c 220s|670000 | 640 | 1213k| 1.8 |9364k| 27 | 4 | 94 | 15k| 94 | 16 | 24 | 436k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
224.80/224.88 c 225s|680000 | 218 | 1232k| 1.8 |8583k| 27 | - | 94 | 14k| 0 | 0 | 24 | 444k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
228.40/228.42 c 228s|690000 | 930 | 1251k| 1.8 |8398k| 27 | - | 94 | 11k| 94 | 16 | 24 | 451k|1963 | 0.000000e+00 | 1.000000e+00 | Inf
232.01/232.10 c 232s|700000 | 1187 | 1269k| 1.8 |9149k| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 459k|1965 | 0.000000e+00 | 1.000000e+00 | Inf
236.40/236.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
236.40/236.46 c 236s|710000 | 463 | 1288k| 1.8 |8292k| 27 | 4 | 94 | 11k| 94 | 16 | 24 | 467k|1999 | 0.000000e+00 | 1.000000e+00 | Inf
239.90/239.97 c 240s|720000 | 709 | 1306k| 1.8 |9555k| 27 | 4 | 94 | 14k| 94 | 16 | 24 | 475k|1999 | 0.000000e+00 | 1.000000e+00 | Inf
244.39/244.45 c 244s|730000 | 610 | 1324k| 1.8 | 10M| 27 | 5 | 94 | 15k| 94 | 16 | 24 | 483k|1999 | 0.000000e+00 | 1.000000e+00 | Inf
248.80/248.86 c 249s|740000 | 1084 | 1344k| 1.8 | 11M| 27 | 4 | 94 | 18k| 94 | 16 | 24 | 490k|1999 | 0.000000e+00 | 1.000000e+00 | Inf
253.89/253.92 c 254s|750000 | 828 | 1363k| 1.8 | 12M| 27 | 4 | 94 | 20k| 94 | 16 | 24 | 498k|1999 | 0.000000e+00 | 1.000000e+00 | Inf
259.30/259.35 c 259s|760000 | 735 | 1381k| 1.8 | 12M| 27 | 4 | 94 | 22k| 94 | 16 | 24 | 506k|1999 | 0.000000e+00 | 1.000000e+00 | Inf
265.30/265.32 c 265s|770000 | 977 | 1399k| 1.8 | 13M| 27 | 4 | 94 | 23k| 94 | 16 | 24 | 514k|2002 | 0.000000e+00 | 1.000000e+00 | Inf
271.49/271.54 c 272s|780000 | 903 | 1417k| 1.8 | 13M| 27 | - | 94 | 20k| 94 | 16 | 24 | 521k|2007 | 0.000000e+00 | 1.000000e+00 | Inf
277.20/277.28 c 277s|790000 | 789 | 1436k| 1.8 | 13M| 27 | 4 | 94 | 21k| 94 | 16 | 24 | 530k|2007 | 0.000000e+00 | 1.000000e+00 | Inf
283.29/283.31 c 283s|800000 | 396 | 1453k| 1.8 | 11M| 27 | 4 | 94 | 18k| 94 | 16 | 24 | 538k|2007 | 0.000000e+00 | 1.000000e+00 | Inf
288.00/288.08 c 288s|810000 | 690 | 1472k| 1.8 | 10M| 27 | 4 | 94 | 15k| 94 | 16 | 24 | 545k|2076 | 0.000000e+00 | 1.000000e+00 | Inf
292.50/292.54 c 293s|820000 | 828 | 1490k| 1.8 | 11M| 27 | - | 94 | 17k| 94 | 16 | 24 | 552k|2076 | 0.000000e+00 | 1.000000e+00 | Inf
297.70/297.74 c 298s|830000 | 179 | 1506k| 1.8 |9831k| 27 | - | 94 | 15k| 94 | 16 | 24 | 560k|2076 | 0.000000e+00 | 1.000000e+00 | Inf
301.80/301.87 c 302s|840000 | 848 | 1525k| 1.8 | 11M| 27 | 4 | 94 | 18k| 94 | 16 | 24 | 567k|2076 | 0.000000e+00 | 1.000000e+00 | Inf
306.70/306.71 c 307s|850000 | 651 | 1542k| 1.8 | 12M| 27 | - | 94 | 19k| 0 | 0 | 24 | 575k|2076 | 0.000000e+00 | 1.000000e+00 | Inf
312.10/312.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.10/312.12 c 312s|860000 | 569 | 1560k| 1.8 | 12M| 27 | 4 | 94 | 20k| 94 | 16 | 24 | 584k|2076 | 0.000000e+00 | 1.000000e+00 | Inf
317.90/317.92 c 318s|870000 | 730 | 1578k| 1.8 | 13M| 27 | - | 94 | 22k| 0 | 0 | 24 | 591k|2076 | 0.000000e+00 | 1.000000e+00 | Inf
323.70/323.74 c 324s|880000 | 814 | 1596k| 1.8 | 13M| 27 | 4 | 94 | 23k| 94 | 16 | 24 | 599k|2081 | 0.000000e+00 | 1.000000e+00 | Inf
329.90/329.95 c 330s|890000 | 745 | 1616k| 1.8 | 14M| 27 | - | 94 | 26k| 94 | 16 | 24 | 607k|2088 | 0.000000e+00 | 1.000000e+00 | Inf
336.00/336.07 c 336s|900000 | 565 | 1634k| 1.8 | 12M| 27 | 4 | 94 | 20k| 94 | 16 | 24 | 615k|2089 | 0.000000e+00 | 1.000000e+00 | Inf
342.20/342.20 c 342s|910000 | 204 | 1653k| 1.8 | 12M| 27 | 4 | 94 | 22k| 94 | 16 | 24 | 623k|2089 | 0.000000e+00 | 1.000000e+00 | Inf
348.40/348.44 c 348s|920000 | 286 | 1671k| 1.8 | 13M| 27 | 4 | 94 | 24k| 94 | 16 | 24 | 630k|2089 | 0.000000e+00 | 1.000000e+00 | Inf
354.50/354.56 c 355s|930000 | 675 | 1692k| 1.8 | 14M| 27 | - | 94 | 25k| 0 | 0 | 24 | 638k|2089 | 0.000000e+00 | 1.000000e+00 | Inf
361.29/361.31 c 361s|940000 | 947 | 1710k| 1.8 | 15M| 27 | - | 94 | 27k| 0 | 0 | 24 | 645k|2089 | 0.000000e+00 | 1.000000e+00 | Inf
369.50/369.55 c 370s|950000 | 564 | 1728k| 1.8 | 15M| 27 | 4 | 94 | 29k| 94 | 16 | 24 | 654k|2089 | 0.000000e+00 | 1.000000e+00 | Inf
374.80/374.80 c
374.80/374.80 c SCIP Status : problem is solved [optimal solution found]
374.80/374.80 c Solving Time (sec) : 374.80
374.80/374.80 c Solving Nodes : 956030
374.80/374.80 c Primal Bound : +1.00000000000000e+00 (30 solutions)
374.80/374.80 c Dual Bound : +1.00000000000000e+00
374.80/374.80 c Gap : 0.00 %
374.80/374.80 s OPTIMUM FOUND
374.80/374.80 v -x69 x94 -x93 x92 x91 x90 x89 x88 -x87 x86 -x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 x72 -x71 x70 x68 x67 -x66
374.80/374.80 v x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
374.80/374.80 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
374.80/374.80 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
374.80/374.80 c SCIP Status : problem is solved [optimal solution found]
374.80/374.80 c Total Time : 374.80
374.80/374.80 c solving : 374.80
374.80/374.80 c presolving : 0.00 (included in solving)
374.80/374.80 c reading : 0.00 (included in solving)
374.80/374.80 c Original Problem :
374.80/374.80 c Problem name : HOME/instance-3489569-1307773041.opb
374.80/374.80 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
374.80/374.80 c Constraints : 8 initial, 8 maximal
374.80/374.80 c Presolved Problem :
374.80/374.80 c Problem name : t_HOME/instance-3489569-1307773041.opb
374.80/374.80 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
374.80/374.80 c Constraints : 4 initial, 29884 maximal
374.80/374.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
374.80/374.80 c trivial : 0.00 0 0 0 0 0 0 0 0 0
374.80/374.80 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
374.80/374.80 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
374.80/374.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
374.80/374.80 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
374.80/374.80 c implics : 0.00 0 0 0 0 0 0 0 0 0
374.80/374.80 c probing : 0.00 0 0 0 0 0 0 0 0 0
374.80/374.80 c linear : 0.00 0 0 0 0 0 4 0 0 0
374.80/374.80 c logicor : 0.00 0 0 0 0 0 0 0 0 0
374.80/374.80 c root node : - 65 - - 65 - - - - -
374.80/374.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
374.80/374.80 c integral : 0 0 0 536264 0 20 0 199 859 0 0 1070392
374.80/374.80 c linear : 4+ 7 2390153 0 0 17 1470929 262164 1462840 0 0 0
374.80/374.80 c logicor : 0+ 0 1323081 0 0 0 1177159 10992 638170 0 0 0
374.80/374.80 c countsols : 0 0 0 16 0 16 0 0 0 0 0 0
374.80/374.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
374.80/374.80 c integral : 3.15 0.00 0.00 3.15 0.00 0.00 0.00
374.80/374.80 c linear : 26.67 0.00 23.81 0.00 0.00 0.00 2.87
374.80/374.80 c logicor : 114.76 0.00 113.67 0.00 0.00 0.00 1.09
374.80/374.80 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
374.80/374.80 c Propagators : #Propagate #Resprop Cutoffs DomReds
374.80/374.80 c vbounds : 0 0 0 0
374.80/374.80 c rootredcost : 26 0 0 64
374.80/374.80 c pseudoobj : 2390473 394 489 8417
374.80/374.80 c Propagator Timings : TotalTime Propagate Resprop
374.80/374.80 c vbounds : 0.39 0.39 0.00
374.80/374.80 c rootredcost : 0.41 0.41 0.00
374.80/374.80 c pseudoobj : 3.82 3.82 0.00
374.80/374.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
374.80/374.80 c propagation : 5.55 273645 206532 510711 20.7 60 18.9 -
374.80/374.80 c infeasible LP : 5.75 251449 251448 444274 13.8 2833 17.4 0
374.80/374.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
374.80/374.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
374.80/374.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
374.80/374.80 c applied globally : - - - 658790 16.0 - - -
374.80/374.80 c applied locally : - - - 12 35.3 - - -
374.80/374.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
374.80/374.80 c cut pool : 0.00 5 - - 26 - (maximal pool size: 81)
374.80/374.80 c redcost : 1.25 542407 0 87834 0 0
374.80/374.80 c impliedbounds : 0.00 6 0 0 0 0
374.80/374.80 c intobj : 0.00 0 0 0 0 0
374.80/374.80 c gomory : 0.00 6 0 0 0 0
374.80/374.80 c cgmip : 0.00 0 0 0 0 0
374.80/374.80 c closecuts : 0.00 0 0 0 0 0
374.80/374.80 c strongcg : 0.00 6 0 0 24 0
374.80/374.80 c cmir : 0.01 6 0 0 30 0
374.80/374.80 c flowcover : 0.01 6 0 0 38 0
374.80/374.80 c clique : 0.00 1 0 0 0 0
374.80/374.80 c zerohalf : 0.00 0 0 0 0 0
374.80/374.80 c mcf : 0.00 1 0 0 0 0
374.80/374.80 c oddcycle : 0.00 0 0 0 0 0
374.80/374.80 c rapidlearning : 0.02 1 0 0 0 17
374.80/374.80 c Pricers : Time Calls Vars
374.80/374.80 c problem variables: 0.00 0 0
374.80/374.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
374.80/374.80 c relpscost : 2.85 536248 199 859 0 0 1070392
374.80/374.80 c pscost : 0.00 0 0 0 0 0 0
374.80/374.80 c inference : 0.00 0 0 0 0 0 0
374.80/374.80 c mostinf : 0.00 0 0 0 0 0 0
374.80/374.80 c leastinf : 0.00 0 0 0 0 0 0
374.80/374.80 c fullstrong : 0.00 0 0 0 0 0 0
374.80/374.80 c allfullstrong : 0.00 0 0 0 0 0 0
374.80/374.80 c random : 0.00 0 0 0 0 0 0
374.80/374.80 c Primal Heuristics : Time Calls Found
374.80/374.80 c LP solutions : 0.00 - 16
374.80/374.80 c pseudo solutions : 0.00 - 0
374.80/374.80 c feaspump : 0.04 1 0
374.80/374.80 c oneopt : 0.21 25 0
374.80/374.80 c rootsoldiving : 0.73 972 1
374.80/374.80 c fracdiving : 1.60 2625 1
374.80/374.80 c veclendiving : 1.94 2625 1
374.80/374.80 c guideddiving : 1.65 2626 2
374.80/374.80 c coefdiving : 1.62 2626 1
374.80/374.80 c pscostdiving : 1.64 2626 2
374.80/374.80 c linesearchdiving : 1.67 2627 1
374.80/374.80 c objpscostdiving : 0.46 1314 1
374.80/374.80 c trivial : 0.00 2 0
374.80/374.80 c shiftandpropagate: 0.00 1 1
374.80/374.80 c simplerounding : 0.12 0 0
374.80/374.80 c zirounding : 1.27 0 0
374.80/374.80 c rounding : 0.26 10419 0
374.80/374.80 c shifting : 4.56 19391 3
374.80/374.80 c intshifting : 0.02 0 0
374.80/374.80 c twoopt : 0.00 0 0
374.80/374.80 c fixandinfer : 0.00 0 0
374.80/374.80 c clique : 0.00 0 0
374.80/374.80 c intdiving : 0.00 0 0
374.80/374.80 c actconsdiving : 0.00 0 0
374.80/374.80 c octane : 0.00 0 0
374.80/374.80 c rens : 0.02 1 0
374.80/374.80 c rins : 0.00 0 0
374.80/374.80 c localbranching : 0.00 0 0
374.80/374.80 c mutation : 0.00 0 0
374.80/374.80 c crossover : 0.02 1 0
374.80/374.80 c dins : 0.00 0 0
374.80/374.80 c vbounds : 0.00 0 0
374.80/374.80 c undercover : 0.00 0 0
374.80/374.80 c subnlp : 0.14 0 0
374.80/374.80 c trysol : 0.20 0 0
374.80/374.80 c LP : Time Calls Iterations Iter/call Iter/sec
374.80/374.80 c primal LP : 0.00 0 0 0.00 -
374.80/374.80 c dual LP : 39.06 782403 1632524 2.09 41791.56
374.80/374.80 c lex dual LP : 0.00 0 0 0.00 -
374.80/374.80 c barrier LP : 0.00 0 0 0.00 -
374.80/374.80 c diving/probing LP: 2.86 55724 105934 1.90 37077.68
374.80/374.80 c strong branching : 0.21 2126 9359 4.40 44112.10
374.80/374.80 c (at root node) : - 9 530 58.89 -
374.80/374.80 c conflict analysis: 0.00 0 0 0.00 -
374.80/374.80 c B&B Tree :
374.80/374.80 c number of runs : 1
374.80/374.80 c nodes : 956030
374.80/374.80 c nodes (total) : 956030
374.80/374.80 c nodes left : 0
374.80/374.80 c max depth : 27
374.80/374.80 c max depth (total): 27
374.80/374.80 c backtracks : 317148 (33.2%)
374.80/374.80 c delayed cutoffs : 114100
374.80/374.80 c repropagations : 736476 (994933 domain reductions, 96601 cutoffs)
374.80/374.80 c avg switch length: 5.16
374.80/374.80 c switching time : 101.29
374.80/374.80 c Solution :
374.80/374.80 c Solutions found : 30 (27 improvements)
374.80/374.80 c First Solution : +1.10500000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 43, found by <shiftandpropagate>)
374.80/374.80 c Primal Bound : +1.00000000000000e+00 (in run 1, after 114860 nodes, 18.64 seconds, depth 24, found by <relaxation>)
374.80/374.80 c Dual Bound : +1.00000000000000e+00
374.80/374.80 c Gap : 0.00 %
374.80/374.80 c Root Dual Bound : +0.00000000000000e+00
374.80/374.80 c Root Iterations : 70
374.80/374.83 c Time complete: 374.83.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3489569-1307773041/watcher-3489569-1307773041 -o /tmp/evaluation-result-3489569-1307773041/solver-3489569-1307773041 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489569-1307773041.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: 3.00 3.00 3.00 3/178 31168
/proc/meminfo: memFree=31052856/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=12564 CPUtime=0 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 2129 0 0 0 0 0 0 0 25 0 1 0 888903868 12865536 2084 33554432000 4194304 9016284 140735829246512 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31168/statm: 3141 2089 353 1178 0 1959 0
[startup+0.049099 s]
/proc/loadavg: 3.00 3.00 3.00 3/178 31168
/proc/meminfo: memFree=31052856/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=26508 CPUtime=0.04 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 6245 0 0 0 4 0 0 0 25 0 1 0 888903868 27144192 5237 33554432000 4194304 9016284 140735829246512 18446744073709551615 6784287 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 6627 5240 668 1178 0 5445 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26508
[startup+0.10109 s]
/proc/loadavg: 3.00 3.00 3.00 3/178 31168
/proc/meminfo: memFree=31052856/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=26580 CPUtime=0.09 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 7113 0 0 0 9 0 0 0 25 0 1 0 888903868 27217920 5617 33554432000 4194304 9016284 140735829246512 18446744073709551615 7822240 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 6645 5617 683 1178 0 5463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26580
[startup+0.301119 s]
/proc/loadavg: 3.00 3.00 3.00 3/178 31168
/proc/meminfo: memFree=31052856/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=26580 CPUtime=0.29 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 7860 0 0 0 28 1 0 0 25 0 1 0 888903868 27217920 5619 33554432000 4194304 9016284 140735829246512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 6645 5619 685 1178 0 5463 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26580
[startup+0.701049 s]
/proc/loadavg: 3.00 3.00 3.00 3/178 31168
/proc/meminfo: memFree=31052856/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=26580 CPUtime=0.69 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 7864 0 0 0 67 2 0 0 25 0 1 0 888903868 27217920 5623 33554432000 4194304 9016284 140735829246512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 6645 5623 685 1178 0 5463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26580
[startup+1.50086 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31169
/proc/meminfo: memFree=31031916/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=26580 CPUtime=1.49 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 7865 0 0 0 145 4 0 0 25 0 1 0 888903868 27217920 5624 33554432000 4194304 9016284 140735829246512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 6645 5624 685 1178 0 5463 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26580
[startup+3.10051 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31170
/proc/meminfo: memFree=31029684/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=26580 CPUtime=3.09 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 7865 0 0 0 302 7 0 0 25 0 1 0 888903868 27217920 5624 33554432000 4194304 9016284 140735829246512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 6645 5624 685 1178 0 5463 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26580
[startup+6.30101 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31170
/proc/meminfo: memFree=31027572/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=26580 CPUtime=6.3 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 7865 0 0 0 617 13 0 0 25 0 1 0 888903868 27217920 5624 33554432000 4194304 9016284 140735829246512 18446744073709551615 6469463 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 6645 5624 685 1178 0 5463 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 26580
[startup+12.7009 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31170
/proc/meminfo: memFree=31021848/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=26580 CPUtime=12.69 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 7868 0 0 0 1241 28 0 0 25 0 1 0 888903868 27217920 5627 33554432000 4194304 9016284 140735829246512 18446744073709551615 4355469 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 6645 5627 685 1178 0 5463 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26580
[startup+25.5007 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31170
/proc/meminfo: memFree=31012724/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=26580 CPUtime=25.49 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 7868 0 0 0 2492 57 0 0 25 0 1 0 888903868 27217920 5627 33554432000 4194304 9016284 140735829246512 18446744073709551615 4842520 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 6645 5627 685 1178 0 5463 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26580
[startup+51.1011 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31171
/proc/meminfo: memFree=30989668/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=32428 CPUtime=51.09 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 9062 0 0 0 5022 87 0 0 25 0 1 0 888903868 33206272 6821 33554432000 4194304 9016284 140735829246512 18446744073709551615 6469440 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 8107 6821 685 1178 0 6925 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32428
[startup+102.306 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31172
/proc/meminfo: memFree=30941160/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=37796 CPUtime=102.3 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 10395 0 0 0 10080 150 0 0 25 0 1 0 888903868 38703104 8154 33554432000 4194304 9016284 140735829246512 18446744073709551615 4319217 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 9449 8154 685 1178 0 8267 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 37796
[startup+162.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31174
/proc/meminfo: memFree=30889024/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=43752 CPUtime=162.29 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 11713 0 0 0 16023 206 0 0 25 0 1 0 888903868 44802048 9472 33554432000 4194304 9016284 140735829246512 18446744073709551615 6469479 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 10938 9472 685 1178 0 9756 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 43752
[startup+222.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31175
/proc/meminfo: memFree=30850284/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=43976 CPUtime=222.3 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 11787 0 0 0 21969 261 0 0 25 0 1 0 888903868 45031424 9546 33554432000 4194304 9016284 140735829246512 18446744073709551615 4926226 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 10994 9546 685 1178 0 9812 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 43976
[startup+282.3 s]
/proc/loadavg: 3.04 3.01 3.00 4/179 31177
/proc/meminfo: memFree=30801864/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=47364 CPUtime=282.3 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 12466 0 0 0 27913 317 0 0 25 0 1 0 888903868 48500736 10225 33554432000 4194304 9016284 140735829246512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 11841 10225 685 1178 0 10659 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 47364
[startup+342.301 s]
/proc/loadavg: 3.01 3.01 3.00 4/179 31179
/proc/meminfo: memFree=30757900/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=48976 CPUtime=342.3 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 12762 0 0 0 33870 360 0 0 25 0 1 0 888903868 50151424 10521 33554432000 4194304 9016284 140735829246512 18446744073709551615 4347602 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 12244 10521 685 1178 0 11062 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 48976
Solver just ended. Dumping a history of the last processes samples
[startup+358.301 s]
/proc/loadavg: 3.01 3.01 3.00 4/179 31179
/proc/meminfo: memFree=30747700/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=48976 CPUtime=358.3 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 12776 0 0 0 35460 370 0 0 25 0 1 0 888903868 50151424 10535 33554432000 4194304 9016284 140735829246512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 12244 10535 685 1178 0 11062 0
Current children cumulated CPU time (s) 358.3
Current children cumulated vsize (KiB) 48976
[startup+364.701 s]
/proc/loadavg: 3.01 3.00 3.00 4/179 31179
/proc/meminfo: memFree=30740872/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=48976 CPUtime=364.7 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 12781 0 0 0 36096 374 0 0 25 0 1 0 888903868 50151424 10540 33554432000 4194304 9016284 140735829246512 18446744073709551615 6469453 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 12244 10540 685 1178 0 11062 0
Current children cumulated CPU time (s) 364.7
Current children cumulated vsize (KiB) 48976
[startup+371.101 s]
/proc/loadavg: 3.08 3.02 3.00 4/179 31179
/proc/meminfo: memFree=30735284/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=49452 CPUtime=371.1 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 12906 0 0 0 36733 377 0 0 25 0 1 0 888903868 50638848 10665 33554432000 4194304 9016284 140735829246512 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 12363 10665 685 1178 0 11181 0
Current children cumulated CPU time (s) 371.1
Current children cumulated vsize (KiB) 49452
[startup+372.7 s]
/proc/loadavg: 3.08 3.02 3.00 4/179 31179
/proc/meminfo: memFree=30735284/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=49452 CPUtime=372.7 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 12906 0 0 0 36892 378 0 0 25 0 1 0 888903868 50638848 10665 33554432000 4194304 9016284 140735829246512 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 12363 10665 685 1178 0 11181 0
Current children cumulated CPU time (s) 372.7
Current children cumulated vsize (KiB) 49452
[startup+373.5 s]
/proc/loadavg: 3.08 3.02 3.00 4/179 31179
/proc/meminfo: memFree=30732680/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=50336 CPUtime=373.5 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 13017 0 0 0 36972 378 0 0 25 0 1 0 888903868 51544064 10776 33554432000 4194304 9016284 140735829246512 18446744073709551615 6468862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 12584 10776 685 1178 0 11402 0
Current children cumulated CPU time (s) 373.5
Current children cumulated vsize (KiB) 50336
[startup+374.301 s]
/proc/loadavg: 3.08 3.02 3.00 4/179 31179
/proc/meminfo: memFree=30732184/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=50336 CPUtime=374.3 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 13017 0 0 0 37051 379 0 0 25 0 1 0 888903868 51544064 10776 33554432000 4194304 9016284 140735829246512 18446744073709551615 4926003 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 12584 10776 685 1178 0 11402 0
Current children cumulated CPU time (s) 374.3
Current children cumulated vsize (KiB) 50336
[startup+374.701 s]
/proc/loadavg: 3.08 3.02 3.00 4/179 31179
/proc/meminfo: memFree=30732184/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=50336 CPUtime=374.7 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 13017 0 0 0 37091 379 0 0 25 0 1 0 888903868 51544064 10776 33554432000 4194304 9016284 140735829246512 18446744073709551615 5315593 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 12584 10776 685 1178 0 11402 0
Current children cumulated CPU time (s) 374.7
Current children cumulated vsize (KiB) 50336
[startup+374.801 s]
/proc/loadavg: 3.08 3.02 3.00 4/179 31179
/proc/meminfo: memFree=30732184/32950928 swapFree=67055156/67111528
[pid=31168] ppid=31166 vsize=50336 CPUtime=374.8 cores=0,2,4,6
/proc/31168/stat : 31168 (scip-2.0.1.4b_2) R 31166 31168 30017 0 -1 4202496 13017 0 0 0 37101 379 0 0 25 0 1 0 888903868 51544064 10776 33554432000 4194304 9016284 140735829246512 18446744073709551615 5325542 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31168/statm: 12584 10776 685 1178 0 11402 0
Current children cumulated CPU time (s) 374.8
Current children cumulated vsize (KiB) 50336
Child status: 0
Real time (s): 374.833
CPU time (s): 374.841
CPU user time (s): 371.04
CPU system time (s): 3.80142
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 50336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 371.04
system time used= 3.80142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13024
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= 8
involuntary context switches= 772
runsolver used 0.529919 second user time and 1.21182 second system time
The end