Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.14 | 1802.16 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900583053--soft-66-100-0.wbo |
| MD5SUM | 56cc5d1f816d97170bd91f7584a55091 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 453.607 |
| 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 | 911 |
| 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 | 45526 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45525 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 651 |
| 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-2694169-1277909000.wbo>
0.02/0.02 c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints
0.02/0.02 c problem read
0.02/0.02 c presolving settings loaded
0.02/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/0.04 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.02/0.08 c (round 2) 0 del vars, 116 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.02/0.09 c (round 3) 50 del vars, 249 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.09/0.10 c (round 4) 115 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.12 c (round 5) 130 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.16 c (0.1s) probing: 101/1077 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 130 deleted vars, 264 deleted constraints, 926 tightened bounds, 0 added holes, 133 changed sides, 0 changed coefficients
0.09/0.16 c 1131 implications, 16 cliques
0.09/0.16 c presolved problem has 1923 variables (1077 bin, 0 int, 0 impl, 846 cont) and 3355 constraints
0.09/0.16 c 846 constraints of type <indicator>
0.09/0.16 c 16 constraints of type <setppc>
0.09/0.16 c 846 constraints of type <linear>
0.09/0.16 c 1647 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.16 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.16 c 0.1s| 1 | 2 | 0 | - |7508k| 0 | - |1923 |3355 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.70 o 173
0.69/0.70 c * 0.6s| 2570 | 1955 | 0 | 0.0 |9060k| 975 | - |1923 |3553 | 0 | 0 | 0 | 213 | 0 | 0.000000e+00 | 1.730000e+02 | Inf
2.49/2.50 c 2.3s| 10000 | 8493 | 0 | 0.0 | 14M| 975 | - |1923 |4922 | 0 | 0 | 0 |2930 | 0 | 0.000000e+00 | 1.730000e+02 | Inf
5.08/5.16 o 170
5.08/5.16 c * 4.7s| 18191 | 14180 | 0 | 0.0 | 21M| 975 | - |1923 |6893 | 0 | 0 | 0 |9338 | 0 | 0.000000e+00 | 1.700000e+02 | Inf
5.28/5.34 o 159
5.28/5.34 c * 4.8s| 18720 | 14578 | 0 | 0.0 | 21M| 975 | - |1923 |6575 | 0 | 0 | 0 |9438 | 0 | 0.000000e+00 | 1.590000e+02 | Inf
5.28/5.37 o 135
5.28/5.37 c * 4.9s| 18806 | 14444 | 0 | 0.0 | 21M| 975 | - |1923 |6499 | 0 | 0 | 0 |9450 | 0 | 0.000000e+00 | 1.350000e+02 | Inf
5.39/5.49 o 130
5.39/5.49 c * 5.0s| 19119 | 14686 | 0 | 0.0 | 21M| 975 | - |1923 |6108 | 0 | 0 | 0 |9499 | 0 | 0.000000e+00 | 1.300000e+02 | Inf
5.39/5.49 o 65
5.39/5.49 c * 5.0s| 19120 | 13859 | 0 | 0.0 | 20M| 975 | - |1923 |6108 | 0 | 0 | 0 |9499 | 0 | 0.000000e+00 | 6.500000e+01 | Inf
5.78/5.83 c 5.3s| 20000 | 14644 | 0 | 0.0 | 21M| 975 | - |1923 |5224 | 0 | 0 | 0 |9779 | 0 | 0.000000e+00 | 6.500000e+01 | Inf
9.39/9.42 c 8.6s| 30000 | 23167 | 0 | 0.0 | 31M| 975 | - |1923 |4377 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
10.90/10.97 o 64
10.90/10.97 c *10.0s| 34862 | 27195 | 0 | 0.0 | 35M| 975 | - |1923 |5027 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
11.49/11.57 o 29
11.49/11.57 c *10.5s| 37004 | 27040 | 0 | 0.0 | 30M| 975 | - |1923 |5203 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
12.39/12.43 c 11.3s| 40000 | 29518 | 0 | 0.0 | 32M| 975 | - |1923 |5089 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
15.39/15.45 c 14.0s| 50000 | 37464 | 0 | 0.0 | 39M| 975 | - |1923 |6055 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
18.49/18.52 c 16.8s| 60000 | 45354 | 0 | 0.0 | 46M| 975 | - |1923 |6470 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
21.78/21.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.78/21.89 c 19.9s| 70000 | 52873 | 0 | 0.0 | 53M| 975 | - |1923 |7042 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
25.19/25.28 c 23.0s| 80000 | 60229 | 0 | 0.0 | 60M| 975 | - |1923 |7606 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
28.99/29.09 c 26.5s| 90000 | 67111 | 0 | 0.0 | 67M| 975 | - |1923 |8383 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
33.08/33.16 c 30.2s|100000 | 73778 | 0 | 0.0 | 74M| 975 | - |1923 |9126 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
37.89/37.97 c 34.7s|110000 | 79656 | 0 | 0.0 | 81M| 975 | - |1923 | 10k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
43.68/43.79 c 40.1s|120000 | 84733 | 0 | 0.0 | 88M| 975 | - |1923 | 12k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
50.79/50.80 c 46.7s|130000 | 88755 | 0 | 0.0 | 95M| 975 | - |1923 | 13k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
57.49/57.51 c 53.1s|140000 | 93724 | 0 | 0.0 | 98M| 975 | - |1923 |5063 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
58.38/58.48 o 26
58.38/58.48 c *54.0s|142832 | 96108 | 0 | 0.0 | 100M| 975 | - |1923 |4965 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
59.09/59.14 o 23
59.09/59.14 c *54.6s|144683 | 97591 | 0 | 0.0 | 101M| 975 | - |1923 |5064 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
60.98/61.03 c 56.3s|150000 |101955 | 0 | 0.0 | 105M| 975 | - |1923 |5416 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
61.29/61.33 o 2
61.29/61.33 c *56.5s|150826 |100310 | 0 | 0.0 | 102M| 975 | - |1923 |5532 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
65.08/65.10 c 60.0s|160000 |107220 | 0 | 0.0 | 110M| 975 | - |1923 |6541 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
70.19/70.21 c 64.8s|170000 |113401 | 0 | 0.0 | 116M| 975 | - |1923 |5760 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
73.59/73.68 c 68.0s|180000 |121691 | 0 | 0.0 | 124M| 975 | - |1923 |6053 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
77.49/77.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.49/77.56 c 71.5s|190000 |129337 | 0 | 0.0 | 132M| 975 | - |1923 |6838 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
82.49/82.58 c 76.2s|200000 |135413 | 0 | 0.0 | 143M| 975 | - |1923 |7137 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
86.49/86.50 c 79.8s|210000 |143379 | 0 | 0.0 | 165M| 975 | - |1923 |7701 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
90.79/90.85 c 83.8s|220000 |150592 | 0 | 0.0 | 186M| 975 | - |1923 |8434 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
94.89/94.99 c 87.6s|230000 |157964 | 0 | 0.0 | 200M| 975 | - |1923 |8320 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
99.18/99.26 c 91.5s|240000 |164675 | 0 | 0.0 | 209M| 975 | - |1923 | 10k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
103.18/103.29 c 95.3s|250000 |172291 | 0 | 0.0 | 223M| 975 | - |1923 |7718 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
106.89/106.96 c 98.6s|260000 |179186 | 0 | 0.0 | 229M| 975 | - |1923 |6948 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
110.19/110.20 c 102s|270000 |186750 | 0 | 0.0 | 236M| 975 | - |1923 |8605 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
113.48/113.56 c 105s|280000 |194270 | 0 | 0.0 | 242M| 975 | - |1923 |7507 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
117.09/117.16 c 108s|290000 |201517 | 0 | 0.0 | 248M| 975 | - |1923 |7006 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
120.19/120.26 c 111s|300000 |209276 | 0 | 0.0 | 255M| 975 | - |1923 |8656 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
123.59/123.60 c 114s|310000 |216756 | 0 | 0.0 | 260M| 975 | - |1923 |7433 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
127.49/127.55 c 117s|320000 |223287 | 0 | 0.0 | 267M| 975 | - |1923 |7625 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
131.39/131.46 c 121s|330000 |230241 | 0 | 0.0 | 274M| 975 | - |1923 |8512 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
135.30/135.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.30/135.33 c 124s|340000 |237205 | 0 | 0.0 | 280M| 975 | - |1923 |9272 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
139.39/139.42 c 128s|350000 |244086 | 0 | 0.0 | 287M| 975 | - |1923 | 10k| 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
143.59/143.66 c 132s|360000 |250917 | 0 | 0.0 | 294M| 975 | - |1923 | 10k| 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
147.99/148.03 c 136s|370000 |257663 | 0 | 0.0 | 300M| 975 | - |1923 | 11k| 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
152.39/152.48 c 140s|380000 |264314 | 0 | 0.0 | 306M| 975 | - |1923 | 11k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
156.89/156.91 c 145s|390000 |271025 | 0 | 0.0 | 313M| 975 | - |1923 | 12k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
161.69/161.71 c 149s|400000 |277424 | 0 | 0.0 | 319M| 975 | - |1923 | 12k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
166.39/166.47 c 153s|410000 |284009 | 0 | 0.0 | 325M| 975 | - |1923 | 12k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
171.38/171.43 c 158s|420000 |290249 | 0 | 0.0 | 332M| 975 | - |1923 | 13k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
176.78/176.88 c 163s|430000 |296280 | 0 | 0.0 | 338M| 975 | - |1923 | 14k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
182.79/182.81 c 169s|440000 |301952 | 0 | 0.0 | 344M| 975 | - |1923 | 14k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
188.39/188.41 c 174s|450000 |307987 | 0 | 0.0 | 350M| 975 | - |1923 | 14k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
194.29/194.39 c 180s|460000 |313680 | 0 | 0.0 | 357M| 975 | - |1923 | 15k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
200.78/200.86 c 186s|470000 |318966 | 0 | 0.0 | 363M| 975 | - |1923 | 15k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
207.09/207.17 c 192s|480000 |324593 | 0 | 0.0 | 369M| 975 | - |1923 | 15k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
213.89/213.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.89/213.96 c 198s|490000 |329700 | 0 | 0.0 | 376M| 975 | - |1923 | 17k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
221.39/221.49 c 205s|500000 |334361 | 0 | 0.0 | 382M| 975 | - |1923 | 17k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
228.70/228.71 c 212s|510000 |339518 | 0 | 0.0 | 388M| 975 | - |1923 | 17k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
236.19/236.25 c 219s|520000 |344077 | 0 | 0.0 | 395M| 975 | - |1923 | 19k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
244.59/244.63 c 227s|530000 |348365 | 0 | 0.0 | 401M| 975 | - |1923 | 19k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
252.79/252.82 c 235s|540000 |352979 | 0 | 0.0 | 406M| 975 | - |1923 | 18k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
261.59/261.68 c 244s|550000 |357010 | 0 | 0.0 | 413M| 975 | - |1923 | 20k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
270.60/270.66 c 252s|560000 |360868 | 0 | 0.0 | 419M| 975 | - |1923 | 21k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
280.29/280.38 c 262s|570000 |364611 | 0 | 0.0 | 425M| 975 | - |1923 | 21k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
290.09/290.14 c 271s|580000 |368527 | 0 | 0.0 | 431M| 975 | - |1923 | 21k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
300.30/300.33 c 281s|590000 |371825 | 0 | 0.0 | 437M| 975 | - |1923 | 23k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
311.49/311.57 c 292s|600000 |374870 | 0 | 0.0 | 442M| 975 | - |1923 | 24k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
323.39/323.44 c 303s|610000 |377634 | 0 | 0.0 | 448M| 975 | - |1923 | 24k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
335.40/335.43 c 315s|620000 |380379 | 0 | 0.0 | 453M| 975 | - |1923 | 25k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
347.99/348.03 c 327s|630000 |383080 | 0 | 0.0 | 458M| 975 | - |1923 | 26k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
362.09/362.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.09/362.15 c 341s|640000 |384816 | 0 | 0.0 | 463M| 975 | - |1923 | 26k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
376.99/377.07 c 355s|650000 |386503 | 0 | 0.0 | 467M| 975 | - |1923 | 27k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
393.80/393.87 c 371s|660000 |387501 | 0 | 0.0 | 472M| 975 | - |1923 | 29k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
413.19/413.26 c 390s|670000 |387431 | 0 | 0.0 | 476M| 975 | - |1923 | 32k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
427.40/427.47 c 404s|680000 |390312 | 0 | 0.0 | 469M| 975 | - |1923 |6870 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
430.89/430.91 c 407s|690000 |398262 | 0 | 0.0 | 475M| 975 | - |1923 |6981 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
434.40/434.47 c 411s|700000 |406033 | 0 | 0.0 | 482M| 975 | - |1923 |7139 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
438.09/438.15 c 414s|710000 |413557 | 0 | 0.0 | 488M| 975 | - |1923 |6969 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
441.79/441.80 c 417s|720000 |420984 | 0 | 0.0 | 494M| 975 | - |1923 |7159 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
445.50/445.52 c 421s|730000 |428246 | 0 | 0.0 | 501M| 975 | - |1923 |7273 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
449.29/449.34 c 424s|740000 |435367 | 0 | 0.0 | 507M| 975 | - |1923 |7170 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
453.39/453.45 c 428s|750000 |442249 | 0 | 0.0 | 514M| 975 | - |1923 |7594 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
457.68/457.72 c 432s|760000 |448950 | 0 | 0.0 | 521M| 975 | - |1923 |8158 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
462.06/462.18 c 436s|770000 |455611 | 0 | 0.0 | 527M| 975 | - |1923 |8032 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
466.75/466.90 c 441s|780000 |461881 | 0 | 0.0 | 534M| 975 | - |1923 |8876 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
471.54/471.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.54/471.60 c 445s|790000 |468243 | 0 | 0.0 | 541M| 975 | - |1923 |8790 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
476.54/476.69 c 450s|800000 |474207 | 0 | 0.0 | 547M| 975 | - |1923 |9533 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
481.94/482.05 c 455s|810000 |479950 | 0 | 0.0 | 554M| 975 | - |1923 |9667 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
487.35/487.48 c 460s|820000 |485664 | 0 | 0.0 | 561M| 975 | - |1923 | 10k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
493.04/493.14 c 465s|830000 |491050 | 0 | 0.0 | 568M| 975 | - |1923 | 10k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
499.04/499.11 c 471s|840000 |496193 | 0 | 0.0 | 575M| 975 | - |1923 | 11k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
505.34/505.49 c 477s|850000 |500987 | 0 | 0.0 | 581M| 975 | - |1923 | 12k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
512.74/512.88 c 484s|860000 |505045 | 0 | 0.0 | 588M| 975 | - |1923 | 13k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
521.35/521.49 c 492s|870000 |508293 | 0 | 0.0 | 595M| 975 | - |1923 | 15k| 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
529.24/529.35 c 500s|880000 |512904 | 0 | 0.0 | 596M| 975 | - |1923 |6119 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
532.44/532.52 c 503s|890000 |520893 | 0 | 0.0 | 603M| 975 | - |1923 |5923 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
535.65/535.76 c 506s|900000 |528758 | 0 | 0.0 | 609M| 975 | - |1923 |6008 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
538.95/539.03 c 508s|910000 |536539 | 0 | 0.0 | 615M| 975 | - |1923 |6267 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
542.44/542.52 c 512s|920000 |544074 | 0 | 0.0 | 622M| 975 | - |1923 |6622 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
546.04/546.14 c 515s|930000 |551426 | 0 | 0.0 | 628M| 975 | - |1923 |6834 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
549.74/549.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.74/549.82 c 518s|940000 |558688 | 0 | 0.0 | 635M| 975 | - |1923 |7272 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
553.64/553.75 c 522s|950000 |565673 | 0 | 0.0 | 641M| 975 | - |1923 |7513 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
557.55/557.68 c 526s|960000 |572662 | 0 | 0.0 | 648M| 975 | - |1923 |8019 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
561.85/561.95 c 530s|970000 |579342 | 0 | 0.0 | 655M| 975 | - |1923 |8089 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
566.35/566.42 c 534s|980000 |585765 | 0 | 0.0 | 662M| 975 | - |1923 |8913 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
570.85/570.92 c 538s|990000 |592167 | 0 | 0.0 | 668M| 975 | - |1923 |9134 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
575.84/575.93 c 543s| 1000k|597997 | 0 | 0.0 | 675M| 975 | - |1923 |9438 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
580.85/580.91 c 547s| 1010k|603913 | 0 | 0.0 | 681M| 975 | - |1923 |9693 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
586.16/586.29 c 552s| 1020k|609343 | 0 | 0.0 | 688M| 975 | - |1923 | 10k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
591.85/591.90 c 558s| 1030k|614704 | 0 | 0.0 | 694M| 975 | - |1923 | 10k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
597.95/598.00 c 563s| 1040k|619637 | 0 | 0.0 | 701M| 975 | - |1923 | 11k| 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
604.85/604.90 c 570s| 1050k|623808 | 0 | 0.0 | 707M| 975 | - |1923 | 12k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
612.44/612.58 c 577s| 1060k|627579 | 0 | 0.0 | 713M| 975 | - |1923 | 13k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
621.54/621.69 c 586s| 1070k|630479 | 0 | 0.0 | 720M| 975 | - |1923 | 15k| 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
629.35/629.40 c 593s| 1080k|635224 | 0 | 0.0 | 721M| 975 | - |1923 |6309 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
632.64/632.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.64/632.74 c 596s| 1090k|642999 | 0 | 0.0 | 728M| 975 | - |1923 |6736 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
636.35/636.40 c 600s| 1100k|650424 | 0 | 0.0 | 735M| 975 | - |1923 |7303 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
640.15/640.24 c 603s| 1110k|657564 | 0 | 0.0 | 741M| 975 | - |1923 |8009 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
644.25/644.39 c 607s| 1120k|664400 | 0 | 0.0 | 748M| 975 | - |1923 |8394 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
648.74/648.81 c 611s| 1130k|670923 | 0 | 0.0 | 755M| 975 | - |1923 |8345 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
653.15/653.29 c 615s| 1140k|677243 | 0 | 0.0 | 762M| 975 | - |1923 |8414 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
657.85/657.97 c 619s| 1150k|683320 | 0 | 0.0 | 769M| 975 | - |1923 |8531 | 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
662.55/662.68 c 624s| 1160k|689288 | 0 | 0.0 | 776M| 975 | - |1923 |8490 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
667.35/667.42 c 628s| 1170k|695293 | 0 | 0.0 | 782M| 975 | - |1923 |8314 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
672.14/672.29 c 632s| 1180k|700974 | 0 | 0.0 | 789M| 975 | - |1923 |8541 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
676.85/676.95 c 637s| 1190k|707023 | 0 | 0.0 | 795M| 975 | - |1923 |8636 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
681.35/681.50 c 641s| 1200k|713236 | 0 | 0.0 | 801M| 975 | - |1923 |8663 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
685.84/685.93 c 645s| 1210k|719487 | 0 | 0.0 | 808M| 975 | - |1923 |9060 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
690.35/690.42 c 649s| 1220k|725780 | 0 | 0.0 | 814M| 975 | - |1923 |8785 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
695.06/695.10 c 654s| 1230k|731869 | 0 | 0.0 | 821M| 975 | - |1923 |8860 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
699.55/699.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.55/699.69 c 658s| 1240k|737961 | 0 | 0.0 | 827M| 975 | - |1923 |8050 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
704.45/704.54 c 662s| 1250k|743628 | 0 | 0.0 | 833M| 975 | - |1923 |8289 | 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
709.25/709.31 c 667s| 1260k|749551 | 0 | 0.0 | 839M| 975 | - |1923 |7982 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
713.95/714.06 c 671s| 1270k|755293 | 0 | 0.0 | 846M| 975 | - |1923 |8186 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
718.65/718.74 c 675s| 1280k|761261 | 0 | 0.0 | 852M| 975 | - |1923 |7889 | 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
723.35/723.40 c 680s| 1290k|767142 | 0 | 0.0 | 857M| 975 | - |1923 |8172 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
727.85/727.92 c 684s| 1300k|773203 | 0 | 0.0 | 864M| 975 | - |1923 |8322 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
732.35/732.43 c 688s| 1310k|779283 | 0 | 0.0 | 870M| 975 | - |1923 |9123 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
737.15/737.22 c 692s| 1320k|785162 | 0 | 0.0 | 877M| 975 | - |1923 | 10k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
742.46/742.53 c 697s| 1330k|790660 | 0 | 0.0 | 884M| 975 | - |1923 | 11k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
748.75/748.84 c 703s| 1340k|795468 | 0 | 0.0 | 891M| 975 | - |1923 | 13k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
756.76/756.84 c 711s| 1350k|799142 | 0 | 0.0 | 898M| 975 | - |1923 | 16k| 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
765.25/765.38 c 719s| 1360k|803325 | 0 | 0.0 | 900M| 975 | - |1923 |8399 | 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
768.76/768.84 c 722s| 1370k|811086 | 0 | 0.0 | 906M| 975 | - |1923 |7368 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
772.35/772.48 c 725s| 1380k|818426 | 0 | 0.0 | 912M| 975 | - |1923 |7910 | 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
776.25/776.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.25/776.36 c 729s| 1390k|825516 | 0 | 0.0 | 919M| 975 | - |1923 |8624 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
780.45/780.55 c 733s| 1400k|832282 | 0 | 0.0 | 926M| 975 | - |1923 |9755 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
785.26/785.34 c 737s| 1410k|838445 | 0 | 0.0 | 933M| 975 | - |1923 | 11k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
790.65/790.72 c 742s| 1420k|844146 | 0 | 0.0 | 940M| 975 | - |1923 | 12k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
797.15/797.22 c 748s| 1430k|849037 | 0 | 0.0 | 947M| 975 | - |1923 | 15k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
805.16/805.24 c 756s| 1440k|853045 | 0 | 0.0 | 955M| 975 | - |1923 | 18k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
815.66/815.75 c 766s| 1450k|856012 | 0 | 0.0 | 960M| 975 | - |1923 | 19k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
819.95/820.07 c 770s| 1460k|863831 | 0 | 0.0 | 963M| 975 | - |1923 |9760 | 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
823.86/823.96 c 774s| 1470k|871306 | 0 | 0.0 | 969M| 975 | - |1923 |9386 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
827.85/827.97 c 777s| 1480k|878482 | 0 | 0.0 | 976M| 975 | - |1923 |9767 | 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
832.16/832.29 c 781s| 1490k|885329 | 0 | 0.0 | 983M| 975 | - |1923 | 10k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
836.96/837.06 c 786s| 1500k|891720 | 0 | 0.0 | 990M| 975 | - |1923 | 11k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
842.46/842.55 c 791s| 1510k|897481 | 0 | 0.0 | 998M| 975 | - |1923 | 12k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
848.56/848.64 c 797s| 1520k|902609 | 0 | 0.0 |1005M| 975 | - |1923 | 14k| 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
855.76/855.88 c 803s| 1530k|906987 | 0 | 0.0 |1011M| 975 | - |1923 | 15k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
864.86/864.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
864.86/864.90 c 812s| 1540k|910218 | 0 | 0.0 |1018M| 975 | - |1923 | 19k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.95/871.02 c 818s| 1550k|915881 | 0 | 0.0 |1021M| 975 | - |1923 | 10k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
874.25/874.31 c 821s| 1560k|923598 | 0 | 0.0 |1027M| 975 | - |1923 |8566 | 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
877.65/877.73 c 824s| 1570k|931023 | 0 | 0.0 |1033M| 975 | - |1923 |9287 | 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
881.35/881.45 c 827s| 1580k|938064 | 0 | 0.0 |1040M| 975 | - |1923 | 10k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
885.46/885.59 c 831s| 1590k|944655 | 0 | 0.0 |1048M| 975 | - |1923 | 10k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
889.86/889.98 c 835s| 1600k|950787 | 0 | 0.0 |1055M| 975 | - |1923 | 11k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
894.75/894.82 c 840s| 1610k|956369 | 0 | 0.0 |1062M| 975 | - |1923 | 12k| 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
900.35/900.44 c 845s| 1620k|961222 | 0 | 0.0 |1070M| 975 | - |1923 | 15k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
906.85/906.99 c 851s| 1630k|965358 | 0 | 0.0 |1077M| 975 | - |1923 | 17k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
915.45/915.54 c 859s| 1640k|967817 | 0 | 0.0 |1083M| 975 | - |1923 | 20k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
919.85/919.99 c 863s| 1650k|974923 | 0 | 0.0 |1085M| 975 | - |1923 |9653 | 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
923.25/923.37 c 866s| 1660k|982311 | 0 | 0.0 |1092M| 975 | - |1923 |9398 | 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
926.85/926.99 c 870s| 1670k|989398 | 0 | 0.0 |1099M| 975 | - |1923 | 10k| 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.86/930.93 c 873s| 1680k|996082 | 0 | 0.0 |1107M| 975 | - |1923 | 11k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
935.26/935.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.26/935.33 c 877s| 1690k| 1002k| 0 | 0.0 |1114M| 975 | - |1923 | 12k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
940.06/940.18 c 882s| 1700k| 1008k| 0 | 0.0 |1122M| 975 | - |1923 | 14k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
945.75/945.86 c 887s| 1710k| 1013k| 0 | 0.0 |1129M| 975 | - |1923 | 15k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
952.57/952.62 c 894s| 1720k| 1017k| 0 | 0.0 |1137M| 975 | - |1923 | 18k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
963.86/963.91 c 904s| 1730k| 1019k| 0 | 0.0 |1143M| 975 | - |1923 | 22k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
970.26/970.33 c 910s| 1740k| 1026k| 0 | 0.0 |1144M| 975 | - |1923 |9780 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
973.96/974.09 c 914s| 1750k| 1034k| 0 | 0.0 |1151M| 975 | - |1923 |9216 | 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
978.05/978.10 c 918s| 1760k| 1041k| 0 | 0.0 |1157M| 975 | - |1923 | 10k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
982.66/982.76 c 922s| 1770k| 1048k| 0 | 0.0 |1165M| 975 | - |1923 | 11k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
987.96/988.05 c 927s| 1780k| 1054k| 0 | 0.0 |1172M| 975 | - |1923 | 13k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
993.86/993.99 c 932s| 1790k| 1060k| 0 | 0.0 |1179M| 975 | - |1923 | 14k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.66/1000.70 c 939s| 1800k| 1066k| 0 | 0.0 |1186M| 975 | - |1923 | 15k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1008.75/1008.84 c 947s| 1810k| 1070k| 0 | 0.0 |1193M| 975 | - |1923 | 16k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1020.26/1020.31 c 957s| 1820k| 1072k| 0 | 0.0 |1199M| 975 | - |1923 | 19k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1030.16/1030.24 c 967s| 1830k| 1076k| 0 | 0.0 |1203M| 975 | - |1923 | 16k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1039.06/1039.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.06/1039.14 c 976s| 1840k| 1081k| 0 | 0.0 |1210M| 975 | - |1923 | 16k| 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1048.27/1048.39 c 985s| 1850k| 1086k| 0 | 0.0 |1216M| 975 | - |1923 | 17k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1058.07/1058.16 c 994s| 1860k| 1090k| 0 | 0.0 |1223M| 975 | - |1923 | 19k| 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1068.26/1068.36 c 1004s| 1870k| 1095k| 0 | 0.0 |1229M| 975 | - |1923 | 21k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1078.96/1079.03 c 1014s| 1880k| 1099k| 0 | 0.0 |1236M| 975 | - |1923 | 22k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1090.66/1090.72 c 1026s| 1890k| 1104k| 0 | 0.0 |1243M| 975 | - |1923 | 23k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1103.27/1103.34 c 1038s| 1900k| 1108k| 0 | 0.0 |1249M| 975 | - |1923 | 26k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1115.66/1115.72 c 1050s| 1910k| 1112k| 0 | 0.0 |1256M| 975 | - |1923 | 27k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1129.86/1129.91 c 1064s| 1920k| 1116k| 0 | 0.0 |1262M| 975 | - |1923 | 28k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1143.36/1143.46 c 1077s| 1930k| 1120k| 0 | 0.0 |1269M| 975 | - |1923 | 29k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1159.55/1159.67 c 1093s| 1940k| 1124k| 0 | 0.0 |1275M| 975 | - |1923 | 31k| 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1174.66/1174.76 c 1107s| 1950k| 1128k| 0 | 0.0 |1281M| 975 | - |1923 | 31k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1192.16/1192.27 c 1124s| 1960k| 1131k| 0 | 0.0 |1287M| 975 | - |1923 | 33k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1208.46/1208.52 c 1140s| 1970k| 1135k| 0 | 0.0 |1293M| 975 | - |1923 | 33k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1226.66/1226.78 c 1158s| 1980k| 1138k| 0 | 0.0 |1299M| 975 | - |1923 | 35k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1244.86/1244.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.86/1244.93 c 1176s| 1990k| 1141k| 0 | 0.0 |1305M| 975 | - |1923 | 36k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1262.26/1262.36 c 1193s| 2000k| 1145k| 0 | 0.0 |1311M| 975 | - |1923 | 36k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1282.16/1282.22 c 1212s| 2010k| 1147k| 0 | 0.0 |1317M| 975 | - |1923 | 38k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1300.36/1300.44 c 1230s| 2020k| 1151k| 0 | 0.0 |1322M| 975 | - |1923 | 38k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1318.37/1318.47 c 1248s| 2030k| 1154k| 0 | 0.0 |1328M| 975 | - |1923 | 39k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.36/1341.43 c 1270s| 2040k| 1156k| 0 | 0.0 |1334M| 975 | - |1923 | 42k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1362.06/1362.18 c 1291s| 2050k| 1160k| 0 | 0.0 |1340M| 975 | - |1923 | 42k| 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1381.96/1382.09 c 1310s| 2060k| 1163k| 0 | 0.0 |1346M| 975 | - |1923 | 42k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1407.98/1408.01 c 1336s| 2070k| 1165k| 0 | 0.0 |1351M| 975 | - |1923 | 45k| 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1429.37/1429.46 c 1357s| 2080k| 1168k| 0 | 0.0 |1357M| 975 | - |1923 | 45k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1450.57/1450.63 c 1378s| 2090k| 1171k| 0 | 0.0 |1362M| 975 | - |1923 | 46k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1477.28/1477.37 c 1404s| 2100k| 1173k| 0 | 0.0 |1367M| 975 | - |1923 | 48k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1501.16/1501.24 c 1428s| 2110k| 1175k| 0 | 0.0 |1373M| 975 | - |1923 | 48k| 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1523.17/1523.25 c 1449s| 2120k| 1179k| 0 | 0.0 |1379M| 975 | - |1923 | 49k| 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1549.37/1549.47 c 1475s| 2130k| 1181k| 0 | 0.0 |1384M| 975 | - |1923 | 51k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1576.48/1576.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.48/1576.57 c 1502s| 2140k| 1182k| 0 | 0.0 |1389M| 975 | - |1923 | 52k| 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1600.87/1600.94 c 1526s| 2150k| 1185k| 0 | 0.0 |1395M| 975 | - |1923 | 53k| 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1625.48/1625.57 c 1550s| 2160k| 1188k| 0 | 0.0 |1401M| 975 | - |1923 | 54k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1659.18/1659.21 c 1583s| 2170k| 1189k| 0 | 0.0 |1404M| 975 | - |1923 | 54k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1685.88/1685.95 c 1610s| 2180k| 1191k| 0 | 0.0 |1410M| 975 | - |1923 | 55k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1712.27/1712.36 c 1636s| 2190k| 1193k| 0 | 0.0 |1416M| 975 | - |1923 | 56k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1746.38/1746.47 c 1669s| 2200k| 1194k| 0 | 0.0 |1419M| 975 | - |1923 | 57k| 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1775.47/1775.51 c 1698s| 2210k| 1196k| 0 | 0.0 |1424M| 975 | - |1923 | 58k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.08/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.10 c
1800.08/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.10 c Solving Time (sec) : 1722.40
1800.08/1800.10 c Solving Nodes : 2218957
1800.08/1800.10 c Primal Bound : +2.00000000000000e+00 (11 solutions)
1800.08/1800.10 c Dual Bound : +0.00000000000000e+00
1800.08/1800.10 c Gap : infinite
1800.08/1800.11 s SATISFIABLE
1800.08/1800.11 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.08/1800.11 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.08/1800.11 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 x168
1800.08/1800.11 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.08/1800.11 v -x146 -x145 -x144 x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.08/1800.11 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.08/1800.11 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.08/1800.11 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.08/1800.11 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.08/1800.11 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.08/1800.11 v -x1
1800.08/1800.11 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.11 c Solving Time : 1722.40
1800.08/1800.11 c Original Problem :
1800.08/1800.11 c Problem name : HOME/instance-2694169-1277909000.wbo
1800.08/1800.11 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.08/1800.11 c Constraints : 3619 initial, 3619 maximal
1800.08/1800.11 c Presolved Problem :
1800.08/1800.11 c Problem name : t_HOME/instance-2694169-1277909000.wbo
1800.08/1800.11 c Variables : 1923 (1077 binary, 0 integer, 0 implicit integer, 846 continuous)
1800.08/1800.11 c Constraints : 3355 initial, 59330 maximal
1800.08/1800.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.11 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.08/1800.11 c dualfix : 0.01 65 0 0 0 0 0 0 0
1800.08/1800.11 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.11 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.11 c probing : 0.04 0 0 0 0 0 0 0 0
1800.08/1800.11 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.08/1800.11 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.11 c linear : 0.06 0 0 0 926 0 199 133 0
1800.08/1800.11 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.11 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.11 c root node : - 834 - - 1668 - - - -
1800.08/1800.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.11 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.11 c indicator : 846 0 3550989 0 1127011 13 678193 0 0 0
1800.08/1800.11 c setppc : 16 0 6607292 0 1843659 115166 6047258 0 0 0
1800.08/1800.11 c linear : 846 0 6493946 0 1844123 257967 23622928 0 0 0
1800.08/1800.11 c logicor : 1647+ 0 4922191 0 1844128 225790 12962730 0 0 0
1800.08/1800.11 c bounddisjunction : 0+ 0 296099 0 0 3 214 0 0 0
1800.08/1800.11 c countsols : 0 0 0 0 1844128 0 0 0 0 0
1800.08/1800.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.11 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.11 c indicator : 1.63 0.00 0.84 0.00 0.79
1800.08/1800.11 c setppc : 33.12 0.00 30.09 0.00 3.03
1800.08/1800.11 c linear : 147.06 0.00 145.62 0.00 1.44
1800.08/1800.11 c logicor : 721.72 0.00 639.14 0.00 82.58
1800.08/1800.11 c bounddisjunction : 0.48 0.00 0.48 0.00 0.00
1800.08/1800.11 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.11 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.11 c vbounds : 0.01 2 0 0
1800.08/1800.11 c rootredcost : 0.03 0 0 0
1800.08/1800.11 c pseudoobj : 109.11 6609117 160 675307
1800.08/1800.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.11 c propagation : 27.90 599086 598788 3165325 22.7 57017 12.9 -
1800.08/1800.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.11 c pseudo solution : 0.00 13 13 25 8.5 16 7.7 -
1800.08/1800.11 c applied globally : - - - 1817532 19.9 - - -
1800.08/1800.11 c applied locally : - - - 0 0.0 - - -
1800.08/1800.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.11 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.11 c redcost : 0.00 0 0 0 0 0
1800.08/1800.11 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.11 c intobj : 0.00 0 0 0 0 0
1800.08/1800.11 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.11 c gomory : 0.00 0 0 0 0 0
1800.08/1800.11 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.11 c cmir : 0.00 0 0 0 0 0
1800.08/1800.11 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.11 c clique : 0.00 0 0 0 0 0
1800.08/1800.11 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.11 c mcf : 0.00 0 0 0 0 0
1800.08/1800.11 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.11 c Pricers : Time Calls Vars
1800.08/1800.11 c problem variables: 0.00 0 0
1800.08/1800.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.11 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.11 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.11 c inference : 22.17 1844117 0 0 0 0 3688234
1800.08/1800.11 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.11 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.11 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.11 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.11 c random : 0.00 0 0 0 0 0 0
1800.08/1800.11 c Primal Heuristics : Time Calls Found
1800.08/1800.11 c LP solutions : 0.00 - 0
1800.08/1800.11 c pseudo solutions : 0.01 - 11
1800.08/1800.11 c oneopt : 0.09 0 0
1800.08/1800.11 c trivial : 0.00 2 0
1800.08/1800.11 c simplerounding : 0.00 0 0
1800.08/1800.11 c zirounding : 0.00 0 0
1800.08/1800.11 c rounding : 0.00 0 0
1800.08/1800.11 c shifting : 0.00 0 0
1800.08/1800.11 c intshifting : 0.00 0 0
1800.08/1800.11 c twoopt : 0.00 0 0
1800.08/1800.11 c fixandinfer : 0.00 0 0
1800.08/1800.11 c feaspump : 0.00 0 0
1800.08/1800.11 c coefdiving : 0.00 0 0
1800.08/1800.11 c pscostdiving : 0.00 0 0
1800.08/1800.11 c fracdiving : 0.00 0 0
1800.08/1800.11 c veclendiving : 0.00 0 0
1800.08/1800.11 c intdiving : 0.00 0 0
1800.08/1800.11 c actconsdiving : 0.00 0 0
1800.08/1800.11 c objpscostdiving : 0.00 0 0
1800.08/1800.11 c rootsoldiving : 0.00 0 0
1800.08/1800.11 c linesearchdiving : 0.00 0 0
1800.08/1800.11 c guideddiving : 0.00 0 0
1800.08/1800.11 c octane : 0.00 0 0
1800.08/1800.11 c rens : 0.00 0 0
1800.08/1800.11 c rins : 0.00 0 0
1800.08/1800.11 c localbranching : 0.00 0 0
1800.08/1800.11 c mutation : 0.00 0 0
1800.08/1800.11 c crossover : 0.00 0 0
1800.08/1800.11 c dins : 0.00 0 0
1800.08/1800.11 c undercover : 0.00 0 0
1800.08/1800.11 c nlp : 0.00 0 0
1800.08/1800.11 c trysol : 0.03 1 0
1800.08/1800.11 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.11 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.11 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.11 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.11 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.11 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.11 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.11 c (at root node) : - 0 0 0.00 -
1800.08/1800.11 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.11 c B&B Tree :
1800.08/1800.11 c number of runs : 1
1800.08/1800.11 c nodes : 2218957
1800.08/1800.11 c nodes (total) : 2218957
1800.08/1800.11 c nodes left : 1198718
1800.08/1800.11 c max depth : 975
1800.08/1800.11 c max depth (total): 975
1800.08/1800.11 c backtracks : 339658 (15.3%)
1800.08/1800.11 c delayed cutoffs : 264384
1800.08/1800.11 c repropagations : 1212713 (12802151 domain reductions, 224283 cutoffs)
1800.08/1800.11 c avg switch length: 17.28
1800.08/1800.11 c switching time : 520.83
1800.08/1800.11 c Solution :
1800.08/1800.11 c Solutions found : 11 (11 improvements)
1800.08/1800.11 c First Solution : +1.73000000000000e+02 (in run 1, after 2570 nodes, 0.62 seconds, depth 512, found by <relaxation>)
1800.08/1800.11 c Primal Bound : +2.00000000000000e+00 (in run 1, after 150826 nodes, 56.55 seconds, depth 61, found by <relaxation>)
1800.08/1800.11 c Dual Bound : +0.00000000000000e+00
1800.08/1800.11 c Gap : infinite
1800.08/1800.11 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.11 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-2694169-1277909000/watcher-2694169-1277909000 -o /tmp/evaluation-result-2694169-1277909000/solver-2694169-1277909000 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694169-1277909000.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.60 2.27 2.10 4/199 17513 /proc/meminfo: memFree=30811200/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=8160 CPUtime=0 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 1543 0 0 0 0 0 0 0 24 0 1 0 132195155 8355840 1465 4089446400 4194304 7136930 140736899981904 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17513/statm: 2073 1472 275 719 0 1352 0 [startup+0.0252041 s] /proc/loadavg: 2.60 2.27 2.10 4/199 17513 /proc/meminfo: memFree=30811200/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=11844 CPUtime=0.02 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 2466 0 0 0 2 0 0 0 24 0 1 0 132195155 12128256 2388 4089446400 4194304 7136930 140736899981904 18446744073709551615 5649153 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17513/statm: 2961 2388 275 719 0 2240 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11844 [startup+0.100214 s] /proc/loadavg: 2.60 2.27 2.10 4/199 17513 /proc/meminfo: memFree=30811200/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=21432 CPUtime=0.09 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 6304 0 0 0 8 1 0 0 25 0 1 0 132195155 21946368 4587 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17513/statm: 5358 4595 358 719 0 4637 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21432 [startup+0.301193 s] /proc/loadavg: 2.60 2.27 2.10 4/199 17513 /proc/meminfo: memFree=30811200/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=24140 CPUtime=0.29 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 9067 0 0 0 27 2 0 0 25 0 1 0 132195155 24719360 5294 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17513/statm: 6035 5294 391 719 0 5314 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24140 [startup+0.701101 s] /proc/loadavg: 2.60 2.27 2.10 4/199 17513 /proc/meminfo: memFree=30811200/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=25992 CPUtime=0.69 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 9540 0 0 0 64 5 0 0 25 0 1 0 132195155 26615808 5767 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 6498 5767 395 719 0 5777 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25992 [startup+1.50095 s] /proc/loadavg: 2.60 2.27 2.10 4/200 17515 /proc/meminfo: memFree=30788252/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=27788 CPUtime=1.48 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 10015 0 0 0 138 10 0 0 25 0 1 0 132195155 28454912 6242 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 6947 6242 395 719 0 6226 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 27788 [startup+3.10066 s] /proc/loadavg: 2.60 2.27 2.10 4/200 17515 /proc/meminfo: memFree=30783664/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=33968 CPUtime=3.08 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 11587 0 0 0 281 27 0 0 25 0 1 0 132195155 34783232 7814 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 8492 7814 395 719 0 7771 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33968 [startup+6.30108 s] /proc/loadavg: 2.63 2.28 2.10 4/200 17515 /proc/meminfo: memFree=30771724/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=46408 CPUtime=6.29 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 14566 0 0 0 575 54 0 0 25 0 1 0 132195155 47521792 10793 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 11602 10793 398 719 0 10881 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46408 [startup+12.7009 s] /proc/loadavg: 2.66 2.29 2.11 4/200 17515 /proc/meminfo: memFree=30750160/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=64768 CPUtime=12.68 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 18961 0 0 0 1155 113 0 0 25 0 1 0 132195155 66322432 15188 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 16192 15188 398 719 0 15471 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 64768 [startup+25.5005 s] /proc/loadavg: 2.73 2.33 2.12 4/200 17516 /proc/meminfo: memFree=30716880/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=98832 CPUtime=25.48 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 27547 0 0 0 2319 229 0 0 25 0 1 0 132195155 101203968 23774 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 24708 23774 398 719 0 23987 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 98832 [startup+51.1008 s] /proc/loadavg: 2.82 2.38 2.14 4/200 17516 /proc/meminfo: memFree=30667240/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=143492 CPUtime=51.09 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 38315 0 0 0 4704 405 0 0 25 0 1 0 132195155 146935808 34542 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 35873 34542 398 719 0 35152 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 143492 [startup+102.306 s] /proc/loadavg: 2.77 2.44 2.18 4/200 17518 /proc/meminfo: memFree=30526324/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=291404 CPUtime=102.29 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 71699 0 0 0 9436 793 0 0 25 0 1 0 132195155 298397696 67926 4089446400 4194304 7136930 140736899981904 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 72851 67926 398 719 0 72130 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 291404 [startup+162.3 s] /proc/loadavg: 2.76 2.50 2.21 4/200 17519 /proc/meminfo: memFree=30411928/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=401624 CPUtime=162.28 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 98451 0 0 0 14959 1269 0 0 25 0 1 0 132195155 411262976 94678 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 100406 94678 398 719 0 99685 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 401624 [startup+222.3 s] /proc/loadavg: 2.87 2.57 2.25 4/200 17520 /proc/meminfo: memFree=30338204/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=468824 CPUtime=222.28 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 115345 0 0 0 20616 1612 0 0 25 0 1 0 132195155 480075776 111572 4089446400 4194304 7136930 140736899981904 18446744073709551615 4926094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 117206 111572 398 719 0 116485 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 468824 [startup+282.301 s] /proc/loadavg: 2.91 2.63 2.29 4/200 17522 /proc/meminfo: memFree=30276652/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=522128 CPUtime=282.29 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 128788 0 0 0 26355 1874 0 0 25 0 1 0 132195155 534659072 125015 4089446400 4194304 7136930 140736899981904 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 130532 125015 398 719 0 129811 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 522128 [startup+342.301 s] /proc/loadavg: 3.36 2.78 2.36 4/200 17524 /proc/meminfo: memFree=30242108/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=552644 CPUtime=342.29 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 136475 0 0 0 32145 2084 0 0 25 0 1 0 132195155 565907456 132702 4089446400 4194304 7136930 140736899981904 18446744073709551615 5000303 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 138161 132702 398 719 0 137440 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 552644 [startup+402.301 s] /proc/loadavg: 3.04 2.79 2.38 4/200 17526 /proc/meminfo: memFree=30219976/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=569828 CPUtime=402.29 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 140702 0 0 0 37972 2257 0 0 25 0 1 0 132195155 583503872 136929 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 142457 136929 398 719 0 141736 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 569828 [startup+462.301 s] /proc/loadavg: 2.87 2.78 2.40 4/200 17527 /proc/meminfo: memFree=30155928/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=627968 CPUtime=462.26 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 155497 0 0 0 43635 2591 0 0 25 0 1 0 132195155 643039232 151724 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17513/statm: 156992 151724 398 719 0 156271 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 627968 [startup+522.301 s] /proc/loadavg: 2.87 2.80 2.43 4/200 17528 /proc/meminfo: memFree=30086304/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=702436 CPUtime=522.25 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 172252 0 0 0 49292 2933 0 0 25 0 1 0 132195155 719294464 168479 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 175609 168479 398 719 0 174888 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 702436 [startup+582.301 s] /proc/loadavg: 2.76 2.77 2.45 3/200 17530 /proc/meminfo: memFree=29992864/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=791184 CPUtime=582.25 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 194779 0 0 0 54859 3366 0 0 25 0 1 0 132195155 810172416 191006 4089446400 4194304 7136930 140736899981904 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 197796 191006 398 719 0 197075 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 791184 [startup+642.301 s] /proc/loadavg: 2.72 2.76 2.46 4/200 17532 /proc/meminfo: memFree=29928444/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=849756 CPUtime=642.25 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 209649 0 0 0 60495 3730 0 0 25 0 1 0 132195155 870150144 205876 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 212439 205876 398 719 0 211718 0 Current children cumulated CPU time (s) 642.25 Current children cumulated vsize (KiB) 849756 [startup+702.301 s] ################ # More data... # ################ /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 333976 0 0 0 99812 6414 0 0 25 0 1 0 132195155 1394274304 330203 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 340399 330203 398 719 0 339678 0 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (KiB) 1361596 [startup+1122.3 s] /proc/loadavg: 2.85 2.82 2.59 4/200 17614 /proc/meminfo: memFree=29457944/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1393052 CPUtime=1122.26 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 341981 0 0 0 105624 6602 0 0 25 0 1 0 132195155 1426485248 338208 4089446400 4194304 7136930 140736899981904 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 348263 338208 398 719 0 347542 0 Current children cumulated CPU time (s) 1122.26 Current children cumulated vsize (KiB) 1393052 [startup+1182.3 s] /proc/loadavg: 2.89 2.84 2.61 4/200 17616 /proc/meminfo: memFree=29426884/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1421388 CPUtime=1182.26 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 349042 0 0 0 111471 6755 0 0 25 0 1 0 132195155 1455501312 345269 4089446400 4194304 7136930 140736899981904 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 355347 345269 398 719 0 354626 0 Current children cumulated CPU time (s) 1182.26 Current children cumulated vsize (KiB) 1421388 [startup+1242.3 s] /proc/loadavg: 2.85 2.83 2.62 4/200 17618 /proc/meminfo: memFree=29395688/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1451904 CPUtime=1242.26 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 356303 0 0 0 117336 6890 0 0 25 0 1 0 132195155 1486749696 352530 4089446400 4194304 7136930 140736899981904 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 362976 352530 398 719 0 362255 0 Current children cumulated CPU time (s) 1242.26 Current children cumulated vsize (KiB) 1451904 [startup+1302.3 s] /proc/loadavg: 2.87 2.85 2.64 4/200 17620 /proc/meminfo: memFree=29375152/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1467624 CPUtime=1302.27 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 360266 0 0 0 123212 7015 0 0 25 0 1 0 132195155 1502846976 356493 4089446400 4194304 7136930 140736899981904 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 366906 356493 398 719 0 366185 0 Current children cumulated CPU time (s) 1302.27 Current children cumulated vsize (KiB) 1467624 [startup+1362.3 s] /proc/loadavg: 2.84 2.84 2.65 4/200 17621 /proc/meminfo: memFree=29353328/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1485744 CPUtime=1362.27 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 364763 0 0 0 129101 7126 0 0 25 0 1 0 132195155 1521401856 360990 4089446400 4194304 7136930 140736899981904 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 371436 360990 398 719 0 370715 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 1485744 [startup+1422.31 s] /proc/loadavg: 3.12 2.90 2.68 4/200 17622 /proc/meminfo: memFree=29332540/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1503716 CPUtime=1422.27 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 369078 0 0 0 135013 7214 0 0 25 0 1 0 132195155 1539805184 365305 4089446400 4194304 7136930 140736899981904 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 375929 365305 398 719 0 375208 0 Current children cumulated CPU time (s) 1422.27 Current children cumulated vsize (KiB) 1503716 [startup+1482.3 s] /proc/loadavg: 3.14 2.96 2.71 4/200 17624 /proc/meminfo: memFree=29307416/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1524656 CPUtime=1482.26 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 374258 0 0 0 140919 7307 0 0 25 0 1 0 132195155 1561247744 370485 4089446400 4194304 7136930 140736899981904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 381164 370485 398 719 0 380443 0 Current children cumulated CPU time (s) 1482.26 Current children cumulated vsize (KiB) 1524656 [startup+1542.3 s] /proc/loadavg: 2.96 2.93 2.72 4/200 17626 /proc/meminfo: memFree=29294752/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1532948 CPUtime=1542.27 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 376271 0 0 0 146824 7403 0 0 25 0 1 0 132195155 1569738752 372498 4089446400 4194304 7136930 140736899981904 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 383237 372498 398 719 0 382516 0 Current children cumulated CPU time (s) 1542.27 Current children cumulated vsize (KiB) 1532948 [startup+1602.3 s] /proc/loadavg: 2.98 2.94 2.73 4/200 17628 /proc/meminfo: memFree=29279844/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1544572 CPUtime=1602.27 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 379146 0 0 0 152724 7503 0 0 25 0 1 0 132195155 1581641728 375373 4089446400 4194304 7136930 140736899981904 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 386143 375373 398 719 0 385422 0 Current children cumulated CPU time (s) 1602.27 Current children cumulated vsize (KiB) 1544572 [startup+1662.3 s] /proc/loadavg: 2.80 2.90 2.73 4/200 17629 /proc/meminfo: memFree=29266804/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1554740 CPUtime=1662.28 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 381751 0 0 0 158641 7587 0 0 25 0 1 0 132195155 1592053760 377978 4089446400 4194304 7136930 140736899981904 18446744073709551615 4223074 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 388685 377978 398 719 0 387964 0 Current children cumulated CPU time (s) 1662.28 Current children cumulated vsize (KiB) 1554740 [startup+1722.3 s] /proc/loadavg: 2.74 2.87 2.72 3/200 17630 /proc/meminfo: memFree=29255444/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1564180 CPUtime=1722.28 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 384033 0 0 0 164553 7675 0 0 25 0 1 0 132195155 1601720320 380260 4089446400 4194304 7136930 140736899981904 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 391045 380260 398 719 0 390324 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 1564180 [startup+1782.3 s] /proc/loadavg: 2.86 2.88 2.73 4/200 17632 /proc/meminfo: memFree=29245088/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1570480 CPUtime=1782.28 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 385664 0 0 0 170483 7745 0 0 25 0 1 0 132195155 1608171520 381891 4089446400 4194304 7136930 140736899981904 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 392620 381891 398 719 0 391899 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 1570480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.90 2.88 2.74 4/200 17632 /proc/meminfo: memFree=29240352/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1574904 CPUtime=1800.08 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 386783 0 0 0 172242 7766 0 0 25 0 1 0 132195155 1612701696 383010 4089446400 4194304 7136930 140736899981904 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17513/statm: 393726 383010 398 719 0 393005 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1574904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17513 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.90 2.88 2.74 3/201 17633 /proc/meminfo: memFree=29239972/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1575336 CPUtime=1801.37 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 386881 0 0 0 172371 7766 0 0 25 0 1 0 132195155 1613144064 383108 4089446400 4194304 7136930 140736899981904 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/17513/statm: 393834 383108 403 719 0 393113 0 Current children cumulated CPU time (s) 1801.37 Current children cumulated vsize (KiB) 1575336 [startup+1801.81 s] /proc/loadavg: 2.90 2.88 2.74 4/201 17634 /proc/meminfo: memFree=29239848/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1575336 CPUtime=1801.78 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 386881 0 0 0 172412 7766 0 0 25 0 1 0 132195155 1613144064 383108 4089446400 4194304 7136930 140736899981904 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/17513/statm: 393834 383108 403 719 0 393113 0 Current children cumulated CPU time (s) 1801.78 Current children cumulated vsize (KiB) 1575336 [startup+1802 s] /proc/loadavg: 2.90 2.88 2.74 4/201 17634 /proc/meminfo: memFree=29239848/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1575336 CPUtime=1801.97 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 386881 0 0 0 172431 7766 0 0 25 0 1 0 132195155 1613144064 383108 4089446400 4194304 7136930 140736899981904 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/17513/statm: 393834 383108 403 719 0 393113 0 Current children cumulated CPU time (s) 1801.97 Current children cumulated vsize (KiB) 1575336 [startup+1802.1 s] /proc/loadavg: 2.90 2.88 2.74 4/201 17634 /proc/meminfo: memFree=29239848/32951124 swapFree=67111528/67111528 [pid=17513] ppid=17511 vsize=1574312 CPUtime=1802.07 /proc/17513/stat : 17513 (pbscip.linux.x8) R 17511 17513 15765 0 -1 4202496 386881 0 0 0 172441 7766 0 0 25 0 1 0 132195155 1612095488 382852 4089446400 4194304 7136930 140736899981904 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/17513/statm: 393578 382852 403 719 0 392857 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 1574312 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.16 CPU time (s): 1802.14 CPU user time (s): 1724.42 CPU system time (s): 77.7142 CPU usage (%): 99.9991 Max. virtual memory (cumulated for all children) (KiB): 1575336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.42 system time used= 77.7142 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 386881 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= 3557 runsolver used 2.95755 second user time and 6.28304 second system time The end
Begin job on node147 at 2010-06-30 16:43:20 IDJOB=2694169 IDBENCH=78963 IDSOLVER=1206 FILE ID=node147/2694169-1277909000 PBS_JOBID= 11197162 Free space on /tmp= 74200 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.1900583053--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694169-1277909000/watcher-2694169-1277909000 -o /tmp/evaluation-result-2694169-1277909000/solver-2694169-1277909000 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694169-1277909000.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 56cc5d1f816d97170bd91f7584a55091 RANDOM SEED=1021834224 node147.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.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 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 : 5226.15 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.822 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.822 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.84 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.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 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.75 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.822 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.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30811356 kB Buffers: 194076 kB Cached: 1499360 kB SwapCached: 0 kB Active: 781560 kB Inactive: 1212220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30811356 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3184 kB Writeback: 0 kB AnonPages: 300484 kB Mapped: 20304 kB Slab: 80796 kB PageTables: 5268 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1658516 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= 74196 MiB End job on node147 at 2010-06-30 17:13:23