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-3488578-1307783035.opb>
0.00/0.04 c original problem has 8353 variables (8353 bin, 0 int, 0 impl, 0 cont) and 8853 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.08 o 0
0.00/0.08 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.08 c presolving:
0.09/0.14 c (round 1) 7853 del vars, 1000 del conss, 0 add conss, 7853 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31412 impls, 0 clqs
0.09/0.15 c (round 2) 7853 del vars, 1000 del conss, 0 add conss, 7853 chg bounds, 0 chg sides, 0 chg coeffs, 7853 upgd conss, 31412 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 7853 deleted vars, 1000 deleted constraints, 0 added constraints, 7853 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 47116 implications, 0 cliques
0.19/0.20 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7853 constraints
0.19/0.20 c 7853 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.14
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.27 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.27 c t 0.3s| 1 | 0 | 519 | - | 26M| 0 | 500 | 500 |7853 | 500 |7853 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.19/0.28 o -1
0.19/0.28 c R 0.3s| 1 | 0 | 519 | - | 26M| 0 | 500 | 500 |7853 | 500 |7853 | 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 | 519 | - | 26M| 0 | 500 | 500 |7853 | 500 |7853 | 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 | 519 | - | 26M| 0 | 500 | 500 |7853 | 500 |7853 | 0 | 0 | 0 |-2.500000e+02 |-4.500000e+01 | 82.00%
0.49/0.50 c 0.5s| 1 | 0 | 650 | - | 26M| 0 | 493 | 500 |7853 | 500 |7861 | 8 | 0 | 0 |-2.465000e+02 |-4.500000e+01 | 81.74%
0.59/0.63 c 0.6s| 1 | 0 | 723 | - | 26M| 0 | 487 | 500 |7853 | 500 |7872 | 19 | 0 | 0 |-2.435000e+02 |-4.500000e+01 | 81.52%
0.69/0.77 c 0.8s| 1 | 0 | 790 | - | 26M| 0 | 482 | 500 |7853 | 500 |7878 | 25 | 0 | 0 |-2.410000e+02 |-4.500000e+01 | 81.33%
0.89/0.92 c 0.9s| 1 | 0 | 942 | - | 26M| 0 | 477 | 500 |7853 | 500 |7888 | 35 | 0 | 0 |-2.385000e+02 |-4.500000e+01 | 81.13%
1.09/1.11 c 1.1s| 1 | 0 | 1195 | - | 26M| 0 | 473 | 500 |7853 | 500 |7903 | 50 | 0 | 0 |-2.363333e+02 |-4.500000e+01 | 80.96%
1.39/1.44 c 1.4s| 1 | 0 | 1709 | - | 26M| 0 | 469 | 500 |7853 | 500 |7915 | 62 | 0 | 0 |-2.335000e+02 |-4.500000e+01 | 80.73%
1.59/1.63 c 1.6s| 1 | 0 | 1894 | - | 26M| 0 | 463 | 500 |7853 | 500 |7925 | 72 | 0 | 0 |-2.305000e+02 |-4.500000e+01 | 80.48%
1.89/1.91 c 1.9s| 1 | 0 | 2106 | - | 28M| 0 | 461 | 500 |7853 | 500 |7936 | 83 | 0 | 0 |-2.295000e+02 |-4.500000e+01 | 80.39%
2.19/2.25 c 2.3s| 1 | 0 | 2706 | - | 29M| 0 | 456 | 500 |7853 | 500 |7944 | 91 | 0 | 0 |-2.280000e+02 |-4.500000e+01 | 80.26%
2.49/2.58 c 2.6s| 1 | 0 | 3422 | - | 29M| 0 | 452 | 500 |7853 | 500 |7955 | 102 | 0 | 0 |-2.260000e+02 |-4.500000e+01 | 80.09%
2.79/2.81 c 2.8s| 1 | 0 | 3891 | - | 29M| 0 | 458 | 500 |7853 | 500 |1016 | 114 | 0 | 0 |-2.235000e+02 |-4.500000e+01 | 79.87%
2.89/2.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.91 c 2.9s| 1 | 0 | 4347 | - | 30M| 0 | 443 | 500 |7853 | 500 |1027 | 125 | 0 | 0 |-2.225000e+02 |-4.500000e+01 | 79.78%
2.99/3.03 c 3.0s| 1 | 0 | 5238 | - | 30M| 0 | 455 | 500 |7853 | 500 |1057 | 155 | 0 | 0 |-2.205000e+02 |-4.500000e+01 | 79.59%
3.19/3.28 c 3.3s| 1 | 0 | 7280 | - | 30M| 0 | 455 | 500 |7853 | 500 |1327 | 425 | 0 | 0 |-2.185000e+02 |-4.500000e+01 | 79.41%
3.39/3.44 c 3.4s| 1 | 0 | 7984 | - | 30M| 0 | 443 | 500 |7853 | 500 |1533 | 631 | 0 | 0 |-2.160000e+02 |-4.500000e+01 | 79.17%
3.49/3.55 c 3.6s| 1 | 0 | 8333 | - | 30M| 0 | 424 | 500 |7853 | 500 |1620 | 718 | 0 | 0 |-2.140000e+02 |-4.500000e+01 | 78.97%
3.69/3.70 c 3.7s| 1 | 0 | 8830 | - | 31M| 0 | 437 | 500 |7853 | 500 |1297 | 778 | 0 | 0 |-2.122500e+02 |-4.500000e+01 | 78.80%
3.69/3.80 c 3.8s| 1 | 0 | 9050 | - | 31M| 0 | 432 | 500 |7853 | 500 |1398 | 879 | 0 | 0 |-2.117500e+02 |-4.500000e+01 | 78.75%
3.89/3.95 c 3.9s| 1 | 0 | 9881 | - | 31M| 0 | 444 | 500 |7853 | 500 |1507 | 988 | 0 | 0 |-2.105000e+02 |-4.500000e+01 | 78.62%
4.09/4.12 c 4.1s| 1 | 0 | 10559 | - | 32M| 0 | 422 | 500 |7853 | 500 |1710 |1191 | 0 | 0 |-2.095000e+02 |-4.500000e+01 | 78.52%
4.19/4.27 c 4.3s| 1 | 0 | 11368 | - | 33M| 0 | 435 | 500 |7853 | 500 |1783 |1264 | 0 | 0 |-2.075000e+02 |-4.500000e+01 | 78.31%
4.39/4.44 c 4.4s| 1 | 0 | 12507 | - | 33M| 0 | 467 | 500 |7853 | 500 |1823 |1304 | 0 | 0 |-2.062986e+02 |-4.500000e+01 | 78.19%
4.59/4.65 c 4.7s| 1 | 0 | 12658 | - | 34M| 0 | 423 | 500 |7853 | 500 |3164 |2871 | 0 | 0 |-2.060000e+02 |-4.500000e+01 | 78.16%
4.69/4.79 c 4.8s| 1 | 0 | 13170 | - | 34M| 0 | 412 | 500 |7853 | 500 |3175 |2882 | 0 | 0 |-2.033333e+02 |-4.500000e+01 | 77.87%
4.89/4.90 c 4.9s| 1 | 0 | 13408 | - | 35M| 0 | 406 | 500 |7853 | 500 |3213 |2920 | 0 | 0 |-2.026000e+02 |-4.500000e+01 | 77.79%
4.99/5.02 c 5.0s| 1 | 0 | 13786 | - | 35M| 0 | 403 | 500 |7853 | 500 |3224 |2931 | 0 | 0 |-2.015000e+02 |-4.500000e+01 | 77.67%
5.09/5.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.09/5.18 c 5.2s| 1 | 0 | 14355 | - | 35M| 0 | 396 | 500 |7853 | 500 |3234 |2941 | 0 | 0 |-1.990000e+02 |-4.500000e+01 | 77.39%
5.19/5.26 c 5.3s| 1 | 0 | 14571 | - | 35M| 0 | 396 | 500 |7853 | 500 |3260 |2967 | 0 | 0 |-1.980000e+02 |-4.500000e+01 | 77.27%
5.29/5.35 c 5.4s| 1 | 0 | 14704 | - | 35M| 0 | 393 | 500 |7853 | 500 |2470 |2974 | 0 | 0 |-1.980000e+02 |-4.500000e+01 | 77.27%
5.39/5.50 c 5.5s| 1 | 0 | 15211 | - | 36M| 0 | 395 | 500 |7853 | 500 |2524 |3028 | 0 | 0 |-1.975000e+02 |-4.500000e+01 | 77.22%
5.59/5.64 c 5.6s| 1 | 0 | 15949 | - | 36M| 0 | 409 | 500 |7853 | 500 |2583 |3087 | 0 | 0 |-1.965000e+02 |-4.500000e+01 | 77.10%
5.89/5.92 c 5.9s| 1 | 0 | 17678 | - | 37M| 0 | 378 | 500 |7853 | 500 |2690 |3194 | 0 | 0 |-1.930000e+02 |-4.500000e+01 | 76.68%
5.99/6.04 c 6.0s| 1 | 0 | 18172 | - | 37M| 0 | 383 | 500 |7853 | 500 |2797 |3301 | 0 | 0 |-1.920000e+02 |-4.500000e+01 | 76.56%
6.09/6.14 c 6.1s| 1 | 0 | 18497 | - | 37M| 0 | 382 | 500 |7853 | 500 |2840 |3344 | 0 | 0 |-1.905000e+02 |-4.500000e+01 | 76.38%
6.39/6.42 c 6.4s| 1 | 0 | 20358 | - | 37M| 0 | 375 | 500 |7853 | 500 |1135 |3375 | 0 | 0 |-1.887500e+02 |-4.500000e+01 | 76.16%
6.49/6.52 c 6.5s| 1 | 0 | 20893 | - | 37M| 0 | 384 | 500 |7853 | 500 |1186 |3426 | 0 | 0 |-1.880000e+02 |-4.500000e+01 | 76.06%
6.60/6.64 c 6.6s| 1 | 0 | 21511 | - | 38M| 0 | 371 | 500 |7853 | 500 |1435 |3675 | 0 | 0 |-1.875000e+02 |-4.500000e+01 | 76.00%
6.69/6.76 c 6.8s| 1 | 0 | 22391 | - | 38M| 0 | 388 | 500 |7853 | 500 |1488 |3728 | 0 | 0 |-1.864167e+02 |-4.500000e+01 | 75.86%
6.89/6.95 c 6.9s| 1 | 0 | 23634 | - | 38M| 0 | 403 | 500 |7853 | 500 |1654 |3894 | 0 | 0 |-1.855000e+02 |-4.500000e+01 | 75.74%
7.09/7.12 c 7.1s| 1 | 0 | 24607 | - | 38M| 0 | 414 | 500 |7853 | 500 |1787 |4027 | 0 | 0 |-1.842000e+02 |-4.500000e+01 | 75.57%
7.29/7.33 c 7.3s| 1 | 0 | 26114 | - | 38M| 0 | 407 | 500 |7853 | 500 |1607 |4143 | 0 | 0 |-1.833125e+02 |-4.500000e+01 | 75.45%
7.49/7.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.49/7.55 c 7.5s| 1 | 0 | 27292 | - | 39M| 0 | 425 | 500 |7853 | 500 |1622 |4158 | 0 | 0 |-1.824363e+02 |-4.500000e+01 | 75.33%
7.79/7.87 c 7.9s| 1 | 0 | 28743 | - | 40M| 0 | 370 | 500 |7853 | 500 |1943 |4479 | 0 | 0 |-1.810000e+02 |-4.500000e+01 | 75.14%
8.09/8.13 c 8.1s| 1 | 0 | 30455 | - | 40M| 0 | 424 | 500 |7853 | 500 |1974 |4510 | 0 | 0 |-1.801071e+02 |-4.500000e+01 | 75.01%
8.49/8.54 c 8.5s| 1 | 0 | 32969 | - | 41M| 0 | 422 | 500 |7853 | 500 |2122 |4658 | 0 | 0 |-1.779009e+02 |-4.500000e+01 | 74.71%
8.69/8.78 c 8.8s| 1 | 0 | 33937 | - | 42M| 0 | 391 | 500 |7853 | 500 |2398 |4934 | 0 | 0 |-1.764500e+02 |-4.500000e+01 | 74.50%
8.99/9.06 c 9.1s| 1 | 0 | 35413 | - | 43M| 0 | 410 | 500 |7853 | 500 |2009 |4974 | 0 | 0 |-1.754978e+02 |-4.500000e+01 | 74.36%
9.29/9.31 c 9.3s| 1 | 0 | 36920 | - | 44M| 0 | 392 | 500 |7853 | 500 |2063 |5028 | 0 | 0 |-1.743333e+02 |-4.500000e+01 | 74.19%
9.49/9.57 c 9.6s| 1 | 0 | 38592 | - | 44M| 0 | 387 | 500 |7853 | 500 |2083 |5048 | 0 | 0 |-1.734286e+02 |-4.500000e+01 | 74.05%
9.69/9.79 c 9.8s| 1 | 0 | 39699 | - | 44M| 0 | 417 | 500 |7853 | 500 |2119 |5084 | 0 | 0 |-1.726786e+02 |-4.500000e+01 | 73.94%
9.99/10.08 c 10.1s| 1 | 0 | 41283 | - | 46M| 0 | 436 | 500 |7853 | 500 |2151 |5116 | 0 | 0 |-1.718707e+02 |-4.500000e+01 | 73.82%
10.49/10.59 c 10.6s| 1 | 0 | 43717 | - | 48M| 0 | 412 | 500 |7853 | 500 |2558 |5523 | 0 | 0 |-1.704400e+02 |-4.500000e+01 | 73.60%
10.79/10.81 c 10.8s| 1 | 0 | 44490 | - | 50M| 0 | 407 | 500 |7853 | 500 |2105 |5563 | 0 | 0 |-1.696154e+02 |-4.500000e+01 | 73.47%
11.09/11.16 c 11.2s| 1 | 0 | 46669 | - | 50M| 0 | 419 | 500 |7853 | 500 |2142 |5600 | 0 | 0 |-1.684333e+02 |-4.500000e+01 | 73.28%
11.39/11.44 c 11.4s| 1 | 0 | 47933 | - | 51M| 0 | 441 | 500 |7853 | 500 |2242 |5700 | 0 | 0 |-1.679521e+02 |-4.500000e+01 | 73.21%
11.79/11.81 c 11.8s| 1 | 0 | 49314 | - | 52M| 0 | 442 | 500 |7853 | 500 |2298 |5756 | 0 | 0 |-1.669762e+02 |-4.500000e+01 | 73.05%
12.19/12.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.19/12.22 c 12.2s| 1 | 0 | 50789 | - | 52M| 0 | 451 | 500 |7853 | 500 |2344 |5802 | 0 | 0 |-1.665759e+02 |-4.500000e+01 | 72.99%
12.39/12.47 c 12.5s| 1 | 0 | 51776 | - | 54M| 0 | 451 | 500 |7853 | 500 |2421 |5879 | 0 | 0 |-1.661479e+02 |-4.500000e+01 | 72.92%
12.60/12.67 c 12.7s| 1 | 0 | 52296 | - | 55M| 0 | 454 | 500 |7853 | 500 |2033 |5923 | 0 | 0 |-1.658715e+02 |-4.500000e+01 | 72.87%
12.99/13.09 c 13.1s| 1 | 0 | 53960 | - | 55M| 0 | 454 | 500 |7853 | 500 |2097 |5987 | 0 | 0 |-1.647162e+02 |-4.500000e+01 | 72.68%
13.39/13.41 c 13.4s| 1 | 0 | 54756 | - | 55M| 0 | 434 | 500 |7853 | 500 |2149 |6039 | 0 | 0 |-1.641875e+02 |-4.500000e+01 | 72.59%
13.69/13.71 c 13.7s| 1 | 0 | 56019 | - | 58M| 0 | 457 | 500 |7853 | 500 |2198 |6088 | 0 | 0 |-1.635261e+02 |-4.500000e+01 | 72.48%
14.09/14.14 c 14.1s| 1 | 0 | 57221 | - | 58M| 0 | 461 | 500 |7853 | 500 |2275 |6165 | 0 | 0 |-1.629698e+02 |-4.500000e+01 | 72.39%
14.39/14.48 c 14.5s| 1 | 0 | 57721 | - | 58M| 0 | 462 | 500 |7853 | 500 |2315 |6205 | 0 | 0 |-1.622578e+02 |-4.500000e+01 | 72.27%
14.89/14.90 c 14.9s| 1 | 0 | 58839 | - | 60M| 0 | 465 | 500 |7853 | 500 |2052 |6239 | 0 | 0 |-1.618462e+02 |-4.500000e+01 | 72.20%
15.09/15.19 c 15.2s| 1 | 0 | 59283 | - | 60M| 0 | 461 | 500 |7853 | 500 |2063 |6250 | 0 | 0 |-1.616346e+02 |-4.500000e+01 | 72.16%
15.59/15.63 c 15.6s| 1 | 0 | 60827 | - | 60M| 0 | 467 | 500 |7853 | 500 |2093 |6280 | 0 | 0 |-1.608613e+02 |-4.500000e+01 | 72.03%
15.99/16.07 c 16.1s| 1 | 0 | 62199 | - | 60M| 0 | 474 | 500 |7853 | 500 |2158 |6345 | 0 | 0 |-1.601840e+02 |-4.500000e+01 | 71.91%
16.49/16.54 c 16.5s| 1 | 0 | 63356 | - | 60M| 0 | 475 | 500 |7853 | 500 |2214 |6401 | 0 | 0 |-1.594272e+02 |-4.500000e+01 | 71.77%
16.99/17.00 c 17.0s| 1 | 0 | 64296 | - | 60M| 0 | 478 | 500 |7853 | 500 |2274 |6461 | 0 | 0 |-1.590263e+02 |-4.500000e+01 | 71.70%
17.50/17.51 c 17.5s| 1 | 0 | 65543 | - | 60M| 0 | 480 | 500 |7853 | 500 |2115 |6496 | 0 | 0 |-1.585506e+02 |-4.500000e+01 | 71.62%
17.89/17.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.89/17.95 c 18.0s| 1 | 0 | 66487 | - | 60M| 0 | 481 | 500 |7853 | 500 |2149 |6530 | 0 | 0 |-1.582101e+02 |-4.500000e+01 | 71.56%
18.39/18.43 c 18.4s| 1 | 0 | 67592 | - | 60M| 0 | 480 | 500 |7853 | 500 |2173 |6554 | 0 | 0 |-1.577573e+02 |-4.500000e+01 | 71.48%
18.79/18.88 c 18.9s| 1 | 0 | 68418 | - | 60M| 0 | 478 | 500 |7853 | 500 |2219 |6600 | 0 | 0 |-1.575229e+02 |-4.500000e+01 | 71.43%
19.30/19.34 c 19.3s| 1 | 0 | 69376 | - | 60M| 0 | 486 | 500 |7853 | 500 |2246 |6627 | 0 | 0 |-1.569855e+02 |-4.500000e+01 | 71.33%
19.80/19.85 c 19.8s| 1 | 0 | 70359 | - | 60M| 0 | 483 | 500 |7853 | 500 |2269 |6650 | 0 | 0 |-1.563968e+02 |-4.500000e+01 | 71.23%
20.39/20.49 c 20.5s| 1 | 0 | 72198 | - | 60M| 0 | 485 | 500 |7853 | 500 |2147 |6683 | 0 | 0 |-1.559712e+02 |-4.500000e+01 | 71.15%
20.89/20.94 c 20.9s| 1 | 0 | 72917 | - | 60M| 0 | 488 | 500 |7853 | 500 |2166 |6702 | 0 | 0 |-1.555208e+02 |-4.500000e+01 | 71.06%
21.39/21.40 c 21.4s| 1 | 0 | 73765 | - | 60M| 0 | 488 | 500 |7853 | 500 |2195 |6731 | 0 | 0 |-1.551312e+02 |-4.500000e+01 | 70.99%
21.79/21.84 c 21.8s| 1 | 0 | 74436 | - | 60M| 0 | 483 | 500 |7853 | 500 |2231 |6767 | 0 | 0 |-1.546697e+02 |-4.500000e+01 | 70.91%
22.19/22.25 c 22.3s| 1 | 0 | 74902 | - | 60M| 0 | 486 | 500 |7853 | 500 |2258 |6794 | 0 | 0 |-1.545176e+02 |-4.500000e+01 | 70.88%
22.59/22.69 c 22.7s| 1 | 0 | 75601 | - | 60M| 0 | 487 | 500 |7853 | 500 |2275 |6811 | 0 | 0 |-1.541751e+02 |-4.500000e+01 | 70.81%
23.09/23.18 c 23.2s| 1 | 0 | 76432 | - | 60M| 0 | 484 | 500 |7853 | 500 |2159 |6827 | 0 | 0 |-1.538346e+02 |-4.500000e+01 | 70.75%
23.59/23.61 c 23.6s| 1 | 0 | 77051 | - | 60M| 0 | 487 | 500 |7853 | 500 |2181 |6849 | 0 | 0 |-1.536630e+02 |-4.500000e+01 | 70.72%
23.99/24.02 c 24.0s| 1 | 0 | 77522 | - | 60M| 0 | 487 | 500 |7853 | 500 |2195 |6863 | 0 | 0 |-1.535018e+02 |-4.500000e+01 | 70.68%
24.49/24.52 c 24.5s| 1 | 0 | 78589 | - | 60M| 0 | 492 | 500 |7853 | 500 |2211 |6879 | 0 | 0 |-1.531563e+02 |-4.500000e+01 | 70.62%
24.89/24.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.89/24.93 c 24.9s| 1 | 0 | 79081 | - | 60M| 0 | 493 | 500 |7853 | 500 |2227 |6895 | 0 | 0 |-1.529822e+02 |-4.500000e+01 | 70.58%
25.29/25.35 c 25.4s| 1 | 0 | 79668 | - | 60M| 0 | 494 | 500 |7853 | 500 |2244 |6912 | 0 | 0 |-1.527636e+02 |-4.500000e+01 | 70.54%
25.80/25.83 c 25.8s| 1 | 0 | 80504 | - | 60M| 0 | 492 | 500 |7853 | 500 |2158 |6932 | 0 | 0 |-1.523602e+02 |-4.500000e+01 | 70.46%
26.19/26.26 c 26.3s| 1 | 0 | 81135 | - | 60M| 0 | 494 | 500 |7853 | 500 |2183 |6957 | 0 | 0 |-1.518979e+02 |-4.500000e+01 | 70.37%
26.59/26.66 c 26.7s| 1 | 0 | 81557 | - | 60M| 0 | 491 | 500 |7853 | 500 |2207 |6981 | 0 | 0 |-1.516970e+02 |-4.500000e+01 | 70.34%
26.99/27.06 c 27.1s| 1 | 0 | 81942 | - | 60M| 0 | 493 | 500 |7853 | 500 |2227 |7001 | 0 | 0 |-1.515272e+02 |-4.500000e+01 | 70.30%
27.39/27.45 c 27.5s| 1 | 0 | 82301 | - | 60M| 0 | 493 | 500 |7853 | 500 |2249 |7023 | 0 | 0 |-1.513670e+02 |-4.500000e+01 | 70.27%
27.80/27.86 c 27.9s| 1 | 0 | 82645 | - | 60M| 0 | 495 | 500 |7853 | 500 |2259 |7033 | 0 | 0 |-1.512115e+02 |-4.500000e+01 | 70.24%
28.19/28.29 c 28.3s| 1 | 0 | 83104 | - | 60M| 0 | 491 | 500 |7853 | 500 |2220 |7046 | 0 | 0 |-1.509331e+02 |-4.500000e+01 | 70.19%
28.69/28.70 c 28.7s| 1 | 0 | 83561 | - | 60M| 0 | 491 | 500 |7853 | 500 |2230 |7056 | 0 | 0 |-1.507930e+02 |-4.500000e+01 | 70.16%
29.09/29.12 c 29.1s| 1 | 0 | 84080 | - | 60M| 0 | 493 | 500 |7853 | 500 |2243 |7069 | 0 | 0 |-1.506277e+02 |-4.500000e+01 | 70.13%
29.49/29.50 c 29.5s| 1 | 0 | 84382 | - | 60M| 0 | 493 | 500 |7853 | 500 |2253 |7079 | 0 | 0 |-1.505515e+02 |-4.500000e+01 | 70.11%
29.79/29.88 c 29.9s| 1 | 0 | 84580 | - | 60M| 0 | 492 | 500 |7853 | 500 |2264 |7090 | 0 | 0 |-1.504906e+02 |-4.500000e+01 | 70.10%
30.19/30.28 c 30.3s| 1 | 0 | 84894 | - | 60M| 0 | 495 | 500 |7853 | 500 |2276 |7102 | 0 | 0 |-1.503744e+02 |-4.500000e+01 | 70.07%
30.59/30.68 c 30.7s| 1 | 0 | 85198 | - | 60M| 0 | 495 | 500 |7853 | 500 |2236 |7113 | 0 | 0 |-1.502945e+02 |-4.500000e+01 | 70.06%
30.99/31.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.99/31.07 c 31.1s| 1 | 0 | 85495 | - | 60M| 0 | 493 | 500 |7853 | 500 |2247 |7124 | 0 | 0 |-1.501532e+02 |-4.500000e+01 | 70.03%
31.39/31.42 c 31.4s| 1 | 0 | 85613 | - | 60M| 0 | 492 | 500 |7853 | 500 |2256 |7133 | 0 | 0 |-1.501354e+02 |-4.500000e+01 | 70.03%
31.69/31.80 c 31.8s| 1 | 0 | 85855 | - | 60M| 0 | 492 | 500 |7853 | 500 |2266 |7143 | 0 | 0 |-1.500371e+02 |-4.500000e+01 | 70.01%
32.09/32.19 c 32.2s| 1 | 0 | 86185 | - | 60M| 0 | 494 | 500 |7853 | 500 |2278 |7155 | 0 | 0 |-1.499835e+02 |-4.500000e+01 | 70.00%
32.59/32.60 c 32.6s| 1 | 0 | 86551 | - | 60M| 0 | 495 | 500 |7853 | 500 |2285 |7162 | 0 | 0 |-1.499197e+02 |-4.500000e+01 | 69.98%
33.00/33.01 c 33.0s| 1 | 0 | 87008 | - | 59M| 0 | 494 | 500 |7853 | 500 |2236 |7172 | 0 | 0 |-1.498247e+02 |-4.500000e+01 | 69.96%
33.39/33.44 c 33.4s| 1 | 0 | 87585 | - | 59M| 0 | 495 | 500 |7853 | 500 |2250 |7186 | 0 | 0 |-1.497293e+02 |-4.500000e+01 | 69.95%
33.79/33.82 c 33.8s| 1 | 0 | 87839 | - | 57M| 0 | 494 | 500 |7853 | 500 |2258 |7194 | 0 | 0 |-1.496989e+02 |-4.500000e+01 | 69.94%
34.09/34.17 c 34.2s| 1 | 0 | 87929 | - | 56M| 0 | 497 | 500 |7853 | 500 |2270 |7206 | 0 | 0 |-1.496844e+02 |-4.500000e+01 | 69.94%
34.50/34.56 c 34.6s| 1 | 0 | 88228 | - | 56M| 0 | 496 | 500 |7853 | 500 |2281 |7217 | 0 | 0 |-1.496409e+02 |-4.500000e+01 | 69.93%
34.89/34.98 c 35.0s| 1 | 0 | 88757 | - | 56M| 0 | 499 | 500 |7853 | 500 |2294 |7230 | 0 | 0 |-1.495541e+02 |-4.500000e+01 | 69.91%
35.29/35.39 c 35.4s| 1 | 0 | 89221 | - | 56M| 0 | 495 | 500 |7853 | 500 |2269 |7240 | 0 | 0 |-1.494676e+02 |-4.500000e+01 | 69.89%
35.69/35.77 c 35.8s| 1 | 0 | 89452 | - | 56M| 0 | 495 | 500 |7853 | 500 |2280 |7251 | 0 | 0 |-1.494325e+02 |-4.500000e+01 | 69.89%
36.09/36.14 c 36.1s| 1 | 0 | 89703 | - | 56M| 0 | 497 | 500 |7853 | 500 |2291 |7262 | 0 | 0 |-1.493910e+02 |-4.500000e+01 | 69.88%
36.49/36.54 c 36.5s| 1 | 0 | 90182 | - | 56M| 0 | 500 | 500 |7853 | 500 |2304 |7275 | 0 | 0 |-1.493312e+02 |-4.500000e+01 | 69.87%
36.89/36.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.89/36.94 c 36.9s| 1 | 0 | 90679 | - | 56M| 0 | 499 | 500 |7853 | 500 |2315 |7286 | 0 | 0 |-1.492702e+02 |-4.500000e+01 | 69.85%
37.30/37.30 c 37.3s| 1 | 0 | 90931 | - | 55M| 0 | 500 | 500 |7853 | 500 |2327 |7298 | 0 | 0 |-1.492429e+02 |-4.500000e+01 | 69.85%
37.69/37.70 c 37.7s| 1 | 0 | 91369 | - | 55M| 0 | 500 | 500 |7853 | 500 |2296 |7310 | 0 | 0 |-1.491890e+02 |-4.500000e+01 | 69.84%
37.99/38.07 c 38.1s| 1 | 0 | 91675 | - | 55M| 0 | 500 | 500 |7853 | 500 |2305 |7319 | 0 | 0 |-1.491448e+02 |-4.500000e+01 | 69.83%
38.39/38.44 c 38.4s| 1 | 0 | 91889 | - | 54M| 0 | 499 | 500 |7853 | 500 |2318 |7332 | 0 | 0 |-1.491257e+02 |-4.500000e+01 | 69.82%
38.79/38.85 c 38.9s| 1 | 0 | 92163 | - | 54M| 0 | 499 | 500 |7853 | 500 |2328 |7342 | 0 | 0 |-1.491032e+02 |-4.500000e+01 | 69.82%
39.19/39.29 c 39.3s| 1 | 0 | 92621 | - | 54M| 0 | 500 | 500 |7853 | 500 |2341 |7355 | 0 | 0 |-1.490516e+02 |-4.500000e+01 | 69.81%
39.60/39.67 c 39.7s| 1 | 0 | 92884 | - | 53M| 0 | 500 | 500 |7853 | 500 |2354 |7368 | 0 | 0 |-1.490130e+02 |-4.500000e+01 | 69.80%
39.99/40.06 c 40.1s| 1 | 0 | 93136 | - | 53M| 0 | 498 | 500 |7853 | 500 |2309 |7380 | 0 | 0 |-1.489790e+02 |-4.500000e+01 | 69.79%
40.39/40.42 c 40.4s| 1 | 0 | 93276 | - | 53M| 0 | 500 | 500 |7853 | 500 |2317 |7388 | 0 | 0 |-1.489627e+02 |-4.500000e+01 | 69.79%
40.78/40.81 c 40.8s| 1 | 0 | 93465 | - | 53M| 0 | 499 | 500 |7853 | 500 |2329 |7400 | 0 | 0 |-1.489406e+02 |-4.500000e+01 | 69.79%
41.18/41.20 c 41.2s| 1 | 0 | 93663 | - | 52M| 0 | 498 | 500 |7853 | 500 |2338 |7409 | 0 | 0 |-1.489209e+02 |-4.500000e+01 | 69.78%
41.59/41.61 c 41.6s| 1 | 0 | 93987 | - | 52M| 0 | 498 | 500 |7853 | 500 |2349 |7420 | 0 | 0 |-1.488940e+02 |-4.500000e+01 | 69.78%
41.99/42.03 c 42.0s| 1 | 0 | 94295 | - | 52M| 0 | 498 | 500 |7853 | 500 |2357 |7428 | 0 | 0 |-1.488615e+02 |-4.500000e+01 | 69.77%
42.39/42.42 c 42.4s| 1 | 0 | 94511 | - | 51M| 0 | 497 | 500 |7853 | 500 |2316 |7438 | 0 | 0 |-1.488465e+02 |-4.500000e+01 | 69.77%
42.79/42.83 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.83 c 42.8s| 1 | 0 | 94876 | - | 51M| 0 | 498 | 500 |7853 | 500 |2325 |7447 | 0 | 0 |-1.488253e+02 |-4.500000e+01 | 69.76%
43.19/43.23 c 43.2s| 1 | 0 | 95163 | - | 51M| 0 | 497 | 500 |7853 | 500 |2334 |7456 | 0 | 0 |-1.488161e+02 |-4.500000e+01 | 69.76%
43.59/43.60 c 43.6s| 1 | 0 | 95352 | - | 51M| 0 | 499 | 500 |7853 | 500 |2342 |7464 | 0 | 0 |-1.488054e+02 |-4.500000e+01 | 69.76%
43.99/44.01 c 44.0s| 1 | 0 | 95749 | - | 51M| 0 | 499 | 500 |7853 | 500 |2352 |7474 | 0 | 0 |-1.487919e+02 |-4.500000e+01 | 69.76%
44.28/44.39 c 44.4s| 1 | 0 | 95922 | - | 50M| 0 | 500 | 500 |7853 | 500 |2357 |7479 | 0 | 0 |-1.487852e+02 |-4.500000e+01 | 69.76%
44.69/44.77 c 44.8s| 1 | 0 | 96107 | - | 49M| 0 | 499 | 500 |7853 | 500 |2305 |7485 | 0 | 0 |-1.487798e+02 |-4.500000e+01 | 69.75%
45.10/45.10 c 45.1s| 1 | 0 | 96142 | - | 49M| 0 | 477 | 500 |7853 | 500 |2312 |7492 | 0 | 0 |-1.487778e+02 |-4.500000e+01 | 69.75%
45.29/45.39 c 45.4s| 1 | 0 | 96144 | - | 49M| 0 | 477 | 500 |7853 | 500 |2314 |7494 | 0 | 0 |-1.487778e+02 |-4.500000e+01 | 69.75%
48.40/48.42 c 48.4s| 1 | 2 | 96144 | - | 49M| 0 | 477 | 500 |7853 | 500 |2314 |7494 | 0 | 20 |-1.487778e+02 |-4.500000e+01 | 69.75%
207.00/207.07 c 207s| 10000 | 10001 | 1975k| 188.0 | 87M| 52 | 117 | 500 |7853 | 500 | 555 | 586k| 0 |2928 |-1.441554e+02 |-4.500000e+01 | 68.78%
293.70/293.73 c 294s| 20000 | 20001 | 3211k| 155.8 | 121M| 59 | 147 | 500 |7853 | 500 | 569 |1160k| 0 |4357 |-1.436215e+02 |-4.500000e+01 | 68.67%
371.50/371.51 c 372s| 30000 | 30001 | 4341k| 141.5 | 154M| 61 | 48 | 500 |7853 | 500 | 570 |1686k| 0 |5595 |-1.432334e+02 |-4.500000e+01 | 68.58%
441.91/441.97 c 442s| 40000 | 40001 | 5394k| 132.5 | 186M| 61 | 33 | 500 |7853 | 500 | 498 |2212k| 0 |6661 |-1.430073e+02 |-4.500000e+01 | 68.53%
516.10/516.15 c 516s| 50000 | 50001 | 6507k| 128.2 | 218M| 61 | 96 | 500 |7853 | 500 | 573 |2729k| 0 |7557 |-1.426877e+02 |-4.500000e+01 | 68.46%
588.11/588.11 c 588s| 60000 | 60001 | 7591k| 124.9 | 250M| 66 | 80 | 500 |7853 | 500 | 563 |3258k| 0 |8306 |-1.424174e+02 |-4.500000e+01 | 68.40%
656.91/656.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.91/656.91 c 657s| 70000 | 70001 | 8644k| 122.1 | 282M| 66 | 163 | 500 |7853 | 500 | 564 |3797k| 0 |9107 |-1.422332e+02 |-4.500000e+01 | 68.36%
727.51/727.57 c 728s| 80000 | 80001 | 9719k| 120.3 | 314M| 67 | 40 | 500 |7853 | 500 | 562 |4343k| 0 |9882 |-1.420424e+02 |-4.500000e+01 | 68.32%
794.02/794.05 c 794s| 90000 | 90001 | 10747k| 118.3 | 345M| 68 | 11 | 500 |7853 | 500 | 570 |4880k| 0 | 10k|-1.419011e+02 |-4.500000e+01 | 68.29%
862.82/862.88 c 863s|100000 |100001 | 11804k| 117.1 | 377M| 68 | 29 | 500 |7853 | 500 | 600 |5419k| 0 | 11k|-1.417528e+02 |-4.500000e+01 | 68.25%
934.02/934.06 c 934s|110000 |110001 | 12889k| 116.3 | 409M| 68 | 138 | 500 |7853 | 500 | 565 |5956k| 0 | 11k|-1.416210e+02 |-4.500000e+01 | 68.23%
999.22/999.28 c 999s|120000 |120001 | 13908k| 115.1 | 441M| 68 | 27 | 500 |7853 | 500 | 566 |6504k| 0 | 12k|-1.414963e+02 |-4.500000e+01 | 68.20%
1063.82/1063.81 c 1064s|130000 |130001 | 14915k| 114.0 | 471M| 68 | 107 | 500 |7853 | 500 | 701 |7043k| 0 | 12k|-1.413871e+02 |-4.500000e+01 | 68.17%
1129.64/1129.68 c 1130s|140000 |140001 | 15937k| 113.2 | 502M| 68 | 25 | 500 |7853 | 500 | 629 |7569k| 0 | 13k|-1.412760e+02 |-4.500000e+01 | 68.15%
1188.43/1188.42 c 1188s|150000 |150001 | 16858k| 111.8 | 532M| 71 | 158 | 500 |7853 | 500 | 712 |8064k| 0 | 13k|-1.411808e+02 |-4.500000e+01 | 68.13%
1246.73/1246.72 c 1247s|160000 |160001 | 17777k| 110.5 | 562M| 71 | 198 | 500 |7853 | 500 | 769 |8577k| 0 | 14k|-1.411106e+02 |-4.500000e+01 | 68.11%
1306.13/1306.16 c 1306s|170000 |170001 | 18721k| 109.6 | 592M| 71 | 149 | 500 |7853 | 500 | 682 |9105k| 0 | 14k|-1.410412e+02 |-4.500000e+01 | 68.09%
1365.04/1365.09 c 1365s|180000 |180001 | 19653k| 108.7 | 622M| 71 | 118 | 500 |7853 | 500 | 674 |9621k| 0 | 15k|-1.409669e+02 |-4.500000e+01 | 68.08%
1423.24/1423.25 c 1423s|190000 |190001 | 20583k| 107.8 | 652M| 72 | 112 | 500 |7853 | 500 | 698 | 10M| 0 | 15k|-1.408954e+02 |-4.500000e+01 | 68.06%
1483.75/1483.74 c 1484s|200000 |200001 | 21530k| 107.2 | 683M| 72 | 63 | 500 |7853 | 500 | 615 | 10M| 0 | 16k|-1.408243e+02 |-4.500000e+01 | 68.05%
1543.24/1543.24 c 1543s|210000 |210001 | 22476k| 106.6 | 713M| 72 | 159 | 500 |7853 | 500 | 743 | 11M| 0 | 16k|-1.407722e+02 |-4.500000e+01 | 68.03%
1604.85/1604.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.85/1604.88 c 1605s|220000 |220001 | 23443k| 106.1 | 744M| 75 | 38 | 500 |7853 | 500 | 498 | 11M| 0 | 16k|-1.407134e+02 |-4.500000e+01 | 68.02%
1663.35/1663.39 c 1663s|230000 |230001 | 24370k| 105.5 | 774M| 75 | 23 | 500 |7853 | 500 | 553 | 12M| 0 | 17k|-1.406459e+02 |-4.500000e+01 | 68.00%
1680.64/1680.64 o -47
1680.64/1680.64 c l1681s|232849 |232850 | 24638k| 105.4 | 782M| 75 | - | 500 |7853 | 500 | 658 | 12M| 0 | 17k|-1.406360e+02 |-4.700000e+01 | 66.58%
1681.85/1681.85 o -51
1681.85/1681.85 c C1682s|233049 |233050 | 24656k| 105.4 | 783M| 75 | 101 | 500 |7853 | 500 | 558 | 12M| 0 | 17k|-1.406348e+02 |-5.100000e+01 | 63.74%
1685.04/1685.06 o -52
1685.04/1685.06 c C1685s|233649 |233650 | 24708k| 105.3 | 785M| 75 | 150 | 500 |7853 | 500 | 602 | 12M| 0 | 17k|-1.406319e+02 |-5.200000e+01 | 63.02%
1722.75/1722.71 c 1723s|240000 |240001 | 25303k| 105.0 | 804M| 79 | 91 | 500 |7853 | 500 | 656 | 12M| 0 | 17k|-1.405915e+02 |-5.200000e+01 | 63.01%
1781.65/1781.61 c 1782s|250000 |250001 | 26241k| 104.6 | 834M| 79 | 137 | 500 |7853 | 500 | 703 | 13M| 0 | 18k|-1.405451e+02 |-5.200000e+01 | 63.00%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 252516
1797.05/1797.00 c Primal Bound : -5.20000000000000e+01 (878 solutions)
1797.05/1797.00 c Dual Bound : -1.40530573110629e+02
1797.05/1797.00 c Gap : 63.00 %
1797.05/1797.01 s SATISFIABLE
1797.05/1797.01 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479
1797.05/1797.01 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1797.05/1797.01 v -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 x441 -x440 -x439 -x438 -x437
1797.05/1797.01 v -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
1797.05/1797.01 v -x415 x414 -x413 -x412 x411 x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394
1797.05/1797.01 v -x393 -x392 -x391 x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373
1797.05/1797.01 v -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1797.05/1797.01 v -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1797.05/1797.01 v -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 x315 -x314 -x313 x312 -x311 -x310 -x309
1797.05/1797.01 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1797.05/1797.01 v -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1797.05/1797.01 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246
1797.05/1797.01 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
1797.05/1797.01 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204
1797.05/1797.01 v -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
1797.05/1797.01 v -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 x161
1797.05/1797.01 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 x141 -x140
1797.05/1797.01 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119
1797.05/1797.01 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98
1797.05/1797.01 v -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 x79 x78 -x77 x76 -x75 -x74 -x73 -x72
1797.05/1797.01 v -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1797.05/1797.01 v -x45 x44 -x43 -x42 x41 -x40 -x39 x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20
1797.05/1797.01 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.05/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.01 c Total Time : 1797.00
1797.05/1797.01 c solving : 1797.00
1797.05/1797.01 c presolving : 0.14 (included in solving)
1797.05/1797.01 c reading : 0.04 (included in solving)
1797.05/1797.01 c Original Problem :
1797.05/1797.01 c Problem name : HOME/instance-3488578-1307783035.opb
1797.05/1797.01 c Variables : 8353 (8353 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 8853 initial, 8853 maximal
1797.05/1797.01 c Presolved Problem :
1797.05/1797.01 c Problem name : t_HOME/instance-3488578-1307783035.opb
1797.05/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 7853 initial, 7853 maximal
1797.05/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c probing : 0.04 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c setppc : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c and : 0.05 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c linear : 0.02 7853 0 0 7853 0 500 0 0 0
1797.05/1797.01 c pseudoboolean : 0.00 0 0 0 0 0 500 0 0 0
1797.05/1797.01 c root node : - 0 - - 0 - - - - -
1797.05/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c integral : 0 0 0 321666 0 334132 0 0 0 0 0 505030
1797.05/1797.01 c setppc : 7853 140 681158 69151 1 334128 0 0 3479181 13395930 0 0
1797.05/1797.01 c countsols : 0 0 0 0 1 880 0 0 0 0 0 0
1797.05/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.01 c integral : 92.09 0.00 0.00 92.00 0.00 0.10 0.00
1797.05/1797.01 c setppc : 60.86 0.25 25.45 12.82 0.00 22.34 0.00
1797.05/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.01 c vbounds : 0 0 0 0
1797.05/1797.01 c rootredcost : 3 0 0 0
1797.05/1797.01 c pseudoobj : 684300 0 0 0
1797.05/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.01 c vbounds : 0.14 0.14 0.00
1797.05/1797.01 c rootredcost : 0.14 0.14 0.00
1797.05/1797.01 c pseudoobj : 6.51 6.51 0.00
1797.05/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c applied globally : - - - 0 0.0 - - -
1797.05/1797.01 c applied locally : - - - 0 0.0 - - -
1797.05/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.01 c cut pool : 0.57 139 - - 1489 - (maximal pool size: 9516)
1797.05/1797.01 c redcost : 3.91 321805 0 0 0 0
1797.05/1797.01 c impliedbounds : 0.05 140 0 0 10265 0
1797.05/1797.01 c intobj : 0.00 0 0 0 0 0
1797.05/1797.01 c gomory : 26.42 139 0 0 32064 0
1797.05/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.01 c strongcg : 0.68 20 0 0 10000 0
1797.05/1797.01 c cmir : 0.17 10 0 0 0 0
1797.05/1797.01 c flowcover : 0.12 10 0 0 0 0
1797.05/1797.01 c clique : 1.17 139 0 0 1201 0
1797.05/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.01 c mcf : 0.00 1 0 0 0 0
1797.05/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.01 c rapidlearning : 0.08 1 0 0 0 0
1797.05/1797.01 c Pricers : Time Calls Vars
1797.05/1797.01 c problem variables: 0.00 0 0
1797.05/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c relpscost : 91.81 252515 0 0 0 0 505030
1797.05/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c random : 0.00 0 0 0 0 0 0
1797.05/1797.01 c Primal Heuristics : Time Calls Found
1797.05/1797.01 c LP solutions : 0.00 - 0
1797.05/1797.01 c pseudo solutions : 0.00 - 0
1797.05/1797.01 c intshifting : 0.01 0 0
1797.05/1797.01 c feaspump : 0.01 0 0
1797.05/1797.01 c oneopt : 0.15 4 0
1797.05/1797.01 c crossover : 1.14 21 18
1797.05/1797.01 c objpscostdiving : 15.30 2325 38
1797.05/1797.01 c rootsoldiving : 14.95 2325 9
1797.05/1797.01 c guideddiving : 20.15 4650 37
1797.05/1797.01 c coefdiving : 22.02 4650 109
1797.05/1797.01 c linesearchdiving : 21.46 4650 77
1797.05/1797.01 c pscostdiving : 21.88 4650 92
1797.05/1797.01 c fracdiving : 20.17 4650 53
1797.05/1797.01 c veclendiving : 33.82 4650 99
1797.05/1797.01 c trivial : 0.01 2 1
1797.05/1797.01 c shiftandpropagate: 0.00 0 0
1797.05/1797.01 c simplerounding : 12.35 252654 342
1797.05/1797.01 c zirounding : 0.20 1000 0
1797.05/1797.01 c rounding : 15.39 24037 1
1797.05/1797.01 c shifting : 5.17 7245 1
1797.05/1797.01 c twoopt : 0.00 0 0
1797.05/1797.01 c fixandinfer : 0.00 0 0
1797.05/1797.01 c clique : 0.00 0 0
1797.05/1797.01 c intdiving : 0.00 0 0
1797.05/1797.01 c actconsdiving : 0.00 0 0
1797.05/1797.01 c octane : 0.00 0 0
1797.05/1797.01 c rens : 0.02 0 0
1797.05/1797.01 c rins : 0.00 0 0
1797.05/1797.01 c localbranching : 0.00 0 0
1797.05/1797.01 c mutation : 0.00 0 0
1797.05/1797.01 c dins : 0.00 0 0
1797.05/1797.01 c vbounds : 0.00 0 0
1797.05/1797.01 c undercover : 0.01 1 0
1797.05/1797.01 c subnlp : 0.05 0 0
1797.05/1797.01 c trysol : 0.08 0 0
1797.05/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.01 c primal LP : 18.90 0 0 0.00 0.00
1797.05/1797.01 c dual LP : 1324.69 321806 24435592 75.93 18446.33
1797.05/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.01 c diving/probing LP: 119.08 153896 2051425 13.33 17227.78
1797.05/1797.01 c strong branching : 84.81 18184 1177408 64.75 13882.93
1797.05/1797.01 c (at root node) : - 20 17379 868.95 -
1797.05/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.01 c B&B Tree :
1797.05/1797.01 c number of runs : 1
1797.05/1797.01 c nodes : 252516
1797.05/1797.01 c nodes (total) : 252516
1797.05/1797.01 c nodes left : 252517
1797.05/1797.01 c max depth : 79
1797.05/1797.01 c max depth (total): 79
1797.05/1797.01 c backtracks : 32622 (12.9%)
1797.05/1797.01 c delayed cutoffs : 0
1797.05/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.01 c avg switch length: 4.15
1797.05/1797.01 c switching time : 46.42
1797.05/1797.01 c Solution :
1797.05/1797.01 c Solutions found : 878 (7 improvements)
1797.05/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1797.05/1797.01 c Primal Bound : -5.20000000000000e+01 (in run 1, after 233649 nodes, 1685.06 seconds, depth 19, found by <crossover>)
1797.05/1797.01 c Dual Bound : -1.40530573110629e+02
1797.05/1797.01 c Gap : 63.00 %
1797.05/1797.01 c Root Dual Bound : -1.48777777777778e+02
1797.05/1797.01 c Root Iterations : 96144
1797.95/1797.98 c Time complete: 1798.03.
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-3488578-1307783035/watcher-3488578-1307783035 -o /tmp/evaluation-result-3488578-1307783035/solver-3488578-1307783035 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488578-1307783035.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: 0.00 0.00 0.00 5/173 13601
/proc/meminfo: memFree=31445512/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=13108 CPUtime=0 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 2257 0 0 0 0 0 0 0 25 0 1 0 870719117 13422592 2211 33554432000 4194304 9016284 140736533196816 18446744073709551615 4639360 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13599/statm: 3277 2217 368 1178 0 2095 0
[startup+0.08637 s]
/proc/loadavg: 0.00 0.00 0.00 5/173 13601
/proc/meminfo: memFree=31445512/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=42604 CPUtime=0.08 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 9341 0 0 0 7 1 0 0 25 0 1 0 870719117 43626496 9295 33554432000 4194304 9016284 140736533196816 18446744073709551615 6817922 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13599/statm: 10651 9295 480 1178 0 9469 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42604
[startup+0.100339 s]
/proc/loadavg: 0.00 0.00 0.00 5/173 13601
/proc/meminfo: memFree=31445512/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=45080 CPUtime=0.09 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 9928 0 0 0 8 1 0 0 25 0 1 0 870719117 46161920 9882 33554432000 4194304 9016284 140736533196816 18446744073709551615 7870448 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13599/statm: 11270 9882 480 1178 0 10088 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45080
[startup+0.300302 s]
/proc/loadavg: 0.00 0.00 0.00 5/173 13601
/proc/meminfo: memFree=31445512/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=70784 CPUtime=0.29 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 16699 0 0 0 28 1 0 0 18 0 1 0 870719117 72482816 16229 33554432000 4194304 9016284 140736533196816 18446744073709551615 4445232 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13599/statm: 17696 16229 715 1178 0 16514 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70784
[startup+0.700235 s]
/proc/loadavg: 0.00 0.00 0.00 5/173 13601
/proc/meminfo: memFree=31445512/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=62672 CPUtime=0.69 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 23070 0 0 0 67 2 0 0 18 0 1 0 870719117 64176128 14430 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13599/statm: 15668 14430 713 1178 0 14486 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62672
[startup+1.5011 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 13641
/proc/meminfo: memFree=31282980/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=70432 CPUtime=1.49 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 25145 0 0 0 146 3 0 0 19 0 1 0 870719117 72122368 16450 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13599/statm: 17608 16450 821 1178 0 16426 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70432
[startup+3.1008 s]
/proc/loadavg: 0.16 0.03 0.01 3/175 13641
/proc/meminfo: memFree=31265620/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=82556 CPUtime=3.09 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 28469 0 0 0 305 4 0 0 23 0 1 0 870719117 84537344 19590 33554432000 4194304 9016284 140736533196816 18446744073709551615 6235194 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13599/statm: 20639 19590 692 1178 0 19457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82556
[startup+6.30119 s]
/proc/loadavg: 0.16 0.03 0.01 3/175 13641
/proc/meminfo: memFree=31248624/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=90600 CPUtime=6.29 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 30572 0 0 0 622 7 0 0 25 0 1 0 870719117 92774400 21575 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13599/statm: 22650 21575 705 1178 0 21468 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90600
[startup+12.701 s]
/proc/loadavg: 0.31 0.07 0.02 3/175 13641
/proc/meminfo: memFree=31211812/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=113640 CPUtime=12.7 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 36211 0 0 0 1257 13 0 0 25 0 1 0 870719117 116367360 27150 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13599/statm: 28410 27150 692 1178 0 27228 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 113640
[startup+25.5006 s]
/proc/loadavg: 0.68 0.16 0.05 3/175 13642
/proc/meminfo: memFree=31192864/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=116704 CPUtime=25.5 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 36930 0 0 0 2529 21 0 0 25 0 1 0 870719117 119504896 27869 33554432000 4194304 9016284 140736533196816 18446744073709551615 6578825 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13599/statm: 29176 27869 692 1178 0 27994 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 116704
[startup+51.1007 s]
/proc/loadavg: 1.13 0.31 0.10 3/175 13642
/proc/meminfo: memFree=31192844/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=116268 CPUtime=51.09 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 38922 0 0 0 5075 34 0 0 25 0 1 0 870719117 119058432 27847 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 29067 27847 695 1178 0 27885 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 116268
[startup+102.306 s]
/proc/loadavg: 1.65 0.59 0.21 3/175 13644
/proc/meminfo: memFree=31190924/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=118460 CPUtime=102.29 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 43439 0 0 0 10122 107 0 0 25 0 1 0 870719117 121303040 28340 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 29615 28340 702 1178 0 28433 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 118460
[startup+162.301 s]
/proc/loadavg: 1.90 0.84 0.31 3/175 13645
/proc/meminfo: memFree=31178388/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=131180 CPUtime=162.3 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 79542 0 0 0 16026 204 0 0 25 0 1 0 870719117 134328320 31398 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 32795 31398 704 1178 0 31613 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 131180
[startup+222.3 s]
/proc/loadavg: 1.97 1.06 0.43 3/175 13647
/proc/meminfo: memFree=31158508/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=147580 CPUtime=222.29 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 83539 0 0 0 21929 300 0 0 25 0 1 0 870719117 151121920 35395 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 36895 35395 704 1178 0 35713 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 147580
[startup+282.301 s]
/proc/loadavg: 1.98 1.22 0.51 3/175 13649
/proc/meminfo: memFree=31099296/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=173660 CPUtime=282.29 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 90113 0 0 0 27831 398 0 0 25 0 1 0 870719117 177827840 41960 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 43415 41960 704 1178 0 42233 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 173660
[startup+342.301 s]
/proc/loadavg: 1.99 1.37 0.61 3/175 13650
/proc/meminfo: memFree=31082668/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=199492 CPUtime=342.3 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 96642 0 0 0 33736 494 0 0 25 0 1 0 870719117 204279808 48489 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 49873 48489 704 1178 0 48691 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 199492
[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.69 3/175 13652
/proc/meminfo: memFree=31035636/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=227480 CPUtime=402.3 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 103585 0 0 0 39636 594 0 0 25 0 1 0 870719117 232939520 55430 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 56870 55430 704 1178 0 55688 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 227480
[startup+462.301 s]
/proc/loadavg: 1.99 1.56 0.77 3/175 13653
/proc/meminfo: memFree=30993316/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=251996 CPUtime=462.31 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 109801 0 0 0 45534 697 0 0 25 0 1 0 870719117 258043904 61639 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 62999 61639 704 1178 0 61817 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 251996
[startup+522.301 s]
/proc/loadavg: 1.99 1.64 0.84 3/175 13655
/proc/meminfo: memFree=30943664/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=281716 CPUtime=522.31 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 121981 0 0 0 51434 797 0 0 25 0 1 0 870719117 288477184 69032 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 70429 69032 704 1178 0 69247 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 281716
[startup+582.3 s]
/proc/loadavg: 1.99 1.70 0.91 3/175 13657
/proc/meminfo: memFree=30894020/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=307720 CPUtime=582.31 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 137893 0 0 0 57332 899 0 0 25 0 1 0 870719117 315105280 75678 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 76930 75678 704 1178 0 75748 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 307720
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30455704/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=533420 CPUtime=1062.32 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 198809 0 0 0 104538 1694 0 0 25 0 1 0 870719117 546222080 131898 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 133355 131898 704 1178 0 132173 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 533420
[startup+1122.3 s]
/proc/loadavg: 2.00 1.94 1.38 3/175 13671
/proc/meminfo: memFree=30397988/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=560272 CPUtime=1122.33 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 205591 0 0 0 110433 1800 0 0 25 0 1 0 870719117 573718528 138680 33554432000 4194304 9016284 140736533196816 18446744073709551615 4653664 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 140068 138680 704 1178 0 138886 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 560272
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/175 13673
/proc/meminfo: memFree=30339292/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=591292 CPUtime=1182.33 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 213323 0 0 0 116335 1898 0 0 25 0 1 0 870719117 605483008 146412 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 147823 146412 704 1178 0 146641 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 591292
[startup+1242.3 s]
/proc/loadavg: 2.03 1.97 1.45 3/175 13674
/proc/meminfo: memFree=30278124/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=618644 CPUtime=1242.33 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 220097 0 0 0 122226 2007 0 0 25 0 1 0 870719117 633491456 153186 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 154661 153186 704 1178 0 153479 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 618644
[startup+1302.3 s]
/proc/loadavg: 2.01 1.97 1.48 3/175 13679
/proc/meminfo: memFree=30209204/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=652568 CPUtime=1302.34 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 228721 0 0 0 128126 2108 0 0 25 0 1 0 870719117 668229632 161810 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 163142 161810 704 1178 0 161960 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 652568
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/175 13680
/proc/meminfo: memFree=30148376/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=681816 CPUtime=1362.33 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 235938 0 0 0 134021 2212 0 0 25 0 1 0 870719117 698179584 169027 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 170454 169027 704 1178 0 169272 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 681816
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/175 13682
/proc/meminfo: memFree=30088828/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=710216 CPUtime=1422.34 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 243173 0 0 0 139920 2314 0 0 25 0 1 0 870719117 727261184 176262 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 177554 176262 704 1178 0 176372 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 710216
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/175 13684
/proc/meminfo: memFree=30027540/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=743516 CPUtime=1482.35 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 250525 0 0 0 145815 2420 0 0 25 0 1 0 870719117 761360384 183614 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 185879 183614 704 1178 0 184697 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 743516
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/175 13685
/proc/meminfo: memFree=29961016/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=771804 CPUtime=1542.34 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 257603 0 0 0 151710 2524 0 0 25 0 1 0 870719117 790327296 190692 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 192951 190692 704 1178 0 191769 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 771804
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/175 13687
/proc/meminfo: memFree=29900080/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=800712 CPUtime=1602.34 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 264845 0 0 0 157606 2628 0 0 25 0 1 0 870719117 819929088 197934 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 200178 197934 704 1178 0 198996 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 800712
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/175 13688
/proc/meminfo: memFree=29832096/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=831944 CPUtime=1662.34 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 272736 0 0 0 163510 2724 0 0 25 0 1 0 870719117 851910656 205825 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 207986 205825 704 1178 0 206804 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 831944
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/175 13690
/proc/meminfo: memFree=29776132/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=862280 CPUtime=1722.35 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 317300 0 0 0 169405 2830 0 0 25 0 1 0 870719117 882974720 213383 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 215570 213383 704 1178 0 214388 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 862280
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/175 13692
/proc/meminfo: memFree=29701444/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=898280 CPUtime=1782.35 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 331034 0 0 0 175302 2933 0 0 25 0 1 0 870719117 919838720 222500 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 224570 222500 704 1178 0 223388 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 898280
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 1.97 1.67 3/175 13692
/proc/meminfo: memFree=29696852/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=899800 CPUtime=1785.55 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 331422 0 0 0 175616 2939 0 0 25 0 1 0 870719117 921395200 222888 33554432000 4194304 9016284 140736533196816 18446744073709551615 4777360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 224950 222888 704 1178 0 223768 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 899800
[startup+1791.91 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 13692
/proc/meminfo: memFree=29692500/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=901844 CPUtime=1791.95 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 331958 0 0 0 176245 2950 0 0 25 0 1 0 870719117 923488256 223424 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 225461 223424 704 1178 0 224279 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 901844
[startup+1795.1 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 13692
/proc/meminfo: memFree=29689400/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=901976 CPUtime=1795.15 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 332005 0 0 0 176560 2955 0 0 25 0 1 0 870719117 923623424 223471 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 225494 223471 704 1178 0 224312 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 901976
[startup+1796.7 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 13692
/proc/meminfo: memFree=29689276/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=902864 CPUtime=1796.75 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 332174 0 0 0 176717 2958 0 0 25 0 1 0 870719117 924532736 223640 33554432000 4194304 9016284 140736533196816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13599/statm: 225716 223640 704 1178 0 224534 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 902864
[startup+1797.5 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 13692
/proc/meminfo: memFree=29687536/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=903888 CPUtime=1797.55 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 332416 0 0 0 176797 2958 0 0 25 0 1 0 870719117 925581312 223882 33554432000 4194304 9016284 140736533196816 18446744073709551615 4897758 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13599/statm: 225972 223882 706 1178 0 224790 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 903888
[startup+1797.9 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 13692
/proc/meminfo: memFree=29687536/32951124 swapFree=67064580/67111528
[pid=13599] ppid=13596 vsize=903888 CPUtime=1797.95 cores=0,2,4,6
/proc/13599/stat : 13599 (scip-2.0.1.4b_2) R 13596 13599 13556 0 -1 4202496 332416 0 0 0 176837 2958 0 0 25 0 1 0 870719117 925581312 223882 33554432000 4194304 9016284 140736533196816 18446744073709551615 4329922 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13599/statm: 225972 223882 706 1178 0 224790 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 903888
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.05
CPU user time (s): 1768.42
CPU system time (s): 29.6285
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 903888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.42
system time used= 29.6285
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 3155
runsolver used 2.67359 second user time and 5.51516 second system time
The end