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.15 | 1802.1 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo |
| MD5SUM | a7f6c0c06b26873046d2d80874a938bb |
| 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 | 8 |
| Best CPU time to get the best result obtained on this benchmark | 801.222 |
| 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 | 1868 |
| 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 | 94981 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 94980 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 749 |
| 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-2694127-1277906694.wbo>
0.00/0.03 c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 cont) and 4576 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.00/0.09 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.00/0.10 c (round 3) 49 del vars, 134 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.11 c (round 4) 106 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2042 (4.9%) - 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 114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.16 c 2006 implications, 5 cliques
0.09/0.16 c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.16 c 1811 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1811 constraints of type <linear>
0.09/0.16 c 807 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.10
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3853 |4434 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.46 c 2.2s| 10000 | 9763 | 0 | 0.0 | 17M|1959 | - |3853 |4752 | 0 | 0 | 0 | 371 | 0 | 0.000000e+00 | -- | Inf
2.99/3.08 o 477
2.99/3.08 c * 2.8s| 13412 | 12947 | 0 | 0.0 | 19M|1959 | - |3853 |4743 | 0 | 0 | 0 | 394 | 0 | 0.000000e+00 | 4.770000e+02 | Inf
3.20/3.24 o 461
3.20/3.24 c * 2.9s| 13985 | 13491 | 0 | 0.0 | 19M|1959 | - |3853 |4807 | 0 | 0 | 0 | 502 | 0 | 0.000000e+00 | 4.610000e+02 | Inf
3.30/3.33 o 106
3.30/3.33 c * 3.0s| 14613 | 3917 | 0 | 0.0 | 16M|1959 | - |3853 |4800 | 0 | 0 | 0 | 510 | 0 | 0.000000e+00 | 1.060000e+02 | Inf
4.69/4.74 c 4.3s| 20000 | 8561 | 0 | 0.0 | 21M|1959 | - |3853 |6105 | 0 | 0 | 0 |3810 | 0 | 0.000000e+00 | 1.060000e+02 | Inf
8.49/8.54 o 99
8.49/8.54 c * 7.8s| 29553 | 15792 | 0 | 0.0 | 31M|1959 | - |3853 |6575 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
8.69/8.72 c 7.9s| 30000 | 16213 | 0 | 0.0 | 32M|1959 | - |3853 |6528 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
9.29/9.36 o 80
9.29/9.36 c * 8.5s| 31569 | 17166 | 0 | 0.0 | 33M|1959 | - |3853 |6524 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
12.20/12.20 o 76
12.20/12.20 c *11.1s| 38758 | 23358 | 0 | 0.0 | 44M|1959 | - |3853 |6654 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
12.59/12.65 c 11.6s| 40000 | 24492 | 0 | 0.0 | 46M|1959 | - |3853 |6789 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
16.29/16.38 c 14.9s| 50000 | 33450 | 0 | 0.0 | 60M|1959 | - |3853 |7490 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
18.19/18.26 o 74
18.19/18.26 c *16.6s| 54041 | 36351 | 0 | 0.0 | 62M|1959 | - |3853 |8017 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
20.20/20.29 c 18.5s| 60000 | 41399 | 0 | 0.0 | 67M|1959 | - |3853 |7824 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
24.09/24.18 c 22.1s| 70000 | 49336 | 0 | 0.0 | 75M|1959 | - |3853 |7223 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
28.40/28.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.40/28.40 c 26.0s| 80000 | 56525 | 0 | 0.0 | 85M|1959 | - |3853 |7544 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
32.99/33.03 c 30.3s| 90000 | 63170 | 0 | 0.0 | 94M|1959 | - |3853 |8175 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
38.09/38.15 c 35.1s|100000 | 69328 | 0 | 0.0 | 104M|1959 | - |3853 |9388 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
44.29/44.32 c 40.9s|110000 | 74494 | 0 | 0.0 | 113M|1959 | - |3853 | 11k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
51.89/51.95 c 48.1s|120000 | 78334 | 0 | 0.0 | 123M|1959 | - |3853 | 13k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
54.89/54.99 o 41
54.89/54.99 c *51.0s|123356 | 75387 | 0 | 0.0 | 115M|1959 | - |3853 | 15k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
54.89/55.00 o 10
54.89/55.00 c *51.0s|123359 | 72583 | 0 | 0.0 | 111M|1959 | - |3853 | 15k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
57.50/57.51 c 53.4s|130000 | 78389 | 0 | 0.0 | 114M|1959 | - |3853 |6805 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
61.60/61.67 c 57.2s|140000 | 86452 | 0 | 0.0 | 125M|1959 | - |3853 |9041 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
65.89/66.00 c 61.2s|150000 | 94634 | 0 | 0.0 | 134M|1959 | - |3853 |6729 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
69.89/69.97 c 64.8s|160000 |103110 | 0 | 0.0 | 143M|1959 | - |3853 |6829 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
73.99/74.02 c 68.5s|170000 |111468 | 0 | 0.0 | 153M|1959 | - |3853 |7306 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
78.20/78.25 c 72.4s|180000 |119687 | 0 | 0.0 | 162M|1959 | - |3853 |7779 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
83.09/83.14 c 76.9s|190000 |127435 | 0 | 0.0 | 172M|1959 | - |3853 |7822 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
87.69/87.74 c 81.2s|200000 |135131 | 0 | 0.0 | 183M|1959 | - |3853 |8112 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
92.50/92.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.50/92.58 c 85.7s|210000 |142427 | 0 | 0.0 | 193M|1959 | - |3853 |8164 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
96.20/96.20 c 89.0s|220000 |150985 | 0 | 0.0 | 203M|1959 | - |3853 |8739 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
100.69/100.71 c 93.1s|230000 |158678 | 0 | 0.0 | 213M|1959 | - |3853 |8790 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
104.69/104.77 c 96.9s|240000 |166721 | 0 | 0.0 | 223M|1959 | - |3853 | 10k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
109.00/109.05 c 101s|250000 |174823 | 0 | 0.0 | 234M|1959 | - |3853 |9714 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
113.41/113.41 c 105s|260000 |182544 | 0 | 0.0 | 243M|1959 | - |3853 |7832 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
116.60/116.62 c 108s|270000 |191024 | 0 | 0.0 | 251M|1959 | - |3853 |8561 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
120.30/120.34 c 111s|280000 |198856 | 0 | 0.0 | 260M|1959 | - |3853 |7999 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
123.70/123.71 c 114s|290000 |207166 | 0 | 0.0 | 269M|1959 | - |3853 |7840 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
126.99/127.04 c 117s|300000 |215567 | 0 | 0.0 | 277M|1959 | - |3853 |7941 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
130.40/130.46 c 120s|310000 |223857 | 0 | 0.0 | 286M|1959 | - |3853 |8433 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
134.10/134.17 c 124s|320000 |231724 | 0 | 0.0 | 295M|1959 | - |3853 |9056 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
138.19/138.24 c 127s|330000 |238926 | 0 | 0.0 | 304M|1959 | - |3853 |9514 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
142.00/142.02 c 131s|340000 |246517 | 0 | 0.0 | 312M|1959 | - |3853 |8625 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
146.20/146.28 c 135s|350000 |253410 | 0 | 0.0 | 321M|1959 | - |3853 |9697 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
149.90/149.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.90/149.96 c 138s|360000 |261475 | 0 | 0.0 | 330M|1959 | - |3853 |9119 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
154.00/154.04 c 142s|370000 |268941 | 0 | 0.0 | 338M|1959 | - |3853 |8664 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
158.29/158.31 c 146s|380000 |276167 | 0 | 0.0 | 347M|1959 | - |3853 |9550 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
163.30/163.36 c 150s|390000 |282291 | 0 | 0.0 | 354M|1959 | - |3853 |8671 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
168.00/168.00 c 155s|400000 |288993 | 0 | 0.0 | 363M|1959 | - |3853 |9431 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
171.60/171.63 c 158s|410000 |297207 | 0 | 0.0 | 371M|1959 | - |3853 |8460 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
175.30/175.34 c 161s|420000 |305163 | 0 | 0.0 | 379M|1959 | - |3853 |8815 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
179.60/179.61 c 165s|430000 |312524 | 0 | 0.0 | 388M|1959 | - |3853 |9525 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
184.60/184.64 c 170s|440000 |318810 | 0 | 0.0 | 396M|1959 | - |3853 | 10k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
189.09/189.16 c 174s|450000 |325693 | 0 | 0.0 | 403M|1959 | - |3853 |9617 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
193.50/193.56 c 178s|460000 |332819 | 0 | 0.0 | 411M|1959 | - |3853 |9397 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
197.60/197.67 c 182s|470000 |340344 | 0 | 0.0 | 418M|1959 | - |3853 |3860 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
200.60/200.64 c 185s|480000 |348881 | 0 | 0.0 | 426M|1959 | - |3853 |4133 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
204.00/204.00 c 188s|490000 |357159 | 0 | 0.0 | 434M|1959 | - |3853 |4569 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
208.60/208.60 c 192s|500000 |363467 | 0 | 0.0 | 442M|1959 | - |3853 |5827 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
213.10/213.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.10/213.14 c 196s|510000 |369865 | 0 | 0.0 | 451M|1959 | - |3853 |5943 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
217.70/217.74 c 200s|520000 |376123 | 0 | 0.0 | 459M|1959 | - |3853 |6195 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
222.40/222.49 c 205s|530000 |382229 | 0 | 0.0 | 467M|1959 | - |3853 |6806 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
227.50/227.57 c 210s|540000 |387991 | 0 | 0.0 | 476M|1959 | - |3853 |6796 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
232.70/232.72 c 214s|550000 |393630 | 0 | 0.0 | 484M|1959 | - |3853 |7246 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
238.20/238.20 c 220s|560000 |398986 | 0 | 0.0 | 492M|1959 | - |3853 |7184 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
244.00/244.08 c 225s|570000 |403960 | 0 | 0.0 | 501M|1959 | - |3853 |7076 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
250.00/250.06 c 231s|580000 |408667 | 0 | 0.0 | 509M|1959 | - |3853 |7518 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
256.10/256.18 c 236s|590000 |413230 | 0 | 0.0 | 517M|1959 | - |3853 |7856 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
262.70/262.71 c 243s|600000 |417467 | 0 | 0.0 | 525M|1959 | - |3853 |7777 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
269.90/269.97 c 250s|610000 |420915 | 0 | 0.0 | 532M|1959 | - |3853 |8515 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
277.40/277.41 c 257s|620000 |424212 | 0 | 0.0 | 539M|1959 | - |3853 |8616 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
285.80/285.89 c 265s|630000 |426481 | 0 | 0.0 | 546M|1959 | - |3853 |9428 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
295.20/295.26 c 274s|640000 |428136 | 0 | 0.0 | 552M|1959 | - |3853 | 10k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
305.20/305.22 c 283s|650000 |429420 | 0 | 0.0 | 557M|1959 | - |3853 | 11k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
315.90/315.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.90/315.97 c 294s|660000 |430327 | 0 | 0.0 | 562M|1959 | - |3853 | 13k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
326.70/326.77 c 304s|670000 |431824 | 0 | 0.0 | 563M|1959 | - |3853 |5672 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
330.30/330.30 c 307s|680000 |440115 | 0 | 0.0 | 572M|1959 | - |3853 |4816 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
333.90/333.94 c 310s|690000 |448237 | 0 | 0.0 | 581M|1959 | - |3853 |5148 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
337.60/337.64 c 314s|700000 |456252 | 0 | 0.0 | 590M|1959 | - |3853 |5664 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
341.40/341.49 c 317s|710000 |464109 | 0 | 0.0 | 599M|1959 | - |3853 |6003 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
345.30/345.34 c 321s|720000 |471956 | 0 | 0.0 | 608M|1959 | - |3853 |6213 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
349.41/349.43 c 325s|730000 |479564 | 0 | 0.0 | 618M|1959 | - |3853 |6457 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
353.60/353.64 c 328s|740000 |487015 | 0 | 0.0 | 628M|1959 | - |3853 |6790 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
357.81/357.85 c 332s|750000 |494414 | 0 | 0.0 | 637M|1959 | - |3853 |7264 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
362.30/362.36 c 336s|760000 |501533 | 0 | 0.0 | 648M|1959 | - |3853 |7848 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
367.10/367.20 c 341s|770000 |508474 | 0 | 0.0 | 658M|1959 | - |3853 |8108 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
372.31/372.38 c 346s|780000 |515009 | 0 | 0.0 | 669M|1959 | - |3853 |8780 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
377.80/377.88 c 351s|790000 |521289 | 0 | 0.0 | 681M|1959 | - |3853 |9626 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
383.91/384.00 c 356s|800000 |527145 | 0 | 0.0 | 693M|1959 | - |3853 | 10k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
391.10/391.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.10/391.10 c 363s|810000 |532295 | 0 | 0.0 | 706M|1959 | - |3853 | 12k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
397.81/397.85 c 369s|820000 |537885 | 0 | 0.0 | 714M|1959 | - |3853 |6826 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
402.10/402.16 c 373s|830000 |545281 | 0 | 0.0 | 722M|1959 | - |3853 |5390 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
405.91/405.92 c 377s|840000 |553198 | 0 | 0.0 | 731M|1959 | - |3853 |5275 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
409.60/409.64 c 380s|850000 |561163 | 0 | 0.0 | 740M|1959 | - |3853 |5355 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
413.40/413.40 c 384s|860000 |569120 | 0 | 0.0 | 749M|1959 | - |3853 |5498 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
417.01/417.08 c 387s|870000 |577154 | 0 | 0.0 | 758M|1959 | - |3853 |5370 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
420.71/420.78 c 390s|880000 |585132 | 0 | 0.0 | 767M|1959 | - |3853 |5581 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
424.51/424.52 c 394s|890000 |593049 | 0 | 0.0 | 775M|1959 | - |3853 |5520 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
428.30/428.36 c 397s|900000 |600892 | 0 | 0.0 | 785M|1959 | - |3853 |5607 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
432.10/432.18 c 401s|910000 |608729 | 0 | 0.0 | 794M|1959 | - |3853 |5670 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
436.00/436.06 c 404s|920000 |616472 | 0 | 0.0 | 803M|1959 | - |3853 |5711 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
439.90/439.99 c 408s|930000 |624156 | 0 | 0.0 | 812M|1959 | - |3853 |5876 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
444.01/444.02 c 411s|940000 |631783 | 0 | 0.0 | 821M|1959 | - |3853 |5866 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
448.10/448.11 c 415s|950000 |639381 | 0 | 0.0 | 831M|1959 | - |3853 |5987 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
452.30/452.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.30/452.34 c 419s|960000 |646777 | 0 | 0.0 | 840M|1959 | - |3853 |6126 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
456.51/456.56 c 423s|970000 |654217 | 0 | 0.0 | 849M|1959 | - |3853 |6153 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
460.91/460.95 c 427s|980000 |661461 | 0 | 0.0 | 859M|1959 | - |3853 |6258 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
465.20/465.26 c 431s|990000 |668772 | 0 | 0.0 | 868M|1959 | - |3853 |6664 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
469.61/469.64 c 435s| 1000k|676025 | 0 | 0.0 | 878M|1959 | - |3853 |6869 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
474.21/474.22 c 439s| 1010k|683115 | 0 | 0.0 | 887M|1959 | - |3853 |6945 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
478.70/478.72 c 443s| 1020k|690258 | 0 | 0.0 | 896M|1959 | - |3853 |7279 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
483.40/483.40 c 447s| 1030k|697265 | 0 | 0.0 | 906M|1959 | - |3853 |7414 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
488.11/488.10 c 452s| 1040k|704240 | 0 | 0.0 | 915M|1959 | - |3853 |7633 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
492.70/492.80 c 456s| 1050k|711181 | 0 | 0.0 | 925M|1959 | - |3853 |7723 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
497.50/497.56 c 461s| 1060k|718072 | 0 | 0.0 | 935M|1959 | - |3853 |7676 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
502.30/502.30 c 465s| 1070k|724988 | 0 | 0.0 | 944M|1959 | - |3853 |7724 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
507.22/507.24 c 469s| 1080k|731763 | 0 | 0.0 | 954M|1959 | - |3853 |8024 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
512.21/512.29 c 474s| 1090k|738431 | 0 | 0.0 | 964M|1959 | - |3853 |8275 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
517.31/517.35 c 479s| 1100k|745100 | 0 | 0.0 | 973M|1959 | - |3853 |8175 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
522.61/522.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.61/522.65 c 484s| 1110k|751609 | 0 | 0.0 | 983M|1959 | - |3853 |8107 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
528.02/528.02 c 489s| 1120k|757975 | 0 | 0.0 | 993M|1959 | - |3853 |8800 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
533.30/533.32 c 494s| 1130k|764412 | 0 | 0.0 |1002M|1959 | - |3853 |8610 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
538.81/538.84 c 499s| 1140k|770631 | 0 | 0.0 |1012M|1959 | - |3853 |8128 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
544.52/544.54 c 504s| 1150k|776703 | 0 | 0.0 |1022M|1959 | - |3853 |8587 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
550.20/550.20 c 509s| 1160k|782727 | 0 | 0.0 |1031M|1959 | - |3853 |8781 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
555.81/555.87 c 515s| 1170k|788822 | 0 | 0.0 |1041M|1959 | - |3853 |8598 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
561.41/561.41 c 520s| 1180k|795086 | 0 | 0.0 |1050M|1959 | - |3853 |8364 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
566.61/566.65 c 525s| 1190k|801584 | 0 | 0.0 |1059M|1959 | - |3853 |7812 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
571.51/571.59 c 529s| 1200k|808348 | 0 | 0.0 |1069M|1959 | - |3853 |7396 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
576.41/576.47 c 534s| 1210k|815173 | 0 | 0.0 |1078M|1959 | - |3853 |7466 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
581.21/581.23 c 538s| 1220k|822140 | 0 | 0.0 |1088M|1959 | - |3853 |7564 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
586.01/586.02 c 542s| 1230k|829095 | 0 | 0.0 |1098M|1959 | - |3853 |7775 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
590.81/590.87 c 547s| 1240k|835992 | 0 | 0.0 |1107M|1959 | - |3853 |8418 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
595.71/595.71 c 551s| 1250k|843039 | 0 | 0.0 |1117M|1959 | - |3853 |8938 | 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
600.30/600.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.30/600.38 c 556s| 1260k|850182 | 0 | 0.0 |1127M|1959 | - |3853 |9417 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
605.12/605.19 c 560s| 1270k|857321 | 0 | 0.0 |1137M|1959 | - |3853 | 10k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
610.31/610.33 c 565s| 1280k|864189 | 0 | 0.0 |1148M|1959 | - |3853 | 11k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
615.81/615.89 c 570s| 1290k|870772 | 0 | 0.0 |1158M|1959 | - |3853 | 12k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
622.11/622.13 c 576s| 1300k|876882 | 0 | 0.0 |1168M|1959 | - |3853 | 13k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
630.21/630.29 c 583s| 1310k|881640 | 0 | 0.0 |1180M|1959 | - |3853 | 16k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
636.60/636.61 c 589s| 1320k|888065 | 0 | 0.0 |1186M|1959 | - |3853 |7898 | 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
640.31/640.39 c 593s| 1330k|896184 | 0 | 0.0 |1194M|1959 | - |3853 |8191 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
644.31/644.33 c 596s| 1340k|904099 | 0 | 0.0 |1203M|1959 | - |3853 |8375 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
648.31/648.32 c 600s| 1350k|911966 | 0 | 0.0 |1213M|1959 | - |3853 |8690 | 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
652.51/652.56 c 604s| 1360k|919560 | 0 | 0.0 |1222M|1959 | - |3853 |9163 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
656.91/656.92 c 608s| 1370k|927086 | 0 | 0.0 |1232M|1959 | - |3853 |9614 | 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
661.51/661.51 c 612s| 1380k|934392 | 0 | 0.0 |1242M|1959 | - |3853 | 10k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
666.21/666.21 c 616s| 1390k|941599 | 0 | 0.0 |1252M|1959 | - |3853 | 10k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
671.31/671.35 c 621s| 1400k|948428 | 0 | 0.0 |1262M|1959 | - |3853 | 10k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
676.52/676.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.52/676.53 c 626s| 1410k|955225 | 0 | 0.0 |1272M|1959 | - |3853 | 11k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
682.21/682.22 c 631s| 1420k|961570 | 0 | 0.0 |1282M|1959 | - |3853 | 11k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
688.41/688.46 c 637s| 1430k|967573 | 0 | 0.0 |1292M|1959 | - |3853 | 12k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
695.72/695.74 c 644s| 1440k|972724 | 0 | 0.0 |1304M|1959 | - |3853 | 13k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
703.81/703.86 c 652s| 1450k|977343 | 0 | 0.0 |1312M|1959 | - |3853 | 10k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
707.61/707.64 c 655s| 1460k|985506 | 0 | 0.0 |1320M|1959 | - |3853 |9671 | 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
711.61/711.60 c 659s| 1470k|993493 | 0 | 0.0 |1329M|1959 | - |3853 | 10k| 0 | 0 | 0 |1068k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
715.71/715.74 c 662s| 1480k| 1001k| 0 | 0.0 |1338M|1959 | - |3853 | 10k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
720.02/720.05 c 666s| 1490k| 1008k| 0 | 0.0 |1347M|1959 | - |3853 | 10k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
724.61/724.68 c 671s| 1500k| 1016k| 0 | 0.0 |1356M|1959 | - |3853 | 11k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
729.61/729.65 c 675s| 1510k| 1023k| 0 | 0.0 |1366M|1959 | - |3853 | 11k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
734.92/734.97 c 680s| 1520k| 1029k| 0 | 0.0 |1376M|1959 | - |3853 | 12k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
740.61/740.68 c 686s| 1530k| 1036k| 0 | 0.0 |1386M|1959 | - |3853 | 13k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
747.02/747.03 c 692s| 1540k| 1042k| 0 | 0.0 |1396M|1959 | - |3853 | 14k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
754.62/754.61 c 699s| 1550k| 1047k| 0 | 0.0 |1407M|1959 | - |3853 | 15k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
763.81/763.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.81/763.88 c 707s| 1560k| 1051k| 0 | 0.0 |1414M|1959 | - |3853 | 13k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
767.82/767.86 c 711s| 1570k| 1059k| 0 | 0.0 |1422M|1959 | - |3853 | 11k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
771.82/771.83 c 715s| 1580k| 1067k| 0 | 0.0 |1431M|1959 | - |3853 | 11k| 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
776.01/776.00 c 719s| 1590k| 1075k| 0 | 0.0 |1439M|1959 | - |3853 | 11k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
780.21/780.25 c 722s| 1600k| 1083k| 0 | 0.0 |1448M|1959 | - |3853 | 11k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
784.72/784.73 c 727s| 1610k| 1090k| 0 | 0.0 |1458M|1959 | - |3853 | 12k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
789.21/789.24 c 731s| 1620k| 1098k| 0 | 0.0 |1467M|1959 | - |3853 | 13k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
794.11/794.13 c 735s| 1630k| 1105k| 0 | 0.0 |1476M|1959 | - |3853 | 13k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
799.31/799.31 c 740s| 1640k| 1112k| 0 | 0.0 |1485M|1959 | - |3853 | 14k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
804.71/804.73 c 745s| 1650k| 1119k| 0 | 0.0 |1495M|1959 | - |3853 | 14k| 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
810.82/810.88 c 751s| 1660k| 1125k| 0 | 0.0 |1505M|1959 | - |3853 | 16k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
818.01/818.01 c 758s| 1670k| 1131k| 0 | 0.0 |1516M|1959 | - |3853 | 17k| 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
827.91/827.92 c 767s| 1680k| 1135k| 0 | 0.0 |1527M|1959 | - |3853 | 22k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
833.92/833.93 c 773s| 1690k| 1142k| 0 | 0.0 |1532M|1959 | - |3853 | 14k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
838.11/838.16 c 776s| 1700k| 1150k| 0 | 0.0 |1540M|1959 | - |3853 | 12k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
842.21/842.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.21/842.21 c 780s| 1710k| 1158k| 0 | 0.0 |1549M|1959 | - |3853 | 13k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
846.32/846.31 c 784s| 1720k| 1166k| 0 | 0.0 |1557M|1959 | - |3853 | 13k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
850.61/850.67 c 788s| 1730k| 1173k| 0 | 0.0 |1566M|1959 | - |3853 | 14k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
855.12/855.19 c 792s| 1740k| 1181k| 0 | 0.0 |1574M|1959 | - |3853 | 14k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
860.02/860.06 c 797s| 1750k| 1188k| 0 | 0.0 |1583M|1959 | - |3853 | 15k| 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
865.21/865.20 c 801s| 1760k| 1195k| 0 | 0.0 |1592M|1959 | - |3853 | 16k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
870.62/870.64 c 807s| 1770k| 1202k| 0 | 0.0 |1601M|1959 | - |3853 | 17k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
876.72/876.74 c 812s| 1780k| 1208k| 0 | 0.0 |1610M|1959 | - |3853 | 18k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
883.61/883.62 c 819s| 1790k| 1214k| 0 | 0.0 |1618M|1959 | - |3853 | 19k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
891.52/891.58 c 826s| 1800k| 1219k| 0 | 0.0 |1627M|1959 | - |3853 | 20k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
900.32/900.38 c 835s| 1810k| 1224k| 0 | 0.0 |1633M|1959 | - |3853 | 15k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
905.02/905.00 c 839s| 1820k| 1232k| 0 | 0.0 |1641M|1959 | - |3853 | 14k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
909.21/909.29 c 843s| 1830k| 1240k| 0 | 0.0 |1649M|1959 | - |3853 | 14k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
913.82/913.81 c 847s| 1840k| 1248k| 0 | 0.0 |1658M|1959 | - |3853 | 14k| 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
918.32/918.36 c 851s| 1850k| 1256k| 0 | 0.0 |1667M|1959 | - |3853 | 15k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
923.32/923.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.32/923.30 c 856s| 1860k| 1263k| 0 | 0.0 |1676M|1959 | - |3853 | 15k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
928.32/928.37 c 861s| 1870k| 1271k| 0 | 0.0 |1685M|1959 | - |3853 | 15k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
933.52/933.55 c 865s| 1880k| 1278k| 0 | 0.0 |1693M|1959 | - |3853 | 15k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
938.51/938.52 c 870s| 1890k| 1285k| 0 | 0.0 |1702M|1959 | - |3853 | 15k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
943.82/943.82 c 875s| 1900k| 1293k| 0 | 0.0 |1711M|1959 | - |3853 | 15k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
949.11/949.12 c 880s| 1910k| 1300k| 0 | 0.0 |1720M|1959 | - |3853 | 16k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
954.32/954.36 c 885s| 1920k| 1307k| 0 | 0.0 |1728M|1959 | - |3853 | 15k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
959.82/959.88 c 890s| 1930k| 1314k| 0 | 0.0 |1737M|1959 | - |3853 | 16k| 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
964.82/964.89 c 895s| 1940k| 1322k| 0 | 0.0 |1746M|1959 | - |3853 | 16k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
969.82/969.87 c 899s| 1950k| 1329k| 0 | 0.0 |1754M|1959 | - |3853 | 15k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
974.92/974.95 c 904s| 1960k| 1337k| 0 | 0.0 |1762M|1959 | - |3853 | 16k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
979.82/979.88 c 909s| 1970k| 1344k| 0 | 0.0 |1770M|1959 | - |3853 | 16k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
984.82/984.87 c 913s| 1980k| 1352k| 0 | 0.0 |1779M|1959 | - |3853 | 16k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
989.82/989.89 c 918s| 1990k| 1359k| 0 | 0.0 |1787M|1959 | - |3853 | 16k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
994.82/994.85 c 923s| 2000k| 1367k| 0 | 0.0 |1795M|1959 | - |3853 | 16k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1000.03/1000.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.03/1000.03 c 927s| 2010k| 1374k| 0 | 0.0 |1804M|1959 | - |3853 | 17k| 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1005.32/1005.31 c 932s| 2020k| 1381k| 0 | 0.0 |1813M|1959 | - |3853 | 17k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1010.62/1010.64 c 937s| 2030k| 1389k| 0 | 0.0 |1821M|1959 | - |3853 | 17k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1015.82/1015.87 c 942s| 2040k| 1396k| 0 | 0.0 |1830M|1959 | - |3853 | 17k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1021.42/1021.41 c 947s| 2050k| 1404k| 0 | 0.0 |1839M|1959 | - |3853 | 17k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1026.82/1026.83 c 952s| 2060k| 1411k| 0 | 0.0 |1847M|1959 | - |3853 | 18k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1032.52/1032.52 c 958s| 2070k| 1418k| 0 | 0.0 |1856M|1959 | - |3853 | 18k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1038.22/1038.26 c 963s| 2080k| 1425k| 0 | 0.0 |1865M|1959 | - |3853 | 18k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1044.03/1044.04 c 969s| 2090k| 1432k| 0 | 0.0 |1874M|1959 | - |3853 | 18k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1050.12/1050.14 c 974s| 2100k| 1439k| 0 | 0.0 |1883M|1959 | - |3853 | 19k| 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1056.32/1056.35 c 980s| 2110k| 1446k| 0 | 0.0 |1892M|1959 | - |3853 | 20k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1062.93/1062.93 c 987s| 2120k| 1452k| 0 | 0.0 |1901M|1959 | - |3853 | 20k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1069.62/1069.60 c 993s| 2130k| 1459k| 0 | 0.0 |1910M|1959 | - |3853 | 21k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1076.52/1076.54 c 999s| 2140k| 1465k| 0 | 0.0 |1919M|1959 | - |3853 | 21k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1083.53/1083.51 c 1006s| 2150k| 1472k| 0 | 0.0 |1928M|1959 | - |3853 | 22k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1091.42/1091.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.42/1091.41 c 1014s| 2160k| 1478k| 0 | 0.0 |1937M|1959 | - |3853 | 22k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1099.32/1099.37 c 1021s| 2170k| 1484k| 0 | 0.0 |1946M|1959 | - |3853 | 22k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1107.93/1107.94 c 1029s| 2180k| 1489k| 0 | 0.0 |1954M|1959 | - |3853 | 23k| 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1117.52/1117.50 c 1039s| 2190k| 1494k| 0 | 0.0 |1963M|1959 | - |3853 | 23k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1127.03/1127.04 c 1048s| 2200k| 1499k| 0 | 0.0 |1972M|1959 | - |3853 | 22k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1135.72/1135.73 c 1056s| 2210k| 1504k| 0 | 0.0 |1980M|1959 | - |3853 | 19k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1142.63/1142.68 c 1063s| 2220k| 1510k| 0 | 0.0 |1988M|1959 | - |3853 | 17k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1148.12/1148.15 c 1068s| 2230k| 1517k| 0 | 0.0 |1996M|1959 | - |3853 | 17k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1153.12/1153.10 c 1072s| 2240k| 1525k| 0 | 0.0 |2005M|1959 | - |3853 | 17k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1157.82/1157.85 c 1077s| 2250k| 1532k| 0 | 0.0 |2014M|1959 | - |3853 | 18k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1162.83/1162.83 c 1081s| 2260k| 1540k| 0 | 0.0 |2023M|1959 | - |3853 | 18k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1168.02/1168.08 c 1086s| 2270k| 1547k| 0 | 0.0 |2032M|1959 | - |3853 | 19k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1173.83/1173.86 c 1092s| 2280k| 1554k| 0 | 0.0 |2041M|1959 | - |3853 | 20k| 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1180.12/1180.15 c 1098s| 2290k| 1560k| 0 | 0.0 |2050M|1959 | - |3853 | 21k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1187.13/1187.17 c 1104s| 2300k| 1566k| 0 | 0.0 |2060M|1959 | - |3853 | 22k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1195.92/1195.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.92/1195.98 c 1113s| 2310k| 1572k| 0 | 0.0 |2070M|1959 | - |3853 | 24k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1206.83/1206.83 c 1123s| 2320k| 1576k| 0 | 0.0 |2077M|1959 | - |3853 | 22k| 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1211.72/1211.70 c 1128s| 2330k| 1584k| 0 | 0.0 |2084M|1959 | - |3853 | 17k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1216.63/1216.67 c 1133s| 2340k| 1592k| 0 | 0.0 |2092M|1959 | - |3853 | 17k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1221.53/1221.52 c 1137s| 2350k| 1599k| 0 | 0.0 |2100M|1959 | - |3853 | 18k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1226.33/1226.35 c 1142s| 2360k| 1607k| 0 | 0.0 |2108M|1959 | - |3853 | 19k| 0 | 0 | 0 |1650k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1231.73/1231.74 c 1147s| 2370k| 1614k| 0 | 0.0 |2116M|1959 | - |3853 | 20k| 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1237.32/1237.34 c 1152s| 2380k| 1621k| 0 | 0.0 |2124M|1959 | - |3853 | 20k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1243.53/1243.51 c 1158s| 2390k| 1628k| 0 | 0.0 |2132M|1959 | - |3853 | 21k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1251.62/1251.67 c 1166s| 2400k| 1634k| 0 | 0.0 |2141M|1959 | - |3853 | 21k| 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1260.03/1260.08 c 1174s| 2410k| 1639k| 0 | 0.0 |2148M|1959 | - |3853 | 20k| 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1267.33/1267.39 c 1181s| 2420k| 1646k| 0 | 0.0 |2156M|1959 | - |3853 | 19k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1273.83/1273.81 c 1187s| 2430k| 1653k| 0 | 0.0 |2165M|1959 | - |3853 | 19k| 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1279.93/1279.91 c 1193s| 2440k| 1660k| 0 | 0.0 |2172M|1959 | - |3853 | 19k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1285.93/1285.97 c 1198s| 2450k| 1667k| 0 | 0.0 |2180M|1959 | - |3853 | 19k| 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1291.92/1292.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.92/1292.00 c 1204s| 2460k| 1674k| 0 | 0.0 |2188M|1959 | - |3853 | 19k| 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1297.92/1297.93 c 1210s| 2470k| 1681k| 0 | 0.0 |2195M|1959 | - |3853 | 19k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1304.13/1304.12 c 1216s| 2480k| 1688k| 0 | 0.0 |2203M|1959 | - |3853 | 19k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1310.43/1310.40 c 1222s| 2490k| 1695k| 0 | 0.0 |2210M|1959 | - |3853 | 20k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1316.74/1316.71 c 1228s| 2500k| 1702k| 0 | 0.0 |2218M|1959 | - |3853 | 20k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1324.54/1324.53 c 1235s| 2510k| 1707k| 0 | 0.0 |2227M|1959 | - |3853 | 20k| 0 | 0 | 0 |1749k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1333.43/1333.46 c 1244s| 2520k| 1713k| 0 | 0.0 |2236M|1959 | - |3853 | 21k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1343.73/1343.72 c 1254s| 2530k| 1717k| 0 | 0.0 |2245M|1959 | - |3853 | 23k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1355.24/1355.21 c 1265s| 2540k| 1721k| 0 | 0.0 |2254M|1959 | - |3853 | 24k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1366.43/1366.49 c 1276s| 2550k| 1725k| 0 | 0.0 |2259M|1959 | - |3853 | 19k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1372.03/1372.02 c 1281s| 2560k| 1733k| 0 | 0.0 |2267M|1959 | - |3853 | 18k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1377.53/1377.51 c 1286s| 2570k| 1740k| 0 | 0.0 |2275M|1959 | - |3853 | 18k| 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1383.23/1383.22 c 1291s| 2580k| 1747k| 0 | 0.0 |2283M|1959 | - |3853 | 19k| 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1390.13/1390.15 c 1298s| 2590k| 1754k| 0 | 0.0 |2292M|1959 | - |3853 | 20k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1398.33/1398.32 c 1306s| 2600k| 1759k| 0 | 0.0 |2301M|1959 | - |3853 | 21k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1407.53/1407.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.53/1407.59 c 1315s| 2610k| 1764k| 0 | 0.0 |2310M|1959 | - |3853 | 22k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1420.73/1420.74 c 1327s| 2620k| 1767k| 0 | 0.0 |2317M|1959 | - |3853 | 23k| 0 | 0 | 0 |1858k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1426.43/1426.46 c 1333s| 2630k| 1775k| 0 | 0.0 |2323M|1959 | - |3853 | 17k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1431.93/1431.97 c 1338s| 2640k| 1782k| 0 | 0.0 |2331M|1959 | - |3853 | 17k| 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1437.53/1437.50 c 1343s| 2650k| 1789k| 0 | 0.0 |2339M|1959 | - |3853 | 17k| 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1443.13/1443.19 c 1349s| 2660k| 1797k| 0 | 0.0 |2348M|1959 | - |3853 | 17k| 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1448.83/1448.85 c 1354s| 2670k| 1804k| 0 | 0.0 |2356M|1959 | - |3853 | 17k| 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1454.63/1454.66 c 1360s| 2680k| 1811k| 0 | 0.0 |2364M|1959 | - |3853 | 17k| 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1460.53/1460.54 c 1365s| 2690k| 1818k| 0 | 0.0 |2372M|1959 | - |3853 | 17k| 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1466.34/1466.35 c 1371s| 2700k| 1825k| 0 | 0.0 |2380M|1959 | - |3853 | 17k| 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1472.13/1472.17 c 1376s| 2710k| 1832k| 0 | 0.0 |2388M|1959 | - |3853 | 18k| 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1478.13/1478.19 c 1382s| 2720k| 1839k| 0 | 0.0 |2396M|1959 | - |3853 | 18k| 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1484.33/1484.30 c 1388s| 2730k| 1846k| 0 | 0.0 |2403M|1959 | - |3853 | 18k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1490.44/1490.48 c 1394s| 2740k| 1853k| 0 | 0.0 |2411M|1959 | - |3853 | 17k| 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1496.74/1496.70 c 1399s| 2750k| 1859k| 0 | 0.0 |2419M|1959 | - |3853 | 17k| 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1502.83/1502.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.83/1502.88 c 1405s| 2760k| 1866k| 0 | 0.0 |2426M|1959 | - |3853 | 18k| 0 | 0 | 0 |1944k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1509.24/1509.29 c 1411s| 2770k| 1872k| 0 | 0.0 |2433M|1959 | - |3853 | 18k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1515.74/1515.79 c 1418s| 2780k| 1878k| 0 | 0.0 |2440M|1959 | - |3853 | 17k| 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1522.44/1522.50 c 1424s| 2790k| 1884k| 0 | 0.0 |2447M|1959 | - |3853 | 17k| 0 | 0 | 0 |1966k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1529.33/1529.36 c 1430s| 2800k| 1890k| 0 | 0.0 |2455M|1959 | - |3853 | 18k| 0 | 0 | 0 |1974k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1537.13/1537.12 c 1438s| 2810k| 1896k| 0 | 0.0 |2462M|1959 | - |3853 | 19k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1546.04/1546.01 c 1446s| 2820k| 1901k| 0 | 0.0 |2470M|1959 | - |3853 | 19k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1555.24/1555.27 c 1455s| 2830k| 1905k| 0 | 0.0 |2477M|1959 | - |3853 | 20k| 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1565.63/1565.63 c 1465s| 2840k| 1910k| 0 | 0.0 |2485M|1959 | - |3853 | 22k| 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1576.84/1576.89 c 1476s| 2850k| 1914k| 0 | 0.0 |2492M|1959 | - |3853 | 23k| 0 | 0 | 0 |2031k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1589.74/1589.79 c 1489s| 2860k| 1917k| 0 | 0.0 |2498M|1959 | - |3853 | 22k| 0 | 0 | 0 |2046k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1601.23/1601.21 c 1500s| 2870k| 1920k| 0 | 0.0 |2502M|1959 | - |3853 | 19k| 0 | 0 | 0 |2060k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1609.24/1609.30 c 1507s| 2880k| 1925k| 0 | 0.0 |2508M|1959 | - |3853 | 17k| 0 | 0 | 0 |2070k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1615.84/1615.87 c 1514s| 2890k| 1932k| 0 | 0.0 |2516M|1959 | - |3853 | 18k| 0 | 0 | 0 |2078k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1622.55/1622.56 c 1520s| 2900k| 1938k| 0 | 0.0 |2524M|1959 | - |3853 | 20k| 0 | 0 | 0 |2086k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1630.93/1630.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.93/1630.90 c 1528s| 2910k| 1943k| 0 | 0.0 |2533M|1959 | - |3853 | 23k| 0 | 0 | 0 |2097k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1642.74/1642.77 c 1540s| 2920k| 1947k| 0 | 0.0 |2541M|1959 | - |3853 | 26k| 0 | 0 | 0 |2111k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1653.94/1653.98 c 1550s| 2930k| 1951k| 0 | 0.0 |2544M|1959 | - |3853 | 16k| 0 | 0 | 0 |2123k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1659.84/1659.84 c 1556s| 2940k| 1958k| 0 | 0.0 |2552M|1959 | - |3853 | 17k| 0 | 0 | 0 |2129k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1666.34/1666.35 c 1562s| 2950k| 1965k| 0 | 0.0 |2561M|1959 | - |3853 | 18k| 0 | 0 | 0 |2136k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1674.04/1674.03 c 1570s| 2960k| 1970k| 0 | 0.0 |2569M|1959 | - |3853 | 20k| 0 | 0 | 0 |2145k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1683.05/1683.05 c 1578s| 2970k| 1975k| 0 | 0.0 |2577M|1959 | - |3853 | 22k| 0 | 0 | 0 |2157k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1696.04/1696.00 c 1591s| 2980k| 1978k| 0 | 0.0 |2582M|1959 | - |3853 | 22k| 0 | 0 | 0 |2174k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1699.94/1699.97 c 1594s| 2990k| 1986k| 0 | 0.0 |2585M|1959 | - |3853 |5143 | 0 | 0 | 0 |2177k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1704.24/1704.27 c 1598s| 3000k| 1994k| 0 | 0.0 |2595M|1959 | - |3853 |7002 | 0 | 0 | 0 |2183k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1708.34/1708.38 c 1602s| 3010k| 2002k| 0 | 0.0 |2603M|1959 | - |3853 |6302 | 0 | 0 | 0 |2188k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1712.54/1712.51 c 1606s| 3020k| 2010k| 0 | 0.0 |2612M|1959 | - |3853 |6504 | 0 | 0 | 0 |2193k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1716.74/1716.78 c 1610s| 3030k| 2018k| 0 | 0.0 |2622M|1959 | - |3853 |7550 | 0 | 0 | 0 |2199k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1721.54/1721.58 c 1615s| 3040k| 2025k| 0 | 0.0 |2632M|1959 | - |3853 |9058 | 0 | 0 | 0 |2205k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1727.44/1727.45 c 1620s| 3050k| 2031k| 0 | 0.0 |2640M|1959 | - |3853 |7936 | 0 | 0 | 0 |2213k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1731.84/1731.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1731.84/1731.89 c 1624s| 3060k| 2039k| 0 | 0.0 |2650M|1959 | - |3853 | 10k| 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1735.75/1735.80 c 1628s| 3070k| 2047k| 0 | 0.0 |2658M|1959 | - |3853 |9080 | 0 | 0 | 0 |2223k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1740.64/1740.63 c 1632s| 3080k| 2054k| 0 | 0.0 |2668M|1959 | - |3853 |9021 | 0 | 0 | 0 |2230k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1745.54/1745.52 c 1637s| 3090k| 2061k| 0 | 0.0 |2677M|1959 | - |3853 | 11k| 0 | 0 | 0 |2237k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1749.24/1749.26 c 1640s| 3100k| 2070k| 0 | 0.0 |2685M|1959 | - |3853 | 10k| 0 | 0 | 0 |2241k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1753.75/1753.79 c 1645s| 3110k| 2077k| 0 | 0.0 |2694M|1959 | - |3853 | 10k| 0 | 0 | 0 |2246k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1758.75/1758.78 c 1649s| 3120k| 2084k| 0 | 0.0 |2703M|1959 | - |3853 | 12k| 0 | 0 | 0 |2253k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1763.14/1763.17 c 1653s| 3130k| 2092k| 0 | 0.0 |2711M|1959 | - |3853 | 11k| 0 | 0 | 0 |2258k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1767.64/1767.69 c 1658s| 3140k| 2099k| 0 | 0.0 |2719M|1959 | - |3853 | 11k| 0 | 0 | 0 |2263k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1772.64/1772.62 c 1662s| 3150k| 2106k| 0 | 0.0 |2728M|1959 | - |3853 | 15k| 0 | 0 | 0 |2270k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1776.94/1776.97 c 1666s| 3160k| 2114k| 0 | 0.0 |2734M|1959 | - |3853 | 11k| 0 | 0 | 0 |2275k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1781.94/1781.99 c 1671s| 3170k| 2122k| 0 | 0.0 |2742M|1959 | - |3853 | 11k| 0 | 0 | 0 |2281k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1787.74/1787.76 c 1676s| 3180k| 2128k| 0 | 0.0 |2750M|1959 | - |3853 | 12k| 0 | 0 | 0 |2288k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1792.55/1792.53 c 1681s| 3190k| 2136k| 0 | 0.0 |2758M|1959 | - |3853 | 12k| 0 | 0 | 0 |2293k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1797.94/1797.91 c 1686s| 3200k| 2142k| 0 | 0.0 |2766M|1959 | - |3853 | 14k| 0 | 0 | 0 |2300k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1687.89
1800.05/1800.00 c Solving Nodes : 3204155
1800.05/1800.00 c Primal Bound : +1.00000000000000e+01 (9 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.05 s SATISFIABLE
1800.05/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.05/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.05/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.05/1800.05 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146
1800.05/1800.05 v -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.05/1800.05 v x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.05 v -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1800.05/1800.05 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.05/1800.05 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.05/1800.05 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.05/1800.05 v -x1
1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.05 c Solving Time : 1687.89
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2694127-1277906694.wbo
1800.05/1800.05 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.05/1800.05 c Constraints : 4576 initial, 4576 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2694127-1277906694.wbo
1800.05/1800.05 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.05/1800.05 c Constraints : 4434 initial, 30107 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.05/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c linear : 0.04 0 0 0 1876 0 85 67 0
1800.05/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c root node : - 1637 - - 3274 - - - -
1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 1811 0 7791624 0 2576769 549 4345818 0 0 0
1800.05/1800.05 c setppc : 5 0 8642329 0 2761145 2882 1433301 0 0 0
1800.05/1800.05 c linear : 1811 0 8885358 0 2820448 375111 40206614 0 0 0
1800.05/1800.05 c logicor : 807+ 0 5443311 0 2820451 233746 7857516 0 0 0
1800.05/1800.05 c bounddisjunction : 0+ 0 201624 0 0 4 31302 0 0 0
1800.05/1800.05 c countsols : 0 0 0 0 2820447 0 0 0 0 0
1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c indicator : 22.24 0.00 9.71 0.00 12.53
1800.05/1800.05 c setppc : 8.08 0.00 6.95 0.00 1.13
1800.05/1800.05 c linear : 323.29 0.00 321.69 0.00 1.60
1800.05/1800.05 c logicor : 404.85 0.00 332.64 0.00 72.21
1800.05/1800.05 c bounddisjunction : 0.31 0.00 0.31 0.00 0.00
1800.05/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.05 c vbounds : 0.00 2 0 0
1800.05/1800.05 c rootredcost : 0.01 0 0 0
1800.05/1800.05 c pseudoobj : 307.77 8898926 10306 3873541
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 41.59 622049 621329 3313189 24.6 321017 11.1 -
1800.05/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c pseudo solution : 0.02 168 168 595 18.5 300 9.7 -
1800.05/1800.05 c applied globally : - - - 2302949 20.5 - - -
1800.05/1800.05 c applied locally : - - - 0 0.0 - - -
1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.05 c redcost : 0.00 0 0 0 0 0
1800.05/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.05 c intobj : 0.00 0 0 0 0 0
1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.05 c gomory : 0.00 0 0 0 0 0
1800.05/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.05 c cmir : 0.00 0 0 0 0 0
1800.05/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.05 c clique : 0.00 0 0 0 0 0
1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.05 c mcf : 0.00 0 0 0 0 0
1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.05 c Pricers : Time Calls Vars
1800.05/1800.05 c problem variables: 0.00 0 0
1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c inference : 52.32 2820438 0 0 0 0 5640876
1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c random : 0.00 0 0 0 0 0 0
1800.05/1800.05 c Primal Heuristics : Time Calls Found
1800.05/1800.05 c LP solutions : 0.00 - 0
1800.05/1800.05 c pseudo solutions : 0.03 - 9
1800.05/1800.05 c oneopt : 0.05 0 0
1800.05/1800.05 c trivial : 0.01 2 0
1800.05/1800.05 c simplerounding : 0.00 0 0
1800.05/1800.05 c zirounding : 0.00 0 0
1800.05/1800.05 c rounding : 0.00 0 0
1800.05/1800.05 c shifting : 0.00 0 0
1800.05/1800.05 c intshifting : 0.00 0 0
1800.05/1800.05 c twoopt : 0.00 0 0
1800.05/1800.05 c fixandinfer : 0.00 0 0
1800.05/1800.05 c feaspump : 0.00 0 0
1800.05/1800.05 c coefdiving : 0.00 0 0
1800.05/1800.05 c pscostdiving : 0.00 0 0
1800.05/1800.05 c fracdiving : 0.00 0 0
1800.05/1800.05 c veclendiving : 0.00 0 0
1800.05/1800.05 c intdiving : 0.00 0 0
1800.05/1800.05 c actconsdiving : 0.00 0 0
1800.05/1800.05 c objpscostdiving : 0.00 0 0
1800.05/1800.05 c rootsoldiving : 0.00 0 0
1800.05/1800.05 c linesearchdiving : 0.00 0 0
1800.05/1800.05 c guideddiving : 0.00 0 0
1800.05/1800.05 c octane : 0.00 0 0
1800.05/1800.05 c rens : 0.00 0 0
1800.05/1800.05 c rins : 0.00 0 0
1800.05/1800.05 c localbranching : 0.00 0 0
1800.05/1800.05 c mutation : 0.00 0 0
1800.05/1800.05 c crossover : 0.00 0 0
1800.05/1800.05 c dins : 0.00 0 0
1800.05/1800.05 c undercover : 0.00 0 0
1800.05/1800.05 c nlp : 0.00 0 0
1800.05/1800.05 c trysol : 0.00 1 0
1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.05 c (at root node) : - 0 0 0.00 -
1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.05 c B&B Tree :
1800.05/1800.05 c number of runs : 1
1800.05/1800.05 c nodes : 3204155
1800.05/1800.05 c nodes (total) : 3204155
1800.05/1800.05 c nodes left : 2146153
1800.05/1800.05 c max depth : 1959
1800.05/1800.05 c max depth (total): 1959
1800.05/1800.05 c backtracks : 341283 (10.7%)
1800.05/1800.05 c delayed cutoffs : 271654
1800.05/1800.05 c repropagations : 1368598 (16352048 domain reductions, 239058 cutoffs)
1800.05/1800.05 c avg switch length: 21.03
1800.05/1800.05 c switching time : 454.93
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 9 (9 improvements)
1800.05/1800.05 c First Solution : +4.77000000000000e+02 (in run 1, after 13412 nodes, 2.75 seconds, depth 1389, found by <relaxation>)
1800.05/1800.05 c Primal Bound : +1.00000000000000e+01 (in run 1, after 123359 nodes, 51.00 seconds, depth 620, found by <relaxation>)
1800.05/1800.05 c Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Gap : infinite
1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Root Iterations : 0
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694127-1277906694/watcher-2694127-1277906694 -o /tmp/evaluation-result-2694127-1277906694/solver-2694127-1277906694 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694127-1277906694.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.04 2.34 3/178 13031 /proc/meminfo: memFree=30122860/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=8280 CPUtime=0 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 1548 0 0 0 0 0 0 0 22 0 1 0 131964802 8478720 1470 4089446400 4194304 7136930 140733670029520 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13031/statm: 2070 1470 275 719 0 1349 0 [startup+0.101374 s] /proc/loadavg: 1.92 2.04 2.34 3/178 13031 /proc/meminfo: memFree=30122860/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=28312 CPUtime=0.09 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 7728 0 0 0 7 2 0 0 22 0 1 0 131964802 28991488 6268 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 7078 6268 354 719 0 6357 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28312 [startup+0.200356 s] /proc/loadavg: 1.92 2.04 2.34 3/178 13031 /proc/meminfo: memFree=30122860/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=30192 CPUtime=0.19 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 10309 0 0 0 16 3 0 0 22 0 1 0 131964802 30916608 6793 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 7548 6793 391 719 0 6827 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30192 [startup+0.300335 s] /proc/loadavg: 1.92 2.04 2.34 3/178 13031 /proc/meminfo: memFree=30122860/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=30324 CPUtime=0.29 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 10348 0 0 0 25 4 0 0 22 0 1 0 131964802 31051776 6832 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 7581 6832 391 719 0 6860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30324 [startup+0.700262 s] /proc/loadavg: 1.92 2.04 2.34 3/178 13031 /proc/meminfo: memFree=30122860/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=32112 CPUtime=0.69 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 10819 0 0 0 61 8 0 0 24 0 1 0 131964802 32882688 7303 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 8028 7303 395 719 0 7307 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32112 [startup+1.50012 s] /proc/loadavg: 1.92 2.04 2.34 3/179 13032 /proc/meminfo: memFree=30093188/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=34048 CPUtime=1.49 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 11317 0 0 0 134 15 0 0 25 0 1 0 131964802 34865152 7801 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 8512 7801 395 719 0 7791 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34048 [startup+3.10083 s] /proc/loadavg: 1.92 2.04 2.34 3/179 13032 /proc/meminfo: memFree=30091080/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=37668 CPUtime=3.09 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 12251 0 0 0 278 31 0 0 25 0 1 0 131964802 38572032 8735 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 9417 8735 395 719 0 8696 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37668 [startup+6.30025 s] /proc/loadavg: 1.93 2.04 2.33 3/179 13032 /proc/meminfo: memFree=30078756/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=50624 CPUtime=6.3 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 15463 0 0 0 570 60 0 0 25 0 1 0 131964802 51838976 11947 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 12656 11947 395 719 0 11935 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 50624 [startup+12.7011 s] /proc/loadavg: 1.93 2.04 2.33 3/179 13032 /proc/meminfo: memFree=30045252/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=75256 CPUtime=12.69 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 21389 0 0 0 1161 108 0 0 25 0 1 0 131964802 77062144 17873 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 18814 17873 398 719 0 18093 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75256 [startup+25.5008 s] /proc/loadavg: 1.95 2.03 2.33 3/179 13033 /proc/meminfo: memFree=29988904/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=116492 CPUtime=25.49 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 31323 0 0 0 2332 217 0 0 25 0 1 0 131964802 119287808 27807 4089446400 4194304 7136930 140733670029520 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 29123 27807 398 719 0 28402 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 116492 [startup+51.1012 s] /proc/loadavg: 1.96 2.03 2.32 3/179 13033 /proc/meminfo: memFree=29898588/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=171528 CPUtime=51.1 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 44559 0 0 0 4733 377 0 0 25 0 1 0 131964802 175644672 41043 4089446400 4194304 7136930 140733670029520 18446744073709551615 4925492 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 42882 41043 398 719 0 42161 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 171528 [startup+102.301 s] /proc/loadavg: 1.98 2.02 2.30 3/179 13035 /proc/meminfo: memFree=29743548/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=287292 CPUtime=102.3 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 72815 0 0 0 9462 768 0 0 25 0 1 0 131964802 294187008 69299 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 71823 69299 398 719 0 71102 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 287292 [startup+162.301 s] /proc/loadavg: 1.99 2.02 2.27 3/179 13036 /proc/meminfo: memFree=29531820/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=442388 CPUtime=162.3 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 110320 0 0 0 14934 1296 0 0 25 0 1 0 131964802 453005312 106804 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 110597 106804 398 719 0 109876 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 442388 [startup+222.306 s] /proc/loadavg: 1.99 2.01 2.26 3/179 13038 /proc/meminfo: memFree=29344156/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=564760 CPUtime=222.3 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 141325 0 0 0 20463 1767 0 0 25 0 1 0 131964802 578314240 137809 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 141190 137809 398 719 0 140469 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 564760 [startup+282.3 s] /proc/loadavg: 1.99 2.01 2.24 3/179 13039 /proc/meminfo: memFree=29186724/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=650320 CPUtime=282.3 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 162819 0 0 0 26128 2102 0 0 25 0 1 0 131964802 665927680 159303 4089446400 4194304 7136930 140733670029520 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 162580 159303 398 719 0 161859 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 650320 [startup+342.301 s] /proc/loadavg: 1.99 2.00 2.22 3/179 13041 /proc/meminfo: memFree=29072952/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=713700 CPUtime=342.3 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 176189 0 0 0 31808 2422 0 0 25 0 1 0 131964802 730828800 172673 4089446400 4194304 7136930 140733670029520 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 178425 172673 398 719 0 177704 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 713700 [startup+402.301 s] /proc/loadavg: 1.99 2.00 2.20 3/179 13043 /proc/meminfo: memFree=28862472/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=842220 CPUtime=402.3 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 207518 0 0 0 37345 2885 0 0 25 0 1 0 131964802 862433280 204002 4089446400 4194304 7136930 140733670029520 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 210555 204002 398 719 0 209834 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 842220 [startup+462.301 s] /proc/loadavg: 1.99 2.00 2.19 3/179 13044 /proc/meminfo: memFree=28679272/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=999416 CPUtime=462.3 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 246761 0 0 0 42808 3422 0 0 25 0 1 0 131964802 1023401984 243245 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 249854 243245 398 719 0 249133 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 999416 [startup+522.301 s] /proc/loadavg: 1.99 2.00 2.17 3/179 13046 /proc/meminfo: memFree=28542068/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=1131116 CPUtime=522.31 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 278235 0 0 0 48337 3894 0 0 25 0 1 0 131964802 1158262784 274719 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 282779 274719 398 719 0 282058 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1131116 [startup+582.3 s] /proc/loadavg: 1.99 2.00 2.16 3/179 13047 /proc/meminfo: memFree=28434628/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=1240452 CPUtime=582.31 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 304856 0 0 0 53904 4327 0 0 25 0 1 0 131964802 1270222848 301340 4089446400 4194304 7136930 140733670029520 18446744073709551615 4925476 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 310113 301340 398 719 0 309392 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1240452 [startup+642.3 s] /proc/loadavg: 1.99 2.00 2.15 3/179 13049 /proc/meminfo: memFree=28327944/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=1345564 CPUtime=642.31 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 331256 0 0 0 59461 4770 0 0 25 0 1 0 131964802 1377857536 327740 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 336391 327740 398 719 0 335670 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1345564 [startup+702.301 s] ################ # More data... # ################ /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 509101 0 0 0 98595 7638 0 0 25 0 1 0 131964802 2124828672 505585 4089446400 4194304 7136930 140733670029520 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 518757 505585 398 719 0 518036 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 2075028 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.08 3/179 13090 /proc/meminfo: memFree=29138556/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2138716 CPUtime=1122.32 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 525400 0 0 0 104318 7914 0 0 25 0 1 0 131964802 2190045184 521884 4089446400 4194304 7136930 140733670029520 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 534679 521884 398 719 0 533958 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 2138716 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 13091 /proc/meminfo: memFree=29047596/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2229000 CPUtime=1182.32 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 548325 0 0 0 109984 8248 0 0 25 0 1 0 131964802 2282496000 544809 4089446400 4194304 7136930 140733670029520 18446744073709551615 4644701 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 557250 544809 398 719 0 556529 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 2229000 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 13093 /proc/meminfo: memFree=28974360/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2299572 CPUtime=1242.33 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 566183 0 0 0 115678 8555 0 0 25 0 1 0 131964802 2354761728 562667 4089446400 4194304 7136930 140733670029520 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 574893 562667 398 719 0 574172 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2299572 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 13095 /proc/meminfo: memFree=28906228/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2368172 CPUtime=1302.32 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 583537 0 0 0 121399 8833 0 0 25 0 1 0 131964802 2425008128 580021 4089446400 4194304 7136930 140733670029520 18446744073709551615 5955544 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 592043 580021 398 719 0 591322 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 2368172 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 13096 /proc/meminfo: memFree=28847292/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2422560 CPUtime=1362.33 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 597228 0 0 0 127155 9078 0 0 25 0 1 0 131964802 2480701440 593712 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 605640 593712 398 719 0 604919 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2422560 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 13098 /proc/meminfo: memFree=28779048/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2489132 CPUtime=1422.33 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 614071 0 0 0 132892 9341 0 0 25 0 1 0 131964802 2548871168 610555 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 622283 610555 398 719 0 621562 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2489132 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 13099 /proc/meminfo: memFree=28698136/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2569336 CPUtime=1482.33 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 634360 0 0 0 138577 9656 0 0 25 0 1 0 131964802 2631000064 630844 4089446400 4194304 7136930 140733670029520 18446744073709551615 4210607 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 642334 630844 398 719 0 641613 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2569336 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.04 3/179 13101 /proc/meminfo: memFree=28623184/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2640464 CPUtime=1542.34 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 652382 0 0 0 144287 9947 0 0 25 0 1 0 131964802 2703835136 648866 4089446400 4194304 7136930 140733670029520 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 660116 648866 398 719 0 659395 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2640464 [startup+1602.3 s] /proc/loadavg: 2.05 2.01 2.04 3/179 13103 /proc/meminfo: memFree=28587668/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2674952 CPUtime=1602.34 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 661096 0 0 0 150084 10150 0 0 25 0 1 0 131964802 2739150848 657580 4089446400 4194304 7136930 140733670029520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 668738 657580 398 719 0 668017 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2674952 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.03 3/179 13107 /proc/meminfo: memFree=28529116/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2730848 CPUtime=1662.34 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 675238 0 0 0 155835 10399 0 0 25 0 1 0 131964802 2796388352 671722 4089446400 4194304 7136930 140733670029520 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 682712 671722 398 719 0 681991 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2730848 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 13109 /proc/meminfo: memFree=28461364/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2798272 CPUtime=1722.34 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 692180 0 0 0 161522 10712 0 0 25 0 1 0 131964802 2865430528 688664 4089446400 4194304 7136930 140733670029520 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 699568 688664 398 719 0 698847 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2798272 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 13110 /proc/meminfo: memFree=28351696/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2938676 CPUtime=1782.34 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 719371 0 0 0 167127 11107 0 0 25 0 1 0 131964802 3009204224 715855 4089446400 4194304 7136930 140733670029520 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 734669 715855 398 719 0 733948 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2938676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.02 3/179 13111 /proc/meminfo: memFree=28330356/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2959008 CPUtime=1800.05 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 724592 0 0 0 168791 11214 0 0 25 0 1 0 131964802 3030024192 721076 4089446400 4194304 7136930 140733670029520 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13031/statm: 739752 721076 398 719 0 739031 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2959008 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13031 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.00 2.00 2.02 3/180 13112 /proc/meminfo: memFree=28330224/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2959008 CPUtime=1800.75 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 724607 0 0 0 168861 11214 0 0 18 0 1 0 131964802 3030024192 721091 4089446400 4194304 7136930 140733670029520 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13031/statm: 739752 721091 403 719 0 739031 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (KiB) 2959008 [startup+1801.5 s] /proc/loadavg: 2.00 2.00 2.02 3/180 13112 /proc/meminfo: memFree=28330224/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2959008 CPUtime=1801.55 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 724607 0 0 0 168941 11214 0 0 20 0 1 0 131964802 3030024192 721091 4089446400 4194304 7136930 140733670029520 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13031/statm: 739752 721091 403 719 0 739031 0 Current children cumulated CPU time (s) 1801.55 Current children cumulated vsize (KiB) 2959008 [startup+1801.91 s] /proc/loadavg: 2.00 2.00 2.02 3/180 13112 /proc/meminfo: memFree=28330224/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2959008 CPUtime=1801.95 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 724607 0 0 0 168981 11214 0 0 21 0 1 0 131964802 3030024192 721091 4089446400 4194304 7136930 140733670029520 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13031/statm: 739752 721091 403 719 0 739031 0 Current children cumulated CPU time (s) 1801.95 Current children cumulated vsize (KiB) 2959008 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.02 3/180 13112 /proc/meminfo: memFree=28330224/32951124 swapFree=67111528/67111528 [pid=13031] ppid=13029 vsize=2959008 CPUtime=1802.05 /proc/13031/stat : 13031 (pbscip.linux.x8) R 13029 13031 12137 0 -1 4202496 724607 0 0 0 168991 11214 0 0 21 0 1 0 131964802 3030024192 721091 4089446400 4194304 7136930 140733670029520 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13031/statm: 739752 721091 403 719 0 739031 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 2959008 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.15 CPU user time (s): 1689.92 CPU system time (s): 112.235 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2959008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1689.92 system time used= 112.235 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 724607 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 18991 runsolver used 3.23151 second user time and 6.602 second system time The end
Begin job on node137 at 2010-06-30 16:04:54 IDJOB=2694127 IDBENCH=78942 IDSOLVER=1206 FILE ID=node137/2694127-1277906694 PBS_JOBID= 11197243 Free space on /tmp= 74208 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.1900570242--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-2694127-1277906694/watcher-2694127-1277906694 -o /tmp/evaluation-result-2694127-1277906694/solver-2694127-1277906694 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694127-1277906694.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7f6c0c06b26873046d2d80874a938bb RANDOM SEED=670203165 node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30123264 kB Buffers: 191672 kB Cached: 1262068 kB SwapCached: 0 kB Active: 1772240 kB Inactive: 908820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30123264 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3140 kB Writeback: 0 kB AnonPages: 1227932 kB Mapped: 16088 kB Slab: 79496 kB PageTables: 7108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1402312 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= 74204 MiB End job on node137 at 2010-06-30 16:34:56