Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | -102 | 1796.95 | 1797.26 |
| 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 | -128 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| 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-3737263-1338726136.opb>
0.00/0.09 c original problem has 16772 variables (16772 bin, 0 int, 0 impl, 0 cont) and 17772 constraints
0.00/0.09 c problem read
0.00/0.09 c presolving settings loaded
0.19/0.21 o 0
0.19/0.21 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.21 c presolving:
0.29/0.36 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.39 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.46 c (0.5s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.46 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.46 c presolving (3 rounds):
0.39/0.46 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.46 c 94630 implications, 0 cliques
0.39/0.46 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15772 constraints
0.39/0.46 c 15772 constraints of type <setppc>
0.39/0.46 c transformed objective value is always integral (scale: 1)
0.39/0.46 c Presolving Time: 0.30
0.39/0.46 c - non default parameters ----------------------------------------------------------------------
0.39/0.46 c # SCIP version 2.0.1.5
0.39/0.46 c
0.39/0.46 c # frequency for displaying node information lines
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46 c display/freq = 10000
0.39/0.46 c
0.39/0.46 c # maximal time in seconds to run
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/time = 1797
0.39/0.46 c
0.39/0.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 13950
0.39/0.47 c
0.39/0.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.47 c # [type: int, range: [1,2], default: 1]
0.39/0.47 c timing/clocktype = 2
0.39/0.47 c
0.39/0.47 c # belongs reading time to solving time?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c timing/reading = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/indicator/addCouplingCons = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c separating/rapidlearning/freq = 0
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.59/0.69 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.69 c t 0.7s| 1 | 0 | 1041 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.69/0.73 o -1
0.69/0.73 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.69/0.76 o -2
0.69/0.76 c s 0.8s| 1 | 0 | 1041 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
1.00/1.07 c 1.1s| 1 | 0 | 1261 | - | 52M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | 99.60%
1.00/1.08 o -102
1.00/1.08 c b 1.1s| 1 | 0 | 1261 | - | 52M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-1.020000e+02 | 79.41%
1.39/1.45 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.79/1.87 c 1.9s| 1 | 0 | 1663 | - | 52M| 0 | 981 |1000 | 15k|1000 | 15k| 28 | 0 | 0 |-4.905000e+02 |-1.020000e+02 | 79.20%
2.28/2.30 c 2.3s| 1 | 0 | 2013 | - | 52M| 0 | 975 |1000 | 15k|1000 | 15k| 40 | 0 | 0 |-4.875000e+02 |-1.020000e+02 | 79.08%
2.69/2.71 c 2.7s| 1 | 0 | 2268 | - | 52M| 0 | 968 |1000 | 15k|1000 | 15k| 51 | 0 | 0 |-4.840000e+02 |-1.020000e+02 | 78.93%
3.09/3.13 c 3.1s| 1 | 0 | 2530 | - | 52M| 0 | 965 |1000 | 15k|1000 | 15k| 65 | 0 | 0 |-4.815000e+02 |-1.020000e+02 | 78.82%
3.68/3.79 c 3.8s| 1 | 0 | 3366 | - | 52M| 0 | 954 |1000 | 15k|1000 | 15k| 78 | 0 | 0 |-4.770000e+02 |-1.020000e+02 | 78.62%
4.18/4.29 c 4.3s| 1 | 0 | 3816 | - | 52M| 0 | 948 |1000 | 15k|1000 | 15k| 89 | 0 | 0 |-4.735000e+02 |-1.020000e+02 | 78.46%
4.79/4.82 c 4.8s| 1 | 0 | 4337 | - | 53M| 0 | 941 |1000 | 15k|1000 | 15k| 100 | 0 | 0 |-4.700000e+02 |-1.020000e+02 | 78.30%
5.29/5.39 c 5.4s| 1 | 0 | 4983 | - | 53M| 0 | 937 |1000 | 15k|1000 | 15k| 109 | 0 | 0 |-4.680000e+02 |-1.020000e+02 | 78.21%
5.89/5.96 c 6.0s| 1 | 0 | 5696 | - | 53M| 0 | 933 |1000 | 15k|1000 |1694 | 118 | 0 | 0 |-4.665000e+02 |-1.020000e+02 | 78.14%
6.39/6.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.39/6.40 c 6.4s| 1 | 0 | 7102 | - | 54M| 0 | 929 |1000 | 15k|1000 |1702 | 126 | 0 | 0 |-4.650000e+02 |-1.020000e+02 | 78.06%
6.60/6.60 c 6.6s| 1 | 0 | 7666 | - | 54M| 0 | 922 |1000 | 15k|1000 |1755 | 179 | 0 | 0 |-4.632500e+02 |-1.020000e+02 | 77.98%
6.79/6.86 c 6.9s| 1 | 0 | 8332 | - | 54M| 0 | 922 |1000 | 15k|1000 |1947 | 371 | 0 | 0 |-4.621667e+02 |-1.020000e+02 | 77.93%
7.09/7.14 c 7.1s| 1 | 0 | 9098 | - | 55M| 0 | 914 |1000 | 15k|1000 |2205 | 629 | 0 | 0 |-4.613333e+02 |-1.020000e+02 | 77.89%
7.38/7.45 c 7.4s| 1 | 0 | 10247 | - | 55M| 0 | 926 |1000 | 15k|1000 |2406 | 830 | 0 | 0 |-4.593333e+02 |-1.020000e+02 | 77.79%
7.89/7.90 c 7.9s| 1 | 0 | 11867 | - | 56M| 0 | 916 |1000 | 15k|1000 |2206 |1028 | 0 | 0 |-4.570625e+02 |-1.020000e+02 | 77.68%
8.18/8.22 c 8.2s| 1 | 0 | 12327 | - | 58M| 0 | 902 |1000 | 15k|1000 |2287 |1109 | 0 | 0 |-4.554239e+02 |-1.020000e+02 | 77.60%
8.49/8.55 c 8.5s| 1 | 0 | 13573 | - | 59M| 0 | 922 |1000 | 15k|1000 |2464 |1286 | 0 | 0 |-4.535000e+02 |-1.020000e+02 | 77.51%
9.08/9.11 c 9.1s| 1 | 0 | 14937 | - | 61M| 0 | 894 |1000 | 15k|1000 |3094 |1916 | 0 | 0 |-4.510000e+02 |-1.020000e+02 | 77.38%
9.29/9.32 c 9.3s| 1 | 0 | 15818 | - | 61M| 0 | 897 |1000 | 15k|1000 |3185 |2007 | 0 | 0 |-4.495000e+02 |-1.020000e+02 | 77.31%
9.49/9.50 c 9.5s| 1 | 0 | 16107 | - | 61M| 0 | 887 |1000 | 15k|1000 |3215 |2037 | 0 | 0 |-4.485000e+02 |-1.020000e+02 | 77.26%
9.69/9.80 c 9.8s| 1 | 0 | 17070 | - | 61M| 0 | 900 |1000 | 15k|1000 |3063 |2158 | 0 | 0 |-4.470000e+02 |-1.020000e+02 | 77.18%
10.19/10.28 c 10.3s| 1 | 0 | 19495 | - | 61M| 0 | 938 |1000 | 15k|1000 |3180 |2275 | 0 | 0 |-4.440588e+02 |-1.020000e+02 | 77.03%
10.68/10.73 c 10.7s| 1 | 0 | 19608 | - | 63M| 0 | 888 |1000 | 15k|1000 |5180 |4275 | 0 | 0 |-4.440000e+02 |-1.020000e+02 | 77.03%
11.19/11.24 c 11.2s| 1 | 0 | 21653 | - | 63M| 0 | 885 |1000 | 15k|1000 |5192 |4287 | 0 | 0 |-4.435000e+02 |-1.020000e+02 | 77.00%
11.49/11.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.49/11.53 c 11.5s| 1 | 0 | 22430 | - | 63M| 0 | 879 |1000 | 15k|1000 |5295 |4390 | 0 | 0 |-4.415000e+02 |-1.020000e+02 | 76.90%
11.88/11.95 c 11.9s| 1 | 0 | 24075 | - | 63M| 0 | 890 |1000 | 15k|1000 |5369 |4464 | 0 | 0 |-4.389286e+02 |-1.020000e+02 | 76.76%
12.18/12.27 c 12.3s| 1 | 0 | 24915 | - | 63M| 0 | 886 |1000 | 15k|1000 |4147 |4542 | 0 | 0 |-4.366250e+02 |-1.020000e+02 | 76.64%
12.58/12.60 c 12.6s| 1 | 0 | 26133 | - | 64M| 0 | 897 |1000 | 15k|1000 |4181 |4576 | 0 | 0 |-4.355000e+02 |-1.020000e+02 | 76.58%
12.89/12.97 c 13.0s| 1 | 0 | 27581 | - | 64M| 0 | 864 |1000 | 15k|1000 |4362 |4757 | 0 | 0 |-4.345000e+02 |-1.020000e+02 | 76.52%
13.29/13.33 c 13.3s| 1 | 0 | 28689 | - | 64M| 0 | 874 |1000 | 15k|1000 |4471 |4866 | 0 | 0 |-4.335000e+02 |-1.020000e+02 | 76.47%
13.69/13.76 c 13.8s| 1 | 0 | 30078 | - | 65M| 0 | 856 |1000 | 15k|1000 |4562 |4957 | 0 | 0 |-4.325000e+02 |-1.020000e+02 | 76.42%
14.09/14.16 c 14.2s| 1 | 0 | 31342 | - | 65M| 0 | 864 |1000 | 15k|1000 |4785 |5180 | 0 | 0 |-4.320000e+02 |-1.020000e+02 | 76.39%
14.59/14.65 c 14.6s| 1 | 0 | 33150 | - | 66M| 0 | 886 |1000 | 15k|1000 |2258 |5379 | 0 | 0 |-4.312333e+02 |-1.020000e+02 | 76.35%
14.88/14.90 c 14.9s| 1 | 0 | 33824 | - | 66M| 0 | 872 |1000 | 15k|1000 |2574 |5695 | 0 | 0 |-4.305556e+02 |-1.020000e+02 | 76.31%
15.48/15.57 c 15.6s| 1 | 0 | 36695 | - | 67M| 0 | 891 |1000 | 15k|1000 |3199 |6320 | 0 | 0 |-4.290000e+02 |-1.020000e+02 | 76.22%
15.79/15.85 c 15.9s| 1 | 0 | 37181 | - | 69M| 0 | 857 |1000 | 15k|1000 |3562 |6683 | 0 | 0 |-4.285000e+02 |-1.020000e+02 | 76.20%
16.98/17.00 c 17.0s| 1 | 0 | 44500 | - | 69M| 0 | 854 |1000 | 15k|1000 |3575 |6696 | 0 | 0 |-4.265000e+02 |-1.020000e+02 | 76.08%
17.59/17.65 c 17.6s| 1 | 0 | 47157 | - | 69M| 0 | 926 |1000 | 15k|1000 |3624 |6745 | 0 | 0 |-4.252463e+02 |-1.020000e+02 | 76.01%
18.39/18.46 c 18.5s| 1 | 0 | 47806 | - | 70M| 0 | 845 |1000 | 15k|1000 |4943 |8745 | 0 | 0 |-4.245000e+02 |-1.020000e+02 | 75.97%
18.59/18.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.59/18.66 c 18.7s| 1 | 0 | 48053 | - | 71M| 0 | 846 |1000 | 15k|1000 |4997 |8799 | 0 | 0 |-4.240000e+02 |-1.020000e+02 | 75.94%
19.08/19.16 c 19.2s| 1 | 0 | 49832 | - | 72M| 0 | 862 |1000 | 15k|1000 |5028 |8830 | 0 | 0 |-4.235552e+02 |-1.020000e+02 | 75.92%
19.59/19.66 c 19.7s| 1 | 0 | 51169 | - | 72M| 0 | 848 |1000 | 15k|1000 |5171 |8973 | 0 | 0 |-4.225000e+02 |-1.020000e+02 | 75.86%
20.08/20.12 c 20.1s| 1 | 0 | 52554 | - | 72M| 0 | 856 |1000 | 15k|1000 |5222 |9024 | 0 | 0 |-4.215000e+02 |-1.020000e+02 | 75.80%
20.59/20.61 c 20.6s| 1 | 0 | 53845 | - | 73M| 0 | 846 |1000 | 15k|1000 |5325 |9127 | 0 | 0 |-4.205000e+02 |-1.020000e+02 | 75.74%
20.89/20.98 c 21.0s| 1 | 0 | 54713 | - | 73M| 0 | 865 |1000 | 15k|1000 |4244 |9194 | 0 | 0 |-4.182500e+02 |-1.020000e+02 | 75.61%
21.38/21.42 c 21.4s| 1 | 0 | 55822 | - | 73M| 0 | 857 |1000 | 15k|1000 |4320 |9270 | 0 | 0 |-4.165000e+02 |-1.020000e+02 | 75.51%
21.78/21.90 c 21.9s| 1 | 0 | 56876 | - | 73M| 0 | 827 |1000 | 15k|1000 |4455 |9405 | 0 | 0 |-4.155000e+02 |-1.020000e+02 | 75.45%
22.08/22.18 c 22.2s| 1 | 0 | 57941 | - | 73M| 0 | 834 |1000 | 15k|1000 |4536 |9486 | 0 | 0 |-4.142500e+02 |-1.020000e+02 | 75.38%
22.58/22.64 c 22.6s| 1 | 0 | 59606 | - | 74M| 0 | 865 |1000 | 15k|1000 |4598 |9548 | 0 | 0 |-4.134226e+02 |-1.020000e+02 | 75.33%
23.19/23.23 c 23.2s| 1 | 0 | 61302 | - | 75M| 0 | 849 |1000 | 15k|1000 |4913 |9863 | 0 | 0 |-4.119238e+02 |-1.020000e+02 | 75.24%
23.78/23.89 c 23.9s| 1 | 0 | 63184 | - | 76M| 0 | 858 |1000 | 15k|1000 |3363 | 10k| 0 | 0 |-4.105000e+02 |-1.020000e+02 | 75.15%
24.58/24.66 c 24.7s| 1 | 0 | 66814 | - | 76M| 0 | 883 |1000 | 15k|1000 |3422 | 10k| 0 | 0 |-4.094583e+02 |-1.020000e+02 | 75.09%
25.38/25.45 c 25.4s| 1 | 0 | 69351 | - | 78M| 0 | 877 |1000 | 15k|1000 |3784 | 10k| 0 | 0 |-4.083277e+02 |-1.020000e+02 | 75.02%
26.08/26.19 c 26.2s| 1 | 0 | 71038 | - | 80M| 0 | 864 |1000 | 15k|1000 |3980 | 10k| 0 | 0 |-4.072857e+02 |-1.020000e+02 | 74.96%
26.99/27.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.99/27.05 c 27.0s| 1 | 0 | 72858 | - | 81M| 0 | 887 |1000 | 15k|1000 |4047 | 10k| 0 | 0 |-4.060001e+02 |-1.020000e+02 | 74.88%
27.68/27.74 c 27.7s| 1 | 0 | 74248 | - | 81M| 0 | 889 |1000 | 15k|1000 |4198 | 10k| 0 | 0 |-4.049559e+02 |-1.020000e+02 | 74.81%
28.89/28.95 c 29.0s| 1 | 0 | 78110 | - | 81M| 0 | 864 |1000 | 15k|1000 |3809 | 11k| 0 | 0 |-4.038000e+02 |-1.020000e+02 | 74.74%
29.59/29.63 c 29.6s| 1 | 0 | 80118 | - | 82M| 0 | 875 |1000 | 15k|1000 |3915 | 11k| 0 | 0 |-4.027857e+02 |-1.020000e+02 | 74.68%
30.18/30.22 c 30.2s| 1 | 0 | 82008 | - | 84M| 0 | 853 |1000 | 15k|1000 |4053 | 11k| 0 | 0 |-4.012500e+02 |-1.020000e+02 | 74.58%
30.48/30.54 c 30.5s| 1 | 0 | 82441 | - | 85M| 0 | 824 |1000 | 15k|1000 |4080 | 11k| 0 | 0 |-4.010000e+02 |-1.020000e+02 | 74.56%
30.79/30.88 c 30.9s| 1 | 0 | 83210 | - | 86M| 0 | 804 |1000 | 15k|1000 |4092 | 11k| 0 | 0 |-4.005000e+02 |-1.020000e+02 | 74.53%
31.89/31.97 c 32.0s| 1 | 0 | 87945 | - | 87M| 0 | 849 |1000 | 15k|1000 |4105 | 11k| 0 | 0 |-3.993750e+02 |-1.020000e+02 | 74.46%
32.58/32.63 c 32.6s| 1 | 0 | 90387 | - | 87M| 0 | 831 |1000 | 15k|1000 |3408 | 11k| 0 | 0 |-3.986250e+02 |-1.020000e+02 | 74.41%
33.08/33.10 c 33.1s| 1 | 0 | 92166 | - | 88M| 0 | 830 |1000 | 15k|1000 |3467 | 11k| 0 | 0 |-3.982500e+02 |-1.020000e+02 | 74.39%
33.69/33.78 c 33.8s| 1 | 0 | 95339 | - | 89M| 0 | 921 |1000 | 15k|1000 |3540 | 11k| 0 | 0 |-3.971849e+02 |-1.020000e+02 | 74.32%
34.09/34.10 c 34.1s| 1 | 0 | 95581 | - | 89M| 0 | 829 |1000 | 15k|1000 |5057 | 13k| 0 | 0 |-3.971136e+02 |-1.020000e+02 | 74.31%
34.38/34.48 c 34.5s| 1 | 0 | 96274 | - | 92M| 0 | 858 |1000 | 15k|1000 |5066 | 13k| 0 | 0 |-3.965509e+02 |-1.020000e+02 | 74.28%
34.88/34.96 c 35.0s| 1 | 0 | 97197 | - | 93M| 0 | 835 |1000 | 15k|1000 |5109 | 13k| 0 | 0 |-3.958526e+02 |-1.020000e+02 | 74.23%
35.38/35.49 c 35.5s| 1 | 0 | 98487 | - | 94M| 0 | 853 |1000 | 15k|1000 |4395 | 13k| 0 | 0 |-3.948508e+02 |-1.020000e+02 | 74.17%
35.78/35.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.78/35.88 c 35.9s| 1 | 0 | 99330 | - | 95M| 0 | 853 |1000 | 15k|1000 |4448 | 13k| 0 | 0 |-3.942975e+02 |-1.020000e+02 | 74.13%
36.49/36.53 c 36.5s| 1 | 0 |100989 | - | 95M| 0 | 862 |1000 | 15k|1000 |4540 | 13k| 0 | 0 |-3.936366e+02 |-1.020000e+02 | 74.09%
37.18/37.23 c 37.2s| 1 | 0 |102679 | - | 98M| 0 | 881 |1000 | 15k|1000 |4658 | 13k| 0 | 0 |-3.931414e+02 |-1.020000e+02 | 74.06%
38.09/38.19 c 38.2s| 1 | 0 |104995 | - | 98M| 0 | 886 |1000 | 15k|1000 |4875 | 13k| 0 | 0 |-3.919325e+02 |-1.020000e+02 | 73.98%
39.08/39.15 c 39.1s| 1 | 0 |106715 | - | 98M| 0 | 854 |1000 | 15k|1000 |5086 | 13k| 0 | 0 |-3.906923e+02 |-1.020000e+02 | 73.89%
39.59/39.68 c 39.7s| 1 | 0 |107894 | - | 100M| 0 | 870 |1000 | 15k|1000 |4918 | 13k| 0 | 0 |-3.901500e+02 |-1.020000e+02 | 73.86%
40.39/40.47 c 40.5s| 1 | 0 |109961 | - | 105M| 0 | 885 |1000 | 15k|1000 |4953 | 13k| 0 | 0 |-3.886939e+02 |-1.020000e+02 | 73.76%
41.28/41.37 c 41.4s| 1 | 0 |112605 | - | 108M| 0 | 860 |1000 | 15k|1000 |5031 | 14k| 0 | 0 |-3.882400e+02 |-1.020000e+02 | 73.73%
41.98/42.04 c 42.0s| 1 | 0 |114359 | - | 110M| 0 | 874 |1000 | 15k|1000 |5107 | 14k| 0 | 0 |-3.877145e+02 |-1.020000e+02 | 73.69%
43.08/43.18 c 43.2s| 1 | 0 |117448 | - | 112M| 0 | 915 |1000 | 15k|1000 |5279 | 14k| 0 | 0 |-3.864771e+02 |-1.020000e+02 | 73.61%
44.48/44.55 c 44.5s| 1 | 0 |120349 | - | 114M| 0 | 863 |1000 | 15k|1000 |5458 | 14k| 0 | 0 |-3.852043e+02 |-1.020000e+02 | 73.52%
45.39/45.48 c 45.5s| 1 | 0 |122601 | - | 116M| 0 | 915 |1000 | 15k|1000 |4761 | 14k| 0 | 0 |-3.839869e+02 |-1.020000e+02 | 73.44%
46.38/46.43 c 46.4s| 1 | 0 |125090 | - | 119M| 0 | 887 |1000 | 15k|1000 |4814 | 14k| 0 | 0 |-3.834785e+02 |-1.020000e+02 | 73.40%
48.38/48.41 c 48.4s| 1 | 0 |130195 | - | 120M| 0 | 913 |1000 | 15k|1000 |4868 | 14k| 0 | 0 |-3.814549e+02 |-1.020000e+02 | 73.26%
49.88/49.96 c 50.0s| 1 | 0 |133487 | - | 121M| 0 | 905 |1000 | 15k|1000 |5078 | 14k| 0 | 0 |-3.807270e+02 |-1.020000e+02 | 73.21%
51.59/51.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.59/51.68 c 51.7s| 1 | 0 |137276 | - | 121M| 0 | 911 |1000 | 15k|1000 |5152 | 14k| 0 | 0 |-3.800632e+02 |-1.020000e+02 | 73.16%
53.18/53.23 c 53.2s| 1 | 0 |140729 | - | 124M| 0 | 922 |1000 | 15k|1000 |5259 | 14k| 0 | 0 |-3.794078e+02 |-1.020000e+02 | 73.12%
54.99/55.09 c 55.1s| 1 | 0 |144370 | - | 124M| 0 | 921 |1000 | 15k|1000 |4885 | 15k| 0 | 0 |-3.785112e+02 |-1.020000e+02 | 73.05%
56.28/56.33 c 56.3s| 1 | 0 |146364 | - | 124M| 0 | 927 |1000 | 15k|1000 |4991 | 15k| 0 | 0 |-3.780279e+02 |-1.020000e+02 | 73.02%
57.88/57.98 c 58.0s| 1 | 0 |149604 | - | 124M| 0 | 926 |1000 | 15k|1000 |5076 | 15k| 0 | 0 |-3.773598e+02 |-1.020000e+02 | 72.97%
59.68/59.73 c 59.7s| 1 | 0 |152739 | - | 124M| 0 | 926 |1000 | 15k|1000 |5199 | 15k| 0 | 0 |-3.762739e+02 |-1.020000e+02 | 72.89%
61.98/62.03 c 62.0s| 1 | 0 |158469 | - | 124M| 0 | 923 |1000 | 15k|1000 |5284 | 15k| 0 | 0 |-3.748031e+02 |-1.020000e+02 | 72.79%
63.58/63.60 c 63.6s| 1 | 0 |160703 | - | 125M| 0 | 922 |1000 | 15k|1000 |5365 | 15k| 0 | 0 |-3.740058e+02 |-1.020000e+02 | 72.73%
64.89/64.99 c 65.0s| 1 | 0 |162366 | - | 125M| 0 | 925 |1000 | 15k|1000 |5031 | 15k| 0 | 0 |-3.734330e+02 |-1.020000e+02 | 72.69%
66.88/66.91 c 66.9s| 1 | 0 |166377 | - | 125M| 0 | 889 |1000 | 15k|1000 |5070 | 15k| 0 | 0 |-3.724961e+02 |-1.020000e+02 | 72.62%
68.58/68.65 c 68.6s| 1 | 0 |169751 | - | 125M| 0 | 940 |1000 | 15k|1000 |5110 | 15k| 0 | 0 |-3.719225e+02 |-1.020000e+02 | 72.57%
70.77/70.83 c 70.8s| 1 | 0 |174011 | - | 125M| 0 | 943 |1000 | 15k|1000 |5209 | 15k| 0 | 0 |-3.706185e+02 |-1.020000e+02 | 72.48%
72.97/73.06 c 73.1s| 1 | 0 |178069 | - | 125M| 0 | 942 |1000 | 15k|1000 |5260 | 15k| 0 | 0 |-3.692595e+02 |-1.020000e+02 | 72.38%
75.37/75.42 c 75.4s| 1 | 0 |182420 | - | 125M| 0 | 947 |1000 | 15k|1000 |5294 | 15k| 0 | 0 |-3.682704e+02 |-1.020000e+02 | 72.30%
77.58/77.64 c 77.6s| 1 | 0 |186155 | - | 125M| 0 | 948 |1000 | 15k|1000 |5070 | 15k| 0 | 0 |-3.676943e+02 |-1.020000e+02 | 72.26%
79.47/79.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.47/79.51 c 79.5s| 1 | 0 |188972 | - | 125M| 0 | 950 |1000 | 15k|1000 |5128 | 15k| 0 | 0 |-3.668852e+02 |-1.020000e+02 | 72.20%
81.17/81.30 c 81.3s| 1 | 0 |191322 | - | 125M| 0 | 952 |1000 | 15k|1000 |5169 | 16k| 0 | 0 |-3.663752e+02 |-1.020000e+02 | 72.16%
83.18/83.22 c 83.2s| 1 | 0 |194020 | - | 125M| 0 | 953 |1000 | 15k|1000 |5227 | 16k| 0 | 0 |-3.657813e+02 |-1.020000e+02 | 72.11%
85.58/85.69 c 85.7s| 1 | 0 |199194 | - | 125M| 0 | 954 |1000 | 15k|1000 |5253 | 16k| 0 | 0 |-3.640990e+02 |-1.020000e+02 | 71.99%
87.98/88.03 c 88.0s| 1 | 0 |203002 | - | 125M| 0 | 954 |1000 | 15k|1000 |5382 | 16k| 0 | 0 |-3.629950e+02 |-1.020000e+02 | 71.90%
90.48/90.59 c 90.6s| 1 | 0 |207445 | - | 125M| 0 | 954 |1000 | 15k|1000 |5258 | 16k| 0 | 0 |-3.621835e+02 |-1.020000e+02 | 71.84%
93.07/93.14 c 93.1s| 1 | 0 |212885 | - | 125M| 0 | 960 |1000 | 15k|1000 |5376 | 16k| 0 | 0 |-3.611050e+02 |-1.020000e+02 | 71.75%
95.27/95.35 c 95.3s| 1 | 0 |216326 | - | 125M| 0 | 961 |1000 | 15k|1000 |5521 | 16k| 0 | 0 |-3.602028e+02 |-1.020000e+02 | 71.68%
96.88/96.92 c 96.9s| 1 | 0 |217399 | - | 125M| 0 | 965 |1000 | 15k|1000 |5561 | 16k| 0 | 0 |-3.596806e+02 |-1.020000e+02 | 71.64%
99.17/99.28 c 99.3s| 1 | 0 |221361 | - | 125M| 0 | 959 |1000 | 15k|1000 |5598 | 16k| 0 | 0 |-3.584880e+02 |-1.020000e+02 | 71.55%
101.08/101.11 c 101s| 1 | 0 |223200 | - | 125M| 0 | 967 |1000 | 15k|1000 |5644 | 16k| 0 | 0 |-3.577249e+02 |-1.020000e+02 | 71.49%
103.28/103.39 c 103s| 1 | 0 |226181 | - | 124M| 0 | 962 |1000 | 15k|1000 |5505 | 16k| 0 | 0 |-3.569722e+02 |-1.020000e+02 | 71.43%
105.97/106.04 c 106s| 1 | 0 |230626 | - | 124M| 0 | 972 |1000 | 15k|1000 |5572 | 16k| 0 | 0 |-3.561163e+02 |-1.020000e+02 | 71.36%
108.47/108.51 c 109s| 1 | 0 |234578 | - | 124M| 0 | 970 |1000 | 15k|1000 |5648 | 16k| 0 | 0 |-3.549202e+02 |-1.020000e+02 | 71.26%
110.98/111.02 c 111s| 1 | 0 |238759 | - | 123M| 0 | 964 |1000 | 15k|1000 |5699 | 16k| 0 | 0 |-3.540181e+02 |-1.020000e+02 | 71.19%
112.77/112.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.77/112.89 c 113s| 1 | 0 |240240 | - | 123M| 0 | 967 |1000 | 15k|1000 |5767 | 17k| 0 | 0 |-3.538175e+02 |-1.020000e+02 | 71.17%
115.87/115.94 c 116s| 1 | 0 |245993 | - | 123M| 0 | 970 |1000 | 15k|1000 |5819 | 17k| 0 | 0 |-3.525846e+02 |-1.020000e+02 | 71.07%
118.78/118.81 c 119s| 1 | 0 |250476 | - | 120M| 0 | 981 |1000 | 15k|1000 |5666 | 17k| 0 | 0 |-3.517520e+02 |-1.020000e+02 | 71.00%
121.37/121.48 c 121s| 1 | 0 |254127 | - | 120M| 0 | 975 |1000 | 15k|1000 |5699 | 17k| 0 | 0 |-3.509033e+02 |-1.020000e+02 | 70.93%
123.67/123.78 c 124s| 1 | 0 |257065 | - | 118M| 0 | 981 |1000 | 15k|1000 |5757 | 17k| 0 | 0 |-3.501301e+02 |-1.020000e+02 | 70.87%
127.27/127.36 c 127s| 1 | 0 |263528 | - | 118M| 0 | 987 |1000 | 15k|1000 |5824 | 17k| 0 | 0 |-3.488073e+02 |-1.020000e+02 | 70.76%
129.57/129.65 c 130s| 1 | 0 |265780 | - | 118M| 0 | 984 |1000 | 15k|1000 |5928 | 17k| 0 | 0 |-3.482736e+02 |-1.020000e+02 | 70.71%
131.88/131.99 c 132s| 1 | 0 |268072 | - | 118M| 0 | 983 |1000 | 15k|1000 |5938 | 17k| 0 | 0 |-3.476846e+02 |-1.020000e+02 | 70.66%
134.77/134.80 c 135s| 1 | 0 |271761 | - | 118M| 0 | 982 |1000 | 15k|1000 |5798 | 17k| 0 | 0 |-3.469823e+02 |-1.020000e+02 | 70.60%
137.97/138.02 c 138s| 1 | 0 |276973 | - | 118M| 0 | 989 |1000 | 15k|1000 |5833 | 17k| 0 | 0 |-3.463979e+02 |-1.020000e+02 | 70.55%
140.36/140.42 c 140s| 1 | 0 |279423 | - | 117M| 0 | 984 |1000 | 15k|1000 |5924 | 17k| 0 | 0 |-3.459483e+02 |-1.020000e+02 | 70.52%
142.67/142.76 c 143s| 1 | 0 |281408 | - | 117M| 0 | 989 |1000 | 15k|1000 |5951 | 17k| 0 | 0 |-3.454796e+02 |-1.020000e+02 | 70.48%
145.66/145.72 c 146s| 1 | 0 |285791 | - | 117M| 0 | 992 |1000 | 15k|1000 |5987 | 17k| 0 | 0 |-3.447297e+02 |-1.020000e+02 | 70.41%
148.86/148.94 c 149s| 1 | 0 |291143 | - | 117M| 0 | 991 |1000 | 15k|1000 |6028 | 17k| 0 | 0 |-3.439741e+02 |-1.020000e+02 | 70.35%
151.47/151.50 c 152s| 1 | 0 |293532 | - | 117M| 0 | 989 |1000 | 15k|1000 |5954 | 17k| 0 | 0 |-3.432351e+02 |-1.020000e+02 | 70.28%
153.97/154.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.97/154.02 c 154s| 1 | 0 |296184 | - | 116M| 0 | 988 |1000 | 15k|1000 |6005 | 17k| 0 | 0 |-3.427207e+02 |-1.020000e+02 | 70.24%
156.86/156.90 c 157s| 1 | 0 |300078 | - | 116M| 0 | 989 |1000 | 15k|1000 |6031 | 17k| 0 | 0 |-3.420164e+02 |-1.020000e+02 | 70.18%
159.16/159.27 c 159s| 1 | 0 |302001 | - | 115M| 0 | 988 |1000 | 15k|1000 |6077 | 17k| 0 | 0 |-3.415805e+02 |-1.020000e+02 | 70.14%
162.26/162.32 c 162s| 1 | 0 |306564 | - | 115M| 0 | 993 |1000 | 15k|1000 |6117 | 17k| 0 | 0 |-3.407538e+02 |-1.020000e+02 | 70.07%
165.36/165.44 c 165s| 1 | 0 |310270 | - | 115M| 0 | 994 |1000 | 15k|1000 |6185 | 18k| 0 | 0 |-3.399169e+02 |-1.020000e+02 | 69.99%
168.36/168.45 c 168s| 1 | 0 |313587 | - | 114M| 0 | 994 |1000 | 15k|1000 |6145 | 18k| 0 | 0 |-3.392465e+02 |-1.020000e+02 | 69.93%
171.16/171.22 c 171s| 1 | 0 |316216 | - | 114M| 0 | 994 |1000 | 15k|1000 |6185 | 18k| 0 | 0 |-3.388148e+02 |-1.020000e+02 | 69.90%
174.06/174.13 c 174s| 1 | 0 |319136 | - | 112M| 0 | 997 |1000 | 15k|1000 |6236 | 18k| 0 | 0 |-3.383385e+02 |-1.020000e+02 | 69.85%
176.97/177.07 c 177s| 1 | 0 |321832 | - | 112M| 0 | 994 |1000 | 15k|1000 |6287 | 18k| 0 | 0 |-3.376469e+02 |-1.020000e+02 | 69.79%
179.86/179.98 c 180s| 1 | 0 |324679 | - | 112M| 0 | 989 |1000 | 15k|1000 |6313 | 18k| 0 | 0 |-3.371796e+02 |-1.020000e+02 | 69.75%
182.76/182.80 c 183s| 1 | 0 |326965 | - | 112M| 0 | 996 |1000 | 15k|1000 |6351 | 18k| 0 | 0 |-3.367876e+02 |-1.020000e+02 | 69.71%
185.77/185.88 c 186s| 1 | 0 |330111 | - | 111M| 0 | 995 |1000 | 15k|1000 |6275 | 18k| 0 | 0 |-3.363039e+02 |-1.020000e+02 | 69.67%
188.26/188.36 c 188s| 1 | 0 |331346 | - | 110M| 0 | 993 |1000 | 15k|1000 |6289 | 18k| 0 | 0 |-3.360274e+02 |-1.020000e+02 | 69.65%
191.26/191.31 c 191s| 1 | 0 |334320 | - | 110M| 0 | 992 |1000 | 15k|1000 |6324 | 18k| 0 | 0 |-3.354283e+02 |-1.020000e+02 | 69.59%
194.45/194.50 c 194s| 1 | 0 |337804 | - | 110M| 0 | 995 |1000 | 15k|1000 |6359 | 18k| 0 | 0 |-3.349894e+02 |-1.020000e+02 | 69.55%
197.06/197.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.06/197.11 c 197s| 1 | 0 |339743 | - | 110M| 0 | 993 |1000 | 15k|1000 |6396 | 18k| 0 | 0 |-3.346944e+02 |-1.020000e+02 | 69.52%
199.85/199.96 c 200s| 1 | 0 |342365 | - | 109M| 0 | 993 |1000 | 15k|1000 |6428 | 18k| 0 | 0 |-3.342299e+02 |-1.020000e+02 | 69.48%
202.45/202.50 c 202s| 1 | 0 |343703 | - | 109M| 0 | 991 |1000 | 15k|1000 |6351 | 18k| 0 | 0 |-3.340097e+02 |-1.020000e+02 | 69.46%
205.25/205.33 c 205s| 1 | 0 |345922 | - | 109M| 0 | 993 |1000 | 15k|1000 |6375 | 18k| 0 | 0 |-3.336238e+02 |-1.020000e+02 | 69.43%
207.95/208.04 c 208s| 1 | 0 |347939 | - | 109M| 0 | 992 |1000 | 15k|1000 |6397 | 18k| 0 | 0 |-3.332585e+02 |-1.020000e+02 | 69.39%
210.65/210.71 c 211s| 1 | 0 |350095 | - | 108M| 0 | 995 |1000 | 15k|1000 |6418 | 18k| 0 | 0 |-3.328360e+02 |-1.020000e+02 | 69.35%
213.36/213.43 c 213s| 1 | 0 |352495 | - | 107M| 0 | 998 |1000 | 15k|1000 |6443 | 18k| 0 | 0 |-3.325357e+02 |-1.020000e+02 | 69.33%
215.84/215.90 c 216s| 1 | 0 |354186 | - | 106M| 0 | 996 |1000 | 15k|1000 |6459 | 18k| 0 | 0 |-3.322026e+02 |-1.020000e+02 | 69.30%
218.14/218.29 c 218s| 1 | 0 |355606 | - | 105M| 0 | 998 |1000 | 15k|1000 |6390 | 18k| 0 | 0 |-3.319593e+02 |-1.020000e+02 | 69.27%
220.95/221.10 c 221s| 1 | 0 |358589 | - | 104M| 0 | 996 |1000 | 15k|1000 |6422 | 18k| 0 | 0 |-3.313668e+02 |-1.020000e+02 | 69.22%
223.74/223.86 c 224s| 1 | 0 |361059 | - | 102M| 0 | 997 |1000 | 15k|1000 |6460 | 18k| 0 | 0 |-3.308391e+02 |-1.020000e+02 | 69.17%
226.34/226.42 c 226s| 1 | 0 |362645 | - | 102M| 0 | 995 |1000 | 15k|1000 |6494 | 18k| 0 | 0 |-3.304072e+02 |-1.020000e+02 | 69.13%
229.44/229.55 c 230s| 1 | 0 |366225 | - | 101M| 0 | 998 |1000 | 15k|1000 |6516 | 18k| 0 | 0 |-3.298590e+02 |-1.020000e+02 | 69.08%
232.24/232.39 c 232s| 1 | 0 |368476 | - | 101M| 0 | 996 |1000 | 15k|1000 |6536 | 18k| 0 | 0 |-3.293397e+02 |-1.020000e+02 | 69.03%
235.44/235.57 c 236s| 1 | 0 |371813 | - | 101M| 0 | 997 |1000 | 15k|1000 |6514 | 18k| 0 | 0 |-3.287655e+02 |-1.020000e+02 | 68.97%
238.24/238.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.24/238.34 c 238s| 1 | 0 |374119 | - | 100M| 0 | 997 |1000 | 15k|1000 |6549 | 18k| 0 | 0 |-3.283878e+02 |-1.020000e+02 | 68.94%
240.84/240.96 c 241s| 1 | 0 |375662 | - | 99M| 0 | 997 |1000 | 15k|1000 |6570 | 18k| 0 | 0 |-3.281404e+02 |-1.020000e+02 | 68.92%
243.63/243.75 c 244s| 1 | 0 |377765 | - | 98M| 0 | 996 |1000 | 15k|1000 |6590 | 18k| 0 | 0 |-3.277825e+02 |-1.020000e+02 | 68.88%
246.43/246.54 c 247s| 1 | 0 |379871 | - | 96M| 0 | 997 |1000 | 15k|1000 |6606 | 18k| 0 | 0 |-3.274830e+02 |-1.020000e+02 | 68.85%
249.03/249.18 c 249s| 1 | 0 |381374 | - | 95M| 0 | 996 |1000 | 15k|1000 |6630 | 18k| 0 | 0 |-3.272182e+02 |-1.020000e+02 | 68.83%
251.84/251.99 c 252s| 1 | 0 |383458 | - | 95M| 0 | 998 |1000 | 15k|1000 |6591 | 18k| 0 | 0 |-3.267398e+02 |-1.020000e+02 | 68.78%
254.63/254.72 c 255s| 1 | 0 |385176 | - | 94M| 0 | 998 |1000 | 15k|1000 |6608 | 18k| 0 | 0 |-3.263817e+02 |-1.020000e+02 | 68.75%
257.34/257.48 c 257s| 1 | 0 |387040 | - | 93M| 0 | 996 |1000 | 15k|1000 |6624 | 18k| 0 | 0 |-3.258704e+02 |-1.020000e+02 | 68.70%
259.93/260.00 c 260s| 1 | 0 |388467 | - | 93M| 0 | 998 |1000 | 15k|1000 |6642 | 18k| 0 | 0 |-3.255331e+02 |-1.020000e+02 | 68.67%
262.33/262.46 c 262s| 1 | 0 |389447 | - | 91M| 0 | 998 |1000 | 15k|1000 |6656 | 18k| 0 | 0 |-3.253215e+02 |-1.020000e+02 | 68.65%
264.83/264.96 c 265s| 1 | 0 |390741 | - | 90M| 0 | 998 |1000 | 15k|1000 |6667 | 18k| 0 | 0 |-3.251576e+02 |-1.020000e+02 | 68.63%
267.23/267.39 c 267s| 1 | 0 |391655 | - | 89M| 0 | 996 |1000 | 15k|1000 |6617 | 18k| 0 | 0 |-3.250611e+02 |-1.020000e+02 | 68.62%
269.83/269.95 c 270s| 1 | 0 |393133 | - | 88M| 0 | 998 |1000 | 15k|1000 |6627 | 19k| 0 | 0 |-3.247411e+02 |-1.020000e+02 | 68.59%
272.33/272.42 c 272s| 1 | 0 |394264 | - | 88M| 0 | 996 |1000 | 15k|1000 |6640 | 19k| 0 | 0 |-3.245122e+02 |-1.020000e+02 | 68.57%
274.73/274.85 c 275s| 1 | 0 |395432 | - | 85M| 0 | 999 |1000 | 15k|1000 |6661 | 19k| 0 | 0 |-3.243394e+02 |-1.020000e+02 | 68.55%
277.03/277.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.03/277.18 c 277s| 1 | 0 |396156 | - | 84M| 0 | 998 |1000 | 15k|1000 |6675 | 19k| 0 | 0 |-3.242517e+02 |-1.020000e+02 | 68.54%
279.42/279.50 c 279s| 1 | 0 |396976 | - | 84M| 0 | 999 |1000 | 15k|1000 |6688 | 19k| 0 | 0 |-3.240495e+02 |-1.020000e+02 | 68.52%
281.63/281.79 c 282s| 1 | 0 |397693 | - | 82M| 0 | 998 |1000 | 15k|1000 |6637 | 19k| 0 | 0 |-3.239364e+02 |-1.020000e+02 | 68.51%
284.12/284.26 c 284s| 1 | 0 |398950 | - | 77M| 0 | 997 |1000 | 15k|1000 |6647 | 19k| 0 | 0 |-3.237694e+02 |-1.020000e+02 | 68.50%
286.42/286.59 c 287s| 1 | 0 |399739 | - | 75M| 0 | 997 |1000 | 15k|1000 |6662 | 19k| 0 | 0 |-3.236696e+02 |-1.020000e+02 | 68.49%
288.82/288.90 c 289s| 1 | 0 |400689 | - | 73M| 0 | 997 |1000 | 15k|1000 |6672 | 19k| 0 | 0 |-3.235584e+02 |-1.020000e+02 | 68.48%
290.92/291.08 c 291s| 1 | 0 |401228 | - | 71M| 0 | 997 |1000 | 15k|1000 |6684 | 19k| 0 | 0 |-3.235185e+02 |-1.020000e+02 | 68.47%
293.32/293.45 c 293s| 1 | 0 |402218 | - | 69M| 0 | 997 |1000 | 15k|1000 |6694 | 19k| 0 | 0 |-3.234193e+02 |-1.020000e+02 | 68.46%
295.72/295.82 c 296s| 1 | 0 |403151 | - | 66M| 0 | 997 |1000 | 15k|1000 |6659 | 19k| 0 | 0 |-3.233181e+02 |-1.020000e+02 | 68.45%
298.02/298.15 c 298s| 1 | 0 |404205 | - | 64M| 0 | 998 |1000 | 15k|1000 |6674 | 19k| 0 | 0 |-3.232144e+02 |-1.020000e+02 | 68.44%
300.22/300.37 c 300s| 1 | 0 |404930 | - | 62M| 0 | 998 |1000 | 15k|1000 |6688 | 19k| 0 | 0 |-3.231535e+02 |-1.020000e+02 | 68.44%
302.42/302.58 c 303s| 1 | 0 |405677 | - | 62M| 0 | 996 |1000 | 15k|1000 |6701 | 19k| 0 | 0 |-3.231017e+02 |-1.020000e+02 | 68.43%
304.81/304.95 c 305s| 1 | 0 |406777 | - | 62M| 0 | 998 |1000 | 15k|1000 |6711 | 19k| 0 | 0 |-3.230415e+02 |-1.020000e+02 | 68.43%
307.02/307.16 c 307s| 1 | 0 |407630 | - | 59M| 0 | 997 |1000 | 15k|1000 |6720 | 19k| 0 | 0 |-3.230076e+02 |-1.020000e+02 | 68.42%
309.02/309.15 c 309s| 1 | 0 |407710 | - | 59M| 0 | 973 |1000 | 15k|1000 |6676 | 19k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
310.82/310.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.82/310.99 c 311s| 1 | 0 |407711 | - | 59M| 0 | 968 |1000 | 15k|1000 |6680 | 19k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
324.82/324.90 c 325s| 1 | 2 |407711 | - | 59M| 0 | 968 |1000 | 15k|1000 |6680 | 19k| 0 | 36 |-3.230000e+02 |-1.020000e+02 | 68.42%
1074.51/1074.74 c 1075s| 10000 | 10001 | 5619k| 521.2 | 104M| 61 | 112 |1000 | 15k|1000 |1139 |1052k| 0 |4450 |-3.194813e+02 |-1.020000e+02 | 68.07%
1536.92/1537.28 c 1537s| 20000 | 20001 | 9532k| 456.2 | 147M| 66 | 195 |1000 | 15k|1000 | 998 |2029k| 0 |6103 |-3.187004e+02 |-1.020000e+02 | 68.00%
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.00
1796.69/1797.01 c Solving Nodes : 26098
1796.69/1797.01 c Primal Bound : -1.02000000000000e+02 (510 solutions)
1796.69/1797.01 c Dual Bound : -3.18382237688461e+02
1796.69/1797.01 c Gap : 67.96 %
1796.69/1797.03 s SATISFIABLE
1796.69/1797.03 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1796.69/1797.03 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1796.69/1797.03 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1796.69/1797.03 v -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1796.69/1797.03 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1796.69/1797.03 v x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874
1796.69/1797.03 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1796.69/1797.03 v -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 x832
1796.69/1797.03 v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1796.69/1797.03 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1796.69/1797.03 v -x789 x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1796.69/1797.03 v -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
1796.69/1797.03 v -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1796.69/1797.03 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705
1796.69/1797.03 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1796.69/1797.03 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1796.69/1797.03 v -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642
1796.69/1797.03 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1796.69/1797.03 v -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1796.69/1797.03 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 x580 -x579
1796.69/1797.03 v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1796.69/1797.03 v -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1796.69/1797.03 v -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
1796.69/1797.03 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1796.69/1797.03 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1796.69/1797.03 v -x473 -x472 -x471 -x470 -x469 x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
1796.69/1797.03 v -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1796.69/1797.03 v x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
1796.69/1797.03 v -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 x391 -x390 -x389
1796.69/1797.03 v -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
1796.69/1797.03 v -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1796.69/1797.03 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 x328 -x327 -x326
1796.69/1797.03 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1796.69/1797.03 v -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
1796.69/1797.03 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1796.69/1797.03 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1796.69/1797.03 v x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220
1796.69/1797.03 v -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 x204 -x203 -x202 x201 -x200 -x199
1796.69/1797.03 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1796.69/1797.03 v -x177 -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1796.69/1797.03 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135
1796.69/1797.03 v -x134 x133 x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114
1796.69/1797.03 v -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1796.69/1797.03 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
1796.69/1797.03 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
1796.69/1797.03 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
1796.69/1797.03 v x11 -x10 x9 x8 -x7 x6 x5 x4 -x3 x2 x1
1796.69/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.03 c Total Time : 1797.00
1796.69/1797.03 c solving : 1797.00
1796.69/1797.03 c presolving : 0.30 (included in solving)
1796.69/1797.03 c reading : 0.09 (included in solving)
1796.69/1797.03 c Original Problem :
1796.69/1797.03 c Problem name : HOME/instance-3737263-1338726136.opb
1796.69/1797.03 c Variables : 16772 (16772 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03 c Constraints : 17772 initial, 17772 maximal
1796.69/1797.03 c Presolved Problem :
1796.69/1797.03 c Problem name : t_HOME/instance-3737263-1338726136.opb
1796.69/1797.03 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03 c Constraints : 15772 initial, 15772 maximal
1796.69/1797.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.03 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c probing : 0.06 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c and : 0.12 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c linear : 0.05 15772 0 0 15772 0 1000 0 0 0
1796.69/1797.03 c pseudoboolean : 0.02 0 0 0 0 0 1000 0 0 0
1796.69/1797.03 c root node : - 0 - - 0 - - - - -
1796.69/1797.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.69/1797.03 c integral : 0 0 0 30518 0 70393 0 0 0 0 0 52192
1796.69/1797.03 c setppc : 15772 193 105126 4422 2 70389 0 0 437876 2612596 0 0
1796.69/1797.03 c countsols : 0 0 0 0 2 512 0 0 0 0 0 0
1796.69/1797.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.69/1797.03 c integral : 271.82 0.00 0.00 271.77 0.00 0.05 0.00
1796.69/1797.03 c setppc : 24.41 0.99 9.44 3.77 0.00 10.21 0.00
1796.69/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.69/1797.03 c vbounds : 0 0 0 0
1796.69/1797.03 c rootredcost : 0 0 0 0
1796.69/1797.03 c pseudoobj : 105531 0 0 0
1796.69/1797.03 c Propagator Timings : TotalTime Propagate Resprop
1796.69/1797.03 c vbounds : 0.02 0.02 0.00
1796.69/1797.03 c rootredcost : 0.02 0.02 0.00
1796.69/1797.03 c pseudoobj : 1.63 1.63 0.00
1796.69/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.03 c applied globally : - - - 0 0.0 - - -
1796.69/1797.03 c applied locally : - - - 0 0.0 - - -
1796.69/1797.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.69/1797.03 c cut pool : 1.56 192 - - 5697 - (maximal pool size: 17403)
1796.69/1797.03 c redcost : 0.65 30710 0 0 0 0
1796.69/1797.03 c impliedbounds : 0.21 193 0 0 31393 0
1796.69/1797.03 c intobj : 0.00 0 0 0 0 0
1796.69/1797.03 c gomory : 178.91 190 0 0 62696 0
1796.69/1797.03 c cgmip : 0.00 0 0 0 0 0
1796.69/1797.03 c closecuts : 0.00 0 0 0 0 0
1796.69/1797.03 c strongcg : 1.18 20 0 0 10000 0
1796.69/1797.03 c cmir : 0.37 10 0 0 0 0
1796.69/1797.03 c flowcover : 0.28 10 0 0 0 0
1796.69/1797.03 c clique : 4.97 190 0 0 1622 0
1796.69/1797.03 c zerohalf : 0.00 0 0 0 0 0
1796.69/1797.03 c mcf : 0.01 1 0 0 0 0
1796.69/1797.03 c oddcycle : 0.00 0 0 0 0 0
1796.69/1797.03 c rapidlearning : 0.00 0 0 0 0 0
1796.69/1797.03 c Pricers : Time Calls Vars
1796.69/1797.03 c problem variables: 0.00 0 0
1796.69/1797.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.03 c relpscost : 271.75 26096 0 0 0 0 52192
1796.69/1797.03 c pscost : 0.00 0 0 0 0 0 0
1796.69/1797.03 c inference : 0.00 2 0 0 0 0 4
1796.69/1797.03 c mostinf : 0.00 0 0 0 0 0 0
1796.69/1797.03 c leastinf : 0.00 0 0 0 0 0 0
1796.69/1797.03 c fullstrong : 0.00 0 0 0 0 0 0
1796.69/1797.03 c allfullstrong : 0.00 0 0 0 0 0 0
1796.69/1797.03 c random : 0.00 0 0 0 0 0 0
1796.69/1797.03 c Primal Heuristics : Time Calls Found
1796.69/1797.03 c LP solutions : 0.00 - 0
1796.69/1797.03 c pseudo solutions : 0.00 - 0
1796.69/1797.03 c intshifting : 0.00 0 0
1796.69/1797.03 c oneopt : 0.02 2 1
1796.69/1797.03 c crossover : 0.70 9 2
1796.69/1797.03 c fracdiving : 29.90 587 14
1796.69/1797.03 c veclendiving : 28.63 587 50
1796.69/1797.03 c linesearchdiving : 30.36 587 27
1796.69/1797.03 c guideddiving : 30.79 587 13
1796.69/1797.03 c coefdiving : 28.68 588 27
1796.69/1797.03 c pscostdiving : 30.78 588 26
1796.69/1797.03 c trivial : 0.03 2 1
1796.69/1797.03 c shiftandpropagate: 0.00 0 0
1796.69/1797.03 c simplerounding : 6.00 26288 346
1796.69/1797.03 c zirounding : 0.28 1000 0
1796.69/1797.03 c rounding : 28.92 7357 1
1796.69/1797.03 c shifting : 10.60 1978 1
1796.69/1797.03 c twoopt : 0.00 0 0
1796.69/1797.03 c fixandinfer : 0.00 0 0
1796.69/1797.03 c feaspump : 0.00 0 0
1796.69/1797.03 c clique : 0.00 0 0
1796.69/1797.03 c intdiving : 0.00 0 0
1796.69/1797.03 c actconsdiving : 0.00 0 0
1796.69/1797.03 c objpscostdiving : 14.80 15 0
1796.69/1797.03 c rootsoldiving : 10.52 164 1
1796.69/1797.03 c octane : 0.00 0 0
1796.69/1797.03 c rens : 0.03 0 0
1796.69/1797.03 c rins : 0.00 0 0
1796.69/1797.03 c localbranching : 0.00 0 0
1796.69/1797.03 c mutation : 0.00 0 0
1796.69/1797.03 c dins : 0.00 0 0
1796.69/1797.03 c vbounds : 0.00 0 0
1796.69/1797.03 c undercover : 0.02 1 0
1796.69/1797.03 c subnlp : 0.01 0 0
1796.69/1797.03 c trysol : 0.01 0 0
1796.69/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec
1796.69/1797.03 c primal LP : 2.43 0 0 0.00 0.00
1796.69/1797.03 c dual LP : 1053.69 30711 9857729 320.98 9355.42
1796.69/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.03 c barrier LP : 0.00 0 0 0.00 -
1796.69/1797.03 c diving/probing LP: 182.25 39342 1938257 49.27 10635.04
1796.69/1797.03 c strong branching : 269.98 7027 2031716 289.13 7525.35
1796.69/1797.03 c (at root node) : - 36 32934 914.83 -
1796.69/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.03 c B&B Tree :
1796.69/1797.03 c number of runs : 1
1796.69/1797.03 c nodes : 26098
1796.69/1797.03 c nodes (total) : 26098
1796.69/1797.03 c nodes left : 26099
1796.69/1797.03 c max depth : 66
1796.69/1797.03 c max depth (total): 66
1796.69/1797.03 c backtracks : 3709 (14.2%)
1796.69/1797.03 c delayed cutoffs : 0
1796.69/1797.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.03 c avg switch length: 4.08
1796.69/1797.03 c switching time : 7.81
1796.69/1797.03 c Solution :
1796.69/1797.03 c Solutions found : 510 (4 improvements)
1796.69/1797.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
1796.69/1797.03 c Primal Bound : -1.02000000000000e+02 (in run 1, after 1 nodes, 1.07 seconds, depth 0, found by <oneopt>)
1796.69/1797.03 c Dual Bound : -3.18382237688461e+02
1796.69/1797.03 c Gap : 67.96 %
1796.69/1797.03 c Root Dual Bound : -3.23000000000000e+02
1796.69/1797.03 c Root Iterations : 407711
1796.89/1797.25 c Time complete: 1796.94.
OK -102
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3737263-1338726136/watcher-3737263-1338726136 -o /tmp/evaluation-result-3737263-1338726136/solver-3737263-1338726136 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737263-1338726136.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29995 /proc/meminfo: memFree=27268076/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=9588 CPUtime=0 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 1522 0 0 0 0 0 0 0 20 0 1 0 338739693 9818112 1477 33554432000 4194304 9016284 140734877763808 140734877762776 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 2397 1477 311 1178 0 1215 0 [startup+0.012396 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29995 /proc/meminfo: memFree=27268076/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=15032 CPUtime=0 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 2751 0 0 0 0 0 0 0 20 0 1 0 338739693 15392768 2706 33554432000 4194304 9016284 140734877763808 140734877762776 7875499 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 3758 2706 380 1178 0 2576 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15032 [startup+0.100285 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29995 /proc/meminfo: memFree=27268076/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=42532 CPUtime=0.09 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 9388 0 0 0 8 1 0 0 20 0 1 0 338739693 43552768 9344 33554432000 4194304 9016284 140734877763808 140734877762776 6813403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 10633 9379 422 1178 0 9451 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42532 [startup+0.300311 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29995 /proc/meminfo: memFree=27268076/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=72856 CPUtime=0.29 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 17071 0 0 0 27 2 0 0 20 0 1 0 338739693 74604544 16673 33554432000 4194304 9016284 140734877763808 140734877762776 4802106 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 18214 16673 480 1178 0 17032 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 72856 [startup+0.700305 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29995 /proc/meminfo: memFree=27268076/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=103944 CPUtime=0.69 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 25931 0 0 0 66 3 0 0 20 0 1 0 338739693 106438656 24069 33554432000 4194304 9016284 140734877763808 140734877762776 5860278 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 25986 24069 623 1178 0 24804 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 103944 [startup+1.50029 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29996 /proc/meminfo: memFree=27173936/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=105248 CPUtime=1.49 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 28559 0 0 0 145 4 0 0 20 0 1 0 338739693 107773952 24485 33554432000 4194304 9016284 140734877763808 140734877757208 4777280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 26312 24485 669 1178 0 25130 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 105248 [startup+3.10027 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29996 /proc/meminfo: memFree=27167984/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=112352 CPUtime=3.09 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 31032 0 0 0 304 5 0 0 20 0 1 0 338739693 115048448 26052 33554432000 4194304 9016284 140734877763808 140734877758376 7216468 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 28088 26052 672 1178 0 26906 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 112352 [startup+6.30029 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29996 /proc/meminfo: memFree=27159428/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=119840 CPUtime=6.29 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 34124 0 0 0 622 7 0 0 20 0 1 0 338739693 122716160 28725 33554432000 4194304 9016284 140734877763808 140734877757976 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 29960 28725 672 1178 0 28778 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 119840 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29996 /proc/meminfo: memFree=27124724/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=148160 CPUtime=12.69 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 41108 0 0 0 1257 12 0 0 20 0 1 0 338739693 151715840 35502 33554432000 4194304 9016284 140734877763808 140734877757672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 37040 35502 675 1178 0 35858 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 148160 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29996 /proc/meminfo: memFree=27113076/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=159200 CPUtime=25.49 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 43608 0 0 0 2531 18 0 0 20 0 1 0 338739693 163020800 38002 33554432000 4194304 9016284 140734877763808 140734877758872 4777506 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 39800 38002 675 1178 0 38618 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 159200 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29997 /proc/meminfo: memFree=27061244/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=207480 CPUtime=51.08 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 55718 0 0 0 5076 32 0 0 20 0 1 0 338739693 212459520 49691 33554432000 4194304 9016284 140734877763808 140734877757672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 51870 49691 675 1178 0 50688 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 207480 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29997 /proc/meminfo: memFree=27041156/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=216664 CPUtime=102.27 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 57954 0 0 0 10176 51 0 0 20 0 1 0 338739693 221863936 51871 33554432000 4194304 9016284 140734877763808 140734877758920 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 54166 51871 675 1178 0 52984 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 216664 [startup+162.3 s] /proc/loadavg: 2.06 2.01 2.00 3/177 29997 /proc/meminfo: memFree=27026084/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=216664 CPUtime=162.26 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 57972 0 0 0 16155 71 0 0 20 0 1 0 338739693 221863936 51889 33554432000 4194304 9016284 140734877763808 140734877757672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 54166 51889 675 1178 0 52984 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 216664 [startup+222.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 29997 /proc/meminfo: memFree=27014488/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=216664 CPUtime=222.24 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 57997 0 0 0 22135 89 0 0 20 0 1 0 338739693 221863936 52072 33554432000 4194304 9016284 140734877763808 140734877758920 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 54166 52072 675 1178 0 52984 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 216664 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29998 /proc/meminfo: memFree=27003660/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=216664 CPUtime=282.22 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 58017 0 0 0 28116 106 0 0 20 0 1 0 338739693 221863936 52136 33554432000 4194304 9016284 140734877763808 140734877757672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 54166 52136 675 1178 0 52984 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 216664 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29998 /proc/meminfo: memFree=26990852/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=216664 CPUtime=342.21 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 58090 0 0 0 34086 135 0 0 20 0 1 0 338739693 221863936 52367 33554432000 4194304 9016284 140734877763808 140734877757560 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 54166 52367 691 1178 0 52984 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 216664 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29999 /proc/meminfo: memFree=26974236/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=217724 CPUtime=402.2 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 58116 0 0 0 40030 190 0 0 20 0 1 0 338739693 222949376 52393 33554432000 4194304 9016284 140734877763808 140734877758024 4786416 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 54431 52393 694 1178 0 53249 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 217724 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29999 /proc/meminfo: memFree=26959480/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=219820 CPUtime=462.19 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 58767 0 0 0 45977 242 0 0 20 0 1 0 338739693 225095680 53044 33554432000 4194304 9016284 140734877763808 140734877757864 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 54955 53044 700 1178 0 53773 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 219820 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30078 /proc/meminfo: memFree=27317296/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=219820 CPUtime=522.18 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 58767 0 0 0 51909 309 0 0 20 0 1 0 338739693 225095680 53044 33554432000 4194304 9016284 140734877763808 140734877757656 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 54955 53044 700 1178 0 53773 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 219820 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30078 /proc/meminfo: memFree=27304032/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=219820 CPUtime=582.17 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 58772 0 0 0 57821 396 0 0 20 0 1 0 338739693 225095680 53500 33554432000 4194304 9016284 140734877763808 140734877758136 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 54955 53500 700 1178 0 53773 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 219820 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27168544/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=227284 CPUtime=1122.09 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 74383 0 0 0 111044 1165 0 0 20 0 1 0 338739693 232738816 55392 33554432000 4194304 9016284 140734877763808 140734877757976 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 56821 55392 700 1178 0 55639 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 227284 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30083 /proc/meminfo: memFree=27152060/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=231356 CPUtime=1182.08 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 75285 0 0 0 116984 1224 0 0 20 0 1 0 338739693 236908544 56294 33554432000 4194304 9016284 140734877763808 140734877757560 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 57839 56294 700 1178 0 56657 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 231356 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30083 /proc/meminfo: memFree=27132888/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=234920 CPUtime=1242.07 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 76213 0 0 0 122926 1281 0 0 20 0 1 0 338739693 240558080 57293 33554432000 4194304 9016284 140734877763808 140734877757672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 58730 57293 700 1178 0 57548 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 234920 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30084 /proc/meminfo: memFree=27109948/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=241268 CPUtime=1302.07 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 77701 0 0 0 128862 1345 0 0 20 0 1 0 338739693 247058432 58781 33554432000 4194304 9016284 140734877763808 140734877757768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 60317 58781 700 1178 0 59135 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 241268 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30084 /proc/meminfo: memFree=27089612/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=248268 CPUtime=1362.06 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 79268 0 0 0 134799 1407 0 0 20 0 1 0 338739693 254226432 60348 33554432000 4194304 9016284 140734877763808 140734877757576 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 62067 60348 700 1178 0 60885 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 248268 [startup+1422.31 s] /proc/loadavg: 2.06 2.02 2.00 3/177 30084 /proc/meminfo: memFree=27068772/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=253672 CPUtime=1422.05 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 80681 0 0 0 140740 1465 0 0 20 0 1 0 338739693 259760128 61761 33554432000 4194304 9016284 140734877763808 140734877757400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 63418 61761 700 1178 0 62236 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 253672 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 30084 /proc/meminfo: memFree=27048000/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=257996 CPUtime=1482.03 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 81771 0 0 0 146676 1527 0 0 20 0 1 0 338739693 264187904 62818 33554432000 4194304 9016284 140734877763808 140734877757656 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 64499 62818 700 1178 0 63317 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 257996 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 30084 /proc/meminfo: memFree=27023308/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=264960 CPUtime=1542.02 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 83628 0 0 0 152618 1584 0 0 20 0 1 0 338739693 271319040 64792 33554432000 4194304 9016284 140734877763808 140734877757768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 66240 64792 700 1178 0 65058 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 264960 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30085 /proc/meminfo: memFree=27003884/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=272172 CPUtime=1602.02 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 85375 0 0 0 158552 1650 0 0 20 0 1 0 338739693 278704128 66554 33554432000 4194304 9016284 140734877763808 140734877757672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 68043 66554 700 1178 0 66861 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 272172 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30085 /proc/meminfo: memFree=26983548/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=276252 CPUtime=1662.01 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 86365 0 0 0 164486 1715 0 0 20 0 1 0 338739693 282882048 67544 33554432000 4194304 9016284 140734877763808 140734877757864 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 69063 67544 700 1178 0 67881 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 276252 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30088 /proc/meminfo: memFree=26962584/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=281412 CPUtime=1721.99 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 94163 0 0 0 170417 1782 0 0 20 0 1 0 338739693 288165888 68867 33554432000 4194304 9016284 140734877763808 140734877757672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 70353 68867 700 1178 0 69171 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 281412 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30088 /proc/meminfo: memFree=26943504/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=286384 CPUtime=1781.99 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 95470 0 0 0 176357 1842 0 0 20 0 1 0 338739693 293257216 70174 33554432000 4194304 9016284 140734877763808 140734877757656 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 71596 70174 700 1178 0 70414 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 286384 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30088 /proc/meminfo: memFree=26942744/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=286384 CPUtime=1785.19 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 95476 0 0 0 176674 1845 0 0 20 0 1 0 338739693 293257216 70180 33554432000 4194304 9016284 140734877763808 140734877757752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 71596 70180 700 1178 0 70414 0 Current children cumulated CPU time (s) 1785.19 Current children cumulated vsize (KiB) 286384 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30088 /proc/meminfo: memFree=26938280/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=287124 CPUtime=1791.59 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 95681 0 0 0 177307 1852 0 0 20 0 1 0 338739693 294014976 70385 33554432000 4194304 9016284 140734877763808 140734877757672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 71781 70385 700 1178 0 70599 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (KiB) 287124 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30088 /proc/meminfo: memFree=26937272/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=287124 CPUtime=1794.8 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 95687 0 0 0 177625 1855 0 0 20 0 1 0 338739693 294014976 70391 33554432000 4194304 9016284 140734877763808 140734877757768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 71781 70391 700 1178 0 70599 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 287124 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30088 /proc/meminfo: memFree=26937272/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=287124 CPUtime=1795.59 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 95687 0 0 0 177704 1855 0 0 20 0 1 0 338739693 294014976 70391 33554432000 4194304 9016284 140734877763808 140734877757768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 71781 70391 700 1178 0 70599 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 287124 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30088 /proc/meminfo: memFree=26937272/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=287124 CPUtime=1796.38 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 95688 0 0 0 177782 1856 0 0 20 0 1 0 338739693 294014976 70392 33554432000 4194304 9016284 140734877763808 140734877757768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 71781 70392 700 1178 0 70599 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (KiB) 287124 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30088 /proc/meminfo: memFree=26937272/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=287124 CPUtime=1796.79 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 95690 0 0 0 177822 1857 0 0 20 0 1 0 338739693 294014976 70394 33554432000 4194304 9016284 140734877763808 140734877757768 4839196 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 71781 70394 702 1178 0 70599 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 287124 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30088 /proc/meminfo: memFree=26937272/32873844 swapFree=7372/7372 [pid=29995] ppid=29993 vsize=286212 CPUtime=1796.89 cores=1,3,5,7 /proc/29995/stat : 29995 (scip-2.0.1.4b_2) R 29993 29995 26510 0 -1 4202496 95690 0 0 0 177832 1857 0 0 20 0 1 0 338739693 293081088 70166 33554432000 4194304 9016284 140734877763808 140734877757768 6817696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 71553 70166 702 1178 0 70371 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 286212 Child status: 0 Real time (s): 1797.26 CPU time (s): 1796.95 CPU user time (s): 1778.38 CPU system time (s): 18.5772 CPU usage (%): 99.9831 Max. virtual memory (cumulated for all children) (KiB): 305016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.38 system time used= 18.5772 maximum resident set size= 299004 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 95695 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= 44 involuntary context switches= 1847 runsolver used 2.69959 second user time and 7.14691 second system time The end
Begin job on node118 at 2012-06-03 14:22:16 IDJOB=3737263 IDBENCH=48209 IDSOLVER=2329 FILE ID=node118/3737263-1338726136 RUNJOBID= node118-1338703112-26527 PBS_JOBID= 14636719 Free space on /tmp= 70956 MiB SOLVER NAME= PB11: 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-3737263-1338726136/watcher-3737263-1338726136 -o /tmp/evaluation-result-3737263-1338726136/solver-3737263-1338726136 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737263-1338726136.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe RANDOM SEED=1334790984 node118.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.42 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5320.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27268456 kB Buffers: 494424 kB Cached: 3905520 kB SwapCached: 0 kB Active: 1721684 kB Inactive: 3018200 kB Active(anon): 329644 kB Inactive(anon): 11328 kB Active(file): 1392040 kB Inactive(file): 3006872 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17144 kB Writeback: 0 kB AnonPages: 345656 kB Mapped: 14544 kB Shmem: 200 kB Slab: 725064 kB SReclaimable: 166264 kB SUnreclaim: 558800 kB KernelStack: 1448 kB PageTables: 5016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 454844 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 268288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70936 MiB End job on node118 at 2012-06-03 14:52:13