Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.11 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo |
| MD5SUM | 0b9d6337ad7964b2b0f1686d5d01e741 |
| 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 | 13 |
| Best CPU time to get the best result obtained on this benchmark | 331.135 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 900 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 45741 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45740 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2694157-1277908317.wbo>
0.00/0.02 c original problem has 2031 variables (1131 bin, 0 int, 0 impl, 900 cont) and 3608 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.04/0.07 c (round 2) 0 del vars, 115 del conss, 900 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.04/0.08 c (round 3) 53 del vars, 258 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.04/0.10 c (round 4) 122 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs
0.09/0.11 c (round 5) 138 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs
0.09/0.14 c (0.1s) probing: 101/1062 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (6 rounds):
0.09/0.14 c 138 deleted vars, 274 deleted constraints, 916 tightened bounds, 0 added holes, 143 changed sides, 0 changed coefficients
0.09/0.14 c 1116 implications, 15 cliques
0.09/0.14 c presolved problem has 1893 variables (1062 bin, 0 int, 0 impl, 831 cont) and 3334 constraints
0.09/0.14 c 831 constraints of type <indicator>
0.09/0.14 c 15 constraints of type <setppc>
0.09/0.14 c 831 constraints of type <linear>
0.09/0.14 c 1657 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.09
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |7445k| 0 | - |1893 |3334 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.93 o 542
0.89/0.93 c * 0.8s| 3504 | 3030 | 0 | 0.0 |9748k|1025 | - |1893 |3857 | 0 | 0 | 0 | 624 | 0 | 0.000000e+00 | 5.420000e+02 | Inf
0.89/0.97 o 509
0.89/0.97 c * 0.8s| 3648 | 3171 | 0 | 0.0 |9861k|1025 | - |1893 |3853 | 0 | 0 | 0 | 624 | 0 | 0.000000e+00 | 5.090000e+02 | Inf
0.89/1.00 o 370
0.89/1.00 c * 0.9s| 3770 | 3278 | 0 | 0.0 |9902k|1025 | - |1893 |3860 | 0 | 0 | 0 | 633 | 0 | 0.000000e+00 | 3.700000e+02 | Inf
2.49/2.52 c 2.2s| 10000 | 8476 | 0 | 0.0 | 14M|1025 | - |1893 |4664 | 0 | 0 | 0 |2807 | 0 | 0.000000e+00 | 3.700000e+02 | Inf
5.40/5.47 c 4.9s| 20000 | 15703 | 0 | 0.0 | 21M|1025 | - |1893 |5625 | 0 | 0 | 0 |8325 | 0 | 0.000000e+00 | 3.700000e+02 | Inf
7.39/7.42 o 317
7.39/7.42 c * 6.7s| 24763 | 18066 | 0 | 0.0 | 24M|1025 | - |1893 |5777 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 3.170000e+02 | Inf
7.39/7.42 o 286
7.39/7.42 c * 6.7s| 24764 | 18023 | 0 | 0.0 | 24M|1025 | - |1893 |5777 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
7.39/7.47 o 264
7.39/7.47 c * 6.7s| 24923 | 18143 | 0 | 0.0 | 24M|1025 | - |1893 |5706 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
7.39/7.47 o 260
7.39/7.47 c * 6.7s| 24924 | 18141 | 0 | 0.0 | 24M|1025 | - |1893 |5706 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
7.49/7.55 o 191
7.49/7.55 c * 6.8s| 25238 | 18301 | 0 | 0.0 | 24M|1025 | - |1893 |5553 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
7.60/7.60 o 114
7.60/7.60 c * 6.8s| 25454 | 18240 | 0 | 0.0 | 24M|1025 | - |1893 |5437 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
7.60/7.60 o 68
7.60/7.60 c * 6.8s| 25455 | 17773 | 0 | 0.0 | 24M|1025 | - |1893 |5437 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
7.60/7.64 o 53
7.60/7.64 c * 6.9s| 25590 | 17596 | 0 | 0.0 | 24M|1025 | - |1893 |5353 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
8.89/8.96 c 8.1s| 30000 | 21385 | 0 | 0.0 | 29M|1025 | - |1893 |4544 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
11.79/11.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.79/11.80 c 10.6s| 40000 | 29221 | 0 | 0.0 | 37M|1025 | - |1893 |5936 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
14.89/14.92 c 13.4s| 50000 | 36635 | 0 | 0.0 | 44M|1025 | - |1893 |6829 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
18.19/18.21 c 16.4s| 60000 | 43782 | 0 | 0.0 | 51M|1025 | - |1893 |7229 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
21.70/21.78 c 19.6s| 70000 | 50552 | 0 | 0.0 | 58M|1025 | - |1893 |7519 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
25.49/25.54 c 23.1s| 80000 | 56954 | 0 | 0.0 | 65M|1025 | - |1893 |8241 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
29.79/29.80 c 27.0s| 90000 | 62630 | 0 | 0.0 | 73M|1025 | - |1893 |9116 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
34.49/34.57 c 31.5s|100000 | 67654 | 0 | 0.0 | 81M|1025 | - |1893 |9680 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
39.79/39.80 c 36.4s|110000 | 72058 | 0 | 0.0 | 89M|1025 | - |1893 |9957 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
45.49/45.57 c 41.8s|120000 | 75760 | 0 | 0.0 | 97M|1025 | - |1893 | 11k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
52.19/52.22 c 48.0s|130000 | 78455 | 0 | 0.0 | 105M|1025 | - |1893 | 12k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
57.99/58.00 c 53.4s|140000 | 83290 | 0 | 0.0 | 109M|1025 | - |1893 |6483 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
61.19/61.29 c 56.4s|150000 | 91560 | 0 | 0.0 | 117M|1025 | - |1893 |6404 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
64.90/64.91 c 59.7s|160000 | 99559 | 0 | 0.0 | 126M|1025 | - |1893 |5698 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
68.60/68.68 c 63.2s|170000 |107200 | 0 | 0.0 | 136M|1025 | - |1893 |6003 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
72.70/72.75 c 66.8s|180000 |114343 | 0 | 0.0 | 145M|1025 | - |1893 |6861 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
77.00/77.03 o 51
77.00/77.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.00/77.03 c *70.8s|188741 |119472 | 0 | 0.0 | 155M|1025 | - |1893 |7685 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
77.49/77.51 c 71.2s|190000 |120363 | 0 | 0.0 | 155M|1025 | - |1893 |7037 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
80.69/80.78 c 74.1s|200000 |128564 | 0 | 0.0 | 162M|1025 | - |1893 |6401 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
84.49/84.56 c 77.6s|210000 |135664 | 0 | 0.0 | 170M|1025 | - |1893 |6478 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
87.90/87.92 c 80.6s|220000 |143335 | 0 | 0.0 | 178M|1025 | - |1893 |7559 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
91.50/91.58 c 84.0s|230000 |150279 | 0 | 0.0 | 185M|1025 | - |1893 |7501 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
95.09/95.16 c 87.2s|240000 |157953 | 0 | 0.0 | 191M|1025 | - |1893 |4845 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
98.19/98.29 c 90.0s|250000 |165719 | 0 | 0.0 | 198M|1025 | - |1893 |5415 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
101.69/101.72 c 93.1s|260000 |172620 | 0 | 0.0 | 205M|1025 | - |1893 |6075 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
105.29/105.31 c 96.4s|270000 |179331 | 0 | 0.0 | 212M|1025 | - |1893 |6551 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
108.90/108.96 c 99.8s|280000 |186038 | 0 | 0.0 | 218M|1025 | - |1893 |5873 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
112.89/112.90 c 103s|290000 |192132 | 0 | 0.0 | 225M|1025 | - |1893 |6387 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
117.00/117.09 c 107s|300000 |197932 | 0 | 0.0 | 232M|1025 | - |1893 |6922 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
121.00/121.00 c 111s|310000 |204213 | 0 | 0.0 | 238M|1025 | - |1893 |6390 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
125.30/125.31 c 115s|320000 |209791 | 0 | 0.0 | 244M|1025 | - |1893 |6947 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
130.19/130.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.19/130.25 c 119s|330000 |214542 | 0 | 0.0 | 251M|1025 | - |1893 |7300 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
135.39/135.47 c 124s|340000 |218916 | 0 | 0.0 | 258M|1025 | - |1893 |7461 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
140.70/140.77 c 129s|350000 |223186 | 0 | 0.0 | 265M|1025 | - |1893 |7945 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
146.09/146.19 c 134s|360000 |227316 | 0 | 0.0 | 272M|1025 | - |1893 |8119 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
151.70/151.74 c 140s|370000 |231281 | 0 | 0.0 | 278M|1025 | - |1893 |8125 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
157.09/157.19 c 145s|380000 |235304 | 0 | 0.0 | 284M|1025 | - |1893 |8185 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
162.80/162.84 c 150s|390000 |239124 | 0 | 0.0 | 291M|1025 | - |1893 |8465 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
168.69/168.73 c 155s|400000 |242752 | 0 | 0.0 | 298M|1025 | - |1893 |8768 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
174.59/174.64 c 161s|410000 |246329 | 0 | 0.0 | 304M|1025 | - |1893 |8846 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
180.50/180.59 c 167s|420000 |249924 | 0 | 0.0 | 311M|1025 | - |1893 |9313 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
186.60/186.66 c 172s|430000 |253254 | 0 | 0.0 | 317M|1025 | - |1893 |9621 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
192.99/193.05 c 178s|440000 |256354 | 0 | 0.0 | 324M|1025 | - |1893 | 10k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
199.79/199.88 c 185s|450000 |258840 | 0 | 0.0 | 329M|1025 | - |1893 | 10k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
206.70/206.76 c 191s|460000 |261319 | 0 | 0.0 | 335M|1025 | - |1893 | 10k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
213.80/213.82 c 198s|470000 |263638 | 0 | 0.0 | 340M|1025 | - |1893 | 10k| 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
221.60/221.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.60/221.68 c 205s|480000 |263810 | 0 | 0.0 | 343M|1025 | - |1893 | 11k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
230.69/230.75 c 214s|490000 |260567 | 0 | 0.0 | 343M|1025 | - |1893 | 13k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
239.30/239.36 c 222s|500000 |258180 | 0 | 0.0 | 335M|1025 | - |1893 |8847 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
242.70/242.76 c 225s|510000 |266442 | 0 | 0.0 | 342M|1025 | - |1893 |5545 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
243.00/243.07 o 49
243.00/243.07 c * 226s|510867 |266820 | 0 | 0.0 | 341M|1025 | - |1893 |5565 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
246.09/246.17 c 228s|520000 |274148 | 0 | 0.0 | 348M|1025 | - |1893 |5739 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
249.50/249.52 c 231s|530000 |282261 | 0 | 0.0 | 356M|1025 | - |1893 |6109 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
252.90/252.98 c 234s|540000 |290258 | 0 | 0.0 | 365M|1025 | - |1893 |6279 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
256.69/256.77 c 238s|550000 |298024 | 0 | 0.0 | 373M|1025 | - |1893 |4761 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
260.39/260.42 c 241s|560000 |305611 | 0 | 0.0 | 382M|1025 | - |1893 |4732 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
264.00/264.07 c 245s|570000 |313045 | 0 | 0.0 | 391M|1025 | - |1893 |5203 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
267.69/267.79 c 248s|580000 |320419 | 0 | 0.0 | 400M|1025 | - |1893 |5451 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
271.70/271.72 c 251s|590000 |327471 | 0 | 0.0 | 409M|1025 | - |1893 |5751 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
275.50/275.56 c 255s|600000 |334646 | 0 | 0.0 | 419M|1025 | - |1893 |5991 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
279.00/279.09 o 41
279.00/279.09 c * 258s|608567 |337836 | 0 | 0.0 | 413M|1025 | - |1893 |6056 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
279.70/279.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.70/279.75 c 259s|610000 |338776 | 0 | 0.0 | 415M|1025 | - |1893 |6132 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
283.90/283.98 c 263s|620000 |345624 | 0 | 0.0 | 427M|1025 | - |1893 |6285 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
288.10/288.11 c 266s|630000 |352544 | 0 | 0.0 | 435M|1025 | - |1893 |5559 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
292.90/292.90 c 271s|640000 |359110 | 0 | 0.0 | 444M|1025 | - |1893 |3766 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
297.20/297.20 c 275s|650000 |365695 | 0 | 0.0 | 452M|1025 | - |1893 |4712 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
301.10/301.19 c 278s|660000 |372267 | 0 | 0.0 | 460M|1025 | - |1893 |5620 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
305.20/305.24 c 282s|670000 |378777 | 0 | 0.0 | 469M|1025 | - |1893 |5801 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
309.30/309.37 c 286s|680000 |385219 | 0 | 0.0 | 477M|1025 | - |1893 |5911 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
313.70/313.74 c 290s|690000 |391327 | 0 | 0.0 | 486M|1025 | - |1893 |5928 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
315.00/315.04 o 28
315.00/315.04 c * 291s|693052 |385878 | 0 | 0.0 | 457M|1025 | - |1893 |6321 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
318.50/318.59 c 294s|700000 |389902 | 0 | 0.0 | 468M|1025 | - |1893 |6463 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
323.20/323.29 c 298s|710000 |396008 | 0 | 0.0 | 478M|1025 | - |1893 |6209 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
327.90/327.97 c 303s|720000 |401995 | 0 | 0.0 | 488M|1025 | - |1893 |7263 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
332.50/332.52 c 307s|730000 |408162 | 0 | 0.0 | 496M|1025 | - |1893 |6936 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
336.90/336.99 c 311s|740000 |414447 | 0 | 0.0 | 505M|1025 | - |1893 |7393 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
341.60/341.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.60/341.66 c 315s|750000 |420355 | 0 | 0.0 | 513M|1025 | - |1893 |7903 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
346.60/346.63 c 320s|760000 |426099 | 0 | 0.0 | 521M|1025 | - |1893 |7940 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
351.79/351.82 c 325s|770000 |431511 | 0 | 0.0 | 530M|1025 | - |1893 |8245 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
357.30/357.33 c 330s|780000 |436440 | 0 | 0.0 | 538M|1025 | - |1893 |8988 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
363.10/363.15 c 335s|790000 |441048 | 0 | 0.0 | 546M|1025 | - |1893 |9963 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
369.40/369.46 c 341s|800000 |445148 | 0 | 0.0 | 555M|1025 | - |1893 | 10k| 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
376.70/376.73 c 348s|810000 |448110 | 0 | 0.0 | 563M|1025 | - |1893 | 12k| 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
384.40/384.42 c 355s|820000 |450924 | 0 | 0.0 | 568M|1025 | - |1893 |9381 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
387.81/387.83 c 358s|830000 |458883 | 0 | 0.0 | 576M|1025 | - |1893 |8299 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
391.30/391.33 c 362s|840000 |466625 | 0 | 0.0 | 583M|1025 | - |1893 |8431 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
394.91/394.97 c 365s|850000 |474146 | 0 | 0.0 | 591M|1025 | - |1893 |8002 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
398.70/398.70 c 368s|860000 |481456 | 0 | 0.0 | 599M|1025 | - |1893 |8778 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
402.80/402.83 c 372s|870000 |488214 | 0 | 0.0 | 608M|1025 | - |1893 |9331 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
407.40/407.44 c 376s|880000 |494377 | 0 | 0.0 | 617M|1025 | - |1893 | 10k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
412.61/412.68 c 381s|890000 |499761 | 0 | 0.0 | 624M|1025 | - |1893 | 10k| 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
418.70/418.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.70/418.73 c 387s|900000 |504120 | 0 | 0.0 | 633M|1025 | - |1893 |9928 | 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
426.81/426.88 c 394s|910000 |505207 | 0 | 0.0 | 639M|1025 | - |1893 | 11k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
430.30/430.35 c 398s|920000 |512807 | 0 | 0.0 | 644M|1025 | - |1893 |8492 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
433.70/433.73 c 401s|930000 |520430 | 0 | 0.0 | 651M|1025 | - |1893 |9352 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
437.20/437.29 c 404s|940000 |527897 | 0 | 0.0 | 657M|1025 | - |1893 | 10k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
441.00/441.05 c 407s|950000 |535172 | 0 | 0.0 | 664M|1025 | - |1893 | 10k| 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
445.10/445.14 c 411s|960000 |542061 | 0 | 0.0 | 671M|1025 | - |1893 | 11k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
450.20/450.24 c 416s|970000 |547817 | 0 | 0.0 | 677M|1025 | - |1893 | 11k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
456.00/456.07 c 421s|980000 |552736 | 0 | 0.0 | 684M|1025 | - |1893 | 13k| 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
463.70/463.79 c 429s|990000 |555884 | 0 | 0.0 | 692M|1025 | - |1893 | 16k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
472.10/472.10 c 437s| 1000k|558819 | 0 | 0.0 | 695M|1025 | - |1893 | 10k| 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
476.00/476.01 c 440s| 1010k|565872 | 0 | 0.0 | 700M|1025 | - |1893 | 10k| 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
480.30/480.38 c 444s| 1020k|572371 | 0 | 0.0 | 706M|1025 | - |1893 | 12k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
485.61/485.62 c 449s| 1030k|577832 | 0 | 0.0 | 712M|1025 | - |1893 | 13k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
493.20/493.20 c 456s| 1040k|580749 | 0 | 0.0 | 718M|1025 | - |1893 | 17k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
497.70/497.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.70/497.70 c 460s| 1050k|587758 | 0 | 0.0 | 719M|1025 | - |1893 |4556 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
501.10/501.17 c 463s| 1060k|595589 | 0 | 0.0 | 727M|1025 | - |1893 |5274 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
505.51/505.58 c 468s| 1070k|601978 | 0 | 0.0 | 735M|1025 | - |1893 |5607 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
508.91/508.95 c 471s| 1080k|609887 | 0 | 0.0 | 743M|1025 | - |1893 |5899 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
513.10/513.11 c 474s| 1090k|616467 | 0 | 0.0 | 749M|1025 | - |1893 |5539 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
517.10/517.12 c 478s| 1100k|623265 | 0 | 0.0 | 756M|1025 | - |1893 |6135 | 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
520.41/520.46 c 481s| 1110k|631060 | 0 | 0.0 | 764M|1025 | - |1893 |7420 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
523.40/523.45 o 27
523.40/523.45 c * 484s| 1118k|633128 | 0 | 0.0 | 753M|1025 | - |1893 |6373 | 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
524.00/524.04 c 484s| 1120k|634574 | 0 | 0.0 | 754M|1025 | - |1893 |6517 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
527.70/527.77 c 488s| 1130k|641694 | 0 | 0.0 | 761M|1025 | - |1893 |6677 | 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
531.60/531.61 c 491s| 1140k|648679 | 0 | 0.0 | 769M|1025 | - |1893 |8178 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
535.41/535.49 c 495s| 1150k|655602 | 0 | 0.0 | 775M|1025 | - |1893 |9212 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
539.21/539.27 c 498s| 1160k|662835 | 0 | 0.0 | 781M|1025 | - |1893 |8416 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
543.21/543.21 c 502s| 1170k|669732 | 0 | 0.0 | 788M|1025 | - |1893 |8987 | 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
546.80/546.87 c 505s| 1180k|676832 | 0 | 0.0 | 794M|1025 | - |1893 |7400 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
550.21/550.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.21/550.23 c 508s| 1190k|684644 | 0 | 0.0 | 799M|1025 | - |1893 |4998 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
554.71/554.72 c 512s| 1200k|690433 | 0 | 0.0 | 806M|1025 | - |1893 |7256 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
559.71/559.80 c 517s| 1210k|695699 | 0 | 0.0 | 812M|1025 | - |1893 |8142 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
565.41/565.46 c 522s| 1220k|700184 | 0 | 0.0 | 819M|1025 | - |1893 |9180 | 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
572.21/572.27 c 529s| 1230k|703557 | 0 | 0.0 | 825M|1025 | - |1893 |8858 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
579.31/579.33 c 535s| 1240k|706669 | 0 | 0.0 | 831M|1025 | - |1893 |9157 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
586.21/586.27 c 542s| 1250k|709892 | 0 | 0.0 | 838M|1025 | - |1893 |8901 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
593.30/593.39 c 549s| 1260k|712668 | 0 | 0.0 | 844M|1025 | - |1893 | 10k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
600.90/600.91 c 556s| 1270k|715208 | 0 | 0.0 | 850M|1025 | - |1893 | 10k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
609.00/609.06 c 564s| 1280k|717051 | 0 | 0.0 | 856M|1025 | - |1893 | 10k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
616.91/617.00 c 571s| 1290k|719234 | 0 | 0.0 | 861M|1025 | - |1893 |8733 | 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
624.81/624.84 c 579s| 1300k|721203 | 0 | 0.0 | 867M|1025 | - |1893 | 10k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
633.70/633.76 c 587s| 1310k|722085 | 0 | 0.0 | 872M|1025 | - |1893 | 10k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
642.01/642.02 c 595s| 1320k|723970 | 0 | 0.0 | 878M|1025 | - |1893 | 11k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
651.22/651.24 c 604s| 1330k|724662 | 0 | 0.0 | 882M|1025 | - |1893 | 10k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
660.80/660.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.80/660.82 c 613s| 1340k|724979 | 0 | 0.0 | 886M|1025 | - |1893 | 11k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
670.21/670.26 c 622s| 1350k|725841 | 0 | 0.0 | 892M|1025 | - |1893 | 11k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
680.50/680.59 c 632s| 1360k|725517 | 0 | 0.0 | 894M|1025 | - |1893 | 11k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
689.71/689.79 c 641s| 1370k|726744 | 0 | 0.0 | 899M|1025 | - |1893 | 10k| 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
699.91/699.96 c 651s| 1380k|726516 | 0 | 0.0 | 903M|1025 | - |1893 | 12k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
710.51/710.56 c 661s| 1390k|726028 | 0 | 0.0 | 905M|1025 | - |1893 | 11k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
721.11/721.17 c 671s| 1400k|725741 | 0 | 0.0 | 909M|1025 | - |1893 | 11k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
731.71/731.75 c 681s| 1410k|725197 | 0 | 0.0 | 912M|1025 | - |1893 | 12k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
743.11/743.17 c 692s| 1420k|723778 | 0 | 0.0 | 914M|1025 | - |1893 | 13k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
754.21/754.21 c 703s| 1430k|722764 | 0 | 0.0 | 915M|1025 | - |1893 | 12k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
765.81/765.89 c 714s| 1440k|721096 | 0 | 0.0 | 916M|1025 | - |1893 | 12k| 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
778.01/778.05 c 726s| 1450k|718891 | 0 | 0.0 | 916M|1025 | - |1893 | 13k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
790.51/790.54 c 738s| 1460k|716249 | 0 | 0.0 | 916M|1025 | - |1893 | 13k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
803.21/803.20 c 750s| 1470k|713485 | 0 | 0.0 | 915M|1025 | - |1893 | 14k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
816.12/816.16 c 763s| 1480k|710757 | 0 | 0.0 | 915M|1025 | - |1893 | 15k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
830.52/830.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
830.52/830.59 c 777s| 1490k|706008 | 0 | 0.0 | 910M|1025 | - |1893 | 16k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
846.01/846.04 c 792s| 1500k|701227 | 0 | 0.0 | 906M|1025 | - |1893 | 17k| 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
864.42/864.50 c 810s| 1510k|694389 | 0 | 0.0 | 897M|1025 | - |1893 | 20k| 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
877.61/877.69 c 823s| 1520k|693035 | 0 | 0.0 | 886M|1025 | - |1893 |9481 | 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
881.91/881.93 c 826s| 1530k|700336 | 0 | 0.0 | 893M|1025 | - |1893 |8024 | 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
886.01/886.03 c 830s| 1540k|707756 | 0 | 0.0 | 901M|1025 | - |1893 |7583 | 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
889.82/889.89 c 834s| 1550k|715338 | 0 | 0.0 | 908M|1025 | - |1893 |7474 | 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
894.21/894.21 c 838s| 1560k|722414 | 0 | 0.0 | 916M|1025 | - |1893 |7495 | 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
898.31/898.32 c 841s| 1570k|729581 | 0 | 0.0 | 923M|1025 | - |1893 |7851 | 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
902.71/902.75 c 845s| 1580k|736398 | 0 | 0.0 | 931M|1025 | - |1893 |8423 | 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
907.22/907.28 c 850s| 1590k|743142 | 0 | 0.0 | 938M|1025 | - |1893 |8878 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
912.11/912.15 c 854s| 1600k|749565 | 0 | 0.0 | 946M|1025 | - |1893 |9070 | 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
917.11/917.19 c 859s| 1610k|755788 | 0 | 0.0 | 954M|1025 | - |1893 |8934 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
922.11/922.12 c 863s| 1620k|762109 | 0 | 0.0 | 962M|1025 | - |1893 |9284 | 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
927.32/927.38 c 868s| 1630k|768033 | 0 | 0.0 | 970M|1025 | - |1893 |9575 | 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
933.21/933.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.21/933.23 c 874s| 1640k|773348 | 0 | 0.0 | 979M|1025 | - |1893 |9646 | 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
938.22/938.22 c 878s| 1650k|779640 | 0 | 0.0 | 986M|1025 | - |1893 |9172 | 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
943.91/943.91 c 884s| 1660k|784976 | 0 | 0.0 | 994M|1025 | - |1893 |9584 | 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
949.61/949.65 c 889s| 1670k|790414 | 0 | 0.0 |1002M|1025 | - |1893 |8615 | 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
955.31/955.30 c 894s| 1680k|795742 | 0 | 0.0 |1010M|1025 | - |1893 |9703 | 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
961.32/961.35 c 900s| 1690k|800715 | 0 | 0.0 |1019M|1025 | - |1893 |9736 | 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
966.93/966.95 c 905s| 1700k|806230 | 0 | 0.0 |1026M|1025 | - |1893 |9892 | 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
973.42/973.46 c 911s| 1710k|810808 | 0 | 0.0 |1035M|1025 | - |1893 | 10k| 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
979.32/979.33 c 917s| 1720k|816154 | 0 | 0.0 |1043M|1025 | - |1893 |9908 | 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
985.92/985.99 c 923s| 1730k|820497 | 0 | 0.0 |1051M|1025 | - |1893 | 10k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
992.02/992.03 c 929s| 1740k|825711 | 0 | 0.0 |1059M|1025 | - |1893 | 10k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
992.81/992.87 o 26
992.81/992.87 c * 929s| 1741k|822264 | 0 | 0.0 |1045M|1025 | - |1893 | 10k| 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
998.62/998.64 c 935s| 1750k|826436 | 0 | 0.0 |1053M|1025 | - |1893 |9205 | 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1005.82/1005.86 c 942s| 1760k|830406 | 0 | 0.0 |1061M|1025 | - |1893 | 10k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1012.22/1012.29 c 948s| 1770k|835093 | 0 | 0.0 |1069M|1025 | - |1893 |9029 | 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1019.62/1019.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.62/1019.63 c 955s| 1780k|838705 | 0 | 0.0 |1078M|1025 | - |1893 | 10k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1025.72/1025.76 c 960s| 1790k|843803 | 0 | 0.0 |1086M|1025 | - |1893 |9639 | 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1033.42/1033.47 c 968s| 1800k|847170 | 0 | 0.0 |1095M|1025 | - |1893 | 11k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1039.92/1039.91 c 974s| 1810k|851974 | 0 | 0.0 |1102M|1025 | - |1893 | 10k| 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1047.22/1047.26 c 981s| 1820k|855789 | 0 | 0.0 |1110M|1025 | - |1893 | 11k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1053.42/1053.46 c 986s| 1830k|861023 | 0 | 0.0 |1118M|1025 | - |1893 | 10k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1060.01/1060.04 c 993s| 1840k|865749 | 0 | 0.0 |1125M|1025 | - |1893 | 10k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1067.51/1067.59 c 1000s| 1850k|869467 | 0 | 0.0 |1133M|1025 | - |1893 | 11k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1074.21/1074.22 c 1006s| 1860k|874184 | 0 | 0.0 |1140M|1025 | - |1893 | 10k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1082.42/1082.42 c 1014s| 1870k|877285 | 0 | 0.0 |1148M|1025 | - |1893 | 12k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1089.62/1089.65 c 1021s| 1880k|881535 | 0 | 0.0 |1155M|1025 | - |1893 | 11k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1097.62/1097.62 c 1028s| 1890k|885004 | 0 | 0.0 |1163M|1025 | - |1893 | 12k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1104.72/1104.79 c 1035s| 1900k|889379 | 0 | 0.0 |1169M|1025 | - |1893 | 11k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1112.03/1112.08 c 1042s| 1910k|893630 | 0 | 0.0 |1177M|1025 | - |1893 | 11k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1120.82/1120.83 c 1050s| 1920k|896405 | 0 | 0.0 |1184M|1025 | - |1893 | 11k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1128.82/1128.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.82/1128.84 c 1058s| 1930k|899916 | 0 | 0.0 |1191M|1025 | - |1893 | 12k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1138.02/1138.05 c 1066s| 1940k|902458 | 0 | 0.0 |1198M|1025 | - |1893 | 12k| 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1146.02/1146.00 c 1074s| 1950k|906198 | 0 | 0.0 |1205M|1025 | - |1893 | 12k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1155.22/1155.24 c 1083s| 1960k|908640 | 0 | 0.0 |1211M|1025 | - |1893 | 12k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1163.22/1163.21 c 1090s| 1970k|912525 | 0 | 0.0 |1218M|1025 | - |1893 | 13k| 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1172.22/1172.21 c 1099s| 1980k|915464 | 0 | 0.0 |1224M|1025 | - |1893 | 13k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1180.42/1180.49 c 1107s| 1990k|919145 | 0 | 0.0 |1231M|1025 | - |1893 | 12k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1189.92/1189.97 c 1116s| 2000k|921575 | 0 | 0.0 |1237M|1025 | - |1893 | 13k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1198.32/1198.38 c 1124s| 2010k|925321 | 0 | 0.0 |1245M|1025 | - |1893 | 13k| 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1207.62/1207.68 c 1133s| 2020k|928085 | 0 | 0.0 |1251M|1025 | - |1893 | 13k| 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1216.53/1216.51 c 1141s| 2030k|931546 | 0 | 0.0 |1258M|1025 | - |1893 | 14k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1226.02/1226.00 c 1150s| 2040k|934402 | 0 | 0.0 |1264M|1025 | - |1893 | 14k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1234.32/1234.33 c 1158s| 2050k|938489 | 0 | 0.0 |1272M|1025 | - |1893 | 14k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1244.32/1244.33 c 1168s| 2060k|940822 | 0 | 0.0 |1278M|1025 | - |1893 | 14k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1252.82/1252.85 c 1176s| 2070k|944859 | 0 | 0.0 |1285M|1025 | - |1893 | 14k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1262.42/1262.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.42/1262.49 c 1185s| 2080k|947490 | 0 | 0.0 |1290M|1025 | - |1893 | 14k| 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1271.03/1271.01 c 1193s| 2090k|951275 | 0 | 0.0 |1297M|1025 | - |1893 | 14k| 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1280.63/1280.60 c 1202s| 2100k|954278 | 0 | 0.0 |1303M|1025 | - |1893 | 15k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1288.13/1288.19 o 22
1288.13/1288.19 c *1210s| 2107k|912698 | 0 | 0.0 |1174M|1025 | - |1893 | 15k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1290.52/1290.52 c 1212s| 2110k|912850 | 0 | 0.0 |1173M|1025 | - |1893 |8639 | 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1296.93/1296.95 c 1218s| 2120k|916539 | 0 | 0.0 |1178M|1025 | - |1893 |6838 | 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1304.32/1304.32 c 1225s| 2130k|918987 | 0 | 0.0 |1182M|1025 | - |1893 |6165 | 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1310.92/1310.95 c 1231s| 2140k|922300 | 0 | 0.0 |1188M|1025 | - |1893 |6860 | 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1317.73/1317.77 c 1238s| 2150k|925359 | 0 | 0.0 |1193M|1025 | - |1893 |7245 | 0 | 0 | 0 |1983k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1324.92/1324.94 c 1244s| 2160k|928028 | 0 | 0.0 |1197M|1025 | - |1893 |6601 | 0 | 0 | 0 |1995k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1331.42/1331.45 c 1251s| 2170k|931938 | 0 | 0.0 |1204M|1025 | - |1893 |7726 | 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1338.82/1338.83 c 1258s| 2180k|934599 | 0 | 0.0 |1208M|1025 | - |1893 |7592 | 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1346.12/1346.18 c 1264s| 2190k|937633 | 0 | 0.0 |1214M|1025 | - |1893 |8420 | 0 | 0 | 0 |2030k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1353.03/1353.07 c 1271s| 2200k|941156 | 0 | 0.0 |1220M|1025 | - |1893 |8524 | 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1360.33/1360.31 c 1278s| 2210k|943981 | 0 | 0.0 |1224M|1025 | - |1893 |7588 | 0 | 0 | 0 |2054k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1366.63/1366.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.63/1366.64 c 1284s| 2220k|948164 | 0 | 0.0 |1231M|1025 | - |1893 |8478 | 0 | 0 | 0 |2065k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1373.83/1373.86 c 1291s| 2230k|950948 | 0 | 0.0 |1237M|1025 | - |1893 |8666 | 0 | 0 | 0 |2078k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1381.23/1381.23 c 1298s| 2240k|953879 | 0 | 0.0 |1241M|1025 | - |1893 |8389 | 0 | 0 | 0 |2090k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1387.73/1387.76 c 1304s| 2250k|957720 | 0 | 0.0 |1248M|1025 | - |1893 |8815 | 0 | 0 | 0 |2102k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1395.23/1395.23 c 1311s| 2260k|960275 | 0 | 0.0 |1253M|1025 | - |1893 |8692 | 0 | 0 | 0 |2115k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1402.44/1402.44 c 1318s| 2270k|963135 | 0 | 0.0 |1258M|1025 | - |1893 |8705 | 0 | 0 | 0 |2128k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1409.22/1409.25 c 1324s| 2280k|966522 | 0 | 0.0 |1264M|1025 | - |1893 |9646 | 0 | 0 | 0 |2141k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1416.23/1416.27 c 1331s| 2290k|969618 | 0 | 0.0 |1270M|1025 | - |1893 |9003 | 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1423.63/1423.64 c 1338s| 2300k|972013 | 0 | 0.0 |1275M|1025 | - |1893 |9003 | 0 | 0 | 0 |2168k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1431.13/1431.19 c 1345s| 2310k|974260 | 0 | 0.0 |1279M|1025 | - |1893 |9325 | 0 | 0 | 0 |2182k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1438.83/1438.88 c 1352s| 2320k|976594 | 0 | 0.0 |1284M|1025 | - |1893 |9008 | 0 | 0 | 0 |2197k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1446.83/1446.86 c 1360s| 2330k|978568 | 0 | 0.0 |1290M|1025 | - |1893 |9318 | 0 | 0 | 0 |2212k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
1451.62/1451.60 o 19
1451.62/1451.60 c *1364s| 2335k|974621 | 0 | 0.0 |1275M|1025 | - |1893 |9048 | 0 | 0 | 0 |2222k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1456.33/1456.34 c 1369s| 2340k|974787 | 0 | 0.0 |1279M|1025 | - |1893 | 11k| 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1467.73/1467.75 c 1380s| 2350k|974666 | 0 | 0.0 |1284M|1025 | - |1893 | 16k| 0 | 0 | 0 |2251k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1481.83/1481.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.83/1481.86 c 1393s| 2360k|973412 | 0 | 0.0 |1288M|1025 | - |1893 | 20k| 0 | 0 | 0 |2272k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1498.13/1498.12 c 1409s| 2370k|971932 | 0 | 0.0 |1287M|1025 | - |1893 | 16k| 0 | 0 | 0 |2293k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1503.74/1503.78 c 1414s| 2380k|978216 | 0 | 0.0 |1294M|1025 | - |1893 | 15k| 0 | 0 | 0 |2300k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1509.93/1509.98 c 1420s| 2390k|984053 | 0 | 0.0 |1301M|1025 | - |1893 | 16k| 0 | 0 | 0 |2308k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1516.23/1516.25 c 1426s| 2400k|989883 | 0 | 0.0 |1308M|1025 | - |1893 | 16k| 0 | 0 | 0 |2315k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1522.83/1522.86 c 1432s| 2410k|995423 | 0 | 0.0 |1316M|1025 | - |1893 | 18k| 0 | 0 | 0 |2323k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1529.83/1529.81 c 1439s| 2420k| 1000k| 0 | 0.0 |1323M|1025 | - |1893 | 19k| 0 | 0 | 0 |2332k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1537.43/1537.47 c 1446s| 2430k| 1005k| 0 | 0.0 |1331M|1025 | - |1893 | 20k| 0 | 0 | 0 |2341k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1545.33/1545.35 c 1454s| 2440k| 1010k| 0 | 0.0 |1339M|1025 | - |1893 | 20k| 0 | 0 | 0 |2350k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1553.43/1553.42 c 1461s| 2450k| 1015k| 0 | 0.0 |1347M|1025 | - |1893 | 21k| 0 | 0 | 0 |2359k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1562.43/1562.45 c 1470s| 2460k| 1020k| 0 | 0.0 |1354M|1025 | - |1893 | 22k| 0 | 0 | 0 |2369k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1571.63/1571.69 c 1479s| 2470k| 1024k| 0 | 0.0 |1362M|1025 | - |1893 | 23k| 0 | 0 | 0 |2380k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1581.53/1581.59 c 1488s| 2480k| 1028k| 0 | 0.0 |1369M|1025 | - |1893 | 23k| 0 | 0 | 0 |2391k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1592.13/1592.17 c 1499s| 2490k| 1032k| 0 | 0.0 |1376M|1025 | - |1893 | 24k| 0 | 0 | 0 |2403k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1603.03/1603.06 c 1509s| 2500k| 1035k| 0 | 0.0 |1383M|1025 | - |1893 | 25k| 0 | 0 | 0 |2416k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1614.84/1614.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.84/1614.81 c 1520s| 2510k| 1038k| 0 | 0.0 |1390M|1025 | - |1893 | 26k| 0 | 0 | 0 |2429k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1627.83/1627.82 c 1533s| 2520k| 1041k| 0 | 0.0 |1397M|1025 | - |1893 | 27k| 0 | 0 | 0 |2444k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1641.94/1642.00 c 1547s| 2530k| 1043k| 0 | 0.0 |1403M|1025 | - |1893 | 29k| 0 | 0 | 0 |2459k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1658.03/1658.05 c 1562s| 2540k| 1044k| 0 | 0.0 |1409M|1025 | - |1893 | 31k| 0 | 0 | 0 |2475k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1676.53/1676.58 c 1580s| 2550k| 1045k| 0 | 0.0 |1415M|1025 | - |1893 | 33k| 0 | 0 | 0 |2493k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1698.04/1698.08 c 1601s| 2560k| 1044k| 0 | 0.0 |1419M|1025 | - |1893 | 34k| 0 | 0 | 0 |2514k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1722.83/1722.80 c 1625s| 2570k| 1041k| 0 | 0.0 |1421M|1025 | - |1893 | 37k| 0 | 0 | 0 |2537k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1738.63/1738.62 c 1641s| 2580k| 1044k| 0 | 0.0 |1420M|1025 | - |1893 | 25k| 0 | 0 | 0 |2551k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1746.03/1746.02 c 1648s| 2590k| 1051k| 0 | 0.0 |1427M|1025 | - |1893 | 21k| 0 | 0 | 0 |2557k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1753.44/1753.45 c 1655s| 2600k| 1057k| 0 | 0.0 |1435M|1025 | - |1893 | 19k| 0 | 0 | 0 |2565k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1761.04/1761.04 c 1662s| 2610k| 1062k| 0 | 0.0 |1444M|1025 | - |1893 | 19k| 0 | 0 | 0 |2572k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1768.63/1768.62 c 1669s| 2620k| 1068k| 0 | 0.0 |1453M|1025 | - |1893 | 20k| 0 | 0 | 0 |2580k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1776.44/1776.50 c 1677s| 2630k| 1073k| 0 | 0.0 |1463M|1025 | - |1893 | 20k| 0 | 0 | 0 |2589k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1784.73/1784.79 c 1685s| 2640k| 1078k| 0 | 0.0 |1472M|1025 | - |1893 | 21k| 0 | 0 | 0 |2597k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1793.24/1793.21 c 1693s| 2650k| 1084k| 0 | 0.0 |1481M|1025 | - |1893 | 21k| 0 | 0 | 0 |2606k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
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) : 1699.26
1800.04/1800.00 c Solving Nodes : 2657564
1800.04/1800.00 c Primal Bound : +1.90000000000000e+01 (19 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.01 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.04/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126
1800.04/1800.01 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.01 v -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80
1800.04/1800.01 v -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
1800.04/1800.01 v -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29
1800.04/1800.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2
1800.04/1800.01 v -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1699.26
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2694157-1277908317.wbo
1800.04/1800.01 c Variables : 2031 (1131 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.01 c Constraints : 3608 initial, 3608 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2694157-1277908317.wbo
1800.04/1800.01 c Variables : 1893 (1062 binary, 0 integer, 0 implicit integer, 831 continuous)
1800.04/1800.01 c Constraints : 3334 initial, 39848 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 69 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.03 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.05 0 0 0 916 0 205 143 0
1800.04/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 504 - - 1008 - - - -
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 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 831 0 5846878 0 1581150 738 4602722 0 0 0
1800.04/1800.01 c setppc : 15 0 8570534 0 2117356 105841 6618909 0 0 0
1800.04/1800.01 c linear : 831 0 8465424 0 2117577 311900 37017277 0 0 0
1800.04/1800.01 c logicor : 1657+ 0 6258913 0 2117586 408387 15843203 0 0 0
1800.04/1800.01 c bounddisjunction : 0+ 0 432393 0 0 21 5415 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 2117583 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c indicator : 22.55 0.00 10.76 0.00 11.79
1800.04/1800.01 c setppc : 29.90 0.00 26.43 0.00 3.47
1800.04/1800.01 c linear : 187.85 0.00 187.10 0.00 0.75
1800.04/1800.01 c logicor : 555.57 0.00 454.07 0.00 101.50
1800.04/1800.01 c bounddisjunction : 5.79 0.00 5.79 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.02 2 0 0
1800.04/1800.01 c rootredcost : 0.00 0 0 0
1800.04/1800.01 c pseudoobj : 166.06 8583377 11523 4498189
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 39.69 837672 837419 4169028 22.6 133194 8.2 -
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.01 120 120 433 15.6 79 7.8 -
1800.04/1800.01 c applied globally : - - - 2613112 19.8 - - -
1800.04/1800.01 c applied locally : - - - 20 124.3 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 0.00 0 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 0 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.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 0 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 0 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 : 0.00 0 0 0 0 0 0
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 43.50 2117564 0 0 0 0 4235128
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.00 - 0
1800.04/1800.01 c pseudo solutions : 0.22 - 19
1800.04/1800.01 c oneopt : 0.09 0 0
1800.04/1800.01 c trivial : 0.00 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 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 feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 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 objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 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 crossover : 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.00 0 0
1800.04/1800.01 c trysol : 0.00 1 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 : 0.00 0 0 0.00 -
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.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
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 : 2657564
1800.04/1800.01 c nodes (total) : 2657564
1800.04/1800.01 c nodes left : 1087664
1800.04/1800.01 c max depth : 1025
1800.04/1800.01 c max depth (total): 1025
1800.04/1800.01 c backtracks : 540411 (20.3%)
1800.04/1800.01 c delayed cutoffs : 421280
1800.04/1800.01 c repropagations : 1917148 (20005019 domain reductions, 298549 cutoffs)
1800.04/1800.01 c avg switch length: 26.01
1800.04/1800.01 c switching time : 540.64
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 19 (19 improvements)
1800.04/1800.01 c First Solution : +5.42000000000000e+02 (in run 1, after 3504 nodes, 0.80 seconds, depth 347, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +1.90000000000000e+01 (in run 1, after 2335134 nodes, 1364.21 seconds, depth 280, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
OK 18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694157-1277908317/watcher-2694157-1277908317 -o /tmp/evaluation-result-2694157-1277908317/solver-2694157-1277908317 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694157-1277908317.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.05 2.06 2.02 4/178 13814 /proc/meminfo: memFree=31422552/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=8472 CPUtime=0 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 1598 0 0 0 0 0 0 0 23 0 1 0 132128528 8675328 1520 4089446400 4194304 7136930 140734243169824 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13814/statm: 2118 1520 275 719 0 1397 0 [startup+0.058841 s] /proc/loadavg: 2.05 2.06 2.02 4/178 13814 /proc/meminfo: memFree=31422552/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=21340 CPUtime=0.04 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 5500 0 0 0 4 0 0 0 23 0 1 0 132128528 21852160 4554 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 5335 4554 348 719 0 4614 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 21340 [startup+0.100851 s] /proc/loadavg: 2.05 2.06 2.02 4/178 13814 /proc/meminfo: memFree=31422552/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=22076 CPUtime=0.09 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 7249 0 0 0 7 2 0 0 23 0 1 0 132128528 22605824 4761 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 5519 4761 360 719 0 4798 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22076 [startup+0.300814 s] /proc/loadavg: 2.05 2.06 2.02 4/178 13814 /proc/meminfo: memFree=31422552/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=24036 CPUtime=0.29 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 9072 0 0 0 25 4 0 0 23 0 1 0 132128528 24612864 5299 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 6009 5299 391 719 0 5288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24036 [startup+0.700743 s] /proc/loadavg: 2.05 2.06 2.02 4/178 13814 /proc/meminfo: memFree=31422552/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=26164 CPUtime=0.69 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 9606 0 0 0 60 9 0 0 25 0 1 0 132128528 26791936 5833 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 6541 5833 395 719 0 5820 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26164 [startup+1.50061 s] /proc/loadavg: 2.05 2.06 2.01 3/179 13815 /proc/meminfo: memFree=31399728/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=28836 CPUtime=1.49 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 10263 0 0 0 132 17 0 0 25 0 1 0 132128528 29528064 6490 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 7209 6490 398 719 0 6488 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28836 [startup+3.10022 s] /proc/loadavg: 2.05 2.06 2.01 3/179 13815 /proc/meminfo: memFree=31395636/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=34000 CPUtime=3.09 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 11590 0 0 0 277 32 0 0 25 0 1 0 132128528 34816000 7817 4089446400 4194304 7136930 140734243169824 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 8500 7817 398 719 0 7779 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34000 [startup+6.30075 s] /proc/loadavg: 2.05 2.06 2.01 3/179 13815 /proc/meminfo: memFree=31385868/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=43852 CPUtime=6.29 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 14049 0 0 0 568 61 0 0 25 0 1 0 132128528 44904448 10276 4089446400 4194304 7136930 140734243169824 18446744073709551615 4210101 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 10963 10276 398 719 0 10242 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43852 [startup+12.7006 s] /proc/loadavg: 2.04 2.06 2.01 3/179 13815 /proc/meminfo: memFree=31364468/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=66296 CPUtime=12.69 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 19521 0 0 0 1143 126 0 0 25 0 1 0 132128528 67887104 15748 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 16574 15748 398 719 0 15853 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66296 [startup+25.5003 s] /proc/loadavg: 2.03 2.05 2.01 3/179 13815 /proc/meminfo: memFree=31331852/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=97004 CPUtime=25.49 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 27284 0 0 0 2309 240 0 0 25 0 1 0 132128528 99332096 23511 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 24251 23511 398 719 0 23530 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 97004 [startup+51.1008 s] /proc/loadavg: 2.02 2.05 2.01 3/179 13816 /proc/meminfo: memFree=31284420/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=147452 CPUtime=51.09 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 39337 0 0 0 4697 412 0 0 25 0 1 0 132128528 150990848 35564 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 36863 35564 398 719 0 36142 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 147452 [startup+102.307 s] /proc/loadavg: 2.01 2.04 2.00 3/179 13817 /proc/meminfo: memFree=31162232/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=272860 CPUtime=102.3 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 69347 0 0 0 9370 860 0 0 25 0 1 0 132128528 279408640 65574 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 68215 65574 398 719 0 67494 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 272860 [startup+162.301 s] /proc/loadavg: 2.00 2.03 2.00 3/179 13819 /proc/meminfo: memFree=31065324/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=373268 CPUtime=162.3 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 93612 0 0 0 14947 1283 0 0 25 0 1 0 132128528 382226432 89839 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 93317 89839 398 719 0 92596 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 373268 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 13821 /proc/meminfo: memFree=31006260/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=432168 CPUtime=222.29 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 108235 0 0 0 20601 1628 0 0 25 0 1 0 132128528 442540032 104462 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 108042 104462 398 719 0 107321 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 432168 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 3/179 13822 /proc/meminfo: memFree=30911452/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=534304 CPUtime=282.29 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 132190 0 0 0 26109 2120 0 0 25 0 1 0 132128528 547127296 128417 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 133576 128417 398 719 0 132855 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 534304 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 13823 /proc/meminfo: memFree=30802276/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=645200 CPUtime=342.3 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 158994 0 0 0 31590 2640 0 0 25 0 1 0 132128528 660684800 155221 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 161300 155221 398 719 0 160579 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 645200 [startup+402.301 s] /proc/loadavg: 2.05 2.02 2.00 3/179 13825 /proc/meminfo: memFree=30699804/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=763288 CPUtime=402.3 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 185370 0 0 0 37159 3071 0 0 25 0 1 0 132128528 781606912 181597 4089446400 4194304 7136930 140734243169824 18446744073709551615 4677840 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 190822 181597 398 719 0 190101 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 763288 [startup+462.301 s] /proc/loadavg: 2.02 2.02 2.00 3/179 13827 /proc/meminfo: memFree=30609740/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=853000 CPUtime=462.3 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 207212 0 0 0 42729 3501 0 0 25 0 1 0 132128528 873472000 203439 4089446400 4194304 7136930 140734243169824 18446744073709551615 5000158 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 213250 203439 398 719 0 212529 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 853000 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 13829 /proc/meminfo: memFree=30532188/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=930952 CPUtime=522.3 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 226589 0 0 0 48278 3952 0 0 25 0 1 0 132128528 953294848 222816 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 232738 222816 398 719 0 232017 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 930952 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13830 /proc/meminfo: memFree=30455992/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1005116 CPUtime=582.31 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 245329 0 0 0 53829 4402 0 0 25 0 1 0 132128528 1029238784 241556 4089446400 4194304 7136930 140734243169824 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 251279 241556 398 719 0 250558 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1005116 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13831 /proc/meminfo: memFree=30409432/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1050612 CPUtime=642.31 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 256874 0 0 0 59540 4691 0 0 25 0 1 0 132128528 1075826688 253101 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 262653 253101 398 719 0 261932 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1050612 [startup+702.3 s] ################ # More data... # ################ /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 301813 0 0 0 93828 6403 0 0 25 0 1 0 132128528 1261031424 298040 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 307869 298040 398 719 0 307148 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1231476 [startup+1062.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13843 /proc/meminfo: memFree=30163420/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1300256 CPUtime=1062.32 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 318376 0 0 0 99479 6753 0 0 25 0 1 0 132128528 1331462144 314603 4089446400 4194304 7136930 140734243169824 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 325064 314603 398 719 0 324343 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1300256 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13845 /proc/meminfo: memFree=30100240/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1363280 CPUtime=1122.32 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 333818 0 0 0 105149 7083 0 0 25 0 1 0 132128528 1395998720 330045 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 340820 330045 398 719 0 340099 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1363280 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13846 /proc/meminfo: memFree=30048368/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1421124 CPUtime=1182.32 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 347406 0 0 0 110857 7375 0 0 25 0 1 0 132128528 1455230976 343633 4089446400 4194304 7136930 140734243169824 18446744073709551615 5000294 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 355281 343633 398 719 0 354560 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1421124 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13847 /proc/meminfo: memFree=30010012/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1458068 CPUtime=1242.32 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 356208 0 0 0 116588 7644 0 0 25 0 1 0 132128528 1493061632 352435 4089446400 4194304 7136930 140734243169824 18446744073709551615 4208913 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 364517 352435 398 719 0 363796 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1458068 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13849 /proc/meminfo: memFree=29983924/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1484176 CPUtime=1302.33 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 362789 0 0 0 122306 7927 0 0 25 0 1 0 132128528 1519796224 359016 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 371044 359016 398 719 0 370323 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1484176 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13851 /proc/meminfo: memFree=29974572/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1493400 CPUtime=1362.32 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 365124 0 0 0 127966 8266 0 0 25 0 1 0 132128528 1529241600 361351 4089446400 4194304 7136930 140734243169824 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 373350 361351 398 719 0 372629 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1493400 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13853 /proc/meminfo: memFree=29935096/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1532560 CPUtime=1422.33 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 374952 0 0 0 133647 8586 0 0 25 0 1 0 132128528 1569341440 371179 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 383140 371179 398 719 0 382419 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1532560 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13854 /proc/meminfo: memFree=29910744/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1556312 CPUtime=1482.33 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 380953 0 0 0 139378 8855 0 0 25 0 1 0 132128528 1593663488 377180 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 389078 377180 398 719 0 388357 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1556312 [startup+1542.3 s] /proc/loadavg: 2.07 2.03 2.01 3/179 13855 /proc/meminfo: memFree=29862836/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1620528 CPUtime=1542.33 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 393053 0 0 0 145080 9153 0 0 25 0 1 0 132128528 1659420672 389280 4089446400 4194304 7136930 140734243169824 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 405132 389280 398 719 0 404411 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1620528 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 13885 /proc/meminfo: memFree=29678244/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1658624 CPUtime=1602.33 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 402732 0 0 0 150834 9399 0 0 25 0 1 0 132128528 1698430976 398959 4089446400 4194304 7136930 140734243169824 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 414656 398959 398 719 0 413935 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1658624 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 13887 /proc/meminfo: memFree=29464544/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1685580 CPUtime=1662.34 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 409444 0 0 0 156644 9590 0 0 25 0 1 0 132128528 1726033920 405671 4089446400 4194304 7136930 140734243169824 18446744073709551615 4999787 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 421395 405671 398 719 0 420674 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1685580 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 13889 /proc/meminfo: memFree=29327212/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1701596 CPUtime=1722.33 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 413413 0 0 0 162502 9731 0 0 25 0 1 0 132128528 1742434304 409640 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 425399 409640 398 719 0 424678 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1701596 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13899 /proc/meminfo: memFree=29185896/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1744452 CPUtime=1782.33 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 424301 0 0 0 168242 9991 0 0 25 0 1 0 132128528 1786318848 420528 4089446400 4194304 7136930 140734243169824 18446744073709551615 5953120 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 436113 420528 398 719 0 435392 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1744452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13900 /proc/meminfo: memFree=29155864/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1762156 CPUtime=1800.04 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 428730 0 0 0 169928 10076 0 0 25 0 1 0 132128528 1804447744 424957 4089446400 4194304 7136930 140734243169824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13814/statm: 440539 424957 398 719 0 439818 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1762156 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13814 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13901 /proc/meminfo: memFree=29154616/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1762156 CPUtime=1801.44 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 428735 0 0 0 170068 10076 0 0 25 0 1 0 132128528 1804447744 424962 4089446400 4194304 7136930 140734243169824 18446744073709551615 6166226 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13814/statm: 440539 424962 403 719 0 439818 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1762156 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13901 /proc/meminfo: memFree=29152012/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1762156 CPUtime=1801.84 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 428735 0 0 0 170108 10076 0 0 25 0 1 0 132128528 1804447744 424962 4089446400 4194304 7136930 140734243169824 18446744073709551615 6165643 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13814/statm: 440539 424962 403 719 0 439818 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 1762156 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13901 /proc/meminfo: memFree=29152012/32950928 swapFree=67111528/67111528 [pid=13814] ppid=13812 vsize=1762156 CPUtime=1802.04 /proc/13814/stat : 13814 (pbscip.linux.x8) R 13812 13814 12656 0 -1 4202496 428735 0 0 0 170128 10076 0 0 25 0 1 0 132128528 1804447744 424962 4089446400 4194304 7136930 140734243169824 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13814/statm: 440539 424962 403 719 0 439818 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1762156 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.11 CPU user time (s): 1701.29 CPU system time (s): 100.82 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1762156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1701.29 system time used= 100.82 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 428735 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= 1353 runsolver used 3.3205 second user time and 6.19606 second system time The end
Begin job on node123 at 2010-06-30 16:31:57 IDJOB=2694157 IDBENCH=78957 IDSOLVER=1206 FILE ID=node123/2694157-1277908317 PBS_JOBID= 11197206 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694157-1277908317/watcher-2694157-1277908317 -o /tmp/evaluation-result-2694157-1277908317/solver-2694157-1277908317 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694157-1277908317.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b9d6337ad7964b2b0f1686d5d01e741 RANDOM SEED=318435575 node123.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.804 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.60 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.804 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 : 5294.59 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.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 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.804 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.804 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.71 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.804 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.74 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.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31422956 kB Buffers: 195412 kB Cached: 1107800 kB SwapCached: 0 kB Active: 594180 kB Inactive: 791128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31422956 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4452 kB Writeback: 0 kB AnonPages: 81860 kB Mapped: 15652 kB Slab: 78816 kB PageTables: 4388 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 226704 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= 74204 MiB End job on node123 at 2010-06-30 17:02:00