Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1802.14 | 1802.11 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-2_wcsp.wbo |
| MD5SUM | dc0207dd780e8486ac4fdb37fec549e2 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 22 |
| Best CPU time to get the best result obtained on this benchmark | 0.009998 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 80 |
| Total number of constraints | 196 |
| Number of soft constraints | 156 |
| Number of constraints which are clauses | 156 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Top cost | 79 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 156 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 3 |
| Number of bits of the biggest sum of numbers | 2 |
| 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: Clp 1.11.1] [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-2700549-1278535682.wbo>
0.00/0.00 c original problem has 392 variables (236 bin, 0 int, 0 impl, 156 cont) and 353 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 40 del vars, 40 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 236 impls, 0 clqs
0.00/0.01 c (round 2) 41 del vars, 40 del conss, 156 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 236 impls, 0 clqs
0.00/0.01 c (round 3) 41 del vars, 40 del conss, 156 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 236 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/195 (51.8%) - 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 (4 rounds):
0.00/0.01 c 41 deleted vars, 40 deleted constraints, 156 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 236 implications, 0 cliques
0.00/0.01 c presolved problem has 351 variables (195 bin, 0 int, 0 impl, 156 cont) and 313 constraints
0.00/0.01 c 156 constraints of type <indicator>
0.00/0.01 c 1 constraints of type <knapsack>
0.00/0.01 c 156 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.01
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 # 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.02 c 0.0s| 1 | 0 | 0 | - |1377k| 0 | 0 | 351 | 313 | 351 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 40 | - |1416k| 0 | 25 | 351 | 313 | 351 | 79 | 78 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 69 | - |1436k| 0 | 36 | 351 | 313 | 351 | 106 | 105 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 108 | - |1469k| 0 | 38 | 351 | 313 | 351 | 141 | 140 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 140 | - |1496k| 0 | 39 | 351 | 313 | 351 | 159 | 158 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 169 | - |1530k| 0 | 30 | 351 | 313 | 351 | 181 | 180 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 180 | - |1566k| 0 | 27 | 351 | 313 | 351 | 189 | 188 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 2 | 269 | - |1574k| 0 | 27 | 351 | 313 | 351 | 189 | 188 | 0 | 27 | 0.000000e+00 | -- | Inf
3.09/3.11 c 2.9s| 10000 | 10001 | 10167 | 1.0 |7790k| 55 | 0 | 351 | 313 | 351 | 174 | 497 | 0 | 298 | 1.000000e+00 | -- | Inf
5.79/5.85 c 5.5s| 20000 | 20001 | 17722 | 0.9 | 13M| 55 | 0 | 351 | 313 | 351 | 174 | 605 | 0 | 353 | 1.000000e+00 | -- | Inf
8.39/8.45 c 8.0s| 30000 | 30001 | 19418 | 0.6 | 19M| 55 | 0 | 351 | 313 | 351 | 176 | 628 | 0 | 366 | 1.000000e+00 | -- | Inf
11.09/11.17 c 10.5s| 40000 | 40001 | 20745 | 0.5 | 25M| 55 | 0 | 351 | 313 | 351 | 174 | 648 | 0 | 375 | 1.000000e+00 | -- | Inf
13.99/14.07 c 13.3s| 50000 | 50001 | 22789 | 0.5 | 31M| 55 | 0 | 351 | 313 | 351 | 175 | 695 | 0 | 387 | 2.000000e+00 | -- | Inf
17.29/17.33 c 16.4s| 60000 | 60001 | 28318 | 0.5 | 37M| 55 | 0 | 351 | 313 | 351 | 175 | 958 | 0 | 467 | 2.000000e+00 | -- | Inf
20.60/20.60 c 19.5s| 70000 | 70001 | 36361 | 0.5 | 44M| 55 | 0 | 351 | 313 | 351 | 174 |1132 | 0 | 527 | 2.000000e+00 | -- | Inf
23.79/23.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.79/23.84 c 22.5s| 80000 | 80001 | 44524 | 0.6 | 50M| 55 | 0 | 351 | 313 | 351 | 175 |1182 | 0 | 585 | 2.000000e+00 | -- | Inf
26.69/26.73 c 25.3s| 90000 | 90001 | 47030 | 0.5 | 56M| 55 | 0 | 351 | 313 | 351 | 175 |1214 | 0 | 610 | 2.000000e+00 | -- | Inf
29.79/29.80 c 28.2s|100000 |100001 | 49478 | 0.5 | 62M| 55 | 0 | 351 | 313 | 351 | 175 |1264 | 0 | 625 | 2.000000e+00 | -- | Inf
33.00/33.03 c 31.2s|110000 |110001 | 53643 | 0.5 | 68M| 55 | 0 | 351 | 313 | 351 | 174 |1303 | 0 | 652 | 2.000000e+00 | -- | Inf
36.09/36.12 c 34.1s|120000 |120001 | 62628 | 0.5 | 74M| 55 | 0 | 351 | 313 | 351 | 175 |1529 | 0 | 688 | 2.000000e+00 | -- | Inf
39.09/39.10 c 37.0s|130000 |130001 | 71421 | 0.5 | 80M| 55 | 0 | 351 | 313 | 351 | 174 |1606 | 0 | 722 | 2.000000e+00 | -- | Inf
42.19/42.28 c 40.0s|140000 |140001 | 81408 | 0.6 | 86M| 55 | 0 | 351 | 313 | 351 | 175 |1924 | 0 | 805 | 2.000000e+00 | -- | Inf
45.39/45.44 c 42.8s|150000 |150001 | 91492 | 0.6 | 92M| 55 | 0 | 351 | 313 | 351 | 176 |2239 | 0 | 863 | 2.000000e+00 | -- | Inf
48.59/48.64 c 45.5s|160000 |160001 |101462 | 0.6 | 98M| 55 | 0 | 351 | 313 | 351 | 175 |2421 | 0 | 912 | 3.000000e+00 | -- | Inf
51.69/51.77 c 48.3s|170000 |170001 |109538 | 0.6 | 105M| 55 | 0 | 351 | 313 | 351 | 175 |2546 | 0 | 928 | 3.000000e+00 | -- | Inf
54.79/54.85 c 51.0s|180000 |180001 |117042 | 0.6 | 111M| 55 | 0 | 351 | 313 | 351 | 175 |2609 | 0 | 946 | 3.000000e+00 | -- | Inf
57.79/57.87 c 53.6s|190000 |190001 |124854 | 0.7 | 117M| 55 | 0 | 351 | 313 | 351 | 177 |2727 | 0 | 976 | 3.000000e+00 | -- | Inf
60.89/60.97 c 56.4s|200000 |200001 |131914 | 0.7 | 123M| 55 | 0 | 351 | 313 | 351 | 176 |2868 | 0 | 990 | 3.000000e+00 | -- | Inf
63.89/63.99 c 59.0s|210000 |210001 |139189 | 0.7 | 130M| 55 | 0 | 351 | 313 | 351 | 175 |2948 | 0 |1021 | 3.000000e+00 | -- | Inf
67.00/67.01 c 61.6s|220000 |220001 |147070 | 0.7 | 136M| 55 | 0 | 351 | 313 | 351 | 176 |3028 | 0 |1038 | 3.000000e+00 | -- | Inf
69.99/70.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.99/70.05 c 64.3s|230000 |230001 |154734 | 0.7 | 142M| 55 | 0 | 351 | 313 | 351 | 175 |3104 | 0 |1049 | 3.000000e+00 | -- | Inf
72.79/72.82 c 66.7s|240000 |240001 |158562 | 0.7 | 148M| 55 | 0 | 351 | 313 | 351 | 175 |3143 | 0 |1063 | 3.000000e+00 | -- | Inf
75.70/75.70 c 69.2s|250000 |250001 |162400 | 0.6 | 154M| 55 | 0 | 351 | 313 | 351 | 175 |3199 | 0 |1072 | 3.000000e+00 | -- | Inf
78.59/78.69 c 71.8s|260000 |260001 |166199 | 0.6 | 160M| 55 | 0 | 351 | 313 | 351 | 176 |3260 | 0 |1081 | 3.000000e+00 | -- | Inf
81.70/81.72 c 74.5s|270000 |270001 |169108 | 0.6 | 166M| 55 | 0 | 351 | 313 | 351 | 175 |3316 | 0 |1094 | 3.000000e+00 | -- | Inf
84.70/84.79 c 77.2s|280000 |280001 |175776 | 0.6 | 172M| 57 | 0 | 351 | 313 | 351 | 175 |3333 | 0 |1112 | 3.000000e+00 | -- | Inf
87.79/87.90 c 79.9s|290000 |290001 |185499 | 0.6 | 179M| 57 | 0 | 351 | 313 | 351 | 175 |3372 | 0 |1181 | 3.000000e+00 | -- | Inf
90.89/90.92 c 82.5s|300000 |300001 |192733 | 0.6 | 185M| 57 | 0 | 351 | 313 | 351 | 174 |3416 | 0 |1262 | 3.000000e+00 | -- | Inf
93.89/93.94 c 85.1s|310000 |310001 |199314 | 0.6 | 191M| 57 | 0 | 351 | 313 | 351 | 175 |3601 | 0 |1357 | 3.000000e+00 | -- | Inf
96.99/97.04 c 87.8s|320000 |320001 |206365 | 0.6 | 197M| 57 | 0 | 351 | 313 | 351 | 175 |3801 | 0 |1368 | 3.000000e+00 | -- | Inf
100.00/100.09 c 90.5s|330000 |330001 |214375 | 0.6 | 203M| 57 | 0 | 351 | 313 | 351 | 176 |3931 | 0 |1382 | 3.000000e+00 | -- | Inf
102.99/103.08 c 93.1s|340000 |340001 |221633 | 0.7 | 209M| 57 | 0 | 351 | 313 | 351 | 174 |3950 | 0 |1383 | 3.000000e+00 | -- | Inf
105.99/106.05 c 95.7s|350000 |350001 |228899 | 0.7 | 216M| 57 | 0 | 351 | 313 | 351 | 175 |3973 | 0 |1399 | 3.000000e+00 | -- | Inf
109.09/109.14 c 98.4s|360000 |360001 |236705 | 0.7 | 222M| 57 | 0 | 351 | 313 | 351 | 174 |4103 | 0 |1414 | 3.000000e+00 | -- | Inf
112.20/112.23 c 101s|370000 |370001 |245606 | 0.7 | 228M| 57 | 0 | 351 | 313 | 351 | 174 |4143 | 0 |1435 | 3.000000e+00 | -- | Inf
115.09/115.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.09/115.19 c 104s|380000 |380001 |253619 | 0.7 | 234M| 57 | 0 | 351 | 313 | 351 | 176 |4181 | 0 |1441 | 3.000000e+00 | -- | Inf
118.19/118.27 c 106s|390000 |390001 |261795 | 0.7 | 240M| 57 | 0 | 351 | 313 | 351 | 177 |4260 | 0 |1466 | 3.000000e+00 | -- | Inf
121.20/121.27 c 109s|400000 |400001 |269584 | 0.7 | 247M| 57 | 0 | 351 | 313 | 351 | 175 |4325 | 0 |1476 | 3.000000e+00 | -- | Inf
124.50/124.50 c 112s|410000 |410001 |276886 | 0.7 | 253M| 57 | 0 | 351 | 313 | 351 | 176 |4721 | 0 |1522 | 3.000000e+00 | -- | Inf
127.69/127.77 c 115s|420000 |420001 |283789 | 0.7 | 259M| 57 | 0 | 351 | 313 | 351 | 176 |5299 | 0 |1538 | 3.000000e+00 | -- | Inf
130.99/131.03 c 118s|430000 |430001 |290606 | 0.7 | 265M| 57 | 0 | 351 | 313 | 351 | 176 |5770 | 0 |1557 | 3.000000e+00 | -- | Inf
134.29/134.30 c 120s|440000 |440001 |299839 | 0.7 | 271M| 57 | 0 | 351 | 313 | 351 | 175 |6121 | 0 |1632 | 3.000000e+00 | -- | Inf
137.50/137.51 c 123s|450000 |450001 |308697 | 0.7 | 277M| 57 | 0 | 351 | 313 | 351 | 175 |6287 | 0 |1650 | 3.000000e+00 | -- | Inf
140.60/140.67 c 126s|460000 |460001 |317637 | 0.7 | 284M| 57 | 0 | 351 | 313 | 351 | 175 |6377 | 0 |1668 | 3.000000e+00 | -- | Inf
143.89/143.94 c 129s|470000 |470001 |328739 | 0.7 | 290M| 57 | 0 | 351 | 313 | 351 | 175 |6454 | 0 |1678 | 3.000000e+00 | -- | Inf
147.09/147.17 c 132s|480000 |480001 |339921 | 0.7 | 296M| 57 | 0 | 351 | 313 | 351 | 174 |6495 | 0 |1691 | 3.000000e+00 | -- | Inf
150.29/150.36 c 134s|490000 |490001 |349386 | 0.7 | 302M| 57 | 0 | 351 | 313 | 351 | 175 |6592 | 0 |1708 | 3.000000e+00 | -- | Inf
153.59/153.63 c 137s|500000 |500001 |358905 | 0.7 | 308M| 57 | 0 | 351 | 313 | 351 | 175 |6667 | 0 |1734 | 4.000000e+00 | -- | Inf
156.70/156.77 c 140s|510000 |510001 |366649 | 0.7 | 315M| 57 | 0 | 351 | 313 | 351 | 175 |6705 | 0 |1747 | 4.000000e+00 | -- | Inf
159.89/159.94 c 143s|520000 |520001 |374643 | 0.7 | 321M| 57 | 0 | 351 | 313 | 351 | 174 |6728 | 0 |1756 | 4.000000e+00 | -- | Inf
163.09/163.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.09/163.14 c 146s|530000 |530001 |384389 | 0.7 | 327M| 57 | 0 | 351 | 313 | 351 | 175 |6758 | 0 |1792 | 4.000000e+00 | -- | Inf
166.29/166.37 c 149s|540000 |540001 |393881 | 0.7 | 334M| 57 | 0 | 351 | 313 | 351 | 176 |6780 | 0 |1843 | 4.000000e+00 | -- | Inf
169.50/169.53 c 151s|550000 |550001 |402687 | 0.7 | 340M| 57 | 0 | 351 | 313 | 351 | 176 |6803 | 0 |1872 | 4.000000e+00 | -- | Inf
172.49/172.60 c 154s|560000 |560001 |412232 | 0.7 | 346M| 57 | 0 | 351 | 313 | 351 | 174 |6818 | 0 |1876 | 4.000000e+00 | -- | Inf
175.70/175.71 c 157s|570000 |570001 |419411 | 0.7 | 352M| 57 | 0 | 351 | 313 | 351 | 174 |6833 | 0 |1895 | 4.000000e+00 | -- | Inf
178.79/178.83 c 159s|580000 |580001 |427345 | 0.7 | 359M| 57 | 0 | 351 | 313 | 351 | 174 |6845 | 0 |1923 | 4.000000e+00 | -- | Inf
181.89/181.93 c 162s|590000 |590001 |435784 | 0.7 | 365M| 57 | 0 | 351 | 313 | 351 | 175 |6868 | 0 |1933 | 4.000000e+00 | -- | Inf
185.00/185.00 c 165s|600000 |600001 |445773 | 0.7 | 371M| 57 | 0 | 351 | 313 | 351 | 175 |6880 | 0 |1943 | 4.000000e+00 | -- | Inf
188.10/188.11 c 168s|610000 |610001 |453656 | 0.7 | 378M| 57 | 0 | 351 | 313 | 351 | 177 |6916 | 0 |1943 | 4.000000e+00 | -- | Inf
191.09/191.15 c 170s|620000 |620001 |459601 | 0.7 | 384M| 57 | 0 | 351 | 313 | 351 | 175 |6922 | 0 |1956 | 4.000000e+00 | -- | Inf
194.19/194.22 c 173s|630000 |630001 |467087 | 0.7 | 390M| 57 | 0 | 351 | 313 | 351 | 175 |6942 | 0 |1994 | 4.000000e+00 | -- | Inf
197.19/197.24 c 176s|640000 |640001 |474000 | 0.7 | 396M| 57 | 0 | 351 | 313 | 351 | 175 |6949 | 0 |2002 | 4.000000e+00 | -- | Inf
200.30/200.32 c 178s|650000 |650001 |481014 | 0.7 | 403M| 57 | 0 | 351 | 313 | 351 | 174 |6982 | 0 |2015 | 4.000000e+00 | -- | Inf
203.30/203.37 c 181s|660000 |660001 |489315 | 0.7 | 409M| 57 | 0 | 351 | 313 | 351 | 174 |6987 | 0 |2019 | 4.000000e+00 | -- | Inf
206.39/206.46 c 184s|670000 |670001 |496680 | 0.7 | 415M| 57 | 0 | 351 | 313 | 351 | 175 |7031 | 0 |2033 | 4.000000e+00 | -- | Inf
209.50/209.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.50/209.51 c 186s|680000 |680001 |503810 | 0.7 | 421M| 57 | 0 | 351 | 313 | 351 | 176 |7071 | 0 |2043 | 4.000000e+00 | -- | Inf
212.60/212.65 c 189s|690000 |690001 |511491 | 0.7 | 428M| 57 | 0 | 351 | 313 | 351 | 174 |7101 | 0 |2073 | 4.000000e+00 | -- | Inf
215.69/215.73 c 192s|700000 |700001 |518753 | 0.7 | 434M| 57 | 0 | 351 | 313 | 351 | 174 |7127 | 0 |2076 | 4.000000e+00 | -- | Inf
218.80/218.84 c 194s|710000 |710001 |526430 | 0.7 | 440M| 57 | 0 | 351 | 313 | 351 | 175 |7176 | 0 |2080 | 4.000000e+00 | -- | Inf
221.89/221.92 c 197s|720000 |720001 |534008 | 0.7 | 447M| 57 | 0 | 351 | 313 | 351 | 174 |7189 | 0 |2084 | 4.000000e+00 | -- | Inf
225.00/225.00 c 200s|730000 |730001 |543218 | 0.7 | 453M| 57 | 0 | 351 | 313 | 351 | 174 |7206 | 0 |2092 | 4.000000e+00 | -- | Inf
228.00/228.04 c 202s|740000 |740001 |555058 | 0.7 | 459M| 57 | 0 | 351 | 313 | 351 | 175 |7217 | 0 |2098 | 4.000000e+00 | -- | Inf
231.09/231.10 c 205s|750000 |750001 |560259 | 0.7 | 465M| 57 | 0 | 351 | 313 | 351 | 175 |7230 | 0 |2099 | 4.000000e+00 | -- | Inf
234.09/234.18 c 208s|760000 |760001 |567357 | 0.7 | 472M| 57 | 0 | 351 | 313 | 351 | 174 |7245 | 0 |2100 | 4.000000e+00 | -- | Inf
237.10/237.19 c 210s|770000 |770001 |572530 | 0.7 | 478M| 57 | 0 | 351 | 313 | 351 | 175 |7254 | 0 |2102 | 4.000000e+00 | -- | Inf
240.10/240.18 c 213s|780000 |780001 |578711 | 0.7 | 484M| 57 | 0 | 351 | 313 | 351 | 175 |7267 | 0 |2102 | 4.000000e+00 | -- | Inf
243.00/243.09 c 216s|790000 |790001 |585664 | 0.7 | 490M| 57 | 0 | 351 | 313 | 351 | 175 |7283 | 0 |2102 | 4.000000e+00 | -- | Inf
246.09/246.14 c 218s|800000 |800001 |591562 | 0.7 | 496M| 57 | 0 | 351 | 313 | 351 | 175 |7296 | 0 |2118 | 4.000000e+00 | -- | Inf
249.10/249.18 c 221s|810000 |810001 |597980 | 0.7 | 503M| 57 | 0 | 351 | 313 | 351 | 175 |7310 | 0 |2119 | 4.000000e+00 | -- | Inf
252.20/252.26 c 224s|820000 |820001 |605928 | 0.7 | 509M| 57 | 0 | 351 | 313 | 351 | 175 |7329 | 0 |2131 | 4.000000e+00 | -- | Inf
255.29/255.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.29/255.32 c 226s|830000 |830001 |612182 | 0.7 | 515M| 57 | 0 | 351 | 313 | 351 | 175 |7349 | 0 |2154 | 4.000000e+00 | -- | Inf
258.40/258.47 c 229s|840000 |840001 |620126 | 0.7 | 522M| 57 | 0 | 351 | 313 | 351 | 175 |7373 | 0 |2193 | 4.000000e+00 | -- | Inf
261.50/261.59 c 232s|850000 |850001 |627908 | 0.7 | 528M| 57 | 0 | 351 | 313 | 351 | 175 |7439 | 0 |2218 | 4.000000e+00 | -- | Inf
264.69/264.74 c 235s|860000 |860001 |635879 | 0.7 | 534M| 57 | 0 | 351 | 313 | 351 | 175 |7499 | 0 |2229 | 4.000000e+00 | -- | Inf
267.80/267.88 c 237s|870000 |870001 |643933 | 0.7 | 541M| 57 | 0 | 351 | 313 | 351 | 176 |7571 | 0 |2249 | 4.000000e+00 | -- | Inf
270.70/270.79 c 240s|880000 |880001 |649062 | 0.7 | 547M| 57 | 0 | 351 | 313 | 351 | 175 |7580 | 0 |2250 | 4.000000e+00 | -- | Inf
273.70/273.72 c 242s|890000 |890001 |653869 | 0.7 | 553M| 57 | 0 | 351 | 313 | 351 | 175 |7586 | 0 |2251 | 4.000000e+00 | -- | Inf
276.70/276.76 c 245s|900000 |900001 |658566 | 0.7 | 559M| 57 | 0 | 351 | 313 | 351 | 176 |7603 | 0 |2255 | 4.000000e+00 | -- | Inf
279.69/279.76 c 248s|910000 |910001 |662585 | 0.7 | 565M| 57 | 0 | 351 | 313 | 351 | 175 |7612 | 0 |2264 | 4.000000e+00 | -- | Inf
282.79/282.84 c 251s|920000 |920001 |667379 | 0.7 | 571M| 57 | 0 | 351 | 313 | 351 | 174 |7615 | 0 |2264 | 4.000000e+00 | -- | Inf
285.90/285.94 c 253s|930000 |930001 |674359 | 0.7 | 578M| 57 | 0 | 351 | 313 | 351 | 175 |7634 | 0 |2290 | 4.000000e+00 | -- | Inf
289.09/289.10 c 256s|940000 |940001 |683152 | 0.7 | 584M| 57 | 0 | 351 | 313 | 351 | 176 |7709 | 0 |2322 | 4.000000e+00 | -- | Inf
292.09/292.16 c 259s|950000 |950001 |689586 | 0.7 | 590M| 57 | 0 | 351 | 313 | 351 | 175 |7751 | 0 |2330 | 4.000000e+00 | -- | Inf
295.20/295.23 c 261s|960000 |960001 |695187 | 0.7 | 596M| 57 | 0 | 351 | 313 | 351 | 175 |7775 | 0 |2346 | 4.000000e+00 | -- | Inf
298.20/298.24 c 264s|970000 |970001 |699310 | 0.7 | 603M| 57 | 0 | 351 | 313 | 351 | 174 |7798 | 0 |2388 | 4.000000e+00 | -- | Inf
301.19/301.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.19/301.23 c 267s|980000 |980001 |703166 | 0.7 | 609M| 57 | 0 | 351 | 313 | 351 | 174 |7824 | 0 |2403 | 4.000000e+00 | -- | Inf
304.20/304.29 c 269s|990000 |990001 |708341 | 0.7 | 615M| 57 | 0 | 351 | 313 | 351 | 176 |7907 | 0 |2403 | 4.000000e+00 | -- | Inf
307.40/307.40 c 272s| 1000k| 1000k|715021 | 0.7 | 621M| 57 | 0 | 351 | 313 | 351 | 174 |8144 | 0 |2417 | 4.000000e+00 | -- | Inf
310.30/310.37 c 275s| 1010k| 1010k|718876 | 0.7 | 627M| 57 | 0 | 351 | 313 | 351 | 177 |8161 | 0 |2418 | 4.000000e+00 | -- | Inf
313.30/313.38 c 277s| 1020k| 1020k|723144 | 0.7 | 634M| 57 | 0 | 351 | 313 | 351 | 175 |8173 | 0 |2424 | 4.000000e+00 | -- | Inf
316.39/316.42 c 280s| 1030k| 1030k|728301 | 0.7 | 640M| 57 | 0 | 351 | 313 | 351 | 175 |8181 | 0 |2425 | 4.000000e+00 | -- | Inf
319.50/319.51 c 283s| 1040k| 1040k|732848 | 0.7 | 646M| 57 | 0 | 351 | 313 | 351 | 175 |8192 | 0 |2427 | 4.000000e+00 | -- | Inf
322.59/322.64 c 285s| 1050k| 1050k|738481 | 0.7 | 652M| 57 | 0 | 351 | 313 | 351 | 174 |8220 | 0 |2445 | 4.000000e+00 | -- | Inf
325.70/325.78 c 288s| 1060k| 1060k|746695 | 0.7 | 658M| 57 | 0 | 351 | 313 | 351 | 176 |8376 | 0 |2500 | 4.000000e+00 | -- | Inf
328.90/328.93 c 291s| 1070k| 1070k|755754 | 0.7 | 665M| 57 | 0 | 351 | 313 | 351 | 175 |8610 | 0 |2520 | 4.000000e+00 | -- | Inf
332.11/332.16 c 294s| 1080k| 1080k|765171 | 0.7 | 671M| 57 | 0 | 351 | 313 | 351 | 174 |8913 | 0 |2549 | 4.000000e+00 | -- | Inf
335.40/335.42 c 297s| 1090k| 1090k|774224 | 0.7 | 677M| 57 | 0 | 351 | 313 | 351 | 175 |9332 | 0 |2561 | 4.000000e+00 | -- | Inf
338.59/338.62 c 300s| 1100k| 1100k|783364 | 0.7 | 683M| 57 | 0 | 351 | 313 | 351 | 175 |9581 | 0 |2574 | 4.000000e+00 | -- | Inf
341.70/341.70 c 302s| 1110k| 1110k|792017 | 0.7 | 689M| 57 | 0 | 351 | 313 | 351 | 174 |9660 | 0 |2608 | 4.000000e+00 | -- | Inf
345.00/345.03 c 305s| 1120k| 1120k|799047 | 0.7 | 695M| 57 | 0 | 351 | 313 | 351 | 175 | 10k| 0 |2624 | 4.000000e+00 | -- | Inf
348.40/348.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.40/348.40 c 308s| 1130k| 1130k|806030 | 0.7 | 701M| 57 | 0 | 351 | 313 | 351 | 177 | 10k| 0 |2642 | 4.000000e+00 | -- | Inf
351.60/351.69 c 311s| 1140k| 1140k|814707 | 0.7 | 708M| 57 | 0 | 351 | 313 | 351 | 176 | 11k| 0 |2668 | 4.000000e+00 | -- | Inf
355.00/355.00 c 314s| 1150k| 1150k|821508 | 0.7 | 714M| 57 | 0 | 351 | 313 | 351 | 176 | 12k| 0 |2693 | 4.000000e+00 | -- | Inf
358.30/358.33 c 317s| 1160k| 1160k|828099 | 0.7 | 720M| 57 | 0 | 351 | 313 | 351 | 176 | 12k| 0 |2708 | 4.000000e+00 | -- | Inf
361.60/361.65 c 320s| 1170k| 1170k|835687 | 0.7 | 726M| 57 | 0 | 351 | 313 | 351 | 176 | 13k| 0 |2727 | 4.000000e+00 | -- | Inf
364.80/364.88 c 323s| 1180k| 1180k|843124 | 0.7 | 732M| 57 | 0 | 351 | 313 | 351 | 176 | 13k| 0 |2755 | 4.000000e+00 | -- | Inf
368.10/368.14 c 326s| 1190k| 1190k|853155 | 0.7 | 738M| 57 | 0 | 351 | 313 | 351 | 175 | 13k| 0 |2777 | 4.000000e+00 | -- | Inf
371.40/371.45 c 329s| 1200k| 1200k|862986 | 0.7 | 745M| 57 | 0 | 351 | 313 | 351 | 175 | 14k| 0 |2784 | 4.000000e+00 | -- | Inf
374.70/374.72 c 331s| 1210k| 1210k|873266 | 0.7 | 751M| 57 | 0 | 351 | 313 | 351 | 175 | 14k| 0 |2796 | 4.000000e+00 | -- | Inf
377.79/377.87 c 334s| 1220k| 1220k|881816 | 0.7 | 757M| 57 | 0 | 351 | 313 | 351 | 175 | 14k| 0 |2816 | 4.000000e+00 | -- | Inf
381.10/381.14 c 337s| 1230k| 1230k|892483 | 0.7 | 763M| 57 | 0 | 351 | 313 | 351 | 175 | 14k| 0 |2823 | 4.000000e+00 | -- | Inf
384.40/384.40 c 340s| 1240k| 1240k|904700 | 0.7 | 769M| 57 | 0 | 351 | 313 | 351 | 177 | 14k| 0 |2835 | 4.000000e+00 | -- | Inf
387.70/387.71 c 343s| 1250k| 1250k|915981 | 0.7 | 776M| 57 | 0 | 351 | 313 | 351 | 175 | 14k| 0 |2839 | 4.000000e+00 | -- | Inf
390.90/390.95 c 346s| 1260k| 1260k|925391 | 0.7 | 782M| 57 | 0 | 351 | 313 | 351 | 174 | 14k| 0 |2850 | 4.000000e+00 | -- | Inf
394.19/394.25 c 349s| 1270k| 1270k|937160 | 0.7 | 788M| 57 | 0 | 351 | 313 | 351 | 175 | 14k| 0 |2903 | 4.000000e+00 | -- | Inf
397.40/397.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.40/397.47 c 352s| 1280k| 1280k|947206 | 0.7 | 794M| 57 | 0 | 351 | 313 | 351 | 175 | 14k| 0 |2916 | 4.000000e+00 | -- | Inf
400.60/400.69 c 354s| 1290k| 1290k|958701 | 0.7 | 800M| 57 | 0 | 351 | 313 | 351 | 175 | 14k| 0 |2928 | 4.000000e+00 | -- | Inf
403.90/403.97 c 357s| 1300k| 1300k|969476 | 0.7 | 807M| 57 | 0 | 351 | 313 | 351 | 175 | 14k| 0 |2928 | 4.000000e+00 | -- | Inf
407.10/407.11 c 360s| 1310k| 1309k|978131 | 0.7 | 813M| 57 | 0 | 351 | 314 | 351 | 175 | 14k| 1 |2933 | 4.000000e+00 | -- | Inf
410.10/410.16 c 363s| 1320k| 1319k|984306 | 0.7 | 819M| 57 | 0 | 351 | 313 | 351 | 176 | 14k| 1 |2958 | 4.000000e+00 | -- | Inf
413.30/413.33 c 366s| 1330k| 1329k|991364 | 0.7 | 825M| 57 | 0 | 351 | 313 | 351 | 176 | 15k| 1 |2965 | 4.000000e+00 | -- | Inf
416.40/416.42 c 368s| 1340k| 1339k|997921 | 0.7 | 831M| 57 | 0 | 351 | 313 | 351 | 176 | 15k| 1 |2973 | 4.000000e+00 | -- | Inf
419.40/419.46 c 371s| 1350k| 1349k| 1003k| 0.7 | 837M| 57 | 0 | 351 | 313 | 351 | 174 | 15k| 1 |2986 | 4.000000e+00 | -- | Inf
422.40/422.40 c 374s| 1360k| 1359k| 1009k| 0.7 | 843M| 57 | 0 | 351 | 313 | 351 | 174 | 15k| 1 |3011 | 5.000000e+00 | -- | Inf
425.40/425.41 c 376s| 1370k| 1369k| 1015k| 0.7 | 849M| 57 | 0 | 351 | 313 | 351 | 176 | 15k| 1 |3019 | 5.000000e+00 | -- | Inf
428.30/428.38 c 379s| 1380k| 1379k| 1021k| 0.7 | 855M| 57 | 0 | 351 | 313 | 351 | 176 | 15k| 1 |3021 | 5.000000e+00 | -- | Inf
431.30/431.33 c 381s| 1390k| 1389k| 1026k| 0.7 | 862M| 57 | 0 | 351 | 313 | 351 | 176 | 15k| 1 |3027 | 5.000000e+00 | -- | Inf
434.20/434.24 c 384s| 1400k| 1399k| 1031k| 0.7 | 868M| 57 | 0 | 351 | 313 | 351 | 176 | 15k| 1 |3045 | 5.000000e+00 | -- | Inf
437.10/437.17 c 387s| 1410k| 1409k| 1038k| 0.7 | 874M| 57 | 0 | 351 | 313 | 351 | 175 | 15k| 1 |3049 | 5.000000e+00 | -- | Inf
440.00/440.09 c 389s| 1420k| 1419k| 1045k| 0.7 | 880M| 57 | 0 | 351 | 313 | 351 | 174 | 16k| 1 |3051 | 5.000000e+00 | -- | Inf
443.00/443.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.00/443.02 c 392s| 1430k| 1429k| 1052k| 0.7 | 886M| 57 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3059 | 5.000000e+00 | -- | Inf
445.90/445.97 c 394s| 1440k| 1439k| 1059k| 0.7 | 892M| 57 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3062 | 5.000000e+00 | -- | Inf
448.90/448.95 c 397s| 1450k| 1449k| 1066k| 0.7 | 898M| 57 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3075 | 5.000000e+00 | -- | Inf
451.90/451.91 c 400s| 1460k| 1459k| 1074k| 0.7 | 904M| 57 | 0 | 351 | 313 | 351 | 174 | 16k| 1 |3079 | 5.000000e+00 | -- | Inf
454.80/454.88 c 402s| 1470k| 1469k| 1082k| 0.7 | 910M| 57 | 0 | 351 | 313 | 351 | 176 | 16k| 1 |3098 | 5.000000e+00 | -- | Inf
457.80/457.81 c 405s| 1480k| 1479k| 1090k| 0.7 | 917M| 57 | 0 | 351 | 313 | 351 | 176 | 16k| 1 |3100 | 5.000000e+00 | -- | Inf
460.70/460.77 c 407s| 1490k| 1489k| 1098k| 0.7 | 923M| 57 | 0 | 351 | 313 | 351 | 176 | 16k| 1 |3106 | 5.000000e+00 | -- | Inf
463.70/463.75 c 410s| 1500k| 1499k| 1106k| 0.7 | 929M| 57 | 0 | 351 | 313 | 351 | 176 | 16k| 1 |3121 | 5.000000e+00 | -- | Inf
466.60/466.64 c 412s| 1510k| 1509k| 1115k| 0.7 | 935M| 57 | 0 | 351 | 313 | 351 | 176 | 16k| 1 |3130 | 5.000000e+00 | -- | Inf
469.50/469.55 c 415s| 1520k| 1519k| 1123k| 0.7 | 941M| 57 | 0 | 351 | 313 | 351 | 176 | 16k| 1 |3133 | 5.000000e+00 | -- | Inf
472.40/472.47 c 418s| 1530k| 1529k| 1131k| 0.7 | 947M| 57 | 0 | 351 | 313 | 351 | 176 | 16k| 1 |3148 | 5.000000e+00 | -- | Inf
475.40/475.40 c 420s| 1540k| 1539k| 1138k| 0.7 | 953M| 57 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3171 | 5.000000e+00 | -- | Inf
478.41/478.40 c 423s| 1550k| 1549k| 1146k| 0.7 | 959M| 57 | 0 | 351 | 313 | 351 | 176 | 16k| 1 |3175 | 5.000000e+00 | -- | Inf
481.30/481.35 c 425s| 1560k| 1559k| 1152k| 0.7 | 966M| 57 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3181 | 5.000000e+00 | -- | Inf
484.20/484.25 c 428s| 1570k| 1569k| 1158k| 0.7 | 972M| 57 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3184 | 5.000000e+00 | -- | Inf
487.10/487.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.10/487.20 c 431s| 1580k| 1579k| 1165k| 0.7 | 978M| 57 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3186 | 5.000000e+00 | -- | Inf
490.11/490.12 c 433s| 1590k| 1589k| 1173k| 0.7 | 984M| 57 | 0 | 351 | 313 | 351 | 174 | 16k| 1 |3191 | 5.000000e+00 | -- | Inf
493.00/493.08 c 436s| 1600k| 1599k| 1180k| 0.7 | 990M| 57 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3192 | 5.000000e+00 | -- | Inf
495.91/496.00 c 438s| 1610k| 1609k| 1186k| 0.7 | 996M| 57 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3197 | 5.000000e+00 | -- | Inf
498.90/498.91 c 441s| 1620k| 1619k| 1192k| 0.7 |1002M| 57 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3209 | 5.000000e+00 | -- | Inf
501.80/501.82 c 443s| 1630k| 1629k| 1197k| 0.7 |1008M| 58 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3212 | 5.000000e+00 | -- | Inf
504.70/504.76 c 446s| 1640k| 1639k| 1203k| 0.7 |1014M| 58 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3213 | 5.000000e+00 | -- | Inf
507.60/507.68 c 449s| 1650k| 1649k| 1210k| 0.7 |1021M| 58 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3213 | 5.000000e+00 | -- | Inf
510.60/510.63 c 451s| 1660k| 1659k| 1217k| 0.7 |1027M| 58 | 0 | 351 | 313 | 351 | 174 | 16k| 1 |3213 | 5.000000e+00 | -- | Inf
513.51/513.60 c 454s| 1670k| 1669k| 1224k| 0.7 |1033M| 58 | 0 | 351 | 313 | 351 | 176 | 16k| 1 |3215 | 5.000000e+00 | -- | Inf
516.50/516.57 c 457s| 1680k| 1679k| 1233k| 0.7 |1039M| 58 | 0 | 351 | 313 | 351 | 175 | 16k| 1 |3235 | 5.000000e+00 | -- | Inf
519.50/519.50 c 459s| 1690k| 1689k| 1241k| 0.7 |1045M| 58 | 0 | 351 | 313 | 351 | 176 | 16k| 1 |3243 | 5.000000e+00 | -- | Inf
522.41/522.47 c 462s| 1700k| 1699k| 1249k| 0.7 |1051M| 58 | 0 | 351 | 313 | 351 | 177 | 16k| 1 |3247 | 5.000000e+00 | -- | Inf
525.40/525.46 c 464s| 1710k| 1709k| 1255k| 0.7 |1057M| 58 | 0 | 351 | 313 | 351 | 176 | 16k| 1 |3259 | 5.000000e+00 | -- | Inf
528.40/528.46 c 467s| 1720k| 1719k| 1264k| 0.7 |1063M| 58 | 0 | 351 | 313 | 351 | 176 | 17k| 1 |3282 | 5.000000e+00 | -- | Inf
531.40/531.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.40/531.40 c 470s| 1730k| 1729k| 1270k| 0.7 |1069M| 58 | 0 | 351 | 313 | 351 | 176 | 17k| 1 |3297 | 5.000000e+00 | -- | Inf
534.40/534.40 c 472s| 1740k| 1739k| 1278k| 0.7 |1075M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3309 | 5.000000e+00 | -- | Inf
537.30/537.38 c 475s| 1750k| 1749k| 1287k| 0.7 |1082M| 58 | 0 | 351 | 313 | 351 | 174 | 17k| 1 |3331 | 5.000000e+00 | -- | Inf
540.41/540.44 c 478s| 1760k| 1759k| 1297k| 0.7 |1088M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3338 | 5.000000e+00 | -- | Inf
543.40/543.45 c 480s| 1770k| 1769k| 1306k| 0.7 |1094M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3344 | 5.000000e+00 | -- | Inf
546.30/546.39 c 483s| 1780k| 1779k| 1314k| 0.7 |1100M| 58 | 0 | 351 | 313 | 351 | 176 | 17k| 1 |3360 | 5.000000e+00 | -- | Inf
549.31/549.33 c 485s| 1790k| 1789k| 1323k| 0.7 |1106M| 58 | 0 | 351 | 313 | 351 | 176 | 17k| 1 |3364 | 5.000000e+00 | -- | Inf
552.11/552.19 c 488s| 1800k| 1799k| 1329k| 0.7 |1112M| 58 | 0 | 351 | 313 | 351 | 176 | 17k| 1 |3368 | 5.000000e+00 | -- | Inf
555.10/555.10 c 491s| 1810k| 1809k| 1339k| 0.7 |1118M| 58 | 0 | 351 | 313 | 351 | 174 | 17k| 1 |3380 | 5.000000e+00 | -- | Inf
558.00/558.01 c 493s| 1820k| 1819k| 1348k| 0.7 |1124M| 58 | 0 | 351 | 313 | 351 | 176 | 17k| 1 |3388 | 5.000000e+00 | -- | Inf
560.91/560.91 c 496s| 1830k| 1829k| 1356k| 0.7 |1130M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3393 | 5.000000e+00 | -- | Inf
563.71/563.78 c 498s| 1840k| 1839k| 1363k| 0.7 |1136M| 58 | 0 | 351 | 313 | 351 | 177 | 17k| 1 |3394 | 5.000000e+00 | -- | Inf
566.60/566.65 c 501s| 1850k| 1849k| 1370k| 0.7 |1142M| 58 | 0 | 351 | 313 | 351 | 174 | 17k| 1 |3398 | 5.000000e+00 | -- | Inf
569.51/569.53 c 503s| 1860k| 1859k| 1376k| 0.7 |1148M| 58 | 0 | 351 | 313 | 351 | 174 | 17k| 1 |3406 | 5.000000e+00 | -- | Inf
572.30/572.38 c 506s| 1870k| 1869k| 1381k| 0.7 |1155M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3412 | 5.000000e+00 | -- | Inf
575.21/575.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.21/575.21 c 508s| 1880k| 1879k| 1384k| 0.7 |1161M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3423 | 5.000000e+00 | -- | Inf
578.00/578.01 c 511s| 1890k| 1889k| 1388k| 0.7 |1167M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3425 | 5.000000e+00 | -- | Inf
580.90/580.90 c 513s| 1900k| 1899k| 1392k| 0.7 |1173M| 58 | 0 | 351 | 313 | 351 | 176 | 17k| 1 |3427 | 5.000000e+00 | -- | Inf
583.80/583.81 c 516s| 1910k| 1909k| 1397k| 0.7 |1179M| 58 | 0 | 351 | 313 | 351 | 174 | 17k| 1 |3436 | 5.000000e+00 | -- | Inf
586.70/586.71 c 518s| 1920k| 1919k| 1403k| 0.7 |1185M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3442 | 5.000000e+00 | -- | Inf
589.41/589.50 c 521s| 1930k| 1929k| 1407k| 0.7 |1191M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3452 | 5.000000e+00 | -- | Inf
592.40/592.40 c 523s| 1940k| 1939k| 1413k| 0.7 |1197M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3457 | 5.000000e+00 | -- | Inf
595.30/595.34 c 526s| 1950k| 1949k| 1419k| 0.7 |1203M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3459 | 5.000000e+00 | -- | Inf
598.20/598.30 c 529s| 1960k| 1959k| 1426k| 0.7 |1209M| 58 | 0 | 351 | 313 | 351 | 174 | 17k| 1 |3497 | 5.000000e+00 | -- | Inf
601.10/601.18 c 531s| 1970k| 1969k| 1432k| 0.7 |1215M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3498 | 5.000000e+00 | -- | Inf
604.00/604.07 c 534s| 1980k| 1979k| 1437k| 0.7 |1221M| 58 | 0 | 351 | 313 | 351 | 176 | 17k| 1 |3502 | 5.000000e+00 | -- | Inf
606.90/606.96 c 536s| 1990k| 1989k| 1445k| 0.7 |1227M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3506 | 5.000000e+00 | -- | Inf
609.91/609.91 c 539s| 2000k| 1999k| 1452k| 0.7 |1234M| 58 | 0 | 351 | 313 | 351 | 176 | 17k| 1 |3518 | 5.000000e+00 | -- | Inf
612.81/612.84 c 542s| 2010k| 2009k| 1459k| 0.7 |1240M| 58 | 0 | 351 | 313 | 351 | 174 | 17k| 1 |3598 | 5.000000e+00 | -- | Inf
615.70/615.76 c 544s| 2020k| 2019k| 1465k| 0.7 |1246M| 58 | 0 | 351 | 313 | 351 | 176 | 17k| 1 |3598 | 5.000000e+00 | -- | Inf
618.70/618.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.70/618.70 c 547s| 2030k| 2029k| 1472k| 0.7 |1252M| 58 | 0 | 351 | 313 | 351 | 176 | 17k| 1 |3603 | 5.000000e+00 | -- | Inf
621.61/621.62 c 549s| 2040k| 2039k| 1478k| 0.7 |1258M| 58 | 0 | 351 | 313 | 351 | 175 | 17k| 1 |3617 | 5.000000e+00 | -- | Inf
624.50/624.59 c 552s| 2050k| 2049k| 1485k| 0.7 |1264M| 58 | 0 | 351 | 313 | 351 | 176 | 18k| 1 |3628 | 5.000000e+00 | -- | Inf
627.50/627.59 c 555s| 2060k| 2059k| 1492k| 0.7 |1270M| 58 | 0 | 351 | 313 | 351 | 175 | 18k| 1 |3638 | 5.000000e+00 | -- | Inf
630.41/630.48 c 557s| 2070k| 2069k| 1499k| 0.7 |1276M| 58 | 0 | 351 | 313 | 351 | 175 | 18k| 1 |3641 | 5.000000e+00 | -- | Inf
633.40/633.41 c 560s| 2080k| 2079k| 1507k| 0.7 |1282M| 58 | 0 | 351 | 313 | 351 | 176 | 18k| 1 |3651 | 5.000000e+00 | -- | Inf
636.31/636.32 c 562s| 2090k| 2089k| 1513k| 0.7 |1289M| 58 | 0 | 351 | 313 | 351 | 175 | 18k| 1 |3652 | 5.000000e+00 | -- | Inf
639.21/639.21 c 565s| 2100k| 2099k| 1520k| 0.7 |1295M| 58 | 0 | 351 | 313 | 351 | 175 | 18k| 1 |3660 | 5.000000e+00 | -- | Inf
642.01/642.08 c 567s| 2110k| 2109k| 1527k| 0.7 |1301M| 58 | 0 | 351 | 313 | 351 | 176 | 18k| 1 |3667 | 5.000000e+00 | -- | Inf
644.91/644.96 c 570s| 2120k| 2119k| 1534k| 0.7 |1307M| 58 | 0 | 351 | 313 | 351 | 176 | 18k| 1 |3685 | 5.000000e+00 | -- | Inf
647.81/647.83 c 572s| 2130k| 2129k| 1539k| 0.7 |1313M| 58 | 0 | 351 | 313 | 351 | 174 | 18k| 1 |3692 | 5.000000e+00 | -- | Inf
650.70/650.72 c 575s| 2140k| 2139k| 1544k| 0.7 |1319M| 58 | 0 | 351 | 313 | 351 | 176 | 18k| 1 |3698 | 5.000000e+00 | -- | Inf
653.61/653.61 c 577s| 2150k| 2149k| 1549k| 0.7 |1325M| 59 | 0 | 351 | 313 | 351 | 174 | 18k| 1 |3709 | 5.000000e+00 | -- | Inf
656.40/656.40 c 580s| 2160k| 2159k| 1551k| 0.7 |1331M| 59 | 0 | 351 | 313 | 351 | 174 | 18k| 1 |3714 | 5.000000e+00 | -- | Inf
659.21/659.27 c 582s| 2170k| 2169k| 1554k| 0.7 |1337M| 59 | 0 | 351 | 313 | 351 | 176 | 18k| 1 |3715 | 5.000000e+00 | -- | Inf
662.11/662.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
662.11/662.15 c 585s| 2180k| 2179k| 1557k| 0.7 |1343M| 59 | 0 | 351 | 313 | 351 | 175 | 18k| 1 |3715 | 5.000000e+00 | -- | Inf
664.91/664.97 c 587s| 2190k| 2189k| 1560k| 0.7 |1349M| 59 | 0 | 351 | 313 | 351 | 177 | 18k| 1 |3723 | 5.000000e+00 | -- | Inf
667.91/667.90 c 590s| 2200k| 2199k| 1562k| 0.7 |1355M| 59 | 0 | 351 | 315 | 351 | 177 | 18k| 3 |3724 | 5.000000e+00 | -- | Inf
670.91/670.96 c 593s| 2210k| 2209k| 1564k| 0.7 |1362M| 59 | 0 | 351 | 315 | 351 | 175 | 18k| 3 |3728 | 5.000000e+00 | -- | Inf
673.71/673.78 c 595s| 2220k| 2219k| 1567k| 0.7 |1368M| 62 | 0 | 351 | 314 | 351 | 174 | 18k| 3 |3731 | 5.000000e+00 | -- | Inf
676.70/676.76 c 598s| 2230k| 2229k| 1571k| 0.7 |1374M| 62 | 0 | 351 | 314 | 351 | 174 | 18k| 3 |3740 | 5.000000e+00 | -- | Inf
679.61/679.61 c 600s| 2240k| 2239k| 1576k| 0.7 |1380M| 62 | 0 | 351 | 314 | 351 | 174 | 18k| 3 |3747 | 5.000000e+00 | -- | Inf
682.50/682.56 c 603s| 2250k| 2249k| 1580k| 0.7 |1386M| 62 | 0 | 351 | 314 | 351 | 174 | 18k| 3 |3747 | 5.000000e+00 | -- | Inf
685.41/685.41 c 605s| 2260k| 2259k| 1584k| 0.7 |1392M| 62 | 0 | 351 | 314 | 351 | 175 | 18k| 3 |3748 | 5.000000e+00 | -- | Inf
688.30/688.30 c 608s| 2270k| 2269k| 1590k| 0.7 |1399M| 62 | 0 | 351 | 314 | 351 | 174 | 18k| 3 |3752 | 5.000000e+00 | -- | Inf
691.10/691.19 c 611s| 2280k| 2279k| 1595k| 0.7 |1405M| 62 | 0 | 351 | 314 | 351 | 175 | 18k| 3 |3757 | 5.000000e+00 | -- | Inf
694.01/694.07 c 613s| 2290k| 2289k| 1601k| 0.7 |1411M| 62 | 0 | 351 | 314 | 351 | 176 | 19k| 3 |3759 | 5.000000e+00 | -- | Inf
697.00/697.00 c 616s| 2300k| 2299k| 1606k| 0.7 |1417M| 62 | 0 | 351 | 314 | 351 | 175 | 19k| 3 |3769 | 5.000000e+00 | -- | Inf
699.91/699.96 c 618s| 2310k| 2309k| 1612k| 0.7 |1423M| 62 | 0 | 351 | 314 | 351 | 174 | 19k| 3 |3773 | 5.000000e+00 | -- | Inf
702.91/702.94 c 621s| 2320k| 2319k| 1617k| 0.7 |1429M| 62 | 0 | 351 | 314 | 351 | 176 | 19k| 3 |3773 | 5.000000e+00 | -- | Inf
705.90/705.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.90/705.96 c 624s| 2330k| 2329k| 1624k| 0.7 |1435M| 62 | 0 | 351 | 314 | 351 | 174 | 19k| 3 |3780 | 5.000000e+00 | -- | Inf
709.00/709.02 c 626s| 2340k| 2339k| 1630k| 0.7 |1442M| 62 | 0 | 351 | 314 | 351 | 175 | 19k| 3 |3785 | 5.000000e+00 | -- | Inf
712.01/712.05 c 629s| 2350k| 2349k| 1637k| 0.7 |1448M| 62 | 0 | 351 | 314 | 351 | 177 | 19k| 3 |3796 | 5.000000e+00 | -- | Inf
715.11/715.12 c 632s| 2360k| 2359k| 1643k| 0.7 |1454M| 62 | 0 | 351 | 314 | 351 | 175 | 19k| 3 |3805 | 5.000000e+00 | -- | Inf
718.11/718.13 c 634s| 2370k| 2369k| 1648k| 0.7 |1460M| 62 | 0 | 351 | 314 | 351 | 175 | 19k| 3 |3817 | 5.000000e+00 | -- | Inf
721.10/721.11 c 637s| 2380k| 2379k| 1654k| 0.7 |1466M| 62 | 0 | 351 | 314 | 351 | 175 | 19k| 3 |3819 | 5.000000e+00 | -- | Inf
724.00/724.04 c 640s| 2390k| 2389k| 1658k| 0.7 |1473M| 62 | 0 | 351 | 314 | 351 | 176 | 19k| 3 |3829 | 5.000000e+00 | -- | Inf
726.91/726.99 c 642s| 2400k| 2399k| 1663k| 0.7 |1479M| 62 | 0 | 351 | 314 | 351 | 175 | 19k| 3 |3829 | 5.000000e+00 | -- | Inf
729.90/729.97 c 645s| 2410k| 2409k| 1666k| 0.7 |1485M| 62 | 0 | 351 | 314 | 351 | 176 | 19k| 3 |3842 | 5.000000e+00 | -- | Inf
732.90/732.95 c 647s| 2420k| 2419k| 1669k| 0.7 |1491M| 62 | 0 | 351 | 314 | 351 | 175 | 19k| 3 |3842 | 5.000000e+00 | -- | Inf
735.92/735.98 c 650s| 2430k| 2429k| 1674k| 0.7 |1497M| 62 | 0 | 351 | 314 | 351 | 176 | 19k| 3 |3849 | 5.000000e+00 | -- | Inf
739.01/739.01 c 653s| 2440k| 2439k| 1680k| 0.7 |1504M| 62 | 0 | 351 | 314 | 351 | 176 | 19k| 3 |3865 | 5.000000e+00 | -- | Inf
742.00/742.05 c 656s| 2450k| 2449k| 1684k| 0.7 |1510M| 62 | 0 | 351 | 314 | 351 | 177 | 19k| 3 |3874 | 5.000000e+00 | -- | Inf
745.01/745.09 c 658s| 2460k| 2459k| 1688k| 0.7 |1516M| 62 | 0 | 351 | 314 | 351 | 175 | 19k| 3 |3874 | 5.000000e+00 | -- | Inf
748.11/748.10 c 661s| 2470k| 2469k| 1691k| 0.7 |1522M| 62 | 0 | 351 | 314 | 351 | 175 | 20k| 3 |3876 | 5.000000e+00 | -- | Inf
751.10/751.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
751.10/751.12 c 664s| 2480k| 2479k| 1694k| 0.7 |1528M| 62 | 0 | 351 | 314 | 351 | 175 | 20k| 3 |3879 | 5.000000e+00 | -- | Inf
754.00/754.05 c 666s| 2490k| 2489k| 1700k| 0.7 |1535M| 62 | 0 | 351 | 314 | 351 | 175 | 20k| 3 |3892 | 5.000000e+00 | -- | Inf
757.00/757.05 c 669s| 2500k| 2499k| 1704k| 0.7 |1541M| 62 | 0 | 351 | 314 | 351 | 175 | 20k| 3 |3892 | 5.000000e+00 | -- | Inf
760.01/760.09 c 672s| 2510k| 2509k| 1707k| 0.7 |1547M| 62 | 0 | 351 | 314 | 351 | 176 | 20k| 3 |3892 | 5.000000e+00 | -- | Inf
763.11/763.16 c 674s| 2520k| 2519k| 1711k| 0.7 |1553M| 62 | 0 | 351 | 315 | 351 | 175 | 20k| 4 |3896 | 5.000000e+00 | -- | Inf
766.11/766.19 c 677s| 2530k| 2529k| 1716k| 0.7 |1559M| 62 | 0 | 351 | 314 | 351 | 175 | 20k| 4 |3900 | 5.000000e+00 | -- | Inf
769.21/769.20 c 680s| 2540k| 2539k| 1719k| 0.7 |1566M| 62 | 0 | 351 | 314 | 351 | 176 | 20k| 4 |3904 | 5.000000e+00 | -- | Inf
772.11/772.18 c 682s| 2550k| 2549k| 1722k| 0.7 |1572M| 62 | 0 | 351 | 314 | 351 | 175 | 20k| 4 |3908 | 5.000000e+00 | -- | Inf
775.20/775.20 c 685s| 2560k| 2559k| 1726k| 0.7 |1578M| 62 | 0 | 351 | 314 | 351 | 176 | 20k| 4 |3922 | 5.000000e+00 | -- | Inf
778.20/778.24 c 688s| 2570k| 2569k| 1731k| 0.7 |1584M| 62 | 0 | 351 | 314 | 351 | 175 | 20k| 4 |3926 | 5.000000e+00 | -- | Inf
781.21/781.29 c 690s| 2580k| 2579k| 1734k| 0.7 |1590M| 62 | 0 | 351 | 314 | 351 | 176 | 20k| 4 |3938 | 5.000000e+00 | -- | Inf
784.31/784.34 c 693s| 2590k| 2589k| 1738k| 0.7 |1596M| 62 | 0 | 351 | 314 | 351 | 175 | 20k| 4 |3939 | 5.000000e+00 | -- | Inf
787.31/787.37 c 696s| 2600k| 2599k| 1742k| 0.7 |1603M| 62 | 0 | 351 | 314 | 351 | 177 | 20k| 4 |3948 | 5.000000e+00 | -- | Inf
790.31/790.37 c 698s| 2610k| 2609k| 1746k| 0.7 |1609M| 62 | 0 | 351 | 314 | 351 | 174 | 20k| 4 |3948 | 5.000000e+00 | -- | Inf
793.41/793.41 c 701s| 2620k| 2619k| 1750k| 0.7 |1615M| 62 | 0 | 351 | 313 | 351 | 176 | 20k| 4 |3954 | 5.000000e+00 | -- | Inf
796.31/796.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.31/796.38 c 704s| 2630k| 2629k| 1753k| 0.7 |1621M| 62 | 0 | 351 | 313 | 351 | 174 | 20k| 4 |3954 | 5.000000e+00 | -- | Inf
799.31/799.33 c 706s| 2640k| 2639k| 1756k| 0.7 |1627M| 62 | 0 | 351 | 313 | 351 | 176 | 20k| 4 |3955 | 5.000000e+00 | -- | Inf
802.30/802.31 c 709s| 2650k| 2649k| 1760k| 0.7 |1633M| 62 | 0 | 351 | 313 | 351 | 174 | 20k| 4 |3959 | 5.000000e+00 | -- | Inf
805.31/805.33 c 712s| 2660k| 2659k| 1766k| 0.7 |1640M| 62 | 0 | 351 | 313 | 351 | 176 | 20k| 4 |3965 | 5.000000e+00 | -- | Inf
808.21/808.27 c 714s| 2670k| 2669k| 1771k| 0.7 |1646M| 62 | 0 | 351 | 313 | 351 | 174 | 20k| 4 |3970 | 5.000000e+00 | -- | Inf
811.21/811.21 c 717s| 2680k| 2679k| 1775k| 0.7 |1652M| 62 | 0 | 351 | 313 | 351 | 174 | 20k| 4 |3989 | 5.000000e+00 | -- | Inf
814.10/814.19 c 719s| 2690k| 2689k| 1779k| 0.7 |1658M| 62 | 0 | 351 | 313 | 351 | 174 | 20k| 4 |3996 | 5.000000e+00 | -- | Inf
817.11/817.19 c 722s| 2700k| 2699k| 1784k| 0.7 |1664M| 62 | 0 | 351 | 313 | 351 | 175 | 20k| 4 |4014 | 5.000000e+00 | -- | Inf
820.11/820.18 c 725s| 2710k| 2709k| 1789k| 0.7 |1671M| 62 | 0 | 351 | 313 | 351 | 176 | 20k| 4 |4014 | 5.000000e+00 | -- | Inf
823.20/823.23 c 727s| 2720k| 2719k| 1794k| 0.7 |1677M| 62 | 0 | 351 | 313 | 351 | 174 | 20k| 4 |4018 | 5.000000e+00 | -- | Inf
826.31/826.30 c 730s| 2730k| 2729k| 1800k| 0.7 |1683M| 62 | 0 | 351 | 313 | 351 | 175 | 20k| 4 |4021 | 5.000000e+00 | -- | Inf
829.31/829.38 c 733s| 2740k| 2739k| 1804k| 0.7 |1689M| 62 | 0 | 351 | 313 | 351 | 174 | 20k| 4 |4026 | 5.000000e+00 | -- | Inf
832.41/832.43 c 736s| 2750k| 2749k| 1808k| 0.7 |1695M| 62 | 0 | 351 | 313 | 351 | 176 | 20k| 4 |4032 | 5.000000e+00 | -- | Inf
835.41/835.49 c 738s| 2760k| 2759k| 1812k| 0.7 |1701M| 62 | 0 | 351 | 313 | 351 | 176 | 20k| 4 |4032 | 5.000000e+00 | -- | Inf
838.51/838.53 c 741s| 2770k| 2769k| 1816k| 0.7 |1707M| 62 | 0 | 351 | 313 | 351 | 176 | 21k| 4 |4039 | 5.000000e+00 | -- | Inf
841.41/841.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.41/841.50 c 744s| 2780k| 2779k| 1818k| 0.7 |1714M| 62 | 0 | 351 | 313 | 351 | 175 | 21k| 4 |4039 | 5.000000e+00 | -- | Inf
844.50/844.58 c 746s| 2790k| 2789k| 1822k| 0.7 |1720M| 62 | 0 | 351 | 313 | 351 | 175 | 21k| 4 |4041 | 5.000000e+00 | -- | Inf
847.61/847.69 c 749s| 2800k| 2799k| 1828k| 0.7 |1726M| 62 | 0 | 351 | 313 | 351 | 177 | 21k| 4 |4051 | 5.000000e+00 | -- | Inf
850.80/850.86 c 752s| 2810k| 2809k| 1833k| 0.7 |1732M| 62 | 0 | 351 | 313 | 351 | 175 | 22k| 4 |4076 | 5.000000e+00 | -- | Inf
853.91/853.95 c 755s| 2820k| 2819k| 1838k| 0.7 |1738M| 62 | 0 | 351 | 313 | 351 | 176 | 22k| 4 |4088 | 5.000000e+00 | -- | Inf
856.81/856.90 c 757s| 2830k| 2829k| 1843k| 0.7 |1744M| 62 | 0 | 351 | 313 | 351 | 174 | 23k| 4 |4099 | 5.000000e+00 | -- | Inf
859.71/859.76 c 760s| 2840k| 2839k| 1849k| 0.7 |1750M| 62 | 0 | 351 | 313 | 351 | 175 | 23k| 4 |4126 | 5.000000e+00 | -- | Inf
862.81/862.85 c 763s| 2850k| 2849k| 1854k| 0.7 |1756M| 62 | 0 | 351 | 313 | 351 | 175 | 23k| 4 |4133 | 5.000000e+00 | -- | Inf
865.81/865.87 c 765s| 2860k| 2859k| 1859k| 0.7 |1762M| 62 | 0 | 351 | 313 | 351 | 175 | 24k| 4 |4153 | 5.000000e+00 | -- | Inf
869.02/869.06 c 768s| 2870k| 2869k| 1864k| 0.6 |1768M| 62 | 0 | 351 | 313 | 351 | 177 | 24k| 4 |4179 | 5.000000e+00 | -- | Inf
872.21/872.22 c 771s| 2880k| 2879k| 1869k| 0.6 |1774M| 62 | 0 | 351 | 313 | 351 | 176 | 25k| 4 |4205 | 5.000000e+00 | -- | Inf
875.31/875.38 c 774s| 2890k| 2889k| 1874k| 0.6 |1780M| 62 | 0 | 351 | 313 | 351 | 175 | 26k| 4 |4213 | 5.000000e+00 | -- | Inf
878.61/878.63 c 776s| 2900k| 2899k| 1879k| 0.6 |1786M| 62 | 0 | 351 | 313 | 351 | 176 | 26k| 4 |4233 | 5.000000e+00 | -- | Inf
881.71/881.77 c 779s| 2910k| 2909k| 1884k| 0.6 |1792M| 62 | 0 | 351 | 313 | 351 | 176 | 27k| 4 |4239 | 5.000000e+00 | -- | Inf
884.81/884.83 c 782s| 2920k| 2919k| 1890k| 0.6 |1798M| 62 | 0 | 351 | 313 | 351 | 176 | 28k| 4 |4250 | 5.000000e+00 | -- | Inf
887.81/887.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.81/887.81 c 785s| 2930k| 2929k| 1896k| 0.6 |1804M| 62 | 0 | 351 | 313 | 351 | 176 | 28k| 4 |4258 | 5.000000e+00 | -- | Inf
890.71/890.78 c 787s| 2940k| 2939k| 1902k| 0.6 |1810M| 62 | 0 | 351 | 313 | 351 | 175 | 28k| 4 |4269 | 5.000000e+00 | -- | Inf
893.71/893.74 c 790s| 2950k| 2949k| 1909k| 0.6 |1817M| 62 | 0 | 351 | 313 | 351 | 174 | 28k| 4 |4275 | 5.000000e+00 | -- | Inf
896.81/896.83 c 793s| 2960k| 2959k| 1914k| 0.6 |1823M| 62 | 0 | 351 | 313 | 351 | 175 | 29k| 4 |4280 | 5.000000e+00 | -- | Inf
900.01/900.01 c 795s| 2970k| 2969k| 1920k| 0.6 |1829M| 62 | 0 | 351 | 313 | 351 | 176 | 29k| 4 |4282 | 5.000000e+00 | -- | Inf
903.21/903.27 c 798s| 2980k| 2979k| 1928k| 0.6 |1835M| 62 | 0 | 351 | 313 | 351 | 176 | 30k| 4 |4347 | 5.000000e+00 | -- | Inf
906.51/906.58 c 801s| 2990k| 2989k| 1936k| 0.6 |1841M| 62 | 0 | 351 | 313 | 351 | 174 | 30k| 4 |4369 | 5.000000e+00 | -- | Inf
909.72/909.77 c 804s| 3000k| 2999k| 1944k| 0.6 |1847M| 62 | 0 | 351 | 313 | 351 | 176 | 31k| 4 |4379 | 5.000000e+00 | -- | Inf
912.81/912.83 c 807s| 3010k| 3009k| 1952k| 0.6 |1853M| 62 | 0 | 351 | 313 | 351 | 175 | 31k| 4 |4382 | 5.000000e+00 | -- | Inf
915.91/915.93 c 809s| 3020k| 3019k| 1960k| 0.6 |1859M| 62 | 0 | 351 | 313 | 351 | 175 | 31k| 4 |4387 | 5.000000e+00 | -- | Inf
919.01/919.03 c 812s| 3030k| 3029k| 1968k| 0.6 |1865M| 62 | 0 | 351 | 313 | 351 | 175 | 32k| 4 |4392 | 5.000000e+00 | -- | Inf
922.01/922.09 c 815s| 3040k| 3039k| 1975k| 0.6 |1871M| 62 | 0 | 351 | 313 | 351 | 174 | 32k| 4 |4393 | 5.000000e+00 | -- | Inf
925.12/925.17 c 818s| 3050k| 3049k| 1983k| 0.7 |1878M| 62 | 0 | 351 | 313 | 351 | 174 | 32k| 4 |4395 | 5.000000e+00 | -- | Inf
928.21/928.20 c 820s| 3060k| 3059k| 1989k| 0.7 |1884M| 62 | 0 | 351 | 313 | 351 | 174 | 32k| 4 |4399 | 5.000000e+00 | -- | Inf
931.31/931.31 c 823s| 3070k| 3069k| 1997k| 0.7 |1890M| 62 | 0 | 351 | 313 | 351 | 174 | 32k| 4 |4415 | 5.000000e+00 | -- | Inf
934.41/934.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.41/934.44 c 826s| 3080k| 3079k| 2006k| 0.7 |1896M| 62 | 0 | 351 | 313 | 351 | 177 | 32k| 4 |4418 | 5.000000e+00 | -- | Inf
937.61/937.61 c 829s| 3090k| 3089k| 2016k| 0.7 |1902M| 62 | 0 | 351 | 313 | 351 | 174 | 33k| 4 |4419 | 5.000000e+00 | -- | Inf
940.61/940.67 c 831s| 3100k| 3099k| 2025k| 0.7 |1908M| 62 | 0 | 351 | 313 | 351 | 175 | 33k| 4 |4420 | 6.000000e+00 | -- | Inf
943.61/943.67 c 834s| 3110k| 3109k| 2034k| 0.7 |1914M| 62 | 0 | 351 | 313 | 351 | 177 | 33k| 4 |4421 | 6.000000e+00 | -- | Inf
946.71/946.70 c 837s| 3120k| 3119k| 2041k| 0.7 |1920M| 62 | 0 | 351 | 313 | 351 | 176 | 33k| 4 |4439 | 6.000000e+00 | -- | Inf
949.71/949.70 c 839s| 3130k| 3129k| 2048k| 0.7 |1927M| 62 | 0 | 351 | 313 | 351 | 175 | 33k| 4 |4441 | 6.000000e+00 | -- | Inf
952.71/952.76 c 842s| 3140k| 3139k| 2055k| 0.7 |1933M| 62 | 0 | 351 | 313 | 351 | 174 | 33k| 4 |4449 | 6.000000e+00 | -- | Inf
955.71/955.79 c 845s| 3150k| 3149k| 2062k| 0.7 |1939M| 62 | 0 | 351 | 313 | 351 | 175 | 33k| 4 |4450 | 6.000000e+00 | -- | Inf
958.71/958.75 c 847s| 3160k| 3159k| 2069k| 0.7 |1945M| 62 | 0 | 351 | 313 | 351 | 175 | 33k| 4 |4450 | 6.000000e+00 | -- | Inf
961.71/961.71 c 850s| 3170k| 3169k| 2076k| 0.7 |1951M| 62 | 0 | 351 | 313 | 351 | 176 | 34k| 4 |4457 | 6.000000e+00 | -- | Inf
964.72/964.76 c 853s| 3180k| 3179k| 2083k| 0.7 |1958M| 62 | 0 | 351 | 313 | 351 | 175 | 34k| 4 |4462 | 6.000000e+00 | -- | Inf
967.71/967.75 c 855s| 3190k| 3189k| 2090k| 0.7 |1964M| 62 | 0 | 351 | 313 | 351 | 175 | 34k| 4 |4466 | 6.000000e+00 | -- | Inf
970.71/970.71 c 858s| 3200k| 3199k| 2096k| 0.7 |1970M| 62 | 0 | 351 | 313 | 351 | 175 | 34k| 4 |4470 | 6.000000e+00 | -- | Inf
973.71/973.70 c 861s| 3210k| 3209k| 2103k| 0.7 |1976M| 62 | 0 | 351 | 314 | 351 | 175 | 34k| 5 |4479 | 6.000000e+00 | -- | Inf
976.61/976.62 c 863s| 3220k| 3219k| 2108k| 0.7 |1982M| 62 | 0 | 351 | 314 | 351 | 176 | 34k| 5 |4481 | 6.000000e+00 | -- | Inf
979.51/979.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.51/979.54 c 866s| 3230k| 3229k| 2114k| 0.7 |1988M| 62 | 0 | 351 | 313 | 351 | 175 | 34k| 5 |4485 | 6.000000e+00 | -- | Inf
982.51/982.54 c 868s| 3240k| 3239k| 2120k| 0.7 |1995M| 62 | 0 | 351 | 313 | 351 | 176 | 35k| 5 |4486 | 6.000000e+00 | -- | Inf
985.51/985.54 c 871s| 3250k| 3249k| 2127k| 0.7 |2001M| 62 | 0 | 351 | 313 | 351 | 176 | 35k| 5 |4486 | 6.000000e+00 | -- | Inf
988.50/988.54 c 874s| 3260k| 3259k| 2134k| 0.7 |2007M| 62 | 0 | 351 | 313 | 351 | 177 | 35k| 5 |4486 | 6.000000e+00 | -- | Inf
991.51/991.53 c 876s| 3270k| 3269k| 2140k| 0.7 |2013M| 62 | 0 | 351 | 313 | 351 | 176 | 35k| 5 |4511 | 6.000000e+00 | -- | Inf
994.50/994.59 c 879s| 3280k| 3279k| 2146k| 0.7 |2019M| 62 | 0 | 351 | 313 | 351 | 175 | 35k| 5 |4514 | 6.000000e+00 | -- | Inf
997.51/997.53 c 882s| 3290k| 3289k| 2152k| 0.7 |2025M| 62 | 0 | 351 | 313 | 351 | 177 | 35k| 5 |4519 | 6.000000e+00 | -- | Inf
1000.41/1000.49 c 884s| 3300k| 3299k| 2159k| 0.7 |2032M| 62 | 0 | 351 | 313 | 351 | 175 | 35k| 5 |4524 | 6.000000e+00 | -- | Inf
1003.41/1003.47 c 887s| 3310k| 3309k| 2166k| 0.7 |2038M| 62 | 0 | 351 | 313 | 351 | 175 | 36k| 5 |4528 | 6.000000e+00 | -- | Inf
1006.42/1006.50 c 890s| 3320k| 3319k| 2173k| 0.7 |2044M| 62 | 0 | 351 | 313 | 351 | 174 | 36k| 5 |4537 | 6.000000e+00 | -- | Inf
1009.41/1009.47 c 892s| 3330k| 3329k| 2180k| 0.7 |2050M| 62 | 0 | 351 | 313 | 351 | 176 | 36k| 5 |4539 | 6.000000e+00 | -- | Inf
1012.41/1012.49 c 895s| 3340k| 3339k| 2186k| 0.7 |2056M| 62 | 0 | 351 | 313 | 351 | 176 | 36k| 5 |4540 | 6.000000e+00 | -- | Inf
1015.41/1015.46 c 897s| 3350k| 3349k| 2193k| 0.7 |2062M| 62 | 0 | 351 | 313 | 351 | 175 | 36k| 5 |4546 | 6.000000e+00 | -- | Inf
1018.41/1018.41 c 900s| 3360k| 3359k| 2199k| 0.7 |2069M| 62 | 0 | 351 | 313 | 351 | 176 | 36k| 5 |4551 | 6.000000e+00 | -- | Inf
1021.30/1021.38 c 903s| 3370k| 3369k| 2205k| 0.7 |2075M| 62 | 0 | 351 | 313 | 351 | 175 | 36k| 5 |4554 | 6.000000e+00 | -- | Inf
1024.41/1024.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.41/1024.43 c 905s| 3380k| 3379k| 2211k| 0.7 |2081M| 62 | 0 | 351 | 313 | 351 | 175 | 36k| 5 |4562 | 6.000000e+00 | -- | Inf
1027.51/1027.51 c 908s| 3390k| 3389k| 2217k| 0.7 |2087M| 62 | 0 | 351 | 313 | 351 | 174 | 36k| 5 |4569 | 6.000000e+00 | -- | Inf
1030.51/1030.50 c 911s| 3400k| 3399k| 2222k| 0.7 |2093M| 62 | 0 | 351 | 313 | 351 | 176 | 37k| 5 |4588 | 6.000000e+00 | -- | Inf
1033.41/1033.45 c 913s| 3410k| 3409k| 2226k| 0.7 |2099M| 62 | 0 | 351 | 313 | 351 | 176 | 37k| 5 |4591 | 6.000000e+00 | -- | Inf
1036.41/1036.47 c 916s| 3420k| 3419k| 2232k| 0.7 |2106M| 62 | 0 | 351 | 313 | 351 | 176 | 37k| 5 |4602 | 6.000000e+00 | -- | Inf
1039.41/1039.47 c 919s| 3430k| 3429k| 2237k| 0.7 |2112M| 62 | 0 | 351 | 313 | 351 | 175 | 38k| 5 |4604 | 6.000000e+00 | -- | Inf
1042.41/1042.43 c 921s| 3440k| 3439k| 2243k| 0.7 |2118M| 62 | 0 | 351 | 313 | 351 | 175 | 38k| 5 |4611 | 6.000000e+00 | -- | Inf
1045.41/1045.41 c 924s| 3450k| 3449k| 2248k| 0.7 |2124M| 62 | 0 | 351 | 313 | 351 | 174 | 38k| 5 |4614 | 6.000000e+00 | -- | Inf
1048.41/1048.45 c 927s| 3460k| 3459k| 2254k| 0.7 |2130M| 62 | 0 | 351 | 313 | 351 | 176 | 38k| 5 |4619 | 6.000000e+00 | -- | Inf
1051.51/1051.54 c 929s| 3470k| 3469k| 2261k| 0.7 |2136M| 62 | 0 | 351 | 313 | 351 | 175 | 38k| 5 |4626 | 6.000000e+00 | -- | Inf
1054.61/1054.60 c 932s| 3480k| 3479k| 2267k| 0.7 |2143M| 62 | 0 | 351 | 313 | 351 | 176 | 38k| 5 |4627 | 6.000000e+00 | -- | Inf
1057.61/1057.68 c 935s| 3490k| 3489k| 2273k| 0.7 |2149M| 62 | 0 | 351 | 313 | 351 | 174 | 38k| 5 |4633 | 6.000000e+00 | -- | Inf
1060.71/1060.74 c 938s| 3500k| 3499k| 2280k| 0.7 |2155M| 62 | 0 | 351 | 313 | 351 | 175 | 38k| 5 |4637 | 6.000000e+00 | -- | Inf
1063.72/1063.75 c 940s| 3510k| 3509k| 2286k| 0.7 |2161M| 62 | 0 | 351 | 313 | 351 | 176 | 39k| 5 |4643 | 6.000000e+00 | -- | Inf
1066.71/1066.72 c 943s| 3520k| 3519k| 2291k| 0.7 |2167M| 62 | 0 | 351 | 313 | 351 | 176 | 39k| 5 |4663 | 6.000000e+00 | -- | Inf
1069.71/1069.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.71/1069.74 c 946s| 3530k| 3529k| 2296k| 0.7 |2174M| 62 | 0 | 351 | 313 | 351 | 175 | 40k| 5 |4672 | 6.000000e+00 | -- | Inf
1072.71/1072.75 c 948s| 3540k| 3539k| 2301k| 0.7 |2180M| 62 | 0 | 351 | 313 | 351 | 177 | 40k| 5 |4677 | 6.000000e+00 | -- | Inf
1075.72/1075.79 c 951s| 3550k| 3549k| 2307k| 0.6 |2186M| 62 | 0 | 351 | 313 | 351 | 175 | 40k| 5 |4681 | 6.000000e+00 | -- | Inf
1078.71/1078.77 c 954s| 3560k| 3559k| 2312k| 0.6 |2192M| 62 | 0 | 351 | 313 | 351 | 175 | 40k| 5 |4685 | 6.000000e+00 | -- | Inf
1081.71/1081.74 c 956s| 3570k| 3569k| 2318k| 0.6 |2198M| 62 | 0 | 351 | 313 | 351 | 176 | 40k| 5 |4692 | 6.000000e+00 | -- | Inf
1084.71/1084.71 c 959s| 3580k| 3579k| 2324k| 0.6 |2204M| 62 | 0 | 351 | 313 | 351 | 175 | 41k| 5 |4697 | 6.000000e+00 | -- | Inf
1087.61/1087.69 c 962s| 3590k| 3589k| 2329k| 0.6 |2211M| 62 | 0 | 351 | 313 | 351 | 176 | 41k| 5 |4697 | 6.000000e+00 | -- | Inf
1090.62/1090.65 c 964s| 3600k| 3599k| 2335k| 0.6 |2217M| 62 | 0 | 351 | 313 | 351 | 177 | 41k| 5 |4702 | 6.000000e+00 | -- | Inf
1093.61/1093.66 c 967s| 3610k| 3609k| 2340k| 0.6 |2223M| 62 | 0 | 351 | 313 | 351 | 175 | 42k| 5 |4719 | 6.000000e+00 | -- | Inf
1096.51/1096.56 c 969s| 3620k| 3619k| 2345k| 0.6 |2229M| 62 | 0 | 351 | 313 | 351 | 175 | 42k| 5 |4720 | 6.000000e+00 | -- | Inf
1099.51/1099.51 c 972s| 3630k| 3629k| 2350k| 0.6 |2235M| 62 | 0 | 351 | 313 | 351 | 176 | 42k| 5 |4737 | 6.000000e+00 | -- | Inf
1102.42/1102.45 c 975s| 3640k| 3639k| 2355k| 0.6 |2241M| 62 | 0 | 351 | 313 | 351 | 177 | 42k| 5 |4750 | 6.000000e+00 | -- | Inf
1105.31/1105.40 c 977s| 3650k| 3649k| 2360k| 0.6 |2248M| 62 | 0 | 351 | 313 | 351 | 176 | 42k| 5 |4758 | 6.000000e+00 | -- | Inf
1108.31/1108.35 c 980s| 3660k| 3659k| 2366k| 0.6 |2254M| 62 | 0 | 351 | 313 | 351 | 174 | 42k| 5 |4764 | 6.000000e+00 | -- | Inf
1111.31/1111.38 c 983s| 3670k| 3669k| 2372k| 0.6 |2260M| 62 | 0 | 351 | 313 | 351 | 174 | 42k| 5 |4765 | 6.000000e+00 | -- | Inf
1114.32/1114.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.32/1114.34 c 985s| 3680k| 3679k| 2378k| 0.6 |2266M| 62 | 0 | 351 | 313 | 351 | 175 | 42k| 5 |4773 | 6.000000e+00 | -- | Inf
1117.31/1117.33 c 988s| 3690k| 3689k| 2384k| 0.6 |2272M| 62 | 0 | 351 | 313 | 351 | 177 | 42k| 5 |4774 | 6.000000e+00 | -- | Inf
1120.21/1120.21 c 990s| 3700k| 3699k| 2388k| 0.6 |2278M| 62 | 0 | 351 | 313 | 351 | 175 | 42k| 5 |4775 | 6.000000e+00 | -- | Inf
1123.02/1123.00 c 993s| 3710k| 3709k| 2391k| 0.6 |2284M| 62 | 0 | 351 | 313 | 351 | 176 | 43k| 5 |4775 | 6.000000e+00 | -- | Inf
1125.81/1125.87 c 995s| 3720k| 3719k| 2396k| 0.6 |2290M| 62 | 0 | 351 | 313 | 351 | 175 | 43k| 5 |4779 | 6.000000e+00 | -- | Inf
1128.81/1128.82 c 998s| 3730k| 3729k| 2402k| 0.6 |2296M| 62 | 0 | 351 | 313 | 351 | 174 | 43k| 5 |4784 | 6.000000e+00 | -- | Inf
1131.82/1131.80 c 1001s| 3740k| 3739k| 2408k| 0.6 |2303M| 62 | 0 | 351 | 313 | 351 | 176 | 43k| 5 |4789 | 6.000000e+00 | -- | Inf
1134.71/1134.79 c 1003s| 3750k| 3749k| 2414k| 0.6 |2309M| 62 | 0 | 351 | 313 | 351 | 174 | 43k| 5 |4789 | 6.000000e+00 | -- | Inf
1137.71/1137.77 c 1006s| 3760k| 3759k| 2420k| 0.6 |2315M| 62 | 0 | 351 | 313 | 351 | 174 | 44k| 5 |4793 | 6.000000e+00 | -- | Inf
1140.71/1140.75 c 1008s| 3770k| 3769k| 2427k| 0.6 |2321M| 62 | 0 | 351 | 313 | 351 | 174 | 44k| 5 |4797 | 6.000000e+00 | -- | Inf
1143.61/1143.69 c 1011s| 3780k| 3779k| 2434k| 0.6 |2327M| 62 | 0 | 351 | 313 | 351 | 175 | 44k| 5 |4798 | 6.000000e+00 | -- | Inf
1146.61/1146.61 c 1014s| 3790k| 3789k| 2442k| 0.6 |2333M| 62 | 0 | 351 | 313 | 351 | 174 | 44k| 5 |4803 | 6.000000e+00 | -- | Inf
1149.41/1149.49 c 1016s| 3800k| 3799k| 2450k| 0.6 |2339M| 62 | 0 | 351 | 313 | 351 | 175 | 44k| 5 |4807 | 6.000000e+00 | -- | Inf
1152.41/1152.43 c 1019s| 3810k| 3809k| 2458k| 0.6 |2345M| 62 | 0 | 351 | 313 | 351 | 174 | 44k| 5 |4821 | 6.000000e+00 | -- | Inf
1155.31/1155.37 c 1021s| 3820k| 3819k| 2465k| 0.6 |2351M| 62 | 0 | 351 | 313 | 351 | 175 | 44k| 5 |4822 | 6.000000e+00 | -- | Inf
1158.31/1158.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.31/1158.34 c 1024s| 3830k| 3829k| 2471k| 0.6 |2357M| 62 | 0 | 351 | 313 | 351 | 174 | 45k| 5 |4831 | 6.000000e+00 | -- | Inf
1161.21/1161.23 c 1027s| 3840k| 3839k| 2476k| 0.6 |2363M| 62 | 0 | 351 | 313 | 351 | 175 | 45k| 5 |4843 | 6.000000e+00 | -- | Inf
1164.11/1164.13 c 1029s| 3850k| 3849k| 2481k| 0.6 |2370M| 62 | 0 | 351 | 313 | 351 | 174 | 45k| 5 |4846 | 6.000000e+00 | -- | Inf
1167.02/1167.03 c 1032s| 3860k| 3859k| 2486k| 0.6 |2376M| 62 | 0 | 351 | 313 | 351 | 175 | 45k| 5 |4852 | 6.000000e+00 | -- | Inf
1170.01/1170.02 c 1034s| 3870k| 3869k| 2493k| 0.6 |2382M| 62 | 0 | 351 | 313 | 351 | 176 | 45k| 5 |4852 | 6.000000e+00 | -- | Inf
1172.91/1172.95 c 1037s| 3880k| 3879k| 2499k| 0.6 |2388M| 62 | 0 | 351 | 313 | 351 | 174 | 45k| 5 |4857 | 6.000000e+00 | -- | Inf
1175.81/1175.89 c 1040s| 3890k| 3889k| 2504k| 0.6 |2394M| 62 | 0 | 351 | 313 | 351 | 176 | 45k| 5 |4868 | 6.000000e+00 | -- | Inf
1178.81/1178.82 c 1042s| 3900k| 3899k| 2509k| 0.6 |2400M| 62 | 0 | 351 | 313 | 351 | 174 | 45k| 5 |4870 | 6.000000e+00 | -- | Inf
1181.71/1181.77 c 1045s| 3910k| 3909k| 2515k| 0.6 |2406M| 62 | 0 | 351 | 313 | 351 | 176 | 46k| 5 |4880 | 6.000000e+00 | -- | Inf
1184.62/1184.70 c 1047s| 3920k| 3919k| 2521k| 0.6 |2412M| 62 | 0 | 351 | 313 | 351 | 174 | 46k| 5 |4888 | 6.000000e+00 | -- | Inf
1187.62/1187.69 c 1050s| 3930k| 3929k| 2528k| 0.6 |2419M| 62 | 0 | 351 | 313 | 351 | 175 | 46k| 5 |4903 | 6.000000e+00 | -- | Inf
1190.61/1190.68 c 1053s| 3940k| 3939k| 2534k| 0.6 |2425M| 62 | 0 | 351 | 313 | 351 | 175 | 46k| 5 |4904 | 6.000000e+00 | -- | Inf
1193.71/1193.71 c 1055s| 3950k| 3949k| 2541k| 0.6 |2431M| 62 | 0 | 351 | 313 | 351 | 175 | 46k| 5 |4912 | 6.000000e+00 | -- | Inf
1196.72/1196.70 c 1058s| 3960k| 3959k| 2547k| 0.6 |2437M| 62 | 0 | 351 | 313 | 351 | 175 | 46k| 5 |4920 | 6.000000e+00 | -- | Inf
1199.81/1199.80 c 1061s| 3970k| 3969k| 2553k| 0.6 |2443M| 62 | 0 | 351 | 313 | 351 | 176 | 47k| 5 |4924 | 6.000000e+00 | -- | Inf
1202.81/1202.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.81/1202.83 c 1063s| 3980k| 3979k| 2560k| 0.6 |2449M| 62 | 0 | 351 | 313 | 351 | 176 | 47k| 5 |4932 | 6.000000e+00 | -- | Inf
1205.81/1205.84 c 1066s| 3990k| 3989k| 2565k| 0.6 |2455M| 62 | 0 | 351 | 313 | 351 | 176 | 47k| 5 |4935 | 6.000000e+00 | -- | Inf
1208.82/1208.89 c 1069s| 4000k| 3999k| 2571k| 0.6 |2462M| 62 | 0 | 351 | 313 | 351 | 176 | 48k| 5 |4944 | 6.000000e+00 | -- | Inf
1211.82/1211.89 c 1071s| 4010k| 4009k| 2577k| 0.6 |2468M| 62 | 0 | 351 | 313 | 351 | 176 | 48k| 5 |4947 | 6.000000e+00 | -- | Inf
1214.81/1214.82 c 1074s| 4020k| 4019k| 2582k| 0.6 |2474M| 62 | 0 | 351 | 313 | 351 | 175 | 48k| 5 |4956 | 6.000000e+00 | -- | Inf
1217.72/1217.74 c 1077s| 4030k| 4029k| 2587k| 0.6 |2480M| 62 | 0 | 351 | 313 | 351 | 176 | 49k| 5 |4962 | 6.000000e+00 | -- | Inf
1220.71/1220.71 c 1079s| 4040k| 4039k| 2593k| 0.6 |2486M| 62 | 0 | 351 | 313 | 351 | 176 | 49k| 5 |4967 | 6.000000e+00 | -- | Inf
1223.71/1223.70 c 1082s| 4050k| 4049k| 2598k| 0.6 |2492M| 62 | 0 | 351 | 313 | 351 | 176 | 49k| 5 |4971 | 6.000000e+00 | -- | Inf
1226.72/1226.71 c 1084s| 4060k| 4059k| 2604k| 0.6 |2498M| 62 | 0 | 351 | 313 | 351 | 175 | 50k| 5 |4981 | 6.000000e+00 | -- | Inf
1229.61/1229.69 c 1087s| 4070k| 4069k| 2610k| 0.6 |2505M| 62 | 0 | 351 | 313 | 351 | 175 | 50k| 5 |4991 | 6.000000e+00 | -- | Inf
1232.61/1232.68 c 1090s| 4080k| 4079k| 2616k| 0.6 |2511M| 62 | 0 | 351 | 313 | 351 | 176 | 50k| 5 |4994 | 6.000000e+00 | -- | Inf
1235.61/1235.68 c 1092s| 4090k| 4089k| 2622k| 0.6 |2517M| 62 | 0 | 351 | 313 | 351 | 175 | 50k| 5 |4995 | 6.000000e+00 | -- | Inf
1238.71/1238.73 c 1095s| 4100k| 4099k| 2628k| 0.6 |2523M| 62 | 0 | 351 | 313 | 351 | 175 | 51k| 5 |5002 | 6.000000e+00 | -- | Inf
1241.72/1241.74 c 1098s| 4110k| 4109k| 2634k| 0.6 |2529M| 62 | 0 | 351 | 313 | 351 | 174 | 51k| 5 |5009 | 6.000000e+00 | -- | Inf
1244.61/1244.63 c 1100s| 4120k| 4119k| 2640k| 0.6 |2535M| 62 | 0 | 351 | 313 | 351 | 176 | 51k| 5 |5012 | 6.000000e+00 | -- | Inf
1247.52/1247.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.52/1247.55 c 1103s| 4130k| 4129k| 2646k| 0.6 |2541M| 62 | 0 | 351 | 313 | 351 | 175 | 51k| 5 |5012 | 6.000000e+00 | -- | Inf
1250.41/1250.49 c 1105s| 4140k| 4139k| 2652k| 0.6 |2547M| 62 | 0 | 351 | 313 | 351 | 175 | 51k| 5 |5022 | 6.000000e+00 | -- | Inf
1253.41/1253.42 c 1108s| 4150k| 4149k| 2660k| 0.6 |2553M| 62 | 0 | 351 | 313 | 351 | 174 | 51k| 5 |5032 | 6.000000e+00 | -- | Inf
1256.41/1256.40 c 1111s| 4160k| 4159k| 2667k| 0.6 |2560M| 62 | 0 | 351 | 313 | 351 | 175 | 51k| 5 |5038 | 6.000000e+00 | -- | Inf
1259.42/1259.41 c 1113s| 4170k| 4169k| 2673k| 0.6 |2566M| 62 | 0 | 351 | 313 | 351 | 175 | 52k| 5 |5048 | 6.000000e+00 | -- | Inf
1262.32/1262.36 c 1116s| 4180k| 4179k| 2679k| 0.6 |2572M| 62 | 0 | 351 | 313 | 351 | 175 | 52k| 5 |5052 | 6.000000e+00 | -- | Inf
1265.32/1265.30 c 1119s| 4190k| 4189k| 2685k| 0.6 |2578M| 62 | 0 | 351 | 313 | 351 | 174 | 52k| 5 |5052 | 6.000000e+00 | -- | Inf
1268.22/1268.26 c 1121s| 4200k| 4199k| 2692k| 0.6 |2584M| 62 | 0 | 351 | 313 | 351 | 174 | 52k| 5 |5063 | 6.000000e+00 | -- | Inf
1271.12/1271.17 c 1124s| 4210k| 4209k| 2697k| 0.6 |2590M| 62 | 0 | 351 | 313 | 351 | 177 | 52k| 5 |5066 | 6.000000e+00 | -- | Inf
1274.11/1274.12 c 1126s| 4220k| 4219k| 2703k| 0.6 |2596M| 62 | 0 | 351 | 314 | 351 | 177 | 52k| 6 |5071 | 6.000000e+00 | -- | Inf
1277.02/1277.09 c 1129s| 4230k| 4229k| 2709k| 0.6 |2602M| 62 | 0 | 351 | 313 | 351 | 177 | 52k| 6 |5083 | 6.000000e+00 | -- | Inf
1280.02/1280.04 c 1132s| 4240k| 4239k| 2715k| 0.6 |2609M| 62 | 0 | 351 | 313 | 351 | 175 | 52k| 6 |5088 | 6.000000e+00 | -- | Inf
1282.92/1282.95 c 1134s| 4250k| 4249k| 2721k| 0.6 |2615M| 62 | 0 | 351 | 313 | 351 | 177 | 52k| 6 |5093 | 6.000000e+00 | -- | Inf
1285.93/1285.96 c 1137s| 4260k| 4259k| 2727k| 0.6 |2621M| 62 | 0 | 351 | 313 | 351 | 174 | 53k| 6 |5101 | 6.000000e+00 | -- | Inf
1288.91/1288.90 c 1139s| 4270k| 4269k| 2733k| 0.6 |2627M| 62 | 0 | 351 | 314 | 351 | 177 | 53k| 7 |5104 | 6.000000e+00 | -- | Inf
1291.72/1291.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.72/1291.76 c 1142s| 4280k| 4279k| 2738k| 0.6 |2633M| 62 | 0 | 351 | 313 | 351 | 174 | 53k| 7 |5104 | 6.000000e+00 | -- | Inf
1294.63/1294.68 c 1145s| 4290k| 4289k| 2743k| 0.6 |2639M| 62 | 0 | 351 | 313 | 351 | 174 | 53k| 7 |5108 | 6.000000e+00 | -- | Inf
1297.61/1297.63 c 1147s| 4300k| 4299k| 2749k| 0.6 |2645M| 62 | 0 | 351 | 313 | 351 | 175 | 53k| 7 |5111 | 6.000000e+00 | -- | Inf
1300.41/1300.40 c 1150s| 4310k| 4309k| 2754k| 0.6 |2651M| 62 | 0 | 351 | 313 | 351 | 175 | 53k| 7 |5111 | 6.000000e+00 | -- | Inf
1303.32/1303.32 c 1152s| 4320k| 4319k| 2759k| 0.6 |2657M| 62 | 0 | 351 | 313 | 351 | 175 | 53k| 7 |5116 | 6.000000e+00 | -- | Inf
1306.22/1306.28 c 1155s| 4330k| 4329k| 2765k| 0.6 |2664M| 62 | 0 | 351 | 313 | 351 | 175 | 53k| 7 |5125 | 6.000000e+00 | -- | Inf
1309.12/1309.18 c 1157s| 4340k| 4339k| 2770k| 0.6 |2670M| 62 | 0 | 351 | 313 | 351 | 175 | 53k| 7 |5126 | 6.000000e+00 | -- | Inf
1311.92/1311.91 c 1160s| 4350k| 4349k| 2775k| 0.6 |2676M| 62 | 0 | 351 | 313 | 351 | 175 | 54k| 7 |5127 | 6.000000e+00 | -- | Inf
1314.71/1314.77 c 1162s| 4360k| 4359k| 2780k| 0.6 |2682M| 62 | 0 | 351 | 313 | 351 | 175 | 54k| 7 |5139 | 6.000000e+00 | -- | Inf
1317.72/1317.76 c 1165s| 4370k| 4369k| 2785k| 0.6 |2688M| 62 | 0 | 351 | 313 | 351 | 176 | 54k| 7 |5139 | 6.000000e+00 | -- | Inf
1320.72/1320.74 c 1168s| 4380k| 4379k| 2791k| 0.6 |2694M| 62 | 0 | 351 | 313 | 351 | 174 | 54k| 7 |5139 | 6.000000e+00 | -- | Inf
1323.61/1323.65 c 1170s| 4390k| 4389k| 2796k| 0.6 |2700M| 62 | 0 | 351 | 313 | 351 | 175 | 54k| 7 |5142 | 6.000000e+00 | -- | Inf
1326.42/1326.46 c 1173s| 4400k| 4399k| 2800k| 0.6 |2706M| 62 | 0 | 351 | 313 | 351 | 175 | 54k| 7 |5148 | 6.000000e+00 | -- | Inf
1329.31/1329.36 c 1175s| 4410k| 4409k| 2806k| 0.6 |2712M| 62 | 0 | 351 | 313 | 351 | 174 | 54k| 7 |5150 | 6.000000e+00 | -- | Inf
1332.22/1332.24 c 1178s| 4420k| 4419k| 2811k| 0.6 |2719M| 62 | 0 | 351 | 313 | 351 | 175 | 55k| 7 |5153 | 6.000000e+00 | -- | Inf
1335.02/1335.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.02/1335.04 c 1180s| 4430k| 4429k| 2815k| 0.6 |2725M| 62 | 0 | 351 | 313 | 351 | 175 | 55k| 7 |5153 | 6.000000e+00 | -- | Inf
1337.82/1337.86 c 1183s| 4440k| 4439k| 2820k| 0.6 |2731M| 62 | 0 | 351 | 313 | 351 | 174 | 55k| 7 |5159 | 6.000000e+00 | -- | Inf
1340.71/1340.75 c 1185s| 4450k| 4449k| 2826k| 0.6 |2737M| 62 | 0 | 351 | 313 | 351 | 176 | 55k| 7 |5162 | 6.000000e+00 | -- | Inf
1343.62/1343.68 c 1188s| 4460k| 4459k| 2831k| 0.6 |2743M| 62 | 0 | 351 | 313 | 351 | 176 | 55k| 7 |5164 | 6.000000e+00 | -- | Inf
1346.52/1346.54 c 1190s| 4470k| 4469k| 2837k| 0.6 |2749M| 62 | 0 | 351 | 313 | 351 | 175 | 55k| 7 |5167 | 6.000000e+00 | -- | Inf
1349.52/1349.52 c 1193s| 4480k| 4479k| 2842k| 0.6 |2755M| 62 | 0 | 351 | 313 | 351 | 175 | 55k| 7 |5169 | 6.000000e+00 | -- | Inf
1352.42/1352.43 c 1196s| 4490k| 4489k| 2847k| 0.6 |2761M| 62 | 0 | 351 | 313 | 351 | 176 | 55k| 7 |5172 | 6.000000e+00 | -- | Inf
1355.23/1355.29 c 1198s| 4500k| 4499k| 2853k| 0.6 |2767M| 62 | 0 | 351 | 313 | 351 | 175 | 55k| 7 |5177 | 6.000000e+00 | -- | Inf
1358.11/1358.16 c 1201s| 4510k| 4509k| 2859k| 0.6 |2773M| 62 | 0 | 351 | 313 | 351 | 174 | 56k| 7 |5197 | 6.000000e+00 | -- | Inf
1361.12/1361.10 c 1203s| 4520k| 4519k| 2865k| 0.6 |2779M| 62 | 0 | 351 | 313 | 351 | 175 | 56k| 7 |5197 | 6.000000e+00 | -- | Inf
1364.02/1364.01 c 1206s| 4530k| 4529k| 2870k| 0.6 |2786M| 62 | 0 | 351 | 313 | 351 | 174 | 56k| 7 |5200 | 6.000000e+00 | -- | Inf
1366.91/1366.90 c 1208s| 4540k| 4539k| 2876k| 0.6 |2792M| 62 | 0 | 351 | 313 | 351 | 174 | 56k| 7 |5200 | 6.000000e+00 | -- | Inf
1369.82/1369.82 c 1211s| 4550k| 4549k| 2881k| 0.6 |2798M| 62 | 0 | 351 | 313 | 351 | 175 | 56k| 7 |5203 | 6.000000e+00 | -- | Inf
1372.72/1372.74 c 1214s| 4560k| 4559k| 2887k| 0.6 |2804M| 62 | 0 | 351 | 313 | 351 | 174 | 56k| 7 |5203 | 6.000000e+00 | -- | Inf
1375.52/1375.58 c 1216s| 4570k| 4569k| 2892k| 0.6 |2810M| 62 | 0 | 351 | 313 | 351 | 174 | 56k| 7 |5206 | 6.000000e+00 | -- | Inf
1378.42/1378.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.42/1378.47 c 1219s| 4580k| 4579k| 2897k| 0.6 |2816M| 62 | 0 | 351 | 313 | 351 | 174 | 56k| 7 |5206 | 6.000000e+00 | -- | Inf
1381.31/1381.30 c 1221s| 4590k| 4589k| 2902k| 0.6 |2822M| 62 | 0 | 351 | 313 | 351 | 174 | 56k| 7 |5209 | 6.000000e+00 | -- | Inf
1384.12/1384.10 c 1224s| 4600k| 4599k| 2906k| 0.6 |2828M| 62 | 0 | 351 | 313 | 351 | 174 | 57k| 7 |5209 | 6.000000e+00 | -- | Inf
1386.92/1386.95 c 1226s| 4610k| 4609k| 2911k| 0.6 |2834M| 62 | 0 | 351 | 313 | 351 | 174 | 57k| 7 |5212 | 6.000000e+00 | -- | Inf
1389.82/1389.81 c 1229s| 4620k| 4619k| 2915k| 0.6 |2841M| 62 | 0 | 351 | 313 | 351 | 174 | 57k| 7 |5214 | 6.000000e+00 | -- | Inf
1392.82/1392.81 c 1231s| 4630k| 4629k| 2921k| 0.6 |2847M| 62 | 0 | 351 | 313 | 351 | 176 | 57k| 7 |5240 | 6.000000e+00 | -- | Inf
1395.82/1395.82 c 1234s| 4640k| 4639k| 2927k| 0.6 |2853M| 62 | 0 | 351 | 313 | 351 | 176 | 57k| 7 |5243 | 6.000000e+00 | -- | Inf
1398.72/1398.71 c 1236s| 4650k| 4649k| 2932k| 0.6 |2859M| 62 | 0 | 351 | 313 | 351 | 174 | 57k| 7 |5249 | 6.000000e+00 | -- | Inf
1401.52/1401.57 c 1239s| 4660k| 4659k| 2937k| 0.6 |2865M| 62 | 0 | 351 | 313 | 351 | 176 | 57k| 7 |5251 | 6.000000e+00 | -- | Inf
1403.12/1403.17 c (node 4665535) switching to memory saving mode (mem: 2736.0M/3420.0M)
1403.82/1403.85 o 30
1403.82/1403.85 c *1241s| 4665k| 4665k| 2940k| 0.6 |2868M| 128 | - | 351 | 313 | 351 | 175 | 57k| 7 |5253 | 6.000000e+00 | 3.000000e+01 | 400.00%
1403.92/1403.92 o 29
1403.92/1403.92 c *1241s| 4665k| 4665k| 2940k| 0.6 |2868M| 128 | - | 351 | 313 | 351 | 175 | 57k| 7 |5253 | 6.000000e+00 | 2.900000e+01 | 383.33%
1404.12/1404.17 o 27
1404.12/1404.17 c *1241s| 4666k| 4665k| 2940k| 0.6 |2869M| 144 | - | 351 |2357 | 351 | 174 | 57k|2051 |5253 | 6.000000e+00 | 2.700000e+01 | 350.00%
1404.22/1404.28 o 26
1404.22/1404.28 c *1241s| 4666k| 4665k| 2940k| 0.6 |2869M| 144 | - | 351 |2588 | 351 | 174 | 57k|2283 |5253 | 6.000000e+00 | 2.600000e+01 | 333.33%
1404.32/1404.36 o 25
1404.32/1404.36 c *1242s| 4666k| 4665k| 2940k| 0.6 |2869M| 144 | - | 351 |2618 | 351 | 174 | 57k|2313 |5253 | 6.000000e+00 | 2.500000e+01 | 316.67%
1405.83/1405.87 c 1243s| 4670k| 4665k| 2942k| 0.6 |2873M| 144 | - | 351 | 14k| 0 | 0 | 57k| 16k|5253 | 6.000000e+00 | 2.500000e+01 | 316.67%
1407.82/1407.82 o 24
1407.82/1407.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.82/1407.82 c *1245s| 4674k| 4665k| 2945k| 0.6 |2876M| 144 | - | 351 | 27k| 351 | 175 | 57k| 33k|5253 | 6.000000e+00 | 2.400000e+01 | 300.00%
1408.62/1408.60 o 23
1408.62/1408.60 c *1245s| 4675k| 4665k| 2945k| 0.6 |2878M| 144 | - | 351 | 31k| 351 | 174 | 57k| 37k|5253 | 6.000000e+00 | 2.300000e+01 | 283.33%
1411.52/1411.57 c 1248s| 4680k| 4665k| 2949k| 0.6 |2879M| 144 | - | 351 | 31k| 0 | 0 | 57k| 55k|5256 | 6.000000e+00 | 2.300000e+01 | 283.33%
1419.12/1419.13 c 1255s| 4690k| 4665k| 2957k| 0.6 |2882M| 144 | - | 351 | 40k| 0 | 0 | 57k| 98k|5256 | 6.000000e+00 | 2.300000e+01 | 283.33%
1427.72/1427.71 c 1264s| 4700k| 4664k| 2965k| 0.6 |2885M| 144 | 0 | 351 | 48k| 351 | 175 | 57k| 141k|5256 | 6.000000e+00 | 2.300000e+01 | 283.33%
1436.63/1436.67 o 22
1436.63/1436.67 c *1272s| 4709k| 4664k| 2975k| 0.6 |2888M| 144 | - | 351 | 53k| 351 | 175 | 57k| 189k|5256 | 6.000000e+00 | 2.200000e+01 | 266.67%
1436.72/1436.73 c 1272s| 4710k| 4664k| 2975k| 0.6 |2888M| 144 | 0 | 351 | 53k| 351 | 175 | 57k| 190k|5256 | 6.000000e+00 | 2.200000e+01 | 266.67%
1447.72/1447.74 c 1283s| 4720k| 4664k| 2983k| 0.6 |2889M| 144 | 0 | 351 | 53k| 351 | 175 | 57k| 236k|5256 | 6.000000e+00 | 2.200000e+01 | 266.67%
1460.52/1460.51 c 1295s| 4730k| 4663k| 2992k| 0.6 |2890M| 144 | 0 | 351 | 58k| 351 | 175 | 57k| 284k|5256 | 6.000000e+00 | 2.200000e+01 | 266.67%
1470.82/1470.82 c 1305s| 4740k| 4663k| 3002k| 0.6 |2890M| 144 | 0 | 351 | 56k| 351 | 176 | 58k| 331k|5256 | 6.000000e+00 | 2.200000e+01 | 266.67%
1482.62/1482.63 c 1316s| 4750k| 4663k| 3010k| 0.6 |2891M| 144 | 0 | 351 | 58k| 351 | 175 | 58k| 377k|5256 | 6.000000e+00 | 2.200000e+01 | 266.67%
1497.22/1497.28 c 1330s| 4760k| 4663k| 3018k| 0.6 |2893M| 144 | 0 | 351 | 65k| 351 | 175 | 58k| 427k|5256 | 6.000000e+00 | 2.200000e+01 | 266.67%
1507.72/1507.76 c 1340s| 4770k| 4663k| 3026k| 0.6 |2891M| 144 | - | 351 | 55k| 0 | 0 | 58k| 469k|5256 | 6.000000e+00 | 2.200000e+01 | 266.67%
1518.63/1518.66 c 1351s| 4780k| 4662k| 3036k| 0.6 |2892M| 144 | 0 | 351 | 58k| 351 | 175 | 58k| 512k|5256 | 6.000000e+00 | 2.200000e+01 | 266.67%
1531.53/1531.60 c 1363s| 4790k| 4662k| 3042k| 0.6 |2893M| 144 | 0 | 351 | 59k| 351 | 176 | 58k| 557k|5256 | 6.000000e+00 | 2.200000e+01 | 266.67%
1549.02/1549.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.02/1549.04 c 1380s| 4800k| 4662k| 3049k| 0.6 |2894M| 144 | 0 | 351 | 65k| 351 | 175 | 58k| 606k|5256 | 6.000000e+00 | 2.200000e+01 | 266.67%
1560.62/1560.60 c 1391s| 4810k| 4662k| 3057k| 0.6 |2894M| 144 | 0 | 351 | 63k| 351 | 175 | 58k| 653k|5267 | 6.000000e+00 | 2.200000e+01 | 266.67%
1573.13/1573.15 c 1404s| 4820k| 4661k| 3066k| 0.6 |2895M| 144 | 0 | 351 | 66k| 351 | 175 | 58k| 700k|5267 | 6.000000e+00 | 2.200000e+01 | 266.67%
1586.32/1586.30 c 1416s| 4830k| 4661k| 3075k| 0.6 |2892M| 144 | - | 351 | 52k| 0 | 0 | 58k| 743k|5267 | 6.000000e+00 | 2.200000e+01 | 266.67%
1599.33/1599.38 c 1429s| 4840k| 4661k| 3082k| 0.6 |2895M| 144 | 0 | 351 | 64k| 351 | 175 | 58k| 789k|5267 | 6.000000e+00 | 2.200000e+01 | 266.67%
1618.33/1618.35 c 1447s| 4850k| 4660k| 3089k| 0.6 |2897M| 144 | - | 351 | 74k| 0 | 0 | 58k| 836k|5267 | 6.000000e+00 | 2.200000e+01 | 266.67%
1636.73/1636.73 c 1465s| 4860k| 4660k| 3097k| 0.6 |2894M| 144 | - | 351 | 60k| 0 | 0 | 58k| 883k|5267 | 6.000000e+00 | 2.200000e+01 | 266.67%
1649.42/1649.45 c 1478s| 4870k| 4660k| 3106k| 0.6 |2894M| 144 | 0 | 351 | 59k| 351 | 175 | 58k| 928k|5267 | 6.000000e+00 | 2.200000e+01 | 266.67%
1662.03/1662.06 c 1490s| 4880k| 4660k| 3115k| 0.6 |2895M| 144 | - | 351 | 58k| 0 | 0 | 58k| 971k|5267 | 6.000000e+00 | 2.200000e+01 | 266.67%
1675.53/1675.58 c 1503s| 4890k| 4660k| 3124k| 0.6 |2894M| 144 | 0 | 351 | 56k| 351 | 175 | 58k|1016k|5269 | 6.000000e+00 | 2.200000e+01 | 266.67%
1688.12/1688.16 c 1515s| 4900k| 4660k| 3133k| 0.6 |2895M| 144 | 0 | 351 | 59k| 351 | 175 | 58k|1060k|5269 | 6.000000e+00 | 2.200000e+01 | 266.67%
1701.73/1701.78 c 1528s| 4910k| 4659k| 3140k| 0.6 |2894M| 144 | 0 | 351 | 57k| 351 | 175 | 58k|1103k|5269 | 6.000000e+00 | 2.200000e+01 | 266.67%
1716.22/1716.21 c 1542s| 4920k| 4659k| 3146k| 0.6 |2897M| 144 | 0 | 351 | 69k| 351 | 176 | 58k|1149k|5269 | 6.000000e+00 | 2.200000e+01 | 266.67%
1734.52/1734.60 c 1560s| 4930k| 4659k| 3153k| 0.6 |2899M| 144 | 0 | 351 | 80k| 351 | 176 | 58k|1194k|5269 | 6.000000e+00 | 2.200000e+01 | 266.67%
1758.93/1758.98 c 1584s| 4940k| 4658k| 3159k| 0.6 |2902M| 144 | 0 | 351 | 92k| 351 | 176 | 58k|1239k|5269 | 6.000000e+00 | 2.200000e+01 | 266.67%
1781.33/1781.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.33/1781.32 c 1606s| 4950k| 4658k| 3168k| 0.6 |2897M| 144 | - | 351 | 68k| 0 | 0 | 58k|1286k|5269 | 6.000000e+00 | 2.200000e+01 | 266.67%
1795.53/1795.59 c 1620s| 4960k| 4657k| 3176k| 0.6 |2894M| 144 | - | 351 | 51k| 0 | 0 | 59k|1334k|5269 | 6.000000e+00 | 2.200000e+01 | 266.67%
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1623.78
1800.04/1800.00 c Solving Nodes : 4963493
1800.04/1800.00 c Primal Bound : +2.20000000000000e+01 (8 solutions)
1800.04/1800.00 c Dual Bound : +6.00000000000000e+00
1800.04/1800.00 c Gap : 266.67 %
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x80 x79 x78 -x77 -x76 x75 x74 -x73 x72 -x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 x60 -x59 x58 -x57 -x56 x55 x54 -x53 x52
1800.04/1800.01 v -x51 x50 -x49 x48 -x47 -x46 x45 x44 -x43 x42 -x41 -x40 x39 x38 -x37 x36 -x35 -x34 x33 x32 -x31 x30 -x29 -x28 x27 x26 -x25
1800.04/1800.01 v -x24 x23 -x22 x21 -x20 x19 x18 -x17 -x16 x15 -x14 x13 x12 -x11 -x10 x9 -x8 x7 -x6 x5 x4 -x3 x2 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1623.78
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700549-1278535682.wbo
1800.04/1800.01 c Variables : 392 (236 binary, 0 integer, 0 implicit integer, 156 continuous)
1800.04/1800.01 c Constraints : 353 initial, 353 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2700549-1278535682.wbo
1800.04/1800.01 c Variables : 351 (195 binary, 0 integer, 0 implicit integer, 156 continuous)
1800.04/1800.01 c Constraints : 313 initial, 94457 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.01 0 40 0 156 0 40 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 4904926 0 0 2 0 0 17554
1800.04/1800.01 c indicator : 156 0 9039732 4896143 0 8740 11948423 0 0 0
1800.04/1800.01 c knapsack : 1 6 9030997 4896148 0 0 0 0 0 0
1800.04/1800.01 c linear : 156 6 9030905 4896065 0 95138 5207154 59013 0 0
1800.04/1800.01 c logicor : 0+ 0 529815 0 0 1374 680851 0 0 0
1800.04/1800.01 c countsols : 0 0 0 4837500 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 1.88 0.00 0.00 1.88 0.00
1800.04/1800.01 c indicator : 63.11 0.01 23.59 39.51 0.00
1800.04/1800.01 c knapsack : 39.80 0.00 39.69 0.11 0.00
1800.04/1800.01 c linear : 42.44 0.00 35.43 7.01 0.00
1800.04/1800.01 c logicor : 130.69 0.00 130.69 0.00 0.00
1800.04/1800.01 c countsols : 0.04 0.00 0.00 0.04 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.20 2 0 0
1800.04/1800.01 c rootredcost : 0.08 8 0 0
1800.04/1800.01 c pseudoobj : 67.06 9097340 57803 6185376
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 7.49 154315 154309 1412915 29.4 1064102 3.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.68 8023 8023 87455 27.9 60162 3.0 -
1800.04/1800.01 c applied globally : - - - 1345916 7.3 - - -
1800.04/1800.01 c applied locally : - - - 3462 32.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 4 - - 23 - (maximal pool size: 139)
1800.04/1800.01 c redcost : 33.65 4914994 0 1002241 0 0
1800.04/1800.01 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.01 5 0 0 168 0
1800.04/1800.01 c strongcg : 0.00 5 0 0 0 0
1800.04/1800.01 c cmir : 0.00 5 0 0 3 0
1800.04/1800.01 c flowcover : 0.01 5 0 0 5 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 1.73 8778 0 2 0 0 17554
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 63.35 4837492 0 0 0 0 9674984
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.51 - 8
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c guideddiving : 0.01 0 0
1800.04/1800.01 c oneopt : 0.56 8 0
1800.04/1800.01 c intshifting : 0.03 11 0
1800.04/1800.01 c crossover : 0.16 6 0
1800.04/1800.01 c feaspump : 0.06 35 0
1800.04/1800.01 c linesearchdiving : 35.39 365059 0
1800.04/1800.01 c coefdiving : 35.04 366618 0
1800.04/1800.01 c pscostdiving : 34.23 369955 0
1800.04/1800.01 c fracdiving : 33.87 371466 0
1800.04/1800.01 c veclendiving : 32.85 371485 0
1800.04/1800.01 c objpscostdiving : 29.66 309541 0
1800.04/1800.01 c rootsoldiving : 31.11 315128 0
1800.04/1800.01 c trivial : 0.00 2 0
1800.04/1800.01 c simplerounding : 0.14 0 0
1800.04/1800.01 c zirounding : 0.12 1000 0
1800.04/1800.01 c rounding : 0.09 1233 0
1800.04/1800.01 c shifting : 0.02 365 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.08 0 0
1800.04/1800.01 c trysol : 28.10 395004 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 513.59 758998 3179299 4.19 6190.34
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.02 81 599 7.40 29950.00
1800.04/1800.01 c strong branching : 1.70 5269 29828 5.66 17545.88
1800.04/1800.01 c (at root node) : - 27 398 14.74 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 4963493
1800.04/1800.01 c nodes (total) : 4963493
1800.04/1800.01 c nodes left : 4657984
1800.04/1800.01 c max depth : 144
1800.04/1800.01 c max depth (total): 144
1800.04/1800.01 c backtracks : 484884 (9.8%)
1800.04/1800.01 c delayed cutoffs : 70941
1800.04/1800.01 c repropagations : 121042 (4885496 domain reductions, 53862 cutoffs)
1800.04/1800.01 c avg switch length: 4.50
1800.04/1800.01 c switching time : 154.04
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 8 (8 improvements)
1800.04/1800.01 c First Solution : +3.00000000000000e+01 (in run 1, after 4665642 nodes, 1240.96 seconds, depth 128, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +2.20000000000000e+01 (in run 1, after 4709957 nodes, 1271.94 seconds, depth 73, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +6.00000000000000e+00
1800.04/1800.01 c Gap : 266.67 %
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 180
OK 22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700549-1278535682/watcher-2700549-1278535682 -o /tmp/evaluation-result-2700549-1278535682/solver-2700549-1278535682 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700549-1278535682.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.03 2.01 1.70 4/178 20715 /proc/meminfo: memFree=28754436/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=10984 CPUtime=0 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 1667 0 0 0 0 0 0 0 24 0 1 0 21781162 11247616 1587 4089446400 4194304 9819077 140736152171824 18446744073709551615 4325415 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20715/statm: 2746 1587 392 1374 0 1367 0 [startup+0.0959599 s] /proc/loadavg: 2.03 2.01 1.70 4/178 20715 /proc/meminfo: memFree=28754436/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=18476 CPUtime=0.09 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7335 0 0 0 8 1 0 0 24 0 1 0 21781162 18919424 3365 4089446400 4194304 9819077 140736152171824 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20715/statm: 4619 3365 709 1374 0 3240 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18476 [startup+0.10096 s] /proc/loadavg: 2.03 2.01 1.70 4/178 20715 /proc/meminfo: memFree=28754436/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=18476 CPUtime=0.09 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7379 0 0 0 8 1 0 0 24 0 1 0 21781162 18919424 3365 4089446400 4194304 9819077 140736152171824 18446744073709551615 6197472 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20715/statm: 4619 3365 709 1374 0 3240 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18476 [startup+0.300939 s] /proc/loadavg: 2.03 2.01 1.70 4/178 20715 /proc/meminfo: memFree=28754436/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=17880 CPUtime=0.29 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 8073 0 0 0 28 1 0 0 25 0 1 0 21781162 18309120 3380 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20715/statm: 4470 3380 710 1374 0 3091 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17880 [startup+0.700857 s] /proc/loadavg: 2.03 2.01 1.70 4/178 20715 /proc/meminfo: memFree=28754436/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=18968 CPUtime=0.69 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 9129 0 0 0 64 5 0 0 25 0 1 0 21781162 19423232 3532 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20715/statm: 4742 3532 710 1374 0 3363 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18968 [startup+1.50073 s] /proc/loadavg: 2.03 2.01 1.70 3/179 20716 /proc/meminfo: memFree=28742748/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=21476 CPUtime=1.49 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 12611 0 0 0 140 9 0 0 25 0 1 0 21781162 21991424 4128 4089446400 4194304 9819077 140736152171824 18446744073709551615 4560478 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20715/statm: 5369 4128 710 1374 0 3990 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21476 [startup+3.10043 s] /proc/loadavg: 2.03 2.01 1.70 3/179 20716 /proc/meminfo: memFree=28739524/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=24964 CPUtime=3.09 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 19044 0 0 0 291 18 0 0 25 0 1 0 21781162 25563136 4962 4089446400 4194304 9819077 140736152171824 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20715/statm: 6241 4962 710 1374 0 4862 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24964 [startup+6.30087 s] /proc/loadavg: 2.02 2.01 1.70 3/179 20716 /proc/meminfo: memFree=28731836/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=33676 CPUtime=6.29 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 31484 0 0 0 593 36 0 0 25 0 1 0 21781162 34484224 7136 4089446400 4194304 9819077 140736152171824 18446744073709551615 6161993 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20715/statm: 8419 7136 710 1374 0 7040 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33676 [startup+12.7008 s] /proc/loadavg: 2.02 2.00 1.70 3/179 20716 /proc/meminfo: memFree=28716376/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=46616 CPUtime=12.7 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 48510 0 0 0 1199 71 0 0 25 0 1 0 21781162 47734784 10501 4089446400 4194304 9819077 140736152171824 18446744073709551615 6371669 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20715/statm: 11697 10502 710 1374 0 10318 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 46616 [startup+25.5005 s] /proc/loadavg: 2.02 2.00 1.71 3/179 20717 /proc/meminfo: memFree=28686504/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=73544 CPUtime=25.49 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 103506 0 0 0 2410 139 0 0 25 0 1 0 21781162 75309056 16841 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20715/statm: 18386 16841 710 1374 0 17007 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 73544 [startup+51.101 s] /proc/loadavg: 2.01 2.00 1.71 4/179 20792 /proc/meminfo: memFree=29606028/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=122928 CPUtime=51.1 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 233579 0 0 0 4771 339 0 0 25 0 1 0 21781162 125878272 29511 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 30732 29511 710 1374 0 29353 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 122928 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.73 4/179 20793 /proc/meminfo: memFree=29461404/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=233308 CPUtime=102.29 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 480609 0 0 0 9244 985 0 0 25 0 1 0 21781162 238907392 56759 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 58327 56759 710 1374 0 56948 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 233308 [startup+162.3 s] /proc/loadavg: 2.12 2.03 1.75 4/179 20794 /proc/meminfo: memFree=29301736/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=356124 CPUtime=162.29 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 815572 0 0 0 14496 1733 0 0 25 0 1 0 21781162 364670976 86159 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 89031 86159 710 1374 0 87652 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 356124 [startup+222.301 s] /proc/loadavg: 2.04 2.02 1.76 4/179 20796 /proc/meminfo: memFree=29135500/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=476748 CPUtime=222.3 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 1116522 0 0 0 19747 2483 0 0 25 0 1 0 21781162 488189952 117079 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 119187 117079 710 1374 0 117808 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 476748 [startup+282.3 s] /proc/loadavg: 2.01 2.02 1.77 4/179 20798 /proc/meminfo: memFree=28980296/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=597640 CPUtime=282.3 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 1399077 0 0 0 25004 3226 0 0 25 0 1 0 21781162 611983360 148056 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 149410 148056 710 1374 0 148031 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 597640 [startup+342.301 s] /proc/loadavg: 2.00 2.01 1.79 4/179 20800 /proc/meminfo: memFree=28835648/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=733532 CPUtime=342.29 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 1708389 0 0 0 30271 3958 0 0 25 0 1 0 21781162 751136768 178690 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 183383 178690 710 1374 0 182004 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 733532 [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.80 4/179 20801 /proc/meminfo: memFree=28703772/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=844404 CPUtime=402.3 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 2068073 0 0 0 35589 4641 0 0 25 0 1 0 21781162 864669696 207129 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 211101 207129 710 1374 0 209722 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 844404 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.81 4/179 20802 /proc/meminfo: memFree=28562476/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=964080 CPUtime=462.3 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 2374489 0 0 0 40866 5364 0 0 25 0 1 0 21781162 987217920 237796 4089446400 4194304 9819077 140736152171824 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 241020 237796 714 1374 0 239641 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 964080 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.82 4/179 20804 /proc/meminfo: memFree=28419188/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=1089176 CPUtime=522.3 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 2663559 0 0 0 46163 6067 0 0 25 0 1 0 21781162 1115316224 269873 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 272294 269873 714 1374 0 270915 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1089176 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.83 4/179 20806 /proc/meminfo: memFree=28278632/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=1211240 CPUtime=582.31 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 2952797 0 0 0 51462 6769 0 0 25 0 1 0 21781162 1240309760 301214 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 302810 301214 714 1374 0 301431 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1211240 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.83 4/179 20808 /proc/meminfo: memFree=28134712/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=1369120 CPUtime=642.31 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 3232254 0 0 0 56753 7478 0 0 25 0 1 0 21781162 1401978880 333312 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 342280 333312 714 1374 0 340901 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1369120 [startup+702.301 s] ################ # More data... # ################ /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 5161698 0 0 0 93906 12325 0 0 25 0 1 0 21781162 2266796032 549886 4089446400 4194304 9819077 140736152171824 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 553417 549886 714 1374 0 552038 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 2213668 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.89 4/179 20829 /proc/meminfo: memFree=27047672/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=2337512 CPUtime=1122.31 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 5452869 0 0 0 99220 13011 0 0 25 0 1 0 21781162 2393612288 581625 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 584378 581625 714 1374 0 582999 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 2337512 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.90 4/179 20831 /proc/meminfo: memFree=26913196/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=2458184 CPUtime=1182.31 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 5737095 0 0 0 104523 13708 0 0 25 0 1 0 21781162 2517180416 612596 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 614546 612596 714 1374 0 613167 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 2458184 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.90 4/179 20833 /proc/meminfo: memFree=26776236/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=2578396 CPUtime=1242.32 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 6029695 0 0 0 109821 14411 0 0 25 0 1 0 21781162 2640277504 643423 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 644599 643423 714 1374 0 643220 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2578396 [startup+1302.3 s] /proc/loadavg: 2.04 2.01 1.91 4/179 20834 /proc/meminfo: memFree=26633928/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=2769184 CPUtime=1302.32 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 6316802 0 0 0 115123 15109 0 0 25 0 1 0 21781162 2835644416 675539 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 692296 675539 714 1374 0 690917 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 2769184 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 1.91 4/179 20835 /proc/meminfo: memFree=26492500/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=2894676 CPUtime=1362.32 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 6597623 0 0 0 120433 15799 0 0 25 0 1 0 21781162 2964148224 707726 4089446400 4194304 9819077 140736152171824 18446744073709551615 4561048 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 723669 707726 714 1374 0 722290 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2894676 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 4/179 20837 /proc/meminfo: memFree=26368816/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=3003528 CPUtime=1422.33 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 6883505 0 0 0 125835 16398 0 0 25 0 1 0 21781162 3075612672 734792 4089446400 4194304 9819077 140736152171824 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 750882 734792 715 1374 0 749503 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 3003528 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 4/179 20839 /proc/meminfo: memFree=26328212/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=3019504 CPUtime=1482.32 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7010752 0 0 0 131589 16643 0 0 25 0 1 0 21781162 3091972096 737912 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 754876 737912 715 1374 0 753497 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 3019504 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 4/179 20841 /proc/meminfo: memFree=26299524/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=3023228 CPUtime=1542.32 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7107927 0 0 0 137385 16847 0 0 25 0 1 0 21781162 3095785472 738761 4089446400 4194304 9819077 140736152171824 18446744073709551615 4408910 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 755807 738761 715 1374 0 754428 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 3023228 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 4/179 20842 /proc/meminfo: memFree=26272312/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=3025840 CPUtime=1602.32 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7204674 0 0 0 143176 17056 0 0 25 0 1 0 21781162 3098460160 739298 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 756460 739298 715 1374 0 755081 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 3025840 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 4/179 20843 /proc/meminfo: memFree=26239032/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=3030148 CPUtime=1662.32 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7290248 0 0 0 148998 17234 0 0 25 0 1 0 21781162 3102871552 740577 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 757537 740577 715 1374 0 756158 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 3030148 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 4/179 20845 /proc/meminfo: memFree=26209848/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=3032852 CPUtime=1722.33 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7379323 0 0 0 154799 17434 0 0 25 0 1 0 21781162 3105640448 741018 4089446400 4194304 9819077 140736152171824 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 758213 741018 715 1374 0 756834 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 3032852 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 4/179 20847 /proc/meminfo: memFree=26177072/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=3038176 CPUtime=1782.33 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7437540 0 0 0 160667 17566 0 0 25 0 1 0 21781162 3111092224 742547 4089446400 4194304 9819077 140736152171824 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 759544 742547 715 1374 0 758165 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 3038176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.91 3/179 20847 /proc/meminfo: memFree=26168628/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=3038384 CPUtime=1800.04 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7466612 0 0 0 162378 17626 0 0 25 0 1 0 21781162 3111305216 742620 4089446400 4194304 9819077 140736152171824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20715/statm: 759596 742620 715 1374 0 758217 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 3038384 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -20715 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 1.91 4/180 20848 /proc/meminfo: memFree=26168744/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=3038384 CPUtime=1801.43 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7466625 0 0 0 162517 17626 0 0 25 0 1 0 21781162 3111305216 742623 4089446400 4194304 9819077 140736152171824 18446744073709551615 6180098 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/20715/statm: 759596 742623 718 1374 0 758217 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 3038384 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 1.91 4/180 20848 /proc/meminfo: memFree=26168744/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=3038384 CPUtime=1801.84 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7466625 0 0 0 162558 17626 0 0 25 0 1 0 21781162 3111305216 742623 4089446400 4194304 9819077 140736152171824 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/20715/statm: 759596 742623 718 1374 0 758217 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 3038384 [startup+1802 s] /proc/loadavg: 2.00 2.00 1.91 4/180 20848 /proc/meminfo: memFree=26168744/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=3038384 CPUtime=1802.03 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4202496 7466625 0 0 0 162577 17626 0 0 25 0 1 0 21781162 3111305216 742623 4089446400 4194304 9819077 140736152171824 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/20715/statm: 759596 742623 718 1374 0 758217 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 3038384 [startup+1802.1 s] /proc/loadavg: 2.00 2.00 1.91 4/180 20848 /proc/meminfo: memFree=26168744/32951124 swapFree=67111528/67111528 [pid=20715] ppid=20713 vsize=0 CPUtime=1802.13 /proc/20715/stat : 20715 (pbscip.linux.x8) R 20713 20715 19722 0 -1 4203524 7466625 0 0 0 162578 17635 0 0 25 0 1 0 21781162 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 /proc/20715/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.11 CPU time (s): 1802.14 CPU user time (s): 1625.78 CPU system time (s): 176.357 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 3108696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1625.78 system time used= 176.357 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7466625 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= 2 involuntary context switches= 3187 runsolver used 2.6326 second user time and 5.59315 second system time The end
Begin job on node144 at 2010-07-07 22:48:02 IDJOB=2700549 IDBENCH=79437 IDSOLVER=1205 FILE ID=node144/2700549-1278535682 PBS_JOBID= 11239189 Free space on /tmp= 73740 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-geom40-2_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700549-1278535682/watcher-2700549-1278535682 -o /tmp/evaluation-result-2700549-1278535682/solver-2700549-1278535682 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700549-1278535682.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dc0207dd780e8486ac4fdb37fec549e2 RANDOM SEED=82214594 node144.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.825 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.65 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.825 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.825 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.74 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.825 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.78 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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 : 5269.01 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28754964 kB Buffers: 148140 kB Cached: 2818660 kB SwapCached: 0 kB Active: 1829848 kB Inactive: 2201392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28754964 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5960 kB Writeback: 0 kB AnonPages: 1063836 kB Mapped: 16068 kB Slab: 98452 kB PageTables: 7124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1283736 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= 73732 MiB End job on node144 at 2010-07-07 23:18:05