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-3453309-1307096535.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.4
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 = 1800
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.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/indicator/addCouplingCons = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify knapsacks
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/rapidlearning/freq = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c start solving
0.00/0.00 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 | - | 368k| 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 | - | 428k| 0 | 8 | 94 | 21 | 94 | 8 | 4 | 0 | 0 | 0.000000e+00 | 1.105000e+03 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 32 | - | 469k| 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 | - | 538k| 0 | 14 | 94 | 21 | 94 | 21 | 17 | 0 | 0 | 0.000000e+00 | 1.105000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 62 | - | 552k| 0 | 15 | 94 | 21 | 94 | 25 | 21 | 0 | 0 | 0.000000e+00 | 1.105000e+03 | Inf
0.00/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.00/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.00/0.09 o 266
0.00/0.09 c c 0.1s| 23 | 22 | 298 | 10.4 | 580k| 22 | - | 94 | 21 | 94 | 16 | 24 | 0 | 98 | 0.000000e+00 | 2.660000e+02 | Inf
0.00/0.11 o 75
0.00/0.11 c f 0.1s| 64 | 42 | 501 | 6.8 | 589k| 25 | - | 94 | 21 | 94 | 16 | 24 | 0 | 214 | 0.000000e+00 | 7.500000e+01 | Inf
0.11/0.14 o 66
0.11/0.14 c g 0.1s| 172 | 130 | 860 | 4.6 | 648k| 25 | - | 94 | 27 | 94 | 16 | 24 | 12 | 322 | 0.000000e+00 | 6.600000e+01 | Inf
0.11/0.15 o 65
0.11/0.15 c * 0.2s| 197 | 147 | 954 | 4.5 | 662k| 25 | - | 94 | 30 | 94 | 16 | 24 | 17 | 341 | 0.000000e+00 | 6.500000e+01 | Inf
0.11/0.15 o 63
0.11/0.15 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.11/0.15 o 61
0.11/0.15 c * 0.2s| 201 | 146 | 957 | 4.4 | 665k| 26 | - | 94 | 30 | 94 | 16 | 24 | 17 | 349 | 0.000000e+00 | 6.100000e+01 | Inf
0.11/0.17 o 59
0.11/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.11/0.17 c v 0.2s| 294 | 206 | 1225 | 3.9 | 701k| 26 | - | 94 | 20 | 94 | 16 | 24 | 27 | 384 | 0.000000e+00 | 5.900000e+01 | Inf
0.11/0.17 o 58
0.11/0.17 c * 0.2s| 295 | 205 | 1233 | 4.0 | 702k| 26 | - | 94 | 20 | 94 | 16 | 24 | 27 | 384 | 0.000000e+00 | 5.800000e+01 | Inf
0.11/0.18 o 57
0.11/0.18 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.11/0.18 o 55
0.11/0.18 c g 0.2s| 337 | 229 | 1337 | 3.8 | 727k| 26 | - | 94 | 28 | 94 | 16 | 24 | 36 | 391 | 0.000000e+00 | 5.500000e+01 | Inf
0.11/0.18 o 54
0.11/0.18 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.11/0.18 o 52
0.11/0.18 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.11/0.19 o 24
0.11/0.19 c s 0.2s| 381 | 208 | 1465 | 3.7 | 718k| 26 | 4 | 94 | 30 | 94 | 16 | 24 | 38 | 410 | 0.000000e+00 | 2.400000e+01 | Inf
0.19/0.20 o 22
0.19/0.20 c * 0.2s| 462 | 239 | 1674 | 3.5 | 743k| 26 | - | 94 | 38 | 94 | 16 | 24 | 47 | 438 | 0.000000e+00 | 2.200000e+01 | Inf
0.19/0.20 o 21
0.19/0.20 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.19/0.20 o 19
0.19/0.20 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.19/0.21 o 17
0.19/0.21 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.19/0.27 o 16
0.19/0.27 c p 0.3s| 804 | 395 | 2761 | 3.4 | 847k| 26 | - | 94 | 93 | 94 | 16 | 24 | 104 | 449 | 0.000000e+00 | 1.600000e+01 | Inf
0.29/0.36 o 15
0.29/0.36 c s 0.4s| 1329 | 690 | 4268 | 3.2 |1031k| 26 | 4 | 94 | 208 | 94 | 16 | 24 | 223 | 473 | 0.000000e+00 | 1.500000e+01 | Inf
0.29/0.36 o 11
0.29/0.36 c p 0.4s| 1329 | 675 | 4273 | 3.2 |1031k| 26 | - | 94 | 211 | 94 | 16 | 24 | 227 | 475 | 0.000000e+00 | 1.100000e+01 | Inf
0.49/0.57 o 9
0.49/0.57 c * 0.6s| 2441 | 1153 | 8480 | 3.4 |1379k| 26 | - | 94 | 483 | 94 | 16 | 24 | 499 | 478 | 0.000000e+00 | 9.000000e+00 | Inf
0.69/0.78 o 8
0.69/0.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.78 c * 0.8s| 3795 | 1449 | 12201 | 3.2 |1666k| 26 | - | 94 | 768 | 94 | 16 | 24 | 784 | 489 | 0.000000e+00 | 8.000000e+00 | Inf
0.79/0.89 o 6
0.79/0.89 c * 0.9s| 4477 | 1481 | 13743 | 3.1 |1773k| 26 | - | 94 | 905 | 94 | 16 | 24 | 934 | 493 | 0.000000e+00 | 6.000000e+00 | Inf
0.79/0.89 o 4
0.79/0.89 c * 0.9s| 4478 | 1449 | 13743 | 3.1 |1754k| 26 | - | 94 | 905 | 94 | 16 | 24 | 934 | 493 | 0.000000e+00 | 4.000000e+00 | Inf
1.69/1.74 c 1.7s| 10000 | 1778 | 26437 | 2.6 |2497k| 26 | - | 94 |1903 | 94 | 16 | 24 |1974 | 522 | 0.000000e+00 | 4.000000e+00 | Inf
3.41/3.49 c 3.5s| 20000 | 1902 | 48952 | 2.4 |3517k| 27 | 4 | 94 |3519 | 94 | 16 | 24 |3979 | 658 | 0.000000e+00 | 4.000000e+00 | Inf
3.79/3.89 o 3
3.79/3.89 c * 3.9s| 22099 | 1819 | 53464 | 2.4 |3605k| 27 | - | 94 |3708 | 94 | 16 | 24 |4418 | 679 | 0.000000e+00 | 3.000000e+00 | Inf
5.29/5.34 c 5.3s| 30000 | 1635 | 70002 | 2.3 |3568k| 27 | - | 94 |3497 | 0 | 0 | 24 |5935 | 787 | 0.000000e+00 | 3.000000e+00 | Inf
6.99/7.10 c 7.1s| 40000 | 1581 | 91105 | 2.3 |3751k| 27 | - | 94 |3894 | 0 | 0 | 24 |8185 | 816 | 0.000000e+00 | 3.000000e+00 | Inf
8.69/8.78 c 8.8s| 50000 | 1755 |112038 | 2.2 |3110k| 27 | - | 94 |1727 | 94 | 16 | 24 | 10k| 880 | 0.000000e+00 | 3.000000e+00 | Inf
10.10/10.19 c 10.2s| 60000 | 2137 |133095 | 2.2 |3395k| 27 | - | 94 |1585 | 94 | 16 | 24 | 12k| 902 | 0.000000e+00 | 3.000000e+00 | Inf
11.49/11.56 c 11.6s| 70000 | 2001 |153298 | 2.2 |3362k| 27 | 4 | 94 |1484 | 94 | 16 | 24 | 14k| 939 | 0.000000e+00 | 3.000000e+00 | Inf
12.89/12.92 c 12.9s| 80000 | 2006 |175059 | 2.2 |3568k| 27 | - | 94 |1837 | 0 | 0 | 24 | 15k| 997 | 0.000000e+00 | 3.000000e+00 | Inf
14.19/14.23 c 14.2s| 90000 | 1888 |196134 | 2.2 |3304k| 27 | 4 | 94 |1550 | 94 | 16 | 24 | 17k|1047 | 0.000000e+00 | 3.000000e+00 | Inf
15.51/15.52 c 15.5s|100000 | 2048 |217259 | 2.2 |3448k| 27 | - | 94 |1334 | 94 | 16 | 24 | 19k|1092 | 0.000000e+00 | 3.000000e+00 | Inf
16.69/16.78 c 16.8s|110000 | 1767 |237997 | 2.2 |3188k| 27 | 4 | 94 |1164 | 94 | 16 | 24 | 20k|1162 | 0.000000e+00 | 3.000000e+00 | Inf
17.29/17.38 o 1
17.29/17.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.29/17.38 c *17.4s|114860 | 1795 |248575 | 2.2 |3235k| 27 | - | 94 |1235 | 94 | 16 | 24 | 21k|1217 | 0.000000e+00 | 1.000000e+00 | Inf
18.19/18.27 c 18.3s|120000 | 1742 |258067 | 2.1 |3712k| 27 | 4 | 94 |2829 | 94 | 16 | 24 | 25k|1217 | 0.000000e+00 | 1.000000e+00 | Inf
20.29/20.32 c 20.3s|130000 | 1355 |275628 | 2.1 |3896k| 27 | - | 94 |4560 | 0 | 0 | 24 | 32k|1349 | 0.000000e+00 | 1.000000e+00 | Inf
22.39/22.46 c 22.5s|140000 | 1461 |292347 | 2.1 |4249k| 27 | 4 | 94 |5183 | 94 | 16 | 24 | 39k|1371 | 0.000000e+00 | 1.000000e+00 | Inf
24.79/24.85 c 24.9s|150000 | 1000 |309039 | 2.1 |3950k| 27 | 4 | 94 |4956 | 94 | 16 | 24 | 46k|1393 | 0.000000e+00 | 1.000000e+00 | Inf
27.19/27.21 c 27.2s|160000 | 1326 |326771 | 2.0 |5028k| 27 | 4 | 94 |6635 | 94 | 16 | 24 | 53k|1393 | 0.000000e+00 | 1.000000e+00 | Inf
29.70/29.72 c 29.7s|170000 | 1315 |344105 | 2.0 |5415k| 27 | - | 94 |7458 | 0 | 0 | 24 | 61k|1393 | 0.000000e+00 | 1.000000e+00 | Inf
32.40/32.45 c 32.5s|180000 | 1158 |361395 | 2.0 |5640k| 27 | - | 94 |8667 | 94 | 16 | 24 | 68k|1444 | 0.000000e+00 | 1.000000e+00 | Inf
35.31/35.34 c 35.3s|190000 | 1071 |378326 | 2.0 |5980k| 27 | - | 94 |9522 | 0 | 0 | 24 | 76k|1458 | 0.000000e+00 | 1.000000e+00 | Inf
38.39/38.47 c 38.5s|200000 | 1116 |394883 | 2.0 |6714k| 27 | - | 94 | 11k| 94 | 16 | 24 | 83k|1479 | 0.000000e+00 | 1.000000e+00 | Inf
41.91/41.94 c 41.9s|210000 | 1081 |410627 | 2.0 |7245k| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 90k|1495 | 0.000000e+00 | 1.000000e+00 | Inf
45.39/45.46 c 45.5s|220000 | 1000 |427718 | 1.9 |6351k| 27 | 4 | 94 |9324 | 94 | 16 | 24 | 97k|1511 | 0.000000e+00 | 1.000000e+00 | Inf
48.19/48.28 c 48.3s|230000 | 700 |444478 | 1.9 |4822k| 27 | - | 94 |4959 | 94 | 16 | 24 | 104k|1532 | 0.000000e+00 | 1.000000e+00 | Inf
50.60/50.62 c 50.6s|240000 | 1087 |462036 | 1.9 |5540k| 27 | 4 | 94 |6292 | 94 | 16 | 24 | 111k|1534 | 0.000000e+00 | 1.000000e+00 | Inf
53.19/53.25 c 53.3s|250000 | 811 |479380 | 1.9 |4997k| 27 | - | 94 |5093 | 94 | 16 | 24 | 119k|1551 | 0.000000e+00 | 1.000000e+00 | Inf
55.69/55.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.69/55.74 c 55.7s|260000 | 570 |496084 | 1.9 |5253k| 27 | - | 94 |6289 | 0 | 0 | 24 | 127k|1557 | 0.000000e+00 | 1.000000e+00 | Inf
58.19/58.22 c 58.2s|270000 | 853 |514183 | 1.9 |5864k| 27 | - | 94 |7048 | 0 | 0 | 24 | 134k|1581 | 0.000000e+00 | 1.000000e+00 | Inf
60.80/60.83 c 60.8s|280000 | 666 |531839 | 1.9 |5751k| 27 | - | 94 |7479 | 94 | 16 | 24 | 142k|1603 | 0.000000e+00 | 1.000000e+00 | Inf
63.59/63.67 c 63.7s|290000 | 1002 |549920 | 1.9 |7193k| 27 | - | 94 | 10k| 94 | 16 | 24 | 149k|1603 | 0.000000e+00 | 1.000000e+00 | Inf
66.90/66.93 c 66.9s|300000 | 805 |567585 | 1.9 |7438k| 27 | - | 94 | 11k| 0 | 0 | 24 | 156k|1603 | 0.000000e+00 | 1.000000e+00 | Inf
70.29/70.38 c 70.4s|310000 | 678 |585315 | 1.9 |7758k| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 164k|1603 | 0.000000e+00 | 1.000000e+00 | Inf
73.59/73.63 c 73.6s|320000 | 499 |603164 | 1.9 |6306k| 27 | 4 | 94 |8976 | 94 | 16 | 24 | 171k|1663 | 0.000000e+00 | 1.000000e+00 | Inf
76.29/76.35 c 76.3s|330000 | 1780 |623609 | 1.9 |7390k| 27 | 4 | 94 | 10k| 94 | 16 | 24 | 178k|1681 | 0.000000e+00 | 1.000000e+00 | Inf
79.09/79.10 c 79.1s|340000 | 3121 |641759 | 1.9 |8651k| 27 | - | 94 | 10k| 94 | 16 | 24 | 185k|1687 | 0.000000e+00 | 1.000000e+00 | Inf
82.09/82.10 c 82.1s|350000 | 3718 |658772 | 1.9 |9717k| 27 | 4 | 94 | 10k| 94 | 16 | 24 | 192k|1702 | 0.000000e+00 | 1.000000e+00 | Inf
84.99/85.07 c 85.1s|360000 | 4544 |676809 | 1.9 | 11M| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 199k|1717 | 0.000000e+00 | 1.000000e+00 | Inf
88.30/88.30 c 88.3s|370000 | 5123 |694683 | 1.9 | 11M| 27 | - | 94 | 12k| 94 | 16 | 24 | 206k|1718 | 0.000000e+00 | 1.000000e+00 | Inf
91.59/91.64 c 91.6s|380000 | 5193 |711996 | 1.9 | 12M| 27 | 4 | 94 | 11k| 94 | 16 | 24 | 213k|1724 | 0.000000e+00 | 1.000000e+00 | Inf
94.90/94.99 c 95.0s|390000 | 5411 |729464 | 1.9 | 12M| 27 | - | 94 | 12k| 94 | 16 | 24 | 221k|1741 | 0.000000e+00 | 1.000000e+00 | Inf
98.49/98.51 c 98.5s|400000 | 5135 |746297 | 1.9 | 12M| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 228k|1749 | 0.000000e+00 | 1.000000e+00 | Inf
102.09/102.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.09/102.10 c 102s|410000 | 4658 |763071 | 1.9 | 12M| 27 | - | 94 | 12k| 94 | 16 | 24 | 236k|1772 | 0.000000e+00 | 1.000000e+00 | Inf
105.39/105.46 c 105s|420000 | 4329 |780411 | 1.9 | 12M| 27 | 4 | 94 | 11k| 94 | 16 | 24 | 244k|1790 | 0.000000e+00 | 1.000000e+00 | Inf
108.50/108.50 c 109s|430000 | 5245 |798840 | 1.9 | 13M| 27 | - | 94 | 14k| 0 | 0 | 24 | 251k|1790 | 0.000000e+00 | 1.000000e+00 | Inf
111.99/112.06 c 112s|440000 | 4939 |815886 | 1.9 | 14M| 27 | - | 94 | 14k| 94 | 16 | 24 | 258k|1800 | 0.000000e+00 | 1.000000e+00 | Inf
115.61/115.63 c 116s|450000 | 5042 |833575 | 1.9 | 14M| 27 | - | 94 | 16k| 94 | 16 | 24 | 266k|1805 | 0.000000e+00 | 1.000000e+00 | Inf
119.59/119.67 c 120s|460000 | 5165 |851189 | 1.9 | 15M| 27 | - | 94 | 17k| 94 | 16 | 24 | 273k|1823 | 0.000000e+00 | 1.000000e+00 | Inf
124.10/124.19 c 124s|470000 | 4782 |868429 | 1.8 | 15M| 27 | 4 | 94 | 17k| 94 | 16 | 24 | 281k|1834 | 0.000000e+00 | 1.000000e+00 | Inf
128.59/128.68 c 129s|480000 | 4686 |885224 | 1.8 | 15M| 27 | 4 | 94 | 16k| 94 | 16 | 24 | 288k|1842 | 0.000000e+00 | 1.000000e+00 | Inf
133.00/133.06 c 133s|490000 | 4659 |902793 | 1.8 | 14M| 27 | 4 | 94 | 13k| 94 | 16 | 24 | 296k|1860 | 0.000000e+00 | 1.000000e+00 | Inf
136.89/136.99 c 137s|500000 | 4291 |919854 | 1.8 | 14M| 27 | - | 94 | 16k| 94 | 16 | 24 | 304k|1872 | 0.000000e+00 | 1.000000e+00 | Inf
141.39/141.41 c 141s|510000 | 3540 |936764 | 1.8 | 13M| 27 | - | 94 | 12k| 0 | 0 | 24 | 312k|1897 | 0.000000e+00 | 1.000000e+00 | Inf
145.09/145.15 c 145s|520000 | 3209 |953925 | 1.8 | 13M| 27 | 4 | 94 | 13k| 94 | 16 | 24 | 320k|1906 | 0.000000e+00 | 1.000000e+00 | Inf
148.99/149.07 c 149s|530000 | 2666 |971104 | 1.8 | 12M| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 328k|1916 | 0.000000e+00 | 1.000000e+00 | Inf
152.70/152.72 c 153s|540000 | 2418 |988296 | 1.8 | 12M| 27 | - | 94 | 12k| 94 | 16 | 24 | 335k|1921 | 0.000000e+00 | 1.000000e+00 | Inf
156.39/156.48 c 156s|550000 | 1795 | 1005k| 1.8 | 11M| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 343k|1937 | 0.000000e+00 | 1.000000e+00 | Inf
160.19/160.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.19/160.22 c 160s|560000 | 1193 | 1021k| 1.8 | 10M| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 351k|1950 | 0.000000e+00 | 1.000000e+00 | Inf
163.69/163.74 c 164s|570000 | 1721 | 1039k| 1.8 | 11M| 27 | 4 | 94 | 15k| 94 | 16 | 24 | 358k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
168.10/168.14 c 168s|580000 | 1407 | 1055k| 1.8 | 12M| 27 | - | 94 | 17k| 94 | 16 | 24 | 366k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
173.19/173.27 c 173s|590000 | 730 | 1071k| 1.8 |9119k| 27 | 4 | 94 | 13k| 94 | 16 | 24 | 374k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
177.49/177.50 c 178s|600000 | 493 | 1088k| 1.8 |8230k| 27 | 4 | 94 | 13k| 94 | 16 | 24 | 382k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
180.90/180.92 c 181s|610000 | 949 | 1106k| 1.8 |8937k| 27 | - | 94 | 13k| 0 | 0 | 24 | 390k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
184.59/184.65 c 185s|620000 | 919 | 1123k| 1.8 |9794k| 27 | - | 94 | 15k| 94 | 16 | 24 | 397k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
188.50/188.56 c 189s|630000 | 639 | 1141k| 1.8 |9597k| 27 | 4 | 94 | 15k| 94 | 16 | 24 | 405k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
192.61/192.70 c 193s|640000 | 472 | 1159k| 1.8 |8089k| 27 | 4 | 94 | 12k| 94 | 16 | 24 | 413k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
196.19/196.20 c 196s|650000 | 282 | 1177k| 1.8 |8541k| 27 | - | 94 | 14k| 94 | 16 | 24 | 421k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
199.70/199.72 c 200s|660000 | 415 | 1194k| 1.8 |8703k| 27 | 4 | 94 | 13k| 94 | 16 | 24 | 429k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
203.40/203.40 c 203s|670000 | 640 | 1213k| 1.8 |9365k| 27 | 4 | 94 | 15k| 94 | 16 | 24 | 436k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
207.60/207.62 c 208s|680000 | 218 | 1232k| 1.8 |8584k| 27 | - | 94 | 14k| 0 | 0 | 24 | 444k|1954 | 0.000000e+00 | 1.000000e+00 | Inf
210.90/210.90 c 211s|690000 | 930 | 1251k| 1.8 |8399k| 27 | - | 94 | 11k| 94 | 16 | 24 | 451k|1963 | 0.000000e+00 | 1.000000e+00 | Inf
214.39/214.48 c 214s|700000 | 978 | 1270k| 1.8 |8831k| 27 | - | 94 | 11k| 94 | 16 | 24 | 459k|1975 | 0.000000e+00 | 1.000000e+00 | Inf
218.39/218.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.39/218.42 c 218s|710000 | 429 | 1288k| 1.8 |8370k| 27 | - | 94 | 11k| 94 | 16 | 24 | 467k|2013 | 0.000000e+00 | 1.000000e+00 | Inf
221.69/221.73 c 222s|720000 | 534 | 1306k| 1.8 |9105k| 27 | - | 94 | 13k| 0 | 0 | 24 | 475k|2017 | 0.000000e+00 | 1.000000e+00 | Inf
225.51/225.56 c 226s|730000 | 568 | 1324k| 1.8 |9955k| 27 | 4 | 94 | 15k| 94 | 16 | 24 | 483k|2017 | 0.000000e+00 | 1.000000e+00 | Inf
229.50/229.51 c 230s|740000 | 883 | 1342k| 1.8 | 11M| 27 | - | 94 | 17k| 0 | 0 | 24 | 490k|2017 | 0.000000e+00 | 1.000000e+00 | Inf
234.10/234.19 c 234s|750000 | 913 | 1362k| 1.8 | 12M| 27 | - | 94 | 19k| 94 | 16 | 24 | 498k|2017 | 0.000000e+00 | 1.000000e+00 | Inf
238.99/239.00 c 239s|760000 | 693 | 1381k| 1.8 | 12M| 27 | 4 | 94 | 21k| 94 | 16 | 24 | 506k|2017 | 0.000000e+00 | 1.000000e+00 | Inf
244.09/244.12 c 244s|770000 | 1100 | 1401k| 1.8 | 13M| 27 | 4 | 94 | 21k| 94 | 16 | 24 | 514k|2019 | 0.000000e+00 | 1.000000e+00 | Inf
249.60/249.70 c 250s|780000 | 842 | 1419k| 1.8 | 13M| 27 | - | 94 | 20k| 0 | 0 | 24 | 522k|2031 | 0.000000e+00 | 1.000000e+00 | Inf
255.00/255.02 c 255s|790000 | 919 | 1438k| 1.8 | 13M| 27 | - | 94 | 19k| 94 | 16 | 24 | 529k|2031 | 0.000000e+00 | 1.000000e+00 | Inf
259.79/259.88 c 260s|800000 | 681 | 1457k| 1.8 | 10M| 27 | 4 | 94 | 15k| 94 | 16 | 24 | 537k|2094 | 0.000000e+00 | 1.000000e+00 | Inf
264.12/264.13 c 264s|810000 | 563 | 1476k| 1.8 | 11M| 27 | 4 | 94 | 17k| 94 | 16 | 24 | 545k|2094 | 0.000000e+00 | 1.000000e+00 | Inf
268.29/268.33 c 268s|820000 | 507 | 1494k| 1.8 | 10M| 27 | - | 94 | 15k| 0 | 0 | 24 | 552k|2094 | 0.000000e+00 | 1.000000e+00 | Inf
272.30/272.30 c 272s|830000 | 1136 | 1512k| 1.8 | 11M| 27 | 4 | 94 | 18k| 94 | 16 | 24 | 560k|2094 | 0.000000e+00 | 1.000000e+00 | Inf
277.00/277.06 c 277s|840000 | 632 | 1528k| 1.8 | 11M| 27 | 4 | 94 | 17k| 94 | 16 | 24 | 568k|2094 | 0.000000e+00 | 1.000000e+00 | Inf
281.29/281.34 c 281s|850000 | 660 | 1545k| 1.8 | 12M| 27 | - | 94 | 20k| 0 | 0 | 24 | 575k|2094 | 0.000000e+00 | 1.000000e+00 | Inf
286.12/286.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.12/286.19 c 286s|860000 | 864 | 1563k| 1.8 | 13M| 27 | 4 | 94 | 21k| 94 | 16 | 24 | 583k|2094 | 0.000000e+00 | 1.000000e+00 | Inf
291.40/291.40 c 291s|870000 | 882 | 1583k| 1.8 | 14M| 27 | - | 94 | 23k| 94 | 16 | 24 | 591k|2094 | 0.000000e+00 | 1.000000e+00 | Inf
297.20/297.22 c 297s|880000 | 794 | 1603k| 1.8 | 15M| 27 | - | 94 | 26k| 0 | 0 | 24 | 599k|2096 | 0.000000e+00 | 1.000000e+00 | Inf
303.40/303.45 c 303s|890000 | 254 | 1620k| 1.8 | 10M| 27 | - | 94 | 18k| 94 | 16 | 24 | 606k|2102 | 0.000000e+00 | 1.000000e+00 | Inf
308.29/308.37 c 308s|900000 | 216 | 1639k| 1.8 | 11M| 27 | 4 | 94 | 19k| 94 | 16 | 24 | 614k|2102 | 0.000000e+00 | 1.000000e+00 | Inf
313.20/313.23 c 313s|910000 | 316 | 1659k| 1.8 | 12M| 27 | - | 94 | 23k| 94 | 16 | 24 | 622k|2102 | 0.000000e+00 | 1.000000e+00 | Inf
318.90/319.01 c 319s|920000 | 620 | 1679k| 1.8 | 13M| 27 | - | 94 | 23k| 94 | 16 | 24 | 629k|2102 | 0.000000e+00 | 1.000000e+00 | Inf
324.90/324.99 c 325s|930000 | 722 | 1699k| 1.8 | 14M| 27 | - | 94 | 25k| 94 | 16 | 24 | 637k|2102 | 0.000000e+00 | 1.000000e+00 | Inf
331.50/331.57 c 332s|940000 | 368 | 1718k| 1.8 | 14M| 27 | 4 | 94 | 27k| 94 | 16 | 24 | 646k|2102 | 0.000000e+00 | 1.000000e+00 | Inf
333.79/333.89 c
333.79/333.89 c SCIP Status : problem is solved [optimal solution found]
333.79/333.89 c Solving Time (sec) : 333.89
333.79/333.89 c Solving Nodes : 942531
333.79/333.89 c Primal Bound : +1.00000000000000e+00 (30 solutions)
333.79/333.89 c Dual Bound : +1.00000000000000e+00
333.79/333.89 c Gap : 0.00 %
333.79/333.89 s OPTIMUM FOUND
333.79/333.89 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
333.79/333.89 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
333.79/333.89 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
333.79/333.89 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
333.79/333.89 c SCIP Status : problem is solved [optimal solution found]
333.79/333.89 c Total Time : 333.89
333.79/333.89 c solving : 333.89
333.79/333.89 c presolving : 0.00 (included in solving)
333.79/333.89 c reading : 0.00 (included in solving)
333.79/333.89 c Original Problem :
333.79/333.89 c Problem name : HOME/instance-3453309-1307096535.opb
333.79/333.89 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
333.79/333.89 c Constraints : 8 initial, 8 maximal
333.79/333.89 c Presolved Problem :
333.79/333.89 c Problem name : t_HOME/instance-3453309-1307096535.opb
333.79/333.89 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
333.79/333.89 c Constraints : 4 initial, 27306 maximal
333.79/333.89 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
333.79/333.89 c trivial : 0.00 0 0 0 0 0 0 0 0 0
333.79/333.89 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
333.79/333.89 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
333.79/333.89 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
333.79/333.89 c implics : 0.00 0 0 0 0 0 0 0 0 0
333.79/333.89 c probing : 0.00 0 0 0 0 0 0 0 0 0
333.79/333.89 c linear : 0.00 0 0 0 0 0 4 0 0 0
333.79/333.89 c logicor : 0.00 0 0 0 0 0 0 0 0 0
333.79/333.89 c root node : - 65 - - 65 - - - - -
333.79/333.89 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
333.79/333.89 c integral : 0 0 0 528190 0 20 0 207 865 0 0 1054216
333.79/333.89 c linear : 4+ 7 2356519 0 0 17 1438099 255592 1431324 0 0 0
333.79/333.89 c logicor : 0+ 0 1306473 0 0 0 1157864 10669 630239 0 0 0
333.79/333.89 c countsols : 0 0 0 16 0 16 0 0 0 0 0 0
333.79/333.89 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
333.79/333.89 c integral : 2.93 0.00 0.00 2.93 0.00 0.00 0.00
333.79/333.89 c linear : 24.32 0.00 21.78 0.00 0.00 0.00 2.54
333.79/333.89 c logicor : 104.16 0.00 103.16 0.00 0.00 0.00 1.00
333.79/333.89 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
333.79/333.89 c Propagators : #Propagate #Resprop Cutoffs DomReds
333.79/333.89 c vbounds : 0 0 0 0
333.79/333.89 c rootredcost : 26 0 0 64
333.79/333.89 c pseudoobj : 2356839 394 489 8417
333.79/333.89 c Propagator Timings : TotalTime Propagate Resprop
333.79/333.89 c vbounds : 0.36 0.36 0.00
333.79/333.89 c rootredcost : 0.43 0.43 0.00
333.79/333.89 c pseudoobj : 3.32 3.32 0.00
333.79/333.89 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
333.79/333.89 c propagation : 4.91 266750 200686 496497 20.7 59 19.2 -
333.79/333.89 c infeasible LP : 5.24 249509 249508 442175 13.8 2868 17.4 0
333.79/333.89 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
333.79/333.89 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
333.79/333.89 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
333.79/333.89 c applied globally : - - - 648281 15.9 - - -
333.79/333.89 c applied locally : - - - 12 35.3 - - -
333.79/333.89 c Separators : Time Calls Cutoffs DomReds Cuts Conss
333.79/333.89 c cut pool : 0.00 5 - - 26 - (maximal pool size: 81)
333.79/333.89 c redcost : 1.13 534333 0 87834 0 0
333.79/333.89 c impliedbounds : 0.00 6 0 0 0 0
333.79/333.89 c intobj : 0.00 0 0 0 0 0
333.79/333.89 c gomory : 0.00 6 0 0 0 0
333.79/333.89 c cgmip : 0.00 0 0 0 0 0
333.79/333.89 c closecuts : 0.00 0 0 0 0 0
333.79/333.89 c strongcg : 0.00 6 0 0 24 0
333.79/333.89 c cmir : 0.01 6 0 0 30 0
333.79/333.89 c flowcover : 0.01 6 0 0 38 0
333.79/333.89 c clique : 0.00 1 0 0 0 0
333.79/333.89 c zerohalf : 0.00 0 0 0 0 0
333.79/333.89 c mcf : 0.00 1 0 0 0 0
333.79/333.89 c oddcycle : 0.00 0 0 0 0 0
333.79/333.89 c rapidlearning : 0.01 1 0 0 0 17
333.79/333.89 c Pricers : Time Calls Vars
333.79/333.89 c problem variables: 0.00 0 0
333.79/333.89 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
333.79/333.89 c relpscost : 2.65 528174 207 865 0 0 1054216
333.79/333.89 c pscost : 0.00 0 0 0 0 0 0
333.79/333.89 c inference : 0.00 0 0 0 0 0 0
333.79/333.89 c mostinf : 0.00 0 0 0 0 0 0
333.79/333.89 c leastinf : 0.00 0 0 0 0 0 0
333.79/333.89 c fullstrong : 0.00 0 0 0 0 0 0
333.79/333.89 c allfullstrong : 0.00 0 0 0 0 0 0
333.79/333.89 c random : 0.00 0 0 0 0 0 0
333.79/333.89 c Primal Heuristics : Time Calls Found
333.79/333.89 c LP solutions : 0.00 - 16
333.79/333.89 c pseudo solutions : 0.00 - 0
333.79/333.89 c feaspump : 0.04 1 0
333.79/333.89 c oneopt : 0.20 25 0
333.79/333.89 c linesearchdiving : 1.48 2549 1
333.79/333.89 c coefdiving : 1.44 2549 1
333.79/333.89 c pscostdiving : 1.44 2549 2
333.79/333.89 c fracdiving : 1.46 2549 1
333.79/333.89 c veclendiving : 1.74 2549 1
333.79/333.89 c guideddiving : 1.47 2550 2
333.79/333.89 c trivial : 0.00 2 0
333.79/333.89 c shiftandpropagate: 0.00 1 1
333.79/333.89 c simplerounding : 0.11 0 0
333.79/333.89 c zirounding : 1.21 0 0
333.79/333.89 c rounding : 0.25 10324 0
333.79/333.89 c shifting : 4.43 19260 3
333.79/333.89 c intshifting : 0.02 0 0
333.79/333.89 c twoopt : 0.00 0 0
333.79/333.89 c fixandinfer : 0.00 0 0
333.79/333.89 c clique : 0.00 0 0
333.79/333.89 c intdiving : 0.00 0 0
333.79/333.89 c actconsdiving : 0.00 0 0
333.79/333.89 c objpscostdiving : 0.42 1276 1
333.79/333.89 c rootsoldiving : 0.67 975 1
333.79/333.89 c octane : 0.00 0 0
333.79/333.89 c rens : 0.02 1 0
333.79/333.89 c rins : 0.00 0 0
333.79/333.89 c localbranching : 0.00 0 0
333.79/333.89 c mutation : 0.00 0 0
333.79/333.89 c crossover : 0.01 1 0
333.79/333.89 c dins : 0.00 0 0
333.79/333.89 c vbounds : 0.00 0 0
333.79/333.89 c undercover : 0.00 0 0
333.79/333.89 c subnlp : 0.12 0 0
333.79/333.89 c trysol : 0.17 0 0
333.79/333.89 c LP : Time Calls Iterations Iter/call Iter/sec
333.79/333.89 c primal LP : 0.00 0 0 0.00 -
333.79/333.89 c dual LP : 35.33 772941 1619421 2.10 45834.29
333.79/333.89 c lex dual LP : 0.00 0 0 0.00 -
333.79/333.89 c barrier LP : 0.00 0 0 0.00 -
333.79/333.89 c diving/probing LP: 2.57 54762 104029 1.90 40416.94
333.79/333.89 c strong branching : 0.19 2121 9318 4.39 49004.19
333.79/333.89 c (at root node) : - 9 530 58.89 -
333.79/333.89 c conflict analysis: 0.00 0 0 0.00 -
333.79/333.89 c B&B Tree :
333.79/333.89 c number of runs : 1
333.79/333.89 c nodes : 942531
333.79/333.89 c nodes (total) : 942531
333.79/333.89 c nodes left : 0
333.79/333.89 c max depth : 27
333.79/333.89 c max depth (total): 27
333.79/333.89 c backtracks : 312352 (33.1%)
333.79/333.89 c delayed cutoffs : 111423
333.79/333.89 c repropagations : 725837 (977022 domain reductions, 94234 cutoffs)
333.79/333.89 c avg switch length: 5.16
333.79/333.89 c switching time : 90.43
333.79/333.89 c Solution :
333.79/333.89 c Solutions found : 30 (27 improvements)
333.79/333.89 c First Solution : +1.10500000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 43, found by <shiftandpropagate>)
333.79/333.89 c Primal Bound : +1.00000000000000e+00 (in run 1, after 114860 nodes, 17.38 seconds, depth 24, found by <relaxation>)
333.79/333.89 c Dual Bound : +1.00000000000000e+00
333.79/333.89 c Gap : 0.00 %
333.79/333.89 c Root Dual Bound : +0.00000000000000e+00
333.79/333.89 c Root Iterations : 70
333.89/333.91 c Time complete: 333.92.
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-3453309-1307096535/watcher-3453309-1307096535 -o /tmp/evaluation-result-3453309-1307096535/solver-3453309-1307096535 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453309-1307096535.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.11 2.04 1.93 2/511 30726
/proc/meminfo: memFree=14615200/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=20180 CPUtime=0.01 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 4246 0 0 0 1 0 0 0 25 0 1 0 802069674 20664320 3943 33554432000 4194304 9128323 140733368526528 18446744073709551615 6527088 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 5045 3943 666 1205 0 3836 0
[startup+0.118817 s]
/proc/loadavg: 2.11 2.04 1.93 2/511 30726
/proc/meminfo: memFree=14615200/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=27708 CPUtime=0.11 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 6198 0 0 0 11 0 0 0 25 0 1 0 802069674 28372992 5542 33554432000 4194304 9128323 140733368526528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 6927 5542 722 1205 0 5718 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 27708
[startup+0.200789 s]
/proc/loadavg: 2.11 2.04 1.93 2/511 30726
/proc/meminfo: memFree=14615200/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=27708 CPUtime=0.19 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 6201 0 0 0 19 0 0 0 25 0 1 0 802069674 28372992 5545 33554432000 4194304 9128323 140733368526528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 6927 5545 725 1205 0 5718 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27708
[startup+0.300772 s]
/proc/loadavg: 2.11 2.04 1.93 2/511 30726
/proc/meminfo: memFree=14615200/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=27964 CPUtime=0.29 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 6266 0 0 0 29 0 0 0 25 0 1 0 802069674 28635136 5610 33554432000 4194304 9128323 140733368526528 18446744073709551615 6534160 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 6991 5610 725 1205 0 5782 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27964
[startup+0.700692 s]
/proc/loadavg: 2.11 2.04 1.93 2/511 30726
/proc/meminfo: memFree=14615200/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=27964 CPUtime=0.69 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 6270 0 0 0 67 2 0 0 25 0 1 0 802069674 28635136 5614 33554432000 4194304 9128323 140733368526528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 6991 5614 725 1205 0 5782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27964
[startup+1.50057 s]
/proc/loadavg: 2.10 2.04 1.93 3/512 30728
/proc/meminfo: memFree=14594236/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=27964 CPUtime=1.49 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 6271 0 0 0 145 4 0 0 25 0 1 0 802069674 28635136 5615 33554432000 4194304 9128323 140733368526528 18446744073709551615 7414640 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 6991 5615 725 1205 0 5782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27964
[startup+3.10029 s]
/proc/loadavg: 2.10 2.04 1.93 3/512 30728
/proc/meminfo: memFree=14592496/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=27964 CPUtime=3.09 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 6271 0 0 0 301 8 0 0 25 0 1 0 802069674 28635136 5615 33554432000 4194304 9128323 140733368526528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 6991 5615 725 1205 0 5782 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27964
[startup+6.30074 s]
/proc/loadavg: 2.09 2.04 1.93 3/512 30728
/proc/meminfo: memFree=14585800/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=27964 CPUtime=6.29 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 6271 0 0 0 614 15 0 0 25 0 1 0 802069674 28635136 5615 33554432000 4194304 9128323 140733368526528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 6991 5615 725 1205 0 5782 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27964
[startup+12.7006 s]
/proc/loadavg: 2.08 2.04 1.93 3/512 30728
/proc/meminfo: memFree=14578564/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=27964 CPUtime=12.7 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 6274 0 0 0 1239 31 0 0 25 0 1 0 802069674 28635136 5618 33554432000 4194304 9128323 140733368526528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 6991 5618 725 1205 0 5782 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 27964
[startup+25.5004 s]
/proc/loadavg: 2.07 2.04 1.93 3/512 30728
/proc/meminfo: memFree=14565148/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=27964 CPUtime=25.49 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 6276 0 0 0 2488 61 0 0 25 0 1 0 802069674 28635136 5620 33554432000 4194304 9128323 140733368526528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 6991 5620 725 1205 0 5782 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27964
[startup+51.1009 s]
/proc/loadavg: 2.15 2.06 1.94 3/512 30729
/proc/meminfo: memFree=14534172/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=31136 CPUtime=51.09 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 7180 0 0 0 5020 89 0 0 25 0 1 0 802069674 31883264 6524 33554432000 4194304 9128323 140733368526528 18446744073709551615 4246659 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 7784 6524 725 1205 0 6575 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31136
[startup+102.301 s]
/proc/loadavg: 2.16 2.08 1.95 3/512 30730
/proc/meminfo: memFree=14472688/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=36504 CPUtime=102.31 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 8542 0 0 0 10078 153 0 0 25 0 1 0 802069674 37380096 7886 33554432000 4194304 9128323 140733368526528 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 9126 7886 725 1205 0 7917 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 36504
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 1.94 3/512 30762
/proc/meminfo: memFree=16711516/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=42460 CPUtime=162.29 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 9828 0 0 0 16018 211 0 0 25 0 1 0 802069674 43479040 9172 33554432000 4194304 9128323 140733368526528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 10615 9172 725 1205 0 9406 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 42460
[startup+222.32 s]
/proc/loadavg: 2.04 2.05 1.95 3/512 30764
/proc/meminfo: memFree=16609628/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=42688 CPUtime=222.31 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 9935 0 0 0 21958 273 0 0 25 0 1 0 802069674 43712512 9279 33554432000 4194304 9128323 140733368526528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 10672 9279 725 1205 0 9463 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 42688
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/512 30766
/proc/meminfo: memFree=16519036/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=46160 CPUtime=282.3 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 10641 0 0 0 27904 326 0 0 25 0 1 0 802069674 47267840 9985 33554432000 4194304 9128323 140733368526528 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 11540 9985 725 1205 0 10331 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 46160
Solver just ended. Dumping a history of the last processes samples
[startup+307.201 s]
/proc/loadavg: 2.01 2.04 1.95 3/512 30767
/proc/meminfo: memFree=16481800/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=46400 CPUtime=307.2 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 10760 0 0 0 30375 345 0 0 25 0 1 0 802069674 47513600 10104 33554432000 4194304 9128323 140733368526528 18446744073709551615 5333004 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 11600 10104 725 1205 0 10391 0
Current children cumulated CPU time (s) 307.2
Current children cumulated vsize (KiB) 46400
[startup+320.001 s]
/proc/loadavg: 2.00 2.03 1.95 3/512 30767
/proc/meminfo: memFree=16468648/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=46400 CPUtime=320 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 10773 0 0 0 31644 356 0 0 25 0 1 0 802069674 47513600 10117 33554432000 4194304 9128323 140733368526528 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 11600 10117 725 1205 0 10391 0
Current children cumulated CPU time (s) 320
Current children cumulated vsize (KiB) 46400
[startup+326.401 s]
/proc/loadavg: 2.00 2.03 1.95 3/512 30767
/proc/meminfo: memFree=16461084/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=46400 CPUtime=326.39 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 10773 0 0 0 32280 359 0 0 25 0 1 0 802069674 47513600 10117 33554432000 4194304 9128323 140733368526528 18446744073709551615 4240428 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 11600 10117 725 1205 0 10391 0
Current children cumulated CPU time (s) 326.39
Current children cumulated vsize (KiB) 46400
[startup+329.601 s]
/proc/loadavg: 2.00 2.03 1.95 3/512 30767
/proc/meminfo: memFree=16456356/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=46400 CPUtime=329.59 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 10773 0 0 0 32598 361 0 0 25 0 1 0 802069674 47513600 10117 33554432000 4194304 9128323 140733368526528 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 11600 10117 725 1205 0 10391 0
Current children cumulated CPU time (s) 329.59
Current children cumulated vsize (KiB) 46400
[startup+331.22 s]
/proc/loadavg: 2.00 2.03 1.95 3/512 30767
/proc/meminfo: memFree=16454244/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=46400 CPUtime=331.22 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 10775 0 0 0 32759 363 0 0 25 0 1 0 802069674 47513600 10119 33554432000 4194304 9128323 140733368526528 18446744073709551615 4209346 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 11600 10119 725 1205 0 10391 0
Current children cumulated CPU time (s) 331.22
Current children cumulated vsize (KiB) 46400
[startup+332.8 s]
/proc/loadavg: 2.00 2.03 1.95 3/512 30767
/proc/meminfo: memFree=16452880/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=46400 CPUtime=332.8 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 10775 0 0 0 32916 364 0 0 25 0 1 0 802069674 47513600 10119 33554432000 4194304 9128323 140733368526528 18446744073709551615 4240416 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 11600 10119 725 1205 0 10391 0
Current children cumulated CPU time (s) 332.8
Current children cumulated vsize (KiB) 46400
[startup+333.6 s]
/proc/loadavg: 2.00 2.03 1.95 3/512 30767
/proc/meminfo: memFree=16451640/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=46400 CPUtime=333.59 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 10775 0 0 0 32995 364 0 0 25 0 1 0 802069674 47513600 10119 33554432000 4194304 9128323 140733368526528 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 11600 10119 725 1205 0 10391 0
Current children cumulated CPU time (s) 333.59
Current children cumulated vsize (KiB) 46400
[startup+333.8 s]
/proc/loadavg: 2.00 2.03 1.95 3/512 30767
/proc/meminfo: memFree=16451640/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=46400 CPUtime=333.79 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 10775 0 0 0 33015 364 0 0 25 0 1 0 802069674 47513600 10119 33554432000 4194304 9128323 140733368526528 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30726/statm: 11600 10119 725 1205 0 10391 0
Current children cumulated CPU time (s) 333.79
Current children cumulated vsize (KiB) 46400
[startup+333.9 s]
/proc/loadavg: 2.00 2.03 1.95 3/512 30767
/proc/meminfo: memFree=16451640/32951124 swapFree=67111204/67111528
[pid=30726] ppid=30724 vsize=44988 CPUtime=333.89 cores=0,2,4,6
/proc/30726/stat : 30726 (scip-2.0.1.4.li) R 30724 30726 30576 0 -1 4202496 10777 0 0 0 33025 364 0 0 18 0 1 0 802069674 46067712 9768 33554432000 4194304 9128323 140733368526528 18446744073709551615 6890201 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30726/statm: 11247 9768 727 1205 0 10038 0
Current children cumulated CPU time (s) 333.89
Current children cumulated vsize (KiB) 44988
Child status: 0
Real time (s): 333.917
CPU time (s): 333.924
CPU user time (s): 330.274
CPU system time (s): 3.65045
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 46400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 330.274
system time used= 3.65044
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10779
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= 7
involuntary context switches= 788
runsolver used 1.75673 second user time and 3.77143 second system time
The end