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.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo |
| MD5SUM | eba88192ede2bf17faa7af9ad7b0465e |
| 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 | 4 |
| Best CPU time to get the best result obtained on this benchmark | 181.673 |
| 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 | 1816 |
| 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 | 92461 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 92460 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 815 |
| 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-2694125-1277906647.wbo>
0.01/0.03 c original problem has 3863 variables (2047 bin, 0 int, 0 impl, 1816 cont) and 4524 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/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.01/0.05 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.01/0.09 c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.10 c (round 3) 53 del vars, 157 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.10 c (round 4) 125 del vars, 177 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.12 c (round 5) 145 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.13 c (round 6) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.17 c (0.1s) probing: 101/1974 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (7 rounds):
0.09/0.17 c 146 deleted vars, 178 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.17 c 1958 implications, 6 cliques
0.09/0.17 c presolved problem has 3717 variables (1974 bin, 0 int, 0 impl, 1743 cont) and 4346 constraints
0.09/0.17 c 1743 constraints of type <indicator>
0.09/0.17 c 6 constraints of type <setppc>
0.09/0.17 c 1743 constraints of type <linear>
0.09/0.17 c 854 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3717 |4346 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.93 o 828
1.89/1.93 c * 1.7s| 6578 | 6113 | 0 | 0.0 | 16M|1884 | - |3717 |5008 | 0 | 0 | 0 | 958 | 0 | 0.000000e+00 | 8.280000e+02 | Inf
2.09/2.14 o 527
2.09/2.14 c * 1.9s| 7302 | 6185 | 0 | 0.0 | 17M|1884 | - |3717 |4975 | 0 | 0 | 0 | 970 | 0 | 0.000000e+00 | 5.270000e+02 | Inf
2.09/2.14 o 504
2.09/2.14 c * 1.9s| 7303 | 6183 | 0 | 0.0 | 17M|1884 | - |3717 |4975 | 0 | 0 | 0 | 970 | 0 | 0.000000e+00 | 5.040000e+02 | Inf
2.89/2.90 c 2.6s| 10000 | 8555 | 0 | 0.0 | 19M|1884 | - |3717 |5178 | 0 | 0 | 0 |1845 | 0 | 0.000000e+00 | 5.040000e+02 | Inf
6.69/6.70 c 6.1s| 20000 | 15680 | 0 | 0.0 | 29M|1884 | - |3717 |6767 | 0 | 0 | 0 |8268 | 0 | 0.000000e+00 | 5.040000e+02 | Inf
9.09/9.14 o 490
9.09/9.14 c * 8.4s| 25016 | 18736 | 0 | 0.0 | 33M|1884 | - |3717 |7530 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 4.900000e+02 | Inf
9.19/9.28 o 488
9.19/9.28 c * 8.6s| 25400 | 19102 | 0 | 0.0 | 33M|1884 | - |3717 |7365 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
9.39/9.44 o 459
9.39/9.44 c * 8.7s| 25814 | 19356 | 0 | 0.0 | 33M|1884 | - |3717 |7173 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 4.590000e+02 | Inf
9.80/9.80 o 447
9.80/9.80 c * 9.0s| 26756 | 20187 | 0 | 0.0 | 34M|1884 | - |3717 |6842 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 4.470000e+02 | Inf
10.09/10.10 o 429
10.09/10.10 c * 9.3s| 27580 | 20865 | 0 | 0.0 | 34M|1884 | - |3717 |6568 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 4.290000e+02 | Inf
10.29/10.36 o 380
10.29/10.36 c * 9.6s| 28277 | 21101 | 0 | 0.0 | 34M|1884 | - |3717 |6479 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 3.800000e+02 | Inf
10.90/10.99 o 350
10.90/10.99 c *10.2s| 29799 | 22293 | 0 | 0.0 | 35M|1884 | - |3717 |6396 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.500000e+02 | Inf
10.90/10.99 o 265
10.90/10.99 c *10.2s| 29800 | 21263 | 0 | 0.0 | 34M|1884 | - |3717 |6396 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.650000e+02 | Inf
10.99/11.08 c 10.2s| 30000 | 21448 | 0 | 0.0 | 34M|1884 | - |3717 |6392 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.650000e+02 | Inf
11.09/11.13 o 231
11.09/11.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.09/11.13 c *10.3s| 30103 | 20943 | 0 | 0.0 | 35M|1884 | - |3717 |6400 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.310000e+02 | Inf
11.19/11.21 o 224
11.19/11.21 c *10.4s| 30299 | 21004 | 0 | 0.0 | 35M|1884 | - |3717 |6414 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.240000e+02 | Inf
11.19/11.21 o 204
11.19/11.21 c *10.4s| 30300 | 20723 | 0 | 0.0 | 35M|1884 | - |3717 |6414 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.040000e+02 | Inf
11.59/11.67 o 201
11.59/11.67 c *10.8s| 31303 | 21593 | 0 | 0.0 | 36M|1884 | - |3717 |6467 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
12.29/12.34 o 181
12.29/12.34 c *11.4s| 32764 | 22518 | 0 | 0.0 | 37M|1884 | - |3717 |6705 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
13.30/13.35 o 171
13.30/13.35 c *12.3s| 35073 | 24392 | 0 | 0.0 | 39M|1884 | - |3717 |6126 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
13.40/13.40 o 155
13.40/13.40 c *12.4s| 35216 | 24151 | 0 | 0.0 | 38M|1884 | - |3717 |6106 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
13.40/13.40 o 147
13.40/13.40 c *12.4s| 35217 | 23992 | 0 | 0.0 | 38M|1884 | - |3717 |6106 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
13.40/13.43 o 138
13.40/13.43 c *12.4s| 35286 | 23890 | 0 | 0.0 | 38M|1884 | - |3717 |6091 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
13.40/13.43 o 103
13.40/13.43 c *12.4s| 35287 | 23270 | 0 | 0.0 | 37M|1884 | - |3717 |6091 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
13.79/13.80 o 89
13.79/13.80 c *12.8s| 36126 | 23290 | 0 | 0.0 | 37M|1884 | - |3717 |6004 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
13.79/13.80 o 72
13.79/13.80 c *12.8s| 36127 | 21365 | 0 | 0.0 | 36M|1884 | - |3717 |6004 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
15.59/15.65 c 14.5s| 40000 | 24710 | 0 | 0.0 | 43M|1884 | - |3717 |5727 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
20.10/20.17 c 18.6s| 50000 | 33364 | 0 | 0.0 | 55M|1884 | - |3717 |6386 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
23.99/24.04 c 22.1s| 60000 | 41422 | 0 | 0.0 | 63M|1884 | - |3717 |6266 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
28.29/28.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.29/28.36 c 26.1s| 70000 | 48451 | 0 | 0.0 | 72M|1884 | - |3717 |7384 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
33.29/33.39 c 30.8s| 80000 | 54710 | 0 | 0.0 | 81M|1884 | - |3717 |8055 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
38.90/38.99 c 36.0s| 90000 | 60336 | 0 | 0.0 | 91M|1884 | - |3717 |8773 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
45.29/45.34 c 42.0s|100000 | 64990 | 0 | 0.0 | 101M|1884 | - |3717 |9338 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
52.39/52.45 c 48.7s|110000 | 68801 | 0 | 0.0 | 110M|1884 | - |3717 | 10k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
60.79/60.81 c 56.6s|120000 | 71239 | 0 | 0.0 | 119M|1884 | - |3717 | 13k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
66.09/66.17 c 61.6s|130000 | 79331 | 0 | 0.0 | 127M|1884 | - |3717 |5063 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
70.69/70.79 c 65.9s|140000 | 88230 | 0 | 0.0 | 139M|1884 | - |3717 |5127 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
71.40/71.41 o 67
71.40/71.41 c *66.5s|141358 | 88585 | 0 | 0.0 | 136M|1884 | - |3717 |5269 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
71.40/71.41 o 42
71.40/71.41 c *66.5s|141359 | 86105 | 0 | 0.0 | 128M|1884 | - |3717 |5269 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
75.29/75.39 c 70.1s|150000 | 93494 | 0 | 0.0 | 140M|1884 | - |3717 |4665 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
79.80/79.84 c 74.3s|160000 |101775 | 0 | 0.0 | 153M|1884 | - |3717 |5129 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
84.90/84.91 c 78.9s|170000 |109409 | 0 | 0.0 | 168M|1884 | - |3717 |5701 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
86.29/86.38 o 40
86.29/86.38 c *80.3s|172472 |110883 | 0 | 0.0 | 171M|1884 | - |3717 |6057 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
92.40/92.41 c 86.0s|180000 |114415 | 0 | 0.0 | 186M|1884 | - |3717 |6228 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
96.29/96.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.29/96.38 c 89.6s|190000 |123019 | 0 | 0.0 | 197M|1884 | - |3717 |5147 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
100.69/100.71 c 93.6s|200000 |131233 | 0 | 0.0 | 210M|1884 | - |3717 |5193 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
105.50/105.58 c 98.1s|210000 |139220 | 0 | 0.0 | 222M|1884 | - |3717 |5118 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
108.20/108.20 o 31
108.20/108.20 c * 100s|215634 |137690 | 0 | 0.0 | 200M|1884 | - |3717 |5621 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
108.20/108.20 o 29
108.20/108.20 c * 100s|215635 |136910 | 0 | 0.0 | 195M|1884 | - |3717 |5621 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
110.60/110.66 c 103s|220000 |139922 | 0 | 0.0 | 202M|1884 | - |3717 |5996 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
116.29/116.38 c 108s|230000 |146361 | 0 | 0.0 | 213M|1884 | - |3717 |5544 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
120.30/120.37 c 112s|240000 |154586 | 0 | 0.0 | 223M|1884 | - |3717 |6608 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
125.10/125.13 c 116s|250000 |161867 | 0 | 0.0 | 233M|1884 | - |3717 |6315 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
129.09/129.13 c 120s|260000 |169881 | 0 | 0.0 | 242M|1884 | - |3717 |7065 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
133.80/133.85 c 124s|270000 |176984 | 0 | 0.0 | 252M|1884 | - |3717 |6796 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
137.69/137.72 c 128s|280000 |185086 | 0 | 0.0 | 261M|1884 | - |3717 |7935 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
142.39/142.42 c 132s|290000 |192365 | 0 | 0.0 | 271M|1884 | - |3717 |7532 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
143.69/143.78 o 26
143.69/143.78 c * 133s|293210 |194242 | 0 | 0.0 | 270M|1884 | - |3717 |7560 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
146.79/146.89 c 136s|300000 |199228 | 0 | 0.0 | 277M|1884 | - |3717 |8331 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
151.70/151.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.70/151.78 c 141s|310000 |206350 | 0 | 0.0 | 285M|1884 | - |3717 |7457 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
155.79/155.80 c 144s|320000 |214412 | 0 | 0.0 | 294M|1884 | - |3717 |8101 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
161.10/161.10 c 149s|330000 |221250 | 0 | 0.0 | 303M|1884 | - |3717 |9851 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
167.10/167.14 c 155s|340000 |227229 | 0 | 0.0 | 311M|1884 | - |3717 |9260 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
172.79/172.89 c 160s|350000 |233273 | 0 | 0.0 | 319M|1884 | - |3717 |9758 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
177.40/177.41 c 164s|360000 |240805 | 0 | 0.0 | 328M|1884 | - |3717 |9797 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
183.30/183.38 c 170s|370000 |246779 | 0 | 0.0 | 336M|1884 | - |3717 | 10k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
188.19/188.25 c 174s|380000 |253619 | 0 | 0.0 | 344M|1884 | - |3717 |9571 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
192.90/192.98 c 179s|390000 |260792 | 0 | 0.0 | 351M|1884 | - |3717 |5213 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
196.90/196.94 c 183s|400000 |268754 | 0 | 0.0 | 360M|1884 | - |3717 |5270 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
201.70/201.71 c 187s|410000 |275249 | 0 | 0.0 | 368M|1884 | - |3717 |6754 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
207.91/207.92 c 193s|420000 |280244 | 0 | 0.0 | 376M|1884 | - |3717 |8510 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
215.60/215.63 c 200s|430000 |283835 | 0 | 0.0 | 385M|1884 | - |3717 |9810 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
224.50/224.54 c 209s|440000 |286469 | 0 | 0.0 | 393M|1884 | - |3717 | 11k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
234.10/234.19 c 218s|450000 |288702 | 0 | 0.0 | 401M|1884 | - |3717 | 12k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
245.09/245.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.09/245.15 c 228s|460000 |289982 | 0 | 0.0 | 409M|1884 | - |3717 | 13k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
256.00/256.07 c 239s|470000 |291513 | 0 | 0.0 | 416M|1884 | - |3717 | 14k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
268.10/268.19 c 250s|480000 |292184 | 0 | 0.0 | 423M|1884 | - |3717 | 15k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
280.60/280.67 c 262s|490000 |292545 | 0 | 0.0 | 429M|1884 | - |3717 | 15k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
295.40/295.49 c 277s|500000 |291279 | 0 | 0.0 | 431M|1884 | - |3717 | 15k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
310.60/310.65 c 291s|510000 |289874 | 0 | 0.0 | 433M|1884 | - |3717 | 19k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
322.10/322.10 c 302s|520000 |292673 | 0 | 0.0 | 433M|1884 | - |3717 |4881 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
326.40/326.43 c 306s|530000 |300807 | 0 | 0.0 | 443M|1884 | - |3717 |5257 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
330.49/330.57 c 310s|540000 |309033 | 0 | 0.0 | 452M|1884 | - |3717 |5495 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
334.60/334.60 c 314s|550000 |317276 | 0 | 0.0 | 461M|1884 | - |3717 |5621 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
338.71/338.76 c 318s|560000 |325449 | 0 | 0.0 | 469M|1884 | - |3717 |5602 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
342.90/342.92 c 322s|570000 |333554 | 0 | 0.0 | 478M|1884 | - |3717 |5946 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
347.20/347.24 c 326s|580000 |341639 | 0 | 0.0 | 487M|1884 | - |3717 |5876 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
351.50/351.57 c 330s|590000 |349694 | 0 | 0.0 | 496M|1884 | - |3717 |6006 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
356.00/356.03 c 334s|600000 |357617 | 0 | 0.0 | 506M|1884 | - |3717 |6106 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
360.60/360.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.60/360.62 c 338s|610000 |365475 | 0 | 0.0 | 515M|1884 | - |3717 |6385 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
365.20/365.25 c 342s|620000 |373335 | 0 | 0.0 | 525M|1884 | - |3717 |6560 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
370.01/370.01 c 347s|630000 |381059 | 0 | 0.0 | 534M|1884 | - |3717 |6655 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
374.71/374.74 c 351s|640000 |388800 | 0 | 0.0 | 544M|1884 | - |3717 |6744 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
379.60/379.60 c 356s|650000 |396442 | 0 | 0.0 | 553M|1884 | - |3717 |6928 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
384.60/384.61 c 360s|660000 |403960 | 0 | 0.0 | 563M|1884 | - |3717 |7074 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
389.60/389.62 c 365s|670000 |411482 | 0 | 0.0 | 573M|1884 | - |3717 |7041 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
394.91/394.98 c 370s|680000 |418650 | 0 | 0.0 | 583M|1884 | - |3717 |7475 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
400.41/400.44 c 375s|690000 |425695 | 0 | 0.0 | 594M|1884 | - |3717 |7534 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
406.20/406.21 c 380s|700000 |432573 | 0 | 0.0 | 606M|1884 | - |3717 |7894 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
412.10/412.16 c 386s|710000 |439372 | 0 | 0.0 | 617M|1884 | - |3717 |8191 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
418.40/418.44 c 392s|720000 |445936 | 0 | 0.0 | 630M|1884 | - |3717 |8421 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
425.01/425.01 c 398s|730000 |452332 | 0 | 0.0 | 643M|1884 | - |3717 |8728 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
431.50/431.56 c 404s|740000 |458714 | 0 | 0.0 | 656M|1884 | - |3717 |8986 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
438.01/438.09 c 410s|750000 |465047 | 0 | 0.0 | 668M|1884 | - |3717 |9334 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
444.80/444.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.80/444.84 c 417s|760000 |471279 | 0 | 0.0 | 682M|1884 | - |3717 |9889 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
452.51/452.50 c 424s|770000 |476876 | 0 | 0.0 | 696M|1884 | - |3717 |9905 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
460.60/460.60 c 431s|780000 |482090 | 0 | 0.0 | 709M|1884 | - |3717 | 10k| 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
469.20/469.29 c 440s|790000 |486963 | 0 | 0.0 | 724M|1884 | - |3717 | 11k| 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
477.21/477.24 o 25
477.21/477.24 c * 447s|798820 |490862 | 0 | 0.0 | 735M|1884 | - |3717 | 11k| 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
477.21/477.25 o 23
477.21/477.25 c * 447s|798821 |490031 | 0 | 0.0 | 729M|1884 | - |3717 | 11k| 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
478.51/478.57 c 449s|800000 |490501 | 0 | 0.0 | 731M|1884 | - |3717 | 11k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
489.61/489.69 c 459s|810000 |493851 | 0 | 0.0 | 747M|1884 | - |3717 |9563 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
499.31/499.37 o 20
499.31/499.37 c * 468s|818108 |481430 | 0 | 0.0 | 703M|1884 | - |3717 | 11k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
502.50/502.56 c 471s|820000 |481201 | 0 | 0.0 | 707M|1884 | - |3717 | 11k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
511.41/511.46 c 480s|830000 |484549 | 0 | 0.0 | 714M|1884 | - |3717 |7194 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
515.81/515.89 c 484s|840000 |492426 | 0 | 0.0 | 723M|1884 | - |3717 |7806 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
520.50/520.54 c 488s|850000 |500101 | 0 | 0.0 | 731M|1884 | - |3717 |8285 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
525.41/525.44 c 493s|860000 |507482 | 0 | 0.0 | 740M|1884 | - |3717 |8838 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
530.81/530.84 c 498s|870000 |514442 | 0 | 0.0 | 749M|1884 | - |3717 |9414 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
536.41/536.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.41/536.47 c 503s|880000 |521241 | 0 | 0.0 | 759M|1884 | - |3717 |9504 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
542.50/542.51 c 509s|890000 |527620 | 0 | 0.0 | 769M|1884 | - |3717 | 10k| 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
549.51/549.52 c 515s|900000 |533301 | 0 | 0.0 | 779M|1884 | - |3717 | 10k| 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
552.40/552.49 o 19
552.40/552.49 c * 518s|904049 |534696 | 0 | 0.0 | 778M|1884 | - |3717 | 10k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
557.10/557.16 c 522s|910000 |537861 | 0 | 0.0 | 785M|1884 | - |3717 | 10k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
565.10/565.11 c 530s|920000 |543087 | 0 | 0.0 | 796M|1884 | - |3717 | 10k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
572.90/572.94 c 537s|930000 |548316 | 0 | 0.0 | 806M|1884 | - |3717 | 10k| 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
580.60/580.62 c 545s|940000 |553715 | 0 | 0.0 | 816M|1884 | - |3717 | 10k| 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
588.01/588.05 c 552s|950000 |559401 | 0 | 0.0 | 827M|1884 | - |3717 | 11k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
595.11/595.15 c 558s|960000 |565358 | 0 | 0.0 | 836M|1884 | - |3717 | 11k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
602.11/602.16 c 565s|970000 |571492 | 0 | 0.0 | 846M|1884 | - |3717 | 12k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
608.91/608.97 c 571s|980000 |577757 | 0 | 0.0 | 856M|1884 | - |3717 | 13k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
616.30/616.32 c 578s|990000 |583725 | 0 | 0.0 | 867M|1884 | - |3717 | 14k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
623.91/623.99 c 585s| 1000k|589449 | 0 | 0.0 | 877M|1884 | - |3717 | 15k| 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
632.60/632.67 c 594s| 1010k|594562 | 0 | 0.0 | 889M|1884 | - |3717 | 16k| 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
642.91/642.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.91/642.93 c 604s| 1020k|598908 | 0 | 0.0 | 900M|1884 | - |3717 | 18k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
655.61/655.67 c 616s| 1030k|601732 | 0 | 0.0 | 911M|1884 | - |3717 | 22k| 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
665.41/665.45 c 625s| 1040k|606982 | 0 | 0.0 | 918M|1884 | - |3717 | 11k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
670.11/670.14 c 629s| 1050k|614953 | 0 | 0.0 | 928M|1884 | - |3717 | 12k| 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
675.01/675.05 c 634s| 1060k|622704 | 0 | 0.0 | 937M|1884 | - |3717 | 13k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
680.21/680.22 c 639s| 1070k|630289 | 0 | 0.0 | 947M|1884 | - |3717 | 14k| 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
685.81/685.80 c 644s| 1080k|637516 | 0 | 0.0 | 956M|1884 | - |3717 | 14k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
691.71/691.72 c 650s| 1090k|644441 | 0 | 0.0 | 966M|1884 | - |3717 | 15k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
698.21/698.29 c 656s| 1100k|650888 | 0 | 0.0 | 976M|1884 | - |3717 | 16k| 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
705.81/705.88 c 663s| 1110k|656704 | 0 | 0.0 | 986M|1884 | - |3717 | 17k| 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
713.82/713.89 c 671s| 1120k|662290 | 0 | 0.0 | 995M|1884 | - |3717 | 18k| 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
723.21/723.20 c 680s| 1130k|667083 | 0 | 0.0 |1005M|1884 | - |3717 | 18k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
734.31/734.36 c 690s| 1140k|670653 | 0 | 0.0 |1014M|1884 | - |3717 | 18k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
734.91/734.93 o 15
734.91/734.93 c * 691s| 1140k|666141 | 0 | 0.0 | 988M|1884 | - |3717 | 18k| 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
734.91/734.95 o 13
734.91/734.95 c * 691s| 1140k|659230 | 0 | 0.0 | 963M|1884 | - |3717 | 18k| 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
741.81/741.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.81/741.83 c 697s| 1150k|665532 | 0 | 0.0 | 971M|1884 | - |3717 | 14k| 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
747.41/747.47 c 703s| 1160k|672862 | 0 | 0.0 | 980M|1884 | - |3717 | 14k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
752.91/752.96 c 708s| 1170k|680186 | 0 | 0.0 | 988M|1884 | - |3717 | 15k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
758.81/758.85 c 713s| 1180k|687203 | 0 | 0.0 | 997M|1884 | - |3717 | 15k| 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
765.02/765.09 c 719s| 1190k|693956 | 0 | 0.0 |1007M|1884 | - |3717 | 16k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
771.81/771.89 c 726s| 1200k|700345 | 0 | 0.0 |1016M|1884 | - |3717 | 17k| 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
779.51/779.58 c 733s| 1210k|706133 | 0 | 0.0 |1026M|1884 | - |3717 | 19k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
788.42/788.41 c 741s| 1220k|711308 | 0 | 0.0 |1036M|1884 | - |3717 | 21k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
798.91/798.99 c 752s| 1230k|715612 | 0 | 0.0 |1046M|1884 | - |3717 | 22k| 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
813.02/813.03 c 765s| 1240k|717347 | 0 | 0.0 |1051M|1884 | - |3717 | 20k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
818.42/818.44 c 770s| 1250k|725373 | 0 | 0.0 |1063M|1884 | - |3717 | 15k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
823.72/823.78 c 775s| 1260k|733150 | 0 | 0.0 |1076M|1884 | - |3717 | 15k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
829.22/829.25 c 780s| 1270k|740550 | 0 | 0.0 |1085M|1884 | - |3717 | 16k| 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
835.11/835.18 c 786s| 1280k|747580 | 0 | 0.0 |1095M|1884 | - |3717 | 17k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
841.82/841.85 c 792s| 1290k|754069 | 0 | 0.0 |1105M|1884 | - |3717 | 18k| 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
849.12/849.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.12/849.16 c 799s| 1300k|760116 | 0 | 0.0 |1115M|1884 | - |3717 | 19k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
857.31/857.36 c 807s| 1310k|765589 | 0 | 0.0 |1125M|1884 | - |3717 | 20k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
866.82/866.82 c 816s| 1320k|770349 | 0 | 0.0 |1135M|1884 | - |3717 | 22k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
877.42/877.48 c 826s| 1330k|774401 | 0 | 0.0 |1143M|1884 | - |3717 | 21k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
886.31/886.32 c 835s| 1340k|779209 | 0 | 0.0 |1149M|1884 | - |3717 | 14k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
892.22/892.29 c 840s| 1350k|785518 | 0 | 0.0 |1157M|1884 | - |3717 | 13k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
897.72/897.75 c 846s| 1360k|792252 | 0 | 0.0 |1166M|1884 | - |3717 | 14k| 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
903.42/903.48 c 851s| 1370k|798832 | 0 | 0.0 |1175M|1884 | - |3717 | 14k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
904.81/904.80 o 11
904.81/904.80 c * 852s| 1372k|778803 | 0 | 0.0 |1094M|1884 | - |3717 | 14k| 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
910.11/910.10 c 857s| 1380k|783495 | 0 | 0.0 |1102M|1884 | - |3717 | 15k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
918.32/918.34 c 865s| 1390k|788534 | 0 | 0.0 |1111M|1884 | - |3717 | 16k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
927.92/927.99 c 874s| 1400k|792381 | 0 | 0.0 |1120M|1884 | - |3717 | 17k| 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
940.32/940.32 c 886s| 1410k|794005 | 0 | 0.0 |1128M|1884 | - |3717 | 18k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
948.62/948.64 c 894s| 1420k|798748 | 0 | 0.0 |1133M|1884 | - |3717 | 14k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
954.62/954.70 c 900s| 1430k|805589 | 0 | 0.0 |1142M|1884 | - |3717 | 14k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
961.02/961.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.02/961.02 c 905s| 1440k|812116 | 0 | 0.0 |1151M|1884 | - |3717 | 15k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
967.52/967.56 c 912s| 1450k|818419 | 0 | 0.0 |1159M|1884 | - |3717 | 15k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
974.52/974.57 c 918s| 1460k|824278 | 0 | 0.0 |1168M|1884 | - |3717 | 16k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
982.52/982.52 c 926s| 1470k|829345 | 0 | 0.0 |1176M|1884 | - |3717 | 16k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
990.82/990.81 c 934s| 1480k|834183 | 0 | 0.0 |1185M|1884 | - |3717 | 17k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1000.12/1000.15 c 943s| 1490k|838216 | 0 | 0.0 |1194M|1884 | - |3717 | 17k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1010.62/1010.62 c 953s| 1500k|841330 | 0 | 0.0 |1202M|1884 | - |3717 | 18k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1023.72/1023.72 c 965s| 1510k|842563 | 0 | 0.0 |1209M|1884 | - |3717 | 19k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1039.32/1039.30 c 980s| 1520k|841865 | 0 | 0.0 |1210M|1884 | - |3717 | 15k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1045.82/1045.87 c 986s| 1530k|848752 | 0 | 0.0 |1219M|1884 | - |3717 | 15k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1053.12/1053.10 c 993s| 1540k|854979 | 0 | 0.0 |1228M|1884 | - |3717 | 16k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1061.62/1061.63 c 1001s| 1550k|860092 | 0 | 0.0 |1237M|1884 | - |3717 | 17k| 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1072.12/1072.14 c 1011s| 1560k|863748 | 0 | 0.0 |1245M|1884 | - |3717 | 18k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1085.42/1085.45 c 1024s| 1570k|864955 | 0 | 0.0 |1249M|1884 | - |3717 | 17k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1091.82/1091.84 c 1030s| 1580k|871987 | 0 | 0.0 |1257M|1884 | - |3717 | 15k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1099.12/1099.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1099.12/1099.13 c 1037s| 1590k|878195 | 0 | 0.0 |1266M|1884 | - |3717 | 16k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1107.62/1107.68 c 1045s| 1600k|883475 | 0 | 0.0 |1275M|1884 | - |3717 | 17k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1117.72/1117.71 c 1055s| 1610k|888098 | 0 | 0.0 |1283M|1884 | - |3717 | 14k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1128.42/1128.43 c 1065s| 1620k|891267 | 0 | 0.0 |1291M|1884 | - |3717 | 17k| 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1141.83/1141.89 c 1078s| 1630k|892537 | 0 | 0.0 |1298M|1884 | - |3717 | 18k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1151.82/1151.83 c 1088s| 1640k|896644 | 0 | 0.0 |1303M|1884 | - |3717 | 15k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1158.62/1158.64 c 1094s| 1650k|902885 | 0 | 0.0 |1311M|1884 | - |3717 | 16k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1169.92/1169.92 c 1105s| 1660k|905667 | 0 | 0.0 |1320M|1884 | - |3717 | 19k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1177.22/1177.28 c 1112s| 1670k|911649 | 0 | 0.0 |1326M|1884 | - |3717 | 15k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1183.72/1183.78 c 1118s| 1680k|918115 | 0 | 0.0 |1334M|1884 | - |3717 | 16k| 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1192.83/1192.89 c 1126s| 1690k|922458 | 0 | 0.0 |1342M|1884 | - |3717 | 18k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1201.83/1201.87 c 1135s| 1700k|927148 | 0 | 0.0 |1348M|1884 | - |3717 | 15k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1208.02/1208.00 c 1141s| 1710k|933934 | 0 | 0.0 |1356M|1884 | - |3717 | 16k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1216.72/1216.70 c 1149s| 1720k|938610 | 0 | 0.0 |1365M|1884 | - |3717 | 17k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1228.13/1228.11 c 1160s| 1730k|941402 | 0 | 0.0 |1367M|1884 | - |3717 |6337 | 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1232.92/1232.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.92/1232.97 c 1165s| 1740k|948077 | 0 | 0.0 |1375M|1884 | - |3717 |5304 | 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1237.73/1237.78 c 1169s| 1750k|954648 | 0 | 0.0 |1383M|1884 | - |3717 |5117 | 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1242.53/1242.59 c 1173s| 1760k|961224 | 0 | 0.0 |1392M|1884 | - |3717 |5513 | 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1247.43/1247.48 c 1178s| 1770k|967793 | 0 | 0.0 |1400M|1884 | - |3717 |4977 | 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1252.42/1252.43 c 1182s| 1780k|974193 | 0 | 0.0 |1408M|1884 | - |3717 |5170 | 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1256.62/1256.64 c 1186s| 1790k|981289 | 0 | 0.0 |1416M|1884 | - |3717 |4490 | 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1260.23/1260.22 c 1190s| 1800k|989023 | 0 | 0.0 |1424M|1884 | - |3717 |4925 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1264.93/1264.97 c 1194s| 1810k|995494 | 0 | 0.0 |1431M|1884 | - |3717 |4836 | 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1269.73/1269.78 c 1198s| 1820k| 1001k| 0 | 0.0 |1439M|1884 | - |3717 |5520 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1274.43/1274.43 c 1203s| 1830k| 1008k| 0 | 0.0 |1447M|1884 | - |3717 |5047 | 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1279.13/1279.18 c 1207s| 1840k| 1014k| 0 | 0.0 |1455M|1884 | - |3717 |6075 | 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1283.42/1283.46 c 1211s| 1850k| 1021k| 0 | 0.0 |1462M|1884 | - |3717 |4771 | 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1288.22/1288.27 c 1215s| 1860k| 1028k| 0 | 0.0 |1470M|1884 | - |3717 |5262 | 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1293.33/1293.33 c 1220s| 1870k| 1034k| 0 | 0.0 |1479M|1884 | - |3717 |6103 | 0 | 0 | 0 |1488k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1297.42/1297.41 c 1224s| 1880k| 1041k| 0 | 0.0 |1484M|1884 | - |3717 |3965 | 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1304.12/1304.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.12/1304.12 c 1230s| 1890k| 1045k| 0 | 0.0 |1484M|1884 | - |3717 |7146 | 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1317.83/1317.82 c 1243s| 1900k| 1043k| 0 | 0.0 |1483M|1884 | - |3717 | 11k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1334.23/1334.22 c 1259s| 1910k| 1040k| 0 | 0.0 |1478M|1884 | - |3717 | 12k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1351.73/1351.78 c 1276s| 1920k| 1035k| 0 | 0.0 |1470M|1884 | - |3717 | 14k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1371.23/1371.25 c 1295s| 1930k| 1030k| 0 | 0.0 |1460M|1884 | - |3717 | 14k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1390.83/1390.81 c 1314s| 1940k| 1023k| 0 | 0.0 |1442M|1884 | - |3717 | 13k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1396.53/1396.57 c 1319s| 1950k| 1029k| 0 | 0.0 |1448M|1884 | - |3717 |5388 | 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1401.63/1401.67 c 1324s| 1960k| 1036k| 0 | 0.0 |1456M|1884 | - |3717 |5223 | 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1407.03/1407.08 c 1329s| 1970k| 1042k| 0 | 0.0 |1464M|1884 | - |3717 |5489 | 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1412.63/1412.62 c 1334s| 1980k| 1049k| 0 | 0.0 |1472M|1884 | - |3717 |5301 | 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1418.13/1418.19 c 1339s| 1990k| 1055k| 0 | 0.0 |1480M|1884 | - |3717 |5405 | 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1423.73/1423.71 c 1345s| 2000k| 1061k| 0 | 0.0 |1488M|1884 | - |3717 |5379 | 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1429.23/1429.21 c 1350s| 2010k| 1068k| 0 | 0.0 |1496M|1884 | - |3717 |5987 | 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1434.73/1434.75 c 1355s| 2020k| 1074k| 0 | 0.0 |1504M|1884 | - |3717 |5973 | 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1440.13/1440.11 c 1360s| 2030k| 1080k| 0 | 0.0 |1512M|1884 | - |3717 |4901 | 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1445.63/1445.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1445.63/1445.62 c 1365s| 2040k| 1086k| 0 | 0.0 |1519M|1884 | - |3717 |5678 | 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1451.23/1451.27 c 1370s| 2050k| 1092k| 0 | 0.0 |1527M|1884 | - |3717 |5581 | 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1456.53/1456.53 c 1375s| 2060k| 1098k| 0 | 0.0 |1535M|1884 | - |3717 |5710 | 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1462.23/1462.27 c 1380s| 2070k| 1104k| 0 | 0.0 |1543M|1884 | - |3717 |5567 | 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1467.53/1467.54 c 1385s| 2080k| 1110k| 0 | 0.0 |1551M|1884 | - |3717 |5692 | 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1472.84/1472.88 c 1390s| 2090k| 1116k| 0 | 0.0 |1559M|1884 | - |3717 |5117 | 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1478.73/1478.72 c 1396s| 2100k| 1122k| 0 | 0.0 |1567M|1884 | - |3717 |5892 | 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1484.03/1484.01 c 1400s| 2110k| 1128k| 0 | 0.0 |1574M|1884 | - |3717 |5525 | 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1490.23/1490.23 c 1406s| 2120k| 1134k| 0 | 0.0 |1583M|1884 | - |3717 |5920 | 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1495.43/1495.45 c 1411s| 2130k| 1140k| 0 | 0.0 |1590M|1884 | - |3717 |5653 | 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1500.74/1500.76 c 1416s| 2140k| 1146k| 0 | 0.0 |1598M|1884 | - |3717 |5503 | 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1506.94/1506.91 c 1422s| 2150k| 1151k| 0 | 0.0 |1606M|1884 | - |3717 |6148 | 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1512.13/1512.14 c 1427s| 2160k| 1157k| 0 | 0.0 |1613M|1884 | - |3717 |5399 | 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1517.63/1517.62 c 1432s| 2170k| 1163k| 0 | 0.0 |1621M|1884 | - |3717 |5419 | 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1523.94/1523.95 c 1438s| 2180k| 1168k| 0 | 0.0 |1629M|1884 | - |3717 |6141 | 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1529.24/1529.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.24/1529.20 c 1442s| 2190k| 1174k| 0 | 0.0 |1636M|1884 | - |3717 |5831 | 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1534.84/1534.83 c 1448s| 2200k| 1180k| 0 | 0.0 |1645M|1884 | - |3717 |5736 | 0 | 0 | 0 |1754k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1541.63/1541.61 c 1454s| 2210k| 1184k| 0 | 0.0 |1652M|1884 | - |3717 |6316 | 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1547.03/1547.00 c 1459s| 2220k| 1190k| 0 | 0.0 |1660M|1884 | - |3717 |5981 | 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1552.63/1552.65 c 1464s| 2230k| 1196k| 0 | 0.0 |1667M|1884 | - |3717 |5666 | 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1559.53/1559.51 c 1471s| 2240k| 1201k| 0 | 0.0 |1676M|1884 | - |3717 |6215 | 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1565.43/1565.44 c 1476s| 2250k| 1206k| 0 | 0.0 |1683M|1884 | - |3717 |6281 | 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1571.23/1571.22 c 1482s| 2260k| 1212k| 0 | 0.0 |1691M|1884 | - |3717 |5930 | 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1578.03/1578.01 c 1488s| 2270k| 1216k| 0 | 0.0 |1699M|1884 | - |3717 |5345 | 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1585.14/1585.16 c 1495s| 2280k| 1220k| 0 | 0.0 |1707M|1884 | - |3717 |6869 | 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1591.33/1591.32 c 1500s| 2290k| 1226k| 0 | 0.0 |1714M|1884 | - |3717 |5837 | 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1597.83/1597.88 c 1507s| 2300k| 1230k| 0 | 0.0 |1722M|1884 | - |3717 |5861 | 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1605.53/1605.51 c 1514s| 2310k| 1234k| 0 | 0.0 |1729M|1884 | - |3717 |7087 | 0 | 0 | 0 |1836k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1611.64/1611.68 c 1520s| 2320k| 1239k| 0 | 0.0 |1736M|1884 | - |3717 |6291 | 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1618.14/1618.13 c 1526s| 2330k| 1244k| 0 | 0.0 |1744M|1884 | - |3717 |5886 | 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1625.43/1625.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.43/1625.46 c 1532s| 2340k| 1248k| 0 | 0.0 |1752M|1884 | - |3717 |6614 | 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1632.54/1632.55 c 1539s| 2350k| 1252k| 0 | 0.0 |1759M|1884 | - |3717 |6747 | 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1638.94/1638.93 c 1545s| 2360k| 1257k| 0 | 0.0 |1767M|1884 | - |3717 |6206 | 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1645.94/1645.91 c 1552s| 2370k| 1262k| 0 | 0.0 |1775M|1884 | - |3717 |5654 | 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1654.14/1654.14 c 1559s| 2380k| 1265k| 0 | 0.0 |1782M|1884 | - |3717 |7523 | 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1661.04/1661.07 c 1566s| 2390k| 1269k| 0 | 0.0 |1789M|1884 | - |3717 |6252 | 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1668.24/1668.22 c 1573s| 2400k| 1273k| 0 | 0.0 |1797M|1884 | - |3717 |6364 | 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1677.23/1677.24 c 1581s| 2410k| 1275k| 0 | 0.0 |1804M|1884 | - |3717 |7786 | 0 | 0 | 0 |1921k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1685.03/1685.10 c 1589s| 2420k| 1279k| 0 | 0.0 |1812M|1884 | - |3717 |6576 | 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1692.84/1692.85 c 1596s| 2430k| 1283k| 0 | 0.0 |1820M|1884 | - |3717 |6658 | 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1702.13/1702.18 c 1605s| 2440k| 1285k| 0 | 0.0 |1826M|1884 | - |3717 |7671 | 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1710.03/1710.04 c 1612s| 2450k| 1288k| 0 | 0.0 |1834M|1884 | - |3717 |6689 | 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1718.54/1718.53 c 1620s| 2460k| 1291k| 0 | 0.0 |1842M|1884 | - |3717 |6541 | 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1728.54/1728.56 c 1630s| 2470k| 1292k| 0 | 0.0 |1848M|1884 | - |3717 |7591 | 0 | 0 | 0 |1983k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1736.94/1736.96 c 1638s| 2480k| 1295k| 0 | 0.0 |1855M|1884 | - |3717 |6784 | 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1747.44/1747.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1747.44/1747.40 c 1648s| 2490k| 1296k| 0 | 0.0 |1862M|1884 | - |3717 |7905 | 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1756.74/1756.73 c 1657s| 2500k| 1298k| 0 | 0.0 |1869M|1884 | - |3717 |7212 | 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1766.64/1766.65 c 1666s| 2510k| 1300k| 0 | 0.0 |1876M|1884 | - |3717 |7038 | 0 | 0 | 0 |2030k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1776.94/1776.99 c 1676s| 2520k| 1301k| 0 | 0.0 |1881M|1884 | - |3717 |7778 | 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1786.83/1786.87 c 1685s| 2530k| 1302k| 0 | 0.0 |1888M|1884 | - |3717 |7530 | 0 | 0 | 0 |2054k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1797.84/1797.85 c 1696s| 2540k| 1303k| 0 | 0.0 |1893M|1884 | - |3717 |7788 | 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1697.90
1800.04/1800.00 c Solving Nodes : 2542281
1800.04/1800.00 c Primal Bound : +1.10000000000000e+01 (36 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.05 s SATISFIABLE
1800.04/1800.05 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.05 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.05 v -x167 -x166 -x165 x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.05 v -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.05 v -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105
1800.04/1800.05 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
1800.04/1800.05 v -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.04/1800.05 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.04/1800.05 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.04/1800.05 v -x2 -x1
1800.04/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.05 c Solving Time : 1697.90
1800.04/1800.05 c Original Problem :
1800.04/1800.05 c Problem name : HOME/instance-2694125-1277906647.wbo
1800.04/1800.05 c Variables : 3863 (2047 binary, 0 integer, 0 implicit integer, 1816 continuous)
1800.04/1800.05 c Constraints : 4524 initial, 4524 maximal
1800.04/1800.05 c Presolved Problem :
1800.04/1800.05 c Problem name : t_HOME/instance-2694125-1277906647.wbo
1800.04/1800.05 c Variables : 3717 (1974 binary, 0 integer, 0 implicit integer, 1743 continuous)
1800.04/1800.05 c Constraints : 4346 initial, 25426 maximal
1800.04/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.05 c trivial : 0.00 73 0 0 0 0 0 0 0
1800.04/1800.05 c dualfix : 0.00 73 0 0 0 0 0 0 0
1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 73 0 0
1800.04/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c linear : 0.04 0 0 0 1836 0 105 87 0
1800.04/1800.05 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c root node : - 1574 - - 3148 - - - -
1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 1743 0 6815409 0 1916846 1050 5310074 0 0 0
1800.04/1800.05 c setppc : 6 0 8127230 0 2110927 28746 3562371 0 0 0
1800.04/1800.05 c linear : 1743 0 8129480 0 2118247 353884 41380527 0 0 0
1800.04/1800.05 c logicor : 854+ 0 5000969 0 2118266 275195 8360261 0 0 0
1800.04/1800.05 c bounddisjunction : 0+ 0 303407 0 0 1 462 0 0 0
1800.04/1800.05 c countsols : 0 0 0 0 2118263 0 0 0 0 0
1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c indicator : 40.02 0.00 17.11 0.00 22.91
1800.04/1800.05 c setppc : 16.83 0.00 15.67 0.00 1.16
1800.04/1800.05 c linear : 321.95 0.00 320.67 0.00 1.28
1800.04/1800.05 c logicor : 367.05 0.00 306.04 0.00 61.01
1800.04/1800.05 c bounddisjunction : 0.31 0.00 0.31 0.00 0.00
1800.04/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.05 c vbounds : 0.00 2 0 0
1800.04/1800.05 c rootredcost : 0.00 0 0 0
1800.04/1800.05 c pseudoobj : 298.17 8172048 12824 5002795
1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.05 c propagation : 42.72 670650 670616 2968207 20.2 203223 9.7 -
1800.04/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c pseudo solution : 0.08 343 343 1429 16.8 365 9.1 -
1800.04/1800.05 c applied globally : - - - 2070491 18.0 - - -
1800.04/1800.05 c applied locally : - - - 1 208.0 - - -
1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.05 c redcost : 0.00 0 0 0 0 0
1800.04/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.05 c intobj : 0.00 0 0 0 0 0
1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.05 c gomory : 0.00 0 0 0 0 0
1800.04/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.05 c cmir : 0.00 0 0 0 0 0
1800.04/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.05 c clique : 0.00 0 0 0 0 0
1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.05 c mcf : 0.00 0 0 0 0 0
1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.05 c Pricers : Time Calls Vars
1800.04/1800.05 c problem variables: 0.00 0 0
1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c inference : 58.49 2118227 0 0 0 0 4236454
1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c random : 0.00 0 0 0 0 0 0
1800.04/1800.05 c Primal Heuristics : Time Calls Found
1800.04/1800.05 c LP solutions : 0.00 - 0
1800.04/1800.05 c pseudo solutions : 0.22 - 36
1800.04/1800.05 c oneopt : 0.04 0 0
1800.04/1800.05 c trivial : 0.01 2 0
1800.04/1800.05 c simplerounding : 0.00 0 0
1800.04/1800.05 c zirounding : 0.00 0 0
1800.04/1800.05 c rounding : 0.00 0 0
1800.04/1800.05 c shifting : 0.00 0 0
1800.04/1800.05 c intshifting : 0.00 0 0
1800.04/1800.05 c twoopt : 0.00 0 0
1800.04/1800.05 c fixandinfer : 0.00 0 0
1800.04/1800.05 c feaspump : 0.00 0 0
1800.04/1800.05 c coefdiving : 0.00 0 0
1800.04/1800.05 c pscostdiving : 0.00 0 0
1800.04/1800.05 c fracdiving : 0.00 0 0
1800.04/1800.05 c veclendiving : 0.00 0 0
1800.04/1800.05 c intdiving : 0.00 0 0
1800.04/1800.05 c actconsdiving : 0.00 0 0
1800.04/1800.05 c objpscostdiving : 0.00 0 0
1800.04/1800.05 c rootsoldiving : 0.00 0 0
1800.04/1800.05 c linesearchdiving : 0.00 0 0
1800.04/1800.05 c guideddiving : 0.00 0 0
1800.04/1800.05 c octane : 0.00 0 0
1800.04/1800.05 c rens : 0.00 0 0
1800.04/1800.05 c rins : 0.00 0 0
1800.04/1800.05 c localbranching : 0.00 0 0
1800.04/1800.05 c mutation : 0.00 0 0
1800.04/1800.05 c crossover : 0.00 0 0
1800.04/1800.05 c dins : 0.00 0 0
1800.04/1800.05 c undercover : 0.00 0 0
1800.04/1800.05 c nlp : 0.00 0 0
1800.04/1800.05 c trysol : 0.00 1 0
1800.04/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.05 c (at root node) : - 0 0 0.00 -
1800.04/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.05 c B&B Tree :
1800.04/1800.05 c number of runs : 1
1800.04/1800.05 c nodes : 2542281
1800.04/1800.05 c nodes (total) : 2542281
1800.04/1800.05 c nodes left : 1303762
1800.04/1800.05 c max depth : 1884
1800.04/1800.05 c max depth (total): 1884
1800.04/1800.05 c backtracks : 411471 (16.2%)
1800.04/1800.05 c delayed cutoffs : 321802
1800.04/1800.05 c repropagations : 1775947 (18901397 domain reductions, 248025 cutoffs)
1800.04/1800.05 c avg switch length: 36.17
1800.04/1800.05 c switching time : 491.25
1800.04/1800.05 c Solution :
1800.04/1800.05 c Solutions found : 36 (36 improvements)
1800.04/1800.05 c First Solution : +8.28000000000000e+02 (in run 1, after 6578 nodes, 1.73 seconds, depth 1111, found by <relaxation>)
1800.04/1800.05 c Primal Bound : +1.10000000000000e+01 (in run 1, after 1372117 nodes, 852.10 seconds, depth 957, found by <relaxation>)
1800.04/1800.05 c Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Gap : infinite
1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Root Iterations : 0
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694125-1277906647/watcher-2694125-1277906647 -o /tmp/evaluation-result-2694125-1277906647/solver-2694125-1277906647 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694125-1277906647.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.12 2.57 2.54 3/178 16647 /proc/meminfo: memFree=31160220/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=8268 CPUtime=0 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 1546 0 0 0 0 0 0 0 23 0 1 0 131959337 8466432 1469 4089446400 4194304 7136930 140734281745952 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/16647/statm: 2067 1470 275 719 0 1346 0 [startup+0.0263709 s] /proc/loadavg: 2.12 2.57 2.54 3/178 16647 /proc/meminfo: memFree=31160220/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=14204 CPUtime=0.01 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 3025 0 0 0 1 0 0 0 23 0 1 0 131959337 14544896 2948 4089446400 4194304 7136930 140734281745952 18446744073709551615 4240587 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/16647/statm: 3551 2948 275 719 0 2830 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 14204 [startup+0.100358 s] /proc/loadavg: 2.12 2.57 2.54 3/178 16647 /proc/meminfo: memFree=31160220/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=27848 CPUtime=0.09 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 7355 0 0 0 8 1 0 0 23 0 1 0 131959337 28516352 6153 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 6962 6153 354 719 0 6241 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27848 [startup+0.300329 s] /proc/loadavg: 2.12 2.57 2.54 3/178 16647 /proc/meminfo: memFree=31160220/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=29864 CPUtime=0.29 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 10749 0 0 0 26 3 0 0 23 0 1 0 131959337 30580736 6720 4089446400 4194304 7136930 140734281745952 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 7466 6720 391 719 0 6745 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29864 [startup+0.700251 s] /proc/loadavg: 2.12 2.57 2.54 3/178 16647 /proc/meminfo: memFree=31160220/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=31620 CPUtime=0.69 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 11213 0 0 0 62 7 0 0 25 0 1 0 131959337 32378880 7184 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 7905 7184 395 719 0 7184 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31620 [startup+1.50011 s] /proc/loadavg: 2.11 2.56 2.54 3/179 16648 /proc/meminfo: memFree=31132384/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=34400 CPUtime=1.49 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 11887 0 0 0 135 14 0 0 25 0 1 0 131959337 35225600 7858 4089446400 4194304 7136930 140734281745952 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 8600 7858 395 719 0 7879 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34400 [startup+3.10083 s] /proc/loadavg: 2.11 2.56 2.54 3/179 16648 /proc/meminfo: memFree=31129408/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=39868 CPUtime=3.09 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 13261 0 0 0 283 26 0 0 25 0 1 0 131959337 40824832 9232 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 9967 9232 396 719 0 9246 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39868 [startup+6.30026 s] /proc/loadavg: 2.11 2.56 2.54 3/179 16648 /proc/meminfo: memFree=31115644/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=51740 CPUtime=6.3 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 16226 0 0 0 578 52 0 0 25 0 1 0 131959337 52981760 12197 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 12935 12197 396 719 0 12214 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 51740 [startup+12.7011 s] /proc/loadavg: 2.09 2.54 2.53 3/179 16649 /proc/meminfo: memFree=31098584/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=69292 CPUtime=12.69 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 20445 0 0 0 1177 92 0 0 25 0 1 0 131959337 70955008 16416 4089446400 4194304 7136930 140734281745952 18446744073709551615 4227192 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 17323 16416 398 719 0 16602 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 69292 [startup+25.5008 s] /proc/loadavg: 2.08 2.53 2.53 3/179 16649 /proc/meminfo: memFree=31059004/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=106336 CPUtime=25.49 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 29553 0 0 0 2345 204 0 0 25 0 1 0 131959337 108888064 25524 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 26584 25524 398 719 0 25863 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 106336 [startup+51.1003 s] /proc/loadavg: 2.05 2.47 2.51 3/179 16649 /proc/meminfo: memFree=31008316/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=157156 CPUtime=51.09 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 41686 0 0 0 4743 366 0 0 25 0 1 0 131959337 160927744 37657 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 39289 37657 398 719 0 38568 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 157156 [startup+102.306 s] /proc/loadavg: 2.02 2.40 2.48 3/179 16651 /proc/meminfo: memFree=30870724/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=303112 CPUtime=102.3 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 75006 0 0 0 9505 725 0 0 25 0 1 0 131959337 310386688 70977 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 75778 70977 398 719 0 75057 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 303112 [startup+162.3 s] /proc/loadavg: 2.00 2.32 2.45 3/179 16653 /proc/meminfo: memFree=30741708/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=435948 CPUtime=162.29 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 106523 0 0 0 15040 1189 0 0 25 0 1 0 131959337 446410752 102494 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 108987 102494 398 719 0 108266 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 435948 [startup+222.301 s] /proc/loadavg: 2.00 2.26 2.42 3/179 16654 /proc/meminfo: memFree=30645424/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=529672 CPUtime=222.29 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 129615 0 0 0 20646 1583 0 0 25 0 1 0 131959337 542384128 125586 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 132418 125586 398 719 0 131697 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 529672 [startup+282.301 s] /proc/loadavg: 2.00 2.21 2.39 3/179 16655 /proc/meminfo: memFree=30596892/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=574296 CPUtime=282.3 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 140728 0 0 0 26406 1824 0 0 25 0 1 0 131959337 588079104 136699 4089446400 4194304 7136930 140734281745952 18446744073709551615 4208913 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 143574 136699 398 719 0 142853 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 574296 [startup+342.3 s] /proc/loadavg: 2.00 2.17 2.36 3/179 16657 /proc/meminfo: memFree=30545224/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=626472 CPUtime=342.3 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 153738 0 0 0 32116 2114 0 0 25 0 1 0 131959337 641507328 149709 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 156618 149709 398 719 0 155897 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 626472 [startup+402.3 s] /proc/loadavg: 2.07 2.15 2.34 3/179 16659 /proc/meminfo: memFree=30418540/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=757880 CPUtime=402.3 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 185170 0 0 0 37675 2555 0 0 25 0 1 0 131959337 776069120 181141 4089446400 4194304 7136930 140734281745952 18446744073709551615 4923278 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 189470 181141 398 719 0 188749 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 757880 [startup+462.301 s] /proc/loadavg: 2.02 2.12 2.32 3/179 16661 /proc/meminfo: memFree=30298320/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=894664 CPUtime=462.31 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 214894 0 0 0 43309 2922 0 0 25 0 1 0 131959337 916135936 210865 4089446400 4194304 7136930 140734281745952 18446744073709551615 4210324 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 223666 210865 398 719 0 222945 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 894664 [startup+522.301 s] /proc/loadavg: 2.01 2.10 2.29 3/179 16662 /proc/meminfo: memFree=30232056/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=971200 CPUtime=522.3 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 231990 0 0 0 48977 3253 0 0 25 0 1 0 131959337 994508800 227961 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 242800 227961 398 719 0 242079 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 971200 [startup+582.3 s] /proc/loadavg: 2.00 2.08 2.27 3/179 16663 /proc/meminfo: memFree=30149156/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=1051740 CPUtime=582.31 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 252063 0 0 0 54614 3617 0 0 25 0 1 0 131959337 1076981760 248034 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 262935 248034 398 719 0 262214 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1051740 [startup+642.301 s] /proc/loadavg: 2.00 2.06 2.25 3/179 16665 /proc/meminfo: memFree=30065624/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=1136580 CPUtime=642.32 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 272534 0 0 0 60293 3939 0 0 25 0 1 0 131959337 1163857920 268505 4089446400 4194304 7136930 140734281745952 18446744073709551615 4998451 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 284145 268505 398 719 0 283424 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1136580 [startup+702.301 s] ################ # More data... # ################ /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 363523 0 0 0 94471 5761 0 0 25 0 1 0 131959337 1540014080 359494 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 375980 359494 398 719 0 375259 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1503920 [startup+1062.3 s] /proc/loadavg: 2.01 2.02 2.15 3/179 16677 /proc/meminfo: memFree=29660236/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=1542328 CPUtime=1062.31 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 373090 0 0 0 100203 6028 0 0 25 0 1 0 131959337 1579343872 369061 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 385582 369061 398 719 0 384861 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1542328 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.14 3/179 16678 /proc/meminfo: memFree=29608844/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=1591524 CPUtime=1122.32 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 385450 0 0 0 105919 6313 0 0 25 0 1 0 131959337 1629720576 381421 4089446400 4194304 7136930 140734281745952 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 397881 381421 398 719 0 397160 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1591524 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.13 3/179 16679 /proc/meminfo: memFree=29565144/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=1635268 CPUtime=1182.33 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 396597 0 0 0 111645 6588 0 0 25 0 1 0 131959337 1674514432 392568 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 408817 392568 398 719 0 408096 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1635268 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.12 3/179 16681 /proc/meminfo: memFree=29500600/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=1695248 CPUtime=1242.32 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 411870 0 0 0 117317 6915 0 0 25 0 1 0 131959337 1735933952 407841 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 423812 407841 398 719 0 423091 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1695248 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.11 3/179 16683 /proc/meminfo: memFree=29403952/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=1805872 CPUtime=1302.33 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 435724 0 0 0 122835 7398 0 0 25 0 1 0 131959337 1849212928 431695 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 451468 431695 398 719 0 450747 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1805872 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.09 3/179 16685 /proc/meminfo: memFree=29402816/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=1807332 CPUtime=1362.33 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 435965 0 0 0 128641 7592 0 0 25 0 1 0 131959337 1850707968 431936 4089446400 4194304 7136930 140734281745952 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 451833 431936 398 719 0 451112 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1807332 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.09 3/179 16686 /proc/meminfo: memFree=29393952/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=1815440 CPUtime=1422.33 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 438053 0 0 0 134324 7909 0 0 25 0 1 0 131959337 1859010560 434024 4089446400 4194304 7136930 140734281745952 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 453860 434024 398 719 0 453139 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1815440 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 16687 /proc/meminfo: memFree=29320608/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=1888988 CPUtime=1482.33 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 456821 0 0 0 139893 8340 0 0 25 0 1 0 131959337 1934323712 452792 4089446400 4194304 7136930 140734281745952 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 472247 452792 398 719 0 471526 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1888988 [startup+1542.3 s] /proc/loadavg: 2.05 2.01 2.08 3/179 16689 /proc/meminfo: memFree=29243140/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=1958988 CPUtime=1542.33 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 474736 0 0 0 145464 8769 0 0 25 0 1 0 131959337 2006003712 470707 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 489747 470707 398 719 0 489026 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1958988 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.07 3/179 16691 /proc/meminfo: memFree=29165724/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=2035528 CPUtime=1602.34 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 493997 0 0 0 151077 9157 0 0 25 0 1 0 131959337 2084380672 489968 4089446400 4194304 7136930 140734281745952 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 508882 489968 398 719 0 508161 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2035528 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.07 4/180 16696 /proc/meminfo: memFree=29071644/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=2095128 CPUtime=1662.34 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 509127 0 0 0 156718 9516 0 0 25 0 1 0 131959337 2145411072 505098 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16647/statm: 523782 505098 398 719 0 523061 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2095128 [startup+1722.3 s] /proc/loadavg: 1.96 1.98 2.06 3/179 16725 /proc/meminfo: memFree=29127276/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=2148944 CPUtime=1722.33 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 522594 0 0 0 162390 9843 0 0 25 0 1 0 131959337 2200518656 518565 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16647/statm: 537236 518565 398 719 0 536515 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2148944 [startup+1782.3 s] /proc/loadavg: 1.98 1.98 2.05 3/179 16726 /proc/meminfo: memFree=29089272/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=2185496 CPUtime=1782.34 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 531934 0 0 0 168104 10130 0 0 25 0 1 0 131959337 2237947904 527905 4089446400 4194304 7136930 140734281745952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16647/statm: 546374 527905 398 719 0 545653 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2185496 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.99 1.98 2.05 3/179 16727 /proc/meminfo: memFree=29079848/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=2195108 CPUtime=1800.04 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 534232 0 0 0 169792 10212 0 0 25 0 1 0 131959337 2247790592 530203 4089446400 4194304 7136930 140734281745952 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16647/statm: 548777 530203 398 719 0 548056 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2195108 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16647 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.99 1.98 2.05 3/180 16728 /proc/meminfo: memFree=29079716/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=2195108 CPUtime=1801.44 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 534247 0 0 0 169932 10212 0 0 25 0 1 0 131959337 2247790592 530218 4089446400 4194304 7136930 140734281745952 18446744073709551615 6166261 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16647/statm: 548777 530218 403 719 0 548056 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2195108 [startup+1801.81 s] /proc/loadavg: 1.99 1.98 2.05 3/180 16728 /proc/meminfo: memFree=29079716/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=2195108 CPUtime=1801.84 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 534247 0 0 0 169972 10212 0 0 25 0 1 0 131959337 2247790592 530218 4089446400 4194304 7136930 140734281745952 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16647/statm: 548777 530218 403 719 0 548056 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2195108 [startup+1802 s] /proc/loadavg: 1.99 1.98 2.05 3/180 16728 /proc/meminfo: memFree=29079716/32951124 swapFree=67111528/67111528 [pid=16647] ppid=16645 vsize=2195108 CPUtime=1802.04 /proc/16647/stat : 16647 (pbscip.linux.x8) R 16645 16647 15299 0 -1 4202496 534247 0 0 0 169992 10212 0 0 25 0 1 0 131959337 2247790592 530218 4089446400 4194304 7136930 140734281745952 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16647/statm: 548777 530218 403 719 0 548056 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2195108 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.12 CPU user time (s): 1699.93 CPU system time (s): 102.194 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2195108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1699.93 system time used= 102.194 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 534247 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= 3 involuntary context switches= 1147 runsolver used 3.41948 second user time and 6.17106 second system time The end
Begin job on node146 at 2010-06-30 16:04:07 IDJOB=2694125 IDBENCH=78941 IDSOLVER=1206 FILE ID=node146/2694125-1277906647 PBS_JOBID= 11197159 Free space on /tmp= 74176 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.1900558106--soft-33-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-2694125-1277906647/watcher-2694125-1277906647 -o /tmp/evaluation-result-2694125-1277906647/solver-2694125-1277906647 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694125-1277906647.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= eba88192ede2bf17faa7af9ad7b0465e RANDOM SEED=394416177 node146.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.839 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.839 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.839 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.839 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.839 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.67 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.839 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.839 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31160872 kB Buffers: 193940 kB Cached: 1329912 kB SwapCached: 0 kB Active: 536600 kB Inactive: 1105704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31160872 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3172 kB Writeback: 0 kB AnonPages: 118900 kB Mapped: 16888 kB Slab: 82776 kB PageTables: 4916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 262304 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= 74172 MiB End job on node146 at 2010-06-30 16:34:09