0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-3734976-1338702716.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 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (2 rounds):
0.00/0.01 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.01 c 4 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.3
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1790
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 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 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 0.0s| 1 | 0 | 16 | - | 351k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 o 677
0.00/0.04 c y 0.0s| 1 | 0 | 44 | - | 374k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 48 | - | 481k| 0 | 7 | 94 | 77 | 94 | 9 | 5 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 53 | - | 515k| 0 | 10 | 94 | 77 | 94 | 14 | 10 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.00/0.05 c 0.0s| 1 | 0 | 58 | - | 536k| 0 | 14 | 94 | 77 | 94 | 18 | 14 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.00/0.05 c 0.0s| 1 | 0 | 67 | - | 558k| 0 | 16 | 94 | 77 | 94 | 22 | 18 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.00/0.05 c 0.1s| 1 | 0 | 72 | - | 574k| 0 | 17 | 94 | 77 | 94 | 26 | 22 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 79 | - | 577k| 0 | 18 | 94 | 77 | 94 | 28 | 24 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 2 | 79 | - | 578k| 0 | 18 | 94 | 77 | 94 | 28 | 24 | 0 | 9 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.13 o 676
0.09/0.13 c c 0.1s| 29 | 30 | 192 | 4.0 | 597k| 28 | - | 94 | 77 | 94 | 19 | 24 | 0 | 114 | 0.000000e+00 | 6.760000e+02 | Inf
0.09/0.14 o 125
0.09/0.14 c p 0.1s| 45 | 38 | 248 | 3.8 | 606k| 28 | - | 94 | 77 | 94 | 19 | 24 | 0 | 155 | 0.000000e+00 | 1.250000e+02 | Inf
0.09/0.15 o 123
0.09/0.15 c v 0.1s| 76 | 69 | 336 | 3.4 | 635k| 28 | - | 94 | 75 | 94 | 19 | 24 | 6 | 206 | 0.000000e+00 | 1.230000e+02 | Inf
0.09/0.16 o 121
0.09/0.16 c * 0.2s| 98 | 89 | 453 | 3.9 | 645k| 28 | - | 94 | 75 | 94 | 19 | 24 | 6 | 242 | 0.000000e+00 | 1.210000e+02 | Inf
0.09/0.16 o 119
0.09/0.16 c * 0.2s| 99 | 88 | 453 | 3.8 | 646k| 28 | - | 94 | 75 | 94 | 19 | 24 | 6 | 242 | 0.000000e+00 | 1.190000e+02 | Inf
0.09/0.18 o 116
0.09/0.18 c * 0.2s| 143 | 130 | 618 | 3.8 | 679k| 28 | - | 94 | 80 | 94 | 19 | 24 | 12 | 304 | 0.000000e+00 | 1.160000e+02 | Inf
0.09/0.18 o 112
0.09/0.18 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.18 c g 0.2s| 145 | 128 | 621 | 3.8 | 681k| 28 | - | 94 | 80 | 94 | 19 | 24 | 12 | 311 | 0.000000e+00 | 1.120000e+02 | Inf
0.09/0.18 o 108
0.09/0.18 c c 0.2s| 145 | 126 | 621 | 3.8 | 684k| 28 | - | 94 | 80 | 94 | 19 | 24 | 13 | 311 | 0.000000e+00 | 1.080000e+02 | Inf
0.09/0.19 o 107
0.09/0.19 c * 0.2s| 196 | 174 | 822 | 3.8 | 712k| 28 | - | 94 | 81 | 94 | 19 | 24 | 15 | 362 | 0.000000e+00 | 1.070000e+02 | Inf
0.19/0.20 o 104
0.19/0.20 c v 0.2s| 239 | 203 | 932 | 3.6 | 730k| 28 | - | 94 | 82 | 94 | 19 | 24 | 18 | 391 | 0.000000e+00 | 1.040000e+02 | Inf
0.19/0.20 o 100
0.19/0.20 c l 0.2s| 239 | 196 | 932 | 3.6 | 730k| 28 | - | 94 | 83 | 94 | 19 | 24 | 21 | 391 | 0.000000e+00 | 1.000000e+02 | Inf
0.19/0.21 o 99
0.19/0.21 c * 0.2s| 274 | 226 | 1053 | 3.6 | 744k| 28 | - | 94 | 83 | 94 | 19 | 24 | 21 | 398 | 0.000000e+00 | 9.900000e+01 | Inf
0.19/0.21 o 97
0.19/0.21 c * 0.2s| 276 | 223 | 1053 | 3.5 | 744k| 28 | - | 94 | 83 | 94 | 19 | 24 | 21 | 400 | 0.000000e+00 | 9.700000e+01 | Inf
0.19/0.21 o 95
0.19/0.21 c * 0.2s| 277 | 218 | 1053 | 3.5 | 743k| 28 | - | 94 | 83 | 94 | 19 | 24 | 21 | 400 | 0.000000e+00 | 9.500000e+01 | Inf
0.19/0.22 o 94
0.19/0.22 c * 0.2s| 318 | 251 | 1207 | 3.6 | 762k| 29 | - | 94 | 88 | 94 | 19 | 24 | 26 | 417 | 0.000000e+00 | 9.400000e+01 | Inf
0.19/0.22 o 92
0.19/0.22 c * 0.2s| 321 | 250 | 1210 | 3.5 | 762k| 31 | - | 94 | 88 | 94 | 19 | 24 | 26 | 425 | 0.000000e+00 | 9.200000e+01 | Inf
0.19/0.22 o 91
0.19/0.22 c * 0.2s| 344 | 265 | 1267 | 3.5 | 774k| 31 | - | 94 | 89 | 94 | 19 | 24 | 28 | 436 | 0.000000e+00 | 9.100000e+01 | Inf
0.19/0.23 o 51
0.19/0.23 c s 0.2s| 372 | 239 | 1388 | 3.5 | 755k| 31 | 4 | 94 | 89 | 94 | 19 | 24 | 29 | 437 | 0.000000e+00 | 5.100000e+01 | Inf
0.19/0.23 o 49
0.19/0.23 c p 0.2s| 375 | 238 | 1406 | 3.5 | 761k| 31 | - | 94 | 23 | 94 | 19 | 24 | 31 | 446 | 0.000000e+00 | 4.900000e+01 | Inf
0.19/0.25 o 48
0.19/0.25 c * 0.2s| 459 | 299 | 1709 | 3.6 | 796k| 31 | - | 94 | 32 | 94 | 19 | 24 | 41 | 453 | 0.000000e+00 | 4.800000e+01 | Inf
0.19/0.28 o 44
0.19/0.28 c * 0.3s| 614 | 418 | 2261 | 3.6 | 860k| 31 | - | 94 | 47 | 94 | 19 | 24 | 65 | 470 | 0.000000e+00 | 4.400000e+01 | Inf
0.29/0.33 o 42
0.29/0.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.33 c * 0.3s| 824 | 583 | 2958 | 3.5 | 942k| 31 | - | 94 | 61 | 94 | 19 | 24 | 92 | 482 | 0.000000e+00 | 4.200000e+01 | Inf
0.29/0.34 o 40
0.29/0.34 c f 0.3s| 876 | 629 | 3081 | 3.4 | 966k| 31 | - | 94 | 70 | 94 | 19 | 24 | 102 | 485 | 0.000000e+00 | 4.000000e+01 | Inf
0.29/0.34 o 36
0.29/0.34 c v 0.3s| 876 | 620 | 3081 | 3.4 | 966k| 31 | - | 94 | 73 | 94 | 19 | 24 | 106 | 485 | 0.000000e+00 | 3.600000e+01 | Inf
0.29/0.37 o 27
0.29/0.37 c g 0.4s| 1024 | 703 | 3563 | 3.4 |1013k| 31 | - | 94 | 88 | 94 | 19 | 24 | 128 | 485 | 0.000000e+00 | 2.700000e+01 | Inf
0.29/0.38 o 26
0.29/0.38 c p 0.4s| 1065 | 722 | 3752 | 3.5 |1027k| 31 | - | 94 | 100 | 94 | 19 | 24 | 141 | 490 | 0.000000e+00 | 2.600000e+01 | Inf
0.29/0.39 o 25
0.29/0.39 c v 0.4s| 1172 | 780 | 4003 | 3.4 |1061k| 31 | - | 94 | 109 | 94 | 19 | 24 | 152 | 493 | 0.000000e+00 | 2.500000e+01 | Inf
0.39/0.45 o 24
0.39/0.45 c p 0.4s| 1449 | 957 | 4838 | 3.3 |1166k| 31 | - | 94 | 154 | 94 | 19 | 24 | 200 | 505 | 0.000000e+00 | 2.400000e+01 | Inf
0.39/0.46 o 22
0.39/0.46 c * 0.5s| 1545 | 1009 | 5187 | 3.3 |1195k| 31 | - | 94 | 170 | 94 | 19 | 24 | 216 | 514 | 0.000000e+00 | 2.200000e+01 | Inf
0.39/0.47 o 20
0.39/0.47 c f 0.5s| 1604 | 1041 | 5342 | 3.3 |1216k| 31 | - | 94 | 181 | 94 | 19 | 24 | 227 | 517 | 0.000000e+00 | 2.000000e+01 | Inf
0.49/0.55 o 16
0.49/0.55 c g 0.5s| 1984 | 1248 | 6636 | 3.3 |1332k| 31 | - | 94 | 238 | 94 | 19 | 24 | 300 | 519 | 0.000000e+00 | 1.600000e+01 | Inf
0.49/0.57 o 15
0.49/0.57 c v 0.6s| 2068 | 1293 | 6997 | 3.3 |1346k| 31 | - | 94 | 241 | 94 | 19 | 24 | 324 | 521 | 0.000000e+00 | 1.500000e+01 | Inf
0.59/0.60 o 8
0.59/0.60 c s 0.6s| 2183 | 1246 | 7375 | 3.3 |1319k| 31 | 4 | 94 | 261 | 94 | 19 | 24 | 344 | 522 | 0.000000e+00 | 8.000000e+00 | Inf
0.69/0.78 o 6
0.69/0.78 c * 0.8s| 3086 | 1708 | 10917 | 3.5 |1523k| 31 | - | 94 | 435 | 94 | 19 | 24 | 525 | 527 | 0.000000e+00 | 6.000000e+00 | Inf
0.79/0.80 o 5
0.79/0.80 c * 0.8s| 3154 | 1723 | 11126 | 3.5 |1539k| 31 | - | 94 | 458 | 94 | 19 | 24 | 548 | 527 | 0.000000e+00 | 5.000000e+00 | Inf
1.49/1.52 o 4
1.49/1.52 c f 1.5s| 8099 | 2583 | 22160 | 2.7 |2220k| 31 | - | 94 | 914 | 94 | 19 | 24 |1032 | 548 | 0.000000e+00 | 4.000000e+00 | Inf
1.69/1.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.79 c 1.8s| 10000 | 2644 | 25842 | 2.6 |2356k| 31 | - | 94 |1061 | 0 | 0 | 24 |1206 | 553 | 0.000000e+00 | 4.000000e+00 | Inf
3.09/3.20 c 3.2s| 20000 | 2937 | 44872 | 2.2 |3034k| 31 | - | 94 |1928 | 94 | 19 | 24 |2164 | 598 | 0.000000e+00 | 4.000000e+00 | Inf
4.69/4.76 c 4.8s| 30000 | 2637 | 64324 | 2.1 |3193k| 31 | - | 94 |2501 | 94 | 19 | 24 |3092 | 646 | 0.000000e+00 | 4.000000e+00 | Inf
6.29/6.34 c 6.3s| 40000 | 3155 | 84530 | 2.1 |3776k| 31 | - | 94 |2986 | 94 | 19 | 24 |4105 | 675 | 0.000000e+00 | 4.000000e+00 | Inf
7.89/7.94 c 7.9s| 50000 | 3327 |105220 | 2.1 |4168k| 31 | - | 94 |3438 | 94 | 19 | 24 |5087 | 722 | 0.000000e+00 | 4.000000e+00 | Inf
9.49/9.58 c 9.6s| 60000 | 3602 |125056 | 2.1 |4327k| 31 | 4 | 94 |3300 | 94 | 19 | 24 |5998 | 765 | 0.000000e+00 | 4.000000e+00 | Inf
11.10/11.18 c 11.2s| 70000 | 3708 |143951 | 2.1 |4435k| 31 | 4 | 94 |2994 | 94 | 19 | 24 |6906 | 826 | 0.000000e+00 | 4.000000e+00 | Inf
12.69/12.73 c 12.7s| 80000 | 3247 |162936 | 2.0 |4039k| 31 | - | 94 |2571 | 0 | 0 | 24 |7948 | 875 | 0.000000e+00 | 4.000000e+00 | Inf
12.69/12.76 o 3
12.69/12.76 c *12.8s| 80180 | 3213 |163333 | 2.0 |4021k| 31 | - | 94 |2575 | 94 | 19 | 24 |7958 | 878 | 0.000000e+00 | 3.000000e+00 | Inf
12.69/12.76 o 1
12.69/12.76 c *12.8s| 80181 | 3177 |163333 | 2.0 |3993k| 31 | - | 94 |2575 | 94 | 19 | 24 |7958 | 878 | 0.000000e+00 | 1.000000e+00 | Inf
14.58/14.64 c 14.6s| 90000 | 2814 |178480 | 2.0 |3792k| 31 | 4 | 94 |2935 | 94 | 19 | 24 | 14k| 906 | 0.000000e+00 | 1.000000e+00 | Inf
16.59/16.69 c 16.7s|100000 | 3008 |194472 | 1.9 |4728k| 31 | 4 | 94 |4616 | 94 | 19 | 24 | 20k| 922 | 0.000000e+00 | 1.000000e+00 | Inf
18.79/18.84 c 18.8s|110000 | 3356 |210871 | 1.9 |4276k| 31 | 4 | 94 |3631 | 94 | 19 | 24 | 26k| 950 | 0.000000e+00 | 1.000000e+00 | Inf
20.78/20.89 c 20.9s|120000 | 3835 |227088 | 1.9 |5227k| 31 | 4 | 94 |4243 | 94 | 19 | 24 | 32k| 970 | 0.000000e+00 | 1.000000e+00 | Inf
22.98/23.07 c 23.1s|130000 | 3532 |242757 | 1.9 |5382k| 31 | - | 94 |4417 | 0 | 0 | 24 | 38k| 975 | 0.000000e+00 | 1.000000e+00 | Inf
25.29/25.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.29/25.33 c 25.3s|140000 | 3091 |258419 | 1.8 |5333k| 31 | - | 94 |5050 | 0 | 0 | 24 | 45k| 975 | 0.000000e+00 | 1.000000e+00 | Inf
27.49/27.60 c 27.6s|150000 | 3418 |274998 | 1.8 |5576k| 31 | 4 | 94 |5086 | 94 | 19 | 24 | 51k| 975 | 0.000000e+00 | 1.000000e+00 | Inf
29.79/29.85 c 29.8s|160000 | 3985 |291415 | 1.8 |6435k| 31 | 4 | 94 |5434 | 94 | 19 | 24 | 57k| 975 | 0.000000e+00 | 1.000000e+00 | Inf
31.98/32.08 c 32.1s|170000 | 3795 |306976 | 1.8 |6863k| 31 | 4 | 94 |6348 | 94 | 19 | 24 | 62k| 975 | 0.000000e+00 | 1.000000e+00 | Inf
34.48/34.58 c 34.6s|180000 | 3193 |322891 | 1.8 |6094k| 31 | - | 94 |5524 | 94 | 19 | 24 | 69k| 975 | 0.000000e+00 | 1.000000e+00 | Inf
36.78/36.85 c 36.9s|190000 | 2647 |338633 | 1.8 |4802k| 31 | - | 94 |5310 | 94 | 19 | 24 | 75k|1162 | 0.000000e+00 | 1.000000e+00 | Inf
39.08/39.16 c 39.2s|200000 | 2583 |355122 | 1.8 |5472k| 31 | 4 | 94 |7181 | 94 | 19 | 24 | 81k|1162 | 0.000000e+00 | 1.000000e+00 | Inf
41.47/41.59 c 41.6s|210000 | 2485 |371390 | 1.8 |5918k| 31 | 4 | 94 |8868 | 94 | 19 | 24 | 87k|1162 | 0.000000e+00 | 1.000000e+00 | Inf
44.18/44.28 c 44.3s|220000 | 2674 |389094 | 1.8 |7198k| 31 | 4 | 94 | 11k| 94 | 19 | 24 | 94k|1162 | 0.000000e+00 | 1.000000e+00 | Inf
47.18/47.29 c 47.3s|230000 | 2648 |405358 | 1.8 |7828k| 31 | 4 | 94 | 13k| 94 | 19 | 24 | 100k|1162 | 0.000000e+00 | 1.000000e+00 | Inf
50.38/50.49 c 50.5s|240000 | 2730 |422341 | 1.8 |8635k| 31 | - | 94 | 15k| 0 | 0 | 24 | 107k|1162 | 0.000000e+00 | 1.000000e+00 | Inf
53.98/54.05 c 54.0s|250000 | 2553 |438718 | 1.8 |8904k| 31 | - | 94 | 14k| 94 | 19 | 24 | 113k|1367 | 0.000000e+00 | 1.000000e+00 | Inf
57.57/57.66 c 57.7s|260000 | 2478 |453437 | 1.7 |8209k| 31 | - | 94 | 12k| 94 | 19 | 24 | 119k|1367 | 0.000000e+00 | 1.000000e+00 | Inf
60.58/60.68 c 60.7s|270000 | 2486 |468529 | 1.7 |8132k| 31 | - | 94 | 11k| 94 | 19 | 24 | 124k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
63.48/63.59 c 63.6s|280000 | 2322 |483012 | 1.7 |7649k| 31 | 4 | 94 | 10k| 94 | 19 | 24 | 130k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
66.28/66.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.28/66.33 c 66.3s|290000 | 2256 |497847 | 1.7 |7238k| 31 | - | 94 |8895 | 94 | 19 | 24 | 136k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
68.97/69.08 c 69.1s|300000 | 2097 |512840 | 1.7 |7581k| 31 | - | 94 | 10k| 94 | 19 | 24 | 142k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
71.77/71.82 c 71.8s|310000 | 1953 |527761 | 1.7 |6784k| 31 | - | 94 |7655 | 94 | 19 | 24 | 148k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
74.17/74.25 c 74.2s|320000 | 2128 |543048 | 1.7 |6777k| 31 | 4 | 94 |7055 | 94 | 19 | 24 | 154k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
76.77/76.85 c 76.8s|330000 | 1874 |557646 | 1.7 |6582k| 31 | 4 | 94 |6958 | 94 | 19 | 24 | 160k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
79.18/79.29 c 79.3s|340000 | 1704 |572128 | 1.7 |6350k| 31 | - | 94 |6443 | 94 | 19 | 24 | 166k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
81.47/81.56 c 81.6s|350000 | 2501 |587625 | 1.7 |7040k| 31 | 4 | 94 |6874 | 94 | 19 | 24 | 171k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
83.97/84.02 c 84.0s|360000 | 2467 |602327 | 1.7 |7423k| 31 | - | 94 |7465 | 0 | 0 | 24 | 177k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
86.47/86.58 c 86.6s|370000 | 2334 |617285 | 1.7 |7506k| 31 | 4 | 94 |7876 | 94 | 19 | 24 | 183k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
89.07/89.18 c 89.2s|380000 | 2142 |631854 | 1.7 |7494k| 31 | 4 | 94 |8211 | 94 | 19 | 24 | 189k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
91.87/91.96 c 92.0s|390000 | 1890 |646969 | 1.7 |7709k| 31 | - | 94 |9455 | 94 | 19 | 24 | 195k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
94.68/94.71 c 94.7s|400000 | 1610 |661902 | 1.7 |6908k| 31 | 4 | 94 |7925 | 94 | 19 | 24 | 201k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
97.27/97.38 c 97.4s|410000 | 1778 |677656 | 1.7 |7515k| 31 | - | 94 |9182 | 0 | 0 | 24 | 207k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
100.07/100.15 c 100s|420000 | 1959 |692777 | 1.6 |8147k| 31 | - | 94 | 10k| 0 | 0 | 24 | 213k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
102.96/103.05 c 103s|430000 | 1964 |708084 | 1.6 |8239k| 31 | - | 94 | 11k| 0 | 0 | 24 | 218k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
105.96/106.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.96/106.05 c 106s|440000 | 1860 |724242 | 1.6 |8635k| 31 | 4 | 94 | 12k| 94 | 19 | 24 | 225k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
108.97/109.07 c 109s|450000 | 1878 |740469 | 1.6 |9054k| 31 | - | 94 | 13k| 94 | 19 | 24 | 231k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
112.27/112.31 c 112s|460000 | 1689 |755832 | 1.6 |9160k| 31 | 4 | 94 | 14k| 94 | 19 | 24 | 237k|1497 | 0.000000e+00 | 1.000000e+00 | Inf
115.36/115.40 c 115s|470000 | 1519 |771217 | 1.6 |7556k| 31 | 4 | 94 |8879 | 94 | 19 | 24 | 243k|1538 | 0.000000e+00 | 1.000000e+00 | Inf
117.87/117.90 c 118s|480000 | 2028 |787508 | 1.6 |7844k| 31 | 4 | 94 |8591 | 94 | 19 | 24 | 249k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
120.46/120.55 c 121s|490000 | 1994 |803270 | 1.6 |8382k| 31 | 4 | 94 |9856 | 94 | 19 | 24 | 255k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
123.27/123.39 c 123s|500000 | 1954 |818119 | 1.6 |8556k| 31 | - | 94 | 10k| 94 | 19 | 24 | 261k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
126.16/126.28 c 126s|510000 | 1728 |833887 | 1.6 |8337k| 31 | 4 | 94 | 10k| 94 | 19 | 24 | 267k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
129.06/129.18 c 129s|520000 | 1479 |848954 | 1.6 |8209k| 31 | 4 | 94 | 10k| 94 | 19 | 24 | 273k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
131.96/132.09 c 132s|530000 | 1568 |864516 | 1.6 |8573k| 31 | - | 94 | 11k| 0 | 0 | 24 | 279k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
135.06/135.10 c 135s|540000 | 1511 |879378 | 1.6 |9057k| 31 | 4 | 94 | 13k| 94 | 19 | 24 | 285k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
138.26/138.38 c 138s|550000 | 1779 |895632 | 1.6 |9816k| 31 | - | 94 | 14k| 94 | 19 | 24 | 291k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
141.97/142.05 c 142s|560000 | 1461 |911701 | 1.6 |9872k| 31 | - | 94 | 15k| 0 | 0 | 24 | 298k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
145.17/145.29 c 145s|570000 | 1300 |927121 | 1.6 |8010k| 31 | - | 94 |9782 | 0 | 0 | 24 | 304k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
147.86/147.99 c 148s|580000 | 1342 |942697 | 1.6 |7520k| 31 | - | 94 |7969 | 94 | 19 | 24 | 311k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
150.45/150.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.45/150.55 c 151s|590000 | 1294 |957960 | 1.6 |7882k| 31 | 4 | 94 |9134 | 94 | 19 | 24 | 317k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
153.16/153.28 c 153s|600000 | 1146 |973812 | 1.6 |7937k| 31 | - | 94 |9661 | 0 | 0 | 24 | 323k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
155.85/155.97 c 156s|610000 | 1712 |991517 | 1.6 |8910k| 31 | 4 | 94 | 11k| 94 | 19 | 24 | 330k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
159.16/159.22 c 159s|620000 | 1614 | 1009k| 1.6 |9606k| 31 | 4 | 94 | 13k| 94 | 19 | 24 | 337k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
162.55/162.66 c 163s|630000 | 1717 | 1026k| 1.6 | 10M| 31 | 4 | 94 | 16k| 94 | 19 | 24 | 343k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
166.56/166.67 c 167s|640000 | 1654 | 1044k| 1.6 | 11M| 31 | 4 | 94 | 17k| 94 | 19 | 24 | 350k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
170.56/170.67 c 171s|650000 | 1573 | 1061k| 1.6 | 10M| 31 | - | 94 | 15k| 94 | 19 | 24 | 357k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
174.15/174.28 c 174s|660000 | 1810 | 1079k| 1.6 | 11M| 31 | - | 94 | 17k| 94 | 19 | 24 | 364k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
178.26/178.39 c 178s|670000 | 2011 | 1096k| 1.6 | 12M| 31 | - | 94 | 19k| 0 | 0 | 24 | 371k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
182.55/182.66 c 183s|680000 | 2321 | 1112k| 1.6 | 13M| 31 | - | 94 | 20k| 94 | 19 | 24 | 377k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
187.75/187.82 c 188s|690000 | 1809 | 1128k| 1.6 | 11M| 31 | - | 94 | 17k| 0 | 0 | 24 | 384k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
192.35/192.48 c 192s|700000 | 1498 | 1144k| 1.6 |9594k| 31 | 4 | 94 | 12k| 94 | 19 | 24 | 391k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
196.15/196.23 c 196s|710000 | 1181 | 1161k| 1.6 |9554k| 31 | 4 | 94 | 13k| 94 | 19 | 24 | 398k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
199.55/199.61 c 200s|720000 | 1201 | 1178k| 1.6 | 10M| 31 | - | 94 | 14k| 0 | 0 | 24 | 404k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
203.05/203.13 c 203s|730000 | 1181 | 1193k| 1.6 | 10M| 31 | 4 | 94 | 15k| 94 | 19 | 24 | 410k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
206.65/206.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.65/206.74 c 207s|740000 | 1019 | 1208k| 1.6 |8771k| 31 | - | 94 | 10k| 0 | 0 | 24 | 416k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
209.55/209.60 c 210s|750000 | 1140 | 1225k| 1.6 |8705k| 31 | - | 94 |9883 | 94 | 19 | 24 | 422k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
212.45/212.50 c 213s|760000 | 1073 | 1239k| 1.6 |9154k| 31 | 4 | 94 | 11k| 94 | 19 | 24 | 428k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
215.44/215.58 c 216s|770000 | 873 | 1255k| 1.6 |8034k| 31 | 4 | 94 |8150 | 94 | 19 | 24 | 434k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
218.04/218.14 c 218s|780000 | 824 | 1271k| 1.6 |8174k| 31 | - | 94 |8534 | 94 | 19 | 24 | 440k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
220.64/220.71 c 221s|790000 | 1193 | 1287k| 1.6 |8492k| 31 | 4 | 94 |8621 | 94 | 19 | 24 | 447k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
223.35/223.43 c 223s|800000 | 1721 | 1305k| 1.6 |9757k| 31 | - | 94 | 11k| 0 | 0 | 24 | 453k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
226.44/226.53 c 227s|810000 | 1662 | 1321k| 1.6 |9944k| 31 | - | 94 | 11k| 0 | 0 | 24 | 459k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
229.64/229.75 c 230s|820000 | 1763 | 1338k| 1.6 | 10M| 31 | - | 94 | 12k| 94 | 19 | 24 | 466k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
233.44/233.53 c 234s|830000 | 963 | 1354k| 1.6 |9274k| 31 | 4 | 94 | 10k| 94 | 19 | 24 | 473k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
236.55/236.61 c 237s|840000 | 676 | 1370k| 1.6 |8803k| 31 | - | 94 | 10k| 94 | 19 | 24 | 479k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
239.34/239.48 c 239s|850000 | 815 | 1386k| 1.6 |9273k| 31 | 4 | 94 | 11k| 94 | 19 | 24 | 486k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
242.44/242.60 c 243s|860000 | 1039 | 1403k| 1.6 |8707k| 31 | - | 94 |9723 | 94 | 19 | 24 | 492k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
245.55/245.61 c 246s|870000 | 1295 | 1419k| 1.6 |9378k| 31 | 4 | 94 | 10k| 94 | 19 | 24 | 498k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
248.74/248.81 c 249s|880000 | 1224 | 1434k| 1.6 |9781k| 31 | - | 94 | 11k| 94 | 19 | 24 | 505k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
252.14/252.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.14/252.25 c 252s|890000 | 1028 | 1450k| 1.6 |9546k| 31 | 4 | 94 | 11k| 94 | 19 | 24 | 511k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
255.34/255.47 c 255s|900000 | 922 | 1466k| 1.6 |9351k| 31 | 4 | 94 | 11k| 94 | 19 | 24 | 517k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
258.63/258.76 c 259s|910000 | 1030 | 1484k| 1.6 | 10M| 31 | - | 94 | 14k| 94 | 19 | 24 | 524k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
262.43/262.59 c 263s|920000 | 758 | 1502k| 1.6 | 10M| 31 | - | 94 | 16k| 94 | 19 | 24 | 532k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
266.44/266.50 c 266s|930000 | 527 | 1518k| 1.6 |9694k| 31 | - | 94 | 13k| 0 | 0 | 24 | 538k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
269.33/269.46 c 269s|940000 | 506 | 1533k| 1.6 |8680k| 31 | - | 94 | 10k| 0 | 0 | 24 | 544k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
272.13/272.27 c 272s|950000 | 964 | 1549k| 1.6 |9339k| 31 | 4 | 94 | 11k| 94 | 19 | 24 | 550k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
275.33/275.45 c 275s|960000 | 1066 | 1565k| 1.6 | 10M| 31 | 4 | 94 | 12k| 94 | 19 | 24 | 556k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
278.63/278.76 c 279s|970000 | 1028 | 1581k| 1.6 | 10M| 31 | - | 94 | 13k| 94 | 19 | 24 | 562k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
282.13/282.24 c 282s|980000 | 1275 | 1600k| 1.6 | 11M| 31 | 4 | 94 | 15k| 94 | 19 | 24 | 569k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
285.83/285.99 c 286s|990000 | 1577 | 1620k| 1.6 | 12M| 31 | - | 94 | 17k| 94 | 19 | 24 | 577k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
290.54/290.60 c 291s| 1000k| 1397 | 1640k| 1.6 | 12M| 31 | 4 | 94 | 16k| 94 | 19 | 24 | 584k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
294.53/294.63 c 295s| 1010k| 1687 | 1661k| 1.6 | 13M| 31 | - | 94 | 19k| 94 | 19 | 24 | 592k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
299.53/299.69 c 300s| 1020k| 937 | 1681k| 1.6 | 11M| 31 | - | 94 | 13k| 94 | 19 | 24 | 600k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
303.44/303.51 c 304s| 1030k| 656 | 1701k| 1.7 | 10M| 31 | 4 | 94 | 15k| 94 | 19 | 24 | 608k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
307.33/307.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.33/307.43 c 307s| 1040k| 704 | 1721k| 1.7 | 12M| 31 | 4 | 94 | 19k| 94 | 19 | 24 | 616k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
311.83/311.99 c 312s| 1050k| 624 | 1741k| 1.7 | 12M| 31 | - | 94 | 20k| 94 | 19 | 24 | 624k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
316.62/316.76 c 317s| 1060k| 386 | 1760k| 1.7 | 11M| 31 | 4 | 94 | 17k| 94 | 19 | 24 | 632k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
320.43/320.59 c 321s| 1070k| 526 | 1775k| 1.7 | 10M| 31 | 4 | 94 | 16k| 94 | 19 | 24 | 638k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
324.33/324.40 c 324s| 1080k| 340 | 1790k| 1.7 | 10M| 31 | - | 94 | 15k| 0 | 0 | 24 | 643k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
328.02/328.11 c 328s| 1090k| 817 | 1807k| 1.7 | 11M| 31 | - | 94 | 16k| 94 | 19 | 24 | 649k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
332.33/332.48 c 332s| 1100k| 692 | 1822k| 1.7 | 11M| 31 | - | 94 | 17k| 94 | 19 | 24 | 655k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
336.53/336.64 c 337s| 1110k| 592 | 1839k| 1.7 | 12M| 31 | 4 | 94 | 18k| 94 | 19 | 24 | 661k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
341.32/341.46 c 341s| 1120k| 805 | 1855k| 1.7 | 13M| 31 | 4 | 94 | 21k| 94 | 19 | 24 | 667k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
346.62/346.73 c 347s| 1130k| 245 | 1870k| 1.7 | 11M| 31 | - | 94 | 19k| 94 | 19 | 24 | 672k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
351.02/351.12 c 351s| 1140k| 379 | 1886k| 1.7 | 11M| 31 | 4 | 94 | 19k| 94 | 19 | 24 | 678k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
355.82/355.95 c 356s| 1150k| 784 | 1902k| 1.7 | 13M| 31 | - | 94 | 21k| 94 | 19 | 24 | 685k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
361.22/361.31 c 361s| 1160k| 1044 | 1920k| 1.7 | 14M| 31 | 4 | 94 | 24k| 94 | 19 | 24 | 691k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
366.82/366.91 c 367s| 1170k| 1183 | 1936k| 1.7 | 14M| 31 | - | 94 | 25k| 94 | 19 | 24 | 698k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
372.82/372.95 c 373s| 1180k| 1307 | 1954k| 1.7 | 15M| 31 | 4 | 94 | 26k| 94 | 19 | 24 | 705k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
380.11/380.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
380.11/380.25 c 380s| 1190k| 723 | 1971k| 1.7 | 14M| 31 | - | 94 | 23k| 94 | 19 | 24 | 713k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
385.41/385.55 c 386s| 1200k| 979 | 1988k| 1.7 | 15M| 31 | 4 | 94 | 26k| 94 | 19 | 24 | 719k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
391.71/391.87 c 392s| 1210k| 745 | 2005k| 1.7 | 15M| 31 | - | 94 | 28k| 0 | 0 | 24 | 727k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
398.82/398.90 c 399s| 1220k| 954 | 2023k| 1.7 | 16M| 31 | - | 94 | 29k| 94 | 19 | 24 | 734k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
406.11/406.28 c 406s| 1230k| 701 | 2041k| 1.7 | 17M| 31 | - | 94 | 32k| 94 | 19 | 24 | 741k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
415.51/415.63 c 416s| 1240k| 228 | 2060k| 1.7 | 15M| 31 | 4 | 94 | 28k| 94 | 19 | 24 | 749k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
421.01/421.13 c 421s| 1250k| 152 | 2075k| 1.7 | 12M| 31 | 4 | 94 | 18k| 94 | 19 | 24 | 756k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
424.91/425.05 c 425s| 1260k| 76 | 2091k| 1.7 | 11M| 31 | - | 94 | 14k| 94 | 19 | 24 | 763k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
428.51/428.62 c 429s| 1270k| 640 | 2109k| 1.7 | 12M| 31 | 4 | 94 | 15k| 94 | 19 | 24 | 769k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
433.11/433.21 c 433s| 1280k| 1117 | 2127k| 1.7 | 13M| 31 | 4 | 94 | 17k| 94 | 19 | 24 | 775k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
437.91/438.08 c 438s| 1290k| 1408 | 2145k| 1.7 | 14M| 31 | - | 94 | 19k| 0 | 0 | 24 | 781k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
443.41/443.53 c 444s| 1300k| 1648 | 2162k| 1.7 | 15M| 31 | 4 | 94 | 21k| 94 | 19 | 24 | 788k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
449.20/449.38 c 449s| 1310k| 1619 | 2180k| 1.7 | 15M| 31 | - | 94 | 21k| 94 | 19 | 24 | 794k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
454.90/455.04 c 455s| 1320k| 1682 | 2197k| 1.7 | 15M| 31 | - | 94 | 21k| 94 | 19 | 24 | 800k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
460.40/460.50 c 461s| 1330k| 1919 | 2215k| 1.7 | 15M| 31 | - | 94 | 20k| 0 | 0 | 24 | 807k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
465.90/466.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.90/466.05 c 466s| 1340k| 2278 | 2233k| 1.7 | 17M| 31 | 4 | 94 | 23k| 94 | 19 | 24 | 813k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
472.20/472.34 c 472s| 1350k| 2484 | 2251k| 1.7 | 18M| 31 | - | 94 | 24k| 94 | 19 | 24 | 819k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
478.90/479.04 c 479s| 1360k| 2465 | 2267k| 1.7 | 18M| 31 | 4 | 94 | 25k| 94 | 19 | 24 | 825k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
485.90/486.02 c 486s| 1370k| 2404 | 2283k| 1.7 | 18M| 31 | 4 | 94 | 25k| 94 | 19 | 24 | 831k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
491.99/492.10 c 492s| 1380k| 2578 | 2301k| 1.7 | 18M| 31 | 4 | 94 | 24k| 94 | 19 | 24 | 837k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
498.10/498.28 c 498s| 1390k| 2580 | 2319k| 1.7 | 19M| 31 | - | 94 | 26k| 94 | 19 | 24 | 844k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
505.09/505.21 c 505s| 1400k| 2643 | 2336k| 1.7 | 19M| 31 | - | 94 | 24k| 94 | 19 | 24 | 850k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
511.59/511.79 c 512s| 1410k| 2791 | 2354k| 1.7 | 19M| 31 | 4 | 94 | 25k| 94 | 19 | 24 | 856k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
517.89/518.07 c 518s| 1420k| 3060 | 2373k| 1.7 | 20M| 31 | 4 | 94 | 26k| 94 | 19 | 24 | 863k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
525.00/525.13 c 525s| 1430k| 3146 | 2394k| 1.7 | 21M| 31 | 4 | 94 | 26k| 94 | 19 | 24 | 871k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
531.99/532.15 c 532s| 1440k| 3110 | 2414k| 1.7 | 21M| 31 | 4 | 94 | 28k| 94 | 19 | 24 | 879k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
539.89/540.04 c 540s| 1450k| 2900 | 2434k| 1.7 | 20M| 31 | - | 94 | 24k| 0 | 0 | 24 | 887k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
546.09/546.24 c 546s| 1460k| 3073 | 2454k| 1.7 | 21M| 31 | - | 94 | 25k| 94 | 19 | 24 | 895k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
551.99/552.19 c 552s| 1470k| 3056 | 2474k| 1.7 | 21M| 31 | - | 94 | 28k| 94 | 19 | 24 | 903k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
558.89/559.03 c 559s| 1480k| 2815 | 2493k| 1.7 | 21M| 31 | - | 94 | 27k| 94 | 19 | 24 | 911k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
565.99/566.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.99/566.14 c 566s| 1490k| 2573 | 2512k| 1.7 | 20M| 31 | 4 | 94 | 24k| 94 | 19 | 24 | 919k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
572.38/572.55 c 573s| 1500k| 2451 | 2531k| 1.7 | 20M| 31 | 4 | 94 | 26k| 94 | 19 | 24 | 927k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
583.09/583.25 c 583s| 1510k| 1117 | 2548k| 1.7 | 16M| 31 | - | 94 | 21k| 94 | 19 | 24 | 936k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
591.28/591.42 c 591s| 1520k| 52 | 2564k| 1.7 | 13M| 31 | 4 | 94 | 18k| 94 | 19 | 24 | 943k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
595.68/595.86 c 596s| 1530k| 549 | 2581k| 1.7 | 14M| 31 | - | 94 | 22k| 0 | 0 | 24 | 951k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
601.48/601.68 c 602s| 1540k| 263 | 2598k| 1.7 | 14M| 31 | 4 | 94 | 21k| 94 | 19 | 24 | 960k|1545 | 0.000000e+00 | 1.000000e+00 | Inf
602.48/602.63 c
602.48/602.63 c SCIP Status : problem is solved [optimal solution found]
602.48/602.63 c Solving Time (sec) : 602.62
602.48/602.63 c Solving Nodes : 1540995
602.48/602.63 c Primal Bound : +1.00000000000000e+00 (45 solutions)
602.48/602.63 c Dual Bound : +1.00000000000000e+00
602.48/602.63 c Gap : 0.00 %
602.48/602.63 s OPTIMUM FOUND
602.48/602.63 v x94 -x75 x93 x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 x83 -x82 x81 x80 x79 x78 x77 -x76 x74 x73 -x72 x71 -x70 -x69 -x68 x67 x66
602.48/602.63 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
602.48/602.63 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
602.48/602.63 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
602.48/602.63 c SCIP Status : problem is solved [optimal solution found]
602.48/602.63 c Solving Time : 602.62
602.48/602.63 c Original Problem :
602.48/602.63 c Problem name : HOME/instance-3734976-1338702716.opb
602.48/602.63 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
602.48/602.63 c Constraints : 8 initial, 8 maximal
602.48/602.63 c Presolved Problem :
602.48/602.63 c Problem name : t_HOME/instance-3734976-1338702716.opb
602.48/602.63 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
602.48/602.63 c Constraints : 4 initial, 34498 maximal
602.48/602.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
602.48/602.63 c trivial : 0.00 0 0 0 0 0 0 0 0
602.48/602.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
602.48/602.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
602.48/602.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
602.48/602.63 c implics : 0.00 0 0 0 0 0 0 0 0
602.48/602.63 c probing : 0.00 0 0 0 0 0 0 0 0
602.48/602.63 c linear : 0.00 0 0 0 0 0 4 0 0
602.48/602.63 c logicor : 0.00 0 0 0 0 0 0 0 0
602.48/602.63 c root node : - 65 - - 65 - - - -
602.48/602.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
602.48/602.63 c integral : 0 0 0 853740 0 105 388 0 0 1706478
602.48/602.63 c linear : 4+ 7 3795300 2 0 412203 2387199 0 0 0
602.48/602.63 c logicor : 0+ 0 2042823 0 0 18269 973755 0 0 0
602.48/602.63 c countsols : 0 0 0 18 0 0 0 0 0 0
602.48/602.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
602.48/602.63 c integral : 4.43 0.00 0.00 4.43 0.00
602.48/602.63 c linear : 62.61 0.00 62.61 0.00 0.00
602.48/602.63 c logicor : 184.64 0.00 184.64 0.00 0.00
602.48/602.63 c countsols : 0.00 0.00 0.00 0.00 0.00
602.48/602.63 c Propagators : Time Calls Cutoffs DomReds
602.48/602.63 c vbounds : 0.49 2 0 0
602.48/602.63 c rootredcost : 0.50 39 0 64
602.48/602.63 c pseudoobj : 4.94 3795299 165 9904
602.48/602.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
602.48/602.63 c propagation : 8.88 430637 272736 712260 21.4 60 18.0 -
602.48/602.63 c infeasible LP : 9.04 429082 429071 753165 14.2 5195 17.9 0
602.48/602.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
602.48/602.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
602.48/602.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
602.48/602.63 c applied globally : - - - 961461 15.6 - - -
602.48/602.63 c applied locally : - - - 105 33.3 - - -
602.48/602.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
602.48/602.63 c cut pool : 0.00 5 - - 11 - (maximal pool size: 74)
602.48/602.63 c redcost : 1.59 858865 0 62741 0 0
602.48/602.63 c impliedbounds : 0.00 6 0 0 0 0
602.48/602.63 c intobj : 0.00 0 0 0 0 0
602.48/602.63 c cgmip : 0.00 0 0 0 0 0
602.48/602.63 c gomory : 0.00 6 0 0 0 0
602.48/602.63 c strongcg : 0.00 6 0 0 13 0
602.48/602.63 c cmir : 0.01 6 0 0 31 0
602.48/602.63 c flowcover : 0.01 6 0 0 36 0
602.48/602.63 c clique : 0.00 1 0 0 0 0
602.48/602.63 c zerohalf : 0.00 0 0 0 0 0
602.48/602.63 c mcf : 0.00 1 0 0 0 0
602.48/602.63 c rapidlearning : 0.03 1 0 0 0 73
602.48/602.63 c Pricers : Time Calls Vars
602.48/602.63 c problem variables: 0.00 0 0
602.48/602.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
602.48/602.63 c relpscost : 4.03 853722 105 388 0 0 1706478
602.48/602.63 c pscost : 0.00 0 0 0 0 0 0
602.48/602.63 c inference : 0.00 0 0 0 0 0 0
602.48/602.63 c mostinf : 0.00 0 0 0 0 0 0
602.48/602.63 c leastinf : 0.00 0 0 0 0 0 0
602.48/602.63 c fullstrong : 0.00 0 0 0 0 0 0
602.48/602.63 c allfullstrong : 0.00 0 0 0 0 0 0
602.48/602.63 c random : 0.00 0 0 0 0 0 0
602.48/602.63 c Primal Heuristics : Time Calls Found
602.48/602.63 c LP solutions : 0.00 - 18
602.48/602.63 c pseudo solutions : 0.00 - 0
602.48/602.63 c feaspump : 0.05 1 0
602.48/602.63 c oneopt : 0.24 37 0
602.48/602.63 c pscostdiving : 1.83 3086 4
602.48/602.63 c fracdiving : 1.80 3086 3
602.48/602.63 c veclendiving : 2.16 3086 5
602.48/602.63 c linesearchdiving : 1.86 3086 1
602.48/602.63 c guideddiving : 1.87 3086 3
602.48/602.63 c coefdiving : 1.92 3087 2
602.48/602.63 c objpscostdiving : 0.40 1544 2
602.48/602.63 c rootsoldiving : 1.04 1544 1
602.48/602.63 c trivial : 0.00 2 0
602.48/602.63 c simplerounding : 0.16 0 0
602.48/602.63 c zirounding : 0.21 1000 0
602.48/602.63 c rounding : 0.33 13090 0
602.48/602.63 c shifting : 6.04 26225 5
602.48/602.63 c intshifting : 0.03 0 0
602.48/602.63 c twoopt : 0.00 0 0
602.48/602.63 c fixandinfer : 0.00 0 0
602.48/602.63 c intdiving : 0.00 0 0
602.48/602.63 c actconsdiving : 0.00 0 0
602.48/602.63 c octane : 0.00 0 0
602.48/602.63 c rens : 0.05 1 0
602.48/602.63 c rins : 0.00 0 0
602.48/602.63 c localbranching : 0.00 0 0
602.48/602.63 c mutation : 0.00 0 0
602.48/602.63 c crossover : 0.00 0 0
602.48/602.63 c dins : 0.00 0 0
602.48/602.63 c undercover : 0.00 0 0
602.48/602.63 c nlp : 0.17 0 0
602.48/602.63 c trysol : 0.26 0 0
602.48/602.63 c LP : Time Calls Iterations Iter/call Iter/sec
602.48/602.63 c primal LP : 0.00 0 0 0.00 -
602.48/602.63 c dual LP : 55.54 1236346 2502265 2.02 45057.29
602.48/602.63 c lex dual LP : 0.00 0 0 0.00 -
602.48/602.63 c barrier LP : 0.00 0 0 0.00 -
602.48/602.63 c diving/probing LP: 2.72 54409 97833 1.80 35955.39
602.48/602.63 c strong branching : 0.14 1545 6865 4.44 49445.76
602.48/602.63 c (at root node) : - 9 375 41.67 -
602.48/602.63 c conflict analysis: 0.00 0 0 0.00 -
602.48/602.63 c B&B Tree :
602.48/602.63 c number of runs : 1
602.48/602.63 c nodes : 1540995
602.48/602.63 c nodes (total) : 1540995
602.48/602.63 c nodes left : 0
602.48/602.63 c max depth : 31
602.48/602.63 c max depth (total): 31
602.48/602.63 c backtracks : 480468 (31.2%)
602.48/602.63 c delayed cutoffs : 165011
602.48/602.63 c repropagations : 1156636 (1532723 domain reductions, 145208 cutoffs)
602.48/602.63 c avg switch length: 4.77
602.48/602.63 c switching time : 167.40
602.48/602.63 c Solution :
602.48/602.63 c Solutions found : 45 (39 improvements)
602.48/602.63 c First Solution : +6.77000000000000e+02 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trysol>)
602.48/602.63 c Primal Bound : +1.00000000000000e+00 (in run 1, after 80181 nodes, 12.76 seconds, depth 25, found by <relaxation>)
602.48/602.63 c Dual Bound : +1.00000000000000e+00
602.48/602.63 c Gap : 0.00 %
602.48/602.63 c Root Dual Bound : +0.00000000000000e+00
602.48/602.63 c Root Iterations : 79
602.48/602.65 c Time complete: 602.54.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734976-1338702716/watcher-3734976-1338702716 -o /tmp/evaluation-result-3734976-1338702716/solver-3734976-1338702716 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3734976-1338702716.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.01 2.00 2.00 3/176 17062
/proc/meminfo: memFree=27154596/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=10028 CPUtime=0 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 1771 0 0 0 0 0 0 0 20 0 1 0 336397361 10268672 1718 33554432000 4194304 8395647 140737337814128 140736085549864 5756997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 2553 1726 380 1026 0 1523 0
[startup+0.0702661 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 17062
/proc/meminfo: memFree=27154596/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=23516 CPUtime=0.06 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 5396 0 0 0 5 1 0 0 20 0 1 0 336397361 24080384 4990 33554432000 4194304 8395647 140737337814128 140736085549864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 5879 4990 620 1026 0 4849 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23516
[startup+0.100249 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 17062
/proc/meminfo: memFree=27154596/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=23516 CPUtime=0.09 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 5397 0 0 0 8 1 0 0 20 0 1 0 336397361 24080384 4991 33554432000 4194304 8395647 140737337814128 140737337808584 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 5879 4991 621 1026 0 4849 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23516
[startup+0.300241 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 17062
/proc/meminfo: memFree=27154596/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=23516 CPUtime=0.29 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 5398 0 0 0 27 2 0 0 20 0 1 0 336397361 24080384 4992 33554432000 4194304 8395647 140737337814128 140737337808584 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 5879 4992 621 1026 0 4849 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23516
[startup+0.700216 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 17062
/proc/meminfo: memFree=27154596/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=23516 CPUtime=0.69 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 5403 0 0 0 66 3 0 0 20 0 1 0 336397361 24080384 4997 33554432000 4194304 8395647 140737337814128 140737337808584 4454051 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 5879 4997 622 1026 0 4849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23516
[startup+1.50022 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 17063
/proc/meminfo: memFree=27136484/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=23516 CPUtime=1.49 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 5407 0 0 0 144 5 0 0 20 0 1 0 336397361 24080384 5001 33554432000 4194304 8395647 140737337814128 140737337809736 6586893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 5879 5001 622 1026 0 4849 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23516
[startup+3.10017 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 17063
/proc/meminfo: memFree=27135244/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=23516 CPUtime=3.09 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 5409 0 0 0 301 8 0 0 20 0 1 0 336397361 24080384 5003 33554432000 4194304 8395647 140737337814128 140737337809736 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 5879 5003 622 1026 0 4849 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23516
[startup+6.30018 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 17063
/proc/meminfo: memFree=27133140/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=23516 CPUtime=6.29 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 5410 0 0 0 612 17 0 0 20 0 1 0 336397361 24080384 5004 33554432000 4194304 8395647 140737337814128 140737337809736 6068889 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 5879 5004 622 1026 0 4849 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23516
[startup+12.7001 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 17063
/proc/meminfo: memFree=27130404/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=23516 CPUtime=12.69 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 5411 0 0 0 1237 32 0 0 20 0 1 0 336397361 24080384 5005 33554432000 4194304 8395647 140737337814128 140737337809736 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 5879 5005 622 1026 0 4849 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23516
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 17063
/proc/meminfo: memFree=27127672/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=23516 CPUtime=25.49 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 5411 0 0 0 2496 53 0 0 20 0 1 0 336397361 24080384 5005 33554432000 4194304 8395647 140737337814128 140737337809736 6068889 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 5879 5005 622 1026 0 4849 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23516
[startup+51.1002 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 17063
/proc/meminfo: memFree=27116808/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=28268 CPUtime=51.07 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 6504 0 0 0 5018 89 0 0 20 0 1 0 336397361 28946432 6113 33554432000 4194304 8395647 140737337814128 140737337809736 4218186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 7067 6113 622 1026 0 6037 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28268
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 17063
/proc/meminfo: memFree=27099480/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=32752 CPUtime=102.27 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 7393 0 0 0 10069 158 0 0 20 0 1 0 336397361 33538048 7405 33554432000 4194304 8395647 140737337814128 140737337809736 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 8188 7405 622 1026 0 7158 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 32752
[startup+162.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 17063
/proc/meminfo: memFree=27078556/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=34180 CPUtime=162.26 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 7646 0 0 0 15996 230 0 0 20 0 1 0 336397361 35000320 7658 33554432000 4194304 8395647 140737337814128 140737337809736 4218182 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 8545 7658 622 1026 0 7515 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 34180
[startup+222.306 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 17063
/proc/meminfo: memFree=27068228/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=37184 CPUtime=222.25 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 8263 0 0 0 21931 294 0 0 20 0 1 0 336397361 38076416 8502 33554432000 4194304 8395647 140737337814128 140737337809736 5085381 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 9296 8502 622 1026 0 8266 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 37184
[startup+282.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/177 17063
/proc/meminfo: memFree=27065076/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=37868 CPUtime=282.23 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 8312 0 0 0 27863 360 0 0 20 0 1 0 336397361 38776832 8598 33554432000 4194304 8395647 140737337814128 140737337809736 6068911 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 9467 8598 622 1026 0 8437 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 37868
[startup+342.3 s]
/proc/loadavg: 2.22 2.10 2.03 3/177 17064
/proc/meminfo: memFree=27048664/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=40900 CPUtime=342.22 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 8659 0 0 0 33807 415 0 0 20 0 1 0 336397361 41881600 8945 33554432000 4194304 8395647 140737337814128 140737337809736 6069597 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 10225 8945 622 1026 0 9195 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 40900
[startup+402.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/177 17064
/proc/meminfo: memFree=27028156/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=44160 CPUtime=402.22 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 9486 0 0 0 39767 455 0 0 20 0 1 0 336397361 45219840 10425 33554432000 4194304 8395647 140737337814128 140737337809736 4212466 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 11040 10425 622 1026 0 10010 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 44160
[startup+462.3 s]
/proc/loadavg: 2.14 2.10 2.02 3/177 17064
/proc/meminfo: memFree=27016688/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=47072 CPUtime=462.2 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 10040 0 0 0 45724 496 0 0 20 0 1 0 336397361 48201728 10979 33554432000 4194304 8395647 140737337814128 140737337809736 4420673 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 11768 10979 622 1026 0 10738 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 47072
[startup+522.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/178 17067
/proc/meminfo: memFree=27000128/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=50544 CPUtime=522.19 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 10603 0 0 0 51687 532 0 0 20 0 1 0 336397361 51757056 11792 33554432000 4194304 8395647 140737337814128 140737337809736 4218227 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 12636 11792 622 1026 0 11606 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 50544
[startup+582.3 s]
/proc/loadavg: 2.08 2.09 2.02 3/178 17090
/proc/meminfo: memFree=26988372/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=51872 CPUtime=582.19 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 10935 0 0 0 57649 570 0 0 20 0 1 0 336397361 53116928 12124 33554432000 4194304 8395647 140737337814128 140737337809736 5085432 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 12968 12124 622 1026 0 11938 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 51872
Solver just ended. Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.08 2.08 2.02 3/178 17090
/proc/meminfo: memFree=26987876/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=51872 CPUtime=588.68 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 10935 0 0 0 58296 572 0 0 20 0 1 0 336397361 53116928 12124 33554432000 4194304 8395647 140737337814128 140737337809736 4218186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 12968 12124 622 1026 0 11938 0
Current children cumulated CPU time (s) 588.68
Current children cumulated vsize (KiB) 51872
[startup+595.206 s]
/proc/loadavg: 2.06 2.08 2.02 3/178 17091
/proc/meminfo: memFree=26987624/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=51872 CPUtime=595.09 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 10936 0 0 0 58930 579 0 0 20 0 1 0 336397361 53116928 12125 33554432000 4194304 8395647 140737337814128 140737337809736 6069048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 12968 12125 623 1026 0 11938 0
Current children cumulated CPU time (s) 595.09
Current children cumulated vsize (KiB) 51872
[startup+598.4 s]
/proc/loadavg: 2.06 2.08 2.02 3/178 17091
/proc/meminfo: memFree=26987500/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=51872 CPUtime=598.28 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 10936 0 0 0 59248 580 0 0 20 0 1 0 336397361 53116928 12125 33554432000 4194304 8395647 140737337814128 140737337809736 6068924 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 12968 12125 623 1026 0 11938 0
Current children cumulated CPU time (s) 598.28
Current children cumulated vsize (KiB) 51872
[startup+600 s]
/proc/loadavg: 2.06 2.08 2.02 3/178 17091
/proc/meminfo: memFree=26987500/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=51872 CPUtime=599.88 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 10936 0 0 0 59407 581 0 0 20 0 1 0 336397361 53116928 12125 33554432000 4194304 8395647 140737337814128 140737337809736 5089568 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 12968 12125 623 1026 0 11938 0
Current children cumulated CPU time (s) 599.88
Current children cumulated vsize (KiB) 51872
[startup+601.6 s]
/proc/loadavg: 2.06 2.08 2.02 3/178 17091
/proc/meminfo: memFree=26987608/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=51872 CPUtime=601.48 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 10936 0 0 0 59566 582 0 0 20 0 1 0 336397361 53116928 12125 33554432000 4194304 8395647 140737337814128 140737337809736 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 12968 12125 623 1026 0 11938 0
Current children cumulated CPU time (s) 601.48
Current children cumulated vsize (KiB) 51872
[startup+602.4 s]
/proc/loadavg: 2.06 2.08 2.02 3/178 17091
/proc/meminfo: memFree=26987608/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=51872 CPUtime=602.28 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 10936 0 0 0 59646 582 0 0 20 0 1 0 336397361 53116928 12125 33554432000 4194304 8395647 140737337814128 140737337809736 4689547 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 12968 12125 623 1026 0 11938 0
Current children cumulated CPU time (s) 602.28
Current children cumulated vsize (KiB) 51872
[startup+602.6 s]
/proc/loadavg: 2.06 2.08 2.02 3/178 17091
/proc/meminfo: memFree=26987608/32873660 swapFree=7120/7120
[pid=17062] ppid=17060 vsize=51872 CPUtime=602.48 cores=0,2,4,6
/proc/17062/stat : 17062 (pbscip.linux.x8) R 17060 17062 13836 0 -1 4202496 10936 0 0 0 59666 582 0 0 20 0 1 0 336397361 53116928 12125 33554432000 4194304 8395647 140737337814128 140737337809736 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17062/statm: 12968 12125 623 1026 0 11938 0
Current children cumulated CPU time (s) 602.48
Current children cumulated vsize (KiB) 51872
Child status: 0
Real time (s): 602.656
CPU time (s): 602.544
CPU user time (s): 596.721
CPU system time (s): 5.82311
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 51872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 596.721
system time used= 5.82311
maximum resident set size= 48508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10941
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= 22
involuntary context switches= 634
runsolver used 1.90471 second user time and 4.39533 second system time
The end