Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -102 | 1797.26 | 1797.22 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_2.opb |
| MD5SUM | 1af848a7208b60f67c27d4022c7b5abe |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -125 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -151 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31544 |
| Sum of products size (including duplicates) | 63088 |
| Number of different products | 15772 |
| Sum of products size | 31544 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488605-1307784423.opb>
0.06/0.08 c original problem has 16772 variables (16772 bin, 0 int, 0 impl, 0 cont) and 17772 constraints
0.06/0.08 c problem read
0.06/0.08 c presolving settings loaded
0.09/0.17 o 0
0.09/0.17 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.17 c presolving:
0.29/0.31 c (round 1) 15772 del vars, 2000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63088 impls, 0 clqs
0.29/0.33 c (round 2) 15772 del vars, 2000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 15772 upgd conss, 63088 impls, 0 clqs
0.39/0.40 c (0.4s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.40 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.40 c presolving (3 rounds):
0.39/0.40 c 15772 deleted vars, 2000 deleted constraints, 0 added constraints, 15772 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.40 c 94630 implications, 0 cliques
0.39/0.40 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15772 constraints
0.39/0.40 c 15772 constraints of type <setppc>
0.39/0.40 c transformed objective value is always integral (scale: 1)
0.39/0.40 c Presolving Time: 0.27
0.39/0.40 c - non default parameters ----------------------------------------------------------------------
0.39/0.40 c # SCIP version 2.0.1.5
0.39/0.40 c
0.39/0.40 c # frequency for displaying node information lines
0.39/0.40 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.40 c display/freq = 10000
0.39/0.40 c
0.39/0.40 c # maximal time in seconds to run
0.39/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40 c limits/time = 1797
0.39/0.40 c
0.39/0.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40 c limits/memory = 13950
0.39/0.40 c
0.39/0.40 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.40 c # [type: int, range: [1,2], default: 1]
0.39/0.40 c timing/clocktype = 2
0.39/0.40 c
0.39/0.40 c # belongs reading time to solving time?
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c timing/reading = TRUE
0.39/0.40 c
0.39/0.40 c # should presolving try to simplify inequalities
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/linear/simplifyinequalities = TRUE
0.39/0.40 c
0.39/0.40 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/indicator/addCouplingCons = TRUE
0.39/0.40 c
0.39/0.40 c # should presolving try to simplify knapsacks
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.40 c
0.39/0.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.40 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.40 c separating/rapidlearning/freq = 0
0.39/0.40 c
0.39/0.40 c -----------------------------------------------------------------------------------------------
0.39/0.40 c start solving
0.39/0.40 c
0.59/0.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.62 c t 0.6s| 1 | 0 | 1041 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.59/0.65 o -1
0.59/0.65 c R 0.7s| 1 | 0 | 1041 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.59/0.68 o -2
0.59/0.68 c s 0.7s| 1 | 0 | 1041 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
0.89/0.99 c 1.0s| 1 | 0 | 1261 | - | 52M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | 99.60%
0.89/0.99 o -102
0.89/0.99 c b 1.0s| 1 | 0 | 1261 | - | 52M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-1.020000e+02 | 79.41%
1.29/1.36 c 1.4s| 1 | 0 | 1445 | - | 52M| 0 | 987 |1000 | 15k|1000 | 15k| 20 | 0 | 0 |-4.930000e+02 |-1.020000e+02 | 79.31%
1.69/1.77 c 1.8s| 1 | 0 | 1663 | - | 52M| 0 | 981 |1000 | 15k|1000 | 15k| 28 | 0 | 0 |-4.905000e+02 |-1.020000e+02 | 79.20%
2.10/2.19 c 2.2s| 1 | 0 | 2013 | - | 52M| 0 | 975 |1000 | 15k|1000 | 15k| 40 | 0 | 0 |-4.875000e+02 |-1.020000e+02 | 79.08%
2.59/2.60 c 2.6s| 1 | 0 | 2268 | - | 52M| 0 | 968 |1000 | 15k|1000 | 15k| 51 | 0 | 0 |-4.840000e+02 |-1.020000e+02 | 78.93%
2.99/3.01 c 3.0s| 1 | 0 | 2530 | - | 52M| 0 | 965 |1000 | 15k|1000 | 15k| 65 | 0 | 0 |-4.815000e+02 |-1.020000e+02 | 78.82%
3.59/3.66 c 3.7s| 1 | 0 | 3366 | - | 52M| 0 | 954 |1000 | 15k|1000 | 15k| 78 | 0 | 0 |-4.770000e+02 |-1.020000e+02 | 78.62%
4.09/4.16 c 4.2s| 1 | 0 | 3816 | - | 52M| 0 | 948 |1000 | 15k|1000 | 15k| 89 | 0 | 0 |-4.735000e+02 |-1.020000e+02 | 78.46%
4.59/4.68 c 4.7s| 1 | 0 | 4337 | - | 53M| 0 | 941 |1000 | 15k|1000 | 15k| 100 | 0 | 0 |-4.700000e+02 |-1.020000e+02 | 78.30%
5.19/5.25 c 5.2s| 1 | 0 | 4983 | - | 53M| 0 | 937 |1000 | 15k|1000 | 15k| 109 | 0 | 0 |-4.680000e+02 |-1.020000e+02 | 78.21%
5.79/5.81 c 5.8s| 1 | 0 | 5696 | - | 53M| 0 | 933 |1000 | 15k|1000 |1694 | 118 | 0 | 0 |-4.665000e+02 |-1.020000e+02 | 78.14%
6.19/6.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.19/6.24 c 6.2s| 1 | 0 | 7102 | - | 54M| 0 | 929 |1000 | 15k|1000 |1702 | 126 | 0 | 0 |-4.650000e+02 |-1.020000e+02 | 78.06%
6.39/6.44 c 6.4s| 1 | 0 | 7666 | - | 54M| 0 | 922 |1000 | 15k|1000 |1755 | 179 | 0 | 0 |-4.632500e+02 |-1.020000e+02 | 77.98%
6.59/6.69 c 6.7s| 1 | 0 | 8332 | - | 54M| 0 | 922 |1000 | 15k|1000 |1947 | 371 | 0 | 0 |-4.621667e+02 |-1.020000e+02 | 77.93%
6.89/6.96 c 7.0s| 1 | 0 | 9098 | - | 55M| 0 | 914 |1000 | 15k|1000 |2205 | 629 | 0 | 0 |-4.613333e+02 |-1.020000e+02 | 77.89%
7.19/7.27 c 7.3s| 1 | 0 | 10247 | - | 55M| 0 | 926 |1000 | 15k|1000 |2406 | 830 | 0 | 0 |-4.593333e+02 |-1.020000e+02 | 77.79%
7.70/7.71 c 7.7s| 1 | 0 | 11867 | - | 56M| 0 | 916 |1000 | 15k|1000 |2206 |1028 | 0 | 0 |-4.570625e+02 |-1.020000e+02 | 77.68%
7.99/8.03 c 8.0s| 1 | 0 | 12327 | - | 58M| 0 | 902 |1000 | 15k|1000 |2287 |1109 | 0 | 0 |-4.554239e+02 |-1.020000e+02 | 77.60%
8.29/8.35 c 8.3s| 1 | 0 | 13573 | - | 59M| 0 | 922 |1000 | 15k|1000 |2464 |1286 | 0 | 0 |-4.535000e+02 |-1.020000e+02 | 77.51%
8.89/8.90 c 8.9s| 1 | 0 | 14937 | - | 61M| 0 | 894 |1000 | 15k|1000 |3094 |1916 | 0 | 0 |-4.510000e+02 |-1.020000e+02 | 77.38%
9.09/9.11 c 9.1s| 1 | 0 | 15818 | - | 61M| 0 | 897 |1000 | 15k|1000 |3185 |2007 | 0 | 0 |-4.495000e+02 |-1.020000e+02 | 77.31%
9.19/9.28 c 9.3s| 1 | 0 | 16107 | - | 61M| 0 | 887 |1000 | 15k|1000 |3215 |2037 | 0 | 0 |-4.485000e+02 |-1.020000e+02 | 77.26%
9.49/9.58 c 9.6s| 1 | 0 | 17070 | - | 61M| 0 | 900 |1000 | 15k|1000 |3063 |2158 | 0 | 0 |-4.470000e+02 |-1.020000e+02 | 77.18%
9.99/10.05 c 10.1s| 1 | 0 | 19495 | - | 61M| 0 | 938 |1000 | 15k|1000 |3180 |2275 | 0 | 0 |-4.440588e+02 |-1.020000e+02 | 77.03%
10.49/10.50 c 10.5s| 1 | 0 | 19608 | - | 63M| 0 | 888 |1000 | 15k|1000 |5180 |4275 | 0 | 0 |-4.440000e+02 |-1.020000e+02 | 77.03%
11.00/11.01 c 11.0s| 1 | 0 | 21653 | - | 63M| 0 | 885 |1000 | 15k|1000 |5192 |4287 | 0 | 0 |-4.435000e+02 |-1.020000e+02 | 77.00%
11.19/11.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.19/11.29 c 11.3s| 1 | 0 | 22430 | - | 63M| 0 | 879 |1000 | 15k|1000 |5295 |4390 | 0 | 0 |-4.415000e+02 |-1.020000e+02 | 76.90%
11.69/11.70 c 11.7s| 1 | 0 | 24075 | - | 63M| 0 | 890 |1000 | 15k|1000 |5369 |4464 | 0 | 0 |-4.389286e+02 |-1.020000e+02 | 76.76%
12.00/12.02 c 12.0s| 1 | 0 | 24915 | - | 63M| 0 | 886 |1000 | 15k|1000 |4147 |4542 | 0 | 0 |-4.366250e+02 |-1.020000e+02 | 76.64%
12.30/12.34 c 12.3s| 1 | 0 | 26133 | - | 64M| 0 | 897 |1000 | 15k|1000 |4181 |4576 | 0 | 0 |-4.355000e+02 |-1.020000e+02 | 76.58%
12.69/12.71 c 12.7s| 1 | 0 | 27581 | - | 64M| 0 | 864 |1000 | 15k|1000 |4362 |4757 | 0 | 0 |-4.345000e+02 |-1.020000e+02 | 76.52%
12.99/13.06 c 13.1s| 1 | 0 | 28689 | - | 64M| 0 | 874 |1000 | 15k|1000 |4471 |4866 | 0 | 0 |-4.335000e+02 |-1.020000e+02 | 76.47%
13.39/13.49 c 13.5s| 1 | 0 | 30078 | - | 65M| 0 | 856 |1000 | 15k|1000 |4562 |4957 | 0 | 0 |-4.325000e+02 |-1.020000e+02 | 76.42%
13.79/13.88 c 13.9s| 1 | 0 | 31342 | - | 65M| 0 | 864 |1000 | 15k|1000 |4785 |5180 | 0 | 0 |-4.320000e+02 |-1.020000e+02 | 76.39%
14.30/14.36 c 14.4s| 1 | 0 | 33150 | - | 66M| 0 | 886 |1000 | 15k|1000 |2258 |5379 | 0 | 0 |-4.312333e+02 |-1.020000e+02 | 76.35%
14.59/14.61 c 14.6s| 1 | 0 | 33824 | - | 66M| 0 | 872 |1000 | 15k|1000 |2574 |5695 | 0 | 0 |-4.305556e+02 |-1.020000e+02 | 76.31%
15.19/15.27 c 15.3s| 1 | 0 | 36695 | - | 67M| 0 | 891 |1000 | 15k|1000 |3199 |6320 | 0 | 0 |-4.290000e+02 |-1.020000e+02 | 76.22%
15.49/15.55 c 15.6s| 1 | 0 | 37181 | - | 69M| 0 | 857 |1000 | 15k|1000 |3562 |6683 | 0 | 0 |-4.285000e+02 |-1.020000e+02 | 76.20%
16.59/16.69 c 16.7s| 1 | 0 | 44500 | - | 69M| 0 | 854 |1000 | 15k|1000 |3575 |6696 | 0 | 0 |-4.265000e+02 |-1.020000e+02 | 76.08%
17.29/17.34 c 17.3s| 1 | 0 | 47157 | - | 69M| 0 | 926 |1000 | 15k|1000 |3624 |6745 | 0 | 0 |-4.252463e+02 |-1.020000e+02 | 76.01%
18.09/18.13 c 18.1s| 1 | 0 | 47806 | - | 70M| 0 | 845 |1000 | 15k|1000 |4943 |8745 | 0 | 0 |-4.245000e+02 |-1.020000e+02 | 75.97%
18.29/18.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.29/18.33 c 18.3s| 1 | 0 | 48053 | - | 71M| 0 | 846 |1000 | 15k|1000 |4997 |8799 | 0 | 0 |-4.240000e+02 |-1.020000e+02 | 75.94%
18.79/18.82 c 18.8s| 1 | 0 | 49832 | - | 72M| 0 | 862 |1000 | 15k|1000 |5028 |8830 | 0 | 0 |-4.235552e+02 |-1.020000e+02 | 75.92%
19.29/19.32 c 19.3s| 1 | 0 | 51169 | - | 72M| 0 | 848 |1000 | 15k|1000 |5171 |8973 | 0 | 0 |-4.225000e+02 |-1.020000e+02 | 75.86%
19.70/19.77 c 19.8s| 1 | 0 | 52554 | - | 72M| 0 | 856 |1000 | 15k|1000 |5222 |9024 | 0 | 0 |-4.215000e+02 |-1.020000e+02 | 75.80%
20.19/20.25 c 20.3s| 1 | 0 | 53845 | - | 73M| 0 | 846 |1000 | 15k|1000 |5325 |9127 | 0 | 0 |-4.205000e+02 |-1.020000e+02 | 75.74%
20.59/20.62 c 20.6s| 1 | 0 | 54713 | - | 73M| 0 | 865 |1000 | 15k|1000 |4244 |9194 | 0 | 0 |-4.182500e+02 |-1.020000e+02 | 75.61%
20.99/21.05 c 21.1s| 1 | 0 | 55822 | - | 73M| 0 | 857 |1000 | 15k|1000 |4320 |9270 | 0 | 0 |-4.165000e+02 |-1.020000e+02 | 75.51%
21.49/21.52 c 21.5s| 1 | 0 | 56876 | - | 73M| 0 | 827 |1000 | 15k|1000 |4455 |9405 | 0 | 0 |-4.155000e+02 |-1.020000e+02 | 75.45%
21.79/21.80 c 21.8s| 1 | 0 | 57941 | - | 73M| 0 | 834 |1000 | 15k|1000 |4536 |9486 | 0 | 0 |-4.142500e+02 |-1.020000e+02 | 75.38%
22.19/22.25 c 22.2s| 1 | 0 | 59606 | - | 74M| 0 | 865 |1000 | 15k|1000 |4598 |9548 | 0 | 0 |-4.134226e+02 |-1.020000e+02 | 75.33%
22.79/22.83 c 22.8s| 1 | 0 | 61302 | - | 75M| 0 | 849 |1000 | 15k|1000 |4913 |9863 | 0 | 0 |-4.119238e+02 |-1.020000e+02 | 75.24%
23.40/23.48 c 23.5s| 1 | 0 | 63184 | - | 76M| 0 | 858 |1000 | 15k|1000 |3363 | 10k| 0 | 0 |-4.105000e+02 |-1.020000e+02 | 75.15%
24.20/24.25 c 24.3s| 1 | 0 | 66814 | - | 76M| 0 | 883 |1000 | 15k|1000 |3422 | 10k| 0 | 0 |-4.094583e+02 |-1.020000e+02 | 75.09%
24.99/25.03 c 25.0s| 1 | 0 | 69351 | - | 78M| 0 | 877 |1000 | 15k|1000 |3784 | 10k| 0 | 0 |-4.083277e+02 |-1.020000e+02 | 75.02%
25.69/25.76 c 25.8s| 1 | 0 | 71038 | - | 80M| 0 | 864 |1000 | 15k|1000 |3980 | 10k| 0 | 0 |-4.072857e+02 |-1.020000e+02 | 74.96%
26.60/26.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.60/26.62 c 26.6s| 1 | 0 | 72858 | - | 81M| 0 | 887 |1000 | 15k|1000 |4047 | 10k| 0 | 0 |-4.060001e+02 |-1.020000e+02 | 74.88%
27.29/27.30 c 27.3s| 1 | 0 | 74248 | - | 81M| 0 | 889 |1000 | 15k|1000 |4198 | 10k| 0 | 0 |-4.049559e+02 |-1.020000e+02 | 74.81%
28.39/28.50 c 28.5s| 1 | 0 | 78110 | - | 81M| 0 | 864 |1000 | 15k|1000 |3809 | 11k| 0 | 0 |-4.038000e+02 |-1.020000e+02 | 74.74%
29.09/29.17 c 29.2s| 1 | 0 | 80118 | - | 82M| 0 | 875 |1000 | 15k|1000 |3915 | 11k| 0 | 0 |-4.027857e+02 |-1.020000e+02 | 74.68%
29.69/29.75 c 29.8s| 1 | 0 | 82008 | - | 84M| 0 | 853 |1000 | 15k|1000 |4053 | 11k| 0 | 0 |-4.012500e+02 |-1.020000e+02 | 74.58%
29.99/30.06 c 30.1s| 1 | 0 | 82441 | - | 85M| 0 | 824 |1000 | 15k|1000 |4080 | 11k| 0 | 0 |-4.010000e+02 |-1.020000e+02 | 74.56%
30.39/30.40 c 30.4s| 1 | 0 | 83210 | - | 86M| 0 | 804 |1000 | 15k|1000 |4092 | 11k| 0 | 0 |-4.005000e+02 |-1.020000e+02 | 74.53%
31.39/31.48 c 31.5s| 1 | 0 | 87945 | - | 87M| 0 | 849 |1000 | 15k|1000 |4105 | 11k| 0 | 0 |-3.993750e+02 |-1.020000e+02 | 74.46%
32.09/32.13 c 32.1s| 1 | 0 | 90387 | - | 87M| 0 | 831 |1000 | 15k|1000 |3408 | 11k| 0 | 0 |-3.986250e+02 |-1.020000e+02 | 74.41%
32.49/32.59 c 32.6s| 1 | 0 | 92166 | - | 88M| 0 | 830 |1000 | 15k|1000 |3467 | 11k| 0 | 0 |-3.982500e+02 |-1.020000e+02 | 74.39%
33.19/33.27 c 33.3s| 1 | 0 | 95339 | - | 89M| 0 | 921 |1000 | 15k|1000 |3540 | 11k| 0 | 0 |-3.971849e+02 |-1.020000e+02 | 74.32%
33.50/33.59 c 33.6s| 1 | 0 | 95581 | - | 89M| 0 | 829 |1000 | 15k|1000 |5057 | 13k| 0 | 0 |-3.971136e+02 |-1.020000e+02 | 74.31%
33.89/33.96 c 34.0s| 1 | 0 | 96274 | - | 92M| 0 | 858 |1000 | 15k|1000 |5066 | 13k| 0 | 0 |-3.965509e+02 |-1.020000e+02 | 74.28%
34.39/34.42 c 34.4s| 1 | 0 | 97197 | - | 93M| 0 | 835 |1000 | 15k|1000 |5109 | 13k| 0 | 0 |-3.958526e+02 |-1.020000e+02 | 74.23%
34.89/34.94 c 34.9s| 1 | 0 | 98487 | - | 94M| 0 | 853 |1000 | 15k|1000 |4395 | 13k| 0 | 0 |-3.948508e+02 |-1.020000e+02 | 74.17%
35.29/35.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.29/35.33 c 35.3s| 1 | 0 | 99330 | - | 95M| 0 | 853 |1000 | 15k|1000 |4448 | 13k| 0 | 0 |-3.942975e+02 |-1.020000e+02 | 74.13%
35.90/35.97 c 36.0s| 1 | 0 |100989 | - | 95M| 0 | 862 |1000 | 15k|1000 |4540 | 13k| 0 | 0 |-3.936366e+02 |-1.020000e+02 | 74.09%
36.59/36.66 c 36.7s| 1 | 0 |102679 | - | 98M| 0 | 881 |1000 | 15k|1000 |4658 | 13k| 0 | 0 |-3.931414e+02 |-1.020000e+02 | 74.06%
37.59/37.61 c 37.6s| 1 | 0 |104995 | - | 98M| 0 | 886 |1000 | 15k|1000 |4875 | 13k| 0 | 0 |-3.919325e+02 |-1.020000e+02 | 73.98%
38.50/38.56 c 38.6s| 1 | 0 |106715 | - | 98M| 0 | 854 |1000 | 15k|1000 |5086 | 13k| 0 | 0 |-3.906923e+02 |-1.020000e+02 | 73.89%
38.99/39.08 c 39.1s| 1 | 0 |107894 | - | 100M| 0 | 870 |1000 | 15k|1000 |4918 | 13k| 0 | 0 |-3.901500e+02 |-1.020000e+02 | 73.86%
39.79/39.86 c 39.9s| 1 | 0 |109961 | - | 105M| 0 | 885 |1000 | 15k|1000 |4953 | 13k| 0 | 0 |-3.886939e+02 |-1.020000e+02 | 73.76%
40.69/40.76 c 40.8s| 1 | 0 |112605 | - | 108M| 0 | 860 |1000 | 15k|1000 |5031 | 14k| 0 | 0 |-3.882400e+02 |-1.020000e+02 | 73.73%
41.39/41.42 c 41.4s| 1 | 0 |114359 | - | 110M| 0 | 874 |1000 | 15k|1000 |5107 | 14k| 0 | 0 |-3.877145e+02 |-1.020000e+02 | 73.69%
42.49/42.55 c 42.5s| 1 | 0 |117448 | - | 112M| 0 | 915 |1000 | 15k|1000 |5279 | 14k| 0 | 0 |-3.864771e+02 |-1.020000e+02 | 73.61%
43.79/43.90 c 43.9s| 1 | 0 |120349 | - | 114M| 0 | 863 |1000 | 15k|1000 |5458 | 14k| 0 | 0 |-3.852043e+02 |-1.020000e+02 | 73.52%
44.79/44.82 c 44.8s| 1 | 0 |122601 | - | 116M| 0 | 915 |1000 | 15k|1000 |4761 | 14k| 0 | 0 |-3.839869e+02 |-1.020000e+02 | 73.44%
45.69/45.76 c 45.8s| 1 | 0 |125090 | - | 119M| 0 | 887 |1000 | 15k|1000 |4814 | 14k| 0 | 0 |-3.834785e+02 |-1.020000e+02 | 73.40%
47.70/47.72 c 47.7s| 1 | 0 |130195 | - | 120M| 0 | 913 |1000 | 15k|1000 |4868 | 14k| 0 | 0 |-3.814549e+02 |-1.020000e+02 | 73.26%
49.19/49.27 c 49.3s| 1 | 0 |133487 | - | 121M| 0 | 905 |1000 | 15k|1000 |5078 | 14k| 0 | 0 |-3.807270e+02 |-1.020000e+02 | 73.21%
50.89/50.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.89/50.97 c 51.0s| 1 | 0 |137276 | - | 121M| 0 | 911 |1000 | 15k|1000 |5152 | 14k| 0 | 0 |-3.800632e+02 |-1.020000e+02 | 73.16%
52.49/52.51 c 52.5s| 1 | 0 |140729 | - | 124M| 0 | 922 |1000 | 15k|1000 |5259 | 14k| 0 | 0 |-3.794078e+02 |-1.020000e+02 | 73.12%
54.29/54.35 c 54.4s| 1 | 0 |144370 | - | 124M| 0 | 921 |1000 | 15k|1000 |4885 | 15k| 0 | 0 |-3.785112e+02 |-1.020000e+02 | 73.05%
55.49/55.59 c 55.6s| 1 | 0 |146364 | - | 124M| 0 | 927 |1000 | 15k|1000 |4991 | 15k| 0 | 0 |-3.780279e+02 |-1.020000e+02 | 73.02%
57.19/57.22 c 57.2s| 1 | 0 |149604 | - | 124M| 0 | 926 |1000 | 15k|1000 |5076 | 15k| 0 | 0 |-3.773598e+02 |-1.020000e+02 | 72.97%
58.89/58.96 c 59.0s| 1 | 0 |152739 | - | 124M| 0 | 926 |1000 | 15k|1000 |5199 | 15k| 0 | 0 |-3.762739e+02 |-1.020000e+02 | 72.89%
61.20/61.24 c 61.2s| 1 | 0 |158469 | - | 124M| 0 | 923 |1000 | 15k|1000 |5284 | 15k| 0 | 0 |-3.748031e+02 |-1.020000e+02 | 72.79%
62.79/62.80 c 62.8s| 1 | 0 |160703 | - | 125M| 0 | 922 |1000 | 15k|1000 |5365 | 15k| 0 | 0 |-3.740058e+02 |-1.020000e+02 | 72.73%
64.09/64.18 c 64.2s| 1 | 0 |162366 | - | 125M| 0 | 925 |1000 | 15k|1000 |5031 | 15k| 0 | 0 |-3.734330e+02 |-1.020000e+02 | 72.69%
66.00/66.09 c 66.1s| 1 | 0 |166377 | - | 125M| 0 | 889 |1000 | 15k|1000 |5070 | 15k| 0 | 0 |-3.724961e+02 |-1.020000e+02 | 72.62%
67.80/67.81 c 67.8s| 1 | 0 |169751 | - | 125M| 0 | 940 |1000 | 15k|1000 |5110 | 15k| 0 | 0 |-3.719225e+02 |-1.020000e+02 | 72.57%
69.89/69.97 c 70.0s| 1 | 0 |174011 | - | 125M| 0 | 943 |1000 | 15k|1000 |5209 | 15k| 0 | 0 |-3.706185e+02 |-1.020000e+02 | 72.48%
72.19/72.20 c 72.2s| 1 | 0 |178069 | - | 125M| 0 | 942 |1000 | 15k|1000 |5260 | 15k| 0 | 0 |-3.692595e+02 |-1.020000e+02 | 72.38%
74.49/74.54 c 74.5s| 1 | 0 |182420 | - | 125M| 0 | 947 |1000 | 15k|1000 |5294 | 15k| 0 | 0 |-3.682704e+02 |-1.020000e+02 | 72.30%
76.70/76.74 c 76.7s| 1 | 0 |186155 | - | 125M| 0 | 948 |1000 | 15k|1000 |5070 | 15k| 0 | 0 |-3.676943e+02 |-1.020000e+02 | 72.26%
78.59/78.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.59/78.60 c 78.6s| 1 | 0 |188972 | - | 125M| 0 | 950 |1000 | 15k|1000 |5128 | 15k| 0 | 0 |-3.668852e+02 |-1.020000e+02 | 72.20%
80.30/80.37 c 80.4s| 1 | 0 |191322 | - | 125M| 0 | 952 |1000 | 15k|1000 |5169 | 16k| 0 | 0 |-3.663752e+02 |-1.020000e+02 | 72.16%
82.19/82.29 c 82.3s| 1 | 0 |194020 | - | 125M| 0 | 953 |1000 | 15k|1000 |5227 | 16k| 0 | 0 |-3.657813e+02 |-1.020000e+02 | 72.11%
84.70/84.74 c 84.7s| 1 | 0 |199194 | - | 125M| 0 | 954 |1000 | 15k|1000 |5253 | 16k| 0 | 0 |-3.640990e+02 |-1.020000e+02 | 71.99%
87.00/87.07 c 87.1s| 1 | 0 |203002 | - | 125M| 0 | 954 |1000 | 15k|1000 |5382 | 16k| 0 | 0 |-3.629950e+02 |-1.020000e+02 | 71.90%
89.59/89.61 c 89.6s| 1 | 0 |207445 | - | 125M| 0 | 954 |1000 | 15k|1000 |5258 | 16k| 0 | 0 |-3.621835e+02 |-1.020000e+02 | 71.84%
92.09/92.14 c 92.1s| 1 | 0 |212885 | - | 125M| 0 | 960 |1000 | 15k|1000 |5376 | 16k| 0 | 0 |-3.611050e+02 |-1.020000e+02 | 71.75%
94.30/94.34 c 94.3s| 1 | 0 |216326 | - | 125M| 0 | 961 |1000 | 15k|1000 |5521 | 16k| 0 | 0 |-3.602028e+02 |-1.020000e+02 | 71.68%
95.90/95.90 c 95.9s| 1 | 0 |217399 | - | 125M| 0 | 965 |1000 | 15k|1000 |5561 | 16k| 0 | 0 |-3.596806e+02 |-1.020000e+02 | 71.64%
98.19/98.25 c 98.2s| 1 | 0 |221361 | - | 125M| 0 | 959 |1000 | 15k|1000 |5598 | 16k| 0 | 0 |-3.584880e+02 |-1.020000e+02 | 71.55%
100.00/100.06 c 100s| 1 | 0 |223200 | - | 125M| 0 | 967 |1000 | 15k|1000 |5644 | 16k| 0 | 0 |-3.577249e+02 |-1.020000e+02 | 71.49%
102.30/102.33 c 102s| 1 | 0 |226181 | - | 124M| 0 | 962 |1000 | 15k|1000 |5505 | 16k| 0 | 0 |-3.569722e+02 |-1.020000e+02 | 71.43%
104.89/104.97 c 105s| 1 | 0 |230626 | - | 124M| 0 | 972 |1000 | 15k|1000 |5572 | 16k| 0 | 0 |-3.561163e+02 |-1.020000e+02 | 71.36%
107.39/107.42 c 107s| 1 | 0 |234578 | - | 124M| 0 | 970 |1000 | 15k|1000 |5648 | 16k| 0 | 0 |-3.549202e+02 |-1.020000e+02 | 71.26%
109.90/109.92 c 110s| 1 | 0 |238759 | - | 123M| 0 | 964 |1000 | 15k|1000 |5699 | 16k| 0 | 0 |-3.540181e+02 |-1.020000e+02 | 71.19%
111.69/111.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.69/111.78 c 112s| 1 | 0 |240240 | - | 123M| 0 | 967 |1000 | 15k|1000 |5767 | 17k| 0 | 0 |-3.538175e+02 |-1.020000e+02 | 71.17%
114.79/114.82 c 115s| 1 | 0 |245993 | - | 123M| 0 | 970 |1000 | 15k|1000 |5819 | 17k| 0 | 0 |-3.525846e+02 |-1.020000e+02 | 71.07%
117.60/117.68 c 118s| 1 | 0 |250476 | - | 120M| 0 | 981 |1000 | 15k|1000 |5666 | 17k| 0 | 0 |-3.517520e+02 |-1.020000e+02 | 71.00%
120.29/120.34 c 120s| 1 | 0 |254127 | - | 120M| 0 | 975 |1000 | 15k|1000 |5699 | 17k| 0 | 0 |-3.509033e+02 |-1.020000e+02 | 70.93%
122.59/122.63 c 123s| 1 | 0 |257065 | - | 118M| 0 | 981 |1000 | 15k|1000 |5757 | 17k| 0 | 0 |-3.501301e+02 |-1.020000e+02 | 70.87%
126.10/126.18 c 126s| 1 | 0 |263528 | - | 118M| 0 | 987 |1000 | 15k|1000 |5824 | 17k| 0 | 0 |-3.488073e+02 |-1.020000e+02 | 70.76%
128.40/128.46 c 128s| 1 | 0 |265780 | - | 118M| 0 | 984 |1000 | 15k|1000 |5928 | 17k| 0 | 0 |-3.482736e+02 |-1.020000e+02 | 70.71%
130.69/130.78 c 131s| 1 | 0 |268072 | - | 118M| 0 | 983 |1000 | 15k|1000 |5938 | 17k| 0 | 0 |-3.476846e+02 |-1.020000e+02 | 70.66%
133.49/133.58 c 134s| 1 | 0 |271761 | - | 118M| 0 | 982 |1000 | 15k|1000 |5798 | 17k| 0 | 0 |-3.469823e+02 |-1.020000e+02 | 70.60%
136.70/136.78 c 137s| 1 | 0 |276973 | - | 118M| 0 | 989 |1000 | 15k|1000 |5833 | 17k| 0 | 0 |-3.463979e+02 |-1.020000e+02 | 70.55%
139.10/139.17 c 139s| 1 | 0 |279423 | - | 117M| 0 | 984 |1000 | 15k|1000 |5924 | 17k| 0 | 0 |-3.459483e+02 |-1.020000e+02 | 70.52%
141.39/141.49 c 141s| 1 | 0 |281408 | - | 117M| 0 | 989 |1000 | 15k|1000 |5951 | 17k| 0 | 0 |-3.454796e+02 |-1.020000e+02 | 70.48%
144.40/144.44 c 144s| 1 | 0 |285791 | - | 117M| 0 | 992 |1000 | 15k|1000 |5987 | 17k| 0 | 0 |-3.447297e+02 |-1.020000e+02 | 70.41%
147.59/147.65 c 148s| 1 | 0 |291143 | - | 117M| 0 | 991 |1000 | 15k|1000 |6028 | 17k| 0 | 0 |-3.439741e+02 |-1.020000e+02 | 70.35%
150.20/150.20 c 150s| 1 | 0 |293532 | - | 117M| 0 | 989 |1000 | 15k|1000 |5954 | 17k| 0 | 0 |-3.432351e+02 |-1.020000e+02 | 70.28%
152.69/152.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.69/152.70 c 153s| 1 | 0 |296184 | - | 116M| 0 | 988 |1000 | 15k|1000 |6005 | 17k| 0 | 0 |-3.427207e+02 |-1.020000e+02 | 70.24%
155.49/155.56 c 156s| 1 | 0 |300078 | - | 116M| 0 | 989 |1000 | 15k|1000 |6031 | 17k| 0 | 0 |-3.420164e+02 |-1.020000e+02 | 70.18%
157.89/157.92 c 158s| 1 | 0 |302001 | - | 115M| 0 | 988 |1000 | 15k|1000 |6077 | 17k| 0 | 0 |-3.415805e+02 |-1.020000e+02 | 70.14%
160.89/160.95 c 161s| 1 | 0 |306564 | - | 115M| 0 | 993 |1000 | 15k|1000 |6117 | 17k| 0 | 0 |-3.407538e+02 |-1.020000e+02 | 70.07%
163.99/164.05 c 164s| 1 | 0 |310270 | - | 115M| 0 | 994 |1000 | 15k|1000 |6185 | 18k| 0 | 0 |-3.399169e+02 |-1.020000e+02 | 69.99%
166.99/167.03 c 167s| 1 | 0 |313587 | - | 114M| 0 | 994 |1000 | 15k|1000 |6145 | 18k| 0 | 0 |-3.392465e+02 |-1.020000e+02 | 69.93%
169.70/169.79 c 170s| 1 | 0 |316216 | - | 114M| 0 | 994 |1000 | 15k|1000 |6185 | 18k| 0 | 0 |-3.388148e+02 |-1.020000e+02 | 69.90%
172.60/172.68 c 173s| 1 | 0 |319136 | - | 112M| 0 | 997 |1000 | 15k|1000 |6236 | 18k| 0 | 0 |-3.383385e+02 |-1.020000e+02 | 69.85%
175.59/175.60 c 176s| 1 | 0 |321832 | - | 112M| 0 | 994 |1000 | 15k|1000 |6287 | 18k| 0 | 0 |-3.376469e+02 |-1.020000e+02 | 69.79%
178.40/178.48 c 178s| 1 | 0 |324679 | - | 112M| 0 | 989 |1000 | 15k|1000 |6313 | 18k| 0 | 0 |-3.371796e+02 |-1.020000e+02 | 69.75%
181.19/181.28 c 181s| 1 | 0 |326965 | - | 112M| 0 | 996 |1000 | 15k|1000 |6351 | 18k| 0 | 0 |-3.367876e+02 |-1.020000e+02 | 69.71%
184.29/184.33 c 184s| 1 | 0 |330111 | - | 111M| 0 | 995 |1000 | 15k|1000 |6275 | 18k| 0 | 0 |-3.363039e+02 |-1.020000e+02 | 69.67%
186.70/186.79 c 187s| 1 | 0 |331346 | - | 110M| 0 | 993 |1000 | 15k|1000 |6289 | 18k| 0 | 0 |-3.360274e+02 |-1.020000e+02 | 69.65%
189.70/189.73 c 190s| 1 | 0 |334320 | - | 110M| 0 | 992 |1000 | 15k|1000 |6324 | 18k| 0 | 0 |-3.354283e+02 |-1.020000e+02 | 69.59%
192.80/192.89 c 193s| 1 | 0 |337804 | - | 110M| 0 | 995 |1000 | 15k|1000 |6359 | 18k| 0 | 0 |-3.349894e+02 |-1.020000e+02 | 69.55%
195.50/195.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.50/195.51 c 196s| 1 | 0 |339743 | - | 110M| 0 | 993 |1000 | 15k|1000 |6396 | 18k| 0 | 0 |-3.346944e+02 |-1.020000e+02 | 69.52%
198.30/198.37 c 198s| 1 | 0 |342365 | - | 109M| 0 | 993 |1000 | 15k|1000 |6428 | 18k| 0 | 0 |-3.342299e+02 |-1.020000e+02 | 69.48%
200.90/200.92 c 201s| 1 | 0 |343703 | - | 109M| 0 | 991 |1000 | 15k|1000 |6351 | 18k| 0 | 0 |-3.340097e+02 |-1.020000e+02 | 69.46%
203.69/203.77 c 204s| 1 | 0 |345922 | - | 109M| 0 | 993 |1000 | 15k|1000 |6375 | 18k| 0 | 0 |-3.336238e+02 |-1.020000e+02 | 69.43%
206.49/206.52 c 207s| 1 | 0 |347939 | - | 109M| 0 | 992 |1000 | 15k|1000 |6397 | 18k| 0 | 0 |-3.332585e+02 |-1.020000e+02 | 69.39%
209.19/209.25 c 209s| 1 | 0 |350095 | - | 108M| 0 | 995 |1000 | 15k|1000 |6418 | 18k| 0 | 0 |-3.328360e+02 |-1.020000e+02 | 69.35%
211.99/212.03 c 212s| 1 | 0 |352495 | - | 107M| 0 | 998 |1000 | 15k|1000 |6443 | 18k| 0 | 0 |-3.325357e+02 |-1.020000e+02 | 69.33%
214.50/214.59 c 215s| 1 | 0 |354186 | - | 106M| 0 | 996 |1000 | 15k|1000 |6459 | 18k| 0 | 0 |-3.322026e+02 |-1.020000e+02 | 69.30%
217.10/217.10 c 217s| 1 | 0 |355606 | - | 105M| 0 | 998 |1000 | 15k|1000 |6390 | 18k| 0 | 0 |-3.319593e+02 |-1.020000e+02 | 69.27%
220.00/220.03 c 220s| 1 | 0 |358589 | - | 104M| 0 | 996 |1000 | 15k|1000 |6422 | 18k| 0 | 0 |-3.313668e+02 |-1.020000e+02 | 69.22%
222.90/222.90 c 223s| 1 | 0 |361059 | - | 102M| 0 | 997 |1000 | 15k|1000 |6460 | 18k| 0 | 0 |-3.308391e+02 |-1.020000e+02 | 69.17%
225.50/225.58 c 226s| 1 | 0 |362645 | - | 102M| 0 | 995 |1000 | 15k|1000 |6494 | 18k| 0 | 0 |-3.304072e+02 |-1.020000e+02 | 69.13%
228.80/228.84 c 229s| 1 | 0 |366225 | - | 101M| 0 | 998 |1000 | 15k|1000 |6516 | 18k| 0 | 0 |-3.298590e+02 |-1.020000e+02 | 69.08%
231.79/231.80 c 232s| 1 | 0 |368476 | - | 101M| 0 | 996 |1000 | 15k|1000 |6536 | 18k| 0 | 0 |-3.293397e+02 |-1.020000e+02 | 69.03%
235.10/235.12 c 235s| 1 | 0 |371813 | - | 101M| 0 | 997 |1000 | 15k|1000 |6514 | 18k| 0 | 0 |-3.287655e+02 |-1.020000e+02 | 68.97%
238.00/238.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.00/238.00 c 238s| 1 | 0 |374119 | - | 100M| 0 | 997 |1000 | 15k|1000 |6549 | 18k| 0 | 0 |-3.283878e+02 |-1.020000e+02 | 68.94%
240.70/240.74 c 241s| 1 | 0 |375662 | - | 99M| 0 | 997 |1000 | 15k|1000 |6570 | 18k| 0 | 0 |-3.281404e+02 |-1.020000e+02 | 68.92%
243.59/243.66 c 244s| 1 | 0 |377765 | - | 98M| 0 | 996 |1000 | 15k|1000 |6590 | 18k| 0 | 0 |-3.277825e+02 |-1.020000e+02 | 68.88%
246.49/246.59 c 247s| 1 | 0 |379871 | - | 96M| 0 | 997 |1000 | 15k|1000 |6606 | 18k| 0 | 0 |-3.274830e+02 |-1.020000e+02 | 68.85%
249.29/249.39 c 249s| 1 | 0 |381374 | - | 95M| 0 | 996 |1000 | 15k|1000 |6630 | 18k| 0 | 0 |-3.272182e+02 |-1.020000e+02 | 68.83%
252.30/252.39 c 252s| 1 | 0 |383458 | - | 95M| 0 | 998 |1000 | 15k|1000 |6591 | 18k| 0 | 0 |-3.267398e+02 |-1.020000e+02 | 68.78%
255.21/255.27 c 255s| 1 | 0 |385176 | - | 94M| 0 | 998 |1000 | 15k|1000 |6608 | 18k| 0 | 0 |-3.263817e+02 |-1.020000e+02 | 68.75%
258.09/258.19 c 258s| 1 | 0 |387040 | - | 93M| 0 | 996 |1000 | 15k|1000 |6624 | 18k| 0 | 0 |-3.258704e+02 |-1.020000e+02 | 68.70%
260.80/260.86 c 261s| 1 | 0 |388467 | - | 93M| 0 | 998 |1000 | 15k|1000 |6642 | 18k| 0 | 0 |-3.255331e+02 |-1.020000e+02 | 68.67%
263.40/263.46 c 263s| 1 | 0 |389447 | - | 91M| 0 | 998 |1000 | 15k|1000 |6656 | 18k| 0 | 0 |-3.253215e+02 |-1.020000e+02 | 68.65%
266.11/266.12 c 266s| 1 | 0 |390741 | - | 90M| 0 | 998 |1000 | 15k|1000 |6667 | 18k| 0 | 0 |-3.251576e+02 |-1.020000e+02 | 68.63%
268.60/268.68 c 269s| 1 | 0 |391655 | - | 89M| 0 | 996 |1000 | 15k|1000 |6617 | 18k| 0 | 0 |-3.250611e+02 |-1.020000e+02 | 68.62%
271.30/271.39 c 271s| 1 | 0 |393133 | - | 88M| 0 | 998 |1000 | 15k|1000 |6627 | 19k| 0 | 0 |-3.247411e+02 |-1.020000e+02 | 68.59%
274.00/274.00 c 274s| 1 | 0 |394264 | - | 88M| 0 | 996 |1000 | 15k|1000 |6640 | 19k| 0 | 0 |-3.245122e+02 |-1.020000e+02 | 68.57%
276.50/276.58 c 277s| 1 | 0 |395432 | - | 85M| 0 | 999 |1000 | 15k|1000 |6661 | 19k| 0 | 0 |-3.243394e+02 |-1.020000e+02 | 68.55%
279.00/279.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.00/279.06 c 279s| 1 | 0 |396156 | - | 84M| 0 | 998 |1000 | 15k|1000 |6675 | 19k| 0 | 0 |-3.242517e+02 |-1.020000e+02 | 68.54%
281.50/281.51 c 282s| 1 | 0 |396976 | - | 84M| 0 | 999 |1000 | 15k|1000 |6688 | 19k| 0 | 0 |-3.240495e+02 |-1.020000e+02 | 68.52%
283.90/283.95 c 284s| 1 | 0 |397693 | - | 82M| 0 | 998 |1000 | 15k|1000 |6637 | 19k| 0 | 0 |-3.239364e+02 |-1.020000e+02 | 68.51%
286.50/286.56 c 287s| 1 | 0 |398950 | - | 77M| 0 | 997 |1000 | 15k|1000 |6647 | 19k| 0 | 0 |-3.237694e+02 |-1.020000e+02 | 68.50%
288.99/289.03 c 289s| 1 | 0 |399739 | - | 75M| 0 | 997 |1000 | 15k|1000 |6662 | 19k| 0 | 0 |-3.236696e+02 |-1.020000e+02 | 68.49%
291.41/291.48 c 291s| 1 | 0 |400689 | - | 73M| 0 | 997 |1000 | 15k|1000 |6672 | 19k| 0 | 0 |-3.235584e+02 |-1.020000e+02 | 68.48%
293.70/293.78 c 294s| 1 | 0 |401228 | - | 71M| 0 | 997 |1000 | 15k|1000 |6684 | 19k| 0 | 0 |-3.235185e+02 |-1.020000e+02 | 68.47%
296.20/296.28 c 296s| 1 | 0 |402218 | - | 69M| 0 | 997 |1000 | 15k|1000 |6694 | 19k| 0 | 0 |-3.234193e+02 |-1.020000e+02 | 68.46%
298.80/298.80 c 299s| 1 | 0 |403151 | - | 66M| 0 | 997 |1000 | 15k|1000 |6659 | 19k| 0 | 0 |-3.233181e+02 |-1.020000e+02 | 68.45%
301.19/301.27 c 301s| 1 | 0 |404205 | - | 64M| 0 | 998 |1000 | 15k|1000 |6674 | 19k| 0 | 0 |-3.232144e+02 |-1.020000e+02 | 68.44%
303.60/303.62 c 304s| 1 | 0 |404930 | - | 62M| 0 | 998 |1000 | 15k|1000 |6688 | 19k| 0 | 0 |-3.231535e+02 |-1.020000e+02 | 68.44%
305.89/305.97 c 306s| 1 | 0 |405677 | - | 62M| 0 | 996 |1000 | 15k|1000 |6701 | 19k| 0 | 0 |-3.231017e+02 |-1.020000e+02 | 68.43%
308.40/308.48 c 308s| 1 | 0 |406777 | - | 62M| 0 | 998 |1000 | 15k|1000 |6711 | 19k| 0 | 0 |-3.230415e+02 |-1.020000e+02 | 68.43%
310.80/310.83 c 311s| 1 | 0 |407630 | - | 59M| 0 | 997 |1000 | 15k|1000 |6720 | 19k| 0 | 0 |-3.230076e+02 |-1.020000e+02 | 68.42%
312.90/312.94 c 313s| 1 | 0 |407710 | - | 59M| 0 | 973 |1000 | 15k|1000 |6676 | 19k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
314.90/314.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.90/314.91 c 315s| 1 | 0 |407711 | - | 59M| 0 | 968 |1000 | 15k|1000 |6680 | 19k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
329.10/329.18 c 329s| 1 | 2 |407711 | - | 59M| 0 | 968 |1000 | 15k|1000 |6680 | 19k| 0 | 36 |-3.230000e+02 |-1.020000e+02 | 68.42%
1089.02/1089.06 c 1089s| 10000 | 10001 | 5619k| 521.2 | 104M| 61 | 112 |1000 | 15k|1000 |1139 |1052k| 0 |4450 |-3.194813e+02 |-1.020000e+02 | 68.07%
1557.83/1557.84 c 1558s| 20000 | 20001 | 9532k| 456.2 | 147M| 66 | 195 |1000 | 15k|1000 | 998 |2029k| 0 |6103 |-3.187004e+02 |-1.020000e+02 | 68.00%
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 : 25712
1797.03/1797.00 c Primal Bound : -1.02000000000000e+02 (508 solutions)
1797.03/1797.00 c Dual Bound : -3.18394651204258e+02
1797.03/1797.00 c Gap : 67.96 %
1797.03/1797.02 s SATISFIABLE
1797.03/1797.02 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.03/1797.02 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.03/1797.02 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.03/1797.02 v -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1797.03/1797.02 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1797.03/1797.02 v x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874
1797.03/1797.02 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1797.03/1797.02 v -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 x832
1797.03/1797.02 v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1797.03/1797.02 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1797.03/1797.02 v -x789 x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1797.03/1797.02 v -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
1797.03/1797.02 v -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1797.03/1797.02 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705
1797.03/1797.02 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1797.03/1797.02 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1797.03/1797.02 v -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642
1797.03/1797.02 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1797.03/1797.02 v -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1797.03/1797.02 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 x580 -x579
1797.03/1797.02 v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1797.03/1797.02 v -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1797.03/1797.02 v -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
1797.03/1797.02 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1797.03/1797.02 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1797.03/1797.02 v -x473 -x472 -x471 -x470 -x469 x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
1797.03/1797.02 v -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1797.03/1797.02 v x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
1797.03/1797.02 v -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 x391 -x390 -x389
1797.03/1797.02 v -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
1797.03/1797.02 v -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1797.03/1797.02 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 x328 -x327 -x326
1797.03/1797.02 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1797.03/1797.02 v -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
1797.03/1797.02 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1797.03/1797.02 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1797.03/1797.02 v x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220
1797.03/1797.02 v -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 x204 -x203 -x202 x201 -x200 -x199
1797.03/1797.02 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1797.03/1797.02 v -x177 -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1797.03/1797.02 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135
1797.03/1797.02 v -x134 x133 x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114
1797.03/1797.02 v -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1797.03/1797.02 v x90 -x89 -x88 x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65
1797.03/1797.02 v -x64 -x63 -x62 x61 -x60 -x59 -x58 x57 -x56 -x55 x54 x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 x44 -x43 -x42 -x41 x40 -x39
1797.03/1797.02 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 x28 x27 x26 x25 x24 x23 -x22 x21 -x20 -x19 -x18 -x17 x16 x15 -x14 -x13 -x12
1797.03/1797.02 v x11 -x10 x9 x8 -x7 x6 x5 x4 -x3 x2 x1
1797.03/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.02 c Total Time : 1797.00
1797.03/1797.02 c solving : 1797.00
1797.03/1797.02 c presolving : 0.27 (included in solving)
1797.03/1797.02 c reading : 0.08 (included in solving)
1797.03/1797.02 c Original Problem :
1797.03/1797.02 c Problem name : HOME/instance-3488605-1307784423.opb
1797.03/1797.02 c Variables : 16772 (16772 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.02 c Constraints : 17772 initial, 17772 maximal
1797.03/1797.02 c Presolved Problem :
1797.03/1797.02 c Problem name : t_HOME/instance-3488605-1307784423.opb
1797.03/1797.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.02 c Constraints : 15772 initial, 15772 maximal
1797.03/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c probing : 0.05 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c and : 0.11 0 0 0 0 0 0 0 0 0
1797.03/1797.02 c linear : 0.04 15772 0 0 15772 0 1000 0 0 0
1797.03/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 1000 0 0 0
1797.03/1797.02 c root node : - 0 - - 0 - - - - -
1797.03/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.02 c integral : 0 0 0 30076 0 69573 0 0 0 0 0 51424
1797.03/1797.02 c setppc : 15772 193 103692 4364 0 69569 0 0 430915 2577392 0 0
1797.03/1797.02 c countsols : 0 0 0 0 0 510 0 0 0 0 0 0
1797.03/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.02 c integral : 272.67 0.00 0.00 272.62 0.00 0.05 0.00
1797.03/1797.02 c setppc : 21.89 0.70 8.89 3.07 0.00 9.22 0.00
1797.03/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.02 c vbounds : 0 0 0 0
1797.03/1797.02 c rootredcost : 0 0 0 0
1797.03/1797.02 c pseudoobj : 104093 0 0 0
1797.03/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.02 c vbounds : 0.02 0.02 0.00
1797.03/1797.02 c rootredcost : 0.02 0.02 0.00
1797.03/1797.02 c pseudoobj : 1.66 1.66 0.00
1797.03/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.02 c applied globally : - - - 0 0.0 - - -
1797.03/1797.02 c applied locally : - - - 0 0.0 - - -
1797.03/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.02 c cut pool : 1.38 192 - - 5697 - (maximal pool size: 17403)
1797.03/1797.02 c redcost : 0.64 30268 0 0 0 0
1797.03/1797.02 c impliedbounds : 0.16 193 0 0 31393 0
1797.03/1797.02 c intobj : 0.00 0 0 0 0 0
1797.03/1797.02 c gomory : 183.86 190 0 0 62696 0
1797.03/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.02 c strongcg : 1.17 20 0 0 10000 0
1797.03/1797.02 c cmir : 0.37 10 0 0 0 0
1797.03/1797.02 c flowcover : 0.28 10 0 0 0 0
1797.03/1797.02 c clique : 4.96 190 0 0 1622 0
1797.03/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.02 c mcf : 0.01 1 0 0 0 0
1797.03/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1797.03/1797.02 c Pricers : Time Calls Vars
1797.03/1797.02 c problem variables: 0.00 0 0
1797.03/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.02 c relpscost : 272.60 25712 0 0 0 0 51424
1797.03/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.02 c inference : 0.00 0 0 0 0 0 0
1797.03/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.02 c random : 0.00 0 0 0 0 0 0
1797.03/1797.02 c Primal Heuristics : Time Calls Found
1797.03/1797.02 c LP solutions : 0.00 - 0
1797.03/1797.02 c pseudo solutions : 0.00 - 0
1797.03/1797.02 c oneopt : 0.02 2 1
1797.03/1797.02 c crossover : 0.61 9 2
1797.03/1797.02 c rootsoldiving : 10.61 159 1
1797.03/1797.02 c linesearchdiving : 30.04 579 27
1797.03/1797.02 c guideddiving : 31.05 579 13
1797.03/1797.02 c fracdiving : 29.61 580 14
1797.03/1797.02 c coefdiving : 28.81 580 27
1797.03/1797.02 c pscostdiving : 30.72 580 26
1797.03/1797.02 c trivial : 0.02 2 1
1797.03/1797.02 c shiftandpropagate: 0.00 0 0
1797.03/1797.02 c simplerounding : 5.09 25904 345
1797.03/1797.02 c zirounding : 0.29 1000 0
1797.03/1797.02 c rounding : 28.92 7302 1
1797.03/1797.02 c shifting : 10.69 1959 1
1797.03/1797.02 c intshifting : 0.00 0 0
1797.03/1797.02 c twoopt : 0.00 0 0
1797.03/1797.02 c fixandinfer : 0.00 0 0
1797.03/1797.02 c feaspump : 0.00 0 0
1797.03/1797.02 c clique : 0.00 0 0
1797.03/1797.02 c veclendiving : 28.97 580 49
1797.03/1797.02 c intdiving : 0.00 0 0
1797.03/1797.02 c actconsdiving : 0.00 0 0
1797.03/1797.02 c objpscostdiving : 15.07 15 0
1797.03/1797.02 c octane : 0.00 0 0
1797.03/1797.02 c rens : 0.03 0 0
1797.03/1797.02 c rins : 0.00 0 0
1797.03/1797.02 c localbranching : 0.00 0 0
1797.03/1797.02 c mutation : 0.00 0 0
1797.03/1797.02 c dins : 0.00 0 0
1797.03/1797.02 c vbounds : 0.00 0 0
1797.03/1797.02 c undercover : 0.02 1 0
1797.03/1797.02 c subnlp : 0.00 0 0
1797.03/1797.02 c trysol : 0.01 0 0
1797.03/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.02 c primal LP : 2.36 0 0 0.00 0.00
1797.03/1797.02 c dual LP : 1051.71 30268 9697555 320.39 9220.79
1797.03/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.02 c diving/probing LP: 182.64 38886 1913016 49.20 10474.25
1797.03/1797.02 c strong branching : 270.98 6909 1999546 289.41 7378.93
1797.03/1797.02 c (at root node) : - 36 32934 914.83 -
1797.03/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.02 c B&B Tree :
1797.03/1797.02 c number of runs : 1
1797.03/1797.02 c nodes : 25712
1797.03/1797.02 c nodes (total) : 25712
1797.03/1797.02 c nodes left : 25713
1797.03/1797.02 c max depth : 66
1797.03/1797.02 c max depth (total): 66
1797.03/1797.02 c backtracks : 3657 (14.2%)
1797.03/1797.02 c delayed cutoffs : 0
1797.03/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.02 c avg switch length: 4.07
1797.03/1797.02 c switching time : 6.86
1797.03/1797.02 c Solution :
1797.03/1797.02 c Solutions found : 508 (4 improvements)
1797.03/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
1797.03/1797.02 c Primal Bound : -1.02000000000000e+02 (in run 1, after 1 nodes, 0.99 seconds, depth 0, found by <oneopt>)
1797.03/1797.02 c Dual Bound : -3.18394651204258e+02
1797.03/1797.02 c Gap : 67.96 %
1797.03/1797.02 c Root Dual Bound : -3.23000000000000e+02
1797.03/1797.02 c Root Iterations : 407711
1797.23/1797.21 c Time complete: 1797.25.
OK -102
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-3488605-1307784423/watcher-3488605-1307784423 -o /tmp/evaluation-result-3488605-1307784423/solver-3488605-1307784423 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488605-1307784423.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: 1.84 1.97 2.01 5/176 22474 /proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=13104 CPUtime=0 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 2246 0 0 0 0 0 0 0 25 0 1 0 890041108 13418496 2200 33554432000 4194304 9016284 140737088438336 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22474/statm: 3276 2201 353 1178 0 2094 0 [startup+0.074827 s] /proc/loadavg: 1.84 1.97 2.01 5/176 22474 /proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=33096 CPUtime=0.06 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 7290 0 0 0 6 0 0 0 25 0 1 0 890041108 33890304 7244 33554432000 4194304 9016284 140737088438336 18446744073709551615 4445988 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22474/statm: 8274 7244 380 1178 0 7092 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 33096 [startup+0.100819 s] /proc/loadavg: 1.84 1.97 2.01 5/176 22474 /proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=52012 CPUtime=0.09 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 11947 0 0 0 9 0 0 0 25 0 1 0 890041108 53260288 11901 33554432000 4194304 9016284 140737088438336 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 13003 11913 426 1178 0 11821 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 52012 [startup+0.300795 s] /proc/loadavg: 1.84 1.97 2.01 5/176 22474 /proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=72428 CPUtime=0.29 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 17133 0 0 0 28 1 0 0 25 0 1 0 890041108 74166272 16536 33554432000 4194304 9016284 140737088438336 18446744073709551615 4881431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 18107 16536 501 1178 0 16925 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 72428 [startup+0.700773 s] /proc/loadavg: 1.84 1.97 2.01 5/176 22474 /proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=110556 CPUtime=0.69 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 27628 0 0 0 67 2 0 0 25 0 1 0 890041108 113209344 25819 33554432000 4194304 9016284 140737088438336 18446744073709551615 4884048 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 27639 25819 683 1178 0 26457 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 110556 [startup+1.50063 s] /proc/loadavg: 1.86 1.97 2.01 4/178 22476 /proc/meminfo: memFree=31557604/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=105236 CPUtime=1.49 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 28566 0 0 0 147 2 0 0 25 0 1 0 890041108 107761664 24552 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 26309 24552 730 1178 0 25127 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 105236 [startup+3.10035 s] /proc/loadavg: 1.86 1.97 2.01 4/178 22476 /proc/meminfo: memFree=31547168/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=112628 CPUtime=3.09 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 31841 0 0 0 304 5 0 0 25 0 1 0 890041108 115331072 26710 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 28157 26710 828 1178 0 26975 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 112628 [startup+6.30071 s] /proc/loadavg: 1.86 1.97 2.01 4/178 22476 /proc/meminfo: memFree=31538748/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=119828 CPUtime=6.29 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 34125 0 0 0 622 7 0 0 25 0 1 0 890041108 122703872 28743 33554432000 4194304 9016284 140737088438336 18446744073709551615 6583106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 29957 28743 690 1178 0 28775 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 119828 [startup+12.7006 s] /proc/loadavg: 1.88 1.97 2.01 3/178 22476 /proc/meminfo: memFree=31502924/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=148148 CPUtime=12.69 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 41109 0 0 0 1253 16 0 0 25 0 1 0 890041108 151703552 35523 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 37037 35523 696 1178 0 35855 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 148148 [startup+25.5003 s] /proc/loadavg: 1.90 1.97 2.01 3/178 22476 /proc/meminfo: memFree=31482656/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=159188 CPUtime=25.49 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 43609 0 0 0 2513 36 0 0 25 0 1 0 890041108 163008512 38009 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 39797 38009 682 1178 0 38615 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 159188 [startup+51.1008 s] /proc/loadavg: 1.93 1.97 2.01 3/178 22477 /proc/meminfo: memFree=31414520/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=207468 CPUtime=51.09 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 55720 0 0 0 5044 65 0 0 25 0 1 0 890041108 212447232 49763 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 51867 49763 746 1178 0 50685 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 207468 [startup+102.307 s] /proc/loadavg: 1.97 1.97 2.00 3/178 22478 /proc/meminfo: memFree=31358964/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=216652 CPUtime=102.3 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 57956 0 0 0 10117 113 0 0 25 0 1 0 890041108 221851648 51915 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 54163 51915 718 1178 0 52981 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 216652 [startup+162.301 s] /proc/loadavg: 1.99 1.97 2.00 3/178 22480 /proc/meminfo: memFree=31310536/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=216652 CPUtime=162.3 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 57973 0 0 0 16072 158 0 0 25 0 1 0 890041108 221851648 51932 33554432000 4194304 9016284 140737088438336 18446744073709551615 6583106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 54163 51932 718 1178 0 52981 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 216652 [startup+222.3 s] /proc/loadavg: 1.99 1.97 2.00 3/178 22482 /proc/meminfo: memFree=31272164/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=216652 CPUtime=222.29 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 57983 0 0 0 22030 199 0 0 25 0 1 0 890041108 221851648 51942 33554432000 4194304 9016284 140737088438336 18446744073709551615 7080792 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 54163 51942 718 1178 0 52981 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 216652 [startup+282.301 s] /proc/loadavg: 1.99 1.97 2.00 4/178 22483 /proc/meminfo: memFree=31225464/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=216652 CPUtime=282.3 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 57989 0 0 0 27989 241 0 0 25 0 1 0 890041108 221851648 51948 33554432000 4194304 9016284 140737088438336 18446744073709551615 7260849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 54163 51948 718 1178 0 52981 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 216652 [startup+342.301 s] /proc/loadavg: 1.99 1.97 2.00 4/178 22485 /proc/meminfo: memFree=31182252/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=216652 CPUtime=342.3 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 58059 0 0 0 33926 304 0 0 25 0 1 0 890041108 221851648 51982 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 54163 51982 698 1178 0 52981 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 216652 [startup+402.3 s] /proc/loadavg: 1.99 1.97 2.00 4/178 22486 /proc/meminfo: memFree=31139660/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=217712 CPUtime=402.3 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 58080 0 0 0 39740 490 0 0 25 0 1 0 890041108 222937088 52003 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 54428 52003 701 1178 0 53246 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 217712 [startup+462.3 s] /proc/loadavg: 2.15 2.01 2.01 4/178 22488 /proc/meminfo: memFree=31121988/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=219808 CPUtime=462.3 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 58756 0 0 0 45550 680 0 0 25 0 1 0 890041108 225083392 52679 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 54952 52679 707 1178 0 53770 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 219808 [startup+522.301 s] /proc/loadavg: 2.06 2.00 2.00 4/178 22490 /proc/meminfo: memFree=31121796/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=219808 CPUtime=522.3 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 58793 0 0 0 51364 866 0 0 25 0 1 0 890041108 225083392 52716 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 54952 52716 707 1178 0 53770 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 219808 [startup+582.301 s] /proc/loadavg: 2.02 2.00 2.00 3/178 22491 /proc/meminfo: memFree=31115536/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=219808 CPUtime=582.31 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 58812 0 0 0 57168 1063 0 0 25 0 1 0 890041108 225083392 52735 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 54952 52735 707 1178 0 53770 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 219808 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30918988/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=226584 CPUtime=1122.31 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 74315 0 0 0 109303 2928 0 0 25 0 1 0 890041108 232022016 54519 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 56646 54519 707 1178 0 55464 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 226584 [startup+1182.3 s] /proc/loadavg: 2.01 2.02 2.00 4/178 22507 /proc/meminfo: memFree=30897352/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=229736 CPUtime=1182.32 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 75099 0 0 0 115088 3144 0 0 25 0 1 0 890041108 235249664 55303 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 57434 55303 707 1178 0 56252 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 229736 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 22509 /proc/meminfo: memFree=30873848/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=233512 CPUtime=1242.32 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 75941 0 0 0 120880 3352 0 0 25 0 1 0 890041108 239116288 56145 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 58378 56145 707 1178 0 57196 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 233512 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22510 /proc/meminfo: memFree=30847728/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=238240 CPUtime=1302.32 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 77129 0 0 0 126660 3572 0 0 25 0 1 0 890041108 243957760 57328 33554432000 4194304 9016284 140737088438336 18446744073709551615 5511161 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 59560 57328 707 1178 0 58378 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 238240 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22512 /proc/meminfo: memFree=30826340/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=244968 CPUtime=1362.33 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 78827 0 0 0 132443 3790 0 0 25 0 1 0 890041108 250847232 59026 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 61242 59026 707 1178 0 60060 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 244968 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22514 /proc/meminfo: memFree=30796508/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=252132 CPUtime=1422.33 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 80419 0 0 0 138221 4012 0 0 25 0 1 0 890041108 258183168 60618 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 63033 60618 707 1178 0 61851 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 252132 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22515 /proc/meminfo: memFree=30773864/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=256724 CPUtime=1482.32 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 81672 0 0 0 143997 4235 0 0 25 0 1 0 890041108 262885376 61855 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 64181 61855 707 1178 0 62999 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 256724 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22517 /proc/meminfo: memFree=30752464/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=262364 CPUtime=1542.33 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 83156 0 0 0 149776 4457 0 0 25 0 1 0 890041108 268660736 63317 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 65591 63317 707 1178 0 64409 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 262364 [startup+1602.3 s] /proc/loadavg: 2.11 2.03 2.01 4/178 22518 /proc/meminfo: memFree=30726604/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=269392 CPUtime=1602.33 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 85023 0 0 0 155546 4687 0 0 25 0 1 0 890041108 275857408 65165 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 67348 65165 707 1178 0 66166 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 269392 [startup+1662.3 s] /proc/loadavg: 2.04 2.02 2.00 3/178 22520 /proc/meminfo: memFree=30707556/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=275400 CPUtime=1662.33 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 86448 0 0 0 161330 4903 0 0 25 0 1 0 890041108 282009600 66590 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 68850 66590 707 1178 0 67668 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 275400 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 5/178 22522 /proc/meminfo: memFree=30685020/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=279708 CPUtime=1722.33 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 93977 0 0 0 167114 5119 0 0 25 0 1 0 890041108 286420992 67644 33554432000 4194304 9016284 140737088438336 18446744073709551615 4450995 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 69927 67644 707 1178 0 68745 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 279708 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22523 /proc/meminfo: memFree=30663112/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=285376 CPUtime=1782.34 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 95463 0 0 0 172889 5345 0 0 25 0 1 0 890041108 292225024 69130 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 71344 69130 707 1178 0 70162 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 285376 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22523 /proc/meminfo: memFree=30661988/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=285376 CPUtime=1785.53 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 95493 0 0 0 173199 5354 0 0 25 0 1 0 890041108 292225024 69160 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 71344 69160 707 1178 0 70162 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 285376 [startup+1791.91 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22523 /proc/meminfo: memFree=30660248/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=286372 CPUtime=1791.94 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 95713 0 0 0 173819 5375 0 0 25 0 1 0 890041108 293244928 69380 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 71593 69380 707 1178 0 70411 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 286372 [startup+1795.1 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22524 /proc/meminfo: memFree=30658760/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=286372 CPUtime=1795.14 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 95731 0 0 0 174127 5387 0 0 25 0 1 0 890041108 293244928 69398 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 71593 69398 707 1178 0 70411 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 286372 [startup+1795.9 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22524 /proc/meminfo: memFree=30658760/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=286372 CPUtime=1795.93 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 95731 0 0 0 174202 5391 0 0 25 0 1 0 890041108 293244928 69398 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 71593 69398 707 1178 0 70411 0 Current children cumulated CPU time (s) 1795.93 Current children cumulated vsize (KiB) 286372 [startup+1796.7 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22524 /proc/meminfo: memFree=30658880/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=286372 CPUtime=1796.73 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 95733 0 0 0 174277 5396 0 0 25 0 1 0 890041108 293244928 69400 33554432000 4194304 9016284 140737088438336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22474/statm: 71593 69400 707 1178 0 70411 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 286372 [startup+1797.1 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22524 /proc/meminfo: memFree=30658880/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=286372 CPUtime=1797.13 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 95735 0 0 0 174316 5397 0 0 25 0 1 0 890041108 293244928 69402 33554432000 4194304 9016284 140737088438336 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22474/statm: 71593 69402 709 1178 0 70411 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 286372 [startup+1797.2 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22524 /proc/meminfo: memFree=30658880/32950928 swapFree=67048868/67111528 [pid=22474] ppid=22470 vsize=255672 CPUtime=1797.23 cores=1,3,5,7 /proc/22474/stat : 22474 (scip-2.0.1.4b_2) R 22470 22474 22429 0 -1 4202496 95735 0 0 0 174326 5397 0 0 25 0 1 0 890041108 261808128 62896 33554432000 4194304 9016284 140737088438336 18446744073709551615 6812647 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22474/statm: 63869 62847 709 1178 0 62687 0 Current children cumulated CPU time (s) 1797.23 Current children cumulated vsize (KiB) 255672 Child status: 0 Real time (s): 1797.22 CPU time (s): 1797.26 CPU user time (s): 1743.27 CPU system time (s): 53.9818 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 300008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1743.27 system time used= 53.9818 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 95740 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 2766 runsolver used 2.66959 second user time and 6.98494 second system time The end
Begin job on node122 at 2011-06-11 11:27:03 IDJOB=3488605 IDBENCH=48209 IDSOLVER=1979 FILE ID=node122/3488605-1307784423 RUNJOBID= node122-1307784423-22448 PBS_JOBID= 13550902 Free space on /tmp= 74100 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_2.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488605-1307784423/watcher-3488605-1307784423 -o /tmp/evaluation-result-3488605-1307784423/solver-3488605-1307784423 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488605-1307784423.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe RANDOM SEED=614599355 node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31690364 kB Buffers: 142372 kB Cached: 945236 kB SwapCached: 14712 kB Active: 367776 kB Inactive: 738624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31690364 kB SwapTotal: 67111528 kB SwapFree: 67048868 kB Dirty: 34248 kB Writeback: 0 kB AnonPages: 15760 kB Mapped: 8564 kB Slab: 88212 kB PageTables: 4424 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 191460 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74072 MiB End job on node122 at 2011-06-11 11:57:00