0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450667-1307106423.opb>
0.00/0.04 c original problem has 8358 variables (8358 bin, 0 int, 0 impl, 0 cont) and 8858 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.06/0.08 o 0
0.06/0.08 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.06/0.08 c presolving:
0.09/0.15 c (round 1) 7858 del vars, 1000 del conss, 0 add conss, 7858 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31432 impls, 0 clqs
0.09/0.17 c (round 2) 7858 del vars, 1000 del conss, 0 add conss, 7858 chg bounds, 0 chg sides, 0 chg coeffs, 7858 upgd conss, 47148 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 7858 deleted vars, 1000 deleted constraints, 0 added constraints, 7858 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 47148 implications, 0 cliques
0.19/0.20 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7858 constraints
0.19/0.20 c 7858 constraints of type <logicor>
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 # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c conflict/interconss = 0
0.19/0.20 c
0.19/0.20 c # should binary conflicts be preferred?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c conflict/preferbinary = TRUE
0.19/0.20 c
0.19/0.20 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20 c constraints/agelimit = 1
0.19/0.20 c
0.19/0.20 c # should enforcement of pseudo solution be disabled?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/disableenfops = TRUE
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 = 1800
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 -----------------------------------------------------------------------------------------------
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 | 520 | - | 26M| 0 | 500 | 500 |7858 | 500 |7858 | 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 | 520 | - | 26M| 0 | 500 | 500 |7858 | 500 |7858 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.19/0.29 o -2
0.19/0.29 c s 0.3s| 1 | 0 | 520 | - | 26M| 0 | 500 | 500 |7858 | 500 |7858 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.39/0.42 c 0.4s| 1 | 0 | 640 | - | 26M| 0 | 490 | 500 |7858 | 500 |7869 | 11 | 0 | 0 |-2.450000e+02 |-2.000000e+00 | 99.18%
0.39/0.42 o -46
0.39/0.42 c b 0.4s| 1 | 0 | 640 | - | 26M| 0 | 490 | 500 |7858 | 500 |7869 | 11 | 0 | 0 |-2.450000e+02 |-4.600000e+01 | 81.22%
0.48/0.56 c 0.6s| 1 | 0 | 744 | - | 26M| 0 | 483 | 500 |7858 | 500 |7883 | 25 | 0 | 0 |-2.415000e+02 |-4.600000e+01 | 80.95%
0.59/0.69 c 0.7s| 1 | 0 | 824 | - | 26M| 0 | 475 | 500 |7858 | 500 |7893 | 35 | 0 | 0 |-2.375000e+02 |-4.600000e+01 | 80.63%
0.89/0.90 c 0.9s| 1 | 0 | 1012 | - | 26M| 0 | 471 | 500 |7858 | 500 |7900 | 42 | 0 | 0 |-2.355000e+02 |-4.600000e+01 | 80.47%
1.11/1.11 c 1.1s| 1 | 0 | 1340 | - | 26M| 0 | 467 | 500 |7858 | 500 |7911 | 53 | 0 | 0 |-2.335000e+02 |-4.600000e+01 | 80.30%
1.29/1.33 c 1.3s| 1 | 0 | 1606 | - | 27M| 0 | 460 | 500 |7858 | 500 |7926 | 68 | 0 | 0 |-2.300000e+02 |-4.600000e+01 | 80.00%
1.49/1.59 c 1.6s| 1 | 0 | 2074 | - | 27M| 0 | 456 | 500 |7858 | 500 |7937 | 79 | 0 | 0 |-2.272500e+02 |-4.600000e+01 | 79.76%
1.79/1.85 c 1.8s| 1 | 0 | 2472 | - | 27M| 0 | 452 | 500 |7858 | 500 |7949 | 91 | 0 | 0 |-2.247500e+02 |-4.600000e+01 | 79.53%
2.10/2.13 c 2.1s| 1 | 0 | 2932 | - | 27M| 0 | 445 | 500 |7858 | 500 |7961 | 103 | 0 | 0 |-2.225000e+02 |-4.600000e+01 | 79.33%
2.29/2.38 c 2.4s| 1 | 0 | 3431 | - | 27M| 0 | 437 | 500 |7858 | 500 |7975 | 117 | 0 | 0 |-2.185000e+02 |-4.600000e+01 | 78.95%
2.49/2.59 c 2.6s| 1 | 0 | 3747 | - | 27M| 0 | 442 | 500 |7858 | 500 | 999 | 127 | 0 | 0 |-2.175000e+02 |-4.600000e+01 | 78.85%
2.79/2.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.83 c 2.8s| 1 | 0 | 5910 | - | 29M| 0 | 471 | 500 |7858 | 500 |1011 | 139 | 0 | 0 |-2.161425e+02 |-4.600000e+01 | 78.72%
3.09/3.13 c 3.1s| 1 | 0 | 6330 | - | 30M| 0 | 431 | 500 |7858 | 500 |2514 |1642 | 0 | 0 |-2.158049e+02 |-4.600000e+01 | 78.68%
3.20/3.25 c 3.3s| 1 | 0 | 6807 | - | 30M| 0 | 430 | 500 |7858 | 500 |2540 |1668 | 0 | 0 |-2.145000e+02 |-4.600000e+01 | 78.55%
3.31/3.37 c 3.4s| 1 | 0 | 7090 | - | 30M| 0 | 431 | 500 |7858 | 500 |2550 |1678 | 0 | 0 |-2.125000e+02 |-4.600000e+01 | 78.35%
3.69/3.70 c 3.7s| 1 | 0 | 7994 | - | 31M| 0 | 421 | 500 |7858 | 500 |2561 |1689 | 0 | 0 |-2.115000e+02 |-4.600000e+01 | 78.25%
3.79/3.83 c 3.8s| 1 | 0 | 8363 | - | 31M| 0 | 419 | 500 |7858 | 500 |2237 |1720 | 0 | 0 |-2.095000e+02 |-4.600000e+01 | 78.04%
3.89/3.93 c 3.9s| 1 | 0 | 8726 | - | 31M| 0 | 434 | 500 |7858 | 500 |2246 |1729 | 0 | 0 |-2.090000e+02 |-4.600000e+01 | 77.99%
4.09/4.16 c 4.2s| 1 | 0 | 9923 | - | 32M| 0 | 424 | 500 |7858 | 500 |2380 |1863 | 0 | 0 |-2.070000e+02 |-4.600000e+01 | 77.78%
4.19/4.30 c 4.3s| 1 | 0 | 10306 | - | 32M| 0 | 426 | 500 |7858 | 500 |2391 |1874 | 0 | 0 |-2.055000e+02 |-4.600000e+01 | 77.62%
4.49/4.54 c 4.5s| 1 | 0 | 11331 | - | 34M| 0 | 399 | 500 |7858 | 500 |2514 |1997 | 0 | 0 |-2.025000e+02 |-4.600000e+01 | 77.28%
4.59/4.65 c 4.7s| 1 | 0 | 11785 | - | 34M| 0 | 404 | 500 |7858 | 500 |2586 |2069 | 0 | 0 |-2.015000e+02 |-4.600000e+01 | 77.17%
4.69/4.78 c 4.8s| 1 | 0 | 12417 | - | 34M| 0 | 409 | 500 |7858 | 500 |1351 |2103 | 0 | 0 |-2.006667e+02 |-4.600000e+01 | 77.08%
4.79/4.88 c 4.9s| 1 | 0 | 12987 | - | 34M| 0 | 397 | 500 |7858 | 500 |1416 |2168 | 0 | 0 |-1.990208e+02 |-4.600000e+01 | 76.89%
4.99/5.01 c 5.0s| 1 | 0 | 13859 | - | 34M| 0 | 389 | 500 |7858 | 500 |1645 |2397 | 0 | 0 |-1.962500e+02 |-4.600000e+01 | 76.56%
5.09/5.14 c 5.1s| 1 | 0 | 14579 | - | 35M| 0 | 420 | 500 |7858 | 500 |1816 |2568 | 0 | 0 |-1.955833e+02 |-4.600000e+01 | 76.48%
5.19/5.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.19/5.25 c 5.3s| 1 | 0 | 14934 | - | 35M| 0 | 397 | 500 |7858 | 500 |1882 |2634 | 0 | 0 |-1.952500e+02 |-4.600000e+01 | 76.44%
5.29/5.33 c 5.3s| 1 | 0 | 15085 | - | 35M| 0 | 409 | 500 |7858 | 500 |1909 |2661 | 0 | 0 |-1.950357e+02 |-4.600000e+01 | 76.41%
5.51/5.52 c 5.5s| 1 | 0 | 16144 | - | 35M| 0 | 434 | 500 |7858 | 500 |1609 |2736 | 0 | 0 |-1.944444e+02 |-4.600000e+01 | 76.34%
5.69/5.73 c 5.7s| 1 | 0 | 17401 | - | 35M| 0 | 455 | 500 |7858 | 500 |1694 |2821 | 0 | 0 |-1.938780e+02 |-4.600000e+01 | 76.27%
6.09/6.11 c 6.1s| 1 | 0 | 19020 | - | 37M| 0 | 378 | 500 |7858 | 500 |2668 |3795 | 0 | 0 |-1.910000e+02 |-4.600000e+01 | 75.92%
6.19/6.20 c 6.2s| 1 | 0 | 19219 | - | 37M| 0 | 378 | 500 |7858 | 500 |2708 |3835 | 0 | 0 |-1.900000e+02 |-4.600000e+01 | 75.79%
6.29/6.32 c 6.3s| 1 | 0 | 19493 | - | 37M| 0 | 384 | 500 |7858 | 500 |2735 |3862 | 0 | 0 |-1.895000e+02 |-4.600000e+01 | 75.73%
6.49/6.52 c 6.5s| 1 | 0 | 20561 | - | 37M| 0 | 375 | 500 |7858 | 500 |2766 |3893 | 0 | 0 |-1.885000e+02 |-4.600000e+01 | 75.60%
6.61/6.64 c 6.6s| 1 | 0 | 21071 | - | 38M| 0 | 375 | 500 |7858 | 500 |2295 |3968 | 0 | 0 |-1.875000e+02 |-4.600000e+01 | 75.47%
6.69/6.76 c 6.8s| 1 | 0 | 21475 | - | 38M| 0 | 408 | 500 |7858 | 500 |2336 |4009 | 0 | 0 |-1.870333e+02 |-4.600000e+01 | 75.41%
6.89/6.94 c 6.9s| 1 | 0 | 22350 | - | 38M| 0 | 375 | 500 |7858 | 500 |2408 |4081 | 0 | 0 |-1.863750e+02 |-4.600000e+01 | 75.32%
7.09/7.15 c 7.1s| 1 | 0 | 23322 | - | 39M| 0 | 374 | 500 |7858 | 500 |2448 |4121 | 0 | 0 |-1.855000e+02 |-4.600000e+01 | 75.20%
7.29/7.32 c 7.3s| 1 | 0 | 24320 | - | 39M| 0 | 377 | 500 |7858 | 500 |2460 |4133 | 0 | 0 |-1.840000e+02 |-4.600000e+01 | 75.00%
7.49/7.51 c 7.5s| 1 | 0 | 25334 | - | 39M| 0 | 368 | 500 |7858 | 500 |2502 |4175 | 0 | 0 |-1.837500e+02 |-4.600000e+01 | 74.97%
7.71/7.72 c 7.7s| 1 | 0 | 26468 | - | 39M| 0 | 404 | 500 |7858 | 500 |1938 |4203 | 0 | 0 |-1.828889e+02 |-4.600000e+01 | 74.85%
7.99/8.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.99/8.00 c 8.0s| 1 | 0 | 28039 | - | 41M| 0 | 415 | 500 |7858 | 500 |2003 |4268 | 0 | 0 |-1.819185e+02 |-4.600000e+01 | 74.71%
8.19/8.23 c 8.2s| 1 | 0 | 28939 | - | 41M| 0 | 409 | 500 |7858 | 500 |2217 |4482 | 0 | 0 |-1.809038e+02 |-4.600000e+01 | 74.57%
8.49/8.56 c 8.6s| 1 | 0 | 30924 | - | 42M| 0 | 389 | 500 |7858 | 500 |2326 |4591 | 0 | 0 |-1.793000e+02 |-4.600000e+01 | 74.34%
8.89/8.95 c 9.0s| 1 | 0 | 33204 | - | 43M| 0 | 407 | 500 |7858 | 500 |2405 |4670 | 0 | 0 |-1.778125e+02 |-4.600000e+01 | 74.13%
9.19/9.20 c 9.2s| 1 | 0 | 34340 | - | 43M| 0 | 412 | 500 |7858 | 500 |2480 |4745 | 0 | 0 |-1.760385e+02 |-4.600000e+01 | 73.87%
9.39/9.41 c 9.4s| 1 | 0 | 35276 | - | 44M| 0 | 386 | 500 |7858 | 500 |2334 |4852 | 0 | 0 |-1.747500e+02 |-4.600000e+01 | 73.68%
9.59/9.60 c 9.6s| 1 | 0 | 36244 | - | 44M| 0 | 394 | 500 |7858 | 500 |2386 |4904 | 0 | 0 |-1.738333e+02 |-4.600000e+01 | 73.54%
9.99/10.00 c 10.0s| 1 | 0 | 38849 | - | 44M| 0 | 430 | 500 |7858 | 500 |2461 |4979 | 0 | 0 |-1.723367e+02 |-4.600000e+01 | 73.31%
10.29/10.30 c 10.3s| 1 | 0 | 40326 | - | 45M| 0 | 432 | 500 |7858 | 500 |2578 |5096 | 0 | 0 |-1.707162e+02 |-4.600000e+01 | 73.05%
10.49/10.54 c 10.5s| 1 | 0 | 41132 | - | 47M| 0 | 435 | 500 |7858 | 500 |2720 |5238 | 0 | 0 |-1.700000e+02 |-4.600000e+01 | 72.94%
11.39/11.48 c 11.5s| 1 | 0 | 46290 | - | 47M| 0 | 408 | 500 |7858 | 500 |2739 |5257 | 0 | 0 |-1.691667e+02 |-4.600000e+01 | 72.81%
11.79/11.80 c 11.8s| 1 | 0 | 48119 | - | 47M| 0 | 443 | 500 |7858 | 500 |2464 |5300 | 0 | 0 |-1.687531e+02 |-4.600000e+01 | 72.74%
12.00/12.08 c 12.1s| 1 | 0 | 49280 | - | 49M| 0 | 428 | 500 |7858 | 500 |2531 |5367 | 0 | 0 |-1.678478e+02 |-4.600000e+01 | 72.59%
12.29/12.39 c 12.4s| 1 | 0 | 50809 | - | 49M| 0 | 451 | 500 |7858 | 500 |2583 |5419 | 0 | 0 |-1.669530e+02 |-4.600000e+01 | 72.45%
12.89/12.90 c 12.9s| 1 | 0 | 52439 | - | 50M| 0 | 452 | 500 |7858 | 500 |2602 |5438 | 0 | 0 |-1.656573e+02 |-4.600000e+01 | 72.23%
13.30/13.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.30/13.38 c 13.4s| 1 | 0 | 53709 | - | 50M| 0 | 452 | 500 |7858 | 500 |2659 |5495 | 0 | 0 |-1.651316e+02 |-4.600000e+01 | 72.14%
13.79/13.84 c 13.8s| 1 | 0 | 54879 | - | 50M| 0 | 471 | 500 |7858 | 500 |2696 |5532 | 0 | 0 |-1.647061e+02 |-4.600000e+01 | 72.07%
14.30/14.36 c 14.4s| 1 | 0 | 56120 | - | 50M| 0 | 451 | 500 |7858 | 500 |2554 |5733 | 0 | 0 |-1.641847e+02 |-4.600000e+01 | 71.98%
14.79/14.81 c 14.8s| 1 | 0 | 57615 | - | 50M| 0 | 458 | 500 |7858 | 500 |2581 |5760 | 0 | 0 |-1.632410e+02 |-4.600000e+01 | 71.82%
15.19/15.20 c 15.2s| 1 | 0 | 58406 | - | 50M| 0 | 462 | 500 |7858 | 500 |2605 |5784 | 0 | 0 |-1.627281e+02 |-4.600000e+01 | 71.73%
15.69/15.70 c 15.7s| 1 | 0 | 59817 | - | 50M| 0 | 462 | 500 |7858 | 500 |2678 |5857 | 0 | 0 |-1.619463e+02 |-4.600000e+01 | 71.60%
16.09/16.14 c 16.1s| 1 | 0 | 60474 | - | 50M| 0 | 466 | 500 |7858 | 500 |2742 |5921 | 0 | 0 |-1.613703e+02 |-4.600000e+01 | 71.49%
16.69/16.70 c 16.7s| 1 | 0 | 61868 | - | 50M| 0 | 478 | 500 |7858 | 500 |2790 |5969 | 0 | 0 |-1.608553e+02 |-4.600000e+01 | 71.40%
17.19/17.26 c 17.3s| 1 | 0 | 62866 | - | 50M| 0 | 469 | 500 |7858 | 500 |2623 |6030 | 0 | 0 |-1.604945e+02 |-4.600000e+01 | 71.34%
17.79/17.86 c 17.9s| 1 | 0 | 64542 | - | 50M| 0 | 469 | 500 |7858 | 500 |2646 |6053 | 0 | 0 |-1.598591e+02 |-4.600000e+01 | 71.22%
18.39/18.40 c 18.4s| 1 | 0 | 65879 | - | 50M| 0 | 464 | 500 |7858 | 500 |2674 |6081 | 0 | 0 |-1.591806e+02 |-4.600000e+01 | 71.10%
18.89/18.92 c 18.9s| 1 | 0 | 66960 | - | 50M| 0 | 472 | 500 |7858 | 500 |2694 |6101 | 0 | 0 |-1.585807e+02 |-4.600000e+01 | 70.99%
19.39/19.47 c 19.5s| 1 | 0 | 68183 | - | 50M| 0 | 477 | 500 |7858 | 500 |2725 |6132 | 0 | 0 |-1.578714e+02 |-4.600000e+01 | 70.86%
20.10/20.12 c 20.1s| 1 | 0 | 69687 | - | 50M| 0 | 481 | 500 |7858 | 500 |2823 |6230 | 0 | 0 |-1.574434e+02 |-4.600000e+01 | 70.78%
20.69/20.70 c 20.7s| 1 | 0 | 70759 | - | 50M| 0 | 480 | 500 |7858 | 500 |2672 |6256 | 0 | 0 |-1.571590e+02 |-4.600000e+01 | 70.73%
21.29/21.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.29/21.35 c 21.3s| 1 | 0 | 72397 | - | 50M| 0 | 478 | 500 |7858 | 500 |2694 |6278 | 0 | 0 |-1.565689e+02 |-4.600000e+01 | 70.62%
21.89/21.95 c 21.9s| 1 | 0 | 73731 | - | 50M| 0 | 480 | 500 |7858 | 500 |2738 |6322 | 0 | 0 |-1.560984e+02 |-4.600000e+01 | 70.53%
22.59/22.61 c 22.6s| 1 | 0 | 75274 | - | 50M| 0 | 483 | 500 |7858 | 500 |2779 |6363 | 0 | 0 |-1.555109e+02 |-4.600000e+01 | 70.42%
23.11/23.14 c 23.1s| 1 | 0 | 75939 | - | 50M| 0 | 482 | 500 |7858 | 500 |2805 |6389 | 0 | 0 |-1.550691e+02 |-4.600000e+01 | 70.34%
23.69/23.72 c 23.7s| 1 | 0 | 76917 | - | 50M| 0 | 484 | 500 |7858 | 500 |2838 |6422 | 0 | 0 |-1.545379e+02 |-4.600000e+01 | 70.23%
24.21/24.27 c 24.3s| 1 | 0 | 77664 | - | 50M| 0 | 483 | 500 |7858 | 500 |2707 |6446 | 0 | 0 |-1.541588e+02 |-4.600000e+01 | 70.16%
24.79/24.85 c 24.9s| 1 | 0 | 78782 | - | 50M| 0 | 483 | 500 |7858 | 500 |2736 |6475 | 0 | 0 |-1.538189e+02 |-4.600000e+01 | 70.09%
25.31/25.37 c 25.4s| 1 | 0 | 79394 | - | 50M| 0 | 488 | 500 |7858 | 500 |2768 |6507 | 0 | 0 |-1.535762e+02 |-4.600000e+01 | 70.05%
25.89/25.96 c 26.0s| 1 | 0 | 80366 | - | 50M| 0 | 492 | 500 |7858 | 500 |2788 |6527 | 0 | 0 |-1.533694e+02 |-4.600000e+01 | 70.01%
26.41/26.47 c 26.5s| 1 | 0 | 80975 | - | 50M| 0 | 486 | 500 |7858 | 500 |2803 |6542 | 0 | 0 |-1.531462e+02 |-4.600000e+01 | 69.96%
26.99/27.00 c 27.0s| 1 | 0 | 81522 | - | 50M| 0 | 489 | 500 |7858 | 500 |2817 |6556 | 0 | 0 |-1.529748e+02 |-4.600000e+01 | 69.93%
27.51/27.53 c 27.5s| 1 | 0 | 82016 | - | 50M| 0 | 489 | 500 |7858 | 500 |2695 |6574 | 0 | 0 |-1.527316e+02 |-4.600000e+01 | 69.88%
27.99/28.09 c 28.1s| 1 | 0 | 82847 | - | 50M| 0 | 491 | 500 |7858 | 500 |2706 |6585 | 0 | 0 |-1.522856e+02 |-4.600000e+01 | 69.79%
28.61/28.68 c 28.7s| 1 | 0 | 83874 | - | 50M| 0 | 489 | 500 |7858 | 500 |2724 |6603 | 0 | 0 |-1.520476e+02 |-4.600000e+01 | 69.75%
29.19/29.26 c 29.3s| 1 | 0 | 84784 | - | 50M| 0 | 492 | 500 |7858 | 500 |2746 |6625 | 0 | 0 |-1.517019e+02 |-4.600000e+01 | 69.68%
29.71/29.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.71/29.79 c 29.8s| 1 | 0 | 85312 | - | 50M| 0 | 489 | 500 |7858 | 500 |2756 |6635 | 0 | 0 |-1.514720e+02 |-4.600000e+01 | 69.63%
30.29/30.35 c 30.3s| 1 | 0 | 86013 | - | 50M| 0 | 493 | 500 |7858 | 500 |2773 |6652 | 0 | 0 |-1.512487e+02 |-4.600000e+01 | 69.59%
30.89/30.91 c 30.9s| 1 | 0 | 86825 | - | 50M| 0 | 496 | 500 |7858 | 500 |2707 |6670 | 0 | 0 |-1.509078e+02 |-4.600000e+01 | 69.52%
31.39/31.45 c 31.4s| 1 | 0 | 87517 | - | 50M| 0 | 487 | 500 |7858 | 500 |2721 |6684 | 0 | 0 |-1.505336e+02 |-4.600000e+01 | 69.44%
31.91/31.95 c 31.9s| 1 | 0 | 88027 | - | 50M| 0 | 493 | 500 |7858 | 500 |2740 |6703 | 0 | 0 |-1.503260e+02 |-4.600000e+01 | 69.40%
32.49/32.52 c 32.5s| 1 | 0 | 88852 | - | 50M| 0 | 490 | 500 |7858 | 500 |2748 |6711 | 0 | 0 |-1.500361e+02 |-4.600000e+01 | 69.34%
33.01/33.02 c 33.0s| 1 | 0 | 89293 | - | 50M| 0 | 492 | 500 |7858 | 500 |2762 |6725 | 0 | 0 |-1.498768e+02 |-4.600000e+01 | 69.31%
33.49/33.52 c 33.5s| 1 | 0 | 89800 | - | 50M| 0 | 494 | 500 |7858 | 500 |2771 |6734 | 0 | 0 |-1.497220e+02 |-4.600000e+01 | 69.28%
33.89/34.00 c 34.0s| 1 | 0 | 90054 | - | 50M| 0 | 492 | 500 |7858 | 500 |2722 |6744 | 0 | 0 |-1.495822e+02 |-4.600000e+01 | 69.25%
34.39/34.44 c 34.4s| 1 | 0 | 90139 | - | 50M| 0 | 493 | 500 |7858 | 500 |2730 |6752 | 0 | 0 |-1.495674e+02 |-4.600000e+01 | 69.24%
34.89/34.91 c 34.9s| 1 | 0 | 90409 | - | 50M| 0 | 495 | 500 |7858 | 500 |2741 |6763 | 0 | 0 |-1.494572e+02 |-4.600000e+01 | 69.22%
35.39/35.43 c 35.4s| 1 | 0 | 90935 | - | 50M| 0 | 493 | 500 |7858 | 500 |2757 |6779 | 0 | 0 |-1.492768e+02 |-4.600000e+01 | 69.18%
35.88/35.93 c 35.9s| 1 | 0 | 91320 | - | 50M| 0 | 493 | 500 |7858 | 500 |2768 |6790 | 0 | 0 |-1.491808e+02 |-4.600000e+01 | 69.16%
36.39/36.45 c 36.4s| 1 | 0 | 91851 | - | 50M| 0 | 496 | 500 |7858 | 500 |2779 |6801 | 0 | 0 |-1.489645e+02 |-4.600000e+01 | 69.12%
36.89/36.96 c 37.0s| 1 | 0 | 92346 | - | 50M| 0 | 494 | 500 |7858 | 500 |2747 |6810 | 0 | 0 |-1.488672e+02 |-4.600000e+01 | 69.10%
37.41/37.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.41/37.43 c 37.4s| 1 | 0 | 92628 | - | 50M| 0 | 494 | 500 |7858 | 500 |2758 |6821 | 0 | 0 |-1.487866e+02 |-4.600000e+01 | 69.08%
37.89/37.91 c 37.9s| 1 | 0 | 92999 | - | 50M| 0 | 495 | 500 |7858 | 500 |2769 |6832 | 0 | 0 |-1.486906e+02 |-4.600000e+01 | 69.06%
38.29/38.38 c 38.4s| 1 | 0 | 93325 | - | 50M| 0 | 494 | 500 |7858 | 500 |2781 |6844 | 0 | 0 |-1.486140e+02 |-4.600000e+01 | 69.05%
38.79/38.87 c 38.9s| 1 | 0 | 93770 | - | 50M| 0 | 495 | 500 |7858 | 500 |2800 |6863 | 0 | 0 |-1.485362e+02 |-4.600000e+01 | 69.03%
39.29/39.32 c 39.3s| 1 | 0 | 94020 | - | 50M| 0 | 494 | 500 |7858 | 500 |2809 |6872 | 0 | 0 |-1.484812e+02 |-4.600000e+01 | 69.02%
39.79/39.83 c 39.8s| 1 | 0 | 94562 | - | 50M| 0 | 494 | 500 |7858 | 500 |2789 |6881 | 0 | 0 |-1.483578e+02 |-4.600000e+01 | 68.99%
40.29/40.30 c 40.3s| 1 | 0 | 95013 | - | 50M| 0 | 492 | 500 |7858 | 500 |2805 |6897 | 0 | 0 |-1.482873e+02 |-4.600000e+01 | 68.98%
40.70/40.78 c 40.8s| 1 | 0 | 95458 | - | 50M| 0 | 493 | 500 |7858 | 500 |2813 |6905 | 0 | 0 |-1.482254e+02 |-4.600000e+01 | 68.97%
41.19/41.24 c 41.2s| 1 | 0 | 95671 | - | 49M| 0 | 495 | 500 |7858 | 500 |2824 |6916 | 0 | 0 |-1.481955e+02 |-4.600000e+01 | 68.96%
41.70/41.73 c 41.7s| 1 | 0 | 96195 | - | 49M| 0 | 497 | 500 |7858 | 500 |2835 |6927 | 0 | 0 |-1.481178e+02 |-4.600000e+01 | 68.94%
42.19/42.22 c 42.2s| 1 | 0 | 96699 | - | 49M| 0 | 496 | 500 |7858 | 500 |2845 |6937 | 0 | 0 |-1.480555e+02 |-4.600000e+01 | 68.93%
42.69/42.73 c 42.7s| 1 | 0 | 97287 | - | 48M| 0 | 498 | 500 |7858 | 500 |2795 |6946 | 0 | 0 |-1.479865e+02 |-4.600000e+01 | 68.92%
43.09/43.18 c 43.2s| 1 | 0 | 97603 | - | 47M| 0 | 498 | 500 |7858 | 500 |2805 |6956 | 0 | 0 |-1.479599e+02 |-4.600000e+01 | 68.91%
43.59/43.65 c 43.6s| 1 | 0 | 97871 | - | 47M| 0 | 497 | 500 |7858 | 500 |2815 |6966 | 0 | 0 |-1.479334e+02 |-4.600000e+01 | 68.90%
44.09/44.14 c 44.1s| 1 | 0 | 98364 | - | 47M| 0 | 498 | 500 |7858 | 500 |2827 |6978 | 0 | 0 |-1.478695e+02 |-4.600000e+01 | 68.89%
44.59/44.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.59/44.60 c 44.6s| 1 | 0 | 98704 | - | 46M| 0 | 498 | 500 |7858 | 500 |2838 |6989 | 0 | 0 |-1.478209e+02 |-4.600000e+01 | 68.88%
44.99/45.06 c 45.1s| 1 | 0 | 99040 | - | 46M| 0 | 498 | 500 |7858 | 500 |2849 |7000 | 0 | 0 |-1.477877e+02 |-4.600000e+01 | 68.87%
45.49/45.52 c 45.5s| 1 | 0 | 99261 | - | 46M| 0 | 498 | 500 |7858 | 500 |2812 |7010 | 0 | 0 |-1.477440e+02 |-4.600000e+01 | 68.87%
45.99/46.00 c 46.0s| 1 | 0 | 99645 | - | 46M| 0 | 500 | 500 |7858 | 500 |2824 |7022 | 0 | 0 |-1.476969e+02 |-4.600000e+01 | 68.86%
46.39/46.43 c 46.4s| 1 | 0 | 99859 | - | 46M| 0 | 500 | 500 |7858 | 500 |2836 |7034 | 0 | 0 |-1.476761e+02 |-4.600000e+01 | 68.85%
46.79/46.86 c 46.9s| 1 | 0 |100083 | - | 44M| 0 | 498 | 500 |7858 | 500 |2848 |7046 | 0 | 0 |-1.476589e+02 |-4.600000e+01 | 68.85%
47.30/47.31 c 47.3s| 1 | 0 |100469 | - | 44M| 0 | 499 | 500 |7858 | 500 |2860 |7058 | 0 | 0 |-1.476380e+02 |-4.600000e+01 | 68.84%
47.69/47.75 c 47.7s| 1 | 0 |100755 | - | 43M| 0 | 500 | 500 |7858 | 500 |2870 |7068 | 0 | 0 |-1.476224e+02 |-4.600000e+01 | 68.84%
48.19/48.23 c 48.2s| 1 | 0 |101386 | - | 43M| 0 | 499 | 500 |7858 | 500 |2835 |7079 | 0 | 0 |-1.476017e+02 |-4.600000e+01 | 68.84%
48.58/48.66 c 48.7s| 1 | 0 |101691 | - | 43M| 0 | 500 | 500 |7858 | 500 |2846 |7090 | 0 | 0 |-1.475875e+02 |-4.600000e+01 | 68.83%
48.99/49.06 c 49.1s| 1 | 0 |101887 | - | 43M| 0 | 499 | 500 |7858 | 500 |2854 |7098 | 0 | 0 |-1.475811e+02 |-4.600000e+01 | 68.83%
49.39/49.50 c 49.5s| 1 | 0 |102387 | - | 43M| 0 | 499 | 500 |7858 | 500 |2864 |7108 | 0 | 0 |-1.475599e+02 |-4.600000e+01 | 68.83%
49.89/49.97 c 50.0s| 1 | 0 |102889 | - | 43M| 0 | 499 | 500 |7858 | 500 |2876 |7120 | 0 | 0 |-1.475342e+02 |-4.600000e+01 | 68.82%
50.29/50.37 c 50.4s| 1 | 0 |103076 | - | 43M| 0 | 500 | 500 |7858 | 500 |2885 |7129 | 0 | 0 |-1.475280e+02 |-4.600000e+01 | 68.82%
50.69/50.79 c 50.8s| 1 | 0 |103380 | - | 42M| 0 | 499 | 500 |7858 | 500 |2822 |7137 | 0 | 0 |-1.475196e+02 |-4.600000e+01 | 68.82%
51.08/51.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.08/51.19 c 51.2s| 1 | 0 |103629 | - | 41M| 0 | 500 | 500 |7858 | 500 |2828 |7143 | 0 | 0 |-1.475131e+02 |-4.600000e+01 | 68.82%
51.49/51.58 c 51.6s| 1 | 0 |103823 | - | 41M| 0 | 500 | 500 |7858 | 500 |2836 |7151 | 0 | 0 |-1.475082e+02 |-4.600000e+01 | 68.82%
51.89/51.98 c 52.0s| 1 | 0 |104068 | - | 41M| 0 | 500 | 500 |7858 | 500 |2843 |7158 | 0 | 0 |-1.475027e+02 |-4.600000e+01 | 68.81%
52.29/52.36 c 52.4s| 1 | 0 |104144 | - | 40M| 0 | 449 | 500 |7858 | 500 |2848 |7163 | 0 | 0 |-1.475000e+02 |-4.600000e+01 | 68.81%
55.29/55.31 c 55.3s| 1 | 2 |104144 | - | 40M| 0 | 449 | 500 |7858 | 500 |2848 |7163 | 0 | 18 |-1.475000e+02 |-4.600000e+01 | 68.81%
178.08/178.16 c 178s| 10000 | 10001 | 1657k| 155.3 | 54M| 56 | 10 | 500 |7858 | 500 | 500 | 518k| 0 |2670 |-1.435883e+02 |-4.600000e+01 | 67.96%
255.37/255.47 c 255s| 20000 | 20001 | 2854k| 137.5 | 68M| 56 | 35 | 500 |7858 | 500 | 500 |1054k| 0 |4244 |-1.428582e+02 |-4.600000e+01 | 67.80%
324.37/324.44 c 324s| 30000 | 30001 | 3952k| 128.3 | 81M| 67 | 167 | 500 |7858 | 500 | 770 |1571k| 0 |5188 |-1.423890e+02 |-4.600000e+01 | 67.69%
387.97/388.02 o -47
387.97/388.02 c C 388s| 39473 | 39474 | 4977k| 123.5 | 94M| 69 | 56 | 500 |7858 | 500 | 500 |2056k| 0 |6280 |-1.420971e+02 |-4.700000e+01 | 66.92%
390.49/390.58 c 391s| 40000 | 40001 | 5023k| 123.0 | 94M| 69 | 85 | 500 |7858 | 500 | 563 |2081k| 0 |6281 |-1.420896e+02 |-4.700000e+01 | 66.92%
427.56/427.64 o -54
427.56/427.64 c C 428s| 45673 | 45674 | 5628k| 121.0 | 102M| 69 | 162 | 500 |7858 | 500 | 709 |2363k| 0 |6847 |-1.419373e+02 |-5.400000e+01 | 61.96%
453.87/453.92 c 454s| 50000 | 50001 | 6067k| 119.3 | 108M| 69 | 13 | 500 |7858 | 500 | 500 |2582k| 0 |7137 |-1.418194e+02 |-5.400000e+01 | 61.92%
518.09/518.12 c 518s| 60000 | 60001 | 7124k| 117.0 | 121M| 69 | 25 | 500 |7858 | 500 | 500 |3092k| 0 |7947 |-1.416246e+02 |-5.400000e+01 | 61.87%
576.06/576.15 c 576s| 70000 | 70001 | 8098k| 114.2 | 134M| 79 | 64 | 500 |7858 | 500 | 603 |3575k| 0 |8483 |-1.414450e+02 |-5.400000e+01 | 61.82%
635.67/635.74 c 636s| 80000 | 80001 | 9086k| 112.3 | 147M| 79 | 127 | 500 |7858 | 500 | 580 |4052k| 0 |9220 |-1.412776e+02 |-5.400000e+01 | 61.78%
693.26/693.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.26/693.31 c 693s| 90000 | 90001 | 10056k| 110.6 | 160M| 79 | 55 | 500 |7858 | 500 | 594 |4540k| 0 |9793 |-1.411371e+02 |-5.400000e+01 | 61.74%
748.76/748.84 c 749s|100000 |100001 | 10995k| 108.9 | 173M| 85 | 11 | 500 |7858 | 500 | 500 |5028k| 0 | 10k|-1.410047e+02 |-5.400000e+01 | 61.70%
795.96/796.02 c 796s|110000 |110001 | 11812k| 106.4 | 186M| 85 | 20 | 500 |7858 | 500 | 583 |5489k| 0 | 10k|-1.409327e+02 |-5.400000e+01 | 61.68%
843.46/843.52 c 844s|120000 |120001 | 12635k| 104.4 | 198M| 85 | 94 | 500 |7858 | 500 | 699 |5956k| 0 | 11k|-1.408508e+02 |-5.400000e+01 | 61.66%
889.65/889.80 c 890s|130000 |130001 | 13443k| 102.6 | 211M| 85 | 32 | 500 |7858 | 500 | 562 |6422k| 0 | 11k|-1.407788e+02 |-5.400000e+01 | 61.64%
937.26/937.37 c 937s|140000 |140001 | 14275k| 101.2 | 224M| 85 | 67 | 500 |7858 | 500 | 591 |6895k| 0 | 12k|-1.407176e+02 |-5.400000e+01 | 61.63%
984.25/984.35 c 984s|150000 |150001 | 15097k| 100.0 | 237M| 85 | 127 | 500 |7858 | 500 | 606 |7362k| 0 | 12k|-1.406509e+02 |-5.400000e+01 | 61.61%
1030.56/1030.67 c 1031s|160000 |160001 | 15909k| 98.8 | 249M| 85 | 85 | 500 |7858 | 500 | 632 |7821k| 0 | 13k|-1.406017e+02 |-5.400000e+01 | 61.59%
1077.36/1077.42 c 1077s|170000 |170001 | 16724k| 97.8 | 262M| 85 | 78 | 500 |7858 | 500 | 564 |8288k| 0 | 13k|-1.405425e+02 |-5.400000e+01 | 61.58%
1123.25/1123.36 c 1123s|180000 |180001 | 17533k| 96.8 | 275M| 85 | 60 | 500 |7858 | 500 | 587 |8746k| 0 | 14k|-1.404836e+02 |-5.400000e+01 | 61.56%
1170.46/1170.50 c 1171s|190000 |190001 | 18359k| 96.1 | 288M| 85 | 7 | 500 |7858 | 500 | 607 |9212k| 0 | 14k|-1.404360e+02 |-5.400000e+01 | 61.55%
1217.36/1217.43 c 1217s|200000 |200001 | 19182k| 95.4 | 300M| 85 | 16 | 500 |7858 | 500 | 560 |9668k| 0 | 14k|-1.403715e+02 |-5.400000e+01 | 61.53%
1264.86/1264.99 c 1265s|210000 |210001 | 20025k| 94.9 | 313M| 85 | 12 | 500 |7858 | 500 | 563 | 10M| 0 | 15k|-1.403237e+02 |-5.400000e+01 | 61.52%
1309.26/1309.36 c 1309s|220000 |220001 | 20806k| 94.1 | 326M| 85 | 119 | 500 |7858 | 500 | 682 | 10M| 0 | 15k|-1.402868e+02 |-5.400000e+01 | 61.51%
1355.96/1356.08 c 1356s|230000 |230001 | 21631k| 93.6 | 339M| 85 | 31 | 500 |7858 | 500 | 564 | 11M| 0 | 15k|-1.402404e+02 |-5.400000e+01 | 61.49%
1401.06/1401.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1401.06/1401.16 c 1401s|240000 |240001 | 22426k| 93.0 | 351M| 85 | 184 | 500 |7858 | 500 | 767 | 11M| 0 | 16k|-1.402057e+02 |-5.400000e+01 | 61.49%
1443.66/1443.74 c 1444s|250000 |250001 | 23192k| 92.4 | 364M| 85 | 196 | 500 |7858 | 500 | 824 | 11M| 0 | 16k|-1.401680e+02 |-5.400000e+01 | 61.47%
1487.46/1487.60 c 1488s|260000 |260001 | 23972k| 91.8 | 376M| 85 | 181 | 500 |7858 | 500 | 798 | 12M| 0 | 16k|-1.401387e+02 |-5.400000e+01 | 61.47%
1532.16/1532.22 c 1532s|270000 |270001 | 24758k| 91.3 | 389M| 85 | 104 | 500 |7858 | 500 | 657 | 12M| 0 | 17k|-1.400993e+02 |-5.400000e+01 | 61.46%
1575.36/1575.49 c 1575s|280000 |280001 | 25529k| 90.8 | 401M| 85 | 12 | 500 |7858 | 500 | 564 | 13M| 0 | 17k|-1.400667e+02 |-5.400000e+01 | 61.45%
1607.76/1607.84 o -56
1607.76/1607.84 c l1608s|287263 |287260 | 26102k| 90.5 | 410M| 85 | - | 500 |7858 | 500 | 664 | 13M| 0 | 17k|-1.400433e+02 |-5.600000e+01 | 60.01%
1610.55/1610.60 o -57
1610.55/1610.60 c C1611s|287863 |287852 | 26151k| 90.5 | 411M| 85 | 139 | 500 |7858 | 500 | 651 | 13M| 0 | 17k|-1.400390e+02 |-5.700000e+01 | 59.30%
1620.65/1620.73 c 1621s|290000 |289989 | 26326k| 90.4 | 413M| 85 | 154 | 500 |7858 | 500 | 557 | 13M| 0 | 17k|-1.400341e+02 |-5.700000e+01 | 59.30%
1667.85/1667.95 c 1668s|300000 |299989 | 27150k| 90.2 | 426M| 85 | 34 | 500 |7858 | 500 | 563 | 14M| 0 | 18k|-1.400011e+02 |-5.700000e+01 | 59.29%
1712.86/1712.95 c 1713s|310000 |309989 | 27953k| 89.8 | 439M| 85 | 74 | 500 |7858 | 500 | 623 | 14M| 0 | 18k|-1.399730e+02 |-5.700000e+01 | 59.28%
1757.25/1757.33 c 1757s|320000 |319989 | 28746k| 89.5 | 451M| 85 | 182 | 500 |7858 | 500 | 748 | 15M| 0 | 18k|-1.399434e+02 |-5.700000e+01 | 59.27%
1799.96/1800.00 c
1799.96/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.96/1800.00 c Solving Time (sec) : 1800.00
1799.96/1800.00 c Solving Nodes : 329459
1799.96/1800.00 c Primal Bound : -5.70000000000000e+01 (887 solutions)
1799.96/1800.00 c Dual Bound : -1.39921384720327e+02
1799.96/1800.00 c Gap : 59.26 %
1799.96/1800.01 s SATISFIABLE
1799.96/1800.01 v -x500 -x499 -x498 -x497 x496 -x495 x494 -x493 -x492 x491 -x490 -x489 x488 -x487 -x486 -x485 x484 -x483 x482 -x481 x480 -x479 -x478
1799.96/1800.01 v -x477 x476 x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457
1799.96/1800.01 v -x456 -x455 -x454 -x453 x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1799.96/1800.01 v -x434 -x433 -x432 -x431 -x430 x429 -x428 x427 -x426 -x425 -x424 x423 -x422 x421 -x420 -x419 -x418 -x417 x416 -x415 -x414
1799.96/1800.01 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 x402 x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392
1799.96/1800.01 v -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 x371
1799.96/1800.01 v -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 x350 -x349
1799.96/1800.01 v x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
1799.96/1800.01 v x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
1799.96/1800.01 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286
1799.96/1800.01 v x285 x284 -x283 x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264
1799.96/1800.01 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243
1799.96/1800.01 v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1799.96/1800.01 v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201
1799.96/1800.01 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180
1799.96/1800.01 v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1799.96/1800.01 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1799.96/1800.01 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
1799.96/1800.01 v -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1799.96/1800.01 v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70
1799.96/1800.01 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44
1799.96/1800.01 v -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1799.96/1800.01 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1799.96/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1799.96/1800.01 c Total Time : 1800.00
1799.96/1800.01 c solving : 1800.00
1799.96/1800.01 c presolving : 0.13 (included in solving)
1799.96/1800.01 c reading : 0.04 (included in solving)
1799.96/1800.01 c Original Problem :
1799.96/1800.01 c Problem name : HOME/instance-3450667-1307106423.opb
1799.96/1800.01 c Variables : 8358 (8358 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.96/1800.01 c Constraints : 8858 initial, 8858 maximal
1799.96/1800.01 c Presolved Problem :
1799.96/1800.01 c Problem name : t_HOME/instance-3450667-1307106423.opb
1799.96/1800.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.96/1800.01 c Constraints : 7858 initial, 7858 maximal
1799.96/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.96/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c and : 0.05 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c linear : 0.02 7858 0 0 7858 0 500 0 0 0
1799.96/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c pseudoboolean : 0.00 0 0 0 0 0 500 0 0 0
1799.96/1800.01 c root node : - 0 - - 0 - - - - -
1799.96/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.96/1800.01 c integral : 0 0 0 424584 0 364362 0 0 0 0 0 658918
1799.96/1800.01 c logicor : 7858 136 410778 95125 0 364358 0 0 4270427 15576089 0 0
1799.96/1800.01 c countsols : 0 0 0 0 0 889 0 0 0 0 0 0
1799.96/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.96/1800.01 c integral : 91.77 0.00 0.00 91.68 0.00 0.09 0.00
1799.96/1800.01 c logicor : 70.09 0.19 20.58 25.50 0.00 23.83 0.00
1799.96/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.96/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.96/1800.01 c vbounds : 0 0 0 0
1799.96/1800.01 c rootredcost : 4 0 0 0
1799.96/1800.01 c pseudoobj : 834538 0 0 0
1799.96/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1799.96/1800.01 c vbounds : 0.15 0.15 0.00
1799.96/1800.01 c rootredcost : 0.16 0.16 0.00
1799.96/1800.01 c pseudoobj : 7.23 7.23 0.00
1799.96/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.96/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.96/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.96/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.96/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.96/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.96/1800.01 c applied globally : - - - 0 0.0 - - -
1799.96/1800.01 c applied locally : - - - 0 0.0 - - -
1799.96/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.96/1800.01 c cut pool : 0.42 135 - - 1247 - (maximal pool size: 7746)
1799.96/1800.01 c redcost : 4.69 424719 0 0 0 0
1799.96/1800.01 c impliedbounds : 0.05 136 0 0 8148 0
1799.96/1800.01 c intobj : 0.00 0 0 0 0 0
1799.96/1800.01 c gomory : 31.36 136 0 0 30878 0
1799.96/1800.01 c cgmip : 0.00 0 0 0 0 0
1799.96/1800.01 c closecuts : 0.00 0 0 0 0 0
1799.96/1800.01 c strongcg : 0.71 20 0 0 9942 0
1799.96/1800.01 c cmir : 0.17 10 0 0 0 0
1799.96/1800.01 c flowcover : 0.13 10 0 0 0 0
1799.96/1800.01 c clique : 1.13 135 0 0 1179 0
1799.96/1800.01 c zerohalf : 0.00 0 0 0 0 0
1799.96/1800.01 c mcf : 0.00 1 0 0 0 0
1799.96/1800.01 c oddcycle : 0.00 0 0 0 0 0
1799.96/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1799.96/1800.01 c Pricers : Time Calls Vars
1799.96/1800.01 c problem variables: 0.00 0 0
1799.96/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.96/1800.01 c relpscost : 91.45 329459 0 0 0 0 658918
1799.96/1800.01 c pscost : 0.00 0 0 0 0 0 0
1799.96/1800.01 c inference : 0.00 0 0 0 0 0 0
1799.96/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1799.96/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1799.96/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1799.96/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1799.96/1800.01 c random : 0.00 0 0 0 0 0 0
1799.96/1800.01 c Primal Heuristics : Time Calls Found
1799.96/1800.01 c LP solutions : 0.00 - 0
1799.96/1800.01 c pseudo solutions : 0.00 - 0
1799.96/1800.01 c oneopt : 0.09 6 1
1799.96/1800.01 c crossover : 1.61 33 21
1799.96/1800.01 c objpscostdiving : 11.78 2643 27
1799.96/1800.01 c rootsoldiving : 13.97 2643 16
1799.96/1800.01 c pscostdiving : 17.58 5286 119
1799.96/1800.01 c fracdiving : 15.92 5286 52
1799.96/1800.01 c linesearchdiving : 16.09 5286 53
1799.96/1800.01 c coefdiving : 17.48 5286 91
1799.96/1800.01 c veclendiving : 26.22 5286 111
1799.96/1800.01 c trivial : 0.01 2 1
1799.96/1800.01 c shiftandpropagate: 0.00 0 0
1799.96/1800.01 c simplerounding : 14.37 329594 340
1799.96/1800.01 c zirounding : 0.20 1000 0
1799.96/1800.01 c rounding : 13.96 27537 1
1799.96/1800.01 c shifting : 4.72 8280 1
1799.96/1800.01 c intshifting : 0.01 0 0
1799.96/1800.01 c twoopt : 0.00 0 0
1799.96/1800.01 c fixandinfer : 0.00 0 0
1799.96/1800.01 c feaspump : 0.01 0 0
1799.96/1800.01 c clique : 0.00 0 0
1799.96/1800.01 c intdiving : 0.00 0 0
1799.96/1800.01 c actconsdiving : 0.00 0 0
1799.96/1800.01 c guideddiving : 15.64 5286 53
1799.96/1800.01 c octane : 0.00 0 0
1799.96/1800.01 c rens : 0.02 0 0
1799.96/1800.01 c rins : 0.00 0 0
1799.96/1800.01 c localbranching : 0.00 0 0
1799.96/1800.01 c mutation : 0.00 0 0
1799.96/1800.01 c dins : 0.00 0 0
1799.96/1800.01 c vbounds : 0.00 0 0
1799.96/1800.01 c undercover : 0.01 1 0
1799.96/1800.01 c subnlp : 0.05 0 0
1799.96/1800.01 c trysol : 0.09 0 0
1799.96/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1799.96/1800.01 c primal LP : 22.62 0 0 0.00 0.00
1799.96/1800.01 c dual LP : 1329.44 424719 27848475 65.57 20947.55
1799.96/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1799.96/1800.01 c barrier LP : 0.00 0 0 0.00 -
1799.96/1800.01 c diving/probing LP: 90.46 153602 1650620 10.75 18246.69
1799.96/1800.01 c strong branching : 83.72 19129 1266247 66.20 15125.31
1799.96/1800.01 c (at root node) : - 18 16189 899.39 -
1799.96/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1799.96/1800.01 c B&B Tree :
1799.96/1800.01 c number of runs : 1
1799.96/1800.01 c nodes : 329459
1799.96/1800.01 c nodes (total) : 329459
1799.96/1800.01 c nodes left : 329448
1799.96/1800.01 c max depth : 85
1799.96/1800.01 c max depth (total): 85
1799.96/1800.01 c backtracks : 37002 (11.2%)
1799.96/1800.01 c delayed cutoffs : 0
1799.96/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.96/1800.01 c avg switch length: 3.67
1799.96/1800.01 c switching time : 52.67
1799.96/1800.01 c Solution :
1799.96/1800.01 c Solutions found : 887 (8 improvements)
1799.96/1800.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.08 seconds, depth 0, found by <trivial>)
1799.96/1800.01 c Primal Bound : -5.70000000000000e+01 (in run 1, after 287863 nodes, 1610.59 seconds, depth 31, found by <crossover>)
1799.96/1800.01 c Dual Bound : -1.39921384720327e+02
1799.96/1800.01 c Gap : 59.26 %
1799.96/1800.01 c Root Dual Bound : -1.47500000000000e+02
1799.96/1800.01 c Root Iterations : 104144
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450667-1307106423/watcher-3450667-1307106423 -o /tmp/evaluation-result-3450667-1307106423/solver-3450667-1307106423 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450667-1307106423.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.03 2.00 2/505 3509
/proc/meminfo: memFree=30138760/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=12704 CPUtime=0 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 2168 0 0 0 0 0 0 0 25 0 1 0 822244880 13008896 2121 33554432000 4194304 9163163 140735337901936 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3509/statm: 3176 2124 389 1214 0 1958 0
[startup+0.0732231 s]
/proc/loadavg: 2.00 2.03 2.00 2/505 3509
/proc/meminfo: memFree=30138760/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=38548 CPUtime=0.06 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 8607 0 0 0 6 0 0 0 25 0 1 0 822244880 39473152 8559 33554432000 4194304 9163163 140735337901936 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 9637 8559 459 1214 0 8419 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 38548
[startup+0.101216 s]
/proc/loadavg: 2.00 2.03 2.00 2/505 3509
/proc/meminfo: memFree=30138760/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=44236 CPUtime=0.09 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 9710 0 0 0 9 0 0 0 25 0 1 0 822244880 45297664 9662 33554432000 4194304 9163163 140735337901936 18446744073709551615 4831119 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 11059 9662 505 1214 0 9841 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44236
[startup+0.300182 s]
/proc/loadavg: 2.00 2.03 2.00 2/505 3509
/proc/meminfo: memFree=30138760/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=64984 CPUtime=0.29 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 15619 0 0 0 28 1 0 0 25 0 1 0 822244880 66543616 15039 33554432000 4194304 9163163 140735337901936 18446744073709551615 5889382 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 16246 15039 657 1214 0 15028 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64984
[startup+0.701123 s]
/proc/loadavg: 2.00 2.03 2.00 2/505 3509
/proc/meminfo: memFree=30138760/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=61788 CPUtime=0.69 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 17190 0 0 0 67 2 0 0 25 0 1 0 822244880 63270912 14224 33554432000 4194304 9163163 140735337901936 18446744073709551615 5823668 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 15447 14224 692 1214 0 14229 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61788
[startup+1.50098 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 3512
/proc/meminfo: memFree=30079860/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=68360 CPUtime=1.49 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 18819 0 0 0 146 3 0 0 25 0 1 0 822244880 70000640 15847 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 17090 15847 693 1214 0 15872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68360
[startup+3.10069 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 3512
/proc/meminfo: memFree=30072916/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=76596 CPUtime=3.09 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 21013 0 0 0 303 6 0 0 25 0 1 0 822244880 78434304 18038 33554432000 4194304 9163163 140735337901936 18446744073709551615 7346423 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 19149 18038 730 1214 0 17931 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76596
[startup+6.30113 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 3513
/proc/meminfo: memFree=30054192/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=93592 CPUtime=6.29 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 25407 0 0 0 614 15 0 0 25 0 1 0 822244880 95838208 22293 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 23398 22293 700 1214 0 22180 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93592
[startup+12.701 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 3513
/proc/meminfo: memFree=30037452/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=104480 CPUtime=12.69 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 28040 0 0 0 1239 30 0 0 25 0 1 0 822244880 106987520 24897 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 26120 24897 694 1214 0 24902 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104480
[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3513
/proc/meminfo: memFree=30035492/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=106488 CPUtime=25.49 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 28467 0 0 0 2501 48 0 0 25 0 1 0 822244880 109043712 25317 33554432000 4194304 9163163 140735337901936 18446744073709551615 6674399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 26622 25317 735 1214 0 25404 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106488
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3514
/proc/meminfo: memFree=30029932/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=106488 CPUtime=51.08 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 28467 0 0 0 5026 82 0 0 25 0 1 0 822244880 109043712 25317 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 26622 25317 735 1214 0 25404 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 106488
[startup+102.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3515
/proc/meminfo: memFree=30022800/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=105444 CPUtime=102.31 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 44036 0 0 0 9863 368 0 0 25 0 1 0 822244880 107974656 25136 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 26361 25136 730 1214 0 25143 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 105444
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 3517
/proc/meminfo: memFree=30005164/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=113520 CPUtime=162.27 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 55581 0 0 0 15469 758 0 0 25 0 1 0 822244880 116244480 27178 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 28380 27178 730 1214 0 27162 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 113520
[startup+222.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/506 3518
/proc/meminfo: memFree=29985144/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=124708 CPUtime=222.27 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 67852 0 0 0 21048 1179 0 0 25 0 1 0 822244880 127700992 29985 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 31177 29985 730 1214 0 29959 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 124708
[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/506 3520
/proc/meminfo: memFree=29963516/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=139316 CPUtime=282.27 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 71575 0 0 0 26633 1594 0 0 25 0 1 0 822244880 142659584 33707 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 34829 33707 730 1214 0 33611 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 139316
[startup+342.301 s]
/proc/loadavg: 2.15 2.06 2.01 3/506 3521
/proc/meminfo: memFree=29940524/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=152244 CPUtime=342.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 74813 0 0 0 32207 2019 0 0 25 0 1 0 822244880 155897856 36941 33554432000 4194304 9163163 140735337901936 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 38061 36941 730 1214 0 36843 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 152244
[startup+402.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/506 3523
/proc/meminfo: memFree=29918048/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=165740 CPUtime=402.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 97363 0 0 0 37788 2438 0 0 25 0 1 0 822244880 169717760 40312 33554432000 4194304 9163163 140735337901936 18446744073709551615 7240253 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 41435 40312 730 1214 0 40217 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 165740
[startup+462.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/506 3526
/proc/meminfo: memFree=29895320/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=179048 CPUtime=462.27 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 129483 0 0 0 43354 2873 0 0 25 0 1 0 822244880 183345152 43678 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 44762 43678 731 1214 0 43544 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 179048
[startup+522.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/506 3527
/proc/meminfo: memFree=29869112/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=194240 CPUtime=522.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 142981 0 0 0 48933 3293 0 0 25 0 1 0 822244880 198901760 47563 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 48560 47563 731 1214 0 47342 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 194240
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 3563
/proc/meminfo: memFree=30147056/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=207368 CPUtime=582.27 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 145739 0 0 0 54495 3732 0 0 25 0 1 0 822244880 212344832 50321 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 51842 50321 731 1214 0 50624 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 207368
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 3571
/proc/meminfo: memFree=29934256/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=282664 CPUtime=882.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 179204 0 0 0 82310 5916 0 0 25 0 1 0 822244880 289447936 69362 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 70666 69362 731 1214 0 69448 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 282664
[startup+942.301 s]
/proc/loadavg: 2.20 2.06 2.02 3/506 3572
/proc/meminfo: memFree=29893416/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=299192 CPUtime=942.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 183400 0 0 0 87854 6372 0 0 25 0 1 0 822244880 306372608 73558 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 74798 73558 731 1214 0 73580 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 299192
[startup+1002.3 s]
/proc/loadavg: 2.11 2.06 2.02 3/506 3574
/proc/meminfo: memFree=29856248/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=312312 CPUtime=1002.25 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 186732 0 0 0 93414 6811 0 0 25 0 1 0 822244880 319807488 76889 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 78078 76889 731 1214 0 76860 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 312312
[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/506 3576
/proc/meminfo: memFree=29809864/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=334020 CPUtime=1062.25 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 192229 0 0 0 98968 7257 0 0 25 0 1 0 822244880 342036480 82386 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 83505 82386 731 1214 0 82287 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 334020
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/506 3577
/proc/meminfo: memFree=29790988/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=349400 CPUtime=1122.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 196075 0 0 0 104515 7711 0 0 25 0 1 0 822244880 357785600 86232 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 87350 86232 731 1214 0 86132 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 349400
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 3579
/proc/meminfo: memFree=29774464/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=366064 CPUtime=1182.25 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 200314 0 0 0 110065 8160 0 0 25 0 1 0 822244880 374849536 90471 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 91516 90471 731 1214 0 90298 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 366064
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3580
/proc/meminfo: memFree=29750012/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=387028 CPUtime=1242.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 204555 0 0 0 115618 8608 0 0 25 0 1 0 822244880 396316672 94712 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 96757 94712 731 1214 0 95539 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 387028
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 3582
/proc/meminfo: memFree=29721208/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=403580 CPUtime=1302.27 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 213533 0 0 0 121169 9058 0 0 25 0 1 0 822244880 413265920 98937 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 100895 98937 731 1214 0 99677 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 403580
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 3584
/proc/meminfo: memFree=29688064/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=419832 CPUtime=1362.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 217632 0 0 0 126717 9509 0 0 25 0 1 0 822244880 429907968 103036 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 104958 103036 731 1214 0 103740 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 419832
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 3585
/proc/meminfo: memFree=29655660/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=436604 CPUtime=1422.28 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 221884 0 0 0 132261 9967 0 0 25 0 1 0 822244880 447082496 107288 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 109151 107288 731 1214 0 107933 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 436604
[startup+1482.3 s]
/proc/loadavg: 2.21 2.06 2.02 3/506 3587
/proc/meminfo: memFree=29629476/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=452896 CPUtime=1482.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 225981 0 0 0 137808 10418 0 0 25 0 1 0 822244880 463765504 111385 33554432000 4194304 9163163 140735337901936 18446744073709551615 6391304 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 113224 111385 731 1214 0 112006 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 452896
[startup+1542.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/506 3588
/proc/meminfo: memFree=29609976/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=471968 CPUtime=1542.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 235662 0 0 0 143358 10868 0 0 25 0 1 0 822244880 483295232 116212 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 117992 116212 731 1214 0 116774 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 471968
[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/506 3590
/proc/meminfo: memFree=29590964/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=490148 CPUtime=1602.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 240314 0 0 0 148910 11316 0 0 25 0 1 0 822244880 501911552 120864 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 122537 120864 731 1214 0 121319 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 490148
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/506 3592
/proc/meminfo: memFree=29575804/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=506536 CPUtime=1662.25 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 277632 0 0 0 154454 11771 0 0 25 0 1 0 822244880 518692864 124963 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 126634 124963 731 1214 0 125416 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 506536
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/506 3593
/proc/meminfo: memFree=29557660/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=523068 CPUtime=1722.25 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 286557 0 0 0 160001 12224 0 0 25 0 1 0 822244880 535621632 129176 33554432000 4194304 9163163 140735337901936 18446744073709551615 6600471 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 130767 129176 731 1214 0 129549 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 523068
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 3595
/proc/meminfo: memFree=29541504/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=537020 CPUtime=1782.26 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 294814 0 0 0 165549 12677 0 0 25 0 1 0 822244880 549908480 132701 33554432000 4194304 9163163 140735337901936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3509/statm: 134255 132701 731 1214 0 133037 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 537020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3595
/proc/meminfo: memFree=29539388/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=540420 CPUtime=1800.06 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 295646 0 0 0 167190 12816 0 0 25 0 1 0 822244880 553390080 133533 33554432000 4194304 9163163 140735337901936 18446744073709551615 6918303 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3509/statm: 135105 133533 733 1214 0 133887 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 540420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3595
/proc/meminfo: memFree=29539388/32951124 swapFree=51712236/67111528
[pid=3509] ppid=3507 vsize=540420 CPUtime=1800.06 cores=1,3,5,7
/proc/3509/stat : 3509 (scip-2.0.1.4b.l) R 3507 3509 2157 0 -1 4202496 295646 0 0 0 167190 12816 0 0 25 0 1 0 822244880 553390080 133533 33554432000 4194304 9163163 140735337901936 18446744073709551615 6918303 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3509/statm: 135105 133533 733 1214 0 133887 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 540420
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.1
CPU user time (s): 1671.92
CPU system time (s): 128.183
CPU usage (%): 99.9978
Max. virtual memory (cumulated for all children) (KiB): 540420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1671.92
system time used= 128.183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295646
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= 4164
runsolver used 8.50171 second user time and 20.9778 second system time
The end