0.00/0.00 c SCIP version 2.0.1.4 [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-3485145-1307784167.opb>
0.00/0.01 c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.06 o 0
0.00/0.06 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.06 c presolving:
0.09/0.13 c (round 1) 7858 del vars, 500 del conss, 0 add conss, 7858 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31432 impls, 0 clqs
0.09/0.15 c (round 2) 7858 del vars, 500 del conss, 0 add conss, 7858 chg bounds, 0 chg sides, 0 chg coeffs, 7858 upgd conss, 47148 impls, 0 clqs
0.09/0.19 c (0.2s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 7858 deleted vars, 500 deleted constraints, 0 added constraints, 7858 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 47148 implications, 0 cliques
0.09/0.19 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7858 constraints
0.09/0.19 c 7858 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.17
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 2.0.1.4
0.09/0.19 c
0.09/0.19 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c conflict/interconss = 0
0.09/0.19 c
0.09/0.19 c # should binary conflicts be preferred?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c conflict/preferbinary = TRUE
0.09/0.19 c
0.09/0.19 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c constraints/agelimit = 1
0.09/0.19 c
0.09/0.19 c # should enforcement of pseudo solution be disabled?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/disableenfops = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1797
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 13950
0.09/0.19 c
0.09/0.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.19 c # [type: int, range: [1,2], default: 1]
0.09/0.19 c timing/clocktype = 2
0.09/0.19 c
0.09/0.19 c # belongs reading time to solving time?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c timing/reading = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/indicator/addCouplingCons = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.26 c t 0.3s| 1 | 0 | 520 | - | 17M| 0 | 500 | 500 |7858 | 500 |7858 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.19/0.27 o -1
0.19/0.27 c R 0.3s| 1 | 0 | 520 | - | 17M| 0 | 500 | 500 |7858 | 500 |7858 | 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 | 520 | - | 17M| 0 | 500 | 500 |7858 | 500 |7858 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.39/0.41 c 0.4s| 1 | 0 | 640 | - | 17M| 0 | 490 | 500 |7858 | 500 |7869 | 11 | 0 | 0 |-2.450000e+02 |-2.000000e+00 | 99.18%
0.39/0.41 o -46
0.39/0.41 c b 0.4s| 1 | 0 | 640 | - | 17M| 0 | 490 | 500 |7858 | 500 |7869 | 11 | 0 | 0 |-2.450000e+02 |-4.600000e+01 | 81.22%
0.49/0.56 c 0.6s| 1 | 0 | 744 | - | 17M| 0 | 483 | 500 |7858 | 500 |7883 | 25 | 0 | 0 |-2.415000e+02 |-4.600000e+01 | 80.95%
0.69/0.71 c 0.7s| 1 | 0 | 824 | - | 17M| 0 | 475 | 500 |7858 | 500 |7893 | 35 | 0 | 0 |-2.375000e+02 |-4.600000e+01 | 80.63%
0.89/0.93 c 0.9s| 1 | 0 | 1012 | - | 17M| 0 | 471 | 500 |7858 | 500 |7900 | 42 | 0 | 0 |-2.355000e+02 |-4.600000e+01 | 80.47%
1.09/1.17 c 1.2s| 1 | 0 | 1340 | - | 17M| 0 | 467 | 500 |7858 | 500 |7911 | 53 | 0 | 0 |-2.335000e+02 |-4.600000e+01 | 80.30%
1.39/1.40 c 1.4s| 1 | 0 | 1606 | - | 17M| 0 | 460 | 500 |7858 | 500 |7926 | 68 | 0 | 0 |-2.300000e+02 |-4.600000e+01 | 80.00%
1.59/1.68 c 1.7s| 1 | 0 | 2074 | - | 17M| 0 | 456 | 500 |7858 | 500 |7937 | 79 | 0 | 0 |-2.272500e+02 |-4.600000e+01 | 79.76%
1.89/1.95 c 2.0s| 1 | 0 | 2472 | - | 18M| 0 | 452 | 500 |7858 | 500 |7949 | 91 | 0 | 0 |-2.247500e+02 |-4.600000e+01 | 79.53%
2.19/2.26 c 2.3s| 1 | 0 | 2932 | - | 18M| 0 | 445 | 500 |7858 | 500 |7961 | 103 | 0 | 0 |-2.225000e+02 |-4.600000e+01 | 79.33%
2.49/2.54 c 2.5s| 1 | 0 | 3431 | - | 18M| 0 | 437 | 500 |7858 | 500 |7975 | 117 | 0 | 0 |-2.185000e+02 |-4.600000e+01 | 78.95%
2.69/2.76 c 2.8s| 1 | 0 | 3747 | - | 18M| 0 | 442 | 500 |7858 | 500 | 999 | 127 | 0 | 0 |-2.175000e+02 |-4.600000e+01 | 78.85%
2.99/3.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.02 c 3.0s| 1 | 0 | 5910 | - | 19M| 0 | 471 | 500 |7858 | 500 |1011 | 139 | 0 | 0 |-2.161425e+02 |-4.600000e+01 | 78.72%
3.30/3.35 c 3.3s| 1 | 0 | 6330 | - | 21M| 0 | 431 | 500 |7858 | 500 |2514 |1642 | 0 | 0 |-2.158049e+02 |-4.600000e+01 | 78.68%
3.39/3.48 c 3.5s| 1 | 0 | 6807 | - | 21M| 0 | 430 | 500 |7858 | 500 |2540 |1668 | 0 | 0 |-2.145000e+02 |-4.600000e+01 | 78.55%
3.59/3.61 c 3.6s| 1 | 0 | 7090 | - | 21M| 0 | 431 | 500 |7858 | 500 |2550 |1678 | 0 | 0 |-2.125000e+02 |-4.600000e+01 | 78.35%
3.89/3.97 c 4.0s| 1 | 0 | 7994 | - | 22M| 0 | 421 | 500 |7858 | 500 |2561 |1689 | 0 | 0 |-2.115000e+02 |-4.600000e+01 | 78.25%
4.10/4.11 c 4.1s| 1 | 0 | 8363 | - | 22M| 0 | 419 | 500 |7858 | 500 |2237 |1720 | 0 | 0 |-2.095000e+02 |-4.600000e+01 | 78.04%
4.19/4.21 c 4.2s| 1 | 0 | 8726 | - | 22M| 0 | 434 | 500 |7858 | 500 |2246 |1729 | 0 | 0 |-2.090000e+02 |-4.600000e+01 | 77.99%
4.40/4.47 c 4.5s| 1 | 0 | 9923 | - | 22M| 0 | 424 | 500 |7858 | 500 |2380 |1863 | 0 | 0 |-2.070000e+02 |-4.600000e+01 | 77.78%
4.60/4.61 c 4.6s| 1 | 0 | 10306 | - | 22M| 0 | 426 | 500 |7858 | 500 |2391 |1874 | 0 | 0 |-2.055000e+02 |-4.600000e+01 | 77.62%
4.79/4.88 c 4.9s| 1 | 0 | 11331 | - | 25M| 0 | 399 | 500 |7858 | 500 |2514 |1997 | 0 | 0 |-2.025000e+02 |-4.600000e+01 | 77.28%
4.89/4.99 c 5.0s| 1 | 0 | 11785 | - | 25M| 0 | 404 | 500 |7858 | 500 |2586 |2069 | 0 | 0 |-2.015000e+02 |-4.600000e+01 | 77.17%
5.09/5.13 c 5.1s| 1 | 0 | 12417 | - | 25M| 0 | 409 | 500 |7858 | 500 |1351 |2103 | 0 | 0 |-2.006667e+02 |-4.600000e+01 | 77.08%
5.19/5.24 c 5.2s| 1 | 0 | 12987 | - | 25M| 0 | 397 | 500 |7858 | 500 |1416 |2168 | 0 | 0 |-1.990208e+02 |-4.600000e+01 | 76.89%
5.29/5.38 c 5.4s| 1 | 0 | 13859 | - | 25M| 0 | 389 | 500 |7858 | 500 |1645 |2397 | 0 | 0 |-1.962500e+02 |-4.600000e+01 | 76.56%
5.50/5.52 c 5.5s| 1 | 0 | 14579 | - | 25M| 0 | 420 | 500 |7858 | 500 |1816 |2568 | 0 | 0 |-1.955833e+02 |-4.600000e+01 | 76.48%
5.59/5.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.59/5.64 c 5.6s| 1 | 0 | 14934 | - | 25M| 0 | 397 | 500 |7858 | 500 |1882 |2634 | 0 | 0 |-1.952500e+02 |-4.600000e+01 | 76.44%
5.69/5.73 c 5.7s| 1 | 0 | 15085 | - | 26M| 0 | 409 | 500 |7858 | 500 |1909 |2661 | 0 | 0 |-1.950357e+02 |-4.600000e+01 | 76.41%
5.89/5.94 c 5.9s| 1 | 0 | 16144 | - | 26M| 0 | 434 | 500 |7858 | 500 |1609 |2736 | 0 | 0 |-1.944444e+02 |-4.600000e+01 | 76.34%
6.09/6.17 c 6.2s| 1 | 0 | 17401 | - | 26M| 0 | 455 | 500 |7858 | 500 |1694 |2821 | 0 | 0 |-1.938780e+02 |-4.600000e+01 | 76.27%
6.49/6.57 c 6.6s| 1 | 0 | 19020 | - | 28M| 0 | 378 | 500 |7858 | 500 |2668 |3795 | 0 | 0 |-1.910000e+02 |-4.600000e+01 | 75.92%
6.60/6.68 c 6.7s| 1 | 0 | 19219 | - | 28M| 0 | 378 | 500 |7858 | 500 |2708 |3835 | 0 | 0 |-1.900000e+02 |-4.600000e+01 | 75.79%
6.79/6.80 c 6.8s| 1 | 0 | 19493 | - | 28M| 0 | 384 | 500 |7858 | 500 |2735 |3862 | 0 | 0 |-1.895000e+02 |-4.600000e+01 | 75.73%
6.99/7.03 c 7.0s| 1 | 0 | 20561 | - | 28M| 0 | 375 | 500 |7858 | 500 |2766 |3893 | 0 | 0 |-1.885000e+02 |-4.600000e+01 | 75.60%
7.09/7.16 c 7.2s| 1 | 0 | 21071 | - | 28M| 0 | 375 | 500 |7858 | 500 |2295 |3968 | 0 | 0 |-1.875000e+02 |-4.600000e+01 | 75.47%
7.19/7.28 c 7.3s| 1 | 0 | 21475 | - | 28M| 0 | 408 | 500 |7858 | 500 |2336 |4009 | 0 | 0 |-1.870333e+02 |-4.600000e+01 | 75.41%
7.39/7.49 c 7.5s| 1 | 0 | 22350 | - | 29M| 0 | 375 | 500 |7858 | 500 |2408 |4081 | 0 | 0 |-1.863750e+02 |-4.600000e+01 | 75.32%
7.70/7.71 c 7.7s| 1 | 0 | 23322 | - | 29M| 0 | 374 | 500 |7858 | 500 |2448 |4121 | 0 | 0 |-1.855000e+02 |-4.600000e+01 | 75.20%
7.79/7.89 c 7.9s| 1 | 0 | 24320 | - | 30M| 0 | 377 | 500 |7858 | 500 |2460 |4133 | 0 | 0 |-1.840000e+02 |-4.600000e+01 | 75.00%
7.99/8.09 c 8.1s| 1 | 0 | 25334 | - | 30M| 0 | 368 | 500 |7858 | 500 |2502 |4175 | 0 | 0 |-1.837500e+02 |-4.600000e+01 | 74.97%
8.29/8.32 c 8.3s| 1 | 0 | 26468 | - | 30M| 0 | 404 | 500 |7858 | 500 |1938 |4203 | 0 | 0 |-1.828889e+02 |-4.600000e+01 | 74.85%
8.59/8.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.59/8.61 c 8.6s| 1 | 0 | 28039 | - | 31M| 0 | 415 | 500 |7858 | 500 |2003 |4268 | 0 | 0 |-1.819185e+02 |-4.600000e+01 | 74.71%
8.80/8.86 c 8.9s| 1 | 0 | 28939 | - | 32M| 0 | 409 | 500 |7858 | 500 |2217 |4482 | 0 | 0 |-1.809038e+02 |-4.600000e+01 | 74.57%
9.19/9.22 c 9.2s| 1 | 0 | 30924 | - | 33M| 0 | 389 | 500 |7858 | 500 |2326 |4591 | 0 | 0 |-1.793000e+02 |-4.600000e+01 | 74.34%
9.59/9.65 c 9.7s| 1 | 0 | 33204 | - | 33M| 0 | 407 | 500 |7858 | 500 |2405 |4670 | 0 | 0 |-1.778125e+02 |-4.600000e+01 | 74.13%
9.89/9.92 c 9.9s| 1 | 0 | 34340 | - | 34M| 0 | 412 | 500 |7858 | 500 |2480 |4745 | 0 | 0 |-1.760385e+02 |-4.600000e+01 | 73.87%
10.09/10.15 c 10.2s| 1 | 0 | 35276 | - | 34M| 0 | 386 | 500 |7858 | 500 |2334 |4852 | 0 | 0 |-1.747500e+02 |-4.600000e+01 | 73.68%
10.29/10.36 c 10.4s| 1 | 0 | 36244 | - | 34M| 0 | 394 | 500 |7858 | 500 |2386 |4904 | 0 | 0 |-1.738333e+02 |-4.600000e+01 | 73.54%
10.69/10.79 c 10.8s| 1 | 0 | 38849 | - | 35M| 0 | 430 | 500 |7858 | 500 |2461 |4979 | 0 | 0 |-1.723367e+02 |-4.600000e+01 | 73.31%
11.09/11.12 c 11.1s| 1 | 0 | 40326 | - | 36M| 0 | 432 | 500 |7858 | 500 |2578 |5096 | 0 | 0 |-1.707162e+02 |-4.600000e+01 | 73.05%
11.30/11.37 c 11.4s| 1 | 0 | 41132 | - | 37M| 0 | 435 | 500 |7858 | 500 |2720 |5238 | 0 | 0 |-1.700000e+02 |-4.600000e+01 | 72.94%
12.39/12.41 c 12.4s| 1 | 0 | 46290 | - | 38M| 0 | 408 | 500 |7858 | 500 |2739 |5257 | 0 | 0 |-1.691667e+02 |-4.600000e+01 | 72.81%
12.69/12.76 c 12.8s| 1 | 0 | 48119 | - | 38M| 0 | 443 | 500 |7858 | 500 |2464 |5300 | 0 | 0 |-1.687531e+02 |-4.600000e+01 | 72.74%
12.99/13.06 c 13.1s| 1 | 0 | 49280 | - | 39M| 0 | 428 | 500 |7858 | 500 |2531 |5367 | 0 | 0 |-1.678478e+02 |-4.600000e+01 | 72.59%
13.39/13.41 c 13.4s| 1 | 0 | 50809 | - | 40M| 0 | 451 | 500 |7858 | 500 |2583 |5419 | 0 | 0 |-1.669530e+02 |-4.600000e+01 | 72.45%
13.89/13.96 c 14.0s| 1 | 0 | 52439 | - | 41M| 0 | 452 | 500 |7858 | 500 |2602 |5438 | 0 | 0 |-1.656573e+02 |-4.600000e+01 | 72.23%
14.39/14.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.39/14.48 c 14.5s| 1 | 0 | 53709 | - | 41M| 0 | 452 | 500 |7858 | 500 |2659 |5495 | 0 | 0 |-1.651316e+02 |-4.600000e+01 | 72.14%
14.89/14.97 c 15.0s| 1 | 0 | 54879 | - | 41M| 0 | 471 | 500 |7858 | 500 |2696 |5532 | 0 | 0 |-1.647061e+02 |-4.600000e+01 | 72.07%
15.49/15.53 c 15.5s| 1 | 0 | 56120 | - | 41M| 0 | 451 | 500 |7858 | 500 |2554 |5733 | 0 | 0 |-1.641847e+02 |-4.600000e+01 | 71.98%
15.99/16.02 c 16.0s| 1 | 0 | 57615 | - | 41M| 0 | 458 | 500 |7858 | 500 |2581 |5760 | 0 | 0 |-1.632410e+02 |-4.600000e+01 | 71.82%
16.40/16.45 c 16.4s| 1 | 0 | 58406 | - | 41M| 0 | 462 | 500 |7858 | 500 |2605 |5784 | 0 | 0 |-1.627281e+02 |-4.600000e+01 | 71.73%
16.99/17.00 c 17.0s| 1 | 0 | 59817 | - | 41M| 0 | 462 | 500 |7858 | 500 |2678 |5857 | 0 | 0 |-1.619463e+02 |-4.600000e+01 | 71.60%
17.39/17.47 c 17.5s| 1 | 0 | 60474 | - | 41M| 0 | 466 | 500 |7858 | 500 |2742 |5921 | 0 | 0 |-1.613703e+02 |-4.600000e+01 | 71.49%
17.99/18.09 c 18.1s| 1 | 0 | 61868 | - | 41M| 0 | 478 | 500 |7858 | 500 |2790 |5969 | 0 | 0 |-1.608553e+02 |-4.600000e+01 | 71.40%
18.70/18.70 c 18.7s| 1 | 0 | 62866 | - | 41M| 0 | 469 | 500 |7858 | 500 |2623 |6030 | 0 | 0 |-1.604945e+02 |-4.600000e+01 | 71.34%
19.29/19.36 c 19.4s| 1 | 0 | 64542 | - | 41M| 0 | 469 | 500 |7858 | 500 |2646 |6053 | 0 | 0 |-1.598591e+02 |-4.600000e+01 | 71.22%
19.90/19.95 c 19.9s| 1 | 0 | 65879 | - | 41M| 0 | 464 | 500 |7858 | 500 |2674 |6081 | 0 | 0 |-1.591806e+02 |-4.600000e+01 | 71.10%
20.49/20.52 c 20.5s| 1 | 0 | 66960 | - | 41M| 0 | 472 | 500 |7858 | 500 |2694 |6101 | 0 | 0 |-1.585807e+02 |-4.600000e+01 | 70.99%
21.09/21.11 c 21.1s| 1 | 0 | 68183 | - | 41M| 0 | 477 | 500 |7858 | 500 |2725 |6132 | 0 | 0 |-1.578714e+02 |-4.600000e+01 | 70.86%
21.79/21.80 c 21.8s| 1 | 0 | 69687 | - | 41M| 0 | 481 | 500 |7858 | 500 |2823 |6230 | 0 | 0 |-1.574434e+02 |-4.600000e+01 | 70.78%
22.39/22.43 c 22.4s| 1 | 0 | 70759 | - | 41M| 0 | 480 | 500 |7858 | 500 |2672 |6256 | 0 | 0 |-1.571590e+02 |-4.600000e+01 | 70.73%
23.10/23.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.10/23.14 c 23.1s| 1 | 0 | 72397 | - | 41M| 0 | 478 | 500 |7858 | 500 |2694 |6278 | 0 | 0 |-1.565689e+02 |-4.600000e+01 | 70.62%
23.79/23.80 c 23.8s| 1 | 0 | 73731 | - | 41M| 0 | 480 | 500 |7858 | 500 |2738 |6322 | 0 | 0 |-1.560984e+02 |-4.600000e+01 | 70.53%
24.49/24.53 c 24.5s| 1 | 0 | 75274 | - | 41M| 0 | 483 | 500 |7858 | 500 |2779 |6363 | 0 | 0 |-1.555109e+02 |-4.600000e+01 | 70.42%
25.09/25.11 c 25.1s| 1 | 0 | 75939 | - | 41M| 0 | 482 | 500 |7858 | 500 |2805 |6389 | 0 | 0 |-1.550691e+02 |-4.600000e+01 | 70.34%
25.69/25.75 c 25.8s| 1 | 0 | 76917 | - | 41M| 0 | 484 | 500 |7858 | 500 |2838 |6422 | 0 | 0 |-1.545379e+02 |-4.600000e+01 | 70.23%
26.30/26.35 c 26.4s| 1 | 0 | 77664 | - | 41M| 0 | 483 | 500 |7858 | 500 |2707 |6446 | 0 | 0 |-1.541588e+02 |-4.600000e+01 | 70.16%
26.89/26.99 c 27.0s| 1 | 0 | 78782 | - | 41M| 0 | 483 | 500 |7858 | 500 |2736 |6475 | 0 | 0 |-1.538189e+02 |-4.600000e+01 | 70.09%
27.50/27.55 c 27.6s| 1 | 0 | 79394 | - | 41M| 0 | 488 | 500 |7858 | 500 |2768 |6507 | 0 | 0 |-1.535762e+02 |-4.600000e+01 | 70.05%
28.09/28.18 c 28.2s| 1 | 0 | 80366 | - | 41M| 0 | 492 | 500 |7858 | 500 |2788 |6527 | 0 | 0 |-1.533694e+02 |-4.600000e+01 | 70.01%
28.69/28.73 c 28.7s| 1 | 0 | 80975 | - | 41M| 0 | 486 | 500 |7858 | 500 |2803 |6542 | 0 | 0 |-1.531462e+02 |-4.600000e+01 | 69.96%
29.29/29.31 c 29.3s| 1 | 0 | 81522 | - | 41M| 0 | 489 | 500 |7858 | 500 |2817 |6556 | 0 | 0 |-1.529748e+02 |-4.600000e+01 | 69.93%
29.79/29.89 c 29.9s| 1 | 0 | 82016 | - | 41M| 0 | 489 | 500 |7858 | 500 |2695 |6574 | 0 | 0 |-1.527316e+02 |-4.600000e+01 | 69.88%
30.49/30.50 c 30.5s| 1 | 0 | 82847 | - | 41M| 0 | 491 | 500 |7858 | 500 |2706 |6585 | 0 | 0 |-1.522856e+02 |-4.600000e+01 | 69.79%
31.09/31.15 c 31.2s| 1 | 0 | 83874 | - | 41M| 0 | 489 | 500 |7858 | 500 |2724 |6603 | 0 | 0 |-1.520476e+02 |-4.600000e+01 | 69.75%
31.69/31.79 c 31.8s| 1 | 0 | 84784 | - | 41M| 0 | 492 | 500 |7858 | 500 |2746 |6625 | 0 | 0 |-1.517019e+02 |-4.600000e+01 | 69.68%
32.29/32.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.29/32.36 c 32.4s| 1 | 0 | 85312 | - | 41M| 0 | 489 | 500 |7858 | 500 |2756 |6635 | 0 | 0 |-1.514720e+02 |-4.600000e+01 | 69.63%
32.89/32.97 c 33.0s| 1 | 0 | 86013 | - | 41M| 0 | 493 | 500 |7858 | 500 |2773 |6652 | 0 | 0 |-1.512487e+02 |-4.600000e+01 | 69.59%
33.49/33.58 c 33.6s| 1 | 0 | 86825 | - | 41M| 0 | 496 | 500 |7858 | 500 |2707 |6670 | 0 | 0 |-1.509078e+02 |-4.600000e+01 | 69.52%
34.10/34.16 c 34.2s| 1 | 0 | 87517 | - | 41M| 0 | 487 | 500 |7858 | 500 |2721 |6684 | 0 | 0 |-1.505336e+02 |-4.600000e+01 | 69.44%
34.59/34.69 c 34.7s| 1 | 0 | 88027 | - | 41M| 0 | 493 | 500 |7858 | 500 |2740 |6703 | 0 | 0 |-1.503260e+02 |-4.600000e+01 | 69.40%
35.29/35.30 c 35.3s| 1 | 0 | 88852 | - | 41M| 0 | 490 | 500 |7858 | 500 |2748 |6711 | 0 | 0 |-1.500361e+02 |-4.600000e+01 | 69.34%
35.79/35.85 c 35.9s| 1 | 0 | 89293 | - | 41M| 0 | 492 | 500 |7858 | 500 |2762 |6725 | 0 | 0 |-1.498768e+02 |-4.600000e+01 | 69.31%
36.39/36.40 c 36.4s| 1 | 0 | 89800 | - | 41M| 0 | 494 | 500 |7858 | 500 |2771 |6734 | 0 | 0 |-1.497220e+02 |-4.600000e+01 | 69.28%
36.89/36.92 c 36.9s| 1 | 0 | 90054 | - | 41M| 0 | 492 | 500 |7858 | 500 |2722 |6744 | 0 | 0 |-1.495822e+02 |-4.600000e+01 | 69.25%
37.30/37.39 c 37.4s| 1 | 0 | 90139 | - | 41M| 0 | 493 | 500 |7858 | 500 |2730 |6752 | 0 | 0 |-1.495674e+02 |-4.600000e+01 | 69.24%
37.89/37.91 c 37.9s| 1 | 0 | 90409 | - | 41M| 0 | 495 | 500 |7858 | 500 |2741 |6763 | 0 | 0 |-1.494572e+02 |-4.600000e+01 | 69.22%
38.40/38.48 c 38.5s| 1 | 0 | 90935 | - | 41M| 0 | 493 | 500 |7858 | 500 |2757 |6779 | 0 | 0 |-1.492768e+02 |-4.600000e+01 | 69.18%
39.00/39.02 c 39.0s| 1 | 0 | 91320 | - | 41M| 0 | 493 | 500 |7858 | 500 |2768 |6790 | 0 | 0 |-1.491808e+02 |-4.600000e+01 | 69.16%
39.50/39.58 c 39.6s| 1 | 0 | 91851 | - | 41M| 0 | 496 | 500 |7858 | 500 |2779 |6801 | 0 | 0 |-1.489645e+02 |-4.600000e+01 | 69.12%
40.09/40.13 c 40.1s| 1 | 0 | 92346 | - | 41M| 0 | 494 | 500 |7858 | 500 |2747 |6810 | 0 | 0 |-1.488672e+02 |-4.600000e+01 | 69.10%
40.60/40.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.60/40.64 c 40.6s| 1 | 0 | 92628 | - | 41M| 0 | 494 | 500 |7858 | 500 |2758 |6821 | 0 | 0 |-1.487866e+02 |-4.600000e+01 | 69.08%
41.09/41.15 c 41.1s| 1 | 0 | 92999 | - | 41M| 0 | 495 | 500 |7858 | 500 |2769 |6832 | 0 | 0 |-1.486906e+02 |-4.600000e+01 | 69.06%
41.59/41.65 c 41.7s| 1 | 0 | 93325 | - | 41M| 0 | 494 | 500 |7858 | 500 |2781 |6844 | 0 | 0 |-1.486140e+02 |-4.600000e+01 | 69.05%
42.09/42.18 c 42.2s| 1 | 0 | 93770 | - | 41M| 0 | 495 | 500 |7858 | 500 |2800 |6863 | 0 | 0 |-1.485362e+02 |-4.600000e+01 | 69.03%
42.60/42.67 c 42.7s| 1 | 0 | 94020 | - | 41M| 0 | 494 | 500 |7858 | 500 |2809 |6872 | 0 | 0 |-1.484812e+02 |-4.600000e+01 | 69.02%
43.19/43.22 c 43.2s| 1 | 0 | 94562 | - | 41M| 0 | 494 | 500 |7858 | 500 |2789 |6881 | 0 | 0 |-1.483578e+02 |-4.600000e+01 | 68.99%
43.69/43.74 c 43.7s| 1 | 0 | 95013 | - | 41M| 0 | 492 | 500 |7858 | 500 |2805 |6897 | 0 | 0 |-1.482873e+02 |-4.600000e+01 | 68.98%
44.19/44.26 c 44.3s| 1 | 0 | 95458 | - | 40M| 0 | 493 | 500 |7858 | 500 |2813 |6905 | 0 | 0 |-1.482254e+02 |-4.600000e+01 | 68.97%
44.69/44.76 c 44.8s| 1 | 0 | 95671 | - | 40M| 0 | 495 | 500 |7858 | 500 |2824 |6916 | 0 | 0 |-1.481955e+02 |-4.600000e+01 | 68.96%
45.19/45.29 c 45.3s| 1 | 0 | 96195 | - | 40M| 0 | 497 | 500 |7858 | 500 |2835 |6927 | 0 | 0 |-1.481178e+02 |-4.600000e+01 | 68.94%
45.79/45.82 c 45.8s| 1 | 0 | 96699 | - | 40M| 0 | 496 | 500 |7858 | 500 |2845 |6937 | 0 | 0 |-1.480555e+02 |-4.600000e+01 | 68.93%
46.29/46.37 c 46.4s| 1 | 0 | 97287 | - | 39M| 0 | 498 | 500 |7858 | 500 |2795 |6946 | 0 | 0 |-1.479865e+02 |-4.600000e+01 | 68.92%
46.79/46.87 c 46.9s| 1 | 0 | 97603 | - | 38M| 0 | 498 | 500 |7858 | 500 |2805 |6956 | 0 | 0 |-1.479599e+02 |-4.600000e+01 | 68.91%
47.29/47.37 c 47.4s| 1 | 0 | 97871 | - | 38M| 0 | 497 | 500 |7858 | 500 |2815 |6966 | 0 | 0 |-1.479334e+02 |-4.600000e+01 | 68.90%
47.79/47.89 c 47.9s| 1 | 0 | 98364 | - | 38M| 0 | 498 | 500 |7858 | 500 |2827 |6978 | 0 | 0 |-1.478695e+02 |-4.600000e+01 | 68.89%
48.30/48.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.30/48.37 c 48.4s| 1 | 0 | 98704 | - | 37M| 0 | 498 | 500 |7858 | 500 |2838 |6989 | 0 | 0 |-1.478209e+02 |-4.600000e+01 | 68.88%
48.79/48.88 c 48.9s| 1 | 0 | 99040 | - | 37M| 0 | 498 | 500 |7858 | 500 |2849 |7000 | 0 | 0 |-1.477877e+02 |-4.600000e+01 | 68.87%
49.30/49.37 c 49.4s| 1 | 0 | 99261 | - | 37M| 0 | 498 | 500 |7858 | 500 |2812 |7010 | 0 | 0 |-1.477440e+02 |-4.600000e+01 | 68.87%
49.80/49.89 c 49.9s| 1 | 0 | 99645 | - | 37M| 0 | 500 | 500 |7858 | 500 |2824 |7022 | 0 | 0 |-1.476969e+02 |-4.600000e+01 | 68.86%
50.30/50.36 c 50.4s| 1 | 0 | 99859 | - | 37M| 0 | 500 | 500 |7858 | 500 |2836 |7034 | 0 | 0 |-1.476761e+02 |-4.600000e+01 | 68.85%
50.79/50.83 c 50.8s| 1 | 0 |100083 | - | 35M| 0 | 498 | 500 |7858 | 500 |2848 |7046 | 0 | 0 |-1.476589e+02 |-4.600000e+01 | 68.85%
51.29/51.32 c 51.3s| 1 | 0 |100469 | - | 35M| 0 | 499 | 500 |7858 | 500 |2860 |7058 | 0 | 0 |-1.476380e+02 |-4.600000e+01 | 68.84%
51.69/51.79 c 51.8s| 1 | 0 |100755 | - | 34M| 0 | 500 | 500 |7858 | 500 |2870 |7068 | 0 | 0 |-1.476224e+02 |-4.600000e+01 | 68.84%
52.29/52.32 c 52.3s| 1 | 0 |101386 | - | 34M| 0 | 499 | 500 |7858 | 500 |2835 |7079 | 0 | 0 |-1.476017e+02 |-4.600000e+01 | 68.84%
52.70/52.78 c 52.8s| 1 | 0 |101691 | - | 34M| 0 | 500 | 500 |7858 | 500 |2846 |7090 | 0 | 0 |-1.475875e+02 |-4.600000e+01 | 68.83%
53.19/53.21 c 53.2s| 1 | 0 |101887 | - | 34M| 0 | 499 | 500 |7858 | 500 |2854 |7098 | 0 | 0 |-1.475811e+02 |-4.600000e+01 | 68.83%
53.59/53.69 c 53.7s| 1 | 0 |102387 | - | 34M| 0 | 499 | 500 |7858 | 500 |2864 |7108 | 0 | 0 |-1.475599e+02 |-4.600000e+01 | 68.83%
54.09/54.19 c 54.2s| 1 | 0 |102889 | - | 34M| 0 | 499 | 500 |7858 | 500 |2876 |7120 | 0 | 0 |-1.475342e+02 |-4.600000e+01 | 68.82%
54.59/54.61 c 54.6s| 1 | 0 |103076 | - | 33M| 0 | 500 | 500 |7858 | 500 |2885 |7129 | 0 | 0 |-1.475280e+02 |-4.600000e+01 | 68.82%
55.00/55.07 c 55.1s| 1 | 0 |103380 | - | 33M| 0 | 499 | 500 |7858 | 500 |2822 |7137 | 0 | 0 |-1.475196e+02 |-4.600000e+01 | 68.82%
55.50/55.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.50/55.51 c 55.5s| 1 | 0 |103629 | - | 32M| 0 | 500 | 500 |7858 | 500 |2828 |7143 | 0 | 0 |-1.475131e+02 |-4.600000e+01 | 68.82%
55.90/55.94 c 55.9s| 1 | 0 |103823 | - | 32M| 0 | 500 | 500 |7858 | 500 |2836 |7151 | 0 | 0 |-1.475082e+02 |-4.600000e+01 | 68.82%
56.29/56.37 c 56.4s| 1 | 0 |104068 | - | 31M| 0 | 500 | 500 |7858 | 500 |2843 |7158 | 0 | 0 |-1.475027e+02 |-4.600000e+01 | 68.81%
56.69/56.78 c 56.8s| 1 | 0 |104144 | - | 31M| 0 | 449 | 500 |7858 | 500 |2848 |7163 | 0 | 0 |-1.475000e+02 |-4.600000e+01 | 68.81%
59.99/60.00 c 60.0s| 1 | 2 |104144 | - | 31M| 0 | 449 | 500 |7858 | 500 |2848 |7163 | 0 | 18 |-1.475000e+02 |-4.600000e+01 | 68.81%
195.19/195.23 c 195s| 10000 | 10001 | 1657k| 155.3 | 45M| 56 | 10 | 500 |7858 | 500 | 500 | 518k| 0 |2670 |-1.435883e+02 |-4.600000e+01 | 67.96%
280.19/280.23 c 280s| 20000 | 20001 | 2854k| 137.5 | 58M| 56 | 35 | 500 |7858 | 500 | 500 |1054k| 0 |4244 |-1.428582e+02 |-4.600000e+01 | 67.80%
355.90/355.96 c 356s| 30000 | 30001 | 3952k| 128.3 | 72M| 67 | 167 | 500 |7858 | 500 | 770 |1571k| 0 |5188 |-1.423890e+02 |-4.600000e+01 | 67.69%
428.30/428.35 c 428s| 40000 | 40001 | 5023k| 123.0 | 85M| 69 | 85 | 500 |7858 | 500 | 563 |2081k| 0 |6281 |-1.420896e+02 |-4.600000e+01 | 67.63%
497.40/497.45 c 497s| 50000 | 50001 | 6067k| 119.3 | 98M| 69 | 13 | 500 |7858 | 500 | 500 |2582k| 0 |7137 |-1.418194e+02 |-4.600000e+01 | 67.56%
564.90/564.98 c 565s| 60000 | 60001 | 7084k| 116.3 | 111M| 69 | 44 | 500 |7858 | 500 | 588 |3082k| 0 |7925 |-1.416264e+02 |-4.600000e+01 | 67.52%
633.21/633.27 c 633s| 70000 | 70001 | 8124k| 114.6 | 125M| 73 | 98 | 500 |7858 | 500 | 671 |3595k| 0 |8633 |-1.414631e+02 |-4.600000e+01 | 67.48%
696.81/696.84 c 697s| 80000 | 80001 | 9092k| 112.4 | 138M| 75 | 18 | 500 |7858 | 500 | 565 |4075k| 0 |9287 |-1.413277e+02 |-4.600000e+01 | 67.45%
760.01/760.04 c 760s| 90000 | 90001 | 10066k| 110.7 | 151M| 75 | 59 | 500 |7858 | 500 | 500 |4559k| 0 |9823 |-1.412086e+02 |-4.600000e+01 | 67.42%
822.00/822.05 c 822s|100000 |100001 | 11025k| 109.2 | 164M| 77 | 145 | 500 |7858 | 500 | 734 |5050k| 0 | 10k|-1.410821e+02 |-4.600000e+01 | 67.39%
883.50/883.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.50/883.58 c 884s|110000 |110001 | 11973k| 107.9 | 177M| 77 | 17 | 500 |7858 | 500 | 500 |5543k| 0 | 11k|-1.409801e+02 |-4.600000e+01 | 67.37%
944.81/944.87 c 945s|120000 |120001 | 12922k| 106.8 | 190M| 77 | 33 | 500 |7858 | 500 | 500 |6032k| 0 | 11k|-1.408603e+02 |-4.600000e+01 | 67.34%
1005.21/1005.29 c 1005s|130000 |130001 | 13864k| 105.8 | 204M| 77 | 58 | 500 |7858 | 500 | 566 |6511k| 0 | 12k|-1.407673e+02 |-4.600000e+01 | 67.32%
1019.91/1019.90 o -48
1019.91/1019.90 c f1020s|132629 |132630 | 14102k| 105.5 | 207M| 77 | - | 500 |7858 | 500 | 697 |6640k| 0 | 12k|-1.407427e+02 |-4.800000e+01 | 65.90%
1063.21/1063.27 c 1063s|140000 |140001 | 14768k| 104.7 | 216M| 82 | 66 | 500 |7858 | 500 | 564 |6987k| 0 | 12k|-1.406969e+02 |-4.800000e+01 | 65.88%
1114.91/1114.93 c 1115s|150000 |150001 | 15593k| 103.3 | 229M| 82 | 180 | 500 |7858 | 500 | 552 |7448k| 0 | 12k|-1.406266e+02 |-4.800000e+01 | 65.87%
1168.31/1168.32 c 1168s|160000 |160001 | 16434k| 102.1 | 242M| 82 | 188 | 500 |7858 | 500 | 792 |7922k| 0 | 13k|-1.405610e+02 |-4.800000e+01 | 65.85%
1192.02/1192.06 o -57
1192.02/1192.06 c l1192s|164521 |164520 | 16813k| 101.6 | 248M| 82 | - | 500 |7858 | 500 | 645 |8133k| 0 | 13k|-1.405308e+02 |-5.700000e+01 | 59.44%
1220.81/1220.82 c 1221s|170000 |169999 | 17269k| 101.0 | 254M| 82 | 49 | 500 |7858 | 500 | 629 |8384k| 0 | 13k|-1.405042e+02 |-5.700000e+01 | 59.43%
1271.01/1271.09 c 1271s|180000 |179999 | 18078k| 99.9 | 267M| 82 | 103 | 500 |7858 | 500 | 668 |8844k| 0 | 14k|-1.404545e+02 |-5.700000e+01 | 59.42%
1322.12/1322.14 c 1322s|190000 |189999 | 18887k| 98.9 | 280M| 82 | 91 | 500 |7858 | 500 | 613 |9300k| 0 | 14k|-1.404043e+02 |-5.700000e+01 | 59.40%
1372.62/1372.64 c 1373s|200000 |199999 | 19698k| 98.0 | 293M| 82 | 3 | 500 |7858 | 500 | 598 |9762k| 0 | 14k|-1.403533e+02 |-5.700000e+01 | 59.39%
1422.02/1422.08 c 1422s|210000 |209999 | 20492k| 97.1 | 305M| 86 | 58 | 500 |7858 | 500 | 617 | 10M| 0 | 15k|-1.403165e+02 |-5.700000e+01 | 59.38%
1471.42/1471.43 c 1471s|220000 |219999 | 21292k| 96.3 | 318M| 86 | 119 | 500 |7858 | 500 | 667 | 10M| 0 | 15k|-1.402729e+02 |-5.700000e+01 | 59.36%
1522.42/1522.46 c 1522s|230000 |229997 | 22112k| 95.7 | 331M| 86 | 78 | 500 |7858 | 500 | 606 | 11M| 0 | 16k|-1.402253e+02 |-5.700000e+01 | 59.35%
1571.82/1571.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.82/1571.87 c 1572s|240000 |239995 | 22907k| 95.0 | 343M| 86 | 23 | 500 |7858 | 500 | 610 | 11M| 0 | 16k|-1.401853e+02 |-5.700000e+01 | 59.34%
1622.12/1622.12 c 1622s|250000 |249995 | 23719k| 94.5 | 356M| 86 | 13 | 500 |7858 | 500 | 629 | 12M| 0 | 16k|-1.401418e+02 |-5.700000e+01 | 59.33%
1672.62/1672.65 c 1673s|260000 |259995 | 24527k| 93.9 | 368M| 86 | 60 | 500 |7858 | 500 | 670 | 12M| 0 | 17k|-1.400958e+02 |-5.700000e+01 | 59.31%
1723.22/1723.20 c 1723s|270000 |269993 | 25345k| 93.5 | 381M| 86 | 112 | 500 |7858 | 500 | 757 | 12M| 0 | 17k|-1.400578e+02 |-5.700000e+01 | 59.30%
1772.43/1772.43 c 1772s|280000 |279991 | 26140k| 93.0 | 394M| 86 | 91 | 500 |7858 | 500 | 566 | 13M| 0 | 17k|-1.400243e+02 |-5.700000e+01 | 59.29%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 285134
1797.03/1797.00 c Primal Bound : -5.70000000000000e+01 (856 solutions)
1797.03/1797.00 c Dual Bound : -1.40004625894250e+02
1797.03/1797.00 c Gap : 59.29 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 v -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479
1797.03/1797.00 v x478 -x477 -x476 x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1797.03/1797.00 v -x457 -x456 -x455 -x454 -x453 -x452 x451 x450 -x449 -x448 x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1797.03/1797.00 v -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415
1797.03/1797.00 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 x397 -x396 -x395 -x394
1797.03/1797.00 v -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 x377 -x376 -x375 -x374 -x373 -x372
1797.03/1797.00 v x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 x354 -x353 -x352 -x351
1797.03/1797.00 v x350 -x349 x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1797.03/1797.00 v -x329 -x328 x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308
1797.03/1797.00 v x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 x291 -x290 -x289 -x288 -x287
1797.03/1797.00 v x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 x267 -x266
1797.03/1797.00 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244
1797.03/1797.00 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1797.03/1797.00 v -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 x209 -x208 -x207 x206 -x205 x204 x203 -x202
1797.03/1797.00 v x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180
1797.03/1797.00 v -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1797.03/1797.00 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1797.03/1797.00 v -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
1797.03/1797.00 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 x102 x101 -x100 -x99 -x98 -x97 -x96 -x95
1797.03/1797.00 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
1797.03/1797.00 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
1797.03/1797.00 v -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 -x19
1797.03/1797.00 v -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.17 (included in solving)
1797.03/1797.00 c reading : 0.02 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3485145-1307784167.opb
1797.03/1797.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 500 initial, 500 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3485145-1307784167.opb
1797.03/1797.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 7858 initial, 7858 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c and : 0.06 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.02 7858 0 0 7858 0 500 0 0 0
1797.03/1797.00 c logicor : 0.02 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 366594 0 331543 0 0 0 0 0 570260
1797.03/1797.00 c logicor : 7858 136 357869 81464 0 331539 0 0 3765377 13694978 0 0
1797.03/1797.00 c countsols : 0 0 0 0 0 858 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 96.87 0.00 0.00 96.77 0.00 0.10 0.00
1797.03/1797.00 c logicor : 68.18 0.21 17.78 25.58 0.00 24.62 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 2 0 0 0
1797.03/1797.00 c pseudoobj : 728274 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.12 0.12 0.00
1797.03/1797.00 c rootredcost : 0.13 0.13 0.00
1797.03/1797.00 c pseudoobj : 6.50 6.50 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 0 0.0 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.46 135 - - 1247 - (maximal pool size: 7746)
1797.03/1797.00 c redcost : 4.24 366730 0 2 0 0
1797.03/1797.00 c impliedbounds : 0.05 136 0 0 8148 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 34.07 136 0 0 30878 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.78 20 0 0 9942 0
1797.03/1797.00 c cmir : 0.19 10 0 0 0 0
1797.03/1797.00 c flowcover : 0.15 10 0 0 0 0
1797.03/1797.00 c clique : 1.22 135 0 0 1179 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 96.54 285130 0 0 0 0 570260
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c intshifting : 0.01 0 0
1797.03/1797.00 c oneopt : 0.13 4 1
1797.03/1797.00 c crossover : 0.52 29 1
1797.03/1797.00 c veclendiving : 26.73 4694 109
1797.03/1797.00 c guideddiving : 15.99 4694 60
1797.03/1797.00 c linesearchdiving : 16.41 4695 68
1797.03/1797.00 c coefdiving : 17.41 4695 69
1797.03/1797.00 c pscostdiving : 17.74 4695 108
1797.03/1797.00 c rootsoldiving : 14.03 2348 18
1797.03/1797.00 c objpscostdiving : 12.27 2348 23
1797.03/1797.00 c trivial : 0.00 2 1
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 14.61 285265 345
1797.03/1797.00 c zirounding : 0.19 1000 0
1797.03/1797.00 c rounding : 14.12 25573 1
1797.03/1797.00 c shifting : 4.85 7694 1
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c feaspump : 0.01 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c fracdiving : 16.21 4695 51
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.05 0 0
1797.03/1797.00 c trysol : 0.08 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 21.68 0 0 0.00 0.00
1797.03/1797.00 c dual LP : 1325.66 366733 24997933 68.16 18856.92
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 92.86 138170 1545521 11.19 16643.24
1797.03/1797.00 c strong branching : 89.27 17964 1216336 67.71 13625.93
1797.03/1797.00 c (at root node) : - 18 16189 899.39 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 285134
1797.03/1797.00 c nodes (total) : 285134
1797.03/1797.00 c nodes left : 285125
1797.03/1797.00 c max depth : 92
1797.03/1797.00 c max depth (total): 92
1797.03/1797.00 c backtracks : 32868 (11.5%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 3.79
1797.03/1797.00 c switching time : 47.43
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 856 (6 improvements)
1797.03/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1797.03/1797.00 c Primal Bound : -5.70000000000000e+01 (in run 1, after 164521 nodes, 1192.06 seconds, depth 62, found by <linesearchdiving>)
1797.03/1797.00 c Dual Bound : -1.40004625894250e+02
1797.03/1797.00 c Gap : 59.29 %
1797.03/1797.00 c Root Dual Bound : -1.47500000000000e+02
1797.03/1797.00 c Root Iterations : 104144
1797.52/1797.51 c Time complete: 1797.54.
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-3485145-1307784167/watcher-3485145-1307784167 -o /tmp/evaluation-result-3485145-1307784167/solver-3485145-1307784167 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485145-1307784167.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 6446
/proc/meminfo: memFree=31396128/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=10252 CPUtime=0 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 1579 0 0 0 0 0 0 0 25 0 1 0 870832971 10498048 1533 33554432000 4194304 8979876 140736578980208 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6446/statm: 2563 1533 367 1169 0 1390 0
[startup+0.0116149 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 6446
/proc/meminfo: memFree=31396128/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=10912 CPUtime=0 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 1741 0 0 0 0 0 0 0 25 0 1 0 870832971 11173888 1695 33554432000 4194304 8979876 140736578980208 18446744073709551615 6779000 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6446/statm: 2728 1698 367 1169 0 1555 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10912
[startup+0.100661 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 6446
/proc/meminfo: memFree=31396128/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=36424 CPUtime=0.09 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 8061 0 0 0 8 1 0 0 25 0 1 0 870832971 37298176 7758 33554432000 4194304 8979876 140736578980208 18446744073709551615 6443128 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 9106 7758 480 1169 0 7933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36424
[startup+0.30063 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 6446
/proc/meminfo: memFree=31396128/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=50764 CPUtime=0.29 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 11895 0 0 0 28 1 0 0 25 0 1 0 870832971 51982336 11335 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 12691 11335 652 1169 0 11518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50764
[startup+0.700566 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 6446
/proc/meminfo: memFree=31396128/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=52140 CPUtime=0.69 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 12348 0 0 0 68 1 0 0 25 0 1 0 870832971 53391360 11751 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 13035 11751 658 1169 0 11862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52140
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6447
/proc/meminfo: memFree=31348900/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=57164 CPUtime=1.49 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 13589 0 0 0 147 2 0 0 25 0 1 0 870832971 58535936 12987 33554432000 4194304 8979876 140736578980208 18446744073709551615 6282911 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 14291 12987 655 1169 0 13118 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57164
[startup+3.10115 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6447
/proc/meminfo: memFree=31343444/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=64752 CPUtime=3.09 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 15631 0 0 0 306 3 0 0 25 0 1 0 870832971 66306048 15004 33554432000 4194304 8979876 140736578980208 18446744073709551615 6601961 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 16188 15004 658 1169 0 15015 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64752
[startup+6.30057 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6447
/proc/meminfo: memFree=31324500/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=80312 CPUtime=6.29 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 19585 0 0 0 623 6 0 0 25 0 1 0 870832971 82239488 18923 33554432000 4194304 8979876 140736578980208 18446744073709551615 6584873 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 20078 18923 658 1169 0 18905 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80312
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6447
/proc/meminfo: memFree=31307976/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=91096 CPUtime=12.69 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 22091 0 0 0 1256 13 0 0 25 0 1 0 870832971 93282304 21429 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 22774 21429 658 1169 0 21601 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91096
[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6448
/proc/meminfo: memFree=31299236/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=95236 CPUtime=25.49 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 23055 0 0 0 2531 18 0 0 25 0 1 0 870832971 97521664 22383 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 23809 22383 658 1169 0 22636 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95236
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6448
/proc/meminfo: memFree=31286768/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=95236 CPUtime=51.09 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 23065 0 0 0 5080 29 0 0 25 0 1 0 870832971 97521664 22393 33554432000 4194304 8979876 140736578980208 18446744073709551615 6543876 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 23809 22393 658 1169 0 22636 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 95236
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6450
/proc/meminfo: memFree=31275836/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=93988 CPUtime=102.3 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 29553 0 0 0 10138 92 0 0 25 0 1 0 870832971 96243712 22240 33554432000 4194304 8979876 140736578980208 18446744073709551615 7171147 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 23497 22240 696 1169 0 22324 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 93988
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6454
/proc/meminfo: memFree=31247224/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=101856 CPUtime=162.3 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 34006 0 0 0 16048 182 0 0 25 0 1 0 870832971 104300544 24186 33554432000 4194304 8979876 140736578980208 18446744073709551615 4777088 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 25464 24186 696 1169 0 24291 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 101856
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6456
/proc/meminfo: memFree=31218876/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=111352 CPUtime=222.3 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 43777 0 0 0 21953 277 0 0 25 0 1 0 870832971 114024448 26603 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 27838 26603 698 1169 0 26665 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 111352
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6457
/proc/meminfo: memFree=31190796/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=125188 CPUtime=282.3 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 52107 0 0 0 27861 369 0 0 25 0 1 0 870832971 128192512 30079 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 31297 30079 698 1169 0 30124 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 125188
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6459
/proc/meminfo: memFree=31163092/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=134664 CPUtime=342.3 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 59465 0 0 0 33767 463 0 0 25 0 1 0 870832971 137895936 32509 33554432000 4194304 8979876 140736578980208 18446744073709551615 6581068 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 33666 32509 698 1169 0 32493 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 134664
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6461
/proc/meminfo: memFree=31137760/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=150280 CPUtime=402.3 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 63337 0 0 0 39665 565 0 0 25 0 1 0 870832971 153886720 36371 33554432000 4194304 8979876 140736578980208 18446744073709551615 4897609 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 37570 36371 698 1169 0 36397 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 150280
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6462
/proc/meminfo: memFree=31110540/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=160364 CPUtime=462.3 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 68401 0 0 0 45565 665 0 0 25 0 1 0 870832971 164212736 38953 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 40091 38953 698 1169 0 38918 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 160364
[startup+522.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/178 6464
/proc/meminfo: memFree=31090376/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=170624 CPUtime=522.3 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 71000 0 0 0 51466 764 0 0 25 0 1 0 870832971 174718976 41552 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 42656 41552 698 1169 0 41483 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 170624
[startup+582.301 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 6465
/proc/meminfo: memFree=31072832/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=184528 CPUtime=582.3 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 74559 0 0 0 57367 863 0 0 25 0 1 0 870832971 188956672 45110 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 46132 45110 698 1169 0 44959 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 184528
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30947220/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=286740 CPUtime=1062.31 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 114455 0 0 0 104563 1668 0 0 25 0 1 0 870832971 293621760 70387 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 71685 70387 700 1169 0 70512 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 286740
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 6480
/proc/meminfo: memFree=30926592/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=303868 CPUtime=1122.31 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 121205 0 0 0 110457 1774 0 0 25 0 1 0 870832971 311160832 74714 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 75967 74714 700 1169 0 74794 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 303868
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 6481
/proc/meminfo: memFree=30909436/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=319092 CPUtime=1182.31 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 127505 0 0 0 116352 1879 0 0 25 0 1 0 870832971 326750208 78532 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 79773 78532 700 1169 0 78600 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 319092
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6483
/proc/meminfo: memFree=30890052/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=333360 CPUtime=1242.32 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 142690 0 0 0 122247 1985 0 0 25 0 1 0 870832971 341360640 82176 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 83340 82176 700 1169 0 82167 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 333360
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6485
/proc/meminfo: memFree=30869800/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=349712 CPUtime=1302.32 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 149282 0 0 0 128143 2089 0 0 25 0 1 0 870832971 358105088 86309 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 87428 86309 700 1169 0 86255 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 349712
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6486
/proc/meminfo: memFree=30851144/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=368960 CPUtime=1362.31 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 155307 0 0 0 134038 2193 0 0 25 0 1 0 870832971 377815040 90143 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 92240 90143 700 1169 0 91067 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 368960
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6488
/proc/meminfo: memFree=30834356/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=383292 CPUtime=1422.32 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 158928 0 0 0 139935 2297 0 0 25 0 1 0 870832971 392491008 93764 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 95823 93764 700 1169 0 94650 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 383292
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6489
/proc/meminfo: memFree=30818692/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=396492 CPUtime=1482.32 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 164652 0 0 0 145831 2401 0 0 25 0 1 0 870832971 406007808 97132 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 99123 97132 700 1169 0 97950 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 396492
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6491
/proc/meminfo: memFree=30797928/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=416100 CPUtime=1542.32 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 169571 0 0 0 151733 2499 0 0 25 0 1 0 870832971 426086400 102051 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 104025 102051 700 1169 0 102852 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 416100
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6493
/proc/meminfo: memFree=30784368/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=427172 CPUtime=1602.32 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 172367 0 0 0 157629 2603 0 0 25 0 1 0 870832971 437424128 104847 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 106793 104847 700 1169 0 105620 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 427172
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/178 6494
/proc/meminfo: memFree=30767956/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=441280 CPUtime=1662.32 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 175972 0 0 0 163527 2705 0 0 25 0 1 0 870832971 451870720 108452 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 110320 108452 700 1169 0 109147 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 441280
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/178 6496
/proc/meminfo: memFree=30750660/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=457280 CPUtime=1722.32 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 182444 0 0 0 169422 2810 0 0 25 0 1 0 870832971 468254720 112468 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 114320 112468 700 1169 0 113147 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 457280
[startup+1782.3 s]
/proc/loadavg: 1.92 1.98 1.98 2/172 6521
/proc/meminfo: memFree=30998860/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=474548 CPUtime=1782.32 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 186856 0 0 0 175316 2916 0 0 25 0 1 0 870832971 485937152 116880 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 118637 116880 700 1169 0 117464 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 474548
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.85 1.97 1.98 2/172 6522
/proc/meminfo: memFree=30997868/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=474704 CPUtime=1785.52 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 186861 0 0 0 175629 2923 0 0 25 0 1 0 870832971 486096896 116885 33554432000 4194304 8979876 140736578980208 18446744073709551615 6742273 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 118676 116885 700 1169 0 117503 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 474704
[startup+1791.91 s]
/proc/loadavg: 1.78 1.95 1.97 2/172 6522
/proc/meminfo: memFree=30995752/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=476892 CPUtime=1791.93 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 187404 0 0 0 176258 2935 0 0 25 0 1 0 870832971 488337408 117428 33554432000 4194304 8979876 140736578980208 18446744073709551615 6581068 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 119223 117428 700 1169 0 118050 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 476892
[startup+1795.1 s]
/proc/loadavg: 1.72 1.93 1.97 2/172 6522
/proc/meminfo: memFree=30993768/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=478764 CPUtime=1795.13 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 187883 0 0 0 176573 2940 0 0 25 0 1 0 870832971 490254336 117907 33554432000 4194304 8979876 140736578980208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 119691 117907 700 1169 0 118518 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 478764
[startup+1796.7 s]
/proc/loadavg: 1.72 1.93 1.97 2/172 6522
/proc/meminfo: memFree=30993776/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=478764 CPUtime=1796.72 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 187883 0 0 0 176729 2943 0 0 25 0 1 0 870832971 490254336 117907 33554432000 4194304 8979876 140736578980208 18446744073709551615 7047319 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6446/statm: 119691 117907 700 1169 0 118518 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 478764
[startup+1797.1 s]
/proc/loadavg: 1.72 1.93 1.97 2/172 6522
/proc/meminfo: memFree=30993776/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=478764 CPUtime=1797.13 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 187886 0 0 0 176769 2944 0 0 25 0 1 0 870832971 490254336 117910 33554432000 4194304 8979876 140736578980208 18446744073709551615 6778271 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6446/statm: 119691 117910 703 1169 0 118518 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 478764
[startup+1797.5 s]
/proc/loadavg: 1.72 1.93 1.97 2/172 6522
/proc/meminfo: memFree=30993900/32951124 swapFree=67050916/67111528
[pid=6446] ppid=6444 vsize=418388 CPUtime=1797.52 cores=0,2,4,6
/proc/6446/stat : 6446 (scip-2.0.1.4_2.) R 6444 6446 4338 0 -1 4202496 187886 0 0 0 176808 2944 0 0 25 0 1 0 870832971 428429312 77785 33554432000 4194304 8979876 140736578980208 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6446/statm: 104597 77785 703 1169 0 103424 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 418388
Child status: 0
Real time (s): 1797.51
CPU time (s): 1797.55
CPU user time (s): 1768.09
CPU system time (s): 29.4605
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 478764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.09
system time used= 29.4605
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187891
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= 4
involuntary context switches= 3263
runsolver used 2.68959 second user time and 5.50016 second system time
The end