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.1900557957--soft-66-100-0.wbo |
| MD5SUM | cd9d62896ad241b3e0bc0c585d812475 |
| 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 | 7 |
| Best CPU time to get the best result obtained on this benchmark | 664.98 |
| 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 | 930 |
| 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 | 46532 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46531 |
| 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-2694071-1277903822.wbo>
0.00/0.02 c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 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, 1142 impls, 14 clqs
0.00/0.07 c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.00/0.08 c (round 3) 57 del vars, 168 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.08/0.09 c (round 4) 115 del vars, 229 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.10 c (round 5) 132 del vars, 266 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.11 c (round 6) 155 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.12 c (round 7) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.16 c (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (8 rounds):
0.09/0.16 c 162 deleted vars, 273 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients
0.09/0.16 c 1142 implications, 14 cliques
0.09/0.16 c presolved problem has 1929 variables (1080 bin, 0 int, 0 impl, 849 cont) and 3365 constraints
0.09/0.16 c 849 constraints of type <indicator>
0.09/0.16 c 1 constraints of type <knapsack>
0.09/0.16 c 14 constraints of type <setppc>
0.09/0.16 c 849 constraints of type <linear>
0.09/0.16 c 1652 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 2 | 0 | - |7608k| 0 | - |1929 |3365 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.49 c 2.4s| 10000 | 8661 | 0 | 0.0 | 14M|1040 | - |1929 |4825 | 0 | 0 | 0 |3228 | 0 | 0.000000e+00 | -- | Inf
3.49/3.53 o 683
3.49/3.53 c * 3.4s| 12892 | 10320 | 0 | 0.0 | 16M|1040 | - |1929 |5814 | 0 | 0 | 0 |5922 | 0 | 0.000000e+00 | 6.830000e+02 | Inf
3.49/3.53 o 633
3.49/3.53 c * 3.4s| 12893 | 10316 | 0 | 0.0 | 16M|1040 | - |1929 |5814 | 0 | 0 | 0 |5922 | 0 | 0.000000e+00 | 6.330000e+02 | Inf
3.59/3.62 o 607
3.59/3.62 c * 3.4s| 13243 | 10651 | 0 | 0.0 | 17M|1040 | - |1929 |5777 | 0 | 0 | 0 |5948 | 0 | 0.000000e+00 | 6.070000e+02 | Inf
3.59/3.65 o 332
3.59/3.65 c * 3.5s| 13356 | 10752 | 0 | 0.0 | 17M|1040 | - |1929 |5748 | 0 | 0 | 0 |5948 | 0 | 0.000000e+00 | 3.320000e+02 | Inf
3.59/3.65 o 272
3.59/3.65 c * 3.5s| 13357 | 10737 | 0 | 0.0 | 17M|1040 | - |1929 |5748 | 0 | 0 | 0 |5948 | 0 | 0.000000e+00 | 2.720000e+02 | Inf
3.69/3.77 o 140
3.69/3.77 c * 3.6s| 13775 | 9909 | 0 | 0.0 | 16M|1040 | - |1929 |5637 | 0 | 0 | 0 |6004 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
4.20/4.29 o 131
4.20/4.29 c * 4.1s| 15475 | 11416 | 0 | 0.0 | 18M|1040 | - |1929 |5085 | 0 | 0 | 0 |6469 | 0 | 0.000000e+00 | 1.310000e+02 | Inf
5.59/5.60 c 5.4s| 20000 | 15298 | 0 | 0.0 | 21M|1040 | - |1929 |5179 | 0 | 0 | 0 |8455 | 0 | 0.000000e+00 | 1.310000e+02 | Inf
8.69/8.71 c 8.4s| 30000 | 22632 | 0 | 0.0 | 28M|1040 | - |1929 |6057 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
12.00/12.09 c 11.6s| 40000 | 29535 | 0 | 0.0 | 36M|1040 | - |1929 |7174 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
15.79/15.80 c 15.2s| 50000 | 36113 | 0 | 0.0 | 44M|1040 | - |1929 |8252 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
20.09/20.16 c 19.5s| 60000 | 41968 | 0 | 0.0 | 52M|1040 | - |1929 |9899 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
25.90/25.94 c 25.1s| 70000 | 46229 | 0 | 0.0 | 61M|1040 | - |1929 | 13k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
30.39/30.43 o 116
30.39/30.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.39/30.43 c *29.5s| 76920 | 49509 | 0 | 0.0 | 64M|1040 | - |1929 |9749 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
31.49/31.50 c 30.6s| 80000 | 52264 | 0 | 0.0 | 66M|1040 | - |1929 |6994 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
34.69/34.76 o 106
34.69/34.76 c *33.7s| 89783 | 60729 | 0 | 0.0 | 75M|1040 | - |1929 |5844 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
34.79/34.84 c 33.8s| 90000 | 60921 | 0 | 0.0 | 76M|1040 | - |1929 |5849 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
37.69/37.78 o 102
37.69/37.78 c *36.6s| 98875 | 68569 | 0 | 0.0 | 84M|1040 | - |1929 |6143 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
38.09/38.17 c 37.0s|100000 | 69528 | 0 | 0.0 | 86M|1040 | - |1929 |6251 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
39.69/39.79 o 89
39.69/39.79 c *38.6s|104583 | 71806 | 0 | 0.0 | 87M|1040 | - |1929 |6537 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
39.69/39.79 o 84
39.69/39.79 c *38.6s|104584 | 71385 | 0 | 0.0 | 86M|1040 | - |1929 |6537 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
41.09/41.15 o 34
41.09/41.15 c *39.9s|108351 | 70587 | 0 | 0.0 | 78M|1040 | - |1929 |6556 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
41.89/41.90 c 40.6s|110000 | 71775 | 0 | 0.0 | 84M|1040 | - |1929 |6804 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
46.90/46.98 c 45.6s|120000 | 77804 | 0 | 0.0 | 98M|1040 | - |1929 |8361 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
50.00/50.03 c 48.5s|130000 | 85869 | 0 | 0.0 | 105M|1040 | - |1929 |7743 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
53.60/53.68 c 52.0s|140000 | 93041 | 0 | 0.0 | 115M|1040 | - |1929 |7247 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
57.40/57.49 c 55.7s|150000 | 99879 | 0 | 0.0 | 127M|1040 | - |1929 |7769 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
60.29/60.40 c 58.5s|160000 |107961 | 0 | 0.0 | 134M|1040 | - |1929 |7852 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
64.49/64.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.49/64.58 c 62.6s|170000 |114366 | 0 | 0.0 | 143M|1040 | - |1929 |8757 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
68.60/68.64 c 66.5s|180000 |120839 | 0 | 0.0 | 154M|1040 | - |1929 |6585 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
73.49/73.50 c 71.2s|190000 |125746 | 0 | 0.0 | 161M|1040 | - |1929 |8496 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
78.59/78.65 c 76.3s|200000 |130629 | 0 | 0.0 | 168M|1040 | - |1929 | 10k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
84.29/84.37 c 81.9s|210000 |135252 | 0 | 0.0 | 176M|1040 | - |1929 | 11k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
90.39/90.43 c 87.8s|220000 |139824 | 0 | 0.0 | 183M|1040 | - |1929 | 13k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
96.60/96.64 c 93.9s|230000 |144684 | 0 | 0.0 | 190M|1040 | - |1929 | 14k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
103.40/103.45 c 101s|240000 |149315 | 0 | 0.0 | 196M|1040 | - |1929 | 15k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
111.29/111.39 c 108s|250000 |153162 | 0 | 0.0 | 203M|1040 | - |1929 | 17k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
119.40/119.42 c 116s|260000 |157308 | 0 | 0.0 | 209M|1040 | - |1929 | 18k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
127.89/127.94 c 125s|270000 |161218 | 0 | 0.0 | 215M|1040 | - |1929 | 18k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
137.60/137.60 c 134s|280000 |164446 | 0 | 0.0 | 221M|1040 | - |1929 | 21k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
149.30/149.31 c 146s|290000 |166667 | 0 | 0.0 | 227M|1040 | - |1929 | 22k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
162.90/162.96 c 159s|300000 |167948 | 0 | 0.0 | 233M|1040 | - |1929 | 24k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
180.20/180.21 c 176s|310000 |167375 | 0 | 0.0 | 237M|1040 | - |1929 | 28k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
194.61/194.65 o 33
194.61/194.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.61/194.65 c * 191s|319069 |168702 | 0 | 0.0 | 234M|1040 | - |1929 | 15k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
195.10/195.16 c 191s|320000 |169423 | 0 | 0.0 | 233M|1040 | - |1929 |9075 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
198.80/198.82 c 195s|330000 |177370 | 0 | 0.0 | 240M|1040 | - |1929 |8127 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
199.49/199.53 o 32
199.49/199.53 c * 195s|331829 |178748 | 0 | 0.0 | 242M|1040 | - |1929 |8200 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
201.00/201.03 o 22
201.00/201.03 c * 197s|335565 |174647 | 0 | 0.0 | 230M|1040 | - |1929 |7517 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
202.70/202.72 c 198s|340000 |178081 | 0 | 0.0 | 234M|1040 | - |1929 |7532 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
205.29/205.30 o 21
205.29/205.30 c * 201s|346668 |183126 | 0 | 0.0 | 240M|1040 | - |1929 |8043 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
206.50/206.59 c 202s|350000 |185670 | 0 | 0.0 | 243M|1040 | - |1929 |8199 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
210.50/210.58 c 206s|360000 |193223 | 0 | 0.0 | 251M|1040 | - |1929 |7695 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
214.50/214.52 c 210s|370000 |200725 | 0 | 0.0 | 259M|1040 | - |1929 |8064 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
218.60/218.62 c 214s|380000 |208108 | 0 | 0.0 | 268M|1040 | - |1929 |8658 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
223.20/223.23 c 218s|390000 |215059 | 0 | 0.0 | 277M|1040 | - |1929 |9344 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
228.00/228.09 c 223s|400000 |221852 | 0 | 0.0 | 286M|1040 | - |1929 |9533 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
233.11/233.11 c 228s|410000 |228505 | 0 | 0.0 | 295M|1040 | - |1929 | 10k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
238.30/238.31 c 233s|420000 |234975 | 0 | 0.0 | 303M|1040 | - |1929 | 10k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
243.50/243.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.50/243.58 c 238s|430000 |241386 | 0 | 0.0 | 311M|1040 | - |1929 | 10k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
249.00/249.09 c 244s|440000 |247638 | 0 | 0.0 | 320M|1040 | - |1929 | 11k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
255.00/255.04 c 249s|450000 |253498 | 0 | 0.0 | 328M|1040 | - |1929 | 11k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
260.90/260.99 c 255s|460000 |259358 | 0 | 0.0 | 336M|1040 | - |1929 | 11k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
267.10/267.15 c 261s|470000 |264997 | 0 | 0.0 | 344M|1040 | - |1929 | 12k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
272.90/273.00 o 13
272.90/273.00 c * 267s|478886 |264287 | 0 | 0.0 | 339M|1040 | - |1929 | 11k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
273.70/273.79 c 268s|480000 |264851 | 0 | 0.0 | 338M|1040 | - |1929 |5694 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
279.10/279.19 c 273s|490000 |269224 | 0 | 0.0 | 345M|1040 | - |1929 |6188 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
284.91/284.96 c 279s|500000 |272497 | 0 | 0.0 | 352M|1040 | - |1929 |7316 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
291.90/291.95 c 285s|510000 |273931 | 0 | 0.0 | 358M|1040 | - |1929 |8604 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
297.70/297.76 c 291s|520000 |276809 | 0 | 0.0 | 360M|1040 | - |1929 |4829 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
300.90/300.99 c 294s|530000 |284365 | 0 | 0.0 | 367M|1040 | - |1929 |5612 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
304.40/304.46 c 298s|540000 |291530 | 0 | 0.0 | 374M|1040 | - |1929 |6210 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
308.01/308.07 c 301s|550000 |298358 | 0 | 0.0 | 381M|1040 | - |1929 |6633 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
312.10/312.14 c 305s|560000 |304462 | 0 | 0.0 | 388M|1040 | - |1929 |7298 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
316.81/316.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.81/316.82 c 310s|570000 |309810 | 0 | 0.0 | 396M|1040 | - |1929 |7944 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
322.40/322.40 c 315s|580000 |313877 | 0 | 0.0 | 403M|1040 | - |1929 |8832 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
329.40/329.41 c 322s|590000 |316280 | 0 | 0.0 | 407M|1040 | - |1929 |4964 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
332.60/332.70 c 325s|600000 |323814 | 0 | 0.0 | 414M|1040 | - |1929 |5616 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
336.21/336.23 c 328s|610000 |330925 | 0 | 0.0 | 421M|1040 | - |1929 |6315 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
340.10/340.11 c 332s|620000 |337481 | 0 | 0.0 | 428M|1040 | - |1929 |7122 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
344.40/344.48 c 336s|630000 |343299 | 0 | 0.0 | 435M|1040 | - |1929 |8104 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
350.50/350.52 c 342s|640000 |346863 | 0 | 0.0 | 441M|1040 | - |1929 |9212 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
355.70/355.74 c 347s|650000 |351843 | 0 | 0.0 | 445M|1040 | - |1929 |5144 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
359.10/359.19 c 351s|660000 |359148 | 0 | 0.0 | 452M|1040 | - |1929 |5572 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
362.71/362.76 c 354s|670000 |366168 | 0 | 0.0 | 459M|1040 | - |1929 |5820 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
366.51/366.53 c 358s|680000 |372865 | 0 | 0.0 | 465M|1040 | - |1929 |5925 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
370.31/370.37 c 362s|690000 |379439 | 0 | 0.0 | 472M|1040 | - |1929 |6138 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
374.00/374.05 c 365s|700000 |386161 | 0 | 0.0 | 478M|1040 | - |1929 |6280 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
377.80/377.90 c 369s|710000 |392648 | 0 | 0.0 | 485M|1040 | - |1929 |6469 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
382.00/382.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.00/382.00 c 373s|720000 |398688 | 0 | 0.0 | 491M|1040 | - |1929 |6661 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
386.40/386.48 c 377s|730000 |404123 | 0 | 0.0 | 498M|1040 | - |1929 |7198 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
391.10/391.10 c 382s|740000 |409450 | 0 | 0.0 | 504M|1040 | - |1929 |7700 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
395.91/395.94 c 386s|750000 |414477 | 0 | 0.0 | 510M|1040 | - |1929 |8234 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
401.80/401.85 c 392s|760000 |418261 | 0 | 0.0 | 516M|1040 | - |1929 |9731 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
407.20/407.29 c 397s|770000 |423258 | 0 | 0.0 | 520M|1040 | - |1929 |3922 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
410.41/410.45 c 401s|780000 |431126 | 0 | 0.0 | 527M|1040 | - |1929 |4486 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
414.40/414.49 c 404s|790000 |437585 | 0 | 0.0 | 534M|1040 | - |1929 |5007 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
417.50/417.55 c 407s|800000 |445307 | 0 | 0.0 | 541M|1040 | - |1929 |5100 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
420.80/420.89 c 411s|810000 |452517 | 0 | 0.0 | 546M|1040 | - |1929 |4709 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
424.21/424.20 c 414s|820000 |459879 | 0 | 0.0 | 552M|1040 | - |1929 |3914 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
430.31/430.37 c 420s|830000 |462092 | 0 | 0.0 | 557M|1040 | - |1929 |7334 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
438.30/438.36 c 428s|840000 |463343 | 0 | 0.0 | 563M|1040 | - |1929 |9934 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
447.41/447.42 c 437s|850000 |464090 | 0 | 0.0 | 567M|1040 | - |1929 | 11k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
457.00/457.09 c 446s|860000 |464898 | 0 | 0.0 | 571M|1040 | - |1929 | 12k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
467.11/467.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.11/467.10 c 456s|870000 |465587 | 0 | 0.0 | 575M|1040 | - |1929 | 13k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
477.81/477.88 c 467s|880000 |465930 | 0 | 0.0 | 578M|1040 | - |1929 | 12k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
489.21/489.27 c 478s|890000 |466000 | 0 | 0.0 | 581M|1040 | - |1929 | 13k| 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
501.31/501.30 c 490s|900000 |466119 | 0 | 0.0 | 585M|1040 | - |1929 | 13k| 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
514.01/514.01 c 502s|910000 |465956 | 0 | 0.0 | 588M|1040 | - |1929 | 15k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
527.61/527.67 c 516s|920000 |465247 | 0 | 0.0 | 591M|1040 | - |1929 | 18k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
542.71/542.77 c 531s|930000 |464115 | 0 | 0.0 | 593M|1040 | - |1929 | 19k| 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
559.10/559.17 c 547s|940000 |462624 | 0 | 0.0 | 595M|1040 | - |1929 | 20k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
576.61/576.64 c 564s|950000 |460707 | 0 | 0.0 | 595M|1040 | - |1929 | 20k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
594.21/594.27 c 582s|960000 |458885 | 0 | 0.0 | 596M|1040 | - |1929 | 21k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
613.61/613.63 c 601s|970000 |456451 | 0 | 0.0 | 594M|1040 | - |1929 | 21k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
634.72/634.71 c 622s|980000 |453516 | 0 | 0.0 | 592M|1040 | - |1929 | 23k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
659.82/659.90 c 647s|990000 |448644 | 0 | 0.0 | 586M|1040 | - |1929 | 26k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
673.61/673.65 c 660s| 1000k|450504 | 0 | 0.0 | 580M|1040 | - |1929 |7657 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
678.11/678.11 c 665s| 1010k|456964 | 0 | 0.0 | 586M|1040 | - |1929 |6181 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
682.91/682.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
682.91/682.93 c 669s| 1020k|462859 | 0 | 0.0 | 594M|1040 | - |1929 |6453 | 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
687.91/687.94 c 674s| 1030k|468514 | 0 | 0.0 | 601M|1040 | - |1929 |6789 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
693.21/693.26 c 679s| 1040k|473769 | 0 | 0.0 | 608M|1040 | - |1929 |7070 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
698.31/698.36 c 684s| 1050k|479223 | 0 | 0.0 | 615M|1040 | - |1929 |7056 | 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
703.41/703.47 c 689s| 1060k|484603 | 0 | 0.0 | 623M|1040 | - |1929 |7357 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
708.71/708.75 c 695s| 1070k|489779 | 0 | 0.0 | 630M|1040 | - |1929 |7531 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
714.02/714.07 c 700s| 1080k|494930 | 0 | 0.0 | 636M|1040 | - |1929 |7504 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
719.31/719.32 c 705s| 1090k|500139 | 0 | 0.0 | 643M|1040 | - |1929 |7084 | 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
724.51/724.52 c 710s| 1100k|505445 | 0 | 0.0 | 650M|1040 | - |1929 |7415 | 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
729.91/729.94 c 715s| 1110k|510365 | 0 | 0.0 | 657M|1040 | - |1929 |7757 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
735.21/735.25 c 720s| 1120k|515539 | 0 | 0.0 | 664M|1040 | - |1929 |7118 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
740.71/740.79 c 726s| 1130k|520359 | 0 | 0.0 | 670M|1040 | - |1929 |7837 | 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
746.31/746.39 c 731s| 1140k|525155 | 0 | 0.0 | 677M|1040 | - |1929 |7774 | 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
751.61/751.65 c 736s| 1150k|530342 | 0 | 0.0 | 684M|1040 | - |1929 |7841 | 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
757.12/757.17 c 742s| 1160k|535121 | 0 | 0.0 | 691M|1040 | - |1929 |7877 | 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
762.41/762.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.41/762.48 c 747s| 1170k|540206 | 0 | 0.0 | 698M|1040 | - |1929 |8085 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
768.11/768.12 c 752s| 1180k|544803 | 0 | 0.0 | 705M|1040 | - |1929 |8124 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
773.52/773.51 c 758s| 1190k|549816 | 0 | 0.0 | 711M|1040 | - |1929 |8306 | 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
779.12/779.11 c 763s| 1200k|554490 | 0 | 0.0 | 718M|1040 | - |1929 |8106 | 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
784.72/784.75 c 769s| 1210k|559186 | 0 | 0.0 | 725M|1040 | - |1929 |8556 | 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
790.61/790.68 c 774s| 1220k|563526 | 0 | 0.0 | 732M|1040 | - |1929 |8261 | 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
796.32/796.36 c 780s| 1230k|568215 | 0 | 0.0 | 739M|1040 | - |1929 |8523 | 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
801.92/801.94 c 785s| 1240k|573000 | 0 | 0.0 | 746M|1040 | - |1929 |8123 | 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
808.02/808.10 c 791s| 1250k|576946 | 0 | 0.0 | 752M|1040 | - |1929 |8677 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
813.72/813.72 c 797s| 1260k|581667 | 0 | 0.0 | 759M|1040 | - |1929 |8460 | 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
820.01/820.04 c 803s| 1270k|585448 | 0 | 0.0 | 765M|1040 | - |1929 |8921 | 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
825.82/825.84 c 809s| 1280k|589950 | 0 | 0.0 | 772M|1040 | - |1929 |8931 | 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
832.22/832.20 c 815s| 1290k|593715 | 0 | 0.0 | 778M|1040 | - |1929 |9045 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
838.23/838.23 c 821s| 1300k|597934 | 0 | 0.0 | 785M|1040 | - |1929 |8982 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
844.61/844.62 c 827s| 1310k|601694 | 0 | 0.0 | 791M|1040 | - |1929 |9027 | 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
850.92/850.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.92/850.95 c 833s| 1320k|605609 | 0 | 0.0 | 798M|1040 | - |1929 |9318 | 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
857.42/857.50 c 840s| 1330k|609171 | 0 | 0.0 | 804M|1040 | - |1929 |8984 | 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
864.12/864.14 c 846s| 1340k|612763 | 0 | 0.0 | 811M|1040 | - |1929 |9505 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
870.72/870.79 c 853s| 1350k|616235 | 0 | 0.0 | 817M|1040 | - |1929 |9100 | 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
877.62/877.66 c 859s| 1360k|619494 | 0 | 0.0 | 824M|1040 | - |1929 |9346 | 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
884.33/884.39 c 866s| 1370k|622875 | 0 | 0.0 | 829M|1040 | - |1929 |9052 | 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
891.42/891.43 c 873s| 1380k|625983 | 0 | 0.0 | 835M|1040 | - |1929 |9572 | 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
898.73/898.73 c 880s| 1390k|628649 | 0 | 0.0 | 841M|1040 | - |1929 |9776 | 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
905.82/905.89 c 887s| 1400k|631729 | 0 | 0.0 | 847M|1040 | - |1929 |9550 | 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
913.22/913.25 c 894s| 1410k|634309 | 0 | 0.0 | 853M|1040 | - |1929 | 10k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
920.22/920.29 c 901s| 1420k|637613 | 0 | 0.0 | 859M|1040 | - |1929 |9478 | 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
928.02/928.05 c 909s| 1430k|639793 | 0 | 0.0 | 864M|1040 | - |1929 | 10k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
935.22/935.26 c 916s| 1440k|642820 | 0 | 0.0 | 870M|1040 | - |1929 |9911 | 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
943.22/943.29 c 924s| 1450k|644983 | 0 | 0.0 | 876M|1040 | - |1929 | 10k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
951.12/951.18 c 931s| 1460k|647205 | 0 | 0.0 | 880M|1040 | - |1929 | 10k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
958.82/958.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.82/958.89 c 939s| 1470k|649884 | 0 | 0.0 | 886M|1040 | - |1929 | 10k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
967.32/967.36 c 947s| 1480k|651679 | 0 | 0.0 | 891M|1040 | - |1929 | 10k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
976.12/976.19 c 956s| 1490k|653362 | 0 | 0.0 | 895M|1040 | - |1929 | 11k| 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
984.92/984.99 c 965s| 1500k|655212 | 0 | 0.0 | 900M|1040 | - |1929 | 12k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
994.43/994.43 c 974s| 1510k|656619 | 0 | 0.0 | 905M|1040 | - |1929 | 13k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1004.62/1004.63 c 984s| 1520k|657715 | 0 | 0.0 | 909M|1040 | - |1929 | 14k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1015.92/1015.92 c 995s| 1530k|658133 | 0 | 0.0 | 913M|1040 | - |1929 | 15k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1028.22/1028.26 c 1007s| 1540k|657975 | 0 | 0.0 | 916M|1040 | - |1929 | 17k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1042.62/1042.67 c 1021s| 1550k|656775 | 0 | 0.0 | 918M|1040 | - |1929 | 18k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1059.93/1059.92 c 1038s| 1560k|653451 | 0 | 0.0 | 916M|1040 | - |1929 | 22k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1065.93/1065.98 c 1044s| 1570k|659862 | 0 | 0.0 | 919M|1040 | - |1929 | 10k| 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1070.92/1070.91 c 1049s| 1580k|666293 | 0 | 0.0 | 926M|1040 | - |1929 | 11k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1076.12/1076.19 c 1054s| 1590k|672480 | 0 | 0.0 | 933M|1040 | - |1929 | 12k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1081.72/1081.72 c 1060s| 1600k|678545 | 0 | 0.0 | 940M|1040 | - |1929 | 13k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1087.82/1087.89 c 1066s| 1610k|684148 | 0 | 0.0 | 947M|1040 | - |1929 | 14k| 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1094.02/1094.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1094.02/1094.00 c 1072s| 1620k|689889 | 0 | 0.0 | 953M|1040 | - |1929 | 14k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1100.12/1100.16 c 1078s| 1630k|695507 | 0 | 0.0 | 960M|1040 | - |1929 | 14k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1106.63/1106.67 c 1084s| 1640k|700798 | 0 | 0.0 | 966M|1040 | - |1929 | 14k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1113.43/1113.43 c 1091s| 1650k|705877 | 0 | 0.0 | 972M|1040 | - |1929 | 15k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1120.42/1120.45 c 1098s| 1660k|710768 | 0 | 0.0 | 979M|1040 | - |1929 | 16k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1127.73/1127.73 c 1105s| 1670k|715508 | 0 | 0.0 | 985M|1040 | - |1929 | 16k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1135.23/1135.24 c 1112s| 1680k|719980 | 0 | 0.0 | 991M|1040 | - |1929 | 17k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1142.83/1142.80 c 1120s| 1690k|724549 | 0 | 0.0 | 997M|1040 | - |1929 | 17k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1150.93/1150.99 c 1128s| 1700k|728578 | 0 | 0.0 |1002M|1040 | - |1929 | 18k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1159.63/1159.69 c 1136s| 1710k|732194 | 0 | 0.0 |1008M|1040 | - |1929 | 19k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1168.73/1168.79 c 1145s| 1720k|735798 | 0 | 0.0 |1013M|1040 | - |1929 | 19k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1178.43/1178.42 c 1155s| 1730k|738964 | 0 | 0.0 |1019M|1040 | - |1929 | 20k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1189.13/1189.19 c 1165s| 1740k|741465 | 0 | 0.0 |1024M|1040 | - |1929 | 20k| 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1201.24/1201.27 c 1177s| 1750k|742876 | 0 | 0.0 |1028M|1040 | - |1929 | 21k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1214.03/1214.07 c 1190s| 1760k|743981 | 0 | 0.0 |1032M|1040 | - |1929 | 22k| 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1227.93/1227.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.93/1227.91 c 1204s| 1770k|744645 | 0 | 0.0 |1036M|1040 | - |1929 | 23k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1243.62/1243.61 c 1219s| 1780k|744352 | 0 | 0.0 |1038M|1040 | - |1929 | 24k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1257.53/1257.53 c 1233s| 1790k|746056 | 0 | 0.0 |1038M|1040 | - |1929 | 15k| 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1264.12/1264.12 c 1239s| 1800k|751604 | 0 | 0.0 |1043M|1040 | - |1929 | 13k| 0 | 0 | 0 |1828k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1270.22/1270.22 c 1245s| 1810k|757189 | 0 | 0.0 |1049M|1040 | - |1929 | 13k| 0 | 0 | 0 |1836k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1276.43/1276.43 c 1251s| 1820k|762587 | 0 | 0.0 |1055M|1040 | - |1929 | 14k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1282.73/1282.70 c 1258s| 1830k|768018 | 0 | 0.0 |1061M|1040 | - |1929 | 14k| 0 | 0 | 0 |1853k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1289.13/1289.13 c 1264s| 1840k|773183 | 0 | 0.0 |1067M|1040 | - |1929 | 14k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1295.63/1295.69 c 1270s| 1850k|778362 | 0 | 0.0 |1073M|1040 | - |1929 | 15k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1303.13/1303.12 c 1278s| 1860k|782866 | 0 | 0.0 |1078M|1040 | - |1929 | 16k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1311.03/1311.00 c 1285s| 1870k|787156 | 0 | 0.0 |1084M|1040 | - |1929 | 16k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1319.04/1319.04 c 1293s| 1880k|791371 | 0 | 0.0 |1090M|1040 | - |1929 | 17k| 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1328.13/1328.11 c 1302s| 1890k|794856 | 0 | 0.0 |1095M|1040 | - |1929 | 18k| 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1338.53/1338.56 c 1313s| 1900k|797420 | 0 | 0.0 |1100M|1040 | - |1929 | 19k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1349.13/1349.19 c 1323s| 1910k|800136 | 0 | 0.0 |1105M|1040 | - |1929 | 20k| 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1361.34/1361.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.34/1361.39 c 1335s| 1920k|801872 | 0 | 0.0 |1109M|1040 | - |1929 | 22k| 0 | 0 | 0 |1949k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1375.04/1375.07 c 1349s| 1930k|802992 | 0 | 0.0 |1113M|1040 | - |1929 | 23k| 0 | 0 | 0 |1964k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1390.63/1390.64 c 1364s| 1940k|802946 | 0 | 0.0 |1116M|1040 | - |1929 | 25k| 0 | 0 | 0 |1980k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1407.83/1407.81 c 1381s| 1950k|802410 | 0 | 0.0 |1114M|1040 | - |1929 | 19k| 0 | 0 | 0 |1997k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1413.84/1413.81 c 1387s| 1960k|808106 | 0 | 0.0 |1117M|1040 | - |1929 | 10k| 0 | 0 | 0 |2004k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1419.43/1419.47 c 1392s| 1970k|813394 | 0 | 0.0 |1123M|1040 | - |1929 | 10k| 0 | 0 | 0 |2012k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1425.73/1425.72 c 1399s| 1980k|818109 | 0 | 0.0 |1128M|1040 | - |1929 | 10k| 0 | 0 | 0 |2021k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1432.04/1432.07 c 1405s| 1990k|822671 | 0 | 0.0 |1134M|1040 | - |1929 | 11k| 0 | 0 | 0 |2030k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1438.23/1438.25 c 1411s| 2000k|827402 | 0 | 0.0 |1140M|1040 | - |1929 | 10k| 0 | 0 | 0 |2038k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1444.43/1444.45 c 1417s| 2010k|832132 | 0 | 0.0 |1145M|1040 | - |1929 | 10k| 0 | 0 | 0 |2046k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1451.13/1451.11 c 1423s| 2020k|836045 | 0 | 0.0 |1151M|1040 | - |1929 | 11k| 0 | 0 | 0 |2056k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1458.83/1458.80 c 1431s| 2030k|839076 | 0 | 0.0 |1157M|1040 | - |1929 | 11k| 0 | 0 | 0 |2066k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1466.24/1466.27 c 1438s| 2040k|842288 | 0 | 0.0 |1163M|1040 | - |1929 | 11k| 0 | 0 | 0 |2077k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1473.84/1473.89 c 1446s| 2050k|845294 | 0 | 0.0 |1168M|1040 | - |1929 | 11k| 0 | 0 | 0 |2088k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1481.64/1481.62 c 1453s| 2060k|848139 | 0 | 0.0 |1174M|1040 | - |1929 | 11k| 0 | 0 | 0 |2099k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1489.44/1489.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.44/1489.45 c 1461s| 2070k|850893 | 0 | 0.0 |1180M|1040 | - |1929 | 11k| 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1497.24/1497.29 c 1469s| 2080k|853490 | 0 | 0.0 |1185M|1040 | - |1929 | 11k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1505.03/1505.08 c 1476s| 2090k|856101 | 0 | 0.0 |1190M|1040 | - |1929 | 11k| 0 | 0 | 0 |2132k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1512.84/1512.81 c 1484s| 2100k|858892 | 0 | 0.0 |1195M|1040 | - |1929 | 11k| 0 | 0 | 0 |2143k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1520.64/1520.68 c 1492s| 2110k|861482 | 0 | 0.0 |1200M|1040 | - |1929 | 12k| 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1528.64/1528.65 c 1499s| 2120k|863960 | 0 | 0.0 |1204M|1040 | - |1929 | 12k| 0 | 0 | 0 |2166k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1536.24/1536.23 c 1507s| 2130k|866950 | 0 | 0.0 |1209M|1040 | - |1929 | 12k| 0 | 0 | 0 |2177k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1544.14/1544.12 c 1515s| 2140k|869709 | 0 | 0.0 |1214M|1040 | - |1929 | 13k| 0 | 0 | 0 |2188k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1552.64/1552.69 c 1523s| 2150k|871830 | 0 | 0.0 |1218M|1040 | - |1929 | 13k| 0 | 0 | 0 |2200k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1561.64/1561.65 c 1532s| 2160k|873740 | 0 | 0.0 |1222M|1040 | - |1929 | 13k| 0 | 0 | 0 |2212k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1570.24/1570.27 c 1540s| 2170k|876147 | 0 | 0.0 |1226M|1040 | - |1929 | 14k| 0 | 0 | 0 |2224k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1579.34/1579.33 c 1549s| 2180k|878285 | 0 | 0.0 |1230M|1040 | - |1929 | 14k| 0 | 0 | 0 |2236k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1588.14/1588.12 c 1558s| 2190k|880725 | 0 | 0.0 |1235M|1040 | - |1929 | 14k| 0 | 0 | 0 |2249k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1597.15/1597.13 c 1567s| 2200k|883150 | 0 | 0.0 |1239M|1040 | - |1929 | 15k| 0 | 0 | 0 |2261k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1607.74/1607.72 c 1577s| 2210k|884272 | 0 | 0.0 |1243M|1040 | - |1929 | 16k| 0 | 0 | 0 |2276k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1618.94/1618.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1618.94/1618.90 c 1588s| 2220k|885209 | 0 | 0.0 |1247M|1040 | - |1929 | 17k| 0 | 0 | 0 |2291k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1631.25/1631.26 c 1601s| 2230k|885518 | 0 | 0.0 |1250M|1040 | - |1929 | 18k| 0 | 0 | 0 |2307k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1646.14/1646.14 c 1615s| 2240k|884148 | 0 | 0.0 |1251M|1040 | - |1929 | 20k| 0 | 0 | 0 |2326k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1655.24/1655.21 c 1624s| 2250k|887918 | 0 | 0.0 |1249M|1040 | - |1929 |5966 | 0 | 0 | 0 |2336k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1658.74/1658.74 c 1628s| 2260k|895449 | 0 | 0.0 |1256M|1040 | - |1929 |6224 | 0 | 0 | 0 |2340k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1662.74/1662.74 c 1631s| 2270k|902411 | 0 | 0.0 |1264M|1040 | - |1929 |6967 | 0 | 0 | 0 |2345k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1666.94/1666.93 c 1636s| 2280k|909150 | 0 | 0.0 |1271M|1040 | - |1929 |7362 | 0 | 0 | 0 |2351k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1671.34/1671.37 c 1640s| 2290k|915633 | 0 | 0.0 |1278M|1040 | - |1929 |7823 | 0 | 0 | 0 |2356k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1676.35/1676.36 c 1645s| 2300k|921559 | 0 | 0.0 |1285M|1040 | - |1929 |8713 | 0 | 0 | 0 |2363k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1681.64/1681.62 c 1650s| 2310k|927282 | 0 | 0.0 |1292M|1040 | - |1929 |9778 | 0 | 0 | 0 |2370k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1687.24/1687.25 c 1655s| 2320k|932795 | 0 | 0.0 |1299M|1040 | - |1929 | 10k| 0 | 0 | 0 |2378k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1693.44/1693.44 c 1661s| 2330k|937938 | 0 | 0.0 |1306M|1040 | - |1929 | 11k| 0 | 0 | 0 |2386k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1700.04/1700.02 c 1668s| 2340k|942891 | 0 | 0.0 |1313M|1040 | - |1929 | 12k| 0 | 0 | 0 |2394k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1707.04/1707.10 c 1675s| 2350k|947586 | 0 | 0.0 |1320M|1040 | - |1929 | 14k| 0 | 0 | 0 |2403k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1715.54/1715.51 c 1683s| 2360k|951309 | 0 | 0.0 |1327M|1040 | - |1929 | 16k| 0 | 0 | 0 |2414k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1726.54/1726.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.54/1726.52 c 1694s| 2370k|953330 | 0 | 0.0 |1331M|1040 | - |1929 | 15k| 0 | 0 | 0 |2427k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1730.35/1730.31 c 1698s| 2380k|960988 | 0 | 0.0 |1336M|1040 | - |1929 |7690 | 0 | 0 | 0 |2431k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1733.85/1733.89 c 1701s| 2390k|968342 | 0 | 0.0 |1342M|1040 | - |1929 |8209 | 0 | 0 | 0 |2435k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1737.65/1737.64 c 1705s| 2400k|975501 | 0 | 0.0 |1349M|1040 | - |1929 |8614 | 0 | 0 | 0 |2440k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1741.64/1741.60 c 1709s| 2410k|982393 | 0 | 0.0 |1356M|1040 | - |1929 |9249 | 0 | 0 | 0 |2445k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1746.04/1746.03 c 1713s| 2420k|988798 | 0 | 0.0 |1362M|1040 | - |1929 |9930 | 0 | 0 | 0 |2452k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1751.15/1751.11 c 1718s| 2430k|994491 | 0 | 0.0 |1369M|1040 | - |1929 | 10k| 0 | 0 | 0 |2459k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1758.14/1758.11 c 1725s| 2440k|998112 | 0 | 0.0 |1375M|1040 | - |1929 | 13k| 0 | 0 | 0 |2469k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1766.14/1766.11 c 1733s| 2450k| 1001k| 0 | 0.0 |1379M|1040 | - |1929 | 12k| 0 | 0 | 0 |2480k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1769.95/1769.96 c 1736s| 2460k| 1009k| 0 | 0.0 |1385M|1040 | - |1929 |9868 | 0 | 0 | 0 |2484k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1773.95/1773.98 c 1740s| 2470k| 1016k| 0 | 0.0 |1392M|1040 | - |1929 | 10k| 0 | 0 | 0 |2489k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1778.95/1778.98 c 1745s| 2480k| 1022k| 0 | 0.0 |1399M|1040 | - |1929 | 11k| 0 | 0 | 0 |2496k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1784.74/1784.75 c 1751s| 2490k| 1027k| 0 | 0.0 |1406M|1040 | - |1929 | 12k| 0 | 0 | 0 |2503k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1792.14/1792.13 c 1758s| 2500k| 1031k| 0 | 0.0 |1413M|1040 | - |1929 | 14k| 0 | 0 | 0 |2513k| 0 | 0.000000e+00 | 1.300000e+01 | 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) : 1765.69
1800.05/1800.00 c Solving Nodes : 2506817
1800.05/1800.00 c Primal Bound : +1.30000000000000e+01 (18 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.02 s SATISFIABLE
1800.05/1800.02 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.02 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.02 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.02 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.02 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.02 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.05/1800.02 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.05/1800.02 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.02 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
1800.05/1800.02 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 x8 -x7 -x6 -x5 -x4 -x3
1800.05/1800.02 v -x2 -x1
1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.02 c Solving Time : 1765.69
1800.05/1800.02 c Original Problem :
1800.05/1800.02 c Problem name : HOME/instance-2694071-1277903822.wbo
1800.05/1800.02 c Variables : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous)
1800.05/1800.02 c Constraints : 3638 initial, 3638 maximal
1800.05/1800.02 c Presolved Problem :
1800.05/1800.02 c Problem name : t_HOME/instance-2694071-1277903822.wbo
1800.05/1800.02 c Variables : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous)
1800.05/1800.02 c Constraints : 3365 initial, 31243 maximal
1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.02 c trivial : 0.00 81 0 0 0 0 0 0 0
1800.05/1800.02 c dualfix : 0.00 81 0 0 0 0 0 0 0
1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 0.00 0 0 0 0 0 81 0 0
1800.05/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c linear : 0.06 0 0 0 954 0 192 139 0
1800.05/1800.02 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c root node : - 750 - - 1500 - - - -
1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 849 0 6398577 0 1684371 509 1716177 0 0 0
1800.05/1800.02 c knapsack : 1 0 8100420 0 1966553 211619 26394968 0 0 0
1800.05/1800.02 c setppc : 14 0 7912696 0 1966656 105485 5929614 0 0 0
1800.05/1800.02 c linear : 849 0 7807755 0 1966735 117555 10882460 0 0 0
1800.05/1800.02 c logicor : 1652+ 0 6033173 0 1966751 401974 15590939 0 0 0
1800.05/1800.02 c bounddisjunction : 0+ 0 67619 0 0 0 8 0 0 0
1800.05/1800.02 c countsols : 0 0 0 0 1966745 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c indicator : 13.87 0.00 7.44 0.00 6.43
1800.05/1800.02 c knapsack : 92.26 0.00 88.67 0.00 3.59
1800.05/1800.02 c setppc : 32.10 0.00 28.18 0.00 3.92
1800.05/1800.02 c linear : 128.74 0.00 126.74 0.00 2.00
1800.05/1800.02 c logicor : 595.41 0.00 506.09 0.00 89.32
1800.05/1800.02 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.05/1800.02 c countsols : 0.38 0.00 0.00 0.00 0.38
1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.02 c vbounds : 1.89 2 0 0
1800.05/1800.02 c rootredcost : 1.74 0 0 0
1800.05/1800.02 c pseudoobj : 143.74 8128978 3713 1662221
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 26.56 840346 839834 4143606 21.4 176178 9.8 -
1800.05/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.00 88 88 364 14.9 79 8.9 -
1800.05/1800.02 c applied globally : - - - 2524180 18.2 - - -
1800.05/1800.02 c applied locally : - - - 3 116.3 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.02 c redcost : 0.00 0 0 0 0 0
1800.05/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 0.00 0 0 0 0 0
1800.05/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.02 c cmir : 0.00 0 0 0 0 0
1800.05/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.02 c clique : 0.00 0 0 0 0 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.00 0 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 32.17 1966727 0 0 0 0 3933454
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.00 - 0
1800.05/1800.02 c pseudo solutions : 0.05 - 18
1800.05/1800.02 c oneopt : 0.88 0 0
1800.05/1800.02 c trivial : 0.01 2 0
1800.05/1800.02 c simplerounding : 0.00 0 0
1800.05/1800.02 c zirounding : 0.00 0 0
1800.05/1800.02 c rounding : 0.00 0 0
1800.05/1800.02 c shifting : 0.00 0 0
1800.05/1800.02 c intshifting : 0.00 0 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c feaspump : 0.00 0 0
1800.05/1800.02 c coefdiving : 0.00 0 0
1800.05/1800.02 c pscostdiving : 0.00 0 0
1800.05/1800.02 c fracdiving : 0.00 0 0
1800.05/1800.02 c veclendiving : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c objpscostdiving : 0.00 0 0
1800.05/1800.02 c rootsoldiving : 0.00 0 0
1800.05/1800.02 c linesearchdiving : 0.00 0 0
1800.05/1800.02 c guideddiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.00 0 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c crossover : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c nlp : 0.61 0 0
1800.05/1800.02 c trysol : 0.45 1 0
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.02 c (at root node) : - 0 0 0.00 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 2506817
1800.05/1800.02 c nodes (total) : 2506817
1800.05/1800.02 c nodes left : 1031873
1800.05/1800.02 c max depth : 1040
1800.05/1800.02 c max depth (total): 1040
1800.05/1800.02 c backtracks : 533355 (21.3%)
1800.05/1800.02 c delayed cutoffs : 374609
1800.05/1800.02 c repropagations : 1808129 (17718583 domain reductions, 300871 cutoffs)
1800.05/1800.02 c avg switch length: 24.08
1800.05/1800.02 c switching time : 528.22
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 18 (18 improvements)
1800.05/1800.02 c First Solution : +6.83000000000000e+02 (in run 1, after 12892 nodes, 3.35 seconds, depth 403, found by <relaxation>)
1800.05/1800.02 c Primal Bound : +1.30000000000000e+01 (in run 1, after 478886 nodes, 267.00 seconds, depth 318, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 0
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694071-1277903822/watcher-2694071-1277903822 -o /tmp/evaluation-result-2694071-1277903822/solver-2694071-1277903822 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694071-1277903822.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.02 2.02 2.08 4/182 12426 /proc/meminfo: memFree=31445984/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=8304 CPUtime=0 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 1553 0 0 0 0 0 0 0 25 0 1 0 131677793 8503296 1476 4089446400 4194304 7136930 140736946661584 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12426/statm: 2076 1476 275 719 0 1355 0 [startup+0.0905961 s] /proc/loadavg: 2.02 2.02 2.08 4/182 12426 /proc/meminfo: memFree=31445984/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=21304 CPUtime=0.08 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 6278 0 0 0 8 0 0 0 25 0 1 0 131677793 21815296 4562 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 5326 4562 354 719 0 4605 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 21304 [startup+0.100605 s] /proc/loadavg: 2.02 2.02 2.08 4/182 12426 /proc/meminfo: memFree=31445984/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=21304 CPUtime=0.09 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 6792 0 0 0 9 0 0 0 25 0 1 0 131677793 21815296 4562 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 5326 4562 354 719 0 4605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21304 [startup+0.300571 s] /proc/loadavg: 2.02 2.02 2.08 4/182 12426 /proc/meminfo: memFree=31445984/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=24300 CPUtime=0.29 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 10642 0 0 0 27 2 0 0 18 0 1 0 131677793 24883200 5328 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 6075 5328 399 719 0 5354 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24300 [startup+0.700485 s] /proc/loadavg: 2.02 2.02 2.08 4/182 12426 /proc/meminfo: memFree=31445984/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=26164 CPUtime=0.69 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 11123 0 0 0 65 4 0 0 18 0 1 0 131677793 26791936 5809 4089446400 4194304 7136930 140736946661584 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 6541 5809 404 719 0 5820 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26164 [startup+1.50034 s] /proc/loadavg: 2.02 2.02 2.08 3/183 12427 /proc/meminfo: memFree=31423900/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=28120 CPUtime=1.49 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 11627 0 0 0 141 8 0 0 19 0 1 0 131677793 28794880 6313 4089446400 4194304 7136930 140736946661584 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 7030 6313 404 719 0 6309 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28120 [startup+3.10105 s] /proc/loadavg: 2.02 2.02 2.08 3/183 12427 /proc/meminfo: memFree=31419312/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=34472 CPUtime=3.09 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 13221 0 0 0 295 14 0 0 24 0 1 0 131677793 35299328 7907 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 8618 7907 404 719 0 7897 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34472 [startup+6.30047 s] /proc/loadavg: 2.02 2.02 2.08 3/183 12427 /proc/meminfo: memFree=31409296/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=44616 CPUtime=6.29 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 15747 0 0 0 605 24 0 0 25 0 1 0 131677793 45686784 10433 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 11154 10433 407 719 0 10433 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44616 [startup+12.7003 s] /proc/loadavg: 2.02 2.02 2.08 3/183 12427 /proc/meminfo: memFree=31386844/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=64560 CPUtime=12.69 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 20769 0 0 0 1223 46 0 0 25 0 1 0 131677793 66109440 15455 4089446400 4194304 7136930 140736946661584 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 16140 15455 407 719 0 15419 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64560 [startup+25.501 s] /proc/loadavg: 2.01 2.02 2.08 3/183 12428 /proc/meminfo: memFree=31360720/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=90092 CPUtime=25.49 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 27182 0 0 0 2468 81 0 0 25 0 1 0 131677793 92254208 21868 4089446400 4194304 7136930 140736946661584 18446744073709551615 5953046 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 22523 21868 407 719 0 21802 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 90092 [startup+51.1003 s] /proc/loadavg: 2.01 2.02 2.08 3/183 12428 /proc/meminfo: memFree=31290076/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=166700 CPUtime=51.09 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 44712 0 0 0 4955 154 0 0 25 0 1 0 131677793 170700800 39398 4089446400 4194304 7136930 140736946661584 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 41675 39398 407 719 0 40954 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 166700 [startup+102.307 s] /proc/loadavg: 2.00 2.01 2.07 3/183 12430 /proc/meminfo: memFree=31180404/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=272028 CPUtime=102.3 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 70193 0 0 0 9943 287 0 0 25 0 1 0 131677793 278556672 64879 4089446400 4194304 7136930 140736946661584 18446744073709551615 4925951 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 68007 64879 407 719 0 67286 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 272028 [startup+162.301 s] /proc/loadavg: 2.04 2.02 2.07 3/183 12431 /proc/meminfo: memFree=31140808/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=309900 CPUtime=162.3 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 79692 0 0 0 15854 376 0 0 25 0 1 0 131677793 317337600 74378 4089446400 4194304 7136930 140736946661584 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 77475 74378 407 719 0 76754 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 309900 [startup+222.301 s] /proc/loadavg: 2.06 2.03 2.07 3/183 12433 /proc/meminfo: memFree=31079140/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=376120 CPUtime=222.3 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 95008 0 0 0 21745 485 0 0 25 0 1 0 131677793 385146880 89694 4089446400 4194304 7136930 140736946661584 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 94030 89694 407 719 0 93309 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 376120 [startup+282.3 s] /proc/loadavg: 2.02 2.03 2.07 3/183 12434 /proc/meminfo: memFree=30991144/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=462560 CPUtime=282.3 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 116433 0 0 0 27609 621 0 0 25 0 1 0 131677793 473661440 111119 4089446400 4194304 7136930 140736946661584 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 115640 111119 407 719 0 114919 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 462560 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.06 3/183 12436 /proc/meminfo: memFree=30903052/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=548456 CPUtime=342.3 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 138122 0 0 0 33438 792 0 0 25 0 1 0 131677793 561618944 132808 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 137114 132808 407 719 0 136393 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 548456 [startup+402.3 s] /proc/loadavg: 2.09 2.04 2.07 3/183 12438 /proc/meminfo: memFree=30816328/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=633272 CPUtime=402.3 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 159606 0 0 0 39265 965 0 0 25 0 1 0 131677793 648470528 154292 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 158318 154292 407 719 0 157597 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 633272 [startup+462.3 s] /proc/loadavg: 2.10 2.05 2.06 3/183 12439 /proc/meminfo: memFree=30751672/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=703032 CPUtime=462.3 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 174929 0 0 0 45129 1101 0 0 25 0 1 0 131677793 719904768 169615 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 175758 169615 407 719 0 175037 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 703032 [startup+522.301 s] /proc/loadavg: 2.04 2.04 2.06 3/183 12441 /proc/meminfo: memFree=30736372/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=717344 CPUtime=522.31 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 178488 0 0 0 51050 1181 0 0 25 0 1 0 131677793 734560256 173174 4089446400 4194304 7136930 140736946661584 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 179336 173174 407 719 0 178615 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 717344 [startup+582.301 s] /proc/loadavg: 2.08 2.05 2.06 3/183 12442 /proc/meminfo: memFree=30726032/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=727456 CPUtime=582.31 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 180942 0 0 0 56986 1245 0 0 25 0 1 0 131677793 744914944 175628 4089446400 4194304 7136930 140736946661584 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 181864 175628 407 719 0 181143 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 727456 [startup+642.301 s] /proc/loadavg: 2.02 2.04 2.06 3/183 12444 /proc/meminfo: memFree=30723500/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=728512 CPUtime=642.32 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 181244 0 0 0 62934 1298 0 0 25 0 1 0 131677793 745996288 175930 4089446400 4194304 7136930 140736946661584 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 182128 175930 407 719 0 181407 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 728512 [startup+702.301 s] ################ # More data... # ################ /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 260563 0 0 0 98160 2072 0 0 25 0 1 0 131677793 1071869952 255249 4089446400 4194304 7136930 140736946661584 18446744073709551615 4210441 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 261687 255249 407 719 0 260966 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1046748 [startup+1062.3 s] /proc/loadavg: 2.04 2.01 2.02 3/183 12458 /proc/meminfo: memFree=30383532/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1063112 CPUtime=1062.32 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 264465 0 0 0 104084 2148 0 0 25 0 1 0 131677793 1088626688 259151 4089446400 4194304 7136930 140736946661584 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 265778 259151 407 719 0 265057 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1063112 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.02 3/183 12460 /proc/meminfo: memFree=30321600/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1122816 CPUtime=1122.33 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 279675 0 0 0 109962 2271 0 0 25 0 1 0 131677793 1149763584 274361 4089446400 4194304 7136930 140736946661584 18446744073709551615 4210526 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 280704 274361 407 719 0 279983 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1122816 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.01 3/183 12489 /proc/meminfo: memFree=30380288/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1161452 CPUtime=1182.32 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 289400 0 0 0 115862 2370 0 0 25 0 1 0 131677793 1189326848 284086 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 290363 284086 407 719 0 289642 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1161452 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12491 /proc/meminfo: memFree=30289800/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1178096 CPUtime=1242.33 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 293593 0 0 0 121791 2442 0 0 25 0 1 0 131677793 1206370304 288279 4089446400 4194304 7136930 140736946661584 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 294524 288279 407 719 0 293803 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1178096 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12493 /proc/meminfo: memFree=30173304/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1217236 CPUtime=1302.33 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 303536 0 0 0 127687 2546 0 0 25 0 1 0 131677793 1246449664 298222 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 304309 298222 407 719 0 303588 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1217236 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 4/183 12494 /proc/meminfo: memFree=30076552/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1241680 CPUtime=1362.33 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 309739 0 0 0 133596 2637 0 0 25 0 1 0 131677793 1271480320 304425 4089446400 4194304 7136930 140736946661584 18446744073709551615 4208859 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 310420 304425 407 719 0 309699 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1241680 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12496 /proc/meminfo: memFree=29981908/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1264848 CPUtime=1422.34 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 315533 0 0 0 139518 2716 0 0 25 0 1 0 131677793 1295204352 310219 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 316212 310219 407 719 0 315491 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1264848 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12497 /proc/meminfo: memFree=29856984/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1318288 CPUtime=1482.33 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 328880 0 0 0 145396 2837 0 0 25 0 1 0 131677793 1349926912 323566 4089446400 4194304 7136930 140736946661584 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 329572 323566 407 719 0 328851 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1318288 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12499 /proc/meminfo: memFree=29748316/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1353700 CPUtime=1542.34 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 337861 0 0 0 151288 2946 0 0 25 0 1 0 131677793 1386188800 332547 4089446400 4194304 7136930 140736946661584 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 338425 332547 407 719 0 337704 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1353700 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12501 /proc/meminfo: memFree=29650444/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1381420 CPUtime=1602.34 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 344708 0 0 0 157190 3044 0 0 25 0 1 0 131677793 1414574080 339394 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 345355 339394 407 719 0 344634 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1381420 [startup+1662.3 s] /proc/loadavg: 2.10 2.03 2.01 3/183 12502 /proc/meminfo: memFree=29548476/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1406132 CPUtime=1662.35 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 351007 0 0 0 163107 3128 0 0 25 0 1 0 131677793 1439879168 345693 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 351533 345693 407 719 0 350812 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 1406132 [startup+1722.3 s] /proc/loadavg: 2.11 2.04 2.01 3/183 12504 /proc/meminfo: memFree=29416736/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1467760 CPUtime=1722.35 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 366321 0 0 0 168979 3256 0 0 25 0 1 0 131677793 1502986240 361007 4089446400 4194304 7136930 140736946661584 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 366940 361007 407 719 0 366219 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1467760 [startup+1782.3 s] /proc/loadavg: 2.07 2.04 2.01 3/183 12505 /proc/meminfo: memFree=29273344/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1556948 CPUtime=1782.35 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 384701 0 0 0 174832 3403 0 0 25 0 1 0 131677793 1594314752 379387 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 389237 379387 407 719 0 388516 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1556948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.12 2.06 2.01 3/183 12506 /proc/meminfo: memFree=29235504/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1569464 CPUtime=1800.05 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 387833 0 0 0 176571 3434 0 0 25 0 1 0 131677793 1607131136 382519 4089446400 4194304 7136930 140736946661584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12426/statm: 392366 382519 407 719 0 391645 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1569464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12426 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.12 2.06 2.01 3/184 12507 /proc/meminfo: memFree=29235248/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1569464 CPUtime=1801.44 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 387838 0 0 0 176710 3434 0 0 25 0 1 0 131677793 1607131136 382524 4089446400 4194304 7136930 140736946661584 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12426/statm: 392366 382524 412 719 0 391645 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1569464 [startup+1801.81 s] /proc/loadavg: 2.12 2.06 2.01 3/184 12507 /proc/meminfo: memFree=29234628/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1567400 CPUtime=1801.85 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 387838 0 0 0 176751 3434 0 0 25 0 1 0 131677793 1605017600 382008 4089446400 4194304 7136930 140736946661584 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12426/statm: 391850 382008 412 719 0 391129 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1567400 [startup+1802 s] /proc/loadavg: 2.12 2.06 2.01 3/184 12507 /proc/meminfo: memFree=29234628/32951124 swapFree=67111528/67111528 [pid=12426] ppid=12424 vsize=1563008 CPUtime=1802.04 /proc/12426/stat : 12426 (pbscip.linux.x8) R 12424 12426 11750 0 -1 4202496 387838 0 0 0 176770 3434 0 0 25 0 1 0 131677793 1600520192 380910 4089446400 4194304 7136930 140736946661584 18446744073709551615 6166266 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12426/statm: 390752 380910 412 719 0 390031 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1563008 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.11 CPU user time (s): 1767.71 CPU system time (s): 34.3958 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1569464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.71 system time used= 34.3958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 387838 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= 1252 runsolver used 2.88956 second user time and 6.96994 second system time The end
Begin job on node133 at 2010-06-30 15:17:02 IDJOB=2694071 IDBENCH=78914 IDSOLVER=1206 FILE ID=node133/2694071-1277903822 PBS_JOBID= 11197188 Free space on /tmp= 74204 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.1900557957--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-2694071-1277903822/watcher-2694071-1277903822 -o /tmp/evaluation-result-2694071-1277903822/solver-2694071-1277903822 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694071-1277903822.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cd9d62896ad241b3e0bc0c585d812475 RANDOM SEED=1918143440 node133.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.821 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.64 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.821 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.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 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 : 7296.74 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.821 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.74 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.821 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.74 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.821 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.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31446512 kB Buffers: 183780 kB Cached: 981976 kB SwapCached: 0 kB Active: 726164 kB Inactive: 637052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31446512 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3148 kB Writeback: 0 kB AnonPages: 197772 kB Mapped: 17476 kB Slab: 78328 kB PageTables: 4812 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 347168 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 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 node133 at 2010-06-30 15:47:04