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.14 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo |
| MD5SUM | c90222590d839243781a638355a39a56 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 447.975 |
| 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 | 2707 |
| 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 | 136368 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136367 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 717 |
| 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-2693657-1277929004.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.09/0.12 o 136367
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.363670e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.363670e+05 | Inf
3.30/3.37 c 3.1s| 10000 | 9593 | 0 | 0.0 | 24M|2816 | - |5645 |6838 | 0 | 0 | 0 |1424 | 0 | 0.000000e+00 | 1.363670e+05 | Inf
5.09/5.10 o 410
5.09/5.10 c * 4.8s| 16329 | 13334 | 0 | 0.0 | 26M|2816 | - |5645 |6876 | 0 | 0 | 0 |1462 | 0 | 0.000000e+00 | 4.100000e+02 | Inf
5.09/5.10 o 399
5.09/5.10 c * 4.8s| 16330 | 12471 | 0 | 0.0 | 26M|2816 | - |5645 |6876 | 0 | 0 | 0 |1462 | 0 | 0.000000e+00 | 3.990000e+02 | Inf
5.20/5.20 o 310
5.20/5.20 c * 4.9s| 16578 | 7184 | 0 | 0.0 | 24M|2816 | - |5645 |6907 | 0 | 0 | 0 |1493 | 0 | 0.000000e+00 | 3.100000e+02 | Inf
5.20/5.24 o 286
5.20/5.24 c * 4.9s| 16696 | 7048 | 0 | 0.0 | 24M|2816 | - |5645 |6927 | 0 | 0 | 0 |1513 | 0 | 0.000000e+00 | 2.860000e+02 | Inf
5.50/5.51 o 266
5.50/5.51 c * 5.2s| 17383 | 7438 | 0 | 0.0 | 25M|2816 | - |5645 |7058 | 0 | 0 | 0 |1663 | 0 | 0.000000e+00 | 2.660000e+02 | Inf
5.50/5.54 o 261
5.50/5.54 c * 5.2s| 17459 | 7448 | 0 | 0.0 | 25M|2816 | - |5645 |7085 | 0 | 0 | 0 |1693 | 0 | 0.000000e+00 | 2.610000e+02 | Inf
5.50/5.57 o 221
5.50/5.57 c * 5.2s| 17532 | 6670 | 0 | 0.0 | 24M|2816 | - |5645 |7073 | 0 | 0 | 0 |1693 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
5.50/5.57 o 173
5.50/5.57 c * 5.2s| 17533 | 6577 | 0 | 0.0 | 24M|2816 | - |5645 |7073 | 0 | 0 | 0 |1693 | 0 | 0.000000e+00 | 1.730000e+02 | Inf
6.29/6.40 c 6.0s| 20000 | 8730 | 0 | 0.0 | 27M|2816 | - |5645 |7715 | 0 | 0 | 0 |3089 | 0 | 0.000000e+00 | 1.730000e+02 | Inf
10.19/10.27 c 9.7s| 30000 | 16481 | 0 | 0.0 | 39M|2816 | - |5645 |8097 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
15.09/15.14 o 169
15.09/15.14 c *14.3s| 37801 | 20945 | 0 | 0.0 | 49M|2816 | - |5645 |9516 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
15.59/15.61 o 157
15.59/15.61 c *14.8s| 38601 | 21613 | 0 | 0.0 | 50M|2816 | - |5645 |9349 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
15.89/15.91 o 154
15.89/15.91 c *15.1s| 39038 | 22013 | 0 | 0.0 | 51M|2816 | - |5645 |9353 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
16.50/16.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.50/16.59 c 15.8s| 40000 | 22883 | 0 | 0.0 | 52M|2816 | - |5645 |9507 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
17.69/17.73 o 152
17.69/17.73 c *16.8s| 41666 | 24405 | 0 | 0.0 | 56M|2816 | - |5645 |9069 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
18.29/18.34 o 145
18.29/18.34 c *17.4s| 42477 | 25072 | 0 | 0.0 | 57M|2816 | - |5645 |9094 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
19.80/19.83 o 135
19.80/19.83 c *18.9s| 44667 | 26933 | 0 | 0.0 | 59M|2816 | - |5645 |9196 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
19.89/19.97 o 121
19.89/19.97 c *19.0s| 44893 | 26993 | 0 | 0.0 | 58M|2816 | - |5645 |9062 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
20.09/20.12 o 92
20.09/20.12 c *19.1s| 45133 | 26475 | 0 | 0.0 | 55M|2816 | - |5645 |8921 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
23.59/23.67 c 22.6s| 50000 | 30844 | 0 | 0.0 | 62M|2816 | - |5645 |7896 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
29.60/29.66 c 28.3s| 60000 | 39740 | 0 | 0.0 | 80M|2816 | - |5645 |8160 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
30.59/30.69 o 90
30.59/30.69 c *29.3s| 61300 | 40782 | 0 | 0.0 | 81M|2816 | - |5645 |8280 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
31.49/31.59 o 87
31.49/31.59 c *30.1s| 62235 | 41290 | 0 | 0.0 | 82M|2816 | - |5645 |8764 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
36.79/36.85 c 35.1s| 70000 | 48217 | 0 | 0.0 | 92M|2816 | - |5645 |8118 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
37.09/37.18 o 84
37.09/37.18 c *35.4s| 70725 | 48632 | 0 | 0.0 | 91M|2816 | - |5645 |8201 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
42.60/42.63 c 40.6s| 80000 | 56681 | 0 | 0.0 | 101M|2816 | - |5645 |8429 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
46.99/47.05 o 80
46.99/47.05 c *44.8s| 87780 | 63052 | 0 | 0.0 | 108M|2816 | - |5645 |9162 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
48.49/48.56 c 46.2s| 90000 | 64935 | 0 | 0.0 | 109M|2816 | - |5645 |8685 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
48.79/48.88 o 74
48.79/48.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.79/48.88 c *46.5s| 90305 | 64600 | 0 | 0.0 | 108M|2816 | - |5645 |8591 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
49.60/49.63 o 65
49.60/49.63 c *47.2s| 91310 | 64468 | 0 | 0.0 | 102M|2816 | - |5645 |8637 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
51.40/51.40 o 44
51.40/51.40 c *48.9s| 95652 | 66243 | 0 | 0.0 | 100M|2816 | - |5645 |9123 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
52.99/53.08 c 50.5s|100000 | 69850 | 0 | 0.0 | 104M|2816 | - |5645 |9173 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
56.99/57.00 c 54.1s|110000 | 78071 | 0 | 0.0 | 115M|2816 | - |5645 |7419 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
61.29/61.33 c 58.3s|120000 | 85658 | 0 | 0.0 | 126M|2816 | - |5645 |8379 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
66.30/66.34 c 63.0s|130000 | 92599 | 0 | 0.0 | 137M|2816 | - |5645 |8797 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
71.40/71.49 c 68.0s|140000 | 99315 | 0 | 0.0 | 148M|2816 | - |5645 |9480 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
76.60/76.64 c 72.9s|150000 |106046 | 0 | 0.0 | 158M|2816 | - |5645 |9924 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
81.99/82.05 c 78.0s|160000 |112555 | 0 | 0.0 | 169M|2816 | - |5645 | 10k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
88.20/88.21 c 84.0s|170000 |118436 | 0 | 0.0 | 181M|2816 | - |5645 | 11k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
95.19/95.29 c 90.8s|180000 |123576 | 0 | 0.0 | 193M|2816 | - |5645 | 12k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
104.19/104.24 c 99.5s|190000 |127204 | 0 | 0.0 | 204M|2816 | - |5645 | 13k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
114.90/114.99 c 110s|200000 |130220 | 0 | 0.0 | 210M|2816 | - |5645 | 10k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
121.60/121.68 c 116s|210000 |138899 | 0 | 0.0 | 221M|2816 | - |5645 |5678 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
125.40/125.44 o 34
125.40/125.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.40/125.44 c * 120s|215533 |141532 | 0 | 0.0 | 223M|2816 | - |5645 |6718 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
129.70/129.75 c 124s|220000 |144197 | 0 | 0.0 | 232M|2816 | - |5645 |6270 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
130.10/130.17 o 28
130.10/130.17 c * 124s|220555 |143881 | 0 | 0.0 | 230M|2816 | - |5645 |6143 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
136.19/136.28 c 130s|230000 |150973 | 0 | 0.0 | 243M|2816 | - |5645 |6355 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
143.70/143.70 c 137s|240000 |156668 | 0 | 0.0 | 256M|2816 | - |5645 |6790 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
146.49/146.54 o 24
146.49/146.54 c * 140s|246339 |161642 | 0 | 0.0 | 259M|2816 | - |5645 |6412 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
148.40/148.41 c 142s|250000 |164790 | 0 | 0.0 | 263M|2816 | - |5645 |6615 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
153.80/153.88 c 147s|260000 |172913 | 0 | 0.0 | 275M|2816 | - |5645 |8009 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
160.79/160.83 c 154s|270000 |179847 | 0 | 0.0 | 287M|2816 | - |5645 | 10k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
168.20/168.25 c 161s|280000 |185298 | 0 | 0.0 | 295M|2816 | - |5645 |6953 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
172.49/172.56 c 165s|290000 |193849 | 0 | 0.0 | 305M|2816 | - |5645 |7608 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
177.70/177.71 c 170s|300000 |201807 | 0 | 0.0 | 315M|2816 | - |5645 |8704 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
184.99/185.07 c 177s|310000 |207977 | 0 | 0.0 | 327M|2816 | - |5645 | 10k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
190.69/190.77 c 182s|320000 |214903 | 0 | 0.0 | 336M|2816 | - |5645 |7845 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
196.29/196.36 c 188s|330000 |222260 | 0 | 0.0 | 347M|2816 | - |5645 | 10k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
201.70/201.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.70/201.76 c 193s|340000 |229668 | 0 | 0.0 | 356M|2816 | - |5645 |8199 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
208.00/208.06 c 199s|350000 |236117 | 0 | 0.0 | 367M|2816 | - |5645 |8694 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
212.21/212.23 c 203s|360000 |244725 | 0 | 0.0 | 376M|2816 | - |5645 |8590 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
216.50/216.52 o 23
216.50/216.52 c * 207s|369281 |252173 | 0 | 0.0 | 384M|2816 | - |5645 |9317 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
216.90/216.91 c 207s|370000 |252740 | 0 | 0.0 | 385M|2816 | - |5645 |9410 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
223.20/223.22 c 213s|380000 |259964 | 0 | 0.0 | 397M|2816 | - |5645 | 10k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
231.00/231.05 c 221s|390000 |265265 | 0 | 0.0 | 408M|2816 | - |5645 |9149 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
235.60/235.60 c 225s|400000 |273498 | 0 | 0.0 | 418M|2816 | - |5645 | 10k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
242.01/242.08 c 231s|410000 |279969 | 0 | 0.0 | 428M|2816 | - |5645 |9376 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
246.31/246.35 c 235s|420000 |288589 | 0 | 0.0 | 438M|2816 | - |5645 |9897 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
251.40/251.46 c 240s|430000 |296632 | 0 | 0.0 | 448M|2816 | - |5645 | 11k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
252.70/252.80 o 22
252.70/252.80 c * 241s|432127 |297754 | 0 | 0.0 | 448M|2816 | - |5645 | 11k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
259.00/259.00 c 247s|440000 |302518 | 0 | 0.0 | 457M|2816 | - |5645 | 14k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
265.10/265.16 c 253s|450000 |309563 | 0 | 0.0 | 465M|2816 | - |5645 | 10k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
269.89/269.97 c 258s|460000 |317693 | 0 | 0.0 | 475M|2816 | - |5645 | 10k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
275.20/275.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.20/275.20 c 263s|470000 |325438 | 0 | 0.0 | 485M|2816 | - |5645 | 11k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
280.90/280.94 c 268s|480000 |332664 | 0 | 0.0 | 495M|2816 | - |5645 | 11k| 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
287.11/287.14 c 274s|490000 |339432 | 0 | 0.0 | 505M|2816 | - |5645 | 12k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
293.10/293.14 c 280s|500000 |346221 | 0 | 0.0 | 514M|2816 | - |5645 | 11k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
298.40/298.46 c 285s|510000 |353535 | 0 | 0.0 | 523M|2816 | - |5645 | 12k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
304.20/304.29 c 291s|520000 |360311 | 0 | 0.0 | 532M|2816 | - |5645 | 10k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
308.90/308.98 c 295s|530000 |368438 | 0 | 0.0 | 542M|2816 | - |5645 | 11k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
314.70/314.73 c 300s|540000 |375658 | 0 | 0.0 | 553M|2816 | - |5645 | 11k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
319.90/319.99 c 305s|550000 |383357 | 0 | 0.0 | 563M|2816 | - |5645 | 11k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
325.80/325.89 c 311s|560000 |390530 | 0 | 0.0 | 574M|2816 | - |5645 | 12k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
332.70/332.72 c 318s|570000 |396525 | 0 | 0.0 | 583M|2816 | - |5645 | 11k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
337.11/337.17 c 322s|580000 |404737 | 0 | 0.0 | 593M|2816 | - |5645 | 13k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
342.50/342.59 c 327s|590000 |412128 | 0 | 0.0 | 603M|2816 | - |5645 | 12k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
348.00/348.02 c 332s|600000 |419401 | 0 | 0.0 | 613M|2816 | - |5645 | 13k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
353.70/353.75 c 338s|610000 |426414 | 0 | 0.0 | 624M|2816 | - |5645 | 12k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
358.20/358.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.20/358.29 c 342s|620000 |434675 | 0 | 0.0 | 634M|2816 | - |5645 | 12k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
363.70/363.76 c 347s|630000 |442216 | 0 | 0.0 | 645M|2816 | - |5645 | 14k| 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
370.30/370.36 c 353s|640000 |448678 | 0 | 0.0 | 654M|2816 | - |5645 | 13k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
375.21/375.27 c 358s|650000 |456516 | 0 | 0.0 | 663M|2816 | - |5645 | 13k| 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
380.90/380.98 c 364s|660000 |463758 | 0 | 0.0 | 673M|2816 | - |5645 | 13k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
387.11/387.12 o 17
387.11/387.12 c * 369s|669483 |467612 | 0 | 0.0 | 665M|2816 | - |5645 | 14k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
387.40/387.48 c 370s|670000 |467975 | 0 | 0.0 | 666M|2816 | - |5645 | 13k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
392.61/392.63 c 375s|680000 |475717 | 0 | 0.0 | 676M|2816 | - |5645 | 14k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
398.60/398.69 c 380s|690000 |482753 | 0 | 0.0 | 686M|2816 | - |5645 | 13k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
403.91/403.98 c 385s|700000 |490563 | 0 | 0.0 | 696M|2816 | - |5645 | 15k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
411.70/411.79 c 393s|710000 |496470 | 0 | 0.0 | 705M|2816 | - |5645 | 15k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
417.50/417.59 c 399s|720000 |503712 | 0 | 0.0 | 715M|2816 | - |5645 | 16k| 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
423.80/423.85 c 404s|730000 |510788 | 0 | 0.0 | 726M|2816 | - |5645 | 16k| 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
429.70/429.75 c 410s|740000 |517952 | 0 | 0.0 | 736M|2816 | - |5645 | 16k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
435.70/435.76 c 416s|750000 |524963 | 0 | 0.0 | 747M|2816 | - |5645 | 16k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
441.90/441.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.90/441.93 c 422s|760000 |531977 | 0 | 0.0 | 757M|2816 | - |5645 | 16k| 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
448.01/448.02 c 428s|770000 |539017 | 0 | 0.0 | 767M|2816 | - |5645 | 16k| 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
454.01/454.08 c 433s|780000 |545860 | 0 | 0.0 | 776M|2816 | - |5645 | 17k| 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
459.61/459.67 c 439s|790000 |553765 | 0 | 0.0 | 783M|2816 | - |5645 |6217 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
464.30/464.34 c 443s|800000 |561989 | 0 | 0.0 | 794M|2816 | - |5645 |6636 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
468.61/468.63 c 447s|810000 |570206 | 0 | 0.0 | 805M|2816 | - |5645 |7178 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
473.80/473.88 c 452s|820000 |577134 | 0 | 0.0 | 814M|2816 | - |5645 |8071 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
481.30/481.32 c 459s|830000 |582522 | 0 | 0.0 | 825M|2816 | - |5645 |9998 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
489.31/489.33 c 467s|840000 |587699 | 0 | 0.0 | 836M|2816 | - |5645 | 10k| 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
497.91/497.94 c 476s|850000 |592429 | 0 | 0.0 | 847M|2816 | - |5645 | 12k| 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
507.11/507.13 c 484s|860000 |596711 | 0 | 0.0 | 857M|2816 | - |5645 | 11k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
516.60/516.61 c 494s|870000 |600847 | 0 | 0.0 | 867M|2816 | - |5645 | 13k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
526.61/526.65 c 503s|880000 |604652 | 0 | 0.0 | 878M|2816 | - |5645 | 13k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
537.31/537.31 c 514s|890000 |608002 | 0 | 0.0 | 887M|2816 | - |5645 | 12k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
548.10/548.17 c 524s|900000 |611184 | 0 | 0.0 | 897M|2816 | - |5645 | 13k| 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
559.21/559.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.21/559.24 c 535s|910000 |614306 | 0 | 0.0 | 908M|2816 | - |5645 | 14k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
570.11/570.12 c 546s|920000 |617501 | 0 | 0.0 | 918M|2816 | - |5645 | 14k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
581.31/581.32 c 557s|930000 |620518 | 0 | 0.0 | 928M|2816 | - |5645 | 14k| 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
592.70/592.80 c 568s|940000 |623377 | 0 | 0.0 | 938M|2816 | - |5645 | 15k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
604.81/604.83 c 579s|950000 |626013 | 0 | 0.0 | 948M|2816 | - |5645 | 15k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
616.71/616.74 c 591s|960000 |628756 | 0 | 0.0 | 958M|2816 | - |5645 | 15k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
628.61/628.63 c 603s|970000 |631475 | 0 | 0.0 | 967M|2816 | - |5645 | 15k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
640.51/640.57 c 614s|980000 |634222 | 0 | 0.0 | 978M|2816 | - |5645 | 16k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
652.51/652.57 c 626s|990000 |636939 | 0 | 0.0 | 987M|2816 | - |5645 | 16k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
664.71/664.75 c 638s| 1000k|639482 | 0 | 0.0 | 997M|2816 | - |5645 | 17k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
677.52/677.56 c 650s| 1010k|641830 | 0 | 0.0 |1005M|2816 | - |5645 | 16k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
691.61/691.61 c 664s| 1020k|643155 | 0 | 0.0 |1012M|2816 | - |5645 | 17k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
705.51/705.53 c 678s| 1030k|644879 | 0 | 0.0 |1019M|2816 | - |5645 | 18k| 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
720.92/720.93 c 693s| 1040k|644613 | 0 | 0.0 |1024M|2816 | - |5645 | 18k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
738.81/738.83 c 710s| 1050k|641102 | 0 | 0.0 |1024M|2816 | - |5645 | 22k| 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
747.61/747.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.61/747.60 c 719s| 1060k|647061 | 0 | 0.0 |1031M|2816 | - |5645 |8151 | 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
753.52/753.52 c 724s| 1070k|655195 | 0 | 0.0 |1046M|2816 | - |5645 |8251 | 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
759.81/759.88 c 730s| 1080k|663084 | 0 | 0.0 |1061M|2816 | - |5645 |8595 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
767.11/767.15 c 737s| 1090k|670436 | 0 | 0.0 |1078M|2816 | - |5645 |9236 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
774.62/774.65 c 745s| 1100k|677682 | 0 | 0.0 |1094M|2816 | - |5645 |9878 | 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
782.21/782.25 c 752s| 1110k|684460 | 0 | 0.0 |1108M|2816 | - |5645 |6444 | 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
788.72/788.73 c 758s| 1120k|691069 | 0 | 0.0 |1121M|2816 | - |5645 |7490 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
796.11/796.11 c 765s| 1130k|697125 | 0 | 0.0 |1134M|2816 | - |5645 |8290 | 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
804.42/804.41 c 773s| 1140k|702492 | 0 | 0.0 |1149M|2816 | - |5645 |9394 | 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
813.41/813.40 c 782s| 1150k|707330 | 0 | 0.0 |1163M|2816 | - |5645 |9873 | 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
823.82/823.83 c 792s| 1160k|711039 | 0 | 0.0 |1177M|2816 | - |5645 | 10k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
836.61/836.64 c 804s| 1170k|712611 | 0 | 0.0 |1190M|2816 | - |5645 | 11k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
844.82/844.80 c 812s| 1180k|717681 | 0 | 0.0 |1198M|2816 | - |5645 |6881 | 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
849.92/849.99 c 817s| 1190k|725333 | 0 | 0.0 |1209M|2816 | - |5645 |6931 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
855.42/855.42 c 822s| 1200k|732822 | 0 | 0.0 |1221M|2816 | - |5645 |7503 | 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
861.22/861.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.22/861.30 c 828s| 1210k|739959 | 0 | 0.0 |1234M|2816 | - |5645 |8196 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
867.51/867.54 c 834s| 1220k|746859 | 0 | 0.0 |1246M|2816 | - |5645 |8770 | 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
874.11/874.19 c 840s| 1230k|753412 | 0 | 0.0 |1259M|2816 | - |5645 |9072 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
881.13/881.11 c 846s| 1240k|759788 | 0 | 0.0 |1272M|2816 | - |5645 |9748 | 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
888.92/888.97 c 854s| 1250k|765465 | 0 | 0.0 |1285M|2816 | - |5645 | 10k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
897.11/897.14 c 862s| 1260k|770816 | 0 | 0.0 |1298M|2816 | - |5645 | 11k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
906.11/906.14 c 870s| 1270k|775641 | 0 | 0.0 |1310M|2816 | - |5645 | 12k| 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
907.22/907.20 o 13
907.22/907.20 c * 871s| 1271k|772039 | 0 | 0.0 |1275M|2816 | - |5645 | 12k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
918.72/918.77 c 883s| 1280k|774654 | 0 | 0.0 |1292M|2816 | - |5645 | 14k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
928.62/928.60 c 892s| 1290k|779222 | 0 | 0.0 |1298M|2816 | - |5645 |7508 | 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
933.32/933.34 c 897s| 1300k|787248 | 0 | 0.0 |1308M|2816 | - |5645 |7268 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
938.22/938.27 c 901s| 1310k|795090 | 0 | 0.0 |1319M|2816 | - |5645 |7724 | 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
943.31/943.36 c 906s| 1320k|802849 | 0 | 0.0 |1330M|2816 | - |5645 |7978 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
948.62/948.62 c 911s| 1330k|810412 | 0 | 0.0 |1340M|2816 | - |5645 |8233 | 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
954.22/954.21 c 916s| 1340k|817709 | 0 | 0.0 |1351M|2816 | - |5645 |8520 | 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
959.72/959.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.72/959.77 c 922s| 1350k|825006 | 0 | 0.0 |1362M|2816 | - |5645 |8902 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
965.62/965.60 c 927s| 1360k|832165 | 0 | 0.0 |1373M|2816 | - |5645 |9120 | 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
971.82/971.86 c 933s| 1370k|838936 | 0 | 0.0 |1385M|2816 | - |5645 |9680 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
978.02/978.03 c 939s| 1380k|845782 | 0 | 0.0 |1396M|2816 | - |5645 |9897 | 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
984.53/984.53 c 945s| 1390k|852420 | 0 | 0.0 |1407M|2816 | - |5645 | 10k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
991.03/991.05 c 951s| 1400k|858997 | 0 | 0.0 |1417M|2816 | - |5645 | 10k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
997.52/997.50 c 958s| 1410k|865626 | 0 | 0.0 |1428M|2816 | - |5645 | 10k| 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1004.71/1004.73 c 965s| 1420k|871697 | 0 | 0.0 |1438M|2816 | - |5645 | 10k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1012.52/1012.57 c 972s| 1430k|877318 | 0 | 0.0 |1449M|2816 | - |5645 | 11k| 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1020.92/1020.91 c 980s| 1440k|882671 | 0 | 0.0 |1460M|2816 | - |5645 | 12k| 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1030.32/1030.36 c 989s| 1450k|887749 | 0 | 0.0 |1470M|2816 | - |5645 |7739 | 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1038.62/1038.68 c 997s| 1460k|892276 | 0 | 0.0 |1480M|2816 | - |5645 | 10k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1047.52/1047.58 c 1006s| 1470k|896497 | 0 | 0.0 |1490M|2816 | - |5645 | 10k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1050.43/1050.48 o 11
1050.43/1050.48 c *1009s| 1472k|894477 | 0 | 0.0 |1470M|2816 | - |5645 | 11k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1059.82/1059.88 c 1018s| 1480k|896533 | 0 | 0.0 |1480M|2816 | - |5645 | 10k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1072.53/1072.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1072.53/1072.58 c 1030s| 1490k|898560 | 0 | 0.0 |1490M|2816 | - |5645 | 11k| 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1087.32/1087.38 c 1044s| 1500k|898021 | 0 | 0.0 |1495M|2816 | - |5645 | 12k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1092.23/1092.21 c 1049s| 1510k|905564 | 0 | 0.0 |1500M|2816 | - |5645 |6868 | 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1096.23/1096.24 c 1053s| 1520k|913743 | 0 | 0.0 |1510M|2816 | - |5645 |6863 | 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1100.32/1100.35 c 1056s| 1530k|921854 | 0 | 0.0 |1519M|2816 | - |5645 |6967 | 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1104.53/1104.60 c 1060s| 1540k|929828 | 0 | 0.0 |1528M|2816 | - |5645 |7175 | 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1108.73/1108.77 c 1064s| 1550k|937776 | 0 | 0.0 |1537M|2816 | - |5645 |7187 | 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1113.13/1113.18 c 1069s| 1560k|945523 | 0 | 0.0 |1547M|2816 | - |5645 |7508 | 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1117.53/1117.53 c 1073s| 1570k|953326 | 0 | 0.0 |1556M|2816 | - |5645 |7639 | 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1121.93/1121.93 c 1077s| 1580k|961072 | 0 | 0.0 |1565M|2816 | - |5645 |7795 | 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1126.43/1126.43 c 1081s| 1590k|968718 | 0 | 0.0 |1575M|2816 | - |5645 |7977 | 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1131.02/1131.05 c 1085s| 1600k|976282 | 0 | 0.0 |1584M|2816 | - |5645 |8308 | 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1136.02/1136.09 c 1090s| 1610k|983515 | 0 | 0.0 |1594M|2816 | - |5645 |8111 | 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1141.52/1141.51 c 1095s| 1620k|990443 | 0 | 0.0 |1603M|2816 | - |5645 |8154 | 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1147.12/1147.13 c 1101s| 1630k|997162 | 0 | 0.0 |1613M|2816 | - |5645 |8756 | 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1153.02/1153.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.02/1153.05 c 1106s| 1640k| 1003k| 0 | 0.0 |1623M|2816 | - |5645 |9281 | 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1159.12/1159.18 c 1112s| 1650k| 1010k| 0 | 0.0 |1633M|2816 | - |5645 |9474 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1165.62/1165.64 c 1119s| 1660k| 1016k| 0 | 0.0 |1642M|2816 | - |5645 |9421 | 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1172.32/1172.32 c 1125s| 1670k| 1022k| 0 | 0.0 |1652M|2816 | - |5645 |9694 | 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1179.53/1179.51 c 1132s| 1680k| 1027k| 0 | 0.0 |1662M|2816 | - |5645 | 10k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1186.93/1186.92 c 1139s| 1690k| 1033k| 0 | 0.0 |1672M|2816 | - |5645 | 10k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1194.42/1194.41 c 1146s| 1700k| 1038k| 0 | 0.0 |1681M|2816 | - |5645 | 11k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1202.93/1202.96 c 1154s| 1710k| 1043k| 0 | 0.0 |1690M|2816 | - |5645 | 11k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1211.62/1211.66 c 1163s| 1720k| 1047k| 0 | 0.0 |1700M|2816 | - |5645 | 12k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1221.63/1221.66 c 1173s| 1730k| 1051k| 0 | 0.0 |1709M|2816 | - |5645 | 14k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1233.23/1233.22 c 1184s| 1740k| 1053k| 0 | 0.0 |1718M|2816 | - |5645 | 14k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1249.12/1249.10 c 1199s| 1750k| 1053k| 0 | 0.0 |1721M|2816 | - |5645 | 17k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1253.53/1253.55 c 1204s| 1760k| 1061k| 0 | 0.0 |1728M|2816 | - |5645 |7309 | 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1257.93/1257.90 c 1208s| 1770k| 1069k| 0 | 0.0 |1737M|2816 | - |5645 |7649 | 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1262.53/1262.53 c 1212s| 1780k| 1076k| 0 | 0.0 |1747M|2816 | - |5645 |8095 | 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1267.24/1267.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.24/1267.29 c 1217s| 1790k| 1084k| 0 | 0.0 |1756M|2816 | - |5645 |8463 | 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1272.23/1272.20 c 1221s| 1800k| 1091k| 0 | 0.0 |1765M|2816 | - |5645 |8855 | 0 | 0 | 0 |1607k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1277.43/1277.49 c 1226s| 1810k| 1099k| 0 | 0.0 |1775M|2816 | - |5645 |9431 | 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1283.12/1283.11 c 1232s| 1820k| 1105k| 0 | 0.0 |1784M|2816 | - |5645 |9785 | 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1289.13/1289.15 c 1238s| 1830k| 1112k| 0 | 0.0 |1793M|2816 | - |5645 | 10k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1295.63/1295.70 c 1244s| 1840k| 1118k| 0 | 0.0 |1802M|2816 | - |5645 | 11k| 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1303.12/1303.12 c 1251s| 1850k| 1124k| 0 | 0.0 |1812M|2816 | - |5645 | 12k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1312.03/1312.06 c 1260s| 1860k| 1128k| 0 | 0.0 |1821M|2816 | - |5645 | 13k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1322.63/1322.63 c 1270s| 1870k| 1132k| 0 | 0.0 |1829M|2816 | - |5645 | 15k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1334.53/1334.52 c 1281s| 1880k| 1134k| 0 | 0.0 |1835M|2816 | - |5645 | 11k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1340.43/1340.44 c 1287s| 1890k| 1141k| 0 | 0.0 |1842M|2816 | - |5645 |8312 | 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1345.33/1345.36 c 1292s| 1900k| 1148k| 0 | 0.0 |1852M|2816 | - |5645 |8844 | 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1350.43/1350.42 c 1297s| 1910k| 1156k| 0 | 0.0 |1862M|2816 | - |5645 |9417 | 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1355.83/1355.88 c 1302s| 1920k| 1163k| 0 | 0.0 |1872M|2816 | - |5645 | 10k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1361.43/1361.40 c 1307s| 1930k| 1170k| 0 | 0.0 |1882M|2816 | - |5645 | 11k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1367.73/1367.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.73/1367.71 c 1313s| 1940k| 1176k| 0 | 0.0 |1893M|2816 | - |5645 | 11k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1374.43/1374.41 c 1319s| 1950k| 1183k| 0 | 0.0 |1903M|2816 | - |5645 | 12k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1382.43/1382.43 c 1327s| 1960k| 1188k| 0 | 0.0 |1913M|2816 | - |5645 | 13k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1391.73/1391.76 c 1336s| 1970k| 1192k| 0 | 0.0 |1923M|2816 | - |5645 | 14k| 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1403.54/1403.55 c 1348s| 1980k| 1194k| 0 | 0.0 |1932M|2816 | - |5645 | 16k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1410.54/1410.60 c 1355s| 1990k| 1201k| 0 | 0.0 |1938M|2816 | - |5645 |7878 | 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1414.93/1414.96 c 1359s| 2000k| 1209k| 0 | 0.0 |1947M|2816 | - |5645 |7755 | 0 | 0 | 0 |1768k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1419.43/1419.49 c 1363s| 2010k| 1217k| 0 | 0.0 |1957M|2816 | - |5645 |7853 | 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1424.04/1424.08 c 1367s| 2020k| 1224k| 0 | 0.0 |1967M|2816 | - |5645 |7979 | 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1428.84/1428.85 c 1372s| 2030k| 1232k| 0 | 0.0 |1976M|2816 | - |5645 |8211 | 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1433.93/1433.99 c 1377s| 2040k| 1239k| 0 | 0.0 |1986M|2816 | - |5645 |8521 | 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1439.43/1439.40 c 1382s| 2050k| 1246k| 0 | 0.0 |1996M|2816 | - |5645 |8930 | 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1444.83/1444.89 c 1387s| 2060k| 1253k| 0 | 0.0 |2006M|2816 | - |5645 |8865 | 0 | 0 | 0 |1800k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1450.53/1450.56 c 1393s| 2070k| 1260k| 0 | 0.0 |2015M|2816 | - |5645 |9386 | 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1456.23/1456.30 c 1398s| 2080k| 1267k| 0 | 0.0 |2025M|2816 | - |5645 |9507 | 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1462.43/1462.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.43/1462.46 c 1404s| 2090k| 1273k| 0 | 0.0 |2035M|2816 | - |5645 |9796 | 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1468.43/1468.50 c 1410s| 2100k| 1280k| 0 | 0.0 |2044M|2816 | - |5645 |9917 | 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1474.83/1474.83 c 1416s| 2110k| 1286k| 0 | 0.0 |2054M|2816 | - |5645 | 10k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1481.63/1481.70 c 1422s| 2120k| 1292k| 0 | 0.0 |2063M|2816 | - |5645 | 10k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1488.33/1488.36 c 1429s| 2130k| 1298k| 0 | 0.0 |2072M|2816 | - |5645 | 10k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1495.64/1495.60 c 1436s| 2140k| 1303k| 0 | 0.0 |2081M|2816 | - |5645 | 11k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1502.74/1502.76 c 1443s| 2150k| 1309k| 0 | 0.0 |2090M|2816 | - |5645 | 11k| 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1510.43/1510.46 c 1450s| 2160k| 1314k| 0 | 0.0 |2099M|2816 | - |5645 | 11k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1514.74/1514.72 o 7
1514.74/1514.72 c *1454s| 2165k| 1307k| 0 | 0.0 |2051M|2816 | - |5645 | 11k| 0 | 0 | 0 |1882k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1519.43/1519.48 c 1459s| 2170k| 1309k| 0 | 0.0 |2059M|2816 | - |5645 | 11k| 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1529.54/1529.52 c 1469s| 2180k| 1314k| 0 | 0.0 |2072M|2816 | - |5645 | 12k| 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1539.63/1539.69 c 1478s| 2190k| 1318k| 0 | 0.0 |2083M|2816 | - |5645 | 13k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1551.34/1551.31 c 1490s| 2200k| 1320k| 0 | 0.0 |2092M|2816 | - |5645 | 13k| 0 | 0 | 0 |1921k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1566.04/1566.05 c 1504s| 2210k| 1320k| 0 | 0.0 |2097M|2816 | - |5645 | 12k| 0 | 0 | 0 |1939k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1570.43/1570.40 c 1508s| 2220k| 1328k| 0 | 0.0 |2105M|2816 | - |5645 |8558 | 0 | 0 | 0 |1942k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1574.93/1574.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.93/1574.90 c 1512s| 2230k| 1336k| 0 | 0.0 |2115M|2816 | - |5645 |9333 | 0 | 0 | 0 |1947k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1580.03/1580.06 c 1517s| 2240k| 1344k| 0 | 0.0 |2126M|2816 | - |5645 |9956 | 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1585.54/1585.58 c 1523s| 2250k| 1351k| 0 | 0.0 |2136M|2816 | - |5645 | 10k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1591.44/1591.43 c 1528s| 2260k| 1357k| 0 | 0.0 |2147M|2816 | - |5645 | 11k| 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1597.74/1597.70 c 1534s| 2270k| 1364k| 0 | 0.0 |2157M|2816 | - |5645 | 11k| 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1604.64/1604.67 c 1541s| 2280k| 1370k| 0 | 0.0 |2167M|2816 | - |5645 | 12k| 0 | 0 | 0 |1981k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1612.54/1612.59 c 1549s| 2290k| 1375k| 0 | 0.0 |2177M|2816 | - |5645 | 13k| 0 | 0 | 0 |1990k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1621.64/1621.62 c 1557s| 2300k| 1379k| 0 | 0.0 |2186M|2816 | - |5645 | 13k| 0 | 0 | 0 |2001k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1632.04/1632.04 c 1567s| 2310k| 1383k| 0 | 0.0 |2195M|2816 | - |5645 | 14k| 0 | 0 | 0 |2013k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1643.84/1643.87 c 1579s| 2320k| 1385k| 0 | 0.0 |2203M|2816 | - |5645 | 15k| 0 | 0 | 0 |2026k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1652.25/1652.23 c 1587s| 2330k| 1390k| 0 | 0.0 |2207M|2816 | - |5645 |8745 | 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1656.44/1656.43 c 1591s| 2340k| 1398k| 0 | 0.0 |2217M|2816 | - |5645 |8900 | 0 | 0 | 0 |2039k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1660.84/1660.89 c 1595s| 2350k| 1406k| 0 | 0.0 |2226M|2816 | - |5645 |9012 | 0 | 0 | 0 |2043k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1665.64/1665.60 c 1599s| 2360k| 1414k| 0 | 0.0 |2236M|2816 | - |5645 |9515 | 0 | 0 | 0 |2048k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1670.54/1670.50 c 1604s| 2370k| 1421k| 0 | 0.0 |2246M|2816 | - |5645 |9789 | 0 | 0 | 0 |2053k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1675.44/1675.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.44/1675.42 c 1609s| 2380k| 1429k| 0 | 0.0 |2255M|2816 | - |5645 | 10k| 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1680.63/1680.60 c 1614s| 2390k| 1436k| 0 | 0.0 |2265M|2816 | - |5645 | 10k| 0 | 0 | 0 |2064k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1685.84/1685.82 c 1619s| 2400k| 1444k| 0 | 0.0 |2275M|2816 | - |5645 | 10k| 0 | 0 | 0 |2069k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1691.34/1691.37 c 1624s| 2410k| 1451k| 0 | 0.0 |2284M|2816 | - |5645 | 11k| 0 | 0 | 0 |2075k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1697.04/1697.03 c 1629s| 2420k| 1458k| 0 | 0.0 |2294M|2816 | - |5645 | 11k| 0 | 0 | 0 |2081k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1703.14/1703.11 c 1635s| 2430k| 1464k| 0 | 0.0 |2303M|2816 | - |5645 | 11k| 0 | 0 | 0 |2088k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1709.54/1709.51 c 1641s| 2440k| 1471k| 0 | 0.0 |2313M|2816 | - |5645 | 11k| 0 | 0 | 0 |2095k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1716.05/1716.08 c 1647s| 2450k| 1477k| 0 | 0.0 |2322M|2816 | - |5645 | 12k| 0 | 0 | 0 |2102k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1722.94/1722.93 c 1654s| 2460k| 1483k| 0 | 0.0 |2332M|2816 | - |5645 | 12k| 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1730.14/1730.16 c 1661s| 2470k| 1489k| 0 | 0.0 |2341M|2816 | - |5645 | 12k| 0 | 0 | 0 |2118k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1738.34/1738.37 c 1669s| 2480k| 1494k| 0 | 0.0 |2351M|2816 | - |5645 | 13k| 0 | 0 | 0 |2127k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1746.64/1746.70 c 1677s| 2490k| 1499k| 0 | 0.0 |2360M|2816 | - |5645 | 13k| 0 | 0 | 0 |2137k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1756.25/1756.26 c 1686s| 2500k| 1503k| 0 | 0.0 |2369M|2816 | - |5645 | 14k| 0 | 0 | 0 |2148k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1767.45/1767.41 c 1697s| 2510k| 1507k| 0 | 0.0 |2378M|2816 | - |5645 | 15k| 0 | 0 | 0 |2161k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1780.95/1780.98 c 1710s| 2520k| 1508k| 0 | 0.0 |2386M|2816 | - |5645 | 16k| 0 | 0 | 0 |2176k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1796.24/1796.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.24/1796.25 c 1725s| 2530k| 1508k| 0 | 0.0 |2386M|2816 | - |5645 | 10k| 0 | 0 | 0 |2193k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1728.09
1800.05/1800.00 c Solving Nodes : 2538223
1800.05/1800.00 c Primal Bound : +7.00000000000000e+00 (35 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.07 s SATISFIABLE
1800.05/1800.07 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.07 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.07 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.07 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.07 v -x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126
1800.05/1800.07 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.05/1800.07 v -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.05/1800.07 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.05/1800.07 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.05/1800.07 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.05/1800.07 v -x1
1800.05/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.07 c Solving Time : 1728.09
1800.05/1800.07 c Original Problem :
1800.05/1800.07 c Problem name : HOME/instance-2693657-1277929004.wbo
1800.05/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.07 c Presolved Problem :
1800.05/1800.07 c Problem name : t_HOME/instance-2693657-1277929004.wbo
1800.05/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.07 c Constraints : 5414 initial, 23522 maximal
1800.05/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.05/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c root node : - 2391 - - 4782 - - - -
1800.05/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c indicator : 2707 0 6208842 0 1847321 507 4940624 0 0 0
1800.05/1800.07 c linear : 2707 0 7734945 0 2185219 501722 43861517 0 0 0
1800.05/1800.07 c logicor : 0+ 0 3561051 0 0 72901 2048850 0 0 0
1800.05/1800.07 c countsols : 0 0 0 0 2185247 0 0 0 0 0
1800.05/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c indicator : 56.49 0.00 24.08 0.00 32.41
1800.05/1800.07 c linear : 409.73 0.00 408.38 0.00 1.35
1800.05/1800.07 c logicor : 210.94 0.00 210.94 0.00 0.00
1800.05/1800.07 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.07 c vbounds : 0.00 2 0 0
1800.05/1800.07 c rootredcost : 0.01 0 0 0
1800.05/1800.07 c pseudoobj : 424.49 7746044 10427 4846360
1800.05/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.07 c propagation : 37.82 585050 585050 2872982 23.7 293335 9.9 -
1800.05/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c pseudo solution : 0.14 487 487 1816 23.4 1104 8.6 -
1800.05/1800.07 c applied globally : - - - 2196634 20.6 - - -
1800.05/1800.07 c applied locally : - - - 2 315.5 - - -
1800.05/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.07 c redcost : 0.00 0 0 0 0 0
1800.05/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.07 c intobj : 0.00 0 0 0 0 0
1800.05/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.07 c gomory : 0.00 0 0 0 0 0
1800.05/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.07 c cmir : 0.00 0 0 0 0 0
1800.05/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.07 c clique : 0.00 0 0 0 0 0
1800.05/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.07 c mcf : 0.00 0 0 0 0 0
1800.05/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.07 c Pricers : Time Calls Vars
1800.05/1800.07 c problem variables: 0.00 0 0
1800.05/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.07 c inference : 71.69 2185215 0 0 0 0 4370430
1800.05/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.07 c random : 0.00 0 0 0 0 0 0
1800.05/1800.07 c Primal Heuristics : Time Calls Found
1800.05/1800.07 c LP solutions : 0.00 - 0
1800.05/1800.07 c pseudo solutions : 0.20 - 32
1800.05/1800.07 c oneopt : 0.11 0 0
1800.05/1800.07 c trivial : 0.08 2 2
1800.05/1800.07 c simplerounding : 0.00 0 0
1800.05/1800.07 c zirounding : 0.00 0 0
1800.05/1800.07 c rounding : 0.00 0 0
1800.05/1800.07 c shifting : 0.00 0 0
1800.05/1800.07 c intshifting : 0.00 0 0
1800.05/1800.07 c twoopt : 0.00 0 0
1800.05/1800.07 c fixandinfer : 0.00 0 0
1800.05/1800.07 c feaspump : 0.00 0 0
1800.05/1800.07 c coefdiving : 0.00 0 0
1800.05/1800.07 c pscostdiving : 0.00 0 0
1800.05/1800.07 c fracdiving : 0.00 0 0
1800.05/1800.07 c veclendiving : 0.00 0 0
1800.05/1800.07 c intdiving : 0.00 0 0
1800.05/1800.07 c actconsdiving : 0.00 0 0
1800.05/1800.07 c objpscostdiving : 0.00 0 0
1800.05/1800.07 c rootsoldiving : 0.00 0 0
1800.05/1800.07 c linesearchdiving : 0.00 0 0
1800.05/1800.07 c guideddiving : 0.00 0 0
1800.05/1800.07 c octane : 0.00 0 0
1800.05/1800.07 c rens : 0.00 0 0
1800.05/1800.07 c rins : 0.00 0 0
1800.05/1800.07 c localbranching : 0.00 0 0
1800.05/1800.07 c mutation : 0.00 0 0
1800.05/1800.07 c crossover : 0.00 0 0
1800.05/1800.07 c dins : 0.00 0 0
1800.05/1800.07 c undercover : 0.00 0 0
1800.05/1800.07 c nlp : 0.00 0 0
1800.05/1800.07 c trysol : 0.02 1 1
1800.05/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.07 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.07 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.07 c (at root node) : - 0 0 0.00 -
1800.05/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.07 c B&B Tree :
1800.05/1800.07 c number of runs : 1
1800.05/1800.07 c nodes : 2538223
1800.05/1800.07 c nodes (total) : 2538223
1800.05/1800.07 c nodes left : 1514989
1800.05/1800.07 c max depth : 2816
1800.05/1800.07 c max depth (total): 2816
1800.05/1800.07 c backtracks : 312485 (12.3%)
1800.05/1800.07 c delayed cutoffs : 278288
1800.05/1800.07 c repropagations : 1310138 (17253430 domain reductions, 233068 cutoffs)
1800.05/1800.07 c avg switch length: 40.25
1800.05/1800.07 c switching time : 466.99
1800.05/1800.07 c Solution :
1800.05/1800.07 c Solutions found : 35 (33 improvements)
1800.05/1800.07 c First Solution : +1.36367000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.07 c Primal Bound : +7.00000000000000e+00 (in run 1, after 2165383 nodes, 1454.22 seconds, depth 978, found by <relaxation>)
1800.05/1800.07 c Dual Bound : +0.00000000000000e+00
1800.05/1800.07 c Gap : infinite
1800.05/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.07 c Root Iterations : 0
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693657-1277929004/watcher-2693657-1277929004 -o /tmp/evaluation-result-2693657-1277929004/solver-2693657-1277929004 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693657-1277929004.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: 1.92 2.05 2.22 3/178 16296 /proc/meminfo: memFree=30037448/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=8408 CPUtime=0 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 1579 0 0 0 0 0 0 0 21 0 1 0 134195868 8609792 1501 4089446400 4194304 7136930 140733632757904 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16296/statm: 2102 1501 275 719 0 1381 0 [startup+0.0687679 s] /proc/loadavg: 1.92 2.05 2.22 3/178 16296 /proc/meminfo: memFree=30037448/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=33676 CPUtime=0.06 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 7967 0 0 0 5 1 0 0 21 0 1 0 134195868 34484224 7535 4089446400 4194304 7136930 140733632757904 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 33676 [startup+0.100759 s] /proc/loadavg: 1.92 2.05 2.22 3/178 16296 /proc/meminfo: memFree=30037448/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=33676 CPUtime=0.09 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 7967 0 0 0 8 1 0 0 21 0 1 0 134195868 34484224 7535 4089446400 4194304 7136930 140733632757904 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300736 s] /proc/loadavg: 1.92 2.05 2.22 3/178 16296 /proc/meminfo: memFree=30037448/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=36496 CPUtime=0.29 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 9241 0 0 0 27 2 0 0 21 0 1 0 134195868 37371904 8295 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700651 s] /proc/loadavg: 1.92 2.05 2.22 3/178 16296 /proc/meminfo: memFree=30037448/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=37636 CPUtime=0.69 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 9516 0 0 0 65 4 0 0 22 0 1 0 134195868 38539264 8570 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50051 s] /proc/loadavg: 1.92 2.05 2.22 3/179 16297 /proc/meminfo: memFree=30002844/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=42964 CPUtime=1.49 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 10851 0 0 0 138 11 0 0 25 0 1 0 134195868 43995136 9905 4089446400 4194304 7136930 140733632757904 18446744073709551615 4983279 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 10741 9905 390 719 0 10020 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42964 [startup+3.10022 s] /proc/loadavg: 1.92 2.05 2.22 3/179 16297 /proc/meminfo: memFree=29998012/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=45020 CPUtime=3.09 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 11381 0 0 0 291 18 0 0 25 0 1 0 134195868 46100480 10435 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 11255 10435 390 719 0 10534 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45020 [startup+6.30064 s] /proc/loadavg: 1.93 2.05 2.22 3/179 16297 /proc/meminfo: memFree=29988836/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=53024 CPUtime=6.29 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 13329 0 0 0 593 36 0 0 25 0 1 0 134195868 54296576 12383 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 13256 12383 391 719 0 12535 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53024 [startup+12.7005 s] /proc/loadavg: 1.93 2.05 2.22 3/179 16297 /proc/meminfo: memFree=29964616/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=74056 CPUtime=12.69 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 18442 0 0 0 1202 67 0 0 25 0 1 0 134195868 75833344 17496 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 18514 17496 391 719 0 17793 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 74056 [startup+25.5002 s] /proc/loadavg: 1.95 2.04 2.21 3/179 16297 /proc/meminfo: memFree=29914016/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=121384 CPUtime=25.49 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 29825 0 0 0 2436 113 0 0 25 0 1 0 134195868 124297216 28879 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 30346 28879 391 719 0 29625 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 121384 [startup+51.1006 s] /proc/loadavg: 1.96 2.04 2.21 3/179 16298 /proc/meminfo: memFree=29838316/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=184108 CPUtime=51.09 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 44378 0 0 0 4862 247 0 0 25 0 1 0 134195868 188526592 43432 4089446400 4194304 7136930 140733632757904 18446744073709551615 4924208 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 46027 43432 391 719 0 45306 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 184108 [startup+102.306 s] /proc/loadavg: 2.03 2.05 2.20 3/179 16299 /proc/meminfo: memFree=29707196/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=295712 CPUtime=102.3 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 72266 0 0 0 9763 467 0 0 25 0 1 0 134195868 302809088 71320 4089446400 4194304 7136930 140733632757904 18446744073709551615 6166293 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 73928 71320 391 719 0 73207 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 295712 [startup+162.3 s] /proc/loadavg: 2.01 2.03 2.18 3/179 16301 /proc/meminfo: memFree=29492128/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=410356 CPUtime=162.3 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 99567 0 0 0 15512 718 0 0 25 0 1 0 134195868 420204544 98621 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 102589 98621 391 719 0 101868 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 410356 [startup+222.301 s] /proc/loadavg: 2.00 2.03 2.17 3/179 16303 /proc/meminfo: memFree=29289824/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=528772 CPUtime=222.3 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 127794 0 0 0 21231 999 0 0 25 0 1 0 134195868 541462528 126848 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 132193 126848 391 719 0 131472 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 528772 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.16 3/179 16305 /proc/meminfo: memFree=29104504/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=633944 CPUtime=282.3 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 154045 0 0 0 26962 1268 0 0 25 0 1 0 134195868 649158656 153099 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 158486 153099 391 719 0 157765 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 633944 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.14 3/179 16306 /proc/meminfo: memFree=28902208/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=744212 CPUtime=342.3 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 181688 0 0 0 32675 1555 0 0 25 0 1 0 134195868 762073088 180742 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 186053 180742 391 719 0 185332 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 744212 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.13 3/179 16307 /proc/meminfo: memFree=28669788/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=860044 CPUtime=402.3 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 208399 0 0 0 38389 1841 0 0 25 0 1 0 134195868 880685056 207453 4089446400 4194304 7136930 140733632757904 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 215011 207453 391 719 0 214290 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 860044 [startup+462.3 s] /proc/loadavg: 2.05 2.02 2.13 3/179 16309 /proc/meminfo: memFree=28476784/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=956360 CPUtime=462.3 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 232365 0 0 0 44128 2102 0 0 25 0 1 0 134195868 979312640 231419 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 239090 231419 391 719 0 238369 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 956360 [startup+522.3 s] /proc/loadavg: 2.02 2.01 2.11 3/179 16311 /proc/meminfo: memFree=28302388/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=1041352 CPUtime=522.31 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 253774 0 0 0 49915 2316 0 0 25 0 1 0 134195868 1066344448 252828 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 260338 252828 391 719 0 259617 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1041352 [startup+582.301 s] /proc/loadavg: 2.00 2.01 2.10 3/179 16313 /proc/meminfo: memFree=28159232/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=1097628 CPUtime=582.3 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 267891 0 0 0 55756 2474 0 0 25 0 1 0 134195868 1123971072 266945 4089446400 4194304 7136930 140733632757904 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 274407 266945 391 719 0 273686 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1097628 [startup+642.301 s] /proc/loadavg: 2.07 2.02 2.10 3/179 16314 /proc/meminfo: memFree=28009260/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=1160136 CPUtime=642.32 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 283678 0 0 0 61606 2626 0 0 25 0 1 0 134195868 1187979264 282732 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 290034 282732 391 719 0 289313 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1160136 [startup+702.301 s] ################ # More data... # ################ /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 402488 0 0 0 96222 4010 0 0 25 0 1 0 134195868 1699954688 401542 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 415028 401542 391 719 0 414307 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1660112 [startup+1062.3 s] /proc/loadavg: 2.02 2.01 2.06 3/179 16328 /proc/meminfo: memFree=26940788/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=1732412 CPUtime=1062.32 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 420474 0 0 0 101986 4246 0 0 25 0 1 0 134195868 1773989888 419528 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 433103 419528 391 719 0 432382 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1732412 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 2.05 3/179 16358 /proc/meminfo: memFree=29492188/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=1803632 CPUtime=1122.33 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 438535 0 0 0 107715 4518 0 0 25 0 1 0 134195868 1846919168 437589 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 450908 437589 391 719 0 450187 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1803632 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 16360 /proc/meminfo: memFree=29214684/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=1918528 CPUtime=1182.33 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 463445 0 0 0 113454 4779 0 0 25 0 1 0 134195868 1964572672 462499 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 479632 462499 391 719 0 478911 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1918528 [startup+1242.3 s] /proc/loadavg: 2.07 2.02 2.05 3/179 16361 /proc/meminfo: memFree=29007800/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=1968316 CPUtime=1242.33 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 475928 0 0 0 119265 4968 0 0 25 0 1 0 134195868 2015555584 474982 4089446400 4194304 7136930 140733632757904 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 492079 474982 391 719 0 491358 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1968316 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 2.04 3/179 16362 /proc/meminfo: memFree=28763716/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2059992 CPUtime=1302.34 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 498985 0 0 0 125019 5215 0 0 25 0 1 0 134195868 2109431808 498039 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 514998 498039 391 719 0 514277 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 2059992 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 2.03 3/179 16364 /proc/meminfo: memFree=28552624/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2127864 CPUtime=1362.33 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 516204 0 0 0 130789 5444 0 0 25 0 1 0 134195868 2178932736 515258 4089446400 4194304 7136930 140733632757904 18446744073709551615 5004434 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 531966 515258 391 719 0 531245 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2127864 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.03 3/179 16366 /proc/meminfo: memFree=28345480/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2206232 CPUtime=1422.34 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 535834 0 0 0 136567 5667 0 0 25 0 1 0 134195868 2259181568 534888 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 551558 534888 391 719 0 550837 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2206232 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 16368 /proc/meminfo: memFree=28121476/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2309244 CPUtime=1482.33 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 561802 0 0 0 142307 5926 0 0 25 0 1 0 134195868 2364665856 560856 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 577311 560856 391 719 0 576590 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2309244 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 16369 /proc/meminfo: memFree=27934444/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2359936 CPUtime=1542.34 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 574425 0 0 0 148095 6139 0 0 25 0 1 0 134195868 2416574464 573479 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 589984 573479 391 719 0 589263 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2359936 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 16370 /proc/meminfo: memFree=27706500/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2432944 CPUtime=1602.34 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 592894 0 0 0 153866 6368 0 0 25 0 1 0 134195868 2491334656 591948 4089446400 4194304 7136930 140733632757904 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 608236 591948 391 719 0 607515 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2432944 [startup+1662.3 s] /proc/loadavg: 2.10 2.03 2.02 3/197 16417 /proc/meminfo: memFree=28704276/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2496712 CPUtime=1662.34 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 608940 0 0 0 159637 6597 0 0 25 0 1 0 134195868 2556633088 607994 4089446400 4194304 7136930 140733632757904 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 624178 607994 391 719 0 623457 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2496712 [startup+1722.3 s] /proc/loadavg: 2.12 2.05 2.02 3/197 16419 /proc/meminfo: memFree=28598804/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2599672 CPUtime=1722.34 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 634993 0 0 0 165330 6904 0 0 25 0 1 0 134195868 2662064128 634047 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 649918 634047 391 719 0 649197 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2599672 [startup+1782.3 s] /proc/loadavg: 2.04 2.04 2.01 3/197 16421 /proc/meminfo: memFree=28545296/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2651108 CPUtime=1782.34 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 647790 0 0 0 171105 7129 0 0 25 0 1 0 134195868 2714734592 646844 4089446400 4194304 7136930 140733632757904 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 662777 646844 391 719 0 662056 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2651108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.04 2.01 3/197 16421 /proc/meminfo: memFree=28534112/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2662396 CPUtime=1800.05 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 650533 0 0 0 172812 7193 0 0 25 0 1 0 134195868 2726293504 649587 4089446400 4194304 7136930 140733632757904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16296/statm: 665599 649587 391 719 0 664878 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2662396 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16296 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.03 2.04 2.01 3/198 16422 /proc/meminfo: memFree=28534104/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2662396 CPUtime=1801.44 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 650552 0 0 0 172951 7193 0 0 25 0 1 0 134195868 2726293504 649606 4089446400 4194304 7136930 140733632757904 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16296/statm: 665599 649606 397 719 0 664878 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2662396 [startup+1801.81 s] /proc/loadavg: 2.03 2.04 2.01 3/198 16422 /proc/meminfo: memFree=28534104/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2662396 CPUtime=1801.85 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 650552 0 0 0 172992 7193 0 0 25 0 1 0 134195868 2726293504 649606 4089446400 4194304 7136930 140733632757904 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16296/statm: 665599 649606 397 719 0 664878 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2662396 [startup+1802 s] /proc/loadavg: 2.03 2.04 2.01 3/198 16422 /proc/meminfo: memFree=28534104/32951124 swapFree=67111528/67111528 [pid=16296] ppid=16294 vsize=2662396 CPUtime=1802.04 /proc/16296/stat : 16296 (pbscip.linux.x8) R 16294 16296 16271 0 -1 4202496 650552 0 0 0 173011 7193 0 0 25 0 1 0 134195868 2726293504 649606 4089446400 4194304 7136930 140733632757904 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16296/statm: 665599 649606 397 719 0 664878 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2662396 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.14 CPU user time (s): 1730.12 CPU system time (s): 72.0211 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2662396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1730.12 system time used= 72.0211 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 650552 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= 1 involuntary context switches= 937 runsolver used 3.02354 second user time and 6.81796 second system time The end
Begin job on node137 at 2010-06-30 22:16:44 IDJOB=2693657 IDBENCH=79293 IDSOLVER=1206 FILE ID=node137/2693657-1277929004 PBS_JOBID= 11197430 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693657-1277929004/watcher-2693657-1277929004 -o /tmp/evaluation-result-2693657-1277929004/solver-2693657-1277929004 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693657-1277929004.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c90222590d839243781a638355a39a56 RANDOM SEED=708258425 node137.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.876 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.75 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.876 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.876 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.876 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.876 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.876 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.83 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.876 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.876 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30037976 kB Buffers: 216100 kB Cached: 1264968 kB SwapCached: 0 kB Active: 1833600 kB Inactive: 932200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30037976 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3492 kB Writeback: 0 kB AnonPages: 1284788 kB Mapped: 16060 kB Slab: 81484 kB PageTables: 7096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1459620 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= 74208 MiB End job on node137 at 2010-06-30 22:46:46