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 SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -49 | 1800.23 | 1800.22 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_2.opb |
| MD5SUM | 9073bcbe60c862f7d64be630b0fdd227 |
| 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 | -69 |
| Best CPU time to get the best result obtained on this benchmark | 1800.27 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -71 |
| 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 | 60 |
| Maximum length of a constraint | 109 |
| 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) | 75286 |
| Sum of products size (including duplicates) | 150572 |
| Number of different products | 37643 |
| Sum of products size | 75286 |
0.00/0.02 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3450648-1307105018.opb>
0.17/0.25 c original problem has 38643 variables (38643 bin, 0 int, 0 impl, 0 cont) and 39643 constraints
0.17/0.25 c problem read
0.17/0.25 c presolving settings loaded
0.38/0.49 o 0
0.38/0.49 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.38/0.49 c presolving:
0.88/0.99 c (round 1) 37643 del vars, 2000 del conss, 0 add conss, 37643 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150572 impls, 0 clqs
0.98/1.10 c (round 2) 37643 del vars, 2000 del conss, 0 add conss, 37643 chg bounds, 0 chg sides, 0 chg coeffs, 37643 upgd conss, 225858 impls, 0 clqs
1.27/1.35 c (1.3s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.27/1.35 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.27/1.35 c presolving (3 rounds):
1.27/1.35 c 37643 deleted vars, 2000 deleted constraints, 0 added constraints, 37643 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.27/1.35 c 225858 implications, 0 cliques
1.27/1.35 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37643 constraints
1.27/1.35 c 37643 constraints of type <logicor>
1.27/1.35 c transformed objective value is always integral (scale: 1)
1.27/1.35 c Presolving Time: 0.95
1.27/1.35 c - non default parameters ----------------------------------------------------------------------
1.27/1.35 c # SCIP version 2.0.1.5
1.27/1.35 c
1.27/1.35 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.27/1.35 c # [type: int, range: [-1,2147483647], default: -1]
1.27/1.35 c conflict/interconss = 0
1.27/1.35 c
1.27/1.35 c # should binary conflicts be preferred?
1.27/1.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.27/1.35 c conflict/preferbinary = TRUE
1.27/1.35 c
1.27/1.35 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.27/1.35 c # [type: int, range: [-1,2147483647], default: 0]
1.27/1.35 c constraints/agelimit = 1
1.27/1.35 c
1.27/1.35 c # should enforcement of pseudo solution be disabled?
1.27/1.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.27/1.35 c constraints/disableenfops = TRUE
1.27/1.35 c
1.27/1.35 c # frequency for displaying node information lines
1.27/1.35 c # [type: int, range: [-1,2147483647], default: 100]
1.27/1.35 c display/freq = 10000
1.27/1.35 c
1.27/1.35 c # maximal time in seconds to run
1.27/1.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.27/1.35 c limits/time = 1800
1.27/1.35 c
1.27/1.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.27/1.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.27/1.35 c limits/memory = 13950
1.27/1.35 c
1.27/1.35 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.27/1.35 c # [type: int, range: [1,2], default: 1]
1.27/1.35 c timing/clocktype = 2
1.27/1.35 c
1.27/1.35 c # belongs reading time to solving time?
1.27/1.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.27/1.35 c timing/reading = TRUE
1.27/1.35 c
1.27/1.35 c # should presolving try to simplify inequalities
1.27/1.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.27/1.35 c constraints/linear/simplifyinequalities = TRUE
1.27/1.35 c
1.27/1.35 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.27/1.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.27/1.35 c constraints/indicator/addCouplingCons = TRUE
1.27/1.35 c
1.27/1.35 c # should presolving try to simplify knapsacks
1.27/1.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.27/1.35 c constraints/knapsack/simplifyinequalities = TRUE
1.27/1.35 c
1.27/1.35 c -----------------------------------------------------------------------------------------------
1.27/1.35 c start solving
1.27/1.35 c
1.88/1.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.88/1.90 c t 1.9s| 1 | 0 | 1018 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.88/1.95 o -1
1.88/1.95 c R 1.9s| 1 | 0 | 1018 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.88/1.99 o -2
1.88/1.99 c s 2.0s| 1 | 0 | 1018 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.68/2.71 c 2.7s| 1 | 0 | 1170 | - | 121M| 0 | 990 |1000 | 37k|1000 | 37k| 9 | 0 | 0 |-4.950000e+02 |-2.000000e+00 | 99.60%
2.68/2.72 o -49
2.68/2.72 c b 2.7s| 1 | 0 | 1170 | - | 121M| 0 | 990 |1000 | 37k|1000 | 37k| 9 | 0 | 0 |-4.950000e+02 |-4.900000e+01 | 90.10%
3.38/3.44 c 3.4s| 1 | 0 | 1326 | - | 121M| 0 | 978 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.890000e+02 |-4.900000e+01 | 89.98%
4.17/4.29 c 4.3s| 1 | 0 | 1569 | - | 121M| 0 | 969 |1000 | 37k|1000 | 37k| 29 | 0 | 0 |-4.845000e+02 |-4.900000e+01 | 89.89%
5.17/5.25 c 5.2s| 1 | 0 | 1848 | - | 121M| 0 | 966 |1000 | 37k|1000 | 37k| 36 | 0 | 0 |-4.830000e+02 |-4.900000e+01 | 89.86%
6.17/6.26 c 6.2s| 1 | 0 | 2141 | - | 121M| 0 | 957 |1000 | 37k|1000 | 37k| 46 | 0 | 0 |-4.785000e+02 |-4.900000e+01 | 89.76%
7.38/7.46 c 7.4s| 1 | 0 | 2574 | - | 121M| 0 | 946 |1000 | 37k|1000 | 37k| 56 | 0 | 0 |-4.730000e+02 |-4.900000e+01 | 89.64%
8.58/8.66 c 8.6s| 1 | 0 | 2931 | - | 121M| 0 | 943 |1000 | 37k|1000 | 37k| 63 | 0 | 0 |-4.705000e+02 |-4.900000e+01 | 89.59%
9.89/9.92 c 9.9s| 1 | 0 | 3347 | - | 122M| 0 | 937 |1000 | 37k|1000 | 37k| 72 | 0 | 0 |-4.680000e+02 |-4.900000e+01 | 89.53%
11.07/11.12 c 11.1s| 1 | 0 | 3776 | - | 122M| 0 | 933 |1000 | 37k|1000 | 37k| 82 | 0 | 0 |-4.655000e+02 |-4.900000e+01 | 89.47%
12.48/12.59 c 12.6s| 1 | 0 | 4303 | - | 122M| 0 | 929 |1000 | 37k|1000 | 37k| 89 | 0 | 0 |-4.630000e+02 |-4.900000e+01 | 89.42%
14.08/14.14 c 14.1s| 1 | 0 | 5343 | - | 123M| 0 | 916 |1000 | 37k|1000 |1751 | 105 | 0 | 0 |-4.575000e+02 |-4.900000e+01 | 89.29%
14.38/14.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.38/14.44 c 14.4s| 1 | 0 | 6015 | - | 123M| 0 | 907 |1000 | 37k|1000 |1766 | 120 | 0 | 0 |-4.562500e+02 |-4.900000e+01 | 89.26%
14.57/14.69 c 14.7s| 1 | 0 | 6471 | - | 124M| 0 | 893 |1000 | 37k|1000 |2124 | 478 | 0 | 0 |-4.545000e+02 |-4.900000e+01 | 89.22%
15.17/15.22 c 15.2s| 1 | 0 | 8267 | - | 124M| 0 | 898 |1000 | 37k|1000 |2659 |1013 | 0 | 0 |-4.510000e+02 |-4.900000e+01 | 89.14%
15.47/15.56 c 15.5s| 1 | 0 | 9104 | - | 124M| 0 | 896 |1000 | 37k|1000 |2770 |1124 | 0 | 0 |-4.487500e+02 |-4.900000e+01 | 89.08%
15.98/16.05 c 16.0s| 1 | 0 | 10026 | - | 125M| 0 | 890 |1000 | 37k|1000 |3684 |2038 | 0 | 0 |-4.450000e+02 |-4.900000e+01 | 88.99%
16.28/16.38 c 16.4s| 1 | 0 | 11070 | - | 125M| 0 | 884 |1000 | 37k|1000 |3133 |2044 | 0 | 0 |-4.430000e+02 |-4.900000e+01 | 88.94%
16.68/16.70 c 16.7s| 1 | 0 | 11767 | - | 125M| 0 | 876 |1000 | 37k|1000 |3207 |2118 | 0 | 0 |-4.410000e+02 |-4.900000e+01 | 88.89%
16.98/17.04 c 17.0s| 1 | 0 | 12529 | - | 125M| 0 | 853 |1000 | 37k|1000 |3414 |2325 | 0 | 0 |-4.375000e+02 |-4.900000e+01 | 88.80%
17.38/17.42 c 17.4s| 1 | 0 | 13586 | - | 126M| 0 | 861 |1000 | 37k|1000 |4143 |3054 | 0 | 0 |-4.345000e+02 |-4.900000e+01 | 88.72%
17.67/17.75 c 17.7s| 1 | 0 | 14605 | - | 126M| 0 | 859 |1000 | 37k|1000 |4359 |3270 | 0 | 0 |-4.325000e+02 |-4.900000e+01 | 88.67%
17.97/18.06 c 18.0s| 1 | 0 | 15431 | - | 126M| 0 | 856 |1000 | 37k|1000 |4531 |3442 | 0 | 0 |-4.310000e+02 |-4.900000e+01 | 88.63%
18.47/18.51 c 18.5s| 1 | 0 | 17326 | - | 126M| 0 | 897 |1000 | 37k|1000 |4183 |3679 | 0 | 0 |-4.291034e+02 |-4.900000e+01 | 88.58%
19.28/19.35 c 19.3s| 1 | 0 | 17729 | - | 126M| 0 | 859 |1000 | 37k|1000 |6183 |5679 | 0 | 0 |-4.280000e+02 |-4.900000e+01 | 88.55%
19.69/19.79 c 19.8s| 1 | 0 | 19163 | - | 126M| 0 | 848 |1000 | 37k|1000 |6348 |5844 | 0 | 0 |-4.251429e+02 |-4.900000e+01 | 88.47%
20.27/20.31 c 20.3s| 1 | 0 | 20749 | - | 126M| 0 | 839 |1000 | 37k|1000 |6468 |5964 | 0 | 0 |-4.209286e+02 |-4.900000e+01 | 88.36%
20.47/20.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.47/20.55 c 20.5s| 1 | 0 | 21112 | - | 127M| 0 | 843 |1000 | 37k|1000 |6638 |6134 | 0 | 0 |-4.201429e+02 |-4.900000e+01 | 88.34%
20.78/20.89 c 20.9s| 1 | 0 | 21910 | - | 127M| 0 | 837 |1000 | 37k|1000 |6733 |6229 | 0 | 0 |-4.186250e+02 |-4.900000e+01 | 88.30%
21.28/21.37 c 21.4s| 1 | 0 | 23557 | - | 127M| 0 | 835 |1000 | 37k|1000 |4873 |6283 | 0 | 0 |-4.166786e+02 |-4.900000e+01 | 88.24%
21.68/21.73 c 21.7s| 1 | 0 | 24457 | - | 127M| 0 | 822 |1000 | 37k|1000 |5381 |6791 | 0 | 0 |-4.142857e+02 |-4.900000e+01 | 88.17%
21.99/22.07 c 22.1s| 1 | 0 | 25565 | - | 127M| 0 | 821 |1000 | 37k|1000 |5600 |7010 | 0 | 0 |-4.130000e+02 |-4.900000e+01 | 88.14%
22.37/22.43 c 22.4s| 1 | 0 | 26694 | - | 127M| 0 | 827 |1000 | 37k|1000 |5938 |7348 | 0 | 0 |-4.110000e+02 |-4.900000e+01 | 88.08%
22.88/22.91 c 22.9s| 1 | 0 | 28533 | - | 127M| 0 | 823 |1000 | 37k|1000 |5949 |7359 | 0 | 0 |-4.099167e+02 |-4.900000e+01 | 88.05%
23.37/23.48 c 23.5s| 1 | 0 | 30243 | - | 128M| 0 | 815 |1000 | 37k|1000 |6463 |7873 | 0 | 0 |-4.080000e+02 |-4.900000e+01 | 87.99%
23.97/24.06 c 24.0s| 1 | 0 | 32049 | - | 128M| 0 | 834 |1000 | 37k|1000 |5086 |8118 | 0 | 0 |-4.066000e+02 |-4.900000e+01 | 87.95%
24.67/24.78 c 24.8s| 1 | 0 | 34665 | - | 128M| 0 | 822 |1000 | 37k|1000 |5241 |8273 | 0 | 0 |-4.040000e+02 |-4.900000e+01 | 87.87%
25.48/25.58 c 25.6s| 1 | 0 | 37608 | - | 129M| 0 | 827 |1000 | 37k|1000 |5701 |8733 | 0 | 0 |-4.015455e+02 |-4.900000e+01 | 87.80%
25.98/26.08 c 26.1s| 1 | 0 | 38240 | - | 130M| 0 | 796 |1000 | 37k|1000 |6790 |9822 | 0 | 0 |-3.990000e+02 |-4.900000e+01 | 87.72%
26.48/26.59 c 26.6s| 1 | 0 | 39743 | - | 130M| 0 | 793 |1000 | 37k|1000 |6859 |9891 | 0 | 0 |-3.967500e+02 |-4.900000e+01 | 87.65%
27.38/27.44 c 27.4s| 1 | 0 | 42955 | - | 130M| 0 | 787 |1000 | 37k|1000 |6957 |9989 | 0 | 0 |-3.945000e+02 |-4.900000e+01 | 87.58%
27.77/27.86 c 27.8s| 1 | 0 | 44085 | - | 130M| 0 | 782 |1000 | 37k|1000 |5777 | 10k| 0 | 0 |-3.930000e+02 |-4.900000e+01 | 87.53%
28.28/28.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.28/28.32 c 28.3s| 1 | 0 | 45666 | - | 130M| 0 | 777 |1000 | 37k|1000 |5891 | 10k| 0 | 0 |-3.910000e+02 |-4.900000e+01 | 87.47%
29.58/29.68 c 29.7s| 1 | 0 | 51034 | - | 131M| 0 | 841 |1000 | 37k|1000 |6269 | 10k| 0 | 0 |-3.900714e+02 |-4.900000e+01 | 87.44%
30.37/30.45 c 30.4s| 1 | 0 | 51400 | - | 131M| 0 | 795 |1000 | 37k|1000 |8269 | 12k| 0 | 0 |-3.900000e+02 |-4.900000e+01 | 87.44%
30.87/30.97 c 30.9s| 1 | 0 | 52740 | - | 131M| 0 | 779 |1000 | 37k|1000 |8408 | 12k| 0 | 0 |-3.880000e+02 |-4.900000e+01 | 87.37%
31.48/31.54 c 31.5s| 1 | 0 | 54289 | - | 132M| 0 | 775 |1000 | 37k|1000 |8419 | 12k| 0 | 0 |-3.865761e+02 |-4.900000e+01 | 87.32%
32.77/32.81 c 32.8s| 1 | 0 | 57547 | - | 132M| 0 | 787 |1000 | 37k|1000 |6760 | 12k| 0 | 0 |-3.850000e+02 |-4.900000e+01 | 87.27%
33.17/33.27 c 33.3s| 1 | 0 | 58512 | - | 132M| 0 | 776 |1000 | 37k|1000 |6889 | 12k| 0 | 0 |-3.832500e+02 |-4.900000e+01 | 87.21%
33.99/34.03 c 34.0s| 1 | 0 | 60699 | - | 132M| 0 | 763 |1000 | 37k|1000 |7112 | 13k| 0 | 0 |-3.810000e+02 |-4.900000e+01 | 87.14%
34.78/34.85 c 34.8s| 1 | 0 | 62989 | - | 133M| 0 | 750 |1000 | 37k|1000 |7169 | 13k| 0 | 0 |-3.785000e+02 |-4.900000e+01 | 87.05%
35.37/35.40 c 35.4s| 1 | 0 | 64189 | - | 133M| 0 | 755 |1000 | 37k|1000 |7541 | 13k| 0 | 0 |-3.770000e+02 |-4.900000e+01 | 87.00%
35.87/35.91 c 35.9s| 1 | 0 | 65265 | - | 134M| 0 | 752 |1000 | 37k|1000 |7549 | 13k| 0 | 0 |-3.760000e+02 |-4.900000e+01 | 86.97%
36.08/36.14 c 36.1s| 1 | 0 | 65503 | - | 134M| 0 | 758 |1000 | 37k|1000 |5840 | 13k| 0 | 0 |-3.760000e+02 |-4.900000e+01 | 86.97%
36.88/36.92 c 36.9s| 1 | 0 | 66952 | - | 134M| 0 | 773 |1000 | 37k|1000 |5844 | 13k| 0 | 0 |-3.752500e+02 |-4.900000e+01 | 86.94%
37.28/37.41 c 37.4s| 1 | 0 | 68241 | - | 134M| 0 | 750 |1000 | 37k|1000 |6216 | 13k| 0 | 0 |-3.742857e+02 |-4.900000e+01 | 86.91%
37.77/37.83 c 37.8s| 1 | 0 | 69215 | - | 135M| 0 | 743 |1000 | 37k|1000 |6529 | 14k| 0 | 0 |-3.725000e+02 |-4.900000e+01 | 86.85%
38.39/38.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.39/38.43 c 38.4s| 1 | 0 | 70814 | - | 135M| 0 | 738 |1000 | 37k|1000 |6583 | 14k| 0 | 0 |-3.700000e+02 |-4.900000e+01 | 86.76%
38.78/38.89 c 38.9s| 1 | 0 | 71926 | - | 135M| 0 | 732 |1000 | 37k|1000 |6658 | 14k| 0 | 0 |-3.680000e+02 |-4.900000e+01 | 86.68%
39.18/39.20 c 39.2s| 1 | 0 | 72372 | - | 135M| 0 | 732 |1000 | 37k|1000 |6131 | 14k| 0 | 0 |-3.675000e+02 |-4.900000e+01 | 86.67%
40.17/40.22 c 40.2s| 1 | 0 | 75490 | - | 136M| 0 | 727 |1000 | 37k|1000 |6228 | 14k| 0 | 0 |-3.665000e+02 |-4.900000e+01 | 86.63%
40.78/40.87 c 40.9s| 1 | 0 | 77640 | - | 136M| 0 | 761 |1000 | 37k|1000 |6388 | 14k| 0 | 0 |-3.650000e+02 |-4.900000e+01 | 86.58%
41.17/41.22 c 41.2s| 1 | 0 | 78205 | - | 136M| 0 | 723 |1000 | 37k|1000 |6970 | 15k| 0 | 0 |-3.645000e+02 |-4.900000e+01 | 86.56%
41.79/41.85 c 41.8s| 1 | 0 | 79781 | - | 137M| 0 | 725 |1000 | 37k|1000 |7126 | 15k| 0 | 0 |-3.635000e+02 |-4.900000e+01 | 86.52%
43.27/43.31 c 43.3s| 1 | 0 | 85826 | - | 137M| 0 | 717 |1000 | 37k|1000 |7182 | 15k| 0 | 0 |-3.615000e+02 |-4.900000e+01 | 86.45%
43.89/43.98 c 44.0s| 1 | 0 | 87470 | - | 137M| 0 | 754 |1000 | 37k|1000 |6532 | 15k| 0 | 0 |-3.605000e+02 |-4.900000e+01 | 86.41%
45.47/45.50 c 45.5s| 1 | 0 | 92286 | - | 138M| 0 | 803 |1000 | 37k|1000 |6636 | 15k| 0 | 0 |-3.598143e+02 |-4.900000e+01 | 86.38%
45.97/46.09 c 46.1s| 1 | 0 | 93034 | - | 139M| 0 | 717 |1000 | 37k|1000 |8636 | 17k| 0 | 0 |-3.595000e+02 |-4.900000e+01 | 86.37%
46.47/46.53 c 46.5s| 1 | 0 | 93718 | - | 139M| 0 | 742 |1000 | 37k|1000 |8701 | 17k| 0 | 0 |-3.590000e+02 |-4.900000e+01 | 86.35%
47.19/47.23 c 47.2s| 1 | 0 | 95046 | - | 140M| 0 | 736 |1000 | 37k|1000 |8715 | 17k| 0 | 0 |-3.585000e+02 |-4.900000e+01 | 86.33%
48.39/48.49 c 48.5s| 1 | 0 | 98153 | - | 140M| 0 | 776 |1000 | 37k|1000 |8727 | 17k| 0 | 0 |-3.576923e+02 |-4.900000e+01 | 86.30%
48.88/48.98 c 49.0s| 1 | 0 | 98835 | - | 141M| 0 | 769 |1000 | 37k|1000 |8003 | 17k| 0 | 0 |-3.560938e+02 |-4.900000e+01 | 86.24%
49.58/49.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.58/49.63 c 49.6s| 1 | 0 |100164 | - | 142M| 0 | 771 |1000 | 37k|1000 |8018 | 17k| 0 | 0 |-3.550875e+02 |-4.900000e+01 | 86.20%
50.49/50.51 c 50.5s| 1 | 0 |102149 | - | 143M| 0 | 771 |1000 | 37k|1000 |8069 | 17k| 0 | 0 |-3.521071e+02 |-4.900000e+01 | 86.08%
51.18/51.20 c 51.2s| 1 | 0 |103388 | - | 143M| 0 | 712 |1000 | 37k|1000 |8227 | 18k| 0 | 0 |-3.512500e+02 |-4.900000e+01 | 86.05%
51.78/51.88 c 51.9s| 1 | 0 |104959 | - | 143M| 0 | 721 |1000 | 37k|1000 |8235 | 18k| 0 | 0 |-3.507500e+02 |-4.900000e+01 | 86.03%
52.57/52.66 c 52.6s| 1 | 0 |106713 | - | 144M| 0 | 730 |1000 | 37k|1000 |8246 | 18k| 0 | 0 |-3.491250e+02 |-4.900000e+01 | 85.96%
53.18/53.25 c 53.2s| 1 | 0 |107864 | - | 145M| 0 | 736 |1000 | 37k|1000 |6893 | 18k| 0 | 0 |-3.488143e+02 |-4.900000e+01 | 85.95%
53.89/53.92 c 53.9s| 1 | 0 |109661 | - | 145M| 0 | 760 |1000 | 37k|1000 |6954 | 18k| 0 | 0 |-3.478190e+02 |-4.900000e+01 | 85.91%
54.57/54.69 c 54.7s| 1 | 0 |111633 | - | 147M| 0 | 700 |1000 | 37k|1000 |7149 | 18k| 0 | 0 |-3.467317e+02 |-4.900000e+01 | 85.87%
55.48/55.52 c 55.5s| 1 | 0 |113633 | - | 147M| 0 | 717 |1000 | 37k|1000 |7201 | 18k| 0 | 0 |-3.452500e+02 |-4.900000e+01 | 85.81%
55.99/56.08 c 56.1s| 1 | 0 |115006 | - | 148M| 0 | 699 |1000 | 37k|1000 |7212 | 18k| 0 | 0 |-3.448750e+02 |-4.900000e+01 | 85.79%
58.19/58.25 c 58.2s| 1 | 0 |121753 | - | 148M| 0 | 809 |1000 | 37k|1000 |7227 | 18k| 0 | 0 |-3.438221e+02 |-4.900000e+01 | 85.75%
60.17/60.26 c 60.2s| 1 | 0 |126036 | - | 150M| 0 | 781 |1000 | 37k|1000 |7697 | 19k| 0 | 0 |-3.417073e+02 |-4.900000e+01 | 85.66%
61.18/61.29 c 61.3s| 1 | 0 |128318 | - | 152M| 0 | 764 |1000 | 37k|1000 |7713 | 19k| 0 | 0 |-3.401964e+02 |-4.900000e+01 | 85.60%
61.97/62.08 c 62.1s| 1 | 0 |129715 | - | 154M| 0 | 763 |1000 | 37k|1000 |7792 | 19k| 0 | 0 |-3.393750e+02 |-4.900000e+01 | 85.56%
62.78/62.86 c 62.8s| 1 | 0 |131161 | - | 156M| 0 | 769 |1000 | 37k|1000 |7806 | 19k| 0 | 0 |-3.386911e+02 |-4.900000e+01 | 85.53%
64.17/64.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.17/64.21 c 64.2s| 1 | 0 |134664 | - | 156M| 0 | 731 |1000 | 37k|1000 |7939 | 19k| 0 | 0 |-3.370000e+02 |-4.900000e+01 | 85.46%
67.28/67.36 c 67.3s| 1 | 0 |143416 | - | 157M| 0 | 771 |1000 | 37k|1000 |8034 | 19k| 0 | 0 |-3.350952e+02 |-4.900000e+01 | 85.38%
68.98/69.08 c 69.1s| 1 | 0 |147033 | - | 159M| 0 | 785 |1000 | 37k|1000 |7812 | 19k| 0 | 0 |-3.332759e+02 |-4.900000e+01 | 85.30%
70.58/70.67 c 70.7s| 1 | 0 |151257 | - | 159M| 0 | 759 |1000 | 37k|1000 |7852 | 19k| 0 | 0 |-3.309271e+02 |-4.900000e+01 | 85.19%
71.88/71.91 c 71.9s| 1 | 0 |153935 | - | 161M| 0 | 759 |1000 | 37k|1000 |7992 | 19k| 0 | 0 |-3.298376e+02 |-4.900000e+01 | 85.14%
73.97/74.04 c 74.0s| 1 | 0 |159674 | - | 163M| 0 | 777 |1000 | 37k|1000 |8065 | 19k| 0 | 0 |-3.278170e+02 |-4.900000e+01 | 85.05%
75.38/75.48 c 75.5s| 1 | 0 |162836 | - | 165M| 0 | 791 |1000 | 37k|1000 |8173 | 19k| 0 | 0 |-3.268603e+02 |-4.900000e+01 | 85.01%
76.78/76.85 c 76.8s| 1 | 0 |165695 | - | 167M| 0 | 780 |1000 | 37k|1000 |8252 | 19k| 0 | 0 |-3.254922e+02 |-4.900000e+01 | 84.95%
78.28/78.30 c 78.3s| 1 | 0 |168565 | - | 169M| 0 | 786 |1000 | 37k|1000 |7909 | 19k| 0 | 0 |-3.249125e+02 |-4.900000e+01 | 84.92%
79.38/79.47 c 79.4s| 1 | 0 |170889 | - | 169M| 0 | 794 |1000 | 37k|1000 |7948 | 20k| 0 | 0 |-3.243156e+02 |-4.900000e+01 | 84.89%
80.88/80.94 c 80.9s| 1 | 0 |173958 | - | 170M| 0 | 793 |1000 | 37k|1000 |8065 | 20k| 0 | 0 |-3.231721e+02 |-4.900000e+01 | 84.84%
82.18/82.24 c 82.2s| 1 | 0 |176770 | - | 171M| 0 | 800 |1000 | 37k|1000 |8170 | 20k| 0 | 0 |-3.226517e+02 |-4.900000e+01 | 84.81%
84.48/84.59 c 84.6s| 1 | 0 |181383 | - | 171M| 0 | 791 |1000 | 37k|1000 |8316 | 20k| 0 | 0 |-3.211472e+02 |-4.900000e+01 | 84.74%
85.87/85.96 c 85.9s| 1 | 0 |184397 | - | 173M| 0 | 816 |1000 | 37k|1000 |8355 | 20k| 0 | 0 |-3.204690e+02 |-4.900000e+01 | 84.71%
88.57/88.60 c 88.6s| 1 | 0 |189023 | - | 174M| 0 | 798 |1000 | 37k|1000 |8252 | 20k| 0 | 0 |-3.190619e+02 |-4.900000e+01 | 84.64%
90.48/90.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.48/90.54 c 90.5s| 1 | 0 |192547 | - | 174M| 0 | 825 |1000 | 37k|1000 |8372 | 20k| 0 | 0 |-3.183709e+02 |-4.900000e+01 | 84.61%
92.58/92.61 c 92.6s| 1 | 0 |195403 | - | 174M| 0 | 816 |1000 | 37k|1000 |8491 | 20k| 0 | 0 |-3.173462e+02 |-4.900000e+01 | 84.56%
94.48/94.55 c 94.5s| 1 | 0 |198007 | - | 174M| 0 | 807 |1000 | 37k|1000 |8564 | 20k| 0 | 0 |-3.161020e+02 |-4.900000e+01 | 84.50%
96.58/96.66 c 96.6s| 1 | 0 |201674 | - | 174M| 0 | 809 |1000 | 37k|1000 |8584 | 20k| 0 | 0 |-3.149258e+02 |-4.900000e+01 | 84.44%
98.68/98.74 c 98.7s| 1 | 0 |205125 | - | 174M| 0 | 825 |1000 | 37k|1000 |8714 | 21k| 0 | 0 |-3.131213e+02 |-4.900000e+01 | 84.35%
101.09/101.14 c 101s| 1 | 0 |208703 | - | 174M| 0 | 814 |1000 | 37k|1000 |8586 | 21k| 0 | 0 |-3.116167e+02 |-4.900000e+01 | 84.28%
103.28/103.39 c 103s| 1 | 0 |212935 | - | 174M| 0 | 815 |1000 | 37k|1000 |8619 | 21k| 0 | 0 |-3.104860e+02 |-4.900000e+01 | 84.22%
105.18/105.27 c 105s| 1 | 0 |215421 | - | 174M| 0 | 836 |1000 | 37k|1000 |8813 | 21k| 0 | 0 |-3.101348e+02 |-4.900000e+01 | 84.20%
107.38/107.44 c 107s| 1 | 0 |218210 | - | 173M| 0 | 842 |1000 | 37k|1000 |8828 | 21k| 0 | 0 |-3.092516e+02 |-4.900000e+01 | 84.16%
110.08/110.11 c 110s| 1 | 0 |222065 | - | 173M| 0 | 842 |1000 | 37k|1000 |8915 | 21k| 0 | 0 |-3.087601e+02 |-4.900000e+01 | 84.13%
112.77/112.81 c 113s| 1 | 0 |225418 | - | 173M| 0 | 841 |1000 | 37k|1000 |8970 | 21k| 0 | 0 |-3.077706e+02 |-4.900000e+01 | 84.08%
115.39/115.46 c 115s| 1 | 0 |229412 | - | 172M| 0 | 838 |1000 | 37k|1000 |8610 | 21k| 0 | 0 |-3.068137e+02 |-4.900000e+01 | 84.03%
117.88/117.97 c 118s| 1 | 0 |233277 | - | 172M| 0 | 845 |1000 | 37k|1000 |8676 | 21k| 0 | 0 |-3.058655e+02 |-4.900000e+01 | 83.98%
120.27/120.36 c 120s| 1 | 0 |235980 | - | 172M| 0 | 841 |1000 | 37k|1000 |8881 | 21k| 0 | 0 |-3.049656e+02 |-4.900000e+01 | 83.93%
122.38/122.43 c 122s| 1 | 0 |238946 | - | 172M| 0 | 826 |1000 | 37k|1000 |8981 | 21k| 0 | 0 |-3.038122e+02 |-4.900000e+01 | 83.87%
124.37/124.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.37/124.48 c 124s| 1 | 0 |240962 | - | 172M| 0 | 832 |1000 | 37k|1000 |9094 | 22k| 0 | 0 |-3.032631e+02 |-4.900000e+01 | 83.84%
127.48/127.61 c 128s| 1 | 0 |245898 | - | 172M| 0 | 829 |1000 | 37k|1000 |9134 | 22k| 0 | 0 |-3.014220e+02 |-4.900000e+01 | 83.74%
131.48/131.57 c 132s| 1 | 0 |252568 | - | 172M| 0 | 817 |1000 | 37k|1000 |8880 | 22k| 0 | 0 |-2.995047e+02 |-4.900000e+01 | 83.64%
134.57/134.61 c 135s| 1 | 0 |257828 | - | 172M| 0 | 825 |1000 | 37k|1000 |8957 | 22k| 0 | 0 |-2.981502e+02 |-4.900000e+01 | 83.57%
136.68/136.75 c 137s| 1 | 0 |260688 | - | 172M| 0 | 818 |1000 | 37k|1000 |9045 | 22k| 0 | 0 |-2.970503e+02 |-4.900000e+01 | 83.50%
138.78/138.82 c 139s| 1 | 0 |263409 | - | 172M| 0 | 837 |1000 | 37k|1000 |9082 | 22k| 0 | 0 |-2.964174e+02 |-4.900000e+01 | 83.47%
141.68/141.77 c 142s| 1 | 0 |267478 | - | 172M| 0 | 841 |1000 | 37k|1000 |9145 | 22k| 0 | 0 |-2.956703e+02 |-4.900000e+01 | 83.43%
144.88/144.91 c 145s| 1 | 0 |270744 | - | 172M| 0 | 851 |1000 | 37k|1000 |9444 | 22k| 0 | 0 |-2.947427e+02 |-4.900000e+01 | 83.38%
148.27/148.38 c 148s| 1 | 0 |274390 | - | 172M| 0 | 845 |1000 | 37k|1000 |9302 | 22k| 0 | 0 |-2.941933e+02 |-4.900000e+01 | 83.34%
152.79/152.89 c 153s| 1 | 0 |280642 | - | 172M| 0 | 849 |1000 | 37k|1000 |9332 | 22k| 0 | 0 |-2.933762e+02 |-4.900000e+01 | 83.30%
156.88/156.98 c 157s| 1 | 0 |285402 | - | 172M| 0 | 846 |1000 | 37k|1000 |9448 | 23k| 0 | 0 |-2.922452e+02 |-4.900000e+01 | 83.23%
159.98/160.08 c 160s| 1 | 0 |288622 | - | 172M| 0 | 849 |1000 | 37k|1000 |9487 | 23k| 0 | 0 |-2.916409e+02 |-4.900000e+01 | 83.20%
163.79/163.86 c 164s| 1 | 0 |292977 | - | 171M| 0 | 851 |1000 | 37k|1000 |9497 | 23k| 0 | 0 |-2.912137e+02 |-4.900000e+01 | 83.17%
167.19/167.24 c 167s| 1 | 0 |296343 | - | 171M| 0 | 857 |1000 | 37k|1000 |9572 | 23k| 0 | 0 |-2.906478e+02 |-4.900000e+01 | 83.14%
172.38/172.43 c 172s| 1 | 0 |303740 | - | 171M| 0 | 867 |1000 | 37k|1000 |9429 | 23k| 0 | 0 |-2.895729e+02 |-4.900000e+01 | 83.08%
175.58/175.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.58/175.68 c 176s| 1 | 0 |305755 | - | 171M| 0 | 858 |1000 | 37k|1000 |9501 | 23k| 0 | 0 |-2.891378e+02 |-4.900000e+01 | 83.05%
179.98/180.02 c 180s| 1 | 0 |310183 | - | 171M| 0 | 866 |1000 | 37k|1000 |9629 | 23k| 0 | 0 |-2.885017e+02 |-4.900000e+01 | 83.02%
183.48/183.58 c 184s| 1 | 0 |313093 | - | 171M| 0 | 866 |1000 | 37k|1000 |9640 | 23k| 0 | 0 |-2.879406e+02 |-4.900000e+01 | 82.98%
187.99/188.02 c 188s| 1 | 0 |317688 | - | 171M| 0 | 861 |1000 | 37k|1000 |9719 | 23k| 0 | 0 |-2.861289e+02 |-4.900000e+01 | 82.87%
191.48/191.51 c 191s| 1 | 0 |321145 | - | 170M| 0 | 855 |1000 | 37k|1000 |9803 | 23k| 0 | 0 |-2.854395e+02 |-4.900000e+01 | 82.83%
194.69/194.75 c 195s| 1 | 0 |323991 | - | 170M| 0 | 865 |1000 | 37k|1000 |9499 | 23k| 0 | 0 |-2.847876e+02 |-4.900000e+01 | 82.79%
199.68/199.72 c 200s| 1 | 0 |329441 | - | 170M| 0 | 853 |1000 | 37k|1000 |9542 | 23k| 0 | 0 |-2.835605e+02 |-4.900000e+01 | 82.72%
205.59/205.70 c 206s| 1 | 0 |338163 | - | 169M| 0 | 864 |1000 | 37k|1000 |9662 | 23k| 0 | 0 |-2.822933e+02 |-4.900000e+01 | 82.64%
209.99/210.02 c 210s| 1 | 0 |341226 | - | 170M| 0 | 867 |1000 | 37k|1000 |9763 | 23k| 0 | 0 |-2.818199e+02 |-4.900000e+01 | 82.61%
213.98/214.02 c 214s| 1 | 0 |344039 | - | 169M| 0 | 876 |1000 | 37k|1000 |9804 | 23k| 0 | 0 |-2.808764e+02 |-4.900000e+01 | 82.55%
218.48/218.58 c 219s| 1 | 0 |347067 | - | 169M| 0 | 882 |1000 | 37k|1000 |9816 | 23k| 0 | 0 |-2.803186e+02 |-4.900000e+01 | 82.52%
225.68/225.79 c 226s| 1 | 0 |355867 | - | 169M| 0 | 883 |1000 | 37k|1000 |9654 | 24k| 0 | 0 |-2.792720e+02 |-4.900000e+01 | 82.45%
230.28/230.40 c 230s| 1 | 0 |358806 | - | 169M| 0 | 880 |1000 | 37k|1000 |9706 | 24k| 0 | 0 |-2.785931e+02 |-4.900000e+01 | 82.41%
235.18/235.22 c 235s| 1 | 0 |361963 | - | 169M| 0 | 887 |1000 | 37k|1000 |9722 | 24k| 0 | 0 |-2.779090e+02 |-4.900000e+01 | 82.37%
240.89/240.97 c 241s| 1 | 0 |366878 | - | 168M| 0 | 895 |1000 | 37k|1000 |9792 | 24k| 0 | 0 |-2.771263e+02 |-4.900000e+01 | 82.32%
246.68/246.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.68/246.78 c 247s| 1 | 0 |371564 | - | 168M| 0 | 896 |1000 | 37k|1000 |9895 | 24k| 0 | 0 |-2.763544e+02 |-4.900000e+01 | 82.27%
253.18/253.25 c 253s| 1 | 0 |377670 | - | 167M| 0 | 899 |1000 | 37k|1000 |9960 | 24k| 0 | 0 |-2.756408e+02 |-4.900000e+01 | 82.22%
258.68/258.75 c 259s| 1 | 0 |381481 | - | 167M| 0 | 889 |1000 | 37k|1000 |9878 | 24k| 0 | 0 |-2.749984e+02 |-4.900000e+01 | 82.18%
265.10/265.11 c 265s| 1 | 0 |387770 | - | 167M| 0 | 898 |1000 | 37k|1000 |9915 | 24k| 0 | 0 |-2.742800e+02 |-4.900000e+01 | 82.14%
270.18/270.21 c 270s| 1 | 0 |391054 | - | 167M| 0 | 898 |1000 | 37k|1000 |9963 | 24k| 0 | 0 |-2.737769e+02 |-4.900000e+01 | 82.10%
276.10/276.12 c 276s| 1 | 0 |395692 | - | 167M| 0 | 910 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.728007e+02 |-4.900000e+01 | 82.04%
281.98/282.03 c 282s| 1 | 0 |399786 | - | 166M| 0 | 897 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.722099e+02 |-4.900000e+01 | 82.00%
288.78/288.89 c 289s| 1 | 0 |406275 | - | 166M| 0 | 896 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.709060e+02 |-4.900000e+01 | 81.91%
294.80/294.82 c 295s| 1 | 0 |410798 | - | 166M| 0 | 908 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.703192e+02 |-4.900000e+01 | 81.87%
300.59/300.62 c 301s| 1 | 0 |414618 | - | 165M| 0 | 909 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.697678e+02 |-4.900000e+01 | 81.84%
306.09/306.15 c 306s| 1 | 0 |417665 | - | 165M| 0 | 919 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.691035e+02 |-4.900000e+01 | 81.79%
311.48/311.53 c 312s| 1 | 0 |420422 | - | 165M| 0 | 919 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.684362e+02 |-4.900000e+01 | 81.75%
318.08/318.10 c 318s| 1 | 0 |425103 | - | 165M| 0 | 928 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.678207e+02 |-4.900000e+01 | 81.70%
323.69/323.71 c 324s| 1 | 0 |428124 | - | 165M| 0 | 925 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.674762e+02 |-4.900000e+01 | 81.68%
329.28/329.32 c 329s| 1 | 0 |430962 | - | 164M| 0 | 930 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.670932e+02 |-4.900000e+01 | 81.65%
335.39/335.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
335.39/335.43 c 335s| 1 | 0 |434764 | - | 164M| 0 | 931 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.663620e+02 |-4.900000e+01 | 81.60%
341.48/341.56 c 342s| 1 | 0 |438504 | - | 164M| 0 | 929 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.658751e+02 |-4.900000e+01 | 81.57%
346.88/346.94 c 347s| 1 | 0 |440729 | - | 163M| 0 | 924 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.655561e+02 |-4.900000e+01 | 81.55%
352.99/353.11 c 353s| 1 | 0 |444714 | - | 163M| 0 | 924 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.649956e+02 |-4.900000e+01 | 81.51%
358.68/358.76 c 359s| 1 | 0 |447387 | - | 163M| 0 | 931 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.645376e+02 |-4.900000e+01 | 81.48%
364.38/364.48 c 364s| 1 | 0 |449774 | - | 163M| 0 | 931 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.642432e+02 |-4.900000e+01 | 81.46%
369.38/369.50 c 369s| 1 | 0 |451146 | - | 162M| 0 | 930 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.640497e+02 |-4.900000e+01 | 81.44%
374.68/374.79 c 375s| 1 | 0 |452945 | - | 162M| 0 | 938 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.638551e+02 |-4.900000e+01 | 81.43%
380.68/380.76 c 381s| 1 | 0 |455857 | - | 161M| 0 | 940 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.633968e+02 |-4.900000e+01 | 81.40%
386.38/386.44 c 386s| 1 | 0 |458437 | - | 160M| 0 | 929 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.629886e+02 |-4.900000e+01 | 81.37%
392.28/392.32 c 392s| 1 | 0 |461157 | - | 160M| 0 | 938 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.625586e+02 |-4.900000e+01 | 81.34%
397.99/398.09 c 398s| 1 | 0 |463862 | - | 159M| 0 | 942 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.623322e+02 |-4.900000e+01 | 81.32%
403.60/403.61 c 404s| 1 | 0 |465971 | - | 158M| 0 | 930 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.621421e+02 |-4.900000e+01 | 81.31%
409.20/409.21 c 409s| 1 | 0 |468203 | - | 158M| 0 | 922 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.618046e+02 |-4.900000e+01 | 81.28%
414.70/414.78 c 415s| 1 | 0 |470695 | - | 157M| 0 | 924 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.615158e+02 |-4.900000e+01 | 81.26%
419.98/420.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.98/420.01 c 420s| 1 | 0 |472275 | - | 157M| 0 | 937 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.613394e+02 |-4.900000e+01 | 81.25%
425.19/425.25 c 425s| 1 | 0 |473948 | - | 156M| 0 | 938 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.610586e+02 |-4.900000e+01 | 81.23%
430.79/430.87 c 431s| 1 | 0 |476018 | - | 156M| 0 | 942 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.607377e+02 |-4.900000e+01 | 81.21%
436.60/436.61 c 437s| 1 | 0 |478490 | - | 155M| 0 | 941 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.603718e+02 |-4.900000e+01 | 81.18%
442.68/442.70 c 443s| 1 | 0 |481437 | - | 154M| 0 | 946 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.600390e+02 |-4.900000e+01 | 81.16%
448.18/448.24 c 448s| 1 | 0 |483599 | - | 153M| 0 | 940 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.598056e+02 |-4.900000e+01 | 81.14%
453.48/453.54 c 454s| 1 | 0 |485220 | - | 153M| 0 | 947 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.595566e+02 |-4.900000e+01 | 81.12%
458.79/458.86 c 459s| 1 | 0 |486664 | - | 152M| 0 | 949 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.593774e+02 |-4.900000e+01 | 81.11%
464.59/464.69 c 465s| 1 | 0 |488675 | - | 150M| 0 | 948 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.591971e+02 |-4.900000e+01 | 81.10%
469.78/469.82 c 470s| 1 | 0 |489787 | - | 149M| 0 | 943 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.590312e+02 |-4.900000e+01 | 81.08%
475.49/475.56 c 476s| 1 | 0 |491808 | - | 146M| 0 | 946 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.587376e+02 |-4.900000e+01 | 81.06%
481.09/481.12 c 481s| 1 | 0 |493616 | - | 144M| 0 | 947 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.585821e+02 |-4.900000e+01 | 81.05%
487.19/487.26 c 487s| 1 | 0 |496396 | - | 144M| 0 | 956 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.581204e+02 |-4.900000e+01 | 81.02%
492.80/492.83 c 493s| 1 | 0 |498090 | - | 144M| 0 | 956 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.579335e+02 |-4.900000e+01 | 81.00%
497.89/497.98 c 498s| 1 | 0 |499295 | - | 141M| 0 | 955 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.578269e+02 |-4.900000e+01 | 81.00%
504.48/504.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.48/504.54 c 505s| 1 | 0 |502541 | - | 141M| 0 | 956 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.574100e+02 |-4.900000e+01 | 80.96%
510.98/511.02 c 511s| 1 | 0 |505724 | - | 140M| 0 | 949 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.570946e+02 |-4.900000e+01 | 80.94%
517.29/517.33 c 517s| 1 | 0 |509099 | - | 137M| 0 | 952 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.568874e+02 |-4.900000e+01 | 80.93%
522.89/522.98 c 523s| 1 | 0 |510995 | - | 135M| 0 | 959 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.566295e+02 |-4.900000e+01 | 80.91%
528.08/528.17 c 528s| 1 | 0 |511938 | - | 134M| 0 | 961 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.564929e+02 |-4.900000e+01 | 80.90%
533.89/533.93 c 534s| 1 | 0 |513805 | - | 132M| 0 | 963 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.563279e+02 |-4.900000e+01 | 80.88%
539.49/539.54 c 540s| 1 | 0 |515638 | - | 131M| 0 | 964 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.561492e+02 |-4.900000e+01 | 80.87%
544.78/544.85 c 545s| 1 | 0 |516941 | - | 131M| 0 | 956 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.559470e+02 |-4.900000e+01 | 80.86%
550.00/550.08 c 550s| 1 | 0 |518091 | - | 130M| 0 | 962 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.558094e+02 |-4.900000e+01 | 80.85%
555.98/556.02 c 556s| 1 | 0 |520497 | - | 130M| 0 | 964 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.556082e+02 |-4.900000e+01 | 80.83%
561.79/561.80 c 562s| 1 | 0 |522336 | - | 128M| 0 | 958 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.552866e+02 |-4.900000e+01 | 80.81%
567.79/567.81 c 568s| 1 | 0 |524384 | - | 127M| 0 | 964 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.549694e+02 |-4.900000e+01 | 80.78%
573.19/573.20 c 573s| 1 | 0 |525650 | - | 127M| 0 | 958 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.548153e+02 |-4.900000e+01 | 80.77%
579.19/579.21 c 579s| 1 | 0 |527761 | - | 127M| 0 | 964 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.544606e+02 |-4.900000e+01 | 80.74%
585.20/585.23 c 585s| 1 | 0 |530061 | - | 127M| 0 | 962 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.541856e+02 |-4.900000e+01 | 80.72%
590.88/590.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.88/590.91 c 591s| 1 | 0 |531622 | - | 127M| 0 | 968 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.540394e+02 |-4.900000e+01 | 80.71%
596.69/596.75 c 597s| 1 | 0 |533372 | - | 127M| 0 | 965 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.538626e+02 |-4.900000e+01 | 80.70%
602.49/602.57 c 603s| 1 | 0 |534954 | - | 127M| 0 | 970 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.536544e+02 |-4.900000e+01 | 80.68%
608.30/608.38 c 608s| 1 | 0 |536848 | - | 127M| 0 | 975 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.534243e+02 |-4.900000e+01 | 80.66%
613.80/613.83 c 614s| 1 | 0 |537927 | - | 127M| 0 | 978 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.532710e+02 |-4.900000e+01 | 80.65%
619.19/619.29 c 619s| 1 | 0 |539188 | - | 127M| 0 | 978 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.531309e+02 |-4.900000e+01 | 80.64%
625.09/625.12 c 625s| 1 | 0 |540562 | - | 127M| 0 | 976 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.529139e+02 |-4.900000e+01 | 80.63%
630.31/630.32 c 630s| 1 | 0 |541364 | - | 127M| 0 | 975 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.528342e+02 |-4.900000e+01 | 80.62%
636.09/636.18 c 636s| 1 | 0 |542970 | - | 126M| 0 | 978 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.526475e+02 |-4.900000e+01 | 80.61%
641.49/641.55 c 642s| 1 | 0 |544016 | - | 126M| 0 | 980 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.525003e+02 |-4.900000e+01 | 80.59%
647.09/647.10 c 647s| 1 | 0 |545178 | - | 126M| 0 | 981 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.522544e+02 |-4.900000e+01 | 80.58%
653.09/653.10 c 653s| 1 | 0 |546720 | - | 126M| 0 | 983 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.520895e+02 |-4.900000e+01 | 80.56%
658.70/658.74 c 659s| 1 | 0 |547873 | - | 126M| 0 | 980 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.519373e+02 |-4.900000e+01 | 80.55%
664.49/664.50 c 664s| 1 | 0 |549529 | - | 126M| 0 | 984 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.516498e+02 |-4.900000e+01 | 80.53%
669.69/669.80 c 670s| 1 | 0 |550320 | - | 126M| 0 | 982 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.515502e+02 |-4.900000e+01 | 80.52%
675.19/675.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.19/675.22 c 675s| 1 | 0 |551656 | - | 126M| 0 | 981 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.514423e+02 |-4.900000e+01 | 80.51%
680.70/680.75 c 681s| 1 | 0 |552762 | - | 126M| 0 | 985 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.512888e+02 |-4.900000e+01 | 80.50%
686.59/686.67 c 687s| 1 | 0 |554283 | - | 126M| 0 | 988 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.510971e+02 |-4.900000e+01 | 80.49%
692.59/692.64 c 693s| 1 | 0 |555840 | - | 126M| 0 | 989 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.509229e+02 |-4.900000e+01 | 80.47%
698.20/698.29 c 698s| 1 | 0 |556928 | - | 126M| 0 | 987 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.507804e+02 |-4.900000e+01 | 80.46%
703.79/703.83 c 704s| 1 | 0 |557881 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.506543e+02 |-4.900000e+01 | 80.45%
709.09/709.15 c 709s| 1 | 0 |558762 | - | 126M| 0 | 990 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.505005e+02 |-4.900000e+01 | 80.44%
714.39/714.42 c 714s| 1 | 0 |559465 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.504271e+02 |-4.900000e+01 | 80.43%
720.09/720.18 c 720s| 1 | 0 |561051 | - | 126M| 0 | 989 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.502153e+02 |-4.900000e+01 | 80.42%
726.39/726.40 c 726s| 1 | 0 |562858 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.500455e+02 |-4.900000e+01 | 80.40%
731.79/731.84 c 732s| 1 | 0 |563618 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.499562e+02 |-4.900000e+01 | 80.40%
737.69/737.72 c 738s| 1 | 0 |564704 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.498091e+02 |-4.900000e+01 | 80.39%
742.79/742.84 c 743s| 1 | 0 |565136 | - | 126M| 0 | 991 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.497713e+02 |-4.900000e+01 | 80.38%
748.29/748.31 c 748s| 1 | 0 |565999 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.496492e+02 |-4.900000e+01 | 80.37%
753.60/753.64 c 754s| 1 | 0 |566707 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.495680e+02 |-4.900000e+01 | 80.37%
759.09/759.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.09/759.18 c 759s| 1 | 0 |567663 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.494318e+02 |-4.900000e+01 | 80.36%
764.51/764.59 c 765s| 1 | 0 |568494 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.493311e+02 |-4.900000e+01 | 80.35%
770.29/770.36 c 770s| 1 | 0 |569518 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.491841e+02 |-4.900000e+01 | 80.34%
775.51/775.53 c 776s| 1 | 0 |570091 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.491285e+02 |-4.900000e+01 | 80.33%
781.01/781.04 c 781s| 1 | 0 |570900 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.490096e+02 |-4.900000e+01 | 80.32%
786.59/786.66 c 787s| 1 | 0 |571792 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.488653e+02 |-4.900000e+01 | 80.31%
792.09/792.14 c 792s| 1 | 0 |572648 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.488068e+02 |-4.900000e+01 | 80.31%
797.99/798.04 c 798s| 1 | 0 |574009 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.485993e+02 |-4.900000e+01 | 80.29%
803.90/803.91 c 804s| 1 | 0 |575119 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.484456e+02 |-4.900000e+01 | 80.28%
809.89/809.92 c 810s| 1 | 0 |576673 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.483079e+02 |-4.900000e+01 | 80.27%
816.21/816.22 c 816s| 1 | 0 |578273 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.480828e+02 |-4.900000e+01 | 80.25%
822.10/822.13 c 822s| 1 | 0 |579494 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.479141e+02 |-4.900000e+01 | 80.24%
827.79/827.87 c 828s| 1 | 0 |580297 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.478403e+02 |-4.900000e+01 | 80.23%
833.70/833.76 c 834s| 1 | 0 |581303 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.477045e+02 |-4.900000e+01 | 80.22%
839.79/839.86 c 840s| 1 | 0 |582568 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.475454e+02 |-4.900000e+01 | 80.21%
845.49/845.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
845.49/845.53 c 846s| 1 | 0 |583619 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.473915e+02 |-4.900000e+01 | 80.19%
850.99/851.08 c 851s| 1 | 0 |584285 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.473235e+02 |-4.900000e+01 | 80.19%
856.70/856.72 c 857s| 1 | 0 |585107 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.472443e+02 |-4.900000e+01 | 80.18%
862.50/862.50 c 862s| 1 | 0 |586172 | - | 126M| 0 | 996 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.471023e+02 |-4.900000e+01 | 80.17%
867.80/867.86 c 868s| 1 | 0 |586660 | - | 126M| 0 | 996 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.470313e+02 |-4.900000e+01 | 80.16%
873.31/873.38 c 873s| 1 | 0 |587456 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.469833e+02 |-4.900000e+01 | 80.16%
879.40/879.41 c 879s| 1 | 0 |588961 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.468373e+02 |-4.900000e+01 | 80.15%
885.20/885.26 c 885s| 1 | 0 |589999 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.467301e+02 |-4.900000e+01 | 80.14%
890.90/890.99 c 891s| 1 | 0 |590916 | - | 126M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.465984e+02 |-4.900000e+01 | 80.13%
896.69/896.78 c 897s| 1 | 0 |591757 | - | 126M| 0 | 996 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.464743e+02 |-4.900000e+01 | 80.12%
902.40/902.46 c 902s| 1 | 0 |592337 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.464124e+02 |-4.900000e+01 | 80.11%
908.30/908.32 c 908s| 1 | 0 |593060 | - | 126M| 0 | 997 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.463214e+02 |-4.900000e+01 | 80.11%
914.00/914.02 c 914s| 1 | 0 |593972 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.462115e+02 |-4.900000e+01 | 80.10%
919.61/919.66 c 920s| 1 | 0 |594703 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.461080e+02 |-4.900000e+01 | 80.09%
925.29/925.34 c 925s| 1 | 0 |595485 | - | 126M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.460158e+02 |-4.900000e+01 | 80.08%
931.10/931.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.10/931.15 c 931s| 1 | 0 |596372 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.458854e+02 |-4.900000e+01 | 80.07%
936.90/936.90 c 937s| 1 | 0 |597135 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.457910e+02 |-4.900000e+01 | 80.06%
943.10/943.18 c 943s| 1 | 0 |598452 | - | 126M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.455697e+02 |-4.900000e+01 | 80.05%
949.70/949.72 c 950s| 1 | 0 |600437 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.454133e+02 |-4.900000e+01 | 80.03%
955.70/955.76 c 956s| 1 | 0 |601724 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.452695e+02 |-4.900000e+01 | 80.02%
961.70/961.78 c 962s| 1 | 0 |602798 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.452010e+02 |-4.900000e+01 | 80.02%
967.50/967.55 c 968s| 1 | 0 |603640 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.451427e+02 |-4.900000e+01 | 80.01%
973.30/973.41 c 973s| 1 | 0 |604467 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.450365e+02 |-4.900000e+01 | 80.00%
979.40/979.42 c 979s| 1 | 0 |605504 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.449629e+02 |-4.900000e+01 | 80.00%
985.39/985.41 c 985s| 1 | 0 |606614 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.448314e+02 |-4.900000e+01 | 79.99%
990.60/990.70 c 991s| 1 | 0 |607071 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.447936e+02 |-4.900000e+01 | 79.98%
996.20/996.22 c 996s| 1 | 0 |607507 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.447487e+02 |-4.900000e+01 | 79.98%
1002.01/1002.03 c 1002s| 1 | 0 |608498 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446606e+02 |-4.900000e+01 | 79.97%
1007.50/1007.61 c 1008s| 1 | 0 |608924 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446356e+02 |-4.900000e+01 | 79.97%
1013.30/1013.35 c 1013s| 1 | 0 |609473 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446097e+02 |-4.900000e+01 | 79.97%
1019.00/1019.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.00/1019.02 c 1019s| 1 | 0 |610230 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.445620e+02 |-4.900000e+01 | 79.96%
1024.90/1024.91 c 1025s| 1 | 0 |611262 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.444807e+02 |-4.900000e+01 | 79.96%
1030.80/1030.89 c 1031s| 1 | 0 |612258 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.443989e+02 |-4.900000e+01 | 79.95%
1036.70/1036.72 c 1037s| 1 | 0 |613070 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.443406e+02 |-4.900000e+01 | 79.95%
1042.60/1042.63 c 1043s| 1 | 0 |613835 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.442583e+02 |-4.900000e+01 | 79.94%
1047.98/1048.01 c 1048s| 1 | 0 |614622 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.441959e+02 |-4.900000e+01 | 79.93%
1053.28/1053.33 c 1053s| 1 | 0 |615659 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.441223e+02 |-4.900000e+01 | 79.93%
1058.69/1058.71 c 1059s| 1 | 0 |616405 | - | 126M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.440632e+02 |-4.900000e+01 | 79.92%
1064.28/1064.35 c 1064s| 1 | 0 |617492 | - | 126M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.439773e+02 |-4.900000e+01 | 79.92%
1069.38/1069.49 c 1069s| 1 | 0 |618033 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.439415e+02 |-4.900000e+01 | 79.91%
1074.89/1074.92 c 1075s| 1 | 0 |618877 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.438373e+02 |-4.900000e+01 | 79.90%
1080.19/1080.24 c 1080s| 1 | 0 |619504 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.437771e+02 |-4.900000e+01 | 79.90%
1085.39/1085.44 c 1085s| 1 | 0 |620135 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.437330e+02 |-4.900000e+01 | 79.90%
1090.58/1090.67 c 1091s| 1 | 0 |620769 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.436731e+02 |-4.900000e+01 | 79.89%
1096.28/1096.30 c 1096s| 1 | 0 |622048 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.435636e+02 |-4.900000e+01 | 79.88%
1101.48/1101.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.48/1101.56 c 1102s| 1 | 0 |622738 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.435106e+02 |-4.900000e+01 | 79.88%
1107.08/1107.16 c 1107s| 1 | 0 |623745 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.434402e+02 |-4.900000e+01 | 79.87%
1112.28/1112.37 c 1112s| 1 | 0 |624281 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.434197e+02 |-4.900000e+01 | 79.87%
1117.49/1117.60 c 1118s| 1 | 0 |625017 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.433759e+02 |-4.900000e+01 | 79.87%
1122.78/1122.86 c 1123s| 1 | 0 |625734 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.433268e+02 |-4.900000e+01 | 79.86%
1128.28/1128.33 c 1128s| 1 | 0 |626835 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.432864e+02 |-4.900000e+01 | 79.86%
1133.58/1133.60 c 1134s| 1 | 0 |627736 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.432553e+02 |-4.900000e+01 | 79.86%
1139.08/1139.19 c 1139s| 1 | 0 |628761 | - | 126M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.431993e+02 |-4.900000e+01 | 79.85%
1144.89/1144.92 c 1145s| 1 | 0 |629874 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.431347e+02 |-4.900000e+01 | 79.85%
1150.68/1150.80 c 1151s| 1 | 0 |631514 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.430796e+02 |-4.900000e+01 | 79.84%
1155.88/1155.99 c 1156s| 1 | 0 |632104 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.430432e+02 |-4.900000e+01 | 79.84%
1160.98/1161.06 c 1161s| 1 | 0 |632710 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.430112e+02 |-4.900000e+01 | 79.84%
1166.29/1166.37 c 1166s| 1 | 0 |633472 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.429740e+02 |-4.900000e+01 | 79.83%
1171.59/1171.60 c 1172s| 1 | 0 |634051 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.429486e+02 |-4.900000e+01 | 79.83%
1177.18/1177.22 c 1177s| 1 | 0 |635072 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.429055e+02 |-4.900000e+01 | 79.83%
1182.79/1182.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.79/1182.88 c 1183s| 1 | 0 |636491 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.428390e+02 |-4.900000e+01 | 79.82%
1188.19/1188.24 c 1188s| 1 | 0 |637269 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.427980e+02 |-4.900000e+01 | 79.82%
1193.79/1193.80 c 1194s| 1 | 0 |638331 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.427565e+02 |-4.900000e+01 | 79.82%
1198.89/1198.93 c 1199s| 1 | 0 |638812 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.427277e+02 |-4.900000e+01 | 79.81%
1204.09/1204.18 c 1204s| 1 | 0 |639546 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.426909e+02 |-4.900000e+01 | 79.81%
1209.59/1209.62 c 1210s| 1 | 0 |640375 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.426509e+02 |-4.900000e+01 | 79.81%
1214.98/1215.00 c 1215s| 1 | 0 |641467 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.426074e+02 |-4.900000e+01 | 79.80%
1220.39/1220.46 c 1220s| 1 | 0 |642282 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.425778e+02 |-4.900000e+01 | 79.80%
1225.48/1225.50 c 1225s| 1 | 0 |642770 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.425600e+02 |-4.900000e+01 | 79.80%
1230.80/1230.89 c 1231s| 1 | 0 |643920 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.425327e+02 |-4.900000e+01 | 79.80%
1236.30/1236.35 c 1236s| 1 | 0 |644798 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.425015e+02 |-4.900000e+01 | 79.79%
1241.91/1241.91 c 1242s| 1 | 0 |646103 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.424646e+02 |-4.900000e+01 | 79.79%
1246.69/1246.79 c 1247s| 1 | 0 |646575 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.424485e+02 |-4.900000e+01 | 79.79%
1252.19/1252.20 c 1252s| 1 | 0 |647444 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.424290e+02 |-4.900000e+01 | 79.79%
1257.69/1257.71 c 1258s| 1 | 0 |648556 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.423969e+02 |-4.900000e+01 | 79.79%
1263.19/1263.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1263.19/1263.28 c 1263s| 1 | 0 |649941 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.423752e+02 |-4.900000e+01 | 79.78%
1268.68/1268.73 c 1269s| 1 | 0 |650885 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.423477e+02 |-4.900000e+01 | 79.78%
1274.09/1274.10 c 1274s| 1 | 0 |651949 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.423205e+02 |-4.900000e+01 | 79.78%
1279.19/1279.27 c 1279s| 1 | 0 |652768 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.422984e+02 |-4.900000e+01 | 79.78%
1284.69/1284.73 c 1285s| 1 | 0 |653903 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.422746e+02 |-4.900000e+01 | 79.78%
1289.99/1290.06 c 1290s| 1 | 0 |654922 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.422578e+02 |-4.900000e+01 | 79.77%
1295.59/1295.60 c 1296s| 1 | 0 |656246 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.422254e+02 |-4.900000e+01 | 79.77%
1300.59/1300.63 c 1301s| 1 | 0 |656852 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421996e+02 |-4.900000e+01 | 79.77%
1305.79/1305.88 c 1306s| 1 | 0 |657649 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421745e+02 |-4.900000e+01 | 79.77%
1310.68/1310.73 c 1311s| 1 | 0 |658164 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421624e+02 |-4.900000e+01 | 79.77%
1315.89/1315.98 c 1316s| 1 | 0 |658968 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421494e+02 |-4.900000e+01 | 79.76%
1321.00/1321.08 c 1321s| 1 | 0 |659740 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421334e+02 |-4.900000e+01 | 79.76%
1326.28/1326.30 c 1326s| 1 | 0 |660719 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421100e+02 |-4.900000e+01 | 79.76%
1331.29/1331.38 c 1331s| 1 | 0 |661293 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420944e+02 |-4.900000e+01 | 79.76%
1336.50/1336.58 c 1337s| 1 | 0 |662079 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420762e+02 |-4.900000e+01 | 79.76%
1341.59/1341.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.59/1341.67 c 1342s| 1 | 0 |663089 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420582e+02 |-4.900000e+01 | 79.76%
1346.69/1346.72 c 1347s| 1 | 0 |663710 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420452e+02 |-4.900000e+01 | 79.76%
1352.28/1352.30 c 1352s| 1 | 0 |665553 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420285e+02 |-4.900000e+01 | 79.75%
1357.19/1357.28 c 1357s| 1 | 0 |666236 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420196e+02 |-4.900000e+01 | 79.75%
1362.19/1362.27 c 1362s| 1 | 0 |666887 | - | 126M| 0 | 967 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420000e+02 |-4.900000e+01 | 79.75%
1378.39/1378.47 c 1378s| 1 | 2 |666887 | - | 126M| 0 | 967 |1000 | 37k|1000 | 11k| 28k| 0 | 18 |-2.420000e+02 |-4.900000e+01 | 79.75%
1800.01/1800.02 c
1800.01/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.02 c Solving Time (sec) : 1800.00
1800.01/1800.02 c Solving Nodes : 197
1800.01/1800.02 c Primal Bound : -4.90000000000000e+01 (77 solutions)
1800.01/1800.02 c Dual Bound : -2.40442242941636e+02
1800.01/1800.02 c Gap : 79.62 %
1800.01/1800.06 s SATISFIABLE
1800.01/1800.06 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.01/1800.06 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.01/1800.06 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1800.01/1800.06 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1800.01/1800.06 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896
1800.01/1800.06 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1800.01/1800.06 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1800.01/1800.06 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.01/1800.06 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1800.01/1800.06 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
1800.01/1800.06 v -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770
1800.01/1800.06 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
1800.01/1800.06 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729
1800.01/1800.06 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
1800.01/1800.06 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1800.01/1800.06 v x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1800.01/1800.06 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
1800.01/1800.06 v -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1800.01/1800.06 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1800.01/1800.06 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1800.01/1800.06 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562
1800.01/1800.06 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
1800.01/1800.06 v -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
1800.01/1800.06 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499
1800.01/1800.06 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478
1800.01/1800.06 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1800.01/1800.06 v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1800.01/1800.06 v x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415
1800.01/1800.06 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394
1800.01/1800.06 v -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1800.01/1800.06 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1800.01/1800.06 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1800.01/1800.06 v -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1800.01/1800.06 v -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1800.01/1800.06 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 x268
1800.01/1800.06 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247
1800.01/1800.06 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.01/1800.06 v -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1800.01/1800.06 v x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184
1800.01/1800.06 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1800.01/1800.06 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142
1800.01/1800.06 v -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1800.01/1800.06 v -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 x103 -x102 -x101 -x100 -x99
1800.01/1800.06 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1800.01/1800.06 v -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49
1800.01/1800.06 v -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23
1800.01/1800.06 v x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 x13 -x12 -x11 x10 -x9 x8 x7 x6 -x5 x4 -x3 x2 x1
1800.01/1800.06 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.06 c Total Time : 1800.00
1800.01/1800.06 c solving : 1800.00
1800.01/1800.06 c presolving : 0.95 (included in solving)
1800.01/1800.06 c reading : 0.23 (included in solving)
1800.01/1800.06 c Original Problem :
1800.01/1800.06 c Problem name : HOME/instance-3450648-1307105018.opb
1800.01/1800.06 c Variables : 38643 (38643 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.06 c Constraints : 39643 initial, 39643 maximal
1800.01/1800.06 c Presolved Problem :
1800.01/1800.06 c Problem name : t_HOME/instance-3450648-1307105018.opb
1800.01/1800.06 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.06 c Constraints : 37643 initial, 37643 maximal
1800.01/1800.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.01/1800.06 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.06 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.06 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.06 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.06 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.06 c probing : 0.23 0 0 0 0 0 0 0 0 0
1800.01/1800.06 c and : 0.41 0 0 0 0 0 0 0 0 0
1800.01/1800.06 c linear : 0.11 37643 0 0 37643 0 1000 0 0 0
1800.01/1800.06 c logicor : 0.07 0 0 0 0 0 0 0 0 0
1800.01/1800.06 c pseudoboolean : 0.03 0 0 0 0 0 1000 0 0 0
1800.01/1800.06 c root node : - 0 - - 0 - - - - -
1800.01/1800.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.01/1800.06 c integral : 0 0 0 197 0 3942 0 0 0 0 0 394
1800.01/1800.06 c logicor : 37643 347 887 0 0 3938 0 0 9653 32463 0 0
1800.01/1800.06 c countsols : 0 0 0 0 0 79 0 0 0 0 0 0
1800.01/1800.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.01/1800.06 c integral : 170.41 0.00 0.00 170.40 0.00 0.01 0.00
1800.01/1800.06 c logicor : 4.99 3.15 0.48 0.00 0.00 1.37 0.00
1800.01/1800.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.01/1800.06 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.01/1800.06 c vbounds : 0 0 0 0
1800.01/1800.06 c rootredcost : 0 0 0 0
1800.01/1800.06 c pseudoobj : 4808 0 0 0
1800.01/1800.06 c Propagator Timings : TotalTime Propagate Resprop
1800.01/1800.06 c vbounds : 0.00 0.00 0.00
1800.01/1800.06 c rootredcost : 0.00 0.00 0.00
1800.01/1800.06 c pseudoobj : 0.08 0.08 0.00
1800.01/1800.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.06 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.06 c applied globally : - - - 0 0.0 - - -
1800.01/1800.06 c applied locally : - - - 0 0.0 - - -
1800.01/1800.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.06 c cut pool : 1.18 346 - - 5241 - (maximal pool size: 18530)
1800.01/1800.06 c redcost : 0.01 543 0 0 0 0
1800.01/1800.06 c impliedbounds : 0.52 345 0 0 27889 0
1800.01/1800.06 c intobj : 0.00 0 0 0 0 0
1800.01/1800.06 c gomory : 977.95 344 0 0 77838 0
1800.01/1800.06 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.06 c closecuts : 0.00 0 0 0 0 0
1800.01/1800.06 c strongcg : 1.88 20 0 0 10000 0
1800.01/1800.06 c cmir : 1.46 10 0 0 0 0
1800.01/1800.06 c flowcover : 1.36 10 0 0 0 0
1800.01/1800.06 c clique : 15.39 344 0 0 3223 0
1800.01/1800.06 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.06 c mcf : 0.03 1 0 0 0 0
1800.01/1800.06 c oddcycle : 0.00 0 0 0 0 0
1800.01/1800.06 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.06 c Pricers : Time Calls Vars
1800.01/1800.06 c problem variables: 0.00 0 0
1800.01/1800.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.06 c relpscost : 170.40 197 0 0 0 0 394
1800.01/1800.06 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.06 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.06 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.06 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.06 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.06 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.06 c random : 0.00 0 0 0 0 0 0
1800.01/1800.06 c Primal Heuristics : Time Calls Found
1800.01/1800.06 c LP solutions : 0.00 - 0
1800.01/1800.06 c pseudo solutions : 0.00 - 0
1800.01/1800.06 c crossover : 0.00 0 0
1800.01/1800.06 c oneopt : 0.01 2 1
1800.01/1800.06 c pscostdiving : 17.59 9 0
1800.01/1800.06 c coefdiving : 19.48 9 3
1800.01/1800.06 c trivial : 0.06 2 1
1800.01/1800.06 c shiftandpropagate: 0.00 0 0
1800.01/1800.06 c simplerounding : 1.43 543 62
1800.01/1800.06 c zirounding : 0.10 197 0
1800.01/1800.06 c rounding : 12.87 543 1
1800.01/1800.06 c shifting : 10.07 367 1
1800.01/1800.06 c intshifting : 0.00 0 0
1800.01/1800.06 c twoopt : 0.00 0 0
1800.01/1800.06 c fixandinfer : 0.00 0 0
1800.01/1800.06 c feaspump : 0.00 0 0
1800.01/1800.06 c clique : 0.00 0 0
1800.01/1800.06 c fracdiving : 16.46 9 0
1800.01/1800.06 c veclendiving : 13.69 8 5
1800.01/1800.06 c intdiving : 0.00 0 0
1800.01/1800.06 c actconsdiving : 0.00 0 0
1800.01/1800.06 c objpscostdiving : 26.53 1 0
1800.01/1800.06 c rootsoldiving : 6.41 4 0
1800.01/1800.06 c linesearchdiving : 18.38 8 3
1800.01/1800.06 c guideddiving : 16.02 8 0
1800.01/1800.06 c octane : 0.00 0 0
1800.01/1800.06 c rens : 0.06 0 0
1800.01/1800.06 c rins : 0.00 0 0
1800.01/1800.06 c localbranching : 0.00 0 0
1800.01/1800.06 c mutation : 0.00 0 0
1800.01/1800.06 c dins : 0.00 0 0
1800.01/1800.06 c vbounds : 0.00 0 0
1800.01/1800.06 c undercover : 0.02 1 0
1800.01/1800.06 c subnlp : 0.00 0 0
1800.01/1800.06 c trysol : 0.00 0 0
1800.01/1800.06 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.06 c primal LP : 1.04 0 0 0.00 0.00
1800.01/1800.06 c dual LP : 461.22 543 1401495 2581.02 3038.66
1800.01/1800.06 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.06 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.06 c diving/probing LP: 132.19 3712 1084240 292.09 8201.83
1800.01/1800.06 c strong branching : 170.35 1101 822451 747.00 4827.95
1800.01/1800.06 c (at root node) : - 18 16004 889.11 -
1800.01/1800.06 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.06 c B&B Tree :
1800.01/1800.06 c number of runs : 1
1800.01/1800.06 c nodes : 197
1800.01/1800.06 c nodes (total) : 197
1800.01/1800.06 c nodes left : 198
1800.01/1800.06 c max depth : 33
1800.01/1800.06 c max depth (total): 33
1800.01/1800.06 c backtracks : 55 (27.9%)
1800.01/1800.06 c delayed cutoffs : 0
1800.01/1800.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.01/1800.06 c avg switch length: 3.68
1800.01/1800.06 c switching time : 0.13
1800.01/1800.06 c Solution :
1800.01/1800.06 c Solutions found : 77 (4 improvements)
1800.01/1800.06 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.43 seconds, depth 0, found by <trivial>)
1800.01/1800.06 c Primal Bound : -4.90000000000000e+01 (in run 1, after 1 nodes, 2.69 seconds, depth 0, found by <oneopt>)
1800.01/1800.06 c Dual Bound : -2.40442242941636e+02
1800.01/1800.06 c Gap : 79.62 %
1800.01/1800.06 c Root Dual Bound : -2.42000000000000e+02
1800.01/1800.06 c Root Iterations : 666887
1800.20/1800.22 c Time complete: 1800.22.
OK -49
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450648-1307105018/watcher-3450648-1307105018 -o /tmp/evaluation-result-3450648-1307105018/solver-3450648-1307105018 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450648-1307105018.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.03 2.00 2/446 11301 /proc/meminfo: memFree=31298056/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=11796 CPUtime=0 cores=0,2,4,6 /proc/11301/stat : 11301 (runsolver) R 11299 11301 10081 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 822100574 12079104 51 33554432000 4194304 5432328 140736885682528 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0 /proc/11301/statm: 2949 51 31 303 0 2643 0 [startup+0.066516 s] /proc/loadavg: 2.01 2.03 2.00 2/446 11301 /proc/meminfo: memFree=31298056/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=27712 CPUtime=0.04 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 5947 0 0 0 4 0 0 0 25 0 1 0 822100574 28377088 5901 33554432000 4194304 9163163 140736124218384 18446744073709551615 4339643 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11301/statm: 6928 5901 415 1214 0 5710 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27712 [startup+0.100505 s] /proc/loadavg: 2.01 2.03 2.00 2/446 11301 /proc/meminfo: memFree=31298056/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=36824 CPUtime=0.08 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 8214 0 0 0 7 1 0 0 25 0 1 0 822100574 37707776 8168 33554432000 4194304 9163163 140736124218384 18446744073709551615 5313500 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11301/statm: 9206 8169 415 1214 0 7988 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 36824 [startup+0.300465 s] /proc/loadavg: 2.01 2.03 2.00 2/446 11301 /proc/meminfo: memFree=31298056/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=96580 CPUtime=0.27 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 23218 0 0 0 25 2 0 0 25 0 1 0 822100574 98897920 23014 33554432000 4194304 9163163 140736124218384 18446744073709551615 4518874 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 24145 23014 453 1214 0 22927 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 96580 [startup+0.70039 s] /proc/loadavg: 2.01 2.03 2.00 2/446 11301 /proc/meminfo: memFree=31298056/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=139300 CPUtime=0.68 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 32987 0 0 0 64 4 0 0 25 0 1 0 822100574 142643200 32783 33554432000 4194304 9163163 140736124218384 18446744073709551615 8041864 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 34825 32783 505 1214 0 33607 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 139300 [startup+1.50026 s] /proc/loadavg: 2.01 2.03 2.00 5/447 11302 /proc/meminfo: memFree=31165240/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=198648 CPUtime=1.47 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 49795 0 0 0 142 5 0 0 25 0 1 0 822100574 203415552 46750 33554432000 4194304 9163163 140736124218384 18446744073709551615 7110326 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 49662 46752 654 1214 0 48444 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 198648 [startup+3.10092 s] /proc/loadavg: 2.01 2.03 2.00 4/447 11302 /proc/meminfo: memFree=31100264/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=212060 CPUtime=3.08 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 55333 0 0 0 302 6 0 0 25 0 1 0 822100574 217149440 49018 33554432000 4194304 9163163 140736124218384 18446744073709551615 6254758 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 53015 49018 749 1214 0 51797 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 212060 [startup+6.30038 s] /proc/loadavg: 2.01 2.03 2.00 3/447 11330 /proc/meminfo: memFree=31166376/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=217752 CPUtime=6.27 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 58553 0 0 0 621 6 0 0 25 0 1 0 822100574 222978048 52181 33554432000 4194304 9163163 140736124218384 18446744073709551615 5824898 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 54438 52181 911 1214 0 53220 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 217752 [startup+12.7003 s] /proc/loadavg: 2.01 2.03 2.00 3/447 11330 /proc/meminfo: memFree=31144676/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=230288 CPUtime=12.68 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 61935 0 0 0 1260 8 0 0 25 0 1 0 822100574 235814912 55526 33554432000 4194304 9163163 140736124218384 18446744073709551615 6668738 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 57572 55526 986 1214 0 56354 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 230288 [startup+25.501 s] /proc/loadavg: 2.01 2.03 2.00 3/447 11331 /proc/meminfo: memFree=31125392/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=235376 CPUtime=25.48 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 63913 0 0 0 2535 13 0 0 25 0 1 0 822100574 241025024 57119 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 58844 57119 756 1214 0 57626 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 235376 [startup+51.1005 s] /proc/loadavg: 2.00 2.03 2.00 3/447 11332 /proc/meminfo: memFree=31099280/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=247084 CPUtime=51.08 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 66679 0 0 0 5084 24 0 0 25 0 1 0 822100574 253014016 59828 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 61771 59828 754 1214 0 60553 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 247084 [startup+102.316 s] /proc/loadavg: 2.00 2.02 2.00 3/447 11333 /proc/meminfo: memFree=31033724/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287192 CPUtime=102.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 76349 0 0 0 10188 41 0 0 25 0 1 0 822100574 294084608 69380 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 71798 69380 1074 1214 0 70580 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 287192 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/447 11334 /proc/meminfo: memFree=31005016/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287192 CPUtime=162.28 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 76787 0 0 0 16169 59 0 0 25 0 1 0 822100574 294084608 69667 33554432000 4194304 9163163 140736124218384 18446744073709551615 7348408 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 71798 69667 1070 1214 0 70580 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 287192 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.00 3/447 11336 /proc/meminfo: memFree=30973844/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287192 CPUtime=222.28 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 76788 0 0 0 22154 74 0 0 25 0 1 0 822100574 294084608 69668 33554432000 4194304 9163163 140736124218384 18446744073709551615 7348661 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 71798 69668 1070 1214 0 70580 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 287192 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/447 11338 /proc/meminfo: memFree=30953836/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287192 CPUtime=282.28 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 76867 0 0 0 28140 88 0 0 25 0 1 0 822100574 294084608 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 71798 69747 1070 1214 0 70580 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 287192 [startup+342.3 s] /proc/loadavg: 2.04 2.01 2.00 3/447 11339 /proc/meminfo: memFree=30953548/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=342.28 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 76995 0 0 0 34128 100 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 4555510 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 72164 69747 942 1214 0 70946 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 288656 [startup+402.301 s] /proc/loadavg: 2.05 2.02 2.00 3/447 11341 /proc/meminfo: memFree=30952876/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=402.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77142 0 0 0 40116 113 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 6669393 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 72164 69747 795 1214 0 70946 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 288656 [startup+462.301 s] /proc/loadavg: 2.08 2.03 2.00 3/447 11342 /proc/meminfo: memFree=30945384/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=462.28 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77149 0 0 0 46106 122 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 6674542 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 72164 69747 788 1214 0 70946 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 288656 [startup+522.3 s] /proc/loadavg: 2.09 2.04 2.00 3/447 11344 /proc/meminfo: memFree=30930948/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=522.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77150 0 0 0 52095 134 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 72164 69747 787 1214 0 70946 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 288656 [startup+582.301 s] /proc/loadavg: 2.03 2.03 2.00 3/447 11346 /proc/meminfo: memFree=30924320/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=582.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77150 0 0 0 58084 145 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 6669454 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 72164 69747 787 1214 0 70946 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 288656 [startup+642.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.06 2.02 2.00 3/447 11354 /proc/meminfo: memFree=30924124/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=882.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77150 0 0 0 88034 195 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 6669454 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 72164 69747 787 1214 0 70946 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 288656 [startup+942.3 s] /proc/loadavg: 2.07 2.03 2.00 3/447 11355 /proc/meminfo: memFree=30924316/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=942.3 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77150 0 0 0 94024 206 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 7389131 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 72164 69747 787 1214 0 70946 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 288656 [startup+1002.3 s] /proc/loadavg: 2.02 2.02 2.00 3/447 11357 /proc/meminfo: memFree=30923892/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=1002.3 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77150 0 0 0 100012 218 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 6611619 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11301/statm: 72164 69747 787 1214 0 70946 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 288656 [startup+1062.3 s] /proc/loadavg: 2.04 2.03 2.00 3/447 11367 /proc/meminfo: memFree=30924104/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=1062.28 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77150 0 0 0 105999 229 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 72164 69747 787 1214 0 70946 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 288656 [startup+1122.3 s] /proc/loadavg: 2.05 2.03 2.00 3/447 11369 /proc/meminfo: memFree=30923688/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=1122.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77150 0 0 0 111987 242 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 7390821 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 72164 69747 787 1214 0 70946 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 288656 [startup+1182.3 s] /proc/loadavg: 2.02 2.03 2.00 3/447 11371 /proc/meminfo: memFree=30923408/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=1182.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77150 0 0 0 117974 255 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 7346257 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 72164 69747 787 1214 0 70946 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 288656 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/447 11374 /proc/meminfo: memFree=30922404/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=1242.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77151 0 0 0 123961 268 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 6668656 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 72164 69747 786 1214 0 70946 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 288656 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/447 11377 /proc/meminfo: memFree=30922620/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=1302.3 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77151 0 0 0 129950 280 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 72164 69747 786 1214 0 70946 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 288656 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/447 11378 /proc/meminfo: memFree=30923688/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=288656 CPUtime=1362.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 77151 0 0 0 135935 294 0 0 25 0 1 0 822100574 295583744 69747 33554432000 4194304 9163163 140736124218384 18446744073709551615 4816688 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 72164 69747 786 1214 0 70946 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 288656 [startup+1422.32 s] /proc/loadavg: 2.16 2.04 2.01 3/447 11380 /proc/meminfo: memFree=30923784/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287416 CPUtime=1422.3 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 79814 0 0 0 141903 327 0 0 25 0 1 0 822100574 294313984 69532 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 71854 69532 714 1214 0 70636 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 287416 [startup+1482.3 s] /proc/loadavg: 2.13 2.04 2.01 3/447 11382 /proc/meminfo: memFree=30923740/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287416 CPUtime=1482.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 79815 0 0 0 147842 387 0 0 25 0 1 0 822100574 294313984 69533 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 71854 69533 715 1214 0 70636 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 287416 [startup+1542.3 s] /proc/loadavg: 2.05 2.03 2.00 3/447 11383 /proc/meminfo: memFree=30923824/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287416 CPUtime=1542.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 79819 0 0 0 153791 438 0 0 25 0 1 0 822100574 294313984 69537 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 71854 69537 719 1214 0 70636 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 287416 [startup+1602.3 s] /proc/loadavg: 2.06 2.04 2.00 3/447 11385 /proc/meminfo: memFree=30923900/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287416 CPUtime=1602.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 79819 0 0 0 159746 483 0 0 25 0 1 0 822100574 294313984 69537 33554432000 4194304 9163163 140736124218384 18446744073709551615 7390858 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 71854 69537 719 1214 0 70636 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 287416 [startup+1662.3 s] /proc/loadavg: 2.07 2.04 2.00 3/447 11467 /proc/meminfo: memFree=30979152/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287416 CPUtime=1662.29 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 79819 0 0 0 165698 531 0 0 25 0 1 0 822100574 294313984 69537 33554432000 4194304 9163163 140736124218384 18446744073709551615 7373928 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 71854 69537 719 1214 0 70636 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 287416 [startup+1722.3 s] /proc/loadavg: 2.08 2.05 2.00 3/447 11469 /proc/meminfo: memFree=30979056/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287416 CPUtime=1722.3 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 79819 0 0 0 171646 584 0 0 25 0 1 0 822100574 294313984 69537 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 71854 69537 719 1214 0 70636 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 287416 [startup+1782.3 s] /proc/loadavg: 2.09 2.05 2.00 3/447 11471 /proc/meminfo: memFree=30978264/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287416 CPUtime=1782.3 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 79819 0 0 0 177601 629 0 0 25 0 1 0 822100574 294313984 69537 33554432000 4194304 9163163 140736124218384 18446744073709551615 7346251 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 71854 69537 719 1214 0 70636 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 287416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.05 2.00 3/447 11471 /proc/meminfo: memFree=30978260/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=287416 CPUtime=1800.01 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 79819 0 0 0 179357 644 0 0 25 0 1 0 822100574 294313984 69537 33554432000 4194304 9163163 140736124218384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11301/statm: 71854 69537 719 1214 0 70636 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 287416 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.06 2.05 2.00 3/447 11471 /proc/meminfo: memFree=30978260/32950928 swapFree=34365992/67111528 [pid=11301] ppid=11299 vsize=239140 CPUtime=1800.2 cores=0,2,4,6 /proc/11301/stat : 11301 (scip-2.0.1.4b.l) R 11299 11301 10081 0 -1 4202496 79822 0 0 0 179376 644 0 0 18 0 1 0 822100574 244879360 58446 33554432000 4194304 9163163 140736124218384 18446744073709551615 8095719 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/11301/statm: 59529 58190 722 1214 0 58311 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 239140 Child status: 0 Real time (s): 1800.22 CPU time (s): 1800.23 CPU user time (s): 1793.77 CPU system time (s): 6.45402 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 296576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.77 system time used= 6.45402 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79824 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 3657 runsolver used 8.23775 second user time and 17.5183 second system time The end
Begin job on node120 at 2011-06-03 14:43:38 IDJOB=3450648 IDBENCH=48172 IDSOLVER=1948 FILE ID=node120/3450648-1307105018 RUNJOBID= node120-1307093855-10099 PBS_JOBID= 13498002 Free space on /tmp= 73800 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_2.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450648-1307105018/watcher-3450648-1307105018 -o /tmp/evaluation-result-3450648-1307105018/solver-3450648-1307105018 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450648-1307105018.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9073bcbe60c862f7d64be630b0fdd227 RANDOM SEED=1545135480 node120.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.809 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.61 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.809 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 : 5226.07 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.809 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.82 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.809 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.75 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.809 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.78 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.809 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.809 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.82 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.809 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31298460 kB Buffers: 261276 kB Cached: 973528 kB SwapCached: 12852 kB Active: 435296 kB Inactive: 925988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31298460 kB SwapTotal: 67111528 kB SwapFree: 34365992 kB Dirty: 13244 kB Writeback: 8 kB AnonPages: 123468 kB Mapped: 12176 kB Slab: 132240 kB PageTables: 91880 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 105501560 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= 73788 MiB End job on node120 at 2011-06-03 15:13:40