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.12 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo |
| MD5SUM | aacdee42f12f02195344334122667810 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 203.379 |
| 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 | 135641 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135640 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 671 |
| 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-2693683-1277930107.wbo>
0.02/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/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.13 o 135640
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.356400e+05
0.09/0.13 c presolving:
0.09/0.14 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.15 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.19/0.20 c (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (3 rounds):
0.19/0.20 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 2707 implications, 0 cliques
0.19/0.20 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.20 c 2707 constraints of type <indicator>
0.19/0.20 c 2707 constraints of type <linear>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.15
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.97
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 3420
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.22 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.22 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
1.59/1.67 o 325
1.59/1.67 c * 1.6s| 5280 | 4905 | 0 | 0.0 | 22M|2816 | - |5645 |6515 | 0 | 0 | 0 |1101 | 0 | 0.000000e+00 | 3.250000e+02 | Inf
1.79/1.80 o 324
1.79/1.80 c * 1.7s| 5585 | 5189 | 0 | 0.0 | 23M|2816 | - |5645 |6589 | 0 | 0 | 0 |1175 | 0 | 0.000000e+00 | 3.240000e+02 | Inf
1.99/2.07 o 307
1.99/2.07 c * 2.0s| 6254 | 5822 | 0 | 0.0 | 23M|2816 | - |5645 |6715 | 0 | 0 | 0 |1301 | 0 | 0.000000e+00 | 3.070000e+02 | Inf
2.09/2.18 o 301
2.09/2.18 c * 2.1s| 6545 | 6093 | 0 | 0.0 | 24M|2816 | - |5645 |6759 | 0 | 0 | 0 |1345 | 0 | 0.000000e+00 | 3.010000e+02 | Inf
2.19/2.24 o 212
2.19/2.24 c * 2.1s| 6685 | 6048 | 0 | 0.0 | 23M|2816 | - |5645 |6789 | 0 | 0 | 0 |1375 | 0 | 0.000000e+00 | 2.120000e+02 | Inf
2.19/2.27 o 174
2.19/2.27 c * 2.2s| 6783 | 6044 | 0 | 0.0 | 24M|2816 | - |5645 |6819 | 0 | 0 | 0 |1405 | 0 | 0.000000e+00 | 1.740000e+02 | Inf
2.19/2.27 o 151
2.19/2.27 c * 2.2s| 6784 | 5963 | 0 | 0.0 | 24M|2816 | - |5645 |6819 | 0 | 0 | 0 |1405 | 0 | 0.000000e+00 | 1.510000e+02 | Inf
3.39/3.43 c 3.3s| 10000 | 8732 | 0 | 0.0 | 28M|2816 | - |5645 |8117 | 0 | 0 | 0 |3543 | 0 | 0.000000e+00 | 1.510000e+02 | Inf
7.59/7.61 c 7.4s| 20000 | 16589 | 0 | 0.0 | 39M|2816 | - |5645 |8332 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
12.49/12.58 o 143
12.49/12.58 c *12.3s| 27924 | 21158 | 0 | 0.0 | 50M|2816 | - |5645 | 10k| 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
13.58/13.63 o 140
13.58/13.63 c *13.3s| 29497 | 22644 | 0 | 0.0 | 52M|2816 | - |5645 |9325 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
13.99/14.00 c 13.7s| 30000 | 23118 | 0 | 0.0 | 53M|2816 | - |5645 |8987 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
15.09/15.14 o 130
15.09/15.14 c *14.8s| 31717 | 24624 | 0 | 0.0 | 56M|2816 | - |5645 |8511 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
16.09/16.16 o 114
16.09/16.16 c *15.8s| 32932 | 25462 | 0 | 0.0 | 57M|2816 | - |5645 |8701 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
16.69/16.77 o 103
16.69/16.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.69/16.77 c *16.4s| 33590 | 25953 | 0 | 0.0 | 59M|2816 | - |5645 |8897 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
16.79/16.86 o 100
16.79/16.86 c *16.5s| 33741 | 26043 | 0 | 0.0 | 59M|2816 | - |5645 |8810 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
16.79/16.86 o 94
16.79/16.86 c *16.5s| 33742 | 25795 | 0 | 0.0 | 58M|2816 | - |5645 |8810 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
17.79/17.86 o 79
17.79/17.86 c *17.5s| 35416 | 26501 | 0 | 0.0 | 58M|2816 | - |5645 |8216 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
19.39/19.46 o 71
19.39/19.46 c *19.1s| 37508 | 27987 | 0 | 0.0 | 59M|2816 | - |5645 |7308 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
19.39/19.48 o 64
19.39/19.48 c *19.1s| 37537 | 27720 | 0 | 0.0 | 59M|2816 | - |5645 |7303 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
19.79/19.89 o 45
19.79/19.89 c *19.5s| 38266 | 27422 | 0 | 0.0 | 58M|2816 | - |5645 |7287 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
19.89/19.98 o 44
19.89/19.98 c *19.6s| 38437 | 27503 | 0 | 0.0 | 58M|2816 | - |5645 |7221 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
20.80/20.84 c 20.4s| 40000 | 28881 | 0 | 0.0 | 59M|2816 | - |5645 |6216 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
22.29/22.34 o 43
22.29/22.34 c *21.9s| 42375 | 30876 | 0 | 0.0 | 62M|2816 | - |5645 |6433 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
22.89/22.95 o 41
22.89/22.95 c *22.5s| 43437 | 31725 | 0 | 0.0 | 63M|2816 | - |5645 |6282 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
24.79/24.82 o 29
24.79/24.82 c *24.3s| 46616 | 33807 | 0 | 0.0 | 65M|2816 | - |5645 |6476 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
26.49/26.55 c 26.0s| 50000 | 36647 | 0 | 0.0 | 69M|2816 | - |5645 |6442 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
29.99/30.07 o 15
29.99/30.07 c *29.5s| 59143 | 43566 | 0 | 0.0 | 76M|2816 | - |5645 |6568 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
30.39/30.41 c 29.8s| 60000 | 44310 | 0 | 0.0 | 77M|2816 | - |5645 |6484 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
34.19/34.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.19/34.24 c 33.5s| 70000 | 52758 | 0 | 0.0 | 87M|2816 | - |5645 |5745 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
38.59/38.63 c 37.9s| 80000 | 60705 | 0 | 0.0 | 97M|2816 | - |5645 |6527 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
43.09/43.18 c 42.3s| 90000 | 68509 | 0 | 0.0 | 107M|2816 | - |5645 |7038 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
48.19/48.20 c 47.3s|100000 | 75927 | 0 | 0.0 | 118M|2816 | - |5645 |7819 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
53.90/53.93 c 52.9s|110000 | 82857 | 0 | 0.0 | 129M|2816 | - |5645 |8440 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
59.69/59.74 c 58.6s|120000 | 89626 | 0 | 0.0 | 140M|2816 | - |5645 |8450 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
66.00/66.06 c 64.9s|130000 | 96079 | 0 | 0.0 | 152M|2816 | - |5645 |8916 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
72.60/72.62 c 71.3s|140000 |102374 | 0 | 0.0 | 163M|2816 | - |5645 |9536 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
79.89/79.90 c 78.5s|150000 |107943 | 0 | 0.0 | 174M|2816 | - |5645 | 10k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
87.49/87.51 c 86.0s|160000 |113309 | 0 | 0.0 | 186M|2816 | - |5645 | 10k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
96.19/96.27 c 94.7s|170000 |117981 | 0 | 0.0 | 197M|2816 | - |5645 | 11k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
107.10/107.17 c 105s|180000 |121165 | 0 | 0.0 | 208M|2816 | - |5645 | 13k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
118.80/118.89 c 117s|190000 |124608 | 0 | 0.0 | 213M|2816 | - |5645 |7278 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
124.39/124.45 c 122s|200000 |132657 | 0 | 0.0 | 224M|2816 | - |5645 |6770 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
131.59/131.69 c 130s|210000 |139887 | 0 | 0.0 | 237M|2816 | - |5645 |7524 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
138.60/138.64 o 12
138.60/138.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.60/138.64 c * 136s|217389 |143653 | 0 | 0.0 | 245M|2816 | - |5645 |9758 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
141.59/141.63 c 139s|220000 |143855 | 0 | 0.0 | 248M|2816 | - |5645 | 10k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
146.79/146.85 c 145s|230000 |151840 | 0 | 0.0 | 258M|2816 | - |5645 |8377 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
154.00/154.03 c 152s|240000 |158069 | 0 | 0.0 | 269M|2816 | - |5645 |7963 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
157.39/157.46 o 7
157.39/157.46 c * 155s|246572 |162711 | 0 | 0.0 | 273M|2816 | - |5645 |9089 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
159.60/159.65 c 157s|250000 |165110 | 0 | 0.0 | 277M|2816 | - |5645 | 10k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
159.60/159.66 o 3
159.60/159.66 c * 157s|250011 |164275 | 0 | 0.0 | 274M|2816 | - |5645 | 10k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
166.50/166.57 c 164s|260000 |171037 | 0 | 0.0 | 285M|2816 | - |5645 |9237 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
174.09/174.17 c 171s|270000 |177375 | 0 | 0.0 | 297M|2816 | - |5645 | 10k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
179.99/180.00 c 177s|280000 |185041 | 0 | 0.0 | 310M|2816 | - |5645 | 11k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
186.39/186.46 c 184s|290000 |192018 | 0 | 0.0 | 321M|2816 | - |5645 | 10k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
192.60/192.63 c 190s|300000 |198651 | 0 | 0.0 | 330M|2816 | - |5645 |8402 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
196.80/196.84 c 194s|310000 |206770 | 0 | 0.0 | 340M|2816 | - |5645 |8469 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
201.49/201.50 c 198s|320000 |214240 | 0 | 0.0 | 350M|2816 | - |5645 |8666 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
206.59/206.70 c 203s|330000 |221120 | 0 | 0.0 | 360M|2816 | - |5645 |9145 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
212.99/213.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.99/213.00 c 210s|340000 |227094 | 0 | 0.0 | 370M|2816 | - |5645 |9391 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
218.19/218.20 c 215s|350000 |233899 | 0 | 0.0 | 380M|2816 | - |5645 |8658 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
223.80/223.83 c 220s|360000 |240432 | 0 | 0.0 | 389M|2816 | - |5645 |8266 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
228.89/228.94 c 225s|370000 |247443 | 0 | 0.0 | 400M|2816 | - |5645 | 10k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
233.10/233.12 c 229s|380000 |255397 | 0 | 0.0 | 409M|2816 | - |5645 |8147 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
237.60/237.60 c 234s|390000 |263067 | 0 | 0.0 | 420M|2816 | - |5645 |8892 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
243.80/243.89 c 240s|400000 |268952 | 0 | 0.0 | 430M|2816 | - |5645 | 10k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
248.29/248.33 c 244s|410000 |276697 | 0 | 0.0 | 440M|2816 | - |5645 |9530 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
253.09/253.13 c 249s|420000 |283954 | 0 | 0.0 | 449M|2816 | - |5645 |8048 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
257.41/257.47 c 253s|430000 |291761 | 0 | 0.0 | 459M|2816 | - |5645 |9032 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
263.69/263.79 c 259s|440000 |297594 | 0 | 0.0 | 469M|2816 | - |5645 | 11k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
267.69/267.76 c 263s|450000 |305689 | 0 | 0.0 | 479M|2816 | - |5645 |9209 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
272.49/272.53 c 268s|460000 |312997 | 0 | 0.0 | 487M|2816 | - |5645 |8527 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
277.49/277.55 c 273s|470000 |320171 | 0 | 0.0 | 496M|2816 | - |5645 |8586 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
282.70/282.73 c 278s|480000 |327393 | 0 | 0.0 | 505M|2816 | - |5645 |9040 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
288.00/288.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.00/288.01 c 283s|490000 |334358 | 0 | 0.0 | 515M|2816 | - |5645 |9594 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
293.70/293.75 c 289s|500000 |340764 | 0 | 0.0 | 524M|2816 | - |5645 | 11k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
298.11/298.15 c 293s|510000 |348617 | 0 | 0.0 | 533M|2816 | - |5645 |9319 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
303.30/303.38 c 298s|520000 |355735 | 0 | 0.0 | 543M|2816 | - |5645 |9060 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
308.60/308.67 c 303s|530000 |362787 | 0 | 0.0 | 553M|2816 | - |5645 |8797 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
313.79/313.81 c 308s|540000 |369876 | 0 | 0.0 | 562M|2816 | - |5645 |9218 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
319.50/319.57 c 314s|550000 |376398 | 0 | 0.0 | 572M|2816 | - |5645 |9139 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
325.20/325.29 c 320s|560000 |382815 | 0 | 0.0 | 582M|2816 | - |5645 | 10k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
328.90/328.94 c 323s|570000 |391175 | 0 | 0.0 | 590M|2816 | - |5645 |5156 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
332.40/332.45 c 327s|580000 |399420 | 0 | 0.0 | 599M|2816 | - |5645 |5121 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
336.51/336.51 c 331s|590000 |407164 | 0 | 0.0 | 609M|2816 | - |5645 |5828 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
342.10/342.13 c 336s|600000 |413787 | 0 | 0.0 | 620M|2816 | - |5645 |7010 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
347.99/348.09 c 342s|610000 |420144 | 0 | 0.0 | 631M|2816 | - |5645 |7691 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
354.20/354.22 c 348s|620000 |426317 | 0 | 0.0 | 642M|2816 | - |5645 |8103 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
360.50/360.56 c 354s|630000 |432475 | 0 | 0.0 | 653M|2816 | - |5645 |8732 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
367.10/367.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.10/367.17 c 361s|640000 |438443 | 0 | 0.0 | 664M|2816 | - |5645 |9254 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
374.30/374.36 c 368s|650000 |444011 | 0 | 0.0 | 675M|2816 | - |5645 |9468 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
381.50/381.53 c 375s|660000 |449279 | 0 | 0.0 | 685M|2816 | - |5645 | 10k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
388.49/388.56 c 382s|670000 |454477 | 0 | 0.0 | 696M|2816 | - |5645 | 10k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
395.70/395.78 c 389s|680000 |459515 | 0 | 0.0 | 707M|2816 | - |5645 | 10k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
403.61/403.61 c 397s|690000 |464106 | 0 | 0.0 | 718M|2816 | - |5645 | 10k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
411.49/411.56 c 404s|700000 |468662 | 0 | 0.0 | 728M|2816 | - |5645 | 10k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
419.10/419.14 c 412s|710000 |473579 | 0 | 0.0 | 739M|2816 | - |5645 | 11k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
427.49/427.59 c 420s|720000 |477767 | 0 | 0.0 | 750M|2816 | - |5645 | 12k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
436.20/436.26 c 429s|730000 |481851 | 0 | 0.0 | 760M|2816 | - |5645 | 12k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
444.79/444.86 c 437s|740000 |486113 | 0 | 0.0 | 770M|2816 | - |5645 | 12k| 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
453.80/453.84 c 446s|750000 |490049 | 0 | 0.0 | 781M|2816 | - |5645 | 12k| 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
463.30/463.36 c 456s|760000 |493565 | 0 | 0.0 | 791M|2816 | - |5645 | 13k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
472.80/472.87 c 465s|770000 |497190 | 0 | 0.0 | 800M|2816 | - |5645 | 13k| 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
482.20/482.25 c 474s|780000 |500985 | 0 | 0.0 | 810M|2816 | - |5645 | 13k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
491.50/491.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.50/491.52 c 483s|790000 |504929 | 0 | 0.0 | 820M|2816 | - |5645 | 13k| 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
501.30/501.36 c 493s|800000 |508264 | 0 | 0.0 | 830M|2816 | - |5645 | 14k| 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
511.70/511.70 c 503s|810000 |511329 | 0 | 0.0 | 839M|2816 | - |5645 | 15k| 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
521.80/521.80 c 513s|820000 |514692 | 0 | 0.0 | 848M|2816 | - |5645 | 15k| 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
531.60/531.69 c 523s|830000 |518255 | 0 | 0.0 | 857M|2816 | - |5645 | 14k| 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
541.50/541.52 c 533s|840000 |521799 | 0 | 0.0 | 867M|2816 | - |5645 | 14k| 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
552.00/552.01 c 543s|850000 |524683 | 0 | 0.0 | 876M|2816 | - |5645 | 16k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
562.99/563.09 c 554s|860000 |527452 | 0 | 0.0 | 885M|2816 | - |5645 | 17k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
574.30/574.39 c 565s|870000 |530161 | 0 | 0.0 | 893M|2816 | - |5645 | 16k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
586.20/586.30 c 577s|880000 |532105 | 0 | 0.0 | 900M|2816 | - |5645 | 14k| 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
600.29/600.39 c 591s|890000 |531462 | 0 | 0.0 | 906M|2816 | - |5645 | 17k| 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
615.91/615.91 c 606s|900000 |529772 | 0 | 0.0 | 909M|2816 | - |5645 | 19k| 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
634.50/634.55 c 625s|910000 |523682 | 0 | 0.0 | 898M|2816 | - |5645 | 21k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
639.01/639.02 c 629s|920000 |531690 | 0 | 0.0 | 903M|2816 | - |5645 |4982 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
643.00/643.07 c 633s|930000 |539354 | 0 | 0.0 | 912M|2816 | - |5645 |5381 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
647.30/647.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.30/647.38 c 637s|940000 |546728 | 0 | 0.0 | 922M|2816 | - |5645 |5822 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
652.10/652.19 c 642s|950000 |553672 | 0 | 0.0 | 933M|2816 | - |5645 |6306 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
658.20/658.24 c 648s|960000 |559635 | 0 | 0.0 | 943M|2816 | - |5645 |6800 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
664.90/664.96 c 654s|970000 |564975 | 0 | 0.0 | 954M|2816 | - |5645 |6908 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
671.90/671.92 c 661s|980000 |570060 | 0 | 0.0 | 965M|2816 | - |5645 |7114 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
679.50/679.54 c 669s|990000 |574554 | 0 | 0.0 | 975M|2816 | - |5645 |7342 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
686.91/686.94 c 676s| 1000k|579244 | 0 | 0.0 | 986M|2816 | - |5645 |7623 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
694.60/694.61 c 683s| 1010k|583576 | 0 | 0.0 | 995M|2816 | - |5645 |7791 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
702.10/702.19 c 691s| 1020k|588085 | 0 | 0.0 |1005M|2816 | - |5645 |8093 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
709.30/709.33 c 698s| 1030k|593018 | 0 | 0.0 |1015M|2816 | - |5645 |8447 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
716.50/716.59 c 705s| 1040k|597935 | 0 | 0.0 |1024M|2816 | - |5645 |9364 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
725.00/725.05 c 713s| 1050k|601937 | 0 | 0.0 |1036M|2816 | - |5645 | 11k| 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
736.10/736.13 c 724s| 1060k|604181 | 0 | 0.0 |1046M|2816 | - |5645 | 14k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
737.50/737.59 o 2
737.50/737.59 c * 726s| 1061k|579717 | 0 | 0.0 |1018M|2816 | - |5645 | 15k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
745.60/745.63 c 734s| 1070k|583677 | 0 | 0.0 |1022M|2816 | - |5645 |7748 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
750.10/750.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.10/750.16 c 738s| 1080k|591027 | 0 | 0.0 |1031M|2816 | - |5645 |6560 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
755.00/755.05 c 743s| 1090k|597921 | 0 | 0.0 |1042M|2816 | - |5645 |7326 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
760.30/760.36 c 748s| 1100k|604408 | 0 | 0.0 |1052M|2816 | - |5645 |8113 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
766.70/766.71 c 754s| 1110k|610144 | 0 | 0.0 |1063M|2816 | - |5645 |9187 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
774.00/774.00 c 761s| 1120k|615047 | 0 | 0.0 |1073M|2816 | - |5645 | 10k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
782.80/782.80 c 770s| 1130k|618844 | 0 | 0.0 |1084M|2816 | - |5645 | 12k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
793.11/793.16 c 780s| 1140k|621565 | 0 | 0.0 |1093M|2816 | - |5645 | 14k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
804.20/804.26 c 791s| 1150k|624265 | 0 | 0.0 |1098M|2816 | - |5645 |8669 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
808.71/808.71 c 795s| 1160k|631774 | 0 | 0.0 |1107M|2816 | - |5645 |6715 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
813.61/813.64 c 800s| 1170k|638733 | 0 | 0.0 |1117M|2816 | - |5645 |7401 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
819.00/819.03 c 806s| 1180k|645258 | 0 | 0.0 |1127M|2816 | - |5645 |8174 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
825.21/825.21 c 812s| 1190k|651128 | 0 | 0.0 |1138M|2816 | - |5645 |9239 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
832.00/832.06 c 818s| 1200k|656436 | 0 | 0.0 |1148M|2816 | - |5645 | 10k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
840.20/840.20 c 826s| 1210k|660711 | 0 | 0.0 |1159M|2816 | - |5645 | 11k| 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
849.30/849.34 c 835s| 1220k|664211 | 0 | 0.0 |1169M|2816 | - |5645 | 12k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
860.41/860.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.41/860.47 c 846s| 1230k|666333 | 0 | 0.0 |1177M|2816 | - |5645 | 14k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
869.10/869.13 c 855s| 1240k|671058 | 0 | 0.0 |1183M|2816 | - |5645 |7632 | 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
873.71/873.78 c 859s| 1250k|678421 | 0 | 0.0 |1193M|2816 | - |5645 |7481 | 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
879.00/879.08 c 864s| 1260k|685229 | 0 | 0.0 |1203M|2816 | - |5645 |8421 | 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
885.00/885.08 c 870s| 1270k|691473 | 0 | 0.0 |1214M|2816 | - |5645 |9377 | 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
892.01/892.00 c 877s| 1280k|696912 | 0 | 0.0 |1225M|2816 | - |5645 | 10k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
899.71/899.79 c 885s| 1290k|701751 | 0 | 0.0 |1236M|2816 | - |5645 | 11k| 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
908.91/908.96 c 894s| 1300k|705607 | 0 | 0.0 |1246M|2816 | - |5645 | 13k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
919.80/919.83 c 904s| 1310k|708353 | 0 | 0.0 |1256M|2816 | - |5645 | 15k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
927.81/927.80 c 912s| 1320k|713727 | 0 | 0.0 |1260M|2816 | - |5645 |8175 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
932.30/932.36 c 917s| 1330k|721263 | 0 | 0.0 |1270M|2816 | - |5645 |7679 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
937.11/937.16 c 921s| 1340k|728449 | 0 | 0.0 |1280M|2816 | - |5645 |8589 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
942.50/942.51 c 927s| 1350k|735200 | 0 | 0.0 |1290M|2816 | - |5645 |8820 | 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
948.21/948.22 c 932s| 1360k|741541 | 0 | 0.0 |1299M|2816 | - |5645 |9879 | 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
954.41/954.42 c 938s| 1370k|747464 | 0 | 0.0 |1309M|2816 | - |5645 | 11k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
961.51/961.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.51/961.54 c 945s| 1380k|752682 | 0 | 0.0 |1318M|2816 | - |5645 | 12k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
970.21/970.26 c 954s| 1390k|756712 | 0 | 0.0 |1326M|2816 | - |5645 | 13k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
980.30/980.38 c 964s| 1400k|759962 | 0 | 0.0 |1332M|2816 | - |5645 | 11k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
985.01/985.08 c 968s| 1410k|767666 | 0 | 0.0 |1341M|2816 | - |5645 |7529 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
989.81/989.87 c 973s| 1420k|775001 | 0 | 0.0 |1352M|2816 | - |5645 |7929 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
995.01/995.02 c 978s| 1430k|782006 | 0 | 0.0 |1362M|2816 | - |5645 |8681 | 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.50/1000.53 c 984s| 1440k|788702 | 0 | 0.0 |1372M|2816 | - |5645 |9401 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1006.41/1006.41 c 989s| 1450k|795101 | 0 | 0.0 |1382M|2816 | - |5645 | 10k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1012.91/1012.98 c 996s| 1460k|800940 | 0 | 0.0 |1392M|2816 | - |5645 | 11k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1020.61/1020.67 c 1003s| 1470k|805915 | 0 | 0.0 |1402M|2816 | - |5645 | 12k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1030.81/1030.81 c 1013s| 1480k|809277 | 0 | 0.0 |1412M|2816 | - |5645 | 15k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1041.21/1041.23 c 1024s| 1490k|813234 | 0 | 0.0 |1419M|2816 | - |5645 | 13k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1046.41/1046.45 c 1029s| 1500k|820994 | 0 | 0.0 |1429M|2816 | - |5645 | 10k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1051.71/1051.74 c 1034s| 1510k|828464 | 0 | 0.0 |1439M|2816 | - |5645 | 10k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1057.40/1057.43 c 1039s| 1520k|835554 | 0 | 0.0 |1450M|2816 | - |5645 | 10k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1063.30/1063.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.30/1063.33 c 1045s| 1530k|842493 | 0 | 0.0 |1460M|2816 | - |5645 | 10k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1069.30/1069.36 c 1051s| 1540k|849221 | 0 | 0.0 |1471M|2816 | - |5645 | 11k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1075.71/1075.71 c 1057s| 1550k|855789 | 0 | 0.0 |1481M|2816 | - |5645 | 11k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1082.31/1082.36 c 1064s| 1560k|862117 | 0 | 0.0 |1491M|2816 | - |5645 | 11k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1089.20/1089.22 c 1071s| 1570k|868320 | 0 | 0.0 |1501M|2816 | - |5645 | 12k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1096.11/1096.17 c 1077s| 1580k|874427 | 0 | 0.0 |1512M|2816 | - |5645 | 12k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1103.21/1103.20 c 1084s| 1590k|880522 | 0 | 0.0 |1522M|2816 | - |5645 | 12k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1110.31/1110.31 c 1091s| 1600k|886627 | 0 | 0.0 |1532M|2816 | - |5645 | 12k| 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1117.62/1117.69 c 1099s| 1610k|892520 | 0 | 0.0 |1542M|2816 | - |5645 | 12k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.01/1125.04 c 1106s| 1620k|898377 | 0 | 0.0 |1552M|2816 | - |5645 | 13k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1132.31/1132.35 c 1113s| 1630k|904232 | 0 | 0.0 |1562M|2816 | - |5645 | 12k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1139.71/1139.77 c 1120s| 1640k|909973 | 0 | 0.0 |1572M|2816 | - |5645 | 12k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1147.11/1147.11 c 1127s| 1650k|915850 | 0 | 0.0 |1583M|2816 | - |5645 | 13k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1154.71/1154.75 c 1135s| 1660k|921389 | 0 | 0.0 |1592M|2816 | - |5645 | 12k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1162.31/1162.36 c 1142s| 1670k|926810 | 0 | 0.0 |1602M|2816 | - |5645 | 13k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1170.11/1170.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.11/1170.10 c 1150s| 1680k|932163 | 0 | 0.0 |1612M|2816 | - |5645 | 13k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1178.12/1178.14 c 1158s| 1690k|937262 | 0 | 0.0 |1621M|2816 | - |5645 | 13k| 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1186.11/1186.16 c 1166s| 1700k|942409 | 0 | 0.0 |1631M|2816 | - |5645 | 14k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1194.91/1194.95 c 1175s| 1710k|947105 | 0 | 0.0 |1641M|2816 | - |5645 | 15k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1204.31/1204.37 c 1184s| 1720k|951460 | 0 | 0.0 |1650M|2816 | - |5645 | 16k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1214.61/1214.67 c 1194s| 1730k|955411 | 0 | 0.0 |1657M|2816 | - |5645 | 16k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1222.81/1222.85 c 1202s| 1740k|960810 | 0 | 0.0 |1666M|2816 | - |5645 | 14k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1229.21/1229.24 c 1208s| 1750k|967369 | 0 | 0.0 |1675M|2816 | - |5645 | 11k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1235.22/1235.22 c 1214s| 1760k|974080 | 0 | 0.0 |1686M|2816 | - |5645 | 11k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1241.21/1241.21 c 1220s| 1770k|980732 | 0 | 0.0 |1697M|2816 | - |5645 | 11k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1248.01/1248.00 c 1227s| 1780k|986853 | 0 | 0.0 |1708M|2816 | - |5645 | 12k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1255.31/1255.36 c 1234s| 1790k|992530 | 0 | 0.0 |1720M|2816 | - |5645 | 13k| 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1263.92/1263.99 c 1242s| 1800k|997357 | 0 | 0.0 |1732M|2816 | - |5645 | 15k| 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1274.11/1274.19 c 1252s| 1810k| 1001k| 0 | 0.0 |1742M|2816 | - |5645 | 17k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1285.21/1285.21 c 1263s| 1820k| 1004k| 0 | 0.0 |1748M|2816 | - |5645 | 15k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1290.32/1290.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.32/1290.37 c 1268s| 1830k| 1012k| 0 | 0.0 |1758M|2816 | - |5645 | 11k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1295.51/1295.51 c 1273s| 1840k| 1019k| 0 | 0.0 |1768M|2816 | - |5645 | 10k| 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1300.81/1300.83 c 1278s| 1850k| 1026k| 0 | 0.0 |1779M|2816 | - |5645 | 10k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1306.61/1306.67 c 1284s| 1860k| 1033k| 0 | 0.0 |1790M|2816 | - |5645 | 11k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1313.01/1313.07 c 1290s| 1870k| 1039k| 0 | 0.0 |1802M|2816 | - |5645 | 12k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1320.81/1320.89 c 1298s| 1880k| 1045k| 0 | 0.0 |1814M|2816 | - |5645 | 13k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1330.42/1330.44 c 1307s| 1890k| 1049k| 0 | 0.0 |1825M|2816 | - |5645 | 16k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1342.02/1342.04 c 1319s| 1900k| 1052k| 0 | 0.0 |1835M|2816 | - |5645 | 19k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1350.72/1350.77 c 1328s| 1910k| 1058k| 0 | 0.0 |1842M|2816 | - |5645 | 15k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1356.31/1356.33 c 1333s| 1920k| 1066k| 0 | 0.0 |1851M|2816 | - |5645 | 12k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1361.62/1361.66 c 1338s| 1930k| 1073k| 0 | 0.0 |1861M|2816 | - |5645 | 11k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1366.91/1366.99 c 1343s| 1940k| 1080k| 0 | 0.0 |1871M|2816 | - |5645 | 11k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1372.41/1372.42 c 1349s| 1950k| 1088k| 0 | 0.0 |1881M|2816 | - |5645 | 11k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1377.91/1377.95 c 1354s| 1960k| 1095k| 0 | 0.0 |1890M|2816 | - |5645 | 11k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1383.72/1383.77 c 1360s| 1970k| 1102k| 0 | 0.0 |1900M|2816 | - |5645 | 12k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1389.71/1389.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.71/1389.77 c 1366s| 1980k| 1109k| 0 | 0.0 |1910M|2816 | - |5645 | 12k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1396.01/1396.07 c 1372s| 1990k| 1115k| 0 | 0.0 |1921M|2816 | - |5645 | 12k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1403.11/1403.13 c 1379s| 2000k| 1121k| 0 | 0.0 |1932M|2816 | - |5645 | 13k| 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1410.61/1410.69 c 1386s| 2010k| 1127k| 0 | 0.0 |1943M|2816 | - |5645 | 13k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1418.41/1418.49 c 1394s| 2020k| 1132k| 0 | 0.0 |1954M|2816 | - |5645 | 13k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1427.12/1427.19 c 1402s| 2030k| 1137k| 0 | 0.0 |1964M|2816 | - |5645 | 14k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1435.81/1435.80 c 1411s| 2040k| 1142k| 0 | 0.0 |1974M|2816 | - |5645 | 15k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1445.01/1445.00 c 1420s| 2050k| 1147k| 0 | 0.0 |1985M|2816 | - |5645 | 16k| 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1455.11/1455.12 c 1430s| 2060k| 1152k| 0 | 0.0 |1995M|2816 | - |5645 | 18k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1467.11/1467.18 c 1442s| 2070k| 1155k| 0 | 0.0 |2005M|2816 | - |5645 | 20k| 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1480.81/1480.83 c 1455s| 2080k| 1158k| 0 | 0.0 |2011M|2816 | - |5645 | 20k| 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1486.52/1486.57 c 1461s| 2090k| 1166k| 0 | 0.0 |2020M|2816 | - |5645 | 15k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1492.02/1492.02 c 1466s| 2100k| 1173k| 0 | 0.0 |2029M|2816 | - |5645 | 13k| 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1497.62/1497.60 c 1472s| 2110k| 1181k| 0 | 0.0 |2039M|2816 | - |5645 | 13k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1503.82/1503.88 c 1478s| 2120k| 1187k| 0 | 0.0 |2050M|2816 | - |5645 | 14k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1510.82/1510.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.82/1510.83 c 1485s| 2130k| 1194k| 0 | 0.0 |2060M|2816 | - |5645 | 16k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1518.72/1518.79 c 1493s| 2140k| 1199k| 0 | 0.0 |2071M|2816 | - |5645 | 17k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1528.81/1528.82 c 1502s| 2150k| 1204k| 0 | 0.0 |2081M|2816 | - |5645 | 19k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1541.62/1541.62 c 1515s| 2160k| 1207k| 0 | 0.0 |2090M|2816 | - |5645 | 22k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1551.02/1551.07 c 1524s| 2170k| 1212k| 0 | 0.0 |2095M|2816 | - |5645 | 15k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1556.42/1556.41 c 1530s| 2180k| 1220k| 0 | 0.0 |2104M|2816 | - |5645 | 12k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1561.62/1561.63 c 1535s| 2190k| 1228k| 0 | 0.0 |2113M|2816 | - |5645 | 12k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1566.92/1566.97 c 1540s| 2200k| 1235k| 0 | 0.0 |2123M|2816 | - |5645 | 12k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1573.11/1573.16 c 1546s| 2210k| 1242k| 0 | 0.0 |2134M|2816 | - |5645 | 13k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1579.62/1579.69 c 1552s| 2220k| 1249k| 0 | 0.0 |2145M|2816 | - |5645 | 13k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1586.61/1586.60 c 1559s| 2230k| 1255k| 0 | 0.0 |2155M|2816 | - |5645 | 13k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1593.92/1593.91 c 1566s| 2240k| 1261k| 0 | 0.0 |2167M|2816 | - |5645 | 14k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1601.42/1601.48 c 1574s| 2250k| 1267k| 0 | 0.0 |2178M|2816 | - |5645 | 14k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1609.51/1609.56 c 1582s| 2260k| 1273k| 0 | 0.0 |2189M|2816 | - |5645 | 15k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1618.12/1618.18 c 1590s| 2270k| 1278k| 0 | 0.0 |2199M|2816 | - |5645 | 16k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1627.31/1627.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.31/1627.39 c 1599s| 2280k| 1283k| 0 | 0.0 |2210M|2816 | - |5645 | 17k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1637.82/1637.84 c 1610s| 2290k| 1287k| 0 | 0.0 |2220M|2816 | - |5645 | 18k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1649.22/1649.24 c 1621s| 2300k| 1291k| 0 | 0.0 |2230M|2816 | - |5645 | 20k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1663.12/1663.16 c 1635s| 2310k| 1293k| 0 | 0.0 |2238M|2816 | - |5645 | 22k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1673.02/1673.05 c 1644s| 2320k| 1299k| 0 | 0.0 |2244M|2816 | - |5645 | 16k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1678.41/1678.47 c 1650s| 2330k| 1306k| 0 | 0.0 |2252M|2816 | - |5645 | 12k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1683.91/1683.92 c 1655s| 2340k| 1313k| 0 | 0.0 |2262M|2816 | - |5645 | 11k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1689.82/1689.80 c 1661s| 2350k| 1320k| 0 | 0.0 |2272M|2816 | - |5645 | 12k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1696.22/1696.26 c 1667s| 2360k| 1327k| 0 | 0.0 |2282M|2816 | - |5645 | 13k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1703.12/1703.15 c 1674s| 2370k| 1333k| 0 | 0.0 |2291M|2816 | - |5645 | 15k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1711.32/1711.30 c 1682s| 2380k| 1339k| 0 | 0.0 |2301M|2816 | - |5645 | 16k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1721.02/1721.00 c 1691s| 2390k| 1343k| 0 | 0.0 |2310M|2816 | - |5645 | 18k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1734.92/1734.99 c 1705s| 2400k| 1345k| 0 | 0.0 |2318M|2816 | - |5645 | 21k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1741.92/1741.92 c 1712s| 2410k| 1352k| 0 | 0.0 |2324M|2816 | - |5645 | 13k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1747.62/1747.68 c 1718s| 2420k| 1360k| 0 | 0.0 |2334M|2816 | - |5645 | 11k| 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1753.52/1753.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.52/1753.55 c 1724s| 2430k| 1367k| 0 | 0.0 |2344M|2816 | - |5645 | 11k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1760.62/1760.66 c 1730s| 2440k| 1373k| 0 | 0.0 |2355M|2816 | - |5645 | 13k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1768.41/1768.45 c 1738s| 2450k| 1378k| 0 | 0.0 |2365M|2816 | - |5645 | 14k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1777.42/1777.43 c 1747s| 2460k| 1383k| 0 | 0.0 |2376M|2816 | - |5645 | 14k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1789.32/1789.30 c 1759s| 2470k| 1386k| 0 | 0.0 |2386M|2816 | - |5645 | 17k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1798.32/1798.31 c 1768s| 2480k| 1392k| 0 | 0.0 |2393M|2816 | - |5645 | 14k| 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1769.19
1800.02/1800.00 c Solving Nodes : 2483213
1800.02/1800.00 c Primal Bound : +2.00000000000000e+00 (30 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.08 s SATISFIABLE
1800.02/1800.08 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.02/1800.08 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.08 v -x188 x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.08 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147
1800.02/1800.08 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.02/1800.08 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.02/1800.08 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.02/1800.08 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 -x54
1800.02/1800.08 v 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.02/1800.08 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.02/1800.08 v -x1
1800.02/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.08 c Solving Time : 1769.19
1800.02/1800.08 c Original Problem :
1800.02/1800.08 c Problem name : HOME/instance-2693683-1277930107.wbo
1800.02/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.02/1800.08 c Presolved Problem :
1800.02/1800.08 c Problem name : t_HOME/instance-2693683-1277930107.wbo
1800.02/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.08 c Constraints : 5414 initial, 24837 maximal
1800.02/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.02/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c root node : - 2656 - - 5312 - - - -
1800.02/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.08 c indicator : 2707 0 6093125 0 1684389 32 1778650 0 0 0
1800.02/1800.08 c linear : 2707 0 7930906 0 2097953 546823 46100502 0 0 0
1800.02/1800.08 c logicor : 0+ 0 3588745 0 0 85687 2379710 0 0 0
1800.02/1800.08 c countsols : 0 0 0 0 2097974 0 0 0 0 0
1800.02/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.08 c indicator : 10.99 0.00 6.26 0.00 4.73
1800.02/1800.08 c linear : 445.57 0.00 443.58 0.00 1.99
1800.02/1800.08 c logicor : 274.35 0.00 274.35 0.00 0.00
1800.02/1800.08 c countsols : 0.31 0.00 0.00 0.00 0.31
1800.02/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.08 c vbounds : 1.90 2 0 0
1800.02/1800.08 c rootredcost : 1.71 0 0 0
1800.02/1800.08 c pseudoobj : 394.50 7931798 945 1770330
1800.02/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.08 c propagation : 34.44 633455 633425 3035431 20.0 110991 11.2 -
1800.02/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c pseudo solution : 0.03 93 93 393 28.3 302 10.1 -
1800.02/1800.08 c applied globally : - - - 1784970 18.0 - - -
1800.02/1800.08 c applied locally : - - - 0 0.0 - - -
1800.02/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.08 c redcost : 0.00 0 0 0 0 0
1800.02/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.08 c intobj : 0.00 0 0 0 0 0
1800.02/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.08 c gomory : 0.00 0 0 0 0 0
1800.02/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.08 c cmir : 0.00 0 0 0 0 0
1800.02/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.08 c clique : 0.00 0 0 0 0 0
1800.02/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.08 c mcf : 0.00 0 0 0 0 0
1800.02/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.08 c Pricers : Time Calls Vars
1800.02/1800.08 c problem variables: 0.00 0 0
1800.02/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.08 c inference : 33.52 2097947 0 0 0 0 4195894
1800.02/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.08 c random : 0.00 0 0 0 0 0 0
1800.02/1800.08 c Primal Heuristics : Time Calls Found
1800.02/1800.08 c LP solutions : 0.00 - 0
1800.02/1800.08 c pseudo solutions : 0.07 - 27
1800.02/1800.08 c oneopt : 0.74 0 0
1800.02/1800.08 c trivial : 0.08 2 2
1800.02/1800.08 c simplerounding : 0.00 0 0
1800.02/1800.08 c zirounding : 0.00 0 0
1800.02/1800.08 c rounding : 0.00 0 0
1800.02/1800.08 c shifting : 0.00 0 0
1800.02/1800.08 c intshifting : 0.00 0 0
1800.02/1800.08 c twoopt : 0.00 0 0
1800.02/1800.08 c fixandinfer : 0.00 0 0
1800.02/1800.08 c feaspump : 0.00 0 0
1800.02/1800.08 c coefdiving : 0.00 0 0
1800.02/1800.08 c pscostdiving : 0.00 0 0
1800.02/1800.08 c fracdiving : 0.00 0 0
1800.02/1800.08 c veclendiving : 0.00 0 0
1800.02/1800.08 c intdiving : 0.00 0 0
1800.02/1800.08 c actconsdiving : 0.00 0 0
1800.02/1800.08 c objpscostdiving : 0.00 0 0
1800.02/1800.08 c rootsoldiving : 0.00 0 0
1800.02/1800.08 c linesearchdiving : 0.00 0 0
1800.02/1800.08 c guideddiving : 0.00 0 0
1800.02/1800.08 c octane : 0.00 0 0
1800.02/1800.08 c rens : 0.00 0 0
1800.02/1800.08 c rins : 0.00 0 0
1800.02/1800.08 c localbranching : 0.00 0 0
1800.02/1800.08 c mutation : 0.00 0 0
1800.02/1800.08 c crossover : 0.00 0 0
1800.02/1800.08 c dins : 0.00 0 0
1800.02/1800.08 c undercover : 0.00 0 0
1800.02/1800.08 c nlp : 0.70 0 0
1800.02/1800.08 c trysol : 0.54 1 1
1800.02/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.08 c (at root node) : - 0 0 0.00 -
1800.02/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.08 c B&B Tree :
1800.02/1800.08 c number of runs : 1
1800.02/1800.08 c nodes : 2483213
1800.02/1800.08 c nodes (total) : 2483213
1800.02/1800.08 c nodes left : 1394668
1800.02/1800.08 c max depth : 2816
1800.02/1800.08 c max depth (total): 2816
1800.02/1800.08 c backtracks : 337640 (13.6%)
1800.02/1800.08 c delayed cutoffs : 286271
1800.02/1800.08 c repropagations : 1233435 (15799810 domain reductions, 248341 cutoffs)
1800.02/1800.08 c avg switch length: 36.47
1800.02/1800.08 c switching time : 483.68
1800.02/1800.08 c Solution :
1800.02/1800.08 c Solutions found : 30 (28 improvements)
1800.02/1800.08 c First Solution : +1.35640000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.02/1800.08 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1061009 nodes, 725.65 seconds, depth 246, found by <relaxation>)
1800.02/1800.08 c Dual Bound : +0.00000000000000e+00
1800.02/1800.08 c Gap : infinite
1800.02/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.08 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693683-1277930107/watcher-2693683-1277930107 -o /tmp/evaluation-result-2693683-1277930107/solver-2693683-1277930107 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693683-1277930107.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.00 2.00 2.00 4/178 14605 /proc/meminfo: memFree=31264632/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=8600 CPUtime=0 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 1651 0 0 0 0 0 0 0 25 0 1 0 134307027 8806400 1574 4089446400 4194304 7136930 140736299722208 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14605/statm: 2150 1574 275 719 0 1429 0 [startup+0.026804 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14605 /proc/meminfo: memFree=31264632/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=14436 CPUtime=0.02 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 3084 0 0 0 2 0 0 0 25 0 1 0 134307027 14782464 3007 4089446400 4194304 7136930 140736299722208 18446744073709551615 4361643 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14605/statm: 3609 3007 275 719 0 2888 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14436 [startup+0.100784 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14605 /proc/meminfo: memFree=31264632/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=33676 CPUtime=0.09 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 7966 0 0 0 9 0 0 0 25 0 1 0 134307027 34484224 7535 4089446400 4194304 7136930 140736299722208 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.30075 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14605 /proc/meminfo: memFree=31264632/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=36496 CPUtime=0.29 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 9238 0 0 0 29 0 0 0 25 0 1 0 134307027 37371904 8293 4089446400 4194304 7136930 140736299722208 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 9124 8293 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700691 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14605 /proc/meminfo: memFree=31264632/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=37636 CPUtime=0.69 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 9498 0 0 0 68 1 0 0 25 0 1 0 134307027 38539264 8553 4089446400 4194304 7136930 140736299722208 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 9409 8553 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50049 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14606 /proc/meminfo: memFree=31230028/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=42244 CPUtime=1.49 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 10658 0 0 0 145 4 0 0 25 0 1 0 134307027 43257856 9713 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 10561 9713 390 719 0 9840 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42244 [startup+3.10022 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14606 /proc/meminfo: memFree=31224700/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=49692 CPUtime=3.09 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 12451 0 0 0 300 9 0 0 25 0 1 0 134307027 50884608 11506 4089446400 4194304 7136930 140736299722208 18446744073709551615 4947730 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 12423 11506 391 719 0 11702 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49692 [startup+6.30068 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14606 /proc/meminfo: memFree=31209696/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=62156 CPUtime=6.29 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 15539 0 0 0 613 16 0 0 25 0 1 0 134307027 63647744 14594 4089446400 4194304 7136930 140736299722208 18446744073709551615 4223186 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 15539 14594 391 719 0 14818 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 62156 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14606 /proc/meminfo: memFree=31190556/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=81152 CPUtime=12.69 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 20238 0 0 0 1243 26 0 0 25 0 1 0 134307027 83099648 19293 4089446400 4194304 7136930 140736299722208 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 20288 19293 391 719 0 19567 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81152 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14608 /proc/meminfo: memFree=31152408/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=120048 CPUtime=25.5 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 29725 0 0 0 2502 48 0 0 25 0 1 0 134307027 122929152 28780 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 30012 28780 391 719 0 29291 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 120048 [startup+51.1001 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14608 /proc/meminfo: memFree=31091168/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=181060 CPUtime=51.09 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 44703 0 0 0 5015 94 0 0 25 0 1 0 134307027 185405440 43758 4089446400 4194304 7136930 140736299722208 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 45265 43758 391 719 0 44544 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 181060 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14610 /proc/meminfo: memFree=31000836/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=270800 CPUtime=102.3 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 67192 0 0 0 10064 166 0 0 25 0 1 0 134307027 277299200 66247 4089446400 4194304 7136930 140736299722208 18446744073709551615 6166224 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 67700 66247 391 719 0 66979 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 270800 [startup+162.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 14610 /proc/meminfo: memFree=30914620/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=359808 CPUtime=162.29 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 89013 0 0 0 15977 252 0 0 25 0 1 0 134307027 368443392 88068 4089446400 4194304 7136930 140736299722208 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 89952 88068 391 719 0 89231 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 359808 [startup+222.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14612 /proc/meminfo: memFree=30797764/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=479824 CPUtime=222.29 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 117962 0 0 0 21871 358 0 0 25 0 1 0 134307027 491339776 117017 4089446400 4194304 7136930 140736299722208 18446744073709551615 5922241 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 119956 117017 391 719 0 119235 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 479824 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14614 /proc/meminfo: memFree=30678548/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=597760 CPUtime=282.29 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 147684 0 0 0 27753 476 0 0 25 0 1 0 134307027 612106240 146739 4089446400 4194304 7136930 140736299722208 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 149440 146739 391 719 0 148719 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 597760 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14616 /proc/meminfo: memFree=30560436/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=713928 CPUtime=342.29 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 177097 0 0 0 33635 594 0 0 25 0 1 0 134307027 731062272 176152 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14605/statm: 178482 176152 391 719 0 177761 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 713928 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14646 /proc/meminfo: memFree=30701180/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=822344 CPUtime=402.29 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 202324 0 0 0 39536 693 0 0 25 0 1 0 134307027 842080256 201379 4089446400 4194304 7136930 140736299722208 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 205586 201379 391 719 0 204865 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 822344 [startup+462.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 14646 /proc/meminfo: memFree=30562508/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=892632 CPUtime=462.3 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 219853 0 0 0 45450 780 0 0 25 0 1 0 134307027 914055168 218908 4089446400 4194304 7136930 140736299722208 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 223158 218908 391 719 0 222437 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 892632 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14648 /proc/meminfo: memFree=30434496/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=956524 CPUtime=522.3 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 235900 0 0 0 51371 859 0 0 25 0 1 0 134307027 979480576 234955 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 239131 234955 391 719 0 238410 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 956524 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14650 /proc/meminfo: memFree=30317140/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=1013924 CPUtime=582.3 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 250238 0 0 0 57296 934 0 0 25 0 1 0 134307027 1038258176 249293 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 253481 249293 391 719 0 252760 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1013924 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14652 /proc/meminfo: memFree=30234144/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=1033528 CPUtime=642.31 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 255115 0 0 0 63228 1003 0 0 25 0 1 0 134307027 1058332672 254170 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 258382 254170 391 719 0 257661 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1033528 [startup+702.3 s] ################ # More data... # ################ /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 371060 0 0 0 98530 1701 0 0 25 0 1 0 134307027 1530441728 370115 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 373643 370115 391 719 0 372922 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1494572 [startup+1062.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 14662 /proc/meminfo: memFree=29310896/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=1576716 CPUtime=1062.31 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 391707 0 0 0 104423 1808 0 0 25 0 1 0 134307027 1614557184 390762 4089446400 4194304 7136930 140736299722208 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 394179 390762 391 719 0 393458 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1576716 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14664 /proc/meminfo: memFree=29211284/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=1660948 CPUtime=1122.31 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 413033 0 0 0 110308 1923 0 0 25 0 1 0 134307027 1700810752 412088 4089446400 4194304 7136930 140736299722208 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 415237 412088 391 719 0 414516 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1660948 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14666 /proc/meminfo: memFree=29114644/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=1742148 CPUtime=1182.31 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 433500 0 0 0 116209 2022 0 0 25 0 1 0 134307027 1783959552 432555 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 435537 432555 391 719 0 434816 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1742148 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14668 /proc/meminfo: memFree=29006100/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=1806420 CPUtime=1242.31 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 449687 0 0 0 122104 2127 0 0 25 0 1 0 134307027 1849774080 448742 4089446400 4194304 7136930 140736299722208 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 451605 448742 391 719 0 450884 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1806420 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14670 /proc/meminfo: memFree=28949880/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=1908512 CPUtime=1302.31 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 471128 0 0 0 127987 2244 0 0 25 0 1 0 134307027 1954316288 470183 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 477128 470183 391 719 0 476407 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1908512 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 14670 /proc/meminfo: memFree=28861676/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=1986880 CPUtime=1362.32 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 491061 0 0 0 133883 2349 0 0 25 0 1 0 134307027 2034565120 490116 4089446400 4194304 7136930 140736299722208 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 496720 490116 391 719 0 495999 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1986880 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14672 /proc/meminfo: memFree=28759188/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=2085192 CPUtime=1422.31 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 515705 0 0 0 139766 2465 0 0 25 0 1 0 134307027 2135236608 514760 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 521298 514760 391 719 0 520577 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 2085192 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14674 /proc/meminfo: memFree=28713520/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=2134412 CPUtime=1482.31 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 528088 0 0 0 145679 2552 0 0 25 0 1 0 134307027 2185637888 527143 4089446400 4194304 7136930 140736299722208 18446744073709551615 4679107 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 533603 527143 391 719 0 532882 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 2134412 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14676 /proc/meminfo: memFree=28628900/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=2213528 CPUtime=1542.31 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 548029 0 0 0 151575 2656 0 0 25 0 1 0 134307027 2266652672 547084 4089446400 4194304 7136930 140736299722208 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 553382 547084 391 719 0 552661 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 2213528 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14687 /proc/meminfo: memFree=28543744/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=2305380 CPUtime=1602.32 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 571108 0 0 0 157467 2765 0 0 25 0 1 0 134307027 2360709120 570163 4089446400 4194304 7136930 140736299722208 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 576345 570163 391 719 0 575624 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2305380 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14687 /proc/meminfo: memFree=28483940/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=2364344 CPUtime=1662.31 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 585973 0 0 0 163383 2848 0 0 25 0 1 0 134307027 2421088256 585028 4089446400 4194304 7136930 140736299722208 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 591086 585028 391 719 0 590365 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 2364344 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14689 /proc/meminfo: memFree=28412832/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=2438244 CPUtime=1722.32 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 604507 0 0 0 169277 2955 0 0 25 0 1 0 134307027 2496761856 603562 4089446400 4194304 7136930 140736299722208 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 609561 603562 391 719 0 608840 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2438244 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14691 /proc/meminfo: memFree=28342848/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=2505840 CPUtime=1782.32 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 621629 0 0 0 175180 3052 0 0 25 0 1 0 134307027 2565980160 620684 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 626460 620684 391 719 0 625739 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2505840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14691 /proc/meminfo: memFree=28325852/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=2521700 CPUtime=1800.02 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 625612 0 0 0 176922 3080 0 0 25 0 1 0 134307027 2582220800 624667 4089446400 4194304 7136930 140736299722208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14605/statm: 630425 624667 391 719 0 629704 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2521700 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14605 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 14692 /proc/meminfo: memFree=28325472/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=2521700 CPUtime=1801.41 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 625631 0 0 0 177061 3080 0 0 25 0 1 0 134307027 2582220800 624686 4089446400 4194304 7136930 140736299722208 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14605/statm: 630425 624686 397 719 0 629704 0 Current children cumulated CPU time (s) 1801.41 Current children cumulated vsize (KiB) 2521700 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 14692 /proc/meminfo: memFree=28325472/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=2521700 CPUtime=1801.82 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 625631 0 0 0 177102 3080 0 0 25 0 1 0 134307027 2582220800 624686 4089446400 4194304 7136930 140736299722208 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14605/statm: 630425 624686 397 719 0 629704 0 Current children cumulated CPU time (s) 1801.82 Current children cumulated vsize (KiB) 2521700 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 14692 /proc/meminfo: memFree=28325472/32950928 swapFree=67111528/67111528 [pid=14605] ppid=14603 vsize=2521700 CPUtime=1802.02 /proc/14605/stat : 14605 (pbscip.linux.x8) R 14603 14605 14536 0 -1 4202496 625631 0 0 0 177122 3080 0 0 25 0 1 0 134307027 2582220800 624686 4089446400 4194304 7136930 140736299722208 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14605/statm: 630425 624686 397 719 0 629704 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2521700 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.12 CPU user time (s): 1771.23 CPU system time (s): 30.8883 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2521700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.23 system time used= 30.8883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 625631 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= 1710 runsolver used 2.58361 second user time and 5.75312 second system time The end
Begin job on node126 at 2010-06-30 22:35:07 IDJOB=2693683 IDBENCH=79303 IDSOLVER=1206 FILE ID=node126/2693683-1277930107 PBS_JOBID= 11197437 Free space on /tmp= 74188 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.1900545610--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-2693683-1277930107/watcher-2693683-1277930107 -o /tmp/evaluation-result-2693683-1277930107/solver-2693683-1277930107 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693683-1277930107.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aacdee42f12f02195344334122667810 RANDOM SEED=1350378716 node126.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.835 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.67 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.835 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.83 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.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 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.83 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.835 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.72 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.835 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.82 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.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 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: 32950928 kB MemFree: 31265160 kB Buffers: 210072 kB Cached: 928268 kB SwapCached: 0 kB Active: 871696 kB Inactive: 671084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31265160 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3128 kB Writeback: 0 kB AnonPages: 404524 kB Mapped: 17052 kB Slab: 78836 kB PageTables: 5580 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 567600 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= 74184 MiB End job on node126 at 2010-06-30 23:05:09