0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488615-1307784827.opb>
0.01/0.04 c original problem has 8335 variables (8335 bin, 0 int, 0 impl, 0 cont) and 8835 constraints
0.01/0.04 c problem read
0.01/0.04 c presolving settings loaded
0.01/0.08 o 0
0.01/0.08 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.01/0.08 c presolving:
0.09/0.14 c (round 1) 7835 del vars, 1000 del conss, 0 add conss, 7835 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31340 impls, 0 clqs
0.09/0.15 c (round 2) 7835 del vars, 1000 del conss, 0 add conss, 7835 chg bounds, 0 chg sides, 0 chg coeffs, 7835 upgd conss, 31340 impls, 0 clqs
0.19/0.20 c (0.2s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (3 rounds):
0.19/0.20 c 7835 deleted vars, 1000 deleted constraints, 0 added constraints, 7835 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 47008 implications, 0 cliques
0.19/0.20 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7835 constraints
0.19/0.20 c 7835 constraints of type <setppc>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.13
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 2.0.1.5
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1797
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 13950
0.19/0.20 c
0.19/0.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.20 c # [type: int, range: [1,2], default: 1]
0.19/0.20 c timing/clocktype = 2
0.19/0.20 c
0.19/0.20 c # belongs reading time to solving time?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c timing/reading = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/indicator/addCouplingCons = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.26 c t 0.3s| 1 | 0 | 518 | - | 26M| 0 | 500 | 500 |7835 | 500 |7835 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.19/0.27 o -1
0.19/0.27 c R 0.3s| 1 | 0 | 518 | - | 26M| 0 | 500 | 500 |7835 | 500 |7835 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.19/0.28 o -2
0.19/0.28 c s 0.3s| 1 | 0 | 518 | - | 26M| 0 | 500 | 500 |7835 | 500 |7835 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.39/0.46 o -45
0.39/0.46 c y 0.5s| 1 | 0 | 518 | - | 26M| 0 | 500 | 500 |7835 | 500 |7835 | 0 | 0 | 0 |-2.500000e+02 |-4.500000e+01 | 82.00%
0.39/0.49 c 0.5s| 1 | 0 | 595 | - | 26M| 0 | 492 | 500 |7835 | 500 |7844 | 9 | 0 | 0 |-2.460000e+02 |-4.500000e+01 | 81.71%
0.59/0.62 c 0.6s| 1 | 0 | 683 | - | 26M| 0 | 485 | 500 |7835 | 500 |7854 | 19 | 0 | 0 |-2.425000e+02 |-4.500000e+01 | 81.44%
0.69/0.76 c 0.8s| 1 | 0 | 772 | - | 26M| 0 | 479 | 500 |7835 | 500 |7861 | 26 | 0 | 0 |-2.395000e+02 |-4.500000e+01 | 81.21%
0.79/0.89 c 0.9s| 1 | 0 | 812 | - | 26M| 0 | 475 | 500 |7835 | 500 |7869 | 34 | 0 | 0 |-2.375000e+02 |-4.500000e+01 | 81.05%
1.00/1.04 c 1.0s| 1 | 0 | 945 | - | 26M| 0 | 471 | 500 |7835 | 500 |7881 | 46 | 0 | 0 |-2.355000e+02 |-4.500000e+01 | 80.89%
1.19/1.20 c 1.2s| 1 | 0 | 1100 | - | 26M| 0 | 467 | 500 |7835 | 500 |7892 | 57 | 0 | 0 |-2.327500e+02 |-4.500000e+01 | 80.67%
1.29/1.39 c 1.4s| 1 | 0 | 1282 | - | 26M| 0 | 463 | 500 |7835 | 500 |7899 | 64 | 0 | 0 |-2.307500e+02 |-4.500000e+01 | 80.50%
1.49/1.58 c 1.6s| 1 | 0 | 1509 | - | 26M| 0 | 459 | 500 |7835 | 500 |7910 | 75 | 0 | 0 |-2.287500e+02 |-4.500000e+01 | 80.33%
1.79/1.84 c 1.8s| 1 | 0 | 1840 | - | 26M| 0 | 458 | 500 |7835 | 500 |7919 | 84 | 0 | 0 |-2.262500e+02 |-4.500000e+01 | 80.11%
2.10/2.17 c 2.2s| 1 | 0 | 2662 | - | 26M| 0 | 449 | 500 |7835 | 500 |7932 | 97 | 0 | 0 |-2.232500e+02 |-4.500000e+01 | 79.84%
2.29/2.38 c 2.4s| 1 | 0 | 3076 | - | 26M| 0 | 444 | 500 |7835 | 500 | 951 | 106 | 0 | 0 |-2.212500e+02 |-4.500000e+01 | 79.66%
2.39/2.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.46 c 2.5s| 1 | 0 | 3563 | - | 27M| 0 | 434 | 500 |7835 | 500 | 963 | 118 | 0 | 0 |-2.200000e+02 |-4.500000e+01 | 79.55%
2.49/2.55 c 2.6s| 1 | 0 | 3862 | - | 27M| 0 | 442 | 500 |7835 | 500 |1044 | 199 | 0 | 0 |-2.185000e+02 |-4.500000e+01 | 79.41%
2.59/2.69 c 2.7s| 1 | 0 | 4369 | - | 27M| 0 | 429 | 500 |7835 | 500 |1130 | 285 | 0 | 0 |-2.160000e+02 |-4.500000e+01 | 79.17%
2.79/2.83 c 2.8s| 1 | 0 | 5037 | - | 28M| 0 | 415 | 500 |7835 | 500 |1326 | 481 | 0 | 0 |-2.139545e+02 |-4.500000e+01 | 78.97%
2.89/2.98 c 3.0s| 1 | 0 | 5719 | - | 28M| 0 | 441 | 500 |7835 | 500 |1475 | 630 | 0 | 0 |-2.115000e+02 |-4.500000e+01 | 78.72%
3.09/3.15 c 3.2s| 1 | 0 | 6074 | - | 29M| 0 | 423 | 500 |7835 | 500 |1457 | 860 | 0 | 0 |-2.100000e+02 |-4.500000e+01 | 78.57%
3.20/3.26 c 3.3s| 1 | 0 | 6505 | - | 30M| 0 | 419 | 500 |7835 | 500 |1480 | 883 | 0 | 0 |-2.090000e+02 |-4.500000e+01 | 78.47%
3.30/3.34 c 3.3s| 1 | 0 | 6682 | - | 30M| 0 | 431 | 500 |7835 | 500 |1548 | 951 | 0 | 0 |-2.077222e+02 |-4.500000e+01 | 78.34%
3.49/3.58 c 3.6s| 1 | 0 | 7896 | - | 32M| 0 | 455 | 500 |7835 | 500 |1721 |1124 | 0 | 0 |-2.060261e+02 |-4.500000e+01 | 78.16%
3.79/3.81 c 3.8s| 1 | 0 | 8284 | - | 33M| 0 | 420 | 500 |7835 | 500 |3172 |2575 | 0 | 0 |-2.047778e+02 |-4.500000e+01 | 78.02%
3.89/3.92 c 3.9s| 1 | 0 | 8679 | - | 33M| 0 | 413 | 500 |7835 | 500 |3185 |2588 | 0 | 0 |-2.034778e+02 |-4.500000e+01 | 77.88%
3.99/4.03 c 4.0s| 1 | 0 | 9105 | - | 33M| 0 | 418 | 500 |7835 | 500 |2918 |2603 | 0 | 0 |-2.002500e+02 |-4.500000e+01 | 77.53%
4.19/4.21 c 4.2s| 1 | 0 | 9815 | - | 34M| 0 | 399 | 500 |7835 | 500 |2932 |2617 | 0 | 0 |-1.990000e+02 |-4.500000e+01 | 77.39%
4.30/4.35 c 4.4s| 1 | 0 | 10431 | - | 34M| 0 | 399 | 500 |7835 | 500 |2946 |2631 | 0 | 0 |-1.977500e+02 |-4.500000e+01 | 77.24%
4.40/4.48 c 4.5s| 1 | 0 | 10910 | - | 34M| 0 | 398 | 500 |7835 | 500 |3097 |2782 | 0 | 0 |-1.970000e+02 |-4.500000e+01 | 77.16%
4.59/4.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.59/4.68 c 4.7s| 1 | 0 | 11841 | - | 34M| 0 | 402 | 500 |7835 | 500 |3107 |2792 | 0 | 0 |-1.950000e+02 |-4.500000e+01 | 76.92%
4.79/4.81 c 4.8s| 1 | 0 | 12334 | - | 35M| 0 | 391 | 500 |7835 | 500 |3137 |2822 | 0 | 0 |-1.940000e+02 |-4.500000e+01 | 76.80%
4.99/5.03 c 5.0s| 1 | 0 | 13360 | - | 35M| 0 | 405 | 500 |7835 | 500 |2353 |2832 | 0 | 0 |-1.935000e+02 |-4.500000e+01 | 76.74%
5.19/5.26 c 5.3s| 1 | 0 | 14638 | - | 35M| 0 | 403 | 500 |7835 | 500 |2383 |2862 | 0 | 0 |-1.926667e+02 |-4.500000e+01 | 76.64%
5.40/5.42 c 5.4s| 1 | 0 | 15450 | - | 35M| 0 | 424 | 500 |7835 | 500 |2535 |3014 | 0 | 0 |-1.905556e+02 |-4.500000e+01 | 76.38%
5.59/5.66 c 5.7s| 1 | 0 | 16967 | - | 35M| 0 | 399 | 500 |7835 | 500 |2771 |3250 | 0 | 0 |-1.888750e+02 |-4.500000e+01 | 76.17%
5.79/5.89 c 5.9s| 1 | 0 | 18212 | - | 36M| 0 | 384 | 500 |7835 | 500 |2920 |3399 | 0 | 0 |-1.863333e+02 |-4.500000e+01 | 75.85%
6.09/6.11 c 6.1s| 1 | 0 | 19383 | - | 36M| 0 | 423 | 500 |7835 | 500 |2969 |3448 | 0 | 0 |-1.848750e+02 |-4.500000e+01 | 75.66%
6.29/6.30 c 6.3s| 1 | 0 | 20164 | - | 36M| 0 | 383 | 500 |7835 | 500 |1756 |3712 | 0 | 0 |-1.841667e+02 |-4.500000e+01 | 75.57%
6.29/6.39 c 6.4s| 1 | 0 | 20534 | - | 37M| 0 | 369 | 500 |7835 | 500 |1767 |3723 | 0 | 0 |-1.830000e+02 |-4.500000e+01 | 75.41%
6.49/6.53 c 6.5s| 1 | 0 | 21297 | - | 37M| 0 | 401 | 500 |7835 | 500 |1808 |3764 | 0 | 0 |-1.824167e+02 |-4.500000e+01 | 75.33%
6.69/6.76 c 6.8s| 1 | 0 | 22565 | - | 37M| 0 | 416 | 500 |7835 | 500 |1961 |3917 | 0 | 0 |-1.810000e+02 |-4.500000e+01 | 75.14%
6.99/7.01 c 7.0s| 1 | 0 | 23906 | - | 38M| 0 | 395 | 500 |7835 | 500 |2157 |4113 | 0 | 0 |-1.800000e+02 |-4.500000e+01 | 75.00%
6.99/7.09 c 7.1s| 1 | 0 | 24066 | - | 38M| 0 | 359 | 500 |7835 | 500 |2167 |4123 | 0 | 0 |-1.795000e+02 |-4.500000e+01 | 74.93%
7.19/7.21 c 7.2s| 1 | 0 | 24421 | - | 39M| 0 | 382 | 500 |7835 | 500 |1679 |4131 | 0 | 0 |-1.790000e+02 |-4.500000e+01 | 74.86%
7.29/7.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.29/7.32 c 7.3s| 1 | 0 | 24767 | - | 40M| 0 | 358 | 500 |7835 | 500 |1690 |4142 | 0 | 0 |-1.790000e+02 |-4.500000e+01 | 74.86%
7.39/7.44 c 7.4s| 1 | 0 | 25382 | - | 40M| 0 | 367 | 500 |7835 | 500 |1723 |4175 | 0 | 0 |-1.790000e+02 |-4.500000e+01 | 74.86%
7.59/7.69 c 7.7s| 1 | 0 | 27608 | - | 40M| 0 | 438 | 500 |7835 | 500 |1769 |4221 | 0 | 0 |-1.787493e+02 |-4.500000e+01 | 74.83%
7.99/8.07 c 8.1s| 1 | 0 | 29121 | - | 40M| 0 | 427 | 500 |7835 | 500 |2294 |4746 | 0 | 0 |-1.782414e+02 |-4.500000e+01 | 74.75%
8.29/8.38 c 8.4s| 1 | 0 | 30038 | - | 40M| 0 | 425 | 500 |7835 | 500 |2362 |4814 | 0 | 0 |-1.777335e+02 |-4.500000e+01 | 74.68%
8.69/8.76 c 8.8s| 1 | 0 | 31453 | - | 40M| 0 | 427 | 500 |7835 | 500 |1773 |4885 | 0 | 0 |-1.769348e+02 |-4.500000e+01 | 74.57%
8.99/9.04 c 9.0s| 1 | 0 | 32707 | - | 41M| 0 | 445 | 500 |7835 | 500 |1822 |4934 | 0 | 0 |-1.762827e+02 |-4.500000e+01 | 74.47%
9.49/9.52 c 9.5s| 1 | 0 | 35012 | - | 41M| 0 | 431 | 500 |7835 | 500 |1947 |5059 | 0 | 0 |-1.749988e+02 |-4.500000e+01 | 74.29%
9.80/9.83 c 9.8s| 1 | 0 | 35917 | - | 41M| 0 | 438 | 500 |7835 | 500 |2180 |5292 | 0 | 0 |-1.742011e+02 |-4.500000e+01 | 74.17%
10.19/10.23 c 10.2s| 1 | 0 | 37325 | - | 41M| 0 | 427 | 500 |7835 | 500 |2223 |5335 | 0 | 0 |-1.726618e+02 |-4.500000e+01 | 73.94%
10.59/10.62 c 10.6s| 1 | 0 | 38806 | - | 41M| 0 | 427 | 500 |7835 | 500 |2303 |5415 | 0 | 0 |-1.713689e+02 |-4.500000e+01 | 73.74%
10.90/10.94 c 10.9s| 1 | 0 | 39999 | - | 43M| 0 | 411 | 500 |7835 | 500 |2139 |5508 | 0 | 0 |-1.698750e+02 |-4.500000e+01 | 73.51%
11.19/11.21 c 11.2s| 1 | 0 | 41209 | - | 45M| 0 | 428 | 500 |7835 | 500 |2226 |5595 | 0 | 0 |-1.685081e+02 |-4.500000e+01 | 73.30%
11.39/11.42 c 11.4s| 1 | 0 | 41771 | - | 46M| 0 | 432 | 500 |7835 | 500 |2369 |5738 | 0 | 0 |-1.677143e+02 |-4.500000e+01 | 73.17%
11.49/11.59 c 11.6s| 1 | 0 | 42217 | - | 48M| 0 | 421 | 500 |7835 | 500 |2395 |5764 | 0 | 0 |-1.673333e+02 |-4.500000e+01 | 73.11%
11.79/11.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.79/11.82 c 11.8s| 1 | 0 | 43232 | - | 48M| 0 | 441 | 500 |7835 | 500 |2427 |5796 | 0 | 0 |-1.669150e+02 |-4.500000e+01 | 73.04%
12.10/12.15 c 12.2s| 1 | 0 | 44487 | - | 50M| 0 | 453 | 500 |7835 | 500 |2459 |5828 | 0 | 0 |-1.665744e+02 |-4.500000e+01 | 72.99%
12.59/12.61 c 12.6s| 1 | 0 | 45618 | - | 51M| 0 | 452 | 500 |7835 | 500 |2264 |5984 | 0 | 0 |-1.660000e+02 |-4.500000e+01 | 72.89%
13.20/13.22 c 13.2s| 1 | 0 | 48409 | - | 51M| 0 | 454 | 500 |7835 | 500 |2302 |6022 | 0 | 0 |-1.655364e+02 |-4.500000e+01 | 72.82%
13.59/13.68 c 13.7s| 1 | 0 | 49720 | - | 51M| 0 | 464 | 500 |7835 | 500 |2361 |6081 | 0 | 0 |-1.648918e+02 |-4.500000e+01 | 72.71%
14.09/14.16 c 14.2s| 1 | 0 | 51011 | - | 51M| 0 | 469 | 500 |7835 | 500 |2418 |6138 | 0 | 0 |-1.638701e+02 |-4.500000e+01 | 72.54%
14.59/14.60 c 14.6s| 1 | 0 | 52026 | - | 51M| 0 | 475 | 500 |7835 | 500 |2486 |6206 | 0 | 0 |-1.634829e+02 |-4.500000e+01 | 72.47%
15.09/15.11 c 15.1s| 1 | 0 | 53299 | - | 51M| 0 | 475 | 500 |7835 | 500 |2518 |6238 | 0 | 0 |-1.629014e+02 |-4.500000e+01 | 72.38%
15.59/15.66 c 15.7s| 1 | 0 | 54652 | - | 51M| 0 | 481 | 500 |7835 | 500 |2161 |6268 | 0 | 0 |-1.621823e+02 |-4.500000e+01 | 72.25%
16.09/16.14 c 16.1s| 1 | 0 | 55799 | - | 51M| 0 | 473 | 500 |7835 | 500 |2237 |6344 | 0 | 0 |-1.617704e+02 |-4.500000e+01 | 72.18%
16.59/16.63 c 16.6s| 1 | 0 | 57081 | - | 51M| 0 | 482 | 500 |7835 | 500 |2284 |6391 | 0 | 0 |-1.610997e+02 |-4.500000e+01 | 72.07%
16.99/17.10 c 17.1s| 1 | 0 | 58042 | - | 51M| 0 | 479 | 500 |7835 | 500 |2339 |6446 | 0 | 0 |-1.603311e+02 |-4.500000e+01 | 71.93%
17.60/17.68 c 17.7s| 1 | 0 | 59804 | - | 51M| 0 | 476 | 500 |7835 | 500 |2388 |6495 | 0 | 0 |-1.597593e+02 |-4.500000e+01 | 71.83%
18.09/18.16 c 18.2s| 1 | 0 | 60875 | - | 51M| 0 | 481 | 500 |7835 | 500 |2419 |6526 | 0 | 0 |-1.590232e+02 |-4.500000e+01 | 71.70%
18.59/18.69 c 18.7s| 1 | 0 | 62160 | - | 51M| 0 | 486 | 500 |7835 | 500 |2276 |6580 | 0 | 0 |-1.585000e+02 |-4.500000e+01 | 71.61%
19.09/19.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.09/19.12 c 19.1s| 1 | 0 | 62894 | - | 51M| 0 | 485 | 500 |7835 | 500 |2303 |6607 | 0 | 0 |-1.582386e+02 |-4.500000e+01 | 71.56%
19.49/19.59 c 19.6s| 1 | 0 | 63705 | - | 51M| 0 | 484 | 500 |7835 | 500 |2327 |6631 | 0 | 0 |-1.578333e+02 |-4.500000e+01 | 71.49%
19.99/20.07 c 20.1s| 1 | 0 | 64535 | - | 51M| 0 | 486 | 500 |7835 | 500 |2352 |6656 | 0 | 0 |-1.575086e+02 |-4.500000e+01 | 71.43%
20.49/20.57 c 20.6s| 1 | 0 | 65403 | - | 51M| 0 | 490 | 500 |7835 | 500 |2375 |6679 | 0 | 0 |-1.572061e+02 |-4.500000e+01 | 71.38%
21.09/21.11 c 21.1s| 1 | 0 | 66601 | - | 51M| 0 | 489 | 500 |7835 | 500 |2397 |6701 | 0 | 0 |-1.564618e+02 |-4.500000e+01 | 71.24%
21.49/21.59 c 21.6s| 1 | 0 | 67332 | - | 51M| 0 | 489 | 500 |7835 | 500 |2289 |6734 | 0 | 0 |-1.559521e+02 |-4.500000e+01 | 71.14%
22.00/22.09 c 22.1s| 1 | 0 | 68406 | - | 51M| 0 | 488 | 500 |7835 | 500 |2314 |6759 | 0 | 0 |-1.555516e+02 |-4.500000e+01 | 71.07%
22.49/22.54 c 22.5s| 1 | 0 | 69096 | - | 51M| 0 | 486 | 500 |7835 | 500 |2348 |6793 | 0 | 0 |-1.553548e+02 |-4.500000e+01 | 71.03%
22.99/23.02 c 23.0s| 1 | 0 | 69982 | - | 51M| 0 | 490 | 500 |7835 | 500 |2362 |6807 | 0 | 0 |-1.549713e+02 |-4.500000e+01 | 70.96%
23.39/23.43 c 23.4s| 1 | 0 | 70389 | - | 51M| 0 | 488 | 500 |7835 | 500 |2382 |6827 | 0 | 0 |-1.547810e+02 |-4.500000e+01 | 70.93%
23.79/23.89 c 23.9s| 1 | 0 | 71146 | - | 51M| 0 | 488 | 500 |7835 | 500 |2395 |6840 | 0 | 0 |-1.544988e+02 |-4.500000e+01 | 70.87%
24.29/24.36 c 24.4s| 1 | 0 | 71801 | - | 51M| 0 | 490 | 500 |7835 | 500 |2314 |6860 | 0 | 0 |-1.541003e+02 |-4.500000e+01 | 70.80%
24.70/24.78 c 24.8s| 1 | 0 | 72302 | - | 51M| 0 | 487 | 500 |7835 | 500 |2329 |6875 | 0 | 0 |-1.539487e+02 |-4.500000e+01 | 70.77%
25.09/25.19 c 25.2s| 1 | 0 | 72752 | - | 51M| 0 | 487 | 500 |7835 | 500 |2343 |6889 | 0 | 0 |-1.537115e+02 |-4.500000e+01 | 70.72%
25.59/25.62 c 25.6s| 1 | 0 | 73219 | - | 51M| 0 | 489 | 500 |7835 | 500 |2363 |6909 | 0 | 0 |-1.534794e+02 |-4.500000e+01 | 70.68%
25.99/26.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.99/26.05 c 26.1s| 1 | 0 | 73788 | - | 51M| 0 | 488 | 500 |7835 | 500 |2379 |6925 | 0 | 0 |-1.532859e+02 |-4.500000e+01 | 70.64%
26.39/26.48 c 26.5s| 1 | 0 | 74218 | - | 51M| 0 | 490 | 500 |7835 | 500 |2397 |6943 | 0 | 0 |-1.530728e+02 |-4.500000e+01 | 70.60%
26.89/26.92 c 26.9s| 1 | 0 | 74736 | - | 51M| 0 | 486 | 500 |7835 | 500 |2338 |6955 | 0 | 0 |-1.528693e+02 |-4.500000e+01 | 70.56%
27.29/27.35 c 27.3s| 1 | 0 | 75260 | - | 51M| 0 | 490 | 500 |7835 | 500 |2356 |6973 | 0 | 0 |-1.525779e+02 |-4.500000e+01 | 70.51%
27.69/27.76 c 27.8s| 1 | 0 | 75733 | - | 51M| 0 | 493 | 500 |7835 | 500 |2371 |6988 | 0 | 0 |-1.524016e+02 |-4.500000e+01 | 70.47%
28.09/28.16 c 28.2s| 1 | 0 | 76091 | - | 51M| 0 | 488 | 500 |7835 | 500 |2386 |7003 | 0 | 0 |-1.522587e+02 |-4.500000e+01 | 70.45%
28.49/28.60 c 28.6s| 1 | 0 | 76699 | - | 51M| 0 | 491 | 500 |7835 | 500 |2401 |7018 | 0 | 0 |-1.521594e+02 |-4.500000e+01 | 70.43%
28.99/29.02 c 29.0s| 1 | 0 | 77158 | - | 51M| 0 | 494 | 500 |7835 | 500 |2409 |7026 | 0 | 0 |-1.520181e+02 |-4.500000e+01 | 70.40%
29.40/29.48 c 29.5s| 1 | 0 | 77776 | - | 51M| 0 | 489 | 500 |7835 | 500 |2363 |7038 | 0 | 0 |-1.517204e+02 |-4.500000e+01 | 70.34%
29.90/29.90 c 29.9s| 1 | 0 | 78233 | - | 51M| 0 | 492 | 500 |7835 | 500 |2384 |7059 | 0 | 0 |-1.514796e+02 |-4.500000e+01 | 70.29%
30.29/30.32 c 30.3s| 1 | 0 | 78625 | - | 51M| 0 | 494 | 500 |7835 | 500 |2401 |7076 | 0 | 0 |-1.513085e+02 |-4.500000e+01 | 70.26%
30.70/30.72 c 30.7s| 1 | 0 | 78899 | - | 51M| 0 | 491 | 500 |7835 | 500 |2412 |7087 | 0 | 0 |-1.512063e+02 |-4.500000e+01 | 70.24%
31.09/31.16 c 31.2s| 1 | 0 | 79458 | - | 51M| 0 | 488 | 500 |7835 | 500 |2424 |7099 | 0 | 0 |-1.509643e+02 |-4.500000e+01 | 70.19%
31.49/31.59 c 31.6s| 1 | 0 | 79895 | - | 51M| 0 | 490 | 500 |7835 | 500 |2438 |7113 | 0 | 0 |-1.508260e+02 |-4.500000e+01 | 70.16%
31.99/32.00 c 32.0s| 1 | 0 | 80239 | - | 51M| 0 | 491 | 500 |7835 | 500 |2405 |7126 | 0 | 0 |-1.507155e+02 |-4.500000e+01 | 70.14%
32.29/32.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.29/32.39 c 32.4s| 1 | 0 | 80547 | - | 51M| 0 | 497 | 500 |7835 | 500 |2416 |7137 | 0 | 0 |-1.506219e+02 |-4.500000e+01 | 70.12%
32.70/32.77 c 32.8s| 1 | 0 | 80894 | - | 51M| 0 | 494 | 500 |7835 | 500 |2426 |7147 | 0 | 0 |-1.505475e+02 |-4.500000e+01 | 70.11%
33.09/33.18 c 33.2s| 1 | 0 | 81326 | - | 51M| 0 | 498 | 500 |7835 | 500 |2439 |7160 | 0 | 0 |-1.504184e+02 |-4.500000e+01 | 70.08%
33.49/33.57 c 33.6s| 1 | 0 | 81607 | - | 51M| 0 | 495 | 500 |7835 | 500 |2452 |7173 | 0 | 0 |-1.503512e+02 |-4.500000e+01 | 70.07%
33.89/33.94 c 33.9s| 1 | 0 | 81835 | - | 51M| 0 | 497 | 500 |7835 | 500 |2464 |7185 | 0 | 0 |-1.503133e+02 |-4.500000e+01 | 70.06%
34.29/34.33 c 34.3s| 1 | 0 | 82170 | - | 51M| 0 | 499 | 500 |7835 | 500 |2411 |7194 | 0 | 0 |-1.501830e+02 |-4.500000e+01 | 70.04%
34.59/34.69 c 34.7s| 1 | 0 | 82332 | - | 51M| 0 | 499 | 500 |7835 | 500 |2417 |7200 | 0 | 0 |-1.501505e+02 |-4.500000e+01 | 70.03%
34.99/35.08 c 35.1s| 1 | 0 | 82670 | - | 51M| 0 | 497 | 500 |7835 | 500 |2428 |7211 | 0 | 0 |-1.501133e+02 |-4.500000e+01 | 70.02%
35.39/35.45 c 35.5s| 1 | 0 | 82966 | - | 51M| 0 | 496 | 500 |7835 | 500 |2442 |7225 | 0 | 0 |-1.500592e+02 |-4.500000e+01 | 70.01%
35.79/35.81 c 35.8s| 1 | 0 | 83138 | - | 50M| 0 | 498 | 500 |7835 | 500 |2454 |7237 | 0 | 0 |-1.500250e+02 |-4.500000e+01 | 70.01%
36.09/36.19 c 36.2s| 1 | 0 | 83533 | - | 50M| 0 | 498 | 500 |7835 | 500 |2466 |7249 | 0 | 0 |-1.499837e+02 |-4.500000e+01 | 70.00%
36.49/36.55 c 36.6s| 1 | 0 | 83834 | - | 50M| 0 | 498 | 500 |7835 | 500 |2419 |7258 | 0 | 0 |-1.499461e+02 |-4.500000e+01 | 69.99%
36.89/36.93 c 36.9s| 1 | 0 | 84332 | - | 50M| 0 | 498 | 500 |7835 | 500 |2431 |7270 | 0 | 0 |-1.498955e+02 |-4.500000e+01 | 69.98%
37.19/37.28 c 37.3s| 1 | 0 | 84618 | - | 50M| 0 | 497 | 500 |7835 | 500 |2439 |7278 | 0 | 0 |-1.498605e+02 |-4.500000e+01 | 69.97%
37.59/37.61 c 37.6s| 1 | 0 | 84778 | - | 49M| 0 | 498 | 500 |7835 | 500 |2451 |7290 | 0 | 0 |-1.498513e+02 |-4.500000e+01 | 69.97%
37.89/37.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.89/37.97 c 38.0s| 1 | 0 | 85083 | - | 49M| 0 | 497 | 500 |7835 | 500 |2460 |7299 | 0 | 0 |-1.498073e+02 |-4.500000e+01 | 69.96%
38.29/38.31 c 38.3s| 1 | 0 | 85334 | - | 48M| 0 | 496 | 500 |7835 | 500 |2471 |7310 | 0 | 0 |-1.497891e+02 |-4.500000e+01 | 69.96%
38.59/38.65 c 38.7s| 1 | 0 | 85569 | - | 48M| 0 | 498 | 500 |7835 | 500 |2418 |7319 | 0 | 0 |-1.497775e+02 |-4.500000e+01 | 69.96%
38.89/38.97 c 39.0s| 1 | 0 | 85720 | - | 47M| 0 | 497 | 500 |7835 | 500 |2425 |7326 | 0 | 0 |-1.497712e+02 |-4.500000e+01 | 69.95%
39.29/39.30 c 39.3s| 1 | 0 | 85942 | - | 46M| 0 | 498 | 500 |7835 | 500 |2433 |7334 | 0 | 0 |-1.497593e+02 |-4.500000e+01 | 69.95%
39.60/39.62 c 39.6s| 1 | 0 | 86128 | - | 46M| 0 | 499 | 500 |7835 | 500 |2443 |7344 | 0 | 0 |-1.497487e+02 |-4.500000e+01 | 69.95%
39.89/39.96 c 40.0s| 1 | 0 | 86391 | - | 46M| 0 | 499 | 500 |7835 | 500 |2451 |7352 | 0 | 0 |-1.497344e+02 |-4.500000e+01 | 69.95%
40.19/40.28 c 40.3s| 1 | 0 | 86529 | - | 45M| 0 | 496 | 500 |7835 | 500 |2461 |7362 | 0 | 0 |-1.497237e+02 |-4.500000e+01 | 69.94%
40.59/40.62 c 40.6s| 1 | 0 | 86805 | - | 45M| 0 | 498 | 500 |7835 | 500 |2421 |7374 | 0 | 0 |-1.497096e+02 |-4.500000e+01 | 69.94%
40.89/40.95 c 41.0s| 1 | 0 | 87034 | - | 45M| 0 | 498 | 500 |7835 | 500 |2431 |7384 | 0 | 0 |-1.497021e+02 |-4.500000e+01 | 69.94%
41.19/41.29 c 41.3s| 1 | 0 | 87302 | - | 44M| 0 | 497 | 500 |7835 | 500 |2443 |7396 | 0 | 0 |-1.496932e+02 |-4.500000e+01 | 69.94%
41.59/41.61 c 41.6s| 1 | 0 | 87659 | - | 44M| 0 | 498 | 500 |7835 | 500 |2454 |7407 | 0 | 0 |-1.496824e+02 |-4.500000e+01 | 69.94%
41.89/41.93 c 41.9s| 1 | 0 | 87812 | - | 44M| 0 | 496 | 500 |7835 | 500 |2462 |7415 | 0 | 0 |-1.496765e+02 |-4.500000e+01 | 69.94%
42.19/42.23 c 42.2s| 1 | 0 | 87889 | - | 44M| 0 | 498 | 500 |7835 | 500 |2467 |7420 | 0 | 0 |-1.496751e+02 |-4.500000e+01 | 69.93%
42.49/42.55 c 42.5s| 1 | 0 | 88088 | - | 43M| 0 | 498 | 500 |7835 | 500 |2435 |7426 | 0 | 0 |-1.496723e+02 |-4.500000e+01 | 69.93%
42.79/42.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.79/42.86 c 42.9s| 1 | 0 | 88222 | - | 43M| 0 | 499 | 500 |7835 | 500 |2440 |7431 | 0 | 0 |-1.496702e+02 |-4.500000e+01 | 69.93%
43.09/43.16 c 43.2s| 1 | 0 | 88314 | - | 43M| 0 | 484 | 500 |7835 | 500 |2444 |7435 | 0 | 0 |-1.496667e+02 |-4.500000e+01 | 69.93%
43.39/43.43 c 43.4s| 1 | 0 | 88321 | - | 43M| 0 | 485 | 500 |7835 | 500 |2448 |7439 | 0 | 0 |-1.496667e+02 |-4.500000e+01 | 69.93%
45.89/45.91 c 45.9s| 1 | 2 | 88321 | - | 43M| 0 | 485 | 500 |7835 | 500 |2448 |7439 | 0 | 19 |-1.496667e+02 |-4.500000e+01 | 69.93%
173.59/173.62 c 174s| 10000 | 10001 | 1812k| 172.4 | 83M| 49 | 182 | 500 |7835 | 500 | 773 | 647k| 0 |3334 |-1.459183e+02 |-4.500000e+01 | 69.16%
255.80/255.89 c 256s| 20000 | 20001 | 3115k| 151.4 | 120M| 61 | 148 | 500 |7835 | 500 | 738 |1283k| 0 |5076 |-1.451002e+02 |-4.500000e+01 | 68.99%
326.19/326.23 c 326s| 30000 | 30001 | 4276k| 139.6 | 156M| 61 | 184 | 500 |7835 | 500 | 776 |1895k| 0 |6264 |-1.447178e+02 |-4.500000e+01 | 68.91%
394.10/394.18 c 394s| 40000 | 40001 | 5408k| 133.0 | 192M| 65 | 208 | 500 |7835 | 500 | 877 |2510k| 0 |7464 |-1.444677e+02 |-4.500000e+01 | 68.85%
458.90/458.91 c 459s| 50000 | 50001 | 6510k| 128.4 | 226M| 65 | 145 | 500 |7835 | 500 | 765 |3123k| 0 |8347 |-1.442140e+02 |-4.500000e+01 | 68.80%
523.51/523.60 c 524s| 60000 | 60001 | 7616k| 125.5 | 261M| 65 | 150 | 500 |7835 | 500 | 567 |3728k| 0 |9285 |-1.440446e+02 |-4.500000e+01 | 68.76%
582.40/582.48 c 582s| 70000 | 70001 | 8615k| 121.8 | 293M| 71 | 24 | 500 |7835 | 500 | 497 |4291k| 0 | 10k|-1.439318e+02 |-4.500000e+01 | 68.74%
640.21/640.21 c 640s| 80000 | 80001 | 9621k| 119.2 | 326M| 73 | 12 | 500 |7835 | 500 | 497 |4860k| 0 | 10k|-1.438149e+02 |-4.500000e+01 | 68.71%
696.91/696.95 c 697s| 90000 | 90001 | 10601k| 116.8 | 358M| 73 | 129 | 500 |7835 | 500 | 707 |5419k| 0 | 11k|-1.436944e+02 |-4.500000e+01 | 68.68%
753.90/753.96 c 754s|100000 |100001 | 11596k| 115.1 | 390M| 73 | 152 | 500 |7835 | 500 | 556 |5981k| 0 | 12k|-1.435918e+02 |-4.500000e+01 | 68.66%
814.81/814.82 c 815s|110000 |110001 | 12635k| 114.1 | 423M| 74 | 139 | 500 |7835 | 500 | 716 |6545k| 0 | 12k|-1.434932e+02 |-4.500000e+01 | 68.64%
869.51/869.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
869.51/869.52 c 870s|120000 |120001 | 13593k| 112.5 | 455M| 74 | 92 | 500 |7835 | 500 | 618 |7104k| 0 | 13k|-1.433902e+02 |-4.500000e+01 | 68.62%
926.01/926.01 c 926s|130000 |130001 | 14583k| 111.5 | 487M| 74 | 95 | 500 |7835 | 500 | 673 |7682k| 0 | 13k|-1.433108e+02 |-4.500000e+01 | 68.60%
982.52/982.51 c 983s|140000 |140001 | 15571k| 110.6 | 520M| 74 | 143 | 500 |7835 | 500 | 575 |8252k| 0 | 14k|-1.432081e+02 |-4.500000e+01 | 68.58%
1036.81/1036.83 c 1037s|150000 |150001 | 16532k| 109.6 | 551M| 74 | 57 | 500 |7835 | 500 | 654 |8818k| 0 | 14k|-1.431198e+02 |-4.500000e+01 | 68.56%
1092.22/1092.20 c 1092s|160000 |160001 | 17510k| 108.9 | 584M| 74 | 71 | 500 |7835 | 500 | 619 |9397k| 0 | 15k|-1.430508e+02 |-4.500000e+01 | 68.54%
1148.02/1148.00 c 1148s|170000 |170001 | 18497k| 108.3 | 616M| 74 | 57 | 500 |7835 | 500 | 611 |9980k| 0 | 15k|-1.429726e+02 |-4.500000e+01 | 68.53%
1203.11/1203.15 c 1203s|180000 |180001 | 19470k| 107.7 | 648M| 74 | 79 | 500 |7835 | 500 | 636 | 10M| 0 | 16k|-1.428899e+02 |-4.500000e+01 | 68.51%
1257.42/1257.45 c 1257s|190000 |190001 | 20430k| 107.1 | 680M| 74 | 168 | 500 |7835 | 500 | 779 | 11M| 0 | 16k|-1.428157e+02 |-4.500000e+01 | 68.49%
1312.32/1312.37 c 1312s|200000 |200001 | 21401k| 106.6 | 712M| 74 | 45 | 500 |7835 | 500 | 497 | 11M| 0 | 17k|-1.427468e+02 |-4.500000e+01 | 68.48%
1370.33/1370.31 c 1370s|210000 |210001 | 22410k| 106.3 | 745M| 75 | 62 | 500 |7835 | 500 | 557 | 12M| 0 | 17k|-1.426619e+02 |-4.500000e+01 | 68.46%
1424.72/1424.70 c 1425s|220000 |220001 | 23379k| 105.9 | 776M| 75 | 156 | 500 |7835 | 500 | 723 | 12M| 0 | 18k|-1.425974e+02 |-4.500000e+01 | 68.44%
1480.92/1480.96 c 1481s|230000 |230001 | 24377k| 105.6 | 809M| 75 | 127 | 500 |7835 | 500 | 717 | 13M| 0 | 18k|-1.425454e+02 |-4.500000e+01 | 68.43%
1533.82/1533.82 c 1534s|240000 |240001 | 25324k| 105.2 | 840M| 75 | 36 | 500 |7835 | 500 | 497 | 13M| 0 | 19k|-1.424866e+02 |-4.500000e+01 | 68.42%
1592.23/1592.23 c 1592s|250000 |250001 | 26349k| 105.0 | 872M| 75 | 45 | 500 |7835 | 500 | 497 | 14M| 0 | 19k|-1.424342e+02 |-4.500000e+01 | 68.41%
1647.83/1647.81 c 1648s|260000 |260001 | 27340k| 104.8 | 905M| 76 | 69 | 500 |7835 | 500 | 628 | 15M| 0 | 19k|-1.423796e+02 |-4.500000e+01 | 68.39%
1703.03/1703.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.03/1703.02 c 1703s|270000 |270001 | 28316k| 104.5 | 937M| 76 | 78 | 500 |7835 | 500 | 608 | 15M| 0 | 20k|-1.423153e+02 |-4.500000e+01 | 68.38%
1757.53/1757.59 c 1758s|280000 |280001 | 29296k| 104.3 | 969M| 76 | 141 | 500 |7835 | 500 | 759 | 16M| 0 | 20k|-1.422655e+02 |-4.500000e+01 | 68.37%
1797.03/1797.01 c
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Solving Time (sec) : 1797.01
1797.03/1797.01 c Solving Nodes : 286877
1797.03/1797.01 c Primal Bound : -4.50000000000000e+01 (869 solutions)
1797.03/1797.01 c Dual Bound : -1.42234343434343e+02
1797.03/1797.01 c Gap : 68.36 %
1797.03/1797.02 s SATISFIABLE
1797.03/1797.02 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479
1797.03/1797.02 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458
1797.03/1797.02 v -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1797.03/1797.02 v -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416
1797.03/1797.02 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1797.03/1797.02 v -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
1797.03/1797.02 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
1797.03/1797.02 v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
1797.03/1797.02 v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 x314 -x313 -x312 -x311
1797.03/1797.02 v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
1797.03/1797.02 v -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
1797.03/1797.02 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
1797.03/1797.02 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227
1797.03/1797.02 v -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
1797.03/1797.02 v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185
1797.03/1797.02 v -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
1797.03/1797.02 v -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143
1797.03/1797.02 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122
1797.03/1797.02 v -x121 -x120 -x119 -x118 -x117 x116 -x115 x114 x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100
1797.03/1797.02 v -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 x80 -x79 -x78 x77 -x76 -x75 -x74
1797.03/1797.02 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49
1797.03/1797.02 v -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 x28 x27 -x26 -x25 -x24 -x23
1797.03/1797.02 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 x11 x10 -x9 x8 -x7 -x6 -x5 x4 -x3 x2 x1
1797.03/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.02 c Total Time : 1797.01
1797.03/1797.02 c solving : 1797.01
1797.03/1797.02 c presolving : 0.13 (included in solving)
1797.03/1797.02 c reading : 0.04 (included in solving)
1797.03/1797.02 c Original Problem :
1797.03/1797.02 c Problem name : HOME/instance-3488615-1307784827.opb
1797.03/1797.02 c Variables : 8335 (8335 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.02 c Constraints : 8835 initial, 8835 maximal
1797.03/1797.02 c Presolved Problem :
1797.03/1797.02 c Problem name : t_HOME/instance-3488615-1307784827.opb
1797.03/1797.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.02 c Constraints : 7835 initial, 7835 maximal
1797.03/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c probing : 0.04 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c setppc : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c and : 0.05 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c linear : 0.02 7835 0 0 7835 0 500 0 0 0
1797.03/1797.02 c pseudoboolean : 0.00 0 0 0 0 0 500 0 0 0
1797.03/1797.02 c root node : - 0 - - 0 - - - - -
1797.03/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.02 c integral : 0 0 0 363285 0 376968 0 0 0 0 0 573750
1797.03/1797.02 c setppc : 7835 135 765508 76410 2 376964 0 0 4140417 16598272 0 0
1797.03/1797.02 c countsols : 0 0 0 0 2 871 0 0 0 0 0 0
1797.03/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.02 c integral : 85.60 0.00 0.00 85.50 0.00 0.10 0.00
1797.03/1797.02 c setppc : 64.72 0.23 26.87 14.05 0.00 23.57 0.00
1797.03/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.02 c vbounds : 0 0 0 0
1797.03/1797.02 c rootredcost : 0 0 0 0
1797.03/1797.02 c pseudoobj : 768807 0 0 0
1797.03/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.02 c vbounds : 0.14 0.14 0.00
1797.03/1797.02 c rootredcost : 0.14 0.14 0.00
1797.03/1797.02 c pseudoobj : 6.67 6.67 0.00
1797.03/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.02 c applied globally : - - - 0 0.0 - - -
1797.03/1797.02 c applied locally : - - - 0 0.0 - - -
1797.03/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.02 c cut pool : 0.42 134 - - 1573 - (maximal pool size: 8583)
1797.03/1797.02 c redcost : 3.98 363419 0 0 0 0
1797.03/1797.02 c impliedbounds : 0.05 135 0 0 9798 0
1797.03/1797.02 c intobj : 0.00 0 0 0 0 0
1797.03/1797.02 c gomory : 25.73 134 0 0 29716 0
1797.03/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.02 c strongcg : 0.62 20 0 0 10000 0
1797.03/1797.02 c cmir : 0.17 10 0 0 0 0
1797.03/1797.02 c flowcover : 0.13 10 0 0 0 0
1797.03/1797.02 c clique : 1.07 134 0 0 1174 0
1797.03/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.02 c mcf : 0.00 1 0 0 0 0
1797.03/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.02 c rapidlearning : 0.08 1 0 0 0 0
1797.03/1797.02 c Pricers : Time Calls Vars
1797.03/1797.02 c problem variables: 0.00 0 0
1797.03/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.02 c relpscost : 85.31 286875 0 0 0 0 573750
1797.03/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.02 c inference : 0.00 2 0 0 0 0 4
1797.03/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.02 c random : 0.00 0 0 0 0 0 0
1797.03/1797.02 c Primal Heuristics : Time Calls Found
1797.03/1797.02 c LP solutions : 0.00 - 0
1797.03/1797.02 c pseudo solutions : 0.00 - 0
1797.03/1797.02 c intshifting : 0.01 0 0
1797.03/1797.02 c feaspump : 0.01 0 0
1797.03/1797.02 c oneopt : 0.15 1 0
1797.03/1797.02 c crossover : 0.49 10 5
1797.03/1797.02 c fracdiving : 19.10 5028 48
1797.03/1797.02 c guideddiving : 19.80 5028 30
1797.03/1797.02 c coefdiving : 20.45 5029 115
1797.03/1797.02 c veclendiving : 32.40 5029 94
1797.03/1797.02 c pscostdiving : 20.61 5029 109
1797.03/1797.02 c linesearchdiving : 20.67 5029 85
1797.03/1797.02 c rootsoldiving : 14.38 2515 9
1797.03/1797.02 c trivial : 0.01 2 1
1797.03/1797.02 c shiftandpropagate: 0.00 0 0
1797.03/1797.02 c simplerounding : 13.34 287009 327
1797.03/1797.02 c zirounding : 0.19 1000 0
1797.03/1797.02 c rounding : 14.83 25652 1
1797.03/1797.02 c shifting : 5.04 7748 1
1797.03/1797.02 c twoopt : 0.00 0 0
1797.03/1797.02 c fixandinfer : 0.00 0 0
1797.03/1797.02 c clique : 0.00 0 0
1797.03/1797.02 c intdiving : 0.00 0 0
1797.03/1797.02 c actconsdiving : 0.00 0 0
1797.03/1797.02 c objpscostdiving : 12.90 2515 43
1797.03/1797.02 c octane : 0.00 0 0
1797.03/1797.02 c rens : 0.02 0 0
1797.03/1797.02 c rins : 0.00 0 0
1797.03/1797.02 c localbranching : 0.00 0 0
1797.03/1797.02 c mutation : 0.00 0 0
1797.03/1797.02 c dins : 0.00 0 0
1797.03/1797.02 c vbounds : 0.00 0 0
1797.03/1797.02 c undercover : 0.01 1 0
1797.03/1797.02 c subnlp : 0.05 0 0
1797.03/1797.02 c trysol : 0.08 0 0
1797.03/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.02 c primal LP : 19.26 0 0 0.00 0.00
1797.03/1797.02 c dual LP : 1335.76 363421 27865661 76.68 20861.33
1797.03/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.02 c diving/probing LP: 109.93 166681 2123808 12.74 19320.44
1797.03/1797.02 c strong branching : 78.02 20857 1241688 59.53 15915.77
1797.03/1797.02 c (at root node) : - 19 16063 845.42 -
1797.03/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.02 c B&B Tree :
1797.03/1797.02 c number of runs : 1
1797.03/1797.02 c nodes : 286877
1797.03/1797.02 c nodes (total) : 286877
1797.03/1797.02 c nodes left : 286878
1797.03/1797.02 c max depth : 76
1797.03/1797.02 c max depth (total): 76
1797.03/1797.02 c backtracks : 35215 (12.3%)
1797.03/1797.02 c delayed cutoffs : 0
1797.03/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.02 c avg switch length: 4.04
1797.03/1797.02 c switching time : 47.43
1797.03/1797.02 c Solution :
1797.03/1797.02 c Solutions found : 869 (4 improvements)
1797.03/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1797.03/1797.02 c Primal Bound : -4.50000000000000e+01 (in run 1, after 1 nodes, 0.46 seconds, depth 0, found by <trysol>)
1797.03/1797.02 c Dual Bound : -1.42234343434343e+02
1797.03/1797.02 c Gap : 68.36 %
1797.03/1797.02 c Root Dual Bound : -1.49666666666667e+02
1797.03/1797.02 c Root Iterations : 88321
1798.03/1798.06 c Time complete: 1798.09.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488615-1307784827/watcher-3488615-1307784827 -o /tmp/evaluation-result-3488615-1307784827/solver-3488615-1307784827 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488615-1307784827.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.68 2/177 9336
/proc/meminfo: memFree=31162496/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=12692 CPUtime=0 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 2154 0 0 0 0 0 0 0 25 0 1 0 870898885 12996608 2108 33554432000 4194304 9016284 140736740678272 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9336/statm: 3173 2112 353 1178 0 1991 0
[startup+0.0187501 s]
/proc/loadavg: 2.00 2.00 1.68 2/177 9336
/proc/meminfo: memFree=31162496/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=18304 CPUtime=0.01 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 3601 0 0 0 1 0 0 0 25 0 1 0 870898885 18743296 3555 33554432000 4194304 9016284 140736740678272 18446744073709551615 7842240 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9336/statm: 4576 3555 380 1178 0 3394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18304
[startup+0.100734 s]
/proc/loadavg: 2.00 2.00 1.68 2/177 9336
/proc/meminfo: memFree=31162496/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=45120 CPUtime=0.09 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 9942 0 0 0 9 0 0 0 25 0 1 0 870898885 46202880 9896 33554432000 4194304 9016284 140736740678272 18446744073709551615 6469392 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9336/statm: 11280 9896 480 1178 0 10098 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45120
[startup+0.300699 s]
/proc/loadavg: 2.00 2.00 1.68 2/177 9336
/proc/meminfo: memFree=31162496/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=60792 CPUtime=0.29 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 16933 0 0 0 28 1 0 0 25 0 1 0 870898885 62251008 14032 33554432000 4194304 9016284 140736740678272 18446744073709551615 5514927 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9336/statm: 15198 14032 643 1178 0 14016 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60792
[startup+0.700631 s]
/proc/loadavg: 2.00 2.00 1.68 2/177 9336
/proc/meminfo: memFree=31162496/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=63452 CPUtime=0.69 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 22859 0 0 0 67 2 0 0 25 0 1 0 870898885 64974848 14614 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9336/statm: 15863 14614 688 1178 0 14681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63452
[startup+1.50049 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9337
/proc/meminfo: memFree=31105456/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=67348 CPUtime=1.49 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 23888 0 0 0 146 3 0 0 25 0 1 0 870898885 68964352 15643 33554432000 4194304 9016284 140736740678272 18446744073709551615 6578058 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9336/statm: 16837 15643 690 1178 0 15655 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67348
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9337
/proc/meminfo: memFree=31096408/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=78580 CPUtime=3.09 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 26873 0 0 0 303 6 0 0 25 0 1 0 870898885 80465920 18584 33554432000 4194304 9016284 140736740678272 18446744073709551615 6389353 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9336/statm: 19645 18584 726 1178 0 18463 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78580
[startup+6.30064 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9337
/proc/meminfo: memFree=31081340/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=86656 CPUtime=6.29 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 28912 0 0 0 615 14 0 0 25 0 1 0 870898885 88735744 20544 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9336/statm: 21664 20544 761 1178 0 20482 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86656
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9375
/proc/meminfo: memFree=31582080/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=107956 CPUtime=12.69 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 33991 0 0 0 1241 28 0 0 25 0 1 0 870898885 110546944 25560 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9336/statm: 26989 25560 700 1178 0 25807 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 107956
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.69 3/178 9375
/proc/meminfo: memFree=31571140/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=107956 CPUtime=25.49 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 34077 0 0 0 2500 49 0 0 25 0 1 0 870898885 110546944 25643 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9336/statm: 26989 25643 700 1178 0 25807 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 107956
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.70 3/178 9376
/proc/meminfo: memFree=31572396/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=106204 CPUtime=51.09 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 36005 0 0 0 4989 120 0 0 25 0 1 0 870898885 108752896 25351 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 26551 25351 703 1178 0 25369 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 106204
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.71 3/178 9378
/proc/meminfo: memFree=31566804/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=112240 CPUtime=102.3 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 54905 0 0 0 9807 423 0 0 25 0 1 0 870898885 114933760 26826 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 28060 26826 710 1178 0 26878 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 112240
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/178 9379
/proc/meminfo: memFree=31549380/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=132220 CPUtime=162.29 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 64416 0 0 0 15523 706 0 0 25 0 1 0 870898885 135393280 31811 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 33055 31811 710 1178 0 31873 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 132220
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.74 3/178 9381
/proc/meminfo: memFree=31519556/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=160512 CPUtime=222.3 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 75809 0 0 0 21245 985 0 0 25 0 1 0 870898885 164364288 38646 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 40128 38646 710 1178 0 38946 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 160512
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/178 9382
/proc/meminfo: memFree=31488776/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=191640 CPUtime=282.3 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 83665 0 0 0 26955 1275 0 0 25 0 1 0 870898885 196239360 46485 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 47910 46485 710 1178 0 46728 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 191640
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.76 3/178 9384
/proc/meminfo: memFree=31458088/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=219272 CPUtime=342.3 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 95267 0 0 0 32674 1556 0 0 25 0 1 0 870898885 224534528 53526 33554432000 4194304 9016284 140736740678272 18446744073709551615 4786429 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 54818 53526 710 1178 0 53636 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 219272
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/178 9386
/proc/meminfo: memFree=31424792/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=254792 CPUtime=402.3 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 104157 0 0 0 38392 1838 0 0 25 0 1 0 870898885 260907008 62408 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 63698 62408 710 1178 0 62516 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 254792
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.79 3/178 9387
/proc/meminfo: memFree=31391772/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=285396 CPUtime=462.3 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 120777 0 0 0 44103 2127 0 0 25 0 1 0 870898885 292245504 70066 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 71349 70066 710 1178 0 70167 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 285396
[startup+522.301 s]
/proc/loadavg: 2.04 2.01 1.80 3/178 9389
/proc/meminfo: memFree=31359240/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=317664 CPUtime=522.31 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 128928 0 0 0 49812 2419 0 0 25 0 1 0 870898885 325287936 78213 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 79416 78213 710 1178 0 78234 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 317664
[startup+582.301 s]
/proc/loadavg: 2.01 2.01 1.82 3/178 9390
/proc/meminfo: memFree=31327452/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=350984 CPUtime=582.3 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 136820 0 0 0 55527 2703 0 0 25 0 1 0 870898885 359407616 86093 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 87746 86093 710 1178 0 86564 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 350984
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31016256/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=659116 CPUtime=1122.32 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 218581 0 0 0 106953 5279 0 0 25 0 1 0 870898885 674934784 163403 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 164779 163403 710 1178 0 163597 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 659116
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.88 3/178 9406
/proc/meminfo: memFree=30985588/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=689792 CPUtime=1182.32 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 226446 0 0 0 112670 5562 0 0 25 0 1 0 870898885 706347008 171268 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 172448 171268 710 1178 0 171266 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 689792
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 9408
/proc/meminfo: memFree=30948840/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=728400 CPUtime=1242.32 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 236071 0 0 0 118380 5852 0 0 25 0 1 0 870898885 745881600 180893 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 182100 180893 710 1178 0 180918 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 728400
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 9410
/proc/meminfo: memFree=30908864/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=767096 CPUtime=1302.33 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 244663 0 0 0 124091 6142 0 0 25 0 1 0 870898885 785506304 189485 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 191774 189485 710 1178 0 190592 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 767096
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 9411
/proc/meminfo: memFree=30878928/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=800912 CPUtime=1362.32 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 253118 0 0 0 129794 6438 0 0 25 0 1 0 870898885 820133888 197940 33554432000 4194304 9016284 140736740678272 18446744073709551615 6469479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 200228 197940 710 1178 0 199046 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 800912
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9413
/proc/meminfo: memFree=30841800/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=834224 CPUtime=1422.33 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 261518 0 0 0 135493 6740 0 0 25 0 1 0 870898885 854245376 206340 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 208556 206340 710 1178 0 207374 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 834224
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9414
/proc/meminfo: memFree=30805676/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=869740 CPUtime=1482.33 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 270489 0 0 0 141205 7028 0 0 25 0 1 0 870898885 890613760 215311 33554432000 4194304 9016284 140736740678272 18446744073709551615 4777380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 217435 215311 710 1178 0 216253 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 869740
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9416
/proc/meminfo: memFree=30774012/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=906376 CPUtime=1542.32 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 279583 0 0 0 146917 7315 0 0 25 0 1 0 870898885 928129024 224405 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 226594 224405 710 1178 0 225412 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 906376
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9418
/proc/meminfo: memFree=30735896/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=938764 CPUtime=1602.33 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 287760 0 0 0 152628 7605 0 0 25 0 1 0 870898885 961294336 232581 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 234691 232581 710 1178 0 233509 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 938764
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9428
/proc/meminfo: memFree=30698816/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=974668 CPUtime=1662.33 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 296772 0 0 0 158345 7888 0 0 25 0 1 0 870898885 998060032 241593 33554432000 4194304 9016284 140736740678272 18446744073709551615 6606506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 243667 241593 710 1178 0 242485 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 974668
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9430
/proc/meminfo: memFree=30661820/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=1012108 CPUtime=1722.33 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 306139 0 0 0 164049 8184 0 0 25 0 1 0 870898885 1036398592 250960 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 253027 250960 710 1178 0 251845 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1012108
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/178 9431
/proc/meminfo: memFree=30635460/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=1043488 CPUtime=1782.33 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 314135 0 0 0 169767 8466 0 0 25 0 1 0 870898885 1068531712 258956 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 260872 258956 710 1178 0 259690 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1043488
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.07 2.02 1.91 3/178 9432
/proc/meminfo: memFree=30628640/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=1047904 CPUtime=1785.53 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 315235 0 0 0 170070 8483 0 0 25 0 1 0 870898885 1073053696 260056 33554432000 4194304 9016284 140736740678272 18446744073709551615 6363506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 261976 260056 710 1178 0 260794 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 1047904
[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 1.91 3/178 9432
/proc/meminfo: memFree=30624776/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=1048536 CPUtime=1791.94 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 315446 0 0 0 170681 8513 0 0 25 0 1 0 870898885 1073700864 260267 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 262134 260267 710 1178 0 260952 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 1048536
[startup+1795.1 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 9432
/proc/meminfo: memFree=30623412/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=1049560 CPUtime=1795.13 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 315698 0 0 0 170986 8527 0 0 25 0 1 0 870898885 1074749440 260519 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 262390 260519 710 1178 0 261208 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 1049560
[startup+1796.7 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 9432
/proc/meminfo: memFree=30623412/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=1049560 CPUtime=1796.73 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 315706 0 0 0 171137 8536 0 0 25 0 1 0 870898885 1074749440 260527 33554432000 4194304 9016284 140736740678272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 262390 260527 710 1178 0 261208 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1049560
[startup+1797.5 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 9432
/proc/meminfo: memFree=30623284/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=1049744 CPUtime=1797.53 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 315722 0 0 0 171215 8538 0 0 25 0 1 0 870898885 1074937856 260543 33554432000 4194304 9016284 140736740678272 18446744073709551615 6812666 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9336/statm: 262436 260543 712 1178 0 261254 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1049744
[startup+1797.9 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 9432
/proc/meminfo: memFree=30623284/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=1049744 CPUtime=1797.93 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 315722 0 0 0 171255 8538 0 0 25 0 1 0 870898885 1074937856 260543 33554432000 4194304 9016284 140736740678272 18446744073709551615 4841537 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9336/statm: 262436 260543 712 1178 0 261254 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1049744
[startup+1798 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 9432
/proc/meminfo: memFree=30623284/32951124 swapFree=67088052/67111528
[pid=9336] ppid=9334 vsize=1049352 CPUtime=1798.03 cores=1,3,5,7
/proc/9336/stat : 9336 (scip-2.0.1.4b_2) R 9334 9336 9011 0 -1 4202496 315722 0 0 0 171265 8538 0 0 25 0 1 0 870898885 1074536448 260445 33554432000 4194304 9016284 140736740678272 18446744073709551615 6469244 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9336/statm: 262338 260445 712 1178 0 261156 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 1049352
Child status: 0
Real time (s): 1798.06
CPU time (s): 1798.1
CPU user time (s): 1712.68
CPU system time (s): 85.424
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1049744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.68
system time used= 85.424
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315727
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3036
runsolver used 2.47762 second user time and 5.72213 second system time
The end