Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.09 | 1802.05 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo |
| MD5SUM | 36573e20f94a233c9b9c8f8613b15785 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.355945 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1188 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2694134-1277923734.wbo>
0.00/0.00 c original problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 203 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 o 4943
0.00/0.00 c feasible solution found by trivial heuristic, objective value 4.943000e+03
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/270 (37.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 101 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 101 implications, 0 cliques
0.00/0.01 c presolved problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 202 constraints
0.00/0.01 c 101 constraints of type <indicator>
0.00/0.01 c 101 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c t 0.0s| 1 | 2 | 0 | - |1124k| 0 | - | 371 | 202 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
1.49/1.57 c 1.4s| 10000 | 6785 | 0 | 0.0 |8244k| 171 | - | 371 |5040 | 0 | 0 | 0 |9226 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
1.79/1.82 o 772
1.79/1.82 c * 1.6s| 11041 | 7277 | 0 | 0.0 |8525k| 214 | - | 371 |4787 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
2.69/2.75 c 2.3s| 20000 | 14679 | 0 | 0.0 | 11M| 214 | - | 371 |4151 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
4.89/4.97 c 4.3s| 30000 | 19952 | 0 | 0.0 | 17M| 214 | - | 371 |7988 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
7.99/8.07 c 7.2s| 40000 | 24019 | 0 | 0.0 | 23M| 214 | - | 371 | 11k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
12.29/12.37 c 11.2s| 50000 | 26136 | 0 | 0.0 | 27M| 214 | - | 371 | 12k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
12.89/12.93 c 11.6s| 60000 | 36098 | 0 | 0.0 | 27M| 214 | - | 371 |1265 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
13.39/13.41 c 11.9s| 70000 | 46054 | 0 | 0.0 | 30M| 214 | - | 371 | 960 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
13.79/13.89 c 12.2s| 80000 | 56026 | 0 | 0.0 | 32M| 214 | - | 371 | 905 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
14.30/14.35 c 12.5s| 90000 | 66005 | 0 | 0.0 | 35M| 214 | - | 371 | 860 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
14.79/14.82 c 12.8s|100000 | 75974 | 0 | 0.0 | 38M| 214 | - | 371 | 882 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
15.19/15.28 c 13.1s|110000 | 85945 | 0 | 0.0 | 41M| 214 | - | 371 | 932 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
15.69/15.75 c 13.4s|120000 | 95905 | 0 | 0.0 | 44M| 214 | - | 371 | 970 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
16.19/16.21 c 13.7s|130000 |105876 | 0 | 0.0 | 47M| 214 | - | 371 | 998 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
16.59/16.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.59/16.68 c 14.0s|140000 |115846 | 0 | 0.0 | 50M| 214 | - | 371 |1051 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
17.09/17.14 c 14.2s|150000 |125812 | 0 | 0.0 | 53M| 214 | - | 371 |1088 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
17.60/17.62 c 14.5s|160000 |135739 | 0 | 0.0 | 57M| 214 | - | 371 |1198 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
18.09/18.12 c 14.8s|170000 |145639 | 0 | 0.0 | 60M| 214 | - | 371 |1004 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
20.59/20.65 c 17.1s|180000 |149881 | 0 | 0.0 | 66M| 214 | - | 371 |9271 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
25.19/25.29 c 21.5s|190000 |151915 | 0 | 0.0 | 72M| 214 | - | 371 | 14k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
31.19/31.29 c 27.2s|200000 |153016 | 0 | 0.0 | 77M| 214 | - | 371 | 18k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
38.59/38.70 c 34.4s|210000 |153847 | 0 | 0.0 | 81M| 214 | - | 371 | 23k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
47.49/47.51 c 42.9s|220000 |154298 | 0 | 0.0 | 85M| 214 | - | 371 | 27k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
57.10/57.14 c 52.3s|230000 |154675 | 0 | 0.0 | 85M| 214 | - | 371 | 24k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
57.79/57.88 c 52.9s|240000 |164648 | 0 | 0.0 | 81M| 214 | - | 371 |1787 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
58.30/58.36 c 53.2s|250000 |174620 | 0 | 0.0 | 83M| 214 | - | 371 |1182 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
58.79/58.84 c 53.5s|260000 |184574 | 0 | 0.0 | 86M| 214 | - | 371 |1025 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
59.30/59.32 c 53.8s|270000 |194533 | 0 | 0.0 | 89M| 214 | - | 371 | 929 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
59.69/59.78 c 54.1s|280000 |204509 | 0 | 0.0 | 92M| 214 | - | 371 | 934 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
60.19/60.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.19/60.25 c 54.4s|290000 |214491 | 0 | 0.0 | 95M| 214 | - | 371 | 907 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
60.69/60.70 c 54.7s|300000 |224468 | 0 | 0.0 | 98M| 214 | - | 371 | 866 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
61.09/61.17 c 55.0s|310000 |234424 | 0 | 0.0 | 101M| 214 | - | 371 | 871 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
61.60/61.63 c 55.3s|320000 |244398 | 0 | 0.0 | 103M| 214 | - | 371 | 840 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
61.99/62.09 c 55.6s|330000 |254371 | 0 | 0.0 | 106M| 214 | - | 371 | 823 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
62.49/62.56 c 55.9s|340000 |264357 | 0 | 0.0 | 109M| 214 | - | 371 | 777 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
62.99/63.03 c 56.2s|350000 |274321 | 0 | 0.0 | 112M| 214 | - | 371 | 790 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
63.39/63.49 c 56.5s|360000 |284301 | 0 | 0.0 | 115M| 214 | - | 371 | 749 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
63.89/63.95 c 56.8s|370000 |294276 | 0 | 0.0 | 118M| 214 | - | 371 | 759 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
64.39/64.41 c 57.0s|380000 |304251 | 0 | 0.0 | 121M| 214 | - | 371 | 763 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
64.80/64.87 c 57.3s|390000 |314225 | 0 | 0.0 | 124M| 214 | - | 371 | 769 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
65.29/65.34 c 57.6s|400000 |324193 | 0 | 0.0 | 127M| 214 | - | 371 | 793 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
65.79/65.81 c 58.0s|410000 |334166 | 0 | 0.0 | 130M| 214 | - | 371 | 793 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
66.19/66.28 c 58.3s|420000 |344142 | 0 | 0.0 | 133M| 214 | - | 371 | 778 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
66.69/66.75 c 58.5s|430000 |354117 | 0 | 0.0 | 136M| 214 | - | 371 | 778 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
67.19/67.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.19/67.21 c 58.8s|440000 |364084 | 0 | 0.0 | 139M| 214 | - | 371 | 780 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
67.59/67.68 c 59.1s|450000 |374040 | 0 | 0.0 | 142M| 214 | - | 371 | 784 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
68.09/68.15 c 59.4s|460000 |384004 | 0 | 0.0 | 144M| 214 | - | 371 | 804 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
68.59/68.61 c 59.7s|470000 |393983 | 0 | 0.0 | 147M| 214 | - | 371 | 819 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
68.99/69.08 c 60.0s|480000 |403959 | 0 | 0.0 | 150M| 214 | - | 371 | 828 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
69.49/69.55 c 60.3s|490000 |413922 | 0 | 0.0 | 153M| 214 | - | 371 | 833 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
69.99/70.01 c 60.6s|500000 |423910 | 0 | 0.0 | 156M| 214 | - | 371 | 831 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
70.39/70.48 c 60.9s|510000 |433862 | 0 | 0.0 | 159M| 214 | - | 371 | 886 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
70.89/70.96 c 61.2s|520000 |443833 | 0 | 0.0 | 162M| 214 | - | 371 | 867 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
71.39/71.42 c 61.5s|530000 |453811 | 0 | 0.0 | 165M| 214 | - | 371 | 842 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
71.89/71.90 c 61.8s|540000 |463786 | 0 | 0.0 | 168M| 214 | - | 371 | 875 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
72.29/72.38 c 62.1s|550000 |473740 | 0 | 0.0 | 171M| 214 | - | 371 | 920 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
72.79/72.86 c 62.5s|560000 |483697 | 0 | 0.0 | 174M| 214 | - | 371 | 898 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
73.29/73.34 c 62.8s|570000 |493669 | 0 | 0.0 | 177M| 214 | - | 371 | 902 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
73.79/73.81 c 63.1s|580000 |503628 | 0 | 0.0 | 180M| 214 | - | 371 | 922 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
74.19/74.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.19/74.28 c 63.4s|590000 |513593 | 0 | 0.0 | 183M| 214 | - | 371 | 968 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
74.70/74.75 c 63.7s|600000 |523566 | 0 | 0.0 | 186M| 214 | - | 371 | 954 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
75.19/75.22 c 64.0s|610000 |533540 | 0 | 0.0 | 189M| 214 | - | 371 | 956 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
75.59/75.68 c 64.2s|620000 |543512 | 0 | 0.0 | 192M| 214 | - | 371 | 955 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
76.09/76.15 c 64.5s|630000 |553452 | 0 | 0.0 | 195M| 214 | - | 371 | 978 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
76.59/76.62 c 64.8s|640000 |563419 | 0 | 0.0 | 197M| 214 | - | 371 | 966 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
77.00/77.08 c 65.1s|650000 |573403 | 0 | 0.0 | 200M| 214 | - | 371 | 954 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
77.50/77.54 c 65.4s|660000 |583364 | 0 | 0.0 | 203M| 214 | - | 371 | 988 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
77.99/78.01 c 65.7s|670000 |593331 | 0 | 0.0 | 206M| 214 | - | 371 | 988 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
78.39/78.47 c 66.0s|680000 |603299 | 0 | 0.0 | 209M| 214 | - | 371 | 980 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
78.89/78.94 c 66.4s|690000 |613254 | 0 | 0.0 | 212M| 214 | - | 371 |1009 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
79.40/79.41 c 66.7s|700000 |623208 | 0 | 0.0 | 215M| 214 | - | 371 |1058 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
79.79/79.89 c 67.0s|710000 |633161 | 0 | 0.0 | 218M| 214 | - | 371 |1066 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
80.29/80.36 c 67.3s|720000 |643130 | 0 | 0.0 | 221M| 214 | - | 371 |1070 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
80.79/80.83 c 67.6s|730000 |653096 | 0 | 0.0 | 224M| 214 | - | 371 |1067 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
81.30/81.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.30/81.31 c 67.9s|740000 |663065 | 0 | 0.0 | 227M| 214 | - | 371 |1107 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
81.69/81.79 c 68.2s|750000 |673020 | 0 | 0.0 | 230M| 214 | - | 371 |1155 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
82.19/82.27 c 68.6s|760000 |682968 | 0 | 0.0 | 233M| 214 | - | 371 |1146 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
82.69/82.75 c 68.9s|770000 |692931 | 0 | 0.0 | 236M| 214 | - | 371 |1159 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
83.19/83.23 c 69.2s|780000 |702875 | 0 | 0.0 | 239M| 214 | - | 371 |1212 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
83.69/83.72 c 69.5s|790000 |712824 | 0 | 0.0 | 242M| 214 | - | 371 |1261 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
84.09/84.19 c 69.8s|800000 |722791 | 0 | 0.0 | 244M| 214 | - | 371 |1227 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
84.60/84.66 c 70.0s|810000 |732762 | 0 | 0.0 | 247M| 214 | - | 371 |1221 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
85.09/85.13 c 70.4s|820000 |742737 | 0 | 0.0 | 250M| 214 | - | 371 |1245 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
85.49/85.60 c 70.7s|830000 |752704 | 0 | 0.0 | 253M| 214 | - | 371 |1292 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
85.99/86.06 c 71.0s|840000 |762681 | 0 | 0.0 | 256M| 214 | - | 371 |1298 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
86.49/86.53 c 71.3s|850000 |772644 | 0 | 0.0 | 259M| 214 | - | 371 |1309 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
86.99/87.01 c 71.6s|860000 |782599 | 0 | 0.0 | 262M| 214 | - | 371 |1328 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
87.50/87.50 c 71.9s|870000 |792550 | 0 | 0.0 | 265M| 214 | - | 371 |1388 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
87.90/87.98 c 72.2s|880000 |802517 | 0 | 0.0 | 268M| 214 | - | 371 |1392 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
88.39/88.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.39/88.45 c 72.5s|890000 |812497 | 0 | 0.0 | 271M| 214 | - | 371 |1389 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
88.89/88.92 c 72.8s|900000 |822470 | 0 | 0.0 | 274M| 214 | - | 371 |1374 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
89.39/89.40 c 73.1s|910000 |832429 | 0 | 0.0 | 277M| 214 | - | 371 |1383 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
89.79/89.88 c 73.4s|920000 |842392 | 0 | 0.0 | 280M| 214 | - | 371 |1390 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
90.29/90.35 c 73.7s|930000 |852366 | 0 | 0.0 | 283M| 214 | - | 371 |1390 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
90.79/90.84 c 74.0s|940000 |862290 | 0 | 0.0 | 286M| 214 | - | 371 |1435 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
91.30/91.31 c 74.3s|950000 |872236 | 0 | 0.0 | 289M| 214 | - | 371 |1442 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
91.69/91.79 c 74.7s|960000 |882188 | 0 | 0.0 | 292M| 214 | - | 371 |1468 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
92.19/92.25 c 75.0s|970000 |892151 | 0 | 0.0 | 295M| 214 | - | 371 |1503 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
92.69/92.73 c 75.3s|980000 |902100 | 0 | 0.0 | 298M| 214 | - | 371 |1527 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
93.19/93.22 c 75.6s|990000 |912058 | 0 | 0.0 | 301M| 214 | - | 371 |1540 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
93.69/93.71 c 75.9s| 1000k|922004 | 0 | 0.0 | 304M| 214 | - | 371 |1605 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
94.09/94.19 c 76.2s| 1010k|931973 | 0 | 0.0 | 307M| 214 | - | 371 |1599 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
94.60/94.67 c 76.5s| 1020k|941933 | 0 | 0.0 | 310M| 214 | - | 371 |1630 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
95.09/95.15 c 76.8s| 1030k|951894 | 0 | 0.0 | 313M| 214 | - | 371 |1642 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
95.60/95.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.60/95.62 c 77.1s| 1040k|961858 | 0 | 0.0 | 316M| 214 | - | 371 |1651 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
96.10/96.10 c 77.4s| 1050k|971806 | 0 | 0.0 | 319M| 214 | - | 371 |1692 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
96.49/96.59 c 77.8s| 1060k|981751 | 0 | 0.0 | 322M| 214 | - | 371 |1737 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
96.99/97.08 c 78.1s| 1070k|991701 | 0 | 0.0 | 325M| 214 | - | 371 |1714 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
97.49/97.57 c 78.4s| 1080k| 1001k| 0 | 0.0 | 328M| 214 | - | 371 |1730 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
97.99/98.06 c 78.7s| 1090k| 1011k| 0 | 0.0 | 331M| 214 | - | 371 |1772 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
98.49/98.56 c 79.1s| 1100k| 1021k| 0 | 0.0 | 334M| 214 | - | 371 |1782 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
98.99/99.06 c 79.4s| 1110k| 1031k| 0 | 0.0 | 337M| 214 | - | 371 |1844 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
99.49/99.55 c 79.7s| 1120k| 1041k| 0 | 0.0 | 340M| 214 | - | 371 |1856 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
100.00/100.05 c 80.0s| 1130k| 1051k| 0 | 0.0 | 343M| 214 | - | 371 |1866 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
100.49/100.55 c 80.4s| 1140k| 1061k| 0 | 0.0 | 346M| 214 | - | 371 |1939 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
100.99/101.04 c 80.7s| 1150k| 1071k| 0 | 0.0 | 349M| 214 | - | 371 |1958 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
101.49/101.53 c 81.0s| 1160k| 1081k| 0 | 0.0 | 352M| 214 | - | 371 |1947 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
101.99/102.01 c 81.3s| 1170k| 1091k| 0 | 0.0 | 355M| 214 | - | 371 |1976 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
102.49/102.50 c 81.7s| 1180k| 1101k| 0 | 0.0 | 358M| 214 | - | 371 |2045 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
102.90/102.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.90/102.99 c 82.0s| 1190k| 1111k| 0 | 0.0 | 361M| 214 | - | 371 |2009 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
103.40/103.48 c 82.3s| 1200k| 1121k| 0 | 0.0 | 364M| 214 | - | 371 |2058 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
103.89/103.97 c 82.6s| 1210k| 1131k| 0 | 0.0 | 367M| 214 | - | 371 |2070 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
104.40/104.45 c 82.9s| 1220k| 1141k| 0 | 0.0 | 370M| 214 | - | 371 |2095 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
104.89/104.94 c 83.3s| 1230k| 1150k| 0 | 0.0 | 373M| 214 | - | 371 |2111 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
105.39/105.41 c 83.6s| 1240k| 1160k| 0 | 0.0 | 376M| 214 | - | 371 |2148 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
105.79/105.89 c 83.9s| 1250k| 1170k| 0 | 0.0 | 379M| 214 | - | 371 |2191 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
106.29/106.37 c 84.2s| 1260k| 1180k| 0 | 0.0 | 382M| 214 | - | 371 |2229 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
106.80/106.84 c 84.5s| 1270k| 1190k| 0 | 0.0 | 384M| 214 | - | 371 |2227 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
107.29/107.31 c 84.8s| 1280k| 1200k| 0 | 0.0 | 388M| 214 | - | 371 |2273 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
107.70/107.78 c 85.1s| 1290k| 1210k| 0 | 0.0 | 390M| 214 | - | 371 |2263 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
108.19/108.25 c 85.4s| 1300k| 1220k| 0 | 0.0 | 393M| 214 | - | 371 |2277 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
108.69/108.73 c 85.8s| 1310k| 1230k| 0 | 0.0 | 397M| 214 | - | 371 |2345 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
109.19/109.21 c 86.1s| 1320k| 1240k| 0 | 0.0 | 399M| 214 | - | 371 |2359 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
109.59/109.69 c 86.4s| 1330k| 1250k| 0 | 0.0 | 402M| 214 | - | 371 |2417 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
110.09/110.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.09/110.17 c 86.7s| 1340k| 1260k| 0 | 0.0 | 405M| 214 | - | 371 |2446 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
110.59/110.63 c 87.0s| 1350k| 1270k| 0 | 0.0 | 408M| 214 | - | 371 |2433 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
111.00/111.10 c 87.3s| 1360k| 1280k| 0 | 0.0 | 411M| 214 | - | 371 |2457 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
111.49/111.58 c 87.6s| 1370k| 1290k| 0 | 0.0 | 414M| 214 | - | 371 |2532 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
111.99/112.05 c 87.9s| 1380k| 1300k| 0 | 0.0 | 417M| 214 | - | 371 |2584 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
112.49/112.52 c 88.3s| 1390k| 1310k| 0 | 0.0 | 421M| 214 | - | 371 |2585 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
112.89/113.00 c 88.6s| 1400k| 1320k| 0 | 0.0 | 424M| 214 | - | 371 |2622 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
113.39/113.47 c 88.9s| 1410k| 1330k| 0 | 0.0 | 427M| 214 | - | 371 |2625 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
113.89/113.95 c 89.2s| 1420k| 1340k| 0 | 0.0 | 430M| 214 | - | 371 |2634 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
114.40/114.42 c 89.5s| 1430k| 1350k| 0 | 0.0 | 433M| 214 | - | 371 |2668 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
114.89/114.90 c 89.8s| 1440k| 1360k| 0 | 0.0 | 436M| 214 | - | 371 |2719 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
115.30/115.38 c 90.0s| 1450k| 1370k| 0 | 0.0 | 439M| 214 | - | 371 |2683 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
115.79/115.85 c 90.3s| 1460k| 1380k| 0 | 0.0 | 442M| 214 | - | 371 |2731 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
116.29/116.33 c 90.7s| 1470k| 1389k| 0 | 0.0 | 445M| 214 | - | 371 |2765 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
116.80/116.82 c 91.0s| 1480k| 1399k| 0 | 0.0 | 448M| 214 | - | 371 |2761 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
117.29/117.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.29/117.31 c 91.3s| 1490k| 1409k| 0 | 0.0 | 451M| 214 | - | 371 |2808 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
117.70/117.79 c 91.7s| 1500k| 1419k| 0 | 0.0 | 454M| 214 | - | 371 |2880 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
118.19/118.29 c 92.0s| 1510k| 1429k| 0 | 0.0 | 457M| 214 | - | 371 |2905 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
118.70/118.77 c 92.3s| 1520k| 1439k| 0 | 0.0 | 460M| 214 | - | 371 |2892 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
119.19/119.25 c 92.6s| 1530k| 1449k| 0 | 0.0 | 463M| 214 | - | 371 |2924 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
119.69/119.74 c 93.0s| 1540k| 1459k| 0 | 0.0 | 466M| 214 | - | 371 |2938 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
120.19/120.22 c 93.3s| 1550k| 1469k| 0 | 0.0 | 469M| 214 | - | 371 |2951 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
120.69/120.70 c 93.6s| 1560k| 1479k| 0 | 0.0 | 472M| 214 | - | 371 |2972 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
121.09/121.19 c 93.9s| 1570k| 1489k| 0 | 0.0 | 475M| 214 | - | 371 |3103 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
121.59/121.68 c 94.2s| 1580k| 1499k| 0 | 0.0 | 478M| 214 | - | 371 |3097 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
122.09/122.16 c 94.5s| 1590k| 1509k| 0 | 0.0 | 481M| 214 | - | 371 |3062 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
122.59/122.63 c 94.8s| 1600k| 1519k| 0 | 0.0 | 484M| 214 | - | 371 |3101 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
122.99/123.09 c 95.1s| 1610k| 1529k| 0 | 0.0 | 487M| 214 | - | 371 |3083 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
123.49/123.56 c 95.4s| 1620k| 1539k| 0 | 0.0 | 490M| 214 | - | 371 |3075 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
123.99/124.03 c 95.8s| 1630k| 1549k| 0 | 0.0 | 493M| 214 | - | 371 |3085 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
124.49/124.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.49/124.51 c 96.1s| 1640k| 1559k| 0 | 0.0 | 496M| 214 | - | 371 |3163 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
124.89/124.98 c 96.4s| 1650k| 1569k| 0 | 0.0 | 499M| 214 | - | 371 |3156 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
125.40/125.46 c 96.7s| 1660k| 1579k| 0 | 0.0 | 502M| 214 | - | 371 |3166 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
125.89/125.94 c 97.0s| 1670k| 1589k| 0 | 0.0 | 505M| 214 | - | 371 |3252 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
126.40/126.41 c 97.3s| 1680k| 1599k| 0 | 0.0 | 508M| 214 | - | 371 |3238 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
126.79/126.90 c 97.6s| 1690k| 1609k| 0 | 0.0 | 511M| 214 | - | 371 |3310 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
127.29/127.38 c 98.0s| 1700k| 1619k| 0 | 0.0 | 514M| 214 | - | 371 |3311 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
127.80/127.86 c 98.3s| 1710k| 1629k| 0 | 0.0 | 517M| 214 | - | 371 |3327 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
128.29/128.33 c 98.6s| 1720k| 1638k| 0 | 0.0 | 520M| 214 | - | 371 |3338 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
128.79/128.82 c 98.9s| 1730k| 1648k| 0 | 0.0 | 523M| 214 | - | 371 |3395 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
129.30/129.30 c 99.2s| 1740k| 1658k| 0 | 0.0 | 527M| 214 | - | 371 |3425 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
129.70/129.79 c 99.5s| 1750k| 1668k| 0 | 0.0 | 530M| 214 | - | 371 |3531 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
130.19/130.28 c 99.8s| 1760k| 1678k| 0 | 0.0 | 533M| 214 | - | 371 |3527 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
130.69/130.78 c 100s| 1770k| 1688k| 0 | 0.0 | 536M| 214 | - | 371 |3590 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
131.19/131.26 c 100s| 1780k| 1698k| 0 | 0.0 | 539M| 214 | - | 371 |3640 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
131.69/131.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.69/131.73 c 101s| 1790k| 1708k| 0 | 0.0 | 542M| 214 | - | 371 |3649 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
132.20/132.22 c 101s| 1800k| 1718k| 0 | 0.0 | 545M| 214 | - | 371 |3685 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
132.70/132.70 c 101s| 1810k| 1728k| 0 | 0.0 | 548M| 214 | - | 371 |3727 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
133.10/133.18 c 102s| 1820k| 1738k| 0 | 0.0 | 551M| 214 | - | 371 |3797 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
133.60/133.67 c 102s| 1830k| 1748k| 0 | 0.0 | 554M| 214 | - | 371 |3809 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
134.10/134.15 c 102s| 1840k| 1758k| 0 | 0.0 | 557M| 214 | - | 371 |3792 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
134.59/134.63 c 103s| 1850k| 1768k| 0 | 0.0 | 560M| 214 | - | 371 |3823 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
135.10/135.12 c 103s| 1860k| 1778k| 0 | 0.0 | 563M| 214 | - | 371 |3851 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
135.59/135.60 c 103s| 1870k| 1788k| 0 | 0.0 | 566M| 214 | - | 371 |3852 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
136.09/136.10 c 104s| 1880k| 1798k| 0 | 0.0 | 569M| 214 | - | 371 |3916 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
136.59/136.61 c 104s| 1890k| 1808k| 0 | 0.0 | 573M| 214 | - | 371 |3993 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
137.10/137.10 c 104s| 1900k| 1818k| 0 | 0.0 | 576M| 214 | - | 371 |4041 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
137.59/137.62 c 105s| 1910k| 1828k| 0 | 0.0 | 579M| 214 | - | 371 |4112 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
138.09/138.13 c 105s| 1920k| 1838k| 0 | 0.0 | 581M| 214 | - | 371 |1526 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
138.50/138.58 c 105s| 1930k| 1848k| 0 | 0.0 | 584M| 214 | - | 371 | 564 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
138.99/139.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.99/139.01 c 105s| 1940k| 1858k| 0 | 0.0 | 587M| 214 | - | 371 | 559 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
139.39/139.44 c 106s| 1950k| 1867k| 0 | 0.0 | 590M| 214 | - | 371 | 599 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
139.79/139.87 c 106s| 1960k| 1877k| 0 | 0.0 | 593M| 214 | - | 371 | 560 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
140.29/140.30 c 106s| 1970k| 1887k| 0 | 0.0 | 596M| 214 | - | 371 | 628 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
140.70/140.73 c 106s| 1980k| 1897k| 0 | 0.0 | 599M| 214 | - | 371 | 672 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
141.09/141.16 c 107s| 1990k| 1907k| 0 | 0.0 | 602M| 214 | - | 371 | 695 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
141.49/141.59 c 107s| 2000k| 1917k| 0 | 0.0 | 605M| 214 | - | 371 | 742 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
142.00/142.02 c 107s| 2010k| 1927k| 0 | 0.0 | 608M| 214 | - | 371 | 767 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
142.39/142.45 c 108s| 2020k| 1937k| 0 | 0.0 | 611M| 214 | - | 371 | 832 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
142.79/142.89 c 108s| 2030k| 1947k| 0 | 0.0 | 614M| 214 | - | 371 | 908 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
143.29/143.34 c 108s| 2040k| 1957k| 0 | 0.0 | 617M| 214 | - | 371 | 855 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
143.69/143.79 c 108s| 2050k| 1967k| 0 | 0.0 | 620M| 214 | - | 371 | 677 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
144.39/144.42 c 109s| 2060k| 1976k| 0 | 0.0 | 623M| 214 | - | 371 |1960 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
150.79/150.84 c 115s| 2070k| 1974k| 0 | 0.0 | 628M| 214 | - | 371 | 13k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
161.29/161.38 c 125s| 2080k| 1972k| 0 | 0.0 | 630M| 214 | - | 371 | 20k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
174.19/174.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.19/174.26 c 138s| 2090k| 1969k| 0 | 0.0 | 630M| 214 | - | 371 | 28k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
192.89/192.97 c 156s| 2100k| 1964k| 0 | 0.0 | 627M| 214 | - | 371 | 33k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
193.99/194.02 c 157s| 2110k| 1974k| 0 | 0.0 | 620M| 214 | - | 371 |3924 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
194.49/194.54 c 157s| 2120k| 1984k| 0 | 0.0 | 622M| 214 | - | 371 |1415 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
194.99/195.02 c 158s| 2130k| 1994k| 0 | 0.0 | 625M| 214 | - | 371 |1133 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
195.39/195.49 c 158s| 2140k| 2004k| 0 | 0.0 | 628M| 214 | - | 371 |1042 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
195.89/195.96 c 158s| 2150k| 2014k| 0 | 0.0 | 630M| 214 | - | 371 | 958 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
196.39/196.42 c 158s| 2160k| 2024k| 0 | 0.0 | 633M| 214 | - | 371 | 881 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
196.80/196.88 c 159s| 2170k| 2034k| 0 | 0.0 | 636M| 214 | - | 371 | 866 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
197.29/197.33 c 159s| 2180k| 2044k| 0 | 0.0 | 639M| 214 | - | 371 | 834 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
197.79/197.80 c 159s| 2190k| 2054k| 0 | 0.0 | 642M| 214 | - | 371 | 834 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
198.20/198.26 c 160s| 2200k| 2064k| 0 | 0.0 | 645M| 214 | - | 371 | 765 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
198.69/198.74 c 160s| 2210k| 2074k| 0 | 0.0 | 648M| 214 | - | 371 | 732 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
199.19/199.20 c 160s| 2220k| 2084k| 0 | 0.0 | 651M| 214 | - | 371 | 706 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
199.59/199.66 c 161s| 2230k| 2094k| 0 | 0.0 | 653M| 214 | - | 371 | 684 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
200.09/200.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.09/200.12 c 161s| 2240k| 2104k| 0 | 0.0 | 656M| 214 | - | 371 | 698 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
200.49/200.59 c 161s| 2250k| 2114k| 0 | 0.0 | 659M| 214 | - | 371 | 701 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
200.99/201.06 c 161s| 2260k| 2124k| 0 | 0.0 | 662M| 214 | - | 371 | 695 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
201.49/201.52 c 162s| 2270k| 2134k| 0 | 0.0 | 665M| 214 | - | 371 | 683 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
201.89/201.99 c 162s| 2280k| 2144k| 0 | 0.0 | 668M| 214 | - | 371 | 696 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
202.40/202.44 c 162s| 2290k| 2154k| 0 | 0.0 | 671M| 214 | - | 371 | 684 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
202.89/202.90 c 163s| 2300k| 2164k| 0 | 0.0 | 674M| 214 | - | 371 | 680 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
203.28/203.36 c 163s| 2310k| 2174k| 0 | 0.0 | 676M| 214 | - | 371 | 690 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
203.79/203.84 c 163s| 2320k| 2184k| 0 | 0.0 | 679M| 214 | - | 371 | 673 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
204.19/204.29 c 164s| 2330k| 2194k| 0 | 0.0 | 682M| 214 | - | 371 | 658 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
204.69/204.75 c 164s| 2340k| 2204k| 0 | 0.0 | 685M| 214 | - | 371 | 660 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
205.18/205.21 c 164s| 2350k| 2214k| 0 | 0.0 | 688M| 214 | - | 371 | 674 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
205.60/205.68 c 164s| 2360k| 2224k| 0 | 0.0 | 691M| 214 | - | 371 | 675 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
206.09/206.14 c 165s| 2370k| 2234k| 0 | 0.0 | 694M| 214 | - | 371 | 659 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
206.49/206.59 c 165s| 2380k| 2243k| 0 | 0.0 | 697M| 214 | - | 371 | 651 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
206.99/207.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.99/207.06 c 165s| 2390k| 2253k| 0 | 0.0 | 699M| 214 | - | 371 | 647 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
207.49/207.53 c 166s| 2400k| 2263k| 0 | 0.0 | 702M| 214 | - | 371 | 628 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
207.90/207.99 c 166s| 2410k| 2273k| 0 | 0.0 | 705M| 214 | - | 371 | 636 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
208.39/208.46 c 166s| 2420k| 2283k| 0 | 0.0 | 708M| 214 | - | 371 | 639 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
208.89/208.92 c 166s| 2430k| 2293k| 0 | 0.0 | 711M| 214 | - | 371 | 642 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
209.29/209.38 c 167s| 2440k| 2303k| 0 | 0.0 | 714M| 214 | - | 371 | 617 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
209.79/209.85 c 167s| 2450k| 2313k| 0 | 0.0 | 717M| 214 | - | 371 | 614 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
210.29/210.31 c 167s| 2460k| 2323k| 0 | 0.0 | 720M| 214 | - | 371 | 633 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
210.68/210.78 c 168s| 2470k| 2333k| 0 | 0.0 | 723M| 214 | - | 371 | 625 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
211.20/211.24 c 168s| 2480k| 2343k| 0 | 0.0 | 725M| 214 | - | 371 | 628 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
211.68/211.71 c 168s| 2490k| 2353k| 0 | 0.0 | 728M| 214 | - | 371 | 652 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
212.09/212.17 c 169s| 2500k| 2363k| 0 | 0.0 | 731M| 214 | - | 371 | 627 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
212.59/212.62 c 169s| 2510k| 2373k| 0 | 0.0 | 734M| 214 | - | 371 | 615 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
212.98/213.09 c 169s| 2520k| 2383k| 0 | 0.0 | 737M| 214 | - | 371 | 622 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
213.49/213.54 c 170s| 2530k| 2393k| 0 | 0.0 | 740M| 214 | - | 371 | 640 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
213.89/213.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.89/213.99 c 170s| 2540k| 2403k| 0 | 0.0 | 743M| 214 | - | 371 | 636 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.720000e+02 | Inf
214.09/214.16 o 731
214.09/214.16 c * 170s| 2542k| 2406k| 0 | 0.0 | 744M| 214 | - | 371 | 633 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.310000e+02 | Inf
214.39/214.49 c 170s| 2550k| 2413k| 0 | 0.0 | 746M| 214 | - | 371 | 661 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.310000e+02 | Inf
214.50/214.58 o 376
214.50/214.58 c * 170s| 2551k| 2413k| 0 | 0.0 | 746M| 214 | - | 371 | 680 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.760000e+02 | Inf
214.99/215.02 c 171s| 2560k| 2421k| 0 | 0.0 | 748M| 214 | - | 371 | 681 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.760000e+02 | Inf
215.39/215.49 o 332
215.39/215.49 c * 171s| 2569k| 2428k| 0 | 0.0 | 750M| 214 | - | 371 | 624 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
215.50/215.53 c 171s| 2570k| 2429k| 0 | 0.0 | 750M| 214 | - | 371 | 621 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
215.99/216.08 c 171s| 2580k| 2439k| 0 | 0.0 | 753M| 214 | - | 371 | 785 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
216.59/216.62 c 172s| 2590k| 2449k| 0 | 0.0 | 756M| 214 | - | 371 | 767 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
217.09/217.16 c 172s| 2600k| 2459k| 0 | 0.0 | 759M| 214 | - | 371 | 781 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
217.59/217.67 c 172s| 2610k| 2469k| 0 | 0.0 | 762M| 214 | - | 371 | 735 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
218.09/218.19 c 173s| 2620k| 2478k| 0 | 0.0 | 764M| 214 | - | 371 | 738 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
218.69/218.70 c 173s| 2630k| 2488k| 0 | 0.0 | 767M| 214 | - | 371 | 662 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
219.19/219.21 c 173s| 2640k| 2498k| 0 | 0.0 | 770M| 214 | - | 371 | 675 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
219.69/219.71 c 174s| 2650k| 2508k| 0 | 0.0 | 773M| 214 | - | 371 | 687 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
220.19/220.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.19/220.21 c 174s| 2660k| 2518k| 0 | 0.0 | 776M| 214 | - | 371 | 684 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
220.69/220.71 c 174s| 2670k| 2528k| 0 | 0.0 | 779M| 214 | - | 371 | 666 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
221.18/221.26 c 175s| 2680k| 2538k| 0 | 0.0 | 782M| 214 | - | 371 | 767 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
221.89/221.94 o 235
221.89/221.94 c * 175s| 2688k| 2469k| 0 | 0.0 | 760M| 214 | - | 371 | 903 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 2.350000e+02 | Inf
221.99/222.06 c 175s| 2690k| 2471k| 0 | 0.0 | 760M| 214 | - | 371 | 906 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 2.350000e+02 | Inf
222.89/222.90 c 176s| 2700k| 2480k| 0 | 0.0 | 764M| 214 | - | 371 |1406 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.350000e+02 | Inf
224.89/224.93 o 93
224.89/224.93 c * 178s| 2701k| 1274k| 0 | 0.0 | 399M| 214 | - | 371 |1444 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
225.99/226.01 c 179s| 2710k| 1281k| 0 | 0.0 | 403M| 214 | - | 371 |1109 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
226.89/226.93 o 92
226.89/226.93 c * 180s| 2716k| 1276k| 0 | 0.0 | 405M| 214 | - | 371 |1734 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
226.99/227.05 o 90
226.99/227.05 c * 180s| 2716k| 1228k| 0 | 0.0 | 390M| 214 | - | 371 |1734 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
227.49/227.56 c 180s| 2720k| 1231k| 0 | 0.0 | 392M| 214 | - | 371 |1102 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
227.98/228.01 o 81
227.98/228.01 c * 181s| 2721k| 1074k| 0 | 0.0 | 347M| 214 | - | 371 |1262 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
227.98/228.04 o 79
227.98/228.04 c * 181s| 2721k| 1069k| 0 | 0.0 | 345M| 214 | - | 371 |1262 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
228.29/228.32 o 70
228.29/228.32 c * 181s| 2721k|970053 | 0 | 0.0 | 316M| 214 | - | 371 |1304 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
228.58/228.69 o 69
228.58/228.69 c * 181s| 2724k|968940 | 0 | 0.0 | 316M| 214 | - | 371 |1402 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
228.99/229.09 o 50
228.99/229.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.99/229.09 c * 182s| 2724k|803705 | 0 | 0.0 | 266M| 214 | - | 371 |1482 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
229.19/229.21 o 49
229.19/229.21 c * 182s| 2724k|752137 | 0 | 0.0 | 252M| 214 | - | 371 |1486 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
229.19/229.28 o 47
229.19/229.28 c * 182s| 2725k|739702 | 0 | 0.0 | 248M| 214 | - | 371 |1538 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
229.99/230.08 c 182s| 2730k|742799 | 0 | 0.0 | 250M| 214 | - | 371 |1771 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
232.00/232.06 c 184s| 2740k|749233 | 0 | 0.0 | 256M| 214 | - | 371 |3358 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
234.09/234.19 c 186s| 2750k|755399 | 0 | 0.0 | 260M| 214 | - | 371 |4490 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
236.29/236.35 c 188s| 2760k|761488 | 0 | 0.0 | 264M| 214 | - | 371 |4879 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
238.59/238.68 c 190s| 2770k|767452 | 0 | 0.0 | 268M| 214 | - | 371 |5345 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
240.99/241.03 c 192s| 2780k|773447 | 0 | 0.0 | 272M| 214 | - | 371 |5901 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
243.39/243.46 c 194s| 2790k|779390 | 0 | 0.0 | 277M| 214 | - | 371 |6220 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
245.99/246.00 c 197s| 2800k|785064 | 0 | 0.0 | 281M| 214 | - | 371 |6385 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
248.50/248.56 c 199s| 2810k|790728 | 0 | 0.0 | 285M| 214 | - | 371 |6601 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
251.09/251.17 c 201s| 2820k|796352 | 0 | 0.0 | 289M| 214 | - | 371 |7126 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
253.79/253.84 c 204s| 2830k|801992 | 0 | 0.0 | 293M| 214 | - | 371 |7759 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
256.69/256.79 c 206s| 2840k|807219 | 0 | 0.0 | 297M| 214 | - | 371 |7591 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
259.49/259.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.49/259.52 c 209s| 2850k|812889 | 0 | 0.0 | 302M| 214 | - | 371 |8703 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
262.69/262.75 c 212s| 2860k|817799 | 0 | 0.0 | 306M| 214 | - | 371 |8790 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
265.79/265.88 c 215s| 2870k|822841 | 0 | 0.0 | 310M| 214 | - | 371 |9316 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
269.19/269.29 c 218s| 2880k|827702 | 0 | 0.0 | 314M| 214 | - | 371 | 10k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
273.19/273.27 c 221s| 2890k|831833 | 0 | 0.0 | 319M| 214 | - | 371 | 10k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
277.10/277.13 c 225s| 2900k|836015 | 0 | 0.0 | 324M| 214 | - | 371 | 10k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
280.99/281.01 c 229s| 2910k|840493 | 0 | 0.0 | 329M| 214 | - | 371 | 11k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
284.99/285.03 c 232s| 2920k|844777 | 0 | 0.0 | 334M| 214 | - | 371 | 12k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
289.19/289.25 c 236s| 2930k|848851 | 0 | 0.0 | 338M| 214 | - | 371 | 12k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
293.39/293.46 c 240s| 2940k|853124 | 0 | 0.0 | 343M| 214 | - | 371 | 12k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
297.89/298.00 c 245s| 2950k|856752 | 0 | 0.0 | 347M| 214 | - | 371 | 13k| 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
302.29/302.34 c 249s| 2960k|860784 | 0 | 0.0 | 352M| 214 | - | 371 | 13k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
306.89/306.94 c 253s| 2970k|864408 | 0 | 0.0 | 357M| 214 | - | 371 | 13k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
311.59/311.68 c 257s| 2980k|867979 | 0 | 0.0 | 362M| 214 | - | 371 | 14k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
316.59/316.63 c 262s| 2990k|871265 | 0 | 0.0 | 367M| 214 | - | 371 | 15k| 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
321.89/321.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.89/321.99 c 267s| 3000k|874204 | 0 | 0.0 | 372M| 214 | - | 371 | 15k| 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
327.49/327.51 c 272s| 3010k|876892 | 0 | 0.0 | 376M| 214 | - | 371 | 16k| 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
328.99/329.07 o 44
328.99/329.07 c * 274s| 3012k|868809 | 0 | 0.0 | 374M| 214 | - | 371 | 16k| 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
333.60/333.67 c 278s| 3020k|870037 | 0 | 0.0 | 378M| 214 | - | 371 | 16k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
339.69/339.74 c 284s| 3030k|872530 | 0 | 0.0 | 383M| 214 | - | 371 | 17k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
346.49/346.53 c 290s| 3040k|874109 | 0 | 0.0 | 388M| 214 | - | 371 | 17k| 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
353.49/353.58 c 297s| 3050k|875496 | 0 | 0.0 | 392M| 214 | - | 371 | 18k| 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
360.59/360.66 c 304s| 3060k|876697 | 0 | 0.0 | 397M| 214 | - | 371 | 19k| 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
368.40/368.48 c 311s| 3070k|877116 | 0 | 0.0 | 402M| 214 | - | 371 | 19k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
377.20/377.25 c 320s| 3080k|876712 | 0 | 0.0 | 407M| 214 | - | 371 | 20k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
386.00/386.05 c 328s| 3090k|876356 | 0 | 0.0 | 411M| 214 | - | 371 | 21k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
395.39/395.46 c 337s| 3100k|875513 | 0 | 0.0 | 416M| 214 | - | 371 | 22k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
406.30/406.34 c 348s| 3110k|873153 | 0 | 0.0 | 421M| 214 | - | 371 | 23k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
417.90/417.92 c 359s| 3120k|870161 | 0 | 0.0 | 425M| 214 | - | 371 | 24k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
429.60/429.68 c 370s| 3130k|866759 | 0 | 0.0 | 429M| 214 | - | 371 | 25k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
442.79/442.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.79/442.87 c 383s| 3140k|862004 | 0 | 0.0 | 433M| 214 | - | 371 | 26k| 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
456.89/456.96 c 396s| 3150k|856318 | 0 | 0.0 | 437M| 214 | - | 371 | 28k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
472.79/472.90 c 412s| 3160k|848871 | 0 | 0.0 | 440M| 214 | - | 371 | 30k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
491.09/491.16 c 430s| 3170k|838593 | 0 | 0.0 | 444M| 214 | - | 371 | 31k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
511.99/512.02 c 450s| 3180k|824297 | 0 | 0.0 | 446M| 214 | - | 371 | 32k| 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
534.29/534.37 c 472s| 3190k|799186 | 0 | 0.0 | 442M| 214 | - | 371 | 32k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
539.00/539.08 c 476s| 3200k|799400 | 0 | 0.0 | 436M| 214 | - | 371 |7550 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
540.99/541.10 c 478s| 3210k|806742 | 0 | 0.0 | 440M| 214 | - | 371 |8941 | 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
543.29/543.35 c 480s| 3220k|813713 | 0 | 0.0 | 445M| 214 | - | 371 |9951 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
545.89/545.90 c 482s| 3230k|820248 | 0 | 0.0 | 449M| 214 | - | 371 | 10k| 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
548.70/548.73 c 485s| 3240k|826380 | 0 | 0.0 | 453M| 214 | - | 371 | 11k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
552.09/552.12 c 488s| 3250k|832023 | 0 | 0.0 | 458M| 214 | - | 371 | 12k| 0 | 0 | 0 | 971k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
555.79/555.86 c 491s| 3260k|837106 | 0 | 0.0 | 463M| 214 | - | 371 | 12k| 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
559.79/559.89 c 495s| 3270k|841746 | 0 | 0.0 | 469M| 214 | - | 371 | 13k| 0 | 0 | 0 | 994k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
564.69/564.74 c 499s| 3280k|845332 | 0 | 0.0 | 475M| 214 | - | 371 | 14k| 0 | 0 | 0 |1006k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
570.10/570.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.10/570.18 c 505s| 3290k|847531 | 0 | 0.0 | 480M| 214 | - | 371 | 15k| 0 | 0 | 0 |1020k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
576.30/576.33 c 510s| 3300k|847884 | 0 | 0.0 | 486M| 214 | - | 371 | 17k| 0 | 0 | 0 |1035k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
580.19/580.28 c 514s| 3310k|850823 | 0 | 0.0 | 486M| 214 | - | 371 |3416 | 0 | 0 | 0 |1044k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
581.69/581.77 c 515s| 3320k|858523 | 0 | 0.0 | 490M| 214 | - | 371 |4386 | 0 | 0 | 0 |1051k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
583.79/583.87 c 517s| 3330k|864993 | 0 | 0.0 | 495M| 214 | - | 371 |6037 | 0 | 0 | 0 |1061k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
586.30/586.39 c 519s| 3340k|870724 | 0 | 0.0 | 501M| 214 | - | 371 |7798 | 0 | 0 | 0 |1071k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
589.70/589.79 c 522s| 3350k|875244 | 0 | 0.0 | 506M| 214 | - | 371 |9961 | 0 | 0 | 0 |1082k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
593.90/593.93 c 526s| 3360k|877692 | 0 | 0.0 | 510M| 214 | - | 371 |5414 | 0 | 0 | 0 |1094k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
595.70/595.70 c 528s| 3370k|884672 | 0 | 0.0 | 514M| 214 | - | 371 |4202 | 0 | 0 | 0 |1102k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
598.40/598.43 c 530s| 3380k|889034 | 0 | 0.0 | 520M| 214 | - | 371 |5633 | 0 | 0 | 0 |1113k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
601.99/602.07 c 534s| 3390k|891522 | 0 | 0.0 | 525M| 214 | - | 371 |5668 | 0 | 0 | 0 |1125k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
605.59/605.60 c 537s| 3400k|895577 | 0 | 0.0 | 530M| 214 | - | 371 |7282 | 0 | 0 | 0 |1138k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
609.19/609.24 c 540s| 3410k|899806 | 0 | 0.0 | 535M| 214 | - | 371 |8989 | 0 | 0 | 0 |1152k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
612.79/612.88 c 544s| 3420k|904351 | 0 | 0.0 | 540M| 214 | - | 371 |8642 | 0 | 0 | 0 |1164k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
616.29/616.30 c 547s| 3430k|909124 | 0 | 0.0 | 545M| 214 | - | 371 |8867 | 0 | 0 | 0 |1176k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
619.90/619.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.90/619.92 c 550s| 3440k|913529 | 0 | 0.0 | 549M| 214 | - | 371 |9095 | 0 | 0 | 0 |1187k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
623.70/623.73 c 554s| 3450k|917813 | 0 | 0.0 | 553M| 214 | - | 371 |9466 | 0 | 0 | 0 |1199k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
627.40/627.43 c 557s| 3460k|922324 | 0 | 0.0 | 558M| 214 | - | 371 | 10k| 0 | 0 | 0 |1211k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
631.19/631.28 c 561s| 3470k|926726 | 0 | 0.0 | 562M| 214 | - | 371 |9869 | 0 | 0 | 0 |1223k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
635.00/635.01 c 564s| 3480k|931588 | 0 | 0.0 | 566M| 214 | - | 371 | 10k| 0 | 0 | 0 |1236k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
639.00/639.07 c 568s| 3490k|935609 | 0 | 0.0 | 571M| 214 | - | 371 | 10k| 0 | 0 | 0 |1248k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
643.00/643.08 c 572s| 3500k|940212 | 0 | 0.0 | 575M| 214 | - | 371 | 10k| 0 | 0 | 0 |1261k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
647.40/647.40 c 576s| 3510k|944034 | 0 | 0.0 | 580M| 214 | - | 371 | 11k| 0 | 0 | 0 |1275k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
651.80/651.83 c 580s| 3520k|948407 | 0 | 0.0 | 584M| 214 | - | 371 | 11k| 0 | 0 | 0 |1288k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
656.20/656.25 c 584s| 3530k|952249 | 0 | 0.0 | 588M| 214 | - | 371 | 11k| 0 | 0 | 0 |1302k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
660.49/660.56 c 588s| 3540k|956830 | 0 | 0.0 | 593M| 214 | - | 371 | 13k| 0 | 0 | 0 |1316k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
665.29/665.34 c 592s| 3550k|960401 | 0 | 0.0 | 596M| 214 | - | 371 | 11k| 0 | 0 | 0 |1329k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
669.69/669.79 c 597s| 3560k|964737 | 0 | 0.0 | 601M| 214 | - | 371 | 13k| 0 | 0 | 0 |1344k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
674.49/674.53 c 601s| 3570k|968912 | 0 | 0.0 | 605M| 214 | - | 371 | 11k| 0 | 0 | 0 |1356k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
679.19/679.28 c 606s| 3580k|972734 | 0 | 0.0 | 609M| 214 | - | 371 | 12k| 0 | 0 | 0 |1370k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
683.79/683.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.79/683.86 c 610s| 3590k|976950 | 0 | 0.0 | 614M| 214 | - | 371 | 14k| 0 | 0 | 0 |1385k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
689.29/689.37 c 615s| 3600k|980270 | 0 | 0.0 | 617M| 214 | - | 371 | 12k| 0 | 0 | 0 |1399k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
694.10/694.13 c 620s| 3610k|984303 | 0 | 0.0 | 621M| 214 | - | 371 | 13k| 0 | 0 | 0 |1413k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
698.60/698.68 c 624s| 3620k|988657 | 0 | 0.0 | 626M| 214 | - | 371 | 14k| 0 | 0 | 0 |1427k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
704.29/704.31 c 629s| 3630k|991896 | 0 | 0.0 | 630M| 214 | - | 371 | 12k| 0 | 0 | 0 |1441k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
709.30/709.39 c 634s| 3640k|995760 | 0 | 0.0 | 634M| 214 | - | 371 | 13k| 0 | 0 | 0 |1456k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
714.39/714.45 c 639s| 3650k|999678 | 0 | 0.0 | 639M| 214 | - | 371 | 14k| 0 | 0 | 0 |1470k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
720.29/720.37 c 645s| 3660k| 1002k| 0 | 0.0 | 642M| 214 | - | 371 | 13k| 0 | 0 | 0 |1485k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
725.39/725.40 c 649s| 3670k| 1006k| 0 | 0.0 | 646M| 214 | - | 371 | 14k| 0 | 0 | 0 |1499k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
730.70/730.77 c 654s| 3680k| 1010k| 0 | 0.0 | 651M| 214 | - | 371 | 15k| 0 | 0 | 0 |1514k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
736.60/736.66 c 660s| 3690k| 1013k| 0 | 0.0 | 655M| 214 | - | 371 | 14k| 0 | 0 | 0 |1528k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
742.40/742.42 c 666s| 3700k| 1017k| 0 | 0.0 | 659M| 214 | - | 371 | 14k| 0 | 0 | 0 |1543k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
747.79/747.85 c 671s| 3710k| 1020k| 0 | 0.0 | 663M| 214 | - | 371 | 15k| 0 | 0 | 0 |1558k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
753.40/753.43 c 676s| 3720k| 1024k| 0 | 0.0 | 668M| 214 | - | 371 | 16k| 0 | 0 | 0 |1573k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
760.20/760.22 c 683s| 3730k| 1026k| 0 | 0.0 | 671M| 214 | - | 371 | 15k| 0 | 0 | 0 |1588k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
765.60/765.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.60/765.61 c 688s| 3740k| 1030k| 0 | 0.0 | 675M| 214 | - | 371 | 15k| 0 | 0 | 0 |1603k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
771.00/771.07 c 693s| 3750k| 1034k| 0 | 0.0 | 680M| 214 | - | 371 | 16k| 0 | 0 | 0 |1618k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
777.80/777.88 c 699s| 3760k| 1037k| 0 | 0.0 | 683M| 214 | - | 371 | 15k| 0 | 0 | 0 |1632k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
784.09/784.13 c 705s| 3770k| 1040k| 0 | 0.0 | 687M| 214 | - | 371 | 15k| 0 | 0 | 0 |1648k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
789.60/789.62 c 711s| 3780k| 1044k| 0 | 0.0 | 692M| 214 | - | 371 | 16k| 0 | 0 | 0 |1663k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
795.49/795.51 c 716s| 3790k| 1047k| 0 | 0.0 | 696M| 214 | - | 371 | 17k| 0 | 0 | 0 |1677k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
802.90/802.90 c 723s| 3800k| 1050k| 0 | 0.0 | 700M| 214 | - | 371 | 16k| 0 | 0 | 0 |1692k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
809.29/809.34 c 730s| 3810k| 1053k| 0 | 0.0 | 704M| 214 | - | 371 | 16k| 0 | 0 | 0 |1708k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
815.00/815.01 c 735s| 3820k| 1057k| 0 | 0.0 | 709M| 214 | - | 371 | 18k| 0 | 0 | 0 |1722k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
822.99/823.02 c 743s| 3830k| 1060k| 0 | 0.0 | 712M| 214 | - | 371 | 17k| 0 | 0 | 0 |1738k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
829.99/830.02 c 749s| 3840k| 1063k| 0 | 0.0 | 716M| 214 | - | 371 | 17k| 0 | 0 | 0 |1754k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
836.19/836.22 c 755s| 3850k| 1066k| 0 | 0.0 | 720M| 214 | - | 371 | 18k| 0 | 0 | 0 |1769k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
843.60/843.68 c 763s| 3860k| 1069k| 0 | 0.0 | 724M| 214 | - | 371 | 18k| 0 | 0 | 0 |1783k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
851.49/851.53 c 770s| 3870k| 1072k| 0 | 0.0 | 728M| 214 | - | 371 | 19k| 0 | 0 | 0 |1800k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
857.79/857.80 c 776s| 3880k| 1075k| 0 | 0.0 | 731M| 214 | - | 371 | 18k| 0 | 0 | 0 |1814k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
864.19/864.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
864.19/864.28 c 782s| 3890k| 1079k| 0 | 0.0 | 736M| 214 | - | 371 | 19k| 0 | 0 | 0 |1827k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
872.80/872.87 c 791s| 3900k| 1081k| 0 | 0.0 | 739M| 214 | - | 371 | 19k| 0 | 0 | 0 |1843k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
879.49/879.59 c 797s| 3910k| 1085k| 0 | 0.0 | 743M| 214 | - | 371 | 19k| 0 | 0 | 0 |1858k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
886.09/886.17 c 803s| 3920k| 1088k| 0 | 0.0 | 748M| 214 | - | 371 | 21k| 0 | 0 | 0 |1872k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
896.00/896.07 c 813s| 3930k| 1090k| 0 | 0.0 | 751M| 214 | - | 371 | 20k| 0 | 0 | 0 |1889k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
904.10/904.19 c 821s| 3940k| 1093k| 0 | 0.0 | 754M| 214 | - | 371 | 20k| 0 | 0 | 0 |1904k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
911.10/911.13 c 828s| 3950k| 1097k| 0 | 0.0 | 759M| 214 | - | 371 | 22k| 0 | 0 | 0 |1918k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
920.50/920.57 c 837s| 3960k| 1099k| 0 | 0.0 | 762M| 214 | - | 371 | 21k| 0 | 0 | 0 |1933k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
929.60/929.62 c 845s| 3970k| 1101k| 0 | 0.0 | 766M| 214 | - | 371 | 22k| 0 | 0 | 0 |1950k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
937.50/937.59 c 853s| 3980k| 1104k| 0 | 0.0 | 770M| 214 | - | 371 | 23k| 0 | 0 | 0 |1965k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
947.80/947.80 c 863s| 3990k| 1106k| 0 | 0.0 | 773M| 214 | - | 371 | 23k| 0 | 0 | 0 |1981k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
957.60/957.65 c 873s| 4000k| 1108k| 0 | 0.0 | 777M| 214 | - | 371 | 24k| 0 | 0 | 0 |1998k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
966.59/966.60 c 881s| 4010k| 1111k| 0 | 0.0 | 781M| 214 | - | 371 | 25k| 0 | 0 | 0 |2012k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
978.19/978.28 c 893s| 4020k| 1112k| 0 | 0.0 | 784M| 214 | - | 371 | 25k| 0 | 0 | 0 |2030k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
988.60/988.66 c 903s| 4030k| 1115k| 0 | 0.0 | 787M| 214 | - | 371 | 25k| 0 | 0 | 0 |2046k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
999.70/999.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.70/999.75 c 914s| 4040k| 1116k| 0 | 0.0 | 791M| 214 | - | 371 | 27k| 0 | 0 | 0 |2062k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1011.80/1011.85 c 925s| 4050k| 1118k| 0 | 0.0 | 794M| 214 | - | 371 | 28k| 0 | 0 | 0 |2080k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1022.80/1022.83 c 936s| 4060k| 1120k| 0 | 0.0 | 798M| 214 | - | 371 | 29k| 0 | 0 | 0 |2096k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1035.80/1035.85 c 949s| 4070k| 1121k| 0 | 0.0 | 802M| 214 | - | 371 | 29k| 0 | 0 | 0 |2113k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1048.50/1048.50 c 961s| 4080k| 1123k| 0 | 0.0 | 805M| 214 | - | 371 | 30k| 0 | 0 | 0 |2130k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1062.80/1062.85 c 975s| 4090k| 1123k| 0 | 0.0 | 808M| 214 | - | 371 | 31k| 0 | 0 | 0 |2148k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1077.00/1077.08 c 989s| 4100k| 1125k| 0 | 0.0 | 812M| 214 | - | 371 | 32k| 0 | 0 | 0 |2166k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1091.60/1091.67 c 1003s| 4110k| 1126k| 0 | 0.0 | 815M| 214 | - | 371 | 33k| 0 | 0 | 0 |2184k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1106.60/1106.66 c 1018s| 4120k| 1126k| 0 | 0.0 | 819M| 214 | - | 371 | 35k| 0 | 0 | 0 |2201k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1121.71/1121.78 c 1033s| 4130k| 1128k| 0 | 0.0 | 822M| 214 | - | 371 | 36k| 0 | 0 | 0 |2219k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1139.71/1139.74 c 1050s| 4140k| 1128k| 0 | 0.0 | 826M| 214 | - | 371 | 37k| 0 | 0 | 0 |2238k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1157.70/1157.71 c 1068s| 4150k| 1128k| 0 | 0.0 | 828M| 214 | - | 371 | 38k| 0 | 0 | 0 |2257k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1176.01/1176.09 c 1086s| 4160k| 1128k| 0 | 0.0 | 832M| 214 | - | 371 | 40k| 0 | 0 | 0 |2276k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1195.61/1195.63 c 1105s| 4170k| 1128k| 0 | 0.0 | 835M| 214 | - | 371 | 41k| 0 | 0 | 0 |2296k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1215.20/1215.27 c 1124s| 4180k| 1128k| 0 | 0.0 | 839M| 214 | - | 371 | 42k| 0 | 0 | 0 |2315k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1236.60/1236.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.60/1236.64 c 1145s| 4190k| 1127k| 0 | 0.0 | 842M| 214 | - | 371 | 44k| 0 | 0 | 0 |2335k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1258.00/1258.04 c 1166s| 4200k| 1127k| 0 | 0.0 | 845M| 214 | - | 371 | 43k| 0 | 0 | 0 |2354k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1279.32/1279.34 c 1187s| 4210k| 1126k| 0 | 0.0 | 848M| 214 | - | 371 | 45k| 0 | 0 | 0 |2373k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1302.01/1302.07 c 1210s| 4220k| 1125k| 0 | 0.0 | 851M| 214 | - | 371 | 46k| 0 | 0 | 0 |2393k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1325.81/1325.89 c 1233s| 4230k| 1124k| 0 | 0.0 | 854M| 214 | - | 371 | 48k| 0 | 0 | 0 |2413k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1351.51/1351.51 c 1259s| 4240k| 1122k| 0 | 0.0 | 857M| 214 | - | 371 | 48k| 0 | 0 | 0 |2433k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1378.11/1378.13 c 1285s| 4250k| 1119k| 0 | 0.0 | 860M| 214 | - | 371 | 49k| 0 | 0 | 0 |2454k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1405.22/1405.25 c 1312s| 4260k| 1116k| 0 | 0.0 | 862M| 214 | - | 371 | 50k| 0 | 0 | 0 |2474k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1435.02/1435.08 c 1341s| 4270k| 1112k| 0 | 0.0 | 864M| 214 | - | 371 | 52k| 0 | 0 | 0 |2496k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1467.02/1467.01 c 1372s| 4280k| 1104k| 0 | 0.0 | 864M| 214 | - | 371 | 53k| 0 | 0 | 0 |2518k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1491.81/1491.87 c 1397s| 4290k| 1089k| 0 | 0.0 | 850M| 214 | - | 371 | 23k| 0 | 0 | 0 |2534k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1497.21/1497.23 c 1402s| 4300k| 1096k| 0 | 0.0 | 852M| 214 | - | 371 | 15k| 0 | 0 | 0 |2545k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1501.72/1501.78 c 1406s| 4310k| 1102k| 0 | 0.0 | 856M| 214 | - | 371 | 14k| 0 | 0 | 0 |2557k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1506.31/1506.34 c 1411s| 4320k| 1108k| 0 | 0.0 | 860M| 214 | - | 371 | 14k| 0 | 0 | 0 |2569k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1510.81/1510.81 c 1415s| 4330k| 1115k| 0 | 0.0 | 864M| 214 | - | 371 | 14k| 0 | 0 | 0 |2582k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1515.42/1515.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.42/1515.48 c 1419s| 4340k| 1120k| 0 | 0.0 | 869M| 214 | - | 371 | 16k| 0 | 0 | 0 |2594k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1520.42/1520.41 c 1424s| 4350k| 1126k| 0 | 0.0 | 874M| 214 | - | 371 | 17k| 0 | 0 | 0 |2607k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1525.81/1525.86 c 1429s| 4360k| 1132k| 0 | 0.0 | 878M| 214 | - | 371 | 18k| 0 | 0 | 0 |2620k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1531.41/1531.49 c 1435s| 4370k| 1137k| 0 | 0.0 | 883M| 214 | - | 371 | 18k| 0 | 0 | 0 |2634k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1537.01/1537.04 c 1440s| 4380k| 1142k| 0 | 0.0 | 887M| 214 | - | 371 | 18k| 0 | 0 | 0 |2648k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1542.82/1542.89 c 1445s| 4390k| 1148k| 0 | 0.0 | 892M| 214 | - | 371 | 18k| 0 | 0 | 0 |2661k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1548.72/1548.72 c 1451s| 4400k| 1153k| 0 | 0.0 | 896M| 214 | - | 371 | 19k| 0 | 0 | 0 |2675k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1555.22/1555.20 c 1457s| 4410k| 1157k| 0 | 0.0 | 901M| 214 | - | 371 | 19k| 0 | 0 | 0 |2690k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1561.81/1561.81 c 1464s| 4420k| 1161k| 0 | 0.0 | 905M| 214 | - | 371 | 20k| 0 | 0 | 0 |2705k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1568.42/1568.44 c 1470s| 4430k| 1166k| 0 | 0.0 | 910M| 214 | - | 371 | 20k| 0 | 0 | 0 |2720k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1575.12/1575.11 c 1476s| 4440k| 1170k| 0 | 0.0 | 914M| 214 | - | 371 | 20k| 0 | 0 | 0 |2734k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1581.62/1581.69 c 1483s| 4450k| 1174k| 0 | 0.0 | 918M| 214 | - | 371 | 21k| 0 | 0 | 0 |2749k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1588.82/1588.89 c 1490s| 4460k| 1178k| 0 | 0.0 | 923M| 214 | - | 371 | 21k| 0 | 0 | 0 |2764k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1596.32/1596.39 c 1497s| 4470k| 1182k| 0 | 0.0 | 927M| 214 | - | 371 | 22k| 0 | 0 | 0 |2779k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1604.12/1604.15 c 1504s| 4480k| 1185k| 0 | 0.0 | 931M| 214 | - | 371 | 23k| 0 | 0 | 0 |2795k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1611.92/1611.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.92/1611.96 c 1512s| 4490k| 1189k| 0 | 0.0 | 935M| 214 | - | 371 | 25k| 0 | 0 | 0 |2810k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1620.92/1620.94 c 1521s| 4500k| 1192k| 0 | 0.0 | 940M| 214 | - | 371 | 27k| 0 | 0 | 0 |2826k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1630.32/1630.31 c 1530s| 4510k| 1195k| 0 | 0.0 | 944M| 214 | - | 371 | 29k| 0 | 0 | 0 |2842k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1640.42/1640.40 c 1539s| 4520k| 1198k| 0 | 0.0 | 948M| 214 | - | 371 | 32k| 0 | 0 | 0 |2858k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1651.72/1651.78 c 1551s| 4530k| 1200k| 0 | 0.0 | 952M| 214 | - | 371 | 34k| 0 | 0 | 0 |2874k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1664.02/1664.04 c 1562s| 4540k| 1202k| 0 | 0.0 | 956M| 214 | - | 371 | 37k| 0 | 0 | 0 |2892k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1677.02/1677.04 c 1575s| 4550k| 1204k| 0 | 0.0 | 961M| 214 | - | 371 | 39k| 0 | 0 | 0 |2909k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1692.62/1692.66 c 1590s| 4560k| 1205k| 0 | 0.0 | 964M| 214 | - | 371 | 41k| 0 | 0 | 0 |2927k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1699.53/1699.56 c 1597s| 4570k| 1212k| 0 | 0.0 | 959M| 214 | - | 371 | 10k| 0 | 0 | 0 |2936k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1701.52/1701.57 c 1599s| 4580k| 1220k| 0 | 0.0 | 962M| 214 | - | 371 |8166 | 0 | 0 | 0 |2943k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1703.52/1703.56 c 1601s| 4590k| 1228k| 0 | 0.0 | 967M| 214 | - | 371 |8448 | 0 | 0 | 0 |2949k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1705.72/1705.74 c 1602s| 4600k| 1235k| 0 | 0.0 | 971M| 214 | - | 371 |9010 | 0 | 0 | 0 |2957k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1708.13/1708.12 c 1605s| 4610k| 1243k| 0 | 0.0 | 976M| 214 | - | 371 | 10k| 0 | 0 | 0 |2965k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1710.82/1710.89 c 1607s| 4620k| 1250k| 0 | 0.0 | 980M| 214 | - | 371 | 10k| 0 | 0 | 0 |2974k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1713.83/1713.88 c 1610s| 4630k| 1257k| 0 | 0.0 | 985M| 214 | - | 371 | 11k| 0 | 0 | 0 |2984k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1717.13/1717.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.13/1717.16 c 1613s| 4640k| 1263k| 0 | 0.0 | 989M| 214 | - | 371 | 12k| 0 | 0 | 0 |2995k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1721.03/1721.06 c 1617s| 4650k| 1269k| 0 | 0.0 | 994M| 214 | - | 371 | 12k| 0 | 0 | 0 |3007k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1724.92/1724.99 c 1620s| 4660k| 1275k| 0 | 0.0 | 998M| 214 | - | 371 | 11k| 0 | 0 | 0 |3020k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1728.62/1728.65 c 1624s| 4670k| 1281k| 0 | 0.0 |1002M| 214 | - | 371 | 11k| 0 | 0 | 0 |3031k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1732.73/1732.72 c 1628s| 4680k| 1286k| 0 | 0.0 |1007M| 214 | - | 371 | 12k| 0 | 0 | 0 |3044k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1737.02/1737.02 c 1632s| 4690k| 1292k| 0 | 0.0 |1011M| 214 | - | 371 | 12k| 0 | 0 | 0 |3056k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1741.62/1741.67 c 1636s| 4700k| 1297k| 0 | 0.0 |1016M| 214 | - | 371 | 13k| 0 | 0 | 0 |3070k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1746.83/1746.82 c 1641s| 4710k| 1301k| 0 | 0.0 |1021M| 214 | - | 371 | 14k| 0 | 0 | 0 |3083k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1752.32/1752.36 c 1646s| 4720k| 1306k| 0 | 0.0 |1025M| 214 | - | 371 | 15k| 0 | 0 | 0 |3098k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1758.12/1758.13 c 1652s| 4730k| 1310k| 0 | 0.0 |1030M| 214 | - | 371 | 16k| 0 | 0 | 0 |3112k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1764.12/1764.20 c 1658s| 4740k| 1314k| 0 | 0.0 |1035M| 214 | - | 371 | 17k| 0 | 0 | 0 |3126k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1770.93/1770.98 c 1664s| 4750k| 1318k| 0 | 0.0 |1040M| 214 | - | 371 | 19k| 0 | 0 | 0 |3141k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1778.52/1778.57 c 1671s| 4760k| 1321k| 0 | 0.0 |1044M| 214 | - | 371 | 20k| 0 | 0 | 0 |3158k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1786.92/1786.90 c 1679s| 4770k| 1323k| 0 | 0.0 |1049M| 214 | - | 371 | 21k| 0 | 0 | 0 |3174k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1791.12/1791.12 o 33
1791.12/1791.12 c *1684s| 4774k| 1226k| 0 | 0.0 | 947M| 214 | - | 371 | 22k| 0 | 0 | 0 |3181k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1797.13/1797.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1797.13/1797.13 c 1689s| 4780k| 1226k| 0 | 0.0 | 946M| 214 | - | 371 | 12k| 0 | 0 | 0 |3190k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1691.96
1800.03/1800.00 c Solving Nodes : 4789957
1800.03/1800.00 c Primal Bound : +3.30000000000000e+01 (20 solutions)
1800.03/1800.00 c Dual Bound : +1.00000000000000e+00
1800.03/1800.00 c Gap : 3200.00 %
1800.03/1800.00 s SATISFIABLE
1800.03/1800.00 v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148
1800.03/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.03/1800.00 v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106
1800.03/1800.00 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.03/1800.00 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.03/1800.00 v -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1800.03/1800.00 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
1800.03/1800.00 v -x4 -x3 -x2 x1
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1691.96
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2694134-1277923734.wbo
1800.03/1800.00 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
1800.03/1800.00 c Constraints : 203 initial, 203 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2694134-1277923734.wbo
1800.03/1800.00 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
1800.03/1800.00 c Constraints : 202 initial, 53492 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 101 0 1 0 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 3 - - 6 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 101 0 8528961 0 4165348 18316 3675520 0 0 0
1800.03/1800.00 c linear : 101 0 9051377 0 4267134 648912 31992159 0 0 0
1800.03/1800.00 c logicor : 0+ 0 3436245 0 0 100503 1688652 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 255879 0 0 0 7470 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 4267149 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 12.81 0.00 4.36 0.00 8.45
1800.03/1800.00 c linear : 175.70 0.00 175.51 0.00 0.19
1800.03/1800.00 c logicor : 699.93 0.00 699.93 0.00 0.00
1800.03/1800.00 c bounddisjunction : 0.47 0.00 0.47 0.00 0.00
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 0.00 2 0 0
1800.03/1800.00 c rootredcost : 0.01 0 0 0
1800.03/1800.00 c pseudoobj : 28.94 9084771 15252 3294015
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 50.92 764660 764504 4443050 27.8 635412 14.0 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.01 230 230 1209 25.3 221 13.4 -
1800.03/1800.00 c applied globally : - - - 3103903 18.1 - - -
1800.03/1800.00 c applied locally : - - - 94716 38.6 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 44.39 4267132 0 0 0 0 8534264
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 3.74 - 17
1800.03/1800.00 c oneopt : 0.07 0 0
1800.03/1800.00 c trivial : 0.00 2 2
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.00 0 0
1800.03/1800.00 c trysol : 0.02 1 1
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 4789957
1800.03/1800.00 c nodes (total) : 4789957
1800.03/1800.00 c nodes left : 1233517
1800.03/1800.00 c max depth : 214
1800.03/1800.00 c max depth (total): 214
1800.03/1800.00 c backtracks : 650789 (13.6%)
1800.03/1800.00 c delayed cutoffs : 561627
1800.03/1800.00 c repropagations : 2330264 (10953856 domain reductions, 260405 cutoffs)
1800.03/1800.00 c avg switch length: 13.59
1800.03/1800.00 c switching time : 535.03
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 20 (18 improvements)
1800.03/1800.00 c First Solution : +4.94300000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.03/1800.00 c Primal Bound : +3.30000000000000e+01 (in run 1, after 4774197 nodes, 1683.17 seconds, depth 83, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +1.00000000000000e+00
1800.03/1800.00 c Gap : 3200.00 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
OK 32
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694134-1277923734/watcher-2694134-1277923734 -o /tmp/evaluation-result-2694134-1277923734/solver-2694134-1277923734 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694134-1277923734.wbo -t 1800 -m 3800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.13 2.07 2.02 3/196 18661 /proc/meminfo: memFree=30750016/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=8256 CPUtime=0 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 1546 0 0 0 0 0 0 0 22 0 1 0 133668840 8454144 1469 4089446400 4194304 7136930 140736785816016 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/18661/statm: 2064 1470 275 719 0 1343 0 [startup+0.071188 s] /proc/loadavg: 2.13 2.07 2.02 3/196 18661 /proc/meminfo: memFree=30750016/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=13468 CPUtime=0.06 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 3341 0 0 0 4 2 0 0 23 0 1 0 133668840 13791232 2654 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 3367 2654 390 719 0 2646 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13468 [startup+0.10017 s] /proc/loadavg: 2.13 2.07 2.02 3/196 18661 /proc/meminfo: memFree=30750016/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=13732 CPUtime=0.09 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 3405 0 0 0 7 2 0 0 23 0 1 0 133668840 14061568 2718 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 3433 2718 390 719 0 2712 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13732 [startup+0.30014 s] /proc/loadavg: 2.13 2.07 2.02 3/196 18661 /proc/meminfo: memFree=30750016/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=16372 CPUtime=0.29 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 4079 0 0 0 23 6 0 0 23 0 1 0 133668840 16764928 3392 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 4093 3392 390 719 0 3372 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16372 [startup+0.701072 s] /proc/loadavg: 2.13 2.07 2.02 3/196 18661 /proc/meminfo: memFree=30750016/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=19204 CPUtime=0.69 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 4784 0 0 0 56 13 0 0 25 0 1 0 133668840 19664896 4097 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 4801 4097 390 719 0 4080 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19204 [startup+1.50092 s] /proc/loadavg: 2.13 2.07 2.02 3/197 18662 /proc/meminfo: memFree=30733888/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=22164 CPUtime=1.49 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 5516 0 0 0 128 21 0 0 25 0 1 0 133668840 22695936 4829 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 5541 4829 390 719 0 4820 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22164 [startup+3.10062 s] /proc/loadavg: 2.13 2.07 2.02 3/197 18662 /proc/meminfo: memFree=30729720/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=28648 CPUtime=3.09 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 7164 0 0 0 265 44 0 0 25 0 1 0 133668840 29335552 6477 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 7162 6477 390 719 0 6441 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28648 [startup+6.30105 s] /proc/loadavg: 2.12 2.07 2.02 4/197 18662 /proc/meminfo: memFree=30719296/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=37988 CPUtime=6.29 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 9534 0 0 0 554 75 0 0 25 0 1 0 133668840 38899712 8847 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 9497 8847 390 719 0 8776 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37988 [startup+12.7009 s] /proc/loadavg: 2.11 2.06 2.02 3/197 18662 /proc/meminfo: memFree=30708060/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=48260 CPUtime=12.69 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 12121 0 0 0 1146 123 0 0 25 0 1 0 133668840 49418240 11434 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 12065 11434 390 719 0 11344 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48260 [startup+25.5005 s] /proc/loadavg: 2.08 2.06 2.01 3/197 18662 /proc/meminfo: memFree=30661152/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=95780 CPUtime=25.49 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 23912 0 0 0 2172 377 0 0 25 0 1 0 133668840 98078720 23225 4089446400 4194304 7136930 140736785816016 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18661/statm: 23945 23225 390 719 0 23224 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 95780 [startup+51.1009 s] /proc/loadavg: 2.05 2.05 2.01 3/197 18663 /proc/meminfo: memFree=30636820/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=118080 CPUtime=51.09 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 29394 0 0 0 4641 468 0 0 25 0 1 0 133668840 120913920 28707 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18661/statm: 29520 28707 390 719 0 28799 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 118080 [startup+102.307 s] /proc/loadavg: 2.02 2.04 2.01 3/197 18664 /proc/meminfo: memFree=30346328/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=422324 CPUtime=102.3 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 101976 0 0 0 8152 2078 0 0 25 0 1 0 133668840 432459776 101289 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18661/statm: 105581 101289 390 719 0 104860 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 422324 [startup+162.301 s] /proc/loadavg: 2.01 2.03 2.00 3/197 18666 /proc/meminfo: memFree=30063312/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=689768 CPUtime=162.29 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 172250 0 0 0 12601 3628 0 0 25 0 1 0 133668840 706322432 171563 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18661/statm: 172442 171563 390 719 0 171721 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 689768 [startup+222.301 s] /proc/loadavg: 2.00 2.03 2.00 3/197 18668 /proc/meminfo: memFree=29881480/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=888268 CPUtime=222.29 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 215841 0 0 0 17557 4672 0 0 25 0 1 0 133668840 909586432 215154 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 222067 215154 391 719 0 221346 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 888268 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 18669 /proc/meminfo: memFree=29831468/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=934624 CPUtime=282.29 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 227224 0 0 0 22982 5247 0 0 25 0 1 0 133668840 957054976 226537 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 233656 226537 393 719 0 232935 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 934624 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 18671 /proc/meminfo: memFree=29784892/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=978556 CPUtime=342.29 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 238138 0 0 0 28623 5606 0 0 25 0 1 0 133668840 1002041344 237451 4089446400 4194304 7136930 140736785816016 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 244639 237451 393 719 0 243918 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 978556 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 18672 /proc/meminfo: memFree=29735980/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1015496 CPUtime=402.29 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 247294 0 0 0 34359 5870 0 0 25 0 1 0 133668840 1039867904 246607 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 253874 246607 393 719 0 253153 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 1015496 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 18674 /proc/meminfo: memFree=29711272/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1037064 CPUtime=462.29 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 252617 0 0 0 40159 6070 0 0 25 0 1 0 133668840 1061953536 251930 4089446400 4194304 7136930 140736785816016 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18661/statm: 259266 251930 393 719 0 258545 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 1037064 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 18676 /proc/meminfo: memFree=29691520/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1055652 CPUtime=522.29 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 257151 0 0 0 45986 6243 0 0 25 0 1 0 133668840 1080987648 256464 4089446400 4194304 7136930 140736785816016 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18661/statm: 263913 256464 393 719 0 263192 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 1055652 [startup+582.301 s] /proc/loadavg: 2.04 2.01 2.00 3/197 18677 /proc/meminfo: memFree=29657616/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1089044 CPUtime=582.3 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 265450 0 0 0 51572 6658 0 0 25 0 1 0 133668840 1115181056 264763 4089446400 4194304 7136930 140736785816016 18446744073709551615 4219809 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18661/statm: 272261 264763 393 719 0 271540 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1089044 [startup+642.301 s] /proc/loadavg: 2.01 2.01 2.00 3/197 18679 /proc/meminfo: memFree=29596196/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1137456 CPUtime=642.3 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 277419 0 0 0 57086 7144 0 0 25 0 1 0 133668840 1164754944 276732 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18661/statm: 284364 276732 393 719 0 283643 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1137456 [startup+702.301 s] ################ # More data... # ################ /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 313311 0 0 0 91607 8623 0 0 25 0 1 0 133668840 1312346112 312624 4089446400 4194304 7136930 140736785816016 18446744073709551615 4210694 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 320397 312624 393 719 0 319676 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1281588 [startup+1062.3 s] /proc/loadavg: 2.06 2.02 2.00 3/197 18699 /proc/meminfo: memFree=29429308/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1292256 CPUtime=1062.3 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 315904 0 0 0 97458 8772 0 0 25 0 1 0 133668840 1323270144 315217 4089446400 4194304 7136930 140736785816016 18446744073709551615 5953155 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 323064 315217 393 719 0 322343 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1292256 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 18701 /proc/meminfo: memFree=29418124/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1303556 CPUtime=1122.31 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 318688 0 0 0 103332 8899 0 0 25 0 1 0 133668840 1334841344 318001 4089446400 4194304 7136930 140736785816016 18446744073709551615 5000163 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 325889 318001 393 719 0 325168 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1303556 [startup+1182.3 s] /proc/loadavg: 1.75 1.94 1.98 3/199 18879 /proc/meminfo: memFree=29610720/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1314120 CPUtime=1182.3 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 321344 0 0 0 109205 9025 0 0 25 0 1 0 133668840 1345658880 320657 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 328530 320657 393 719 0 327809 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1314120 [startup+1242.3 s] /proc/loadavg: 1.98 1.98 1.99 3/197 18953 /proc/meminfo: memFree=29728224/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1321016 CPUtime=1242.31 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 323138 0 0 0 115095 9136 0 0 25 0 1 0 133668840 1352720384 322451 4089446400 4194304 7136930 140736785816016 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 330254 322451 393 719 0 329533 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1321016 [startup+1302.3 s] /proc/loadavg: 2.03 1.99 1.99 3/179 18982 /proc/meminfo: memFree=29650964/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1326644 CPUtime=1302.32 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 324480 0 0 0 121010 9222 0 0 25 0 1 0 133668840 1358483456 323793 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 331661 323793 393 719 0 330940 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1326644 [startup+1362.3 s] /proc/loadavg: 2.01 1.99 1.99 3/179 18984 /proc/meminfo: memFree=29534124/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1336692 CPUtime=1362.31 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 326929 0 0 0 126934 9297 0 0 25 0 1 0 133668840 1368772608 326242 4089446400 4194304 7136930 140736785816016 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 334173 326242 393 719 0 333452 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1336692 [startup+1422.31 s] /proc/loadavg: 2.70 2.17 2.05 4/200 19062 /proc/meminfo: memFree=29525324/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1344152 CPUtime=1422.32 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 328863 0 0 0 132845 9387 0 0 25 0 1 0 133668840 1376411648 328176 4089446400 4194304 7136930 140736785816016 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 336038 328176 393 719 0 335317 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1344152 [startup+1482.3 s] /proc/loadavg: 2.84 2.29 2.10 4/200 19065 /proc/meminfo: memFree=29508532/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1347916 CPUtime=1482.32 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 329646 0 0 0 138748 9484 0 0 25 0 1 0 133668840 1380265984 328959 4089446400 4194304 7136930 140736785816016 18446744073709551615 4210300 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 336979 328959 393 719 0 336258 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1347916 [startup+1542.3 s] /proc/loadavg: 2.94 2.42 2.15 4/200 19067 /proc/meminfo: memFree=29482924/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1362376 CPUtime=1542.31 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 333293 0 0 0 144494 9737 0 0 25 0 1 0 133668840 1395073024 332606 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 340594 332606 393 719 0 339873 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 1362376 [startup+1602.3 s] /proc/loadavg: 2.94 2.51 2.20 3/200 19068 /proc/meminfo: memFree=29440712/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1391148 CPUtime=1602.32 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 340502 0 0 0 150255 9977 0 0 25 0 1 0 133668840 1424535552 339815 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 347787 339815 393 719 0 347066 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1391148 [startup+1662.3 s] /proc/loadavg: 2.70 2.52 2.22 4/200 19070 /proc/meminfo: memFree=29423536/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1401512 CPUtime=1662.32 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 343126 0 0 0 156072 10160 0 0 25 0 1 0 133668840 1435148288 342439 4089446400 4194304 7136930 140736785816016 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 350378 342439 393 719 0 349657 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 1401512 [startup+1722.3 s] /proc/loadavg: 2.72 2.56 2.25 4/200 19072 /proc/meminfo: memFree=29390872/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1426768 CPUtime=1722.32 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 349297 0 0 0 161794 10438 0 0 25 0 1 0 133668840 1461010432 348610 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 356692 348610 393 719 0 355971 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1426768 [startup+1782.3 s] /proc/loadavg: 2.81 2.61 2.28 4/200 19073 /proc/meminfo: memFree=29358324/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1451744 CPUtime=1782.33 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 355616 0 0 0 167500 10733 0 0 25 0 1 0 133668840 1486585856 354929 4089446400 4194304 7136930 140736785816016 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 362936 354929 393 719 0 362215 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1451744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.79 2.61 2.29 4/200 19074 /proc/meminfo: memFree=29353968/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1452768 CPUtime=1800.03 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 355890 0 0 0 169196 10807 0 0 25 0 1 0 133668840 1487634432 355203 4089446400 4194304 7136930 140736785816016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/18661/statm: 363192 355203 393 719 0 362471 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1452768 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -18661 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.79 2.61 2.29 4/201 19075 /proc/meminfo: memFree=29353712/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1452768 CPUtime=1801.42 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 355896 0 0 0 169335 10807 0 0 19 0 1 0 133668840 1487634432 355209 4089446400 4194304 7136930 140736785816016 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/18661/statm: 363192 355209 399 719 0 362471 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 1452768 [startup+1801.81 s] /proc/loadavg: 2.79 2.61 2.29 4/201 19075 /proc/meminfo: memFree=29353708/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1452768 CPUtime=1801.83 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 355896 0 0 0 169376 10807 0 0 20 0 1 0 133668840 1487634432 355209 4089446400 4194304 7136930 140736785816016 18446744073709551615 4212411 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/18661/statm: 363192 355209 399 719 0 362471 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 1452768 [startup+1802 s] /proc/loadavg: 2.79 2.61 2.29 4/201 19075 /proc/meminfo: memFree=29353708/32951124 swapFree=67111528/67111528 [pid=18661] ppid=18659 vsize=1452768 CPUtime=1802.02 /proc/18661/stat : 18661 (pbscip.linux.x8) R 18659 18661 17178 0 -1 4202496 355896 0 0 0 169395 10807 0 0 21 0 1 0 133668840 1487634432 355209 4089446400 4194304 7136930 140736785816016 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/18661/statm: 363192 355209 399 719 0 362471 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 1452768 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.05 CPU time (s): 1802.09 CPU user time (s): 1693.97 CPU system time (s): 108.121 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1452768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1693.97 system time used= 108.121 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 355896 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= 6 involuntary context switches= 12233 runsolver used 3.15052 second user time and 6.50301 second system time The end
Begin job on node139 at 2010-06-30 20:48:54 IDJOB=2694134 IDBENCH=79215 IDSOLVER=1206 FILE ID=node139/2694134-1277923734 PBS_JOBID= 11197347 Free space on /tmp= 74124 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694134-1277923734/watcher-2694134-1277923734 -o /tmp/evaluation-result-2694134-1277923734/solver-2694134-1277923734 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694134-1277923734.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 36573e20f94a233c9b9c8f8613b15785 RANDOM SEED=923535480 node139.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.840 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.68 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.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 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.840 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.840 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.840 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.840 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.840 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: 32951124 kB MemFree: 30750792 kB Buffers: 211044 kB Cached: 1477284 kB SwapCached: 0 kB Active: 1039092 kB Inactive: 1012332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30750792 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3348 kB Writeback: 0 kB AnonPages: 363000 kB Mapped: 20256 kB Slab: 83992 kB PageTables: 4896 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1648724 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= 74120 MiB End job on node139 at 2010-06-30 21:18:56