Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.11 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-33-100-0.wbo |
| MD5SUM | 2edeaf6035297ee59e9643c9979a8871 |
| 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 | 270.287 |
| 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 | 1783 |
| 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 | 90636 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 90635 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 685 |
| 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-2694081-1277904399.wbo>
0.00/0.03 c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 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, 1931 impls, 11 clqs
0.00/0.09 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.09 c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.11 c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.12 c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.17 c (0.1s) probing: 101/1935 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.17 c 1931 implications, 11 cliques
0.09/0.17 c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints
0.09/0.17 c 1704 constraints of type <indicator>
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 1704 constraints of type <linear>
0.09/0.17 c 879 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.13
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.97
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3639 |4298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.42 o 657
1.39/1.42 c * 1.3s| 4898 | 4349 | 0 | 0.0 | 16M|1862 | - |3639 |4974 | 0 | 0 | 0 |1140 | 0 | 0.000000e+00 | 6.570000e+02 | Inf
1.49/1.50 o 646
1.49/1.50 c * 1.4s| 5087 | 4509 | 0 | 0.0 | 16M|1862 | - |3639 |4977 | 0 | 0 | 0 |1150 | 0 | 0.000000e+00 | 6.460000e+02 | Inf
1.49/1.56 o 639
1.49/1.56 c * 1.5s| 5256 | 4665 | 0 | 0.0 | 16M|1862 | - |3639 |4965 | 0 | 0 | 0 |1150 | 0 | 0.000000e+00 | 6.390000e+02 | Inf
2.10/2.11 o 226
2.10/2.11 c * 2.0s| 7175 | 5456 | 0 | 0.0 | 16M|1862 | - |3639 |4861 | 0 | 0 | 0 |1174 | 0 | 0.000000e+00 | 2.260000e+02 | Inf
2.10/2.15 o 188
2.10/2.15 c * 2.0s| 7334 | 5437 | 0 | 0.0 | 16M|1862 | - |3639 |4851 | 0 | 0 | 0 |1200 | 0 | 0.000000e+00 | 1.880000e+02 | Inf
2.10/2.17 o 154
2.10/2.17 c * 2.1s| 7409 | 5405 | 0 | 0.0 | 16M|1862 | - |3639 |4846 | 0 | 0 | 0 |1219 | 0 | 0.000000e+00 | 1.540000e+02 | Inf
2.10/2.17 o 78
2.10/2.17 c * 2.1s| 7410 | 4713 | 0 | 0.0 | 16M|1862 | - |3639 |4846 | 0 | 0 | 0 |1219 | 0 | 0.000000e+00 | 7.800000e+01 | Inf
2.79/2.86 c 2.7s| 10000 | 6939 | 0 | 0.0 | 19M|1862 | - |3639 |5259 | 0 | 0 | 0 |2515 | 0 | 0.000000e+00 | 7.800000e+01 | Inf
6.00/6.08 c 5.8s| 20000 | 14754 | 0 | 0.0 | 28M|1862 | - |3639 |6397 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
10.40/10.40 c 10.1s| 30000 | 20932 | 0 | 0.0 | 38M|1862 | - |3639 |7993 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
10.79/10.90 o 74
10.79/10.90 c *10.6s| 30640 | 20939 | 0 | 0.0 | 39M|1862 | - |3639 |8062 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
11.00/11.01 o 71
11.00/11.01 c *10.7s| 30891 | 21112 | 0 | 0.0 | 39M|1862 | - |3639 |7894 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
11.10/11.13 o 56
11.10/11.13 c *10.8s| 31159 | 21082 | 0 | 0.0 | 40M|1862 | - |3639 |7699 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
13.39/13.42 o 54
13.39/13.42 c *13.0s| 35548 | 24940 | 0 | 0.0 | 50M|1862 | - |3639 |5044 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
14.09/14.17 o 53
14.09/14.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.09/14.17 c *13.8s| 36899 | 26033 | 0 | 0.0 | 54M|1862 | - |3639 |5105 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
14.09/14.18 o 46
14.09/14.18 c *13.8s| 36900 | 25893 | 0 | 0.0 | 53M|1862 | - |3639 |5105 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
14.99/15.07 o 43
14.99/15.07 c *14.6s| 39070 | 27430 | 0 | 0.0 | 54M|1862 | - |3639 |4923 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
15.40/15.48 c 15.0s| 40000 | 28201 | 0 | 0.0 | 56M|1862 | - |3639 |5011 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
16.59/16.62 o 39
16.59/16.62 c *16.1s| 42861 | 30309 | 0 | 0.0 | 58M|1862 | - |3639 |5147 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
19.39/19.42 o 24
19.39/19.42 c *18.9s| 49996 | 35003 | 0 | 0.0 | 62M|1862 | - |3639 |5972 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
19.39/19.43 c 18.9s| 50000 | 35007 | 0 | 0.0 | 62M|1862 | - |3639 |5958 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
22.69/22.74 c 22.1s| 60000 | 43345 | 0 | 0.0 | 71M|1862 | - |3639 |5576 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
26.40/26.42 c 25.7s| 70000 | 50998 | 0 | 0.0 | 80M|1862 | - |3639 |6614 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
30.29/30.37 c 29.5s| 80000 | 58341 | 0 | 0.0 | 89M|1862 | - |3639 |7116 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
34.39/34.46 c 33.5s| 90000 | 65588 | 0 | 0.0 | 97M|1862 | - |3639 |7274 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
38.89/38.90 c 37.9s|100000 | 72397 | 0 | 0.0 | 106M|1862 | - |3639 |7504 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
43.29/43.39 c 42.2s|110000 | 79098 | 0 | 0.0 | 115M|1862 | - |3639 |8288 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
48.09/48.10 c 46.9s|120000 | 85524 | 0 | 0.0 | 124M|1862 | - |3639 |8395 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
52.89/52.94 c 51.6s|130000 | 91713 | 0 | 0.0 | 133M|1862 | - |3639 |8631 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
58.00/58.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.00/58.05 c 56.6s|140000 | 97587 | 0 | 0.0 | 142M|1862 | - |3639 |8864 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
63.29/63.34 c 61.7s|150000 |103282 | 0 | 0.0 | 151M|1862 | - |3639 |9135 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
68.79/68.84 c 67.1s|160000 |108687 | 0 | 0.0 | 161M|1862 | - |3639 |9453 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
74.79/74.85 c 73.0s|170000 |113226 | 0 | 0.0 | 170M|1862 | - |3639 |9522 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
81.99/82.02 c 80.1s|180000 |114527 | 0 | 0.0 | 174M|1862 | - |3639 |7197 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
82.89/82.95 o 22
82.89/82.95 c *81.0s|182490 |116566 | 0 | 0.0 | 175M|1862 | - |3639 |5310 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
85.29/85.39 o 20
85.29/85.39 c *83.3s|188903 |121942 | 0 | 0.0 | 181M|1862 | - |3639 |5969 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
85.79/85.88 c 83.8s|190000 |122831 | 0 | 0.0 | 183M|1862 | - |3639 |6135 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
87.40/87.42 o 8
87.40/87.42 c *85.3s|193326 |120683 | 0 | 0.0 | 176M|1862 | - |3639 |6749 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
91.59/91.66 c 89.5s|200000 |124800 | 0 | 0.0 | 183M|1862 | - |3639 |6553 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
96.89/96.96 c 94.7s|210000 |132179 | 0 | 0.0 | 197M|1862 | - |3639 |7399 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
103.40/103.45 c 101s|220000 |138285 | 0 | 0.0 | 209M|1862 | - |3639 | 10k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
108.39/108.43 o 7
108.39/108.43 c * 106s|228316 |143892 | 0 | 0.0 | 232M|1862 | - |3639 |9240 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
108.39/108.43 o 5
108.39/108.43 c * 106s|228317 |143498 | 0 | 0.0 | 230M|1862 | - |3639 |9240 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
109.39/109.46 c 107s|230000 |144732 | 0 | 0.0 | 238M|1862 | - |3639 |9523 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
116.59/116.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.59/116.62 c 114s|240000 |151201 | 0 | 0.0 | 280M|1862 | - |3639 |9564 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
123.39/123.45 c 121s|250000 |157895 | 0 | 0.0 | 318M|1862 | - |3639 |9997 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
129.49/129.59 c 127s|260000 |164619 | 0 | 0.0 | 348M|1862 | - |3639 |8229 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
133.39/133.42 c 130s|270000 |172150 | 0 | 0.0 | 355M|1862 | - |3639 |8013 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
138.89/138.93 c 136s|280000 |177522 | 0 | 0.0 | 365M|1862 | - |3639 | 10k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
142.78/142.86 c 140s|290000 |184949 | 0 | 0.0 | 373M|1862 | - |3639 |8489 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
147.09/147.19 c 144s|300000 |191748 | 0 | 0.0 | 380M|1862 | - |3639 |8030 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
151.39/151.48 c 148s|310000 |198567 | 0 | 0.0 | 388M|1862 | - |3639 |7945 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
156.09/156.14 c 153s|320000 |204881 | 0 | 0.0 | 397M|1862 | - |3639 |9503 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
160.18/160.27 c 157s|330000 |212081 | 0 | 0.0 | 405M|1862 | - |3639 |9172 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
164.18/164.28 c 160s|340000 |219348 | 0 | 0.0 | 413M|1862 | - |3639 |8712 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
168.38/168.46 c 165s|350000 |226381 | 0 | 0.0 | 420M|1862 | - |3639 |8549 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
172.39/172.46 c 168s|360000 |233609 | 0 | 0.0 | 428M|1862 | - |3639 |8335 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
176.18/176.26 c 172s|370000 |241044 | 0 | 0.0 | 436M|1862 | - |3639 |8176 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
180.08/180.14 c 176s|380000 |248387 | 0 | 0.0 | 443M|1862 | - |3639 |8221 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
184.19/184.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.19/184.22 c 180s|390000 |255526 | 0 | 0.0 | 451M|1862 | - |3639 |5011 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
187.38/187.42 c 183s|400000 |263676 | 0 | 0.0 | 459M|1862 | - |3639 |4901 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
190.49/190.52 c 186s|410000 |271764 | 0 | 0.0 | 467M|1862 | - |3639 |5002 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
194.99/195.03 c 190s|420000 |278190 | 0 | 0.0 | 475M|1862 | - |3639 |6476 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
199.48/199.56 c 195s|430000 |284618 | 0 | 0.0 | 484M|1862 | - |3639 |6995 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
204.29/204.34 c 200s|440000 |290815 | 0 | 0.0 | 492M|1862 | - |3639 |7313 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
209.29/209.33 c 204s|450000 |296811 | 0 | 0.0 | 501M|1862 | - |3639 |8130 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
214.58/214.62 c 210s|460000 |302543 | 0 | 0.0 | 509M|1862 | - |3639 |8239 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
220.39/220.48 c 215s|470000 |307688 | 0 | 0.0 | 517M|1862 | - |3639 |8768 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
226.89/226.97 c 222s|480000 |312236 | 0 | 0.0 | 526M|1862 | - |3639 |9948 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
233.59/233.68 c 228s|490000 |316764 | 0 | 0.0 | 535M|1862 | - |3639 | 10k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
240.49/240.58 c 235s|500000 |321202 | 0 | 0.0 | 544M|1862 | - |3639 | 11k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
247.50/247.59 c 242s|510000 |325629 | 0 | 0.0 | 552M|1862 | - |3639 | 10k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
254.19/254.20 c 248s|520000 |330481 | 0 | 0.0 | 560M|1862 | - |3639 | 10k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
260.89/260.95 c 255s|530000 |335033 | 0 | 0.0 | 569M|1862 | - |3639 | 12k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
267.89/267.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.89/267.94 c 262s|540000 |339462 | 0 | 0.0 | 577M|1862 | - |3639 | 11k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
274.90/274.96 c 269s|550000 |343772 | 0 | 0.0 | 585M|1862 | - |3639 | 11k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
281.99/282.02 c 276s|560000 |348275 | 0 | 0.0 | 593M|1862 | - |3639 | 11k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
288.79/288.86 c 283s|570000 |352784 | 0 | 0.0 | 602M|1862 | - |3639 | 12k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
296.69/296.74 c 290s|580000 |356158 | 0 | 0.0 | 610M|1862 | - |3639 | 12k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
305.69/305.73 c 299s|590000 |358296 | 0 | 0.0 | 619M|1862 | - |3639 | 13k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
315.29/315.35 c 309s|600000 |359741 | 0 | 0.0 | 626M|1862 | - |3639 | 12k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
325.29/325.36 c 318s|610000 |360705 | 0 | 0.0 | 633M|1862 | - |3639 | 13k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
336.69/336.71 c 330s|620000 |360013 | 0 | 0.0 | 639M|1862 | - |3639 | 13k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
348.39/348.43 c 341s|630000 |358608 | 0 | 0.0 | 644M|1862 | - |3639 | 14k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
360.39/360.42 c 353s|640000 |356308 | 0 | 0.0 | 646M|1862 | - |3639 | 14k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
372.19/372.23 c 365s|650000 |353651 | 0 | 0.0 | 649M|1862 | - |3639 | 14k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
384.79/384.90 c 377s|660000 |349847 | 0 | 0.0 | 649M|1862 | - |3639 | 15k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
398.80/398.82 c 391s|670000 |345253 | 0 | 0.0 | 646M|1862 | - |3639 | 16k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
409.49/409.57 c 402s|680000 |346212 | 0 | 0.0 | 642M|1862 | - |3639 |4781 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
413.09/413.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.09/413.17 c 405s|690000 |354026 | 0 | 0.0 | 650M|1862 | - |3639 |4665 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
416.90/416.99 c 409s|700000 |361494 | 0 | 0.0 | 659M|1862 | - |3639 |5301 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
421.20/421.30 c 413s|710000 |368364 | 0 | 0.0 | 669M|1862 | - |3639 |5926 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
425.89/425.98 c 418s|720000 |374825 | 0 | 0.0 | 678M|1862 | - |3639 |6642 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
431.00/431.02 c 423s|730000 |380941 | 0 | 0.0 | 687M|1862 | - |3639 |7315 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
432.00/432.06 o 2
432.00/432.06 c * 424s|731781 |359848 | 0 | 0.0 | 666M|1862 | - |3639 |7596 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
437.49/437.59 c 429s|740000 |363982 | 0 | 0.0 | 676M|1862 | - |3639 |8644 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
444.79/444.85 c 436s|750000 |368058 | 0 | 0.0 | 686M|1862 | - |3639 | 10k| 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
453.89/453.90 c 445s|760000 |370727 | 0 | 0.0 | 695M|1862 | - |3639 | 12k| 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
462.19/462.24 c 453s|770000 |374264 | 0 | 0.0 | 699M|1862 | - |3639 |7339 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
466.30/466.32 c 457s|780000 |381548 | 0 | 0.0 | 707M|1862 | - |3639 |7446 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
470.60/470.68 c 462s|790000 |388486 | 0 | 0.0 | 715M|1862 | - |3639 |8431 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
475.20/475.22 c 466s|800000 |395226 | 0 | 0.0 | 722M|1862 | - |3639 |9320 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
480.09/480.14 c 471s|810000 |401666 | 0 | 0.0 | 730M|1862 | - |3639 |9431 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
485.10/485.16 c 476s|820000 |407898 | 0 | 0.0 | 737M|1862 | - |3639 |9489 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
490.69/490.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.69/490.78 c 481s|830000 |413533 | 0 | 0.0 | 744M|1862 | - |3639 |9384 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
496.20/496.23 c 486s|840000 |419343 | 0 | 0.0 | 751M|1862 | - |3639 |8554 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
501.20/501.27 c 491s|850000 |425442 | 0 | 0.0 | 758M|1862 | - |3639 |8501 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
506.50/506.55 c 497s|860000 |431265 | 0 | 0.0 | 766M|1862 | - |3639 |8948 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
511.99/512.02 c 502s|870000 |436943 | 0 | 0.0 | 775M|1862 | - |3639 |9454 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
517.89/517.98 c 508s|880000 |442196 | 0 | 0.0 | 783M|1862 | - |3639 | 10k| 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
524.80/524.83 c 514s|890000 |446778 | 0 | 0.0 | 792M|1862 | - |3639 | 12k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
533.10/533.16 c 523s|900000 |450217 | 0 | 0.0 | 801M|1862 | - |3639 | 14k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
540.40/540.43 c 530s|910000 |455151 | 0 | 0.0 | 805M|1862 | - |3639 |9969 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
544.19/544.23 c 534s|920000 |462824 | 0 | 0.0 | 813M|1862 | - |3639 |9681 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
548.20/548.25 c 537s|930000 |470132 | 0 | 0.0 | 820M|1862 | - |3639 | 10k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
553.39/553.45 c 543s|940000 |476317 | 0 | 0.0 | 829M|1862 | - |3639 | 11k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
559.29/559.35 c 548s|950000 |481859 | 0 | 0.0 | 838M|1862 | - |3639 | 12k| 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
565.70/565.74 c 555s|960000 |486995 | 0 | 0.0 | 847M|1862 | - |3639 | 14k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
573.79/573.85 c 563s|970000 |490713 | 0 | 0.0 | 854M|1862 | - |3639 | 16k| 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
581.10/581.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.10/581.12 c 570s|980000 |495810 | 0 | 0.0 | 856M|1862 | - |3639 | 10k| 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
584.99/585.05 c 574s|990000 |503299 | 0 | 0.0 | 863M|1862 | - |3639 | 10k| 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
589.60/589.63 c 578s| 1000k|510114 | 0 | 0.0 | 871M|1862 | - |3639 | 10k| 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
594.70/594.74 c 583s| 1010k|516365 | 0 | 0.0 | 879M|1862 | - |3639 | 11k| 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
600.51/600.56 c 589s| 1020k|521970 | 0 | 0.0 | 887M|1862 | - |3639 | 12k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
608.30/608.38 c 596s| 1030k|525872 | 0 | 0.0 | 895M|1862 | - |3639 | 15k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
617.70/617.70 c 606s| 1040k|529118 | 0 | 0.0 | 898M|1862 | - |3639 | 15k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
622.70/622.75 c 610s| 1050k|536360 | 0 | 0.0 | 906M|1862 | - |3639 | 12k| 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
627.90/627.92 c 616s| 1060k|543059 | 0 | 0.0 | 916M|1862 | - |3639 | 12k| 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
633.90/633.97 c 621s| 1070k|548935 | 0 | 0.0 | 926M|1862 | - |3639 | 13k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
641.00/641.00 c 628s| 1080k|553973 | 0 | 0.0 | 936M|1862 | - |3639 | 15k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
649.20/649.26 c 636s| 1090k|558096 | 0 | 0.0 | 946M|1862 | - |3639 | 16k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
657.50/657.58 c 645s| 1100k|562284 | 0 | 0.0 | 953M|1862 | - |3639 | 16k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
664.00/664.03 c 651s| 1110k|568459 | 0 | 0.0 | 962M|1862 | - |3639 | 15k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
670.00/670.03 c 657s| 1120k|575189 | 0 | 0.0 | 973M|1862 | - |3639 | 15k| 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
676.20/676.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.20/676.23 c 663s| 1130k|581696 | 0 | 0.0 | 985M|1862 | - |3639 | 15k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
682.70/682.72 c 669s| 1140k|587919 | 0 | 0.0 | 997M|1862 | - |3639 | 15k| 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
689.71/689.71 c 676s| 1150k|593776 | 0 | 0.0 |1010M|1862 | - |3639 | 16k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
697.00/697.02 c 683s| 1160k|599378 | 0 | 0.0 |1023M|1862 | - |3639 | 17k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
704.60/704.65 c 691s| 1170k|604883 | 0 | 0.0 |1036M|1862 | - |3639 | 17k| 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
712.50/712.59 c 699s| 1180k|610166 | 0 | 0.0 |1049M|1862 | - |3639 | 18k| 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
721.00/721.08 c 707s| 1190k|615138 | 0 | 0.0 |1061M|1862 | - |3639 | 19k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
730.10/730.13 c 716s| 1200k|619798 | 0 | 0.0 |1074M|1862 | - |3639 | 21k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
740.60/740.67 c 726s| 1210k|623649 | 0 | 0.0 |1086M|1862 | - |3639 | 23k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
753.80/753.87 c 739s| 1220k|625929 | 0 | 0.0 |1095M|1862 | - |3639 | 24k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
760.11/760.16 c 745s| 1230k|633447 | 0 | 0.0 |1103M|1862 | - |3639 | 17k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
766.20/766.24 c 751s| 1240k|640239 | 0 | 0.0 |1114M|1862 | - |3639 | 17k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
773.31/773.39 c 758s| 1250k|646319 | 0 | 0.0 |1124M|1862 | - |3639 | 13k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
779.40/779.44 c 764s| 1260k|651813 | 0 | 0.0 |1133M|1862 | - |3639 | 13k| 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
786.20/786.25 c 771s| 1270k|656487 | 0 | 0.0 |1142M|1862 | - |3639 | 14k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.30/794.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.30/794.34 c 779s| 1280k|659983 | 0 | 0.0 |1150M|1862 | - |3639 | 15k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
802.51/802.51 c 787s| 1290k|663931 | 0 | 0.0 |1155M|1862 | - |3639 | 12k| 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
806.60/806.62 c 791s| 1300k|671518 | 0 | 0.0 |1163M|1862 | - |3639 | 12k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
810.80/810.81 c 795s| 1310k|678968 | 0 | 0.0 |1171M|1862 | - |3639 | 12k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
815.30/815.33 c 800s| 1320k|686098 | 0 | 0.0 |1179M|1862 | - |3639 | 13k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
819.91/819.94 c 804s| 1330k|693036 | 0 | 0.0 |1187M|1862 | - |3639 | 13k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
826.31/826.35 c 810s| 1340k|698231 | 0 | 0.0 |1196M|1862 | - |3639 | 14k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
833.50/833.56 c 817s| 1350k|702585 | 0 | 0.0 |1204M|1862 | - |3639 | 15k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
842.90/842.97 c 827s| 1360k|705081 | 0 | 0.0 |1212M|1862 | - |3639 | 17k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
848.40/848.49 c 832s| 1370k|711552 | 0 | 0.0 |1217M|1862 | - |3639 | 12k| 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
853.00/853.08 c 837s| 1380k|718702 | 0 | 0.0 |1226M|1862 | - |3639 | 12k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
858.10/858.18 c 842s| 1390k|725239 | 0 | 0.0 |1234M|1862 | - |3639 | 13k| 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
863.90/863.92 c 847s| 1400k|731126 | 0 | 0.0 |1243M|1862 | - |3639 | 14k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.41/870.48 c 854s| 1410k|736194 | 0 | 0.0 |1252M|1862 | - |3639 | 15k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
878.00/878.04 c 861s| 1420k|740352 | 0 | 0.0 |1260M|1862 | - |3639 | 15k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
887.40/887.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.40/887.47 c 870s| 1430k|743011 | 0 | 0.0 |1268M|1862 | - |3639 | 17k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
894.01/894.02 c 877s| 1440k|748803 | 0 | 0.0 |1273M|1862 | - |3639 | 12k| 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
898.21/898.28 c 881s| 1450k|756248 | 0 | 0.0 |1280M|1862 | - |3639 | 12k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
902.71/902.78 c 885s| 1460k|763400 | 0 | 0.0 |1288M|1862 | - |3639 | 13k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
907.51/907.51 c 890s| 1470k|770272 | 0 | 0.0 |1296M|1862 | - |3639 | 13k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
914.01/914.03 c 896s| 1480k|775591 | 0 | 0.0 |1305M|1862 | - |3639 | 14k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
921.71/921.73 c 904s| 1490k|779867 | 0 | 0.0 |1313M|1862 | - |3639 | 16k| 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
931.10/931.17 c 913s| 1500k|782631 | 0 | 0.0 |1321M|1862 | - |3639 | 18k| 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
936.71/936.72 c 919s| 1510k|789368 | 0 | 0.0 |1327M|1862 | - |3639 | 13k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
941.40/941.48 c 923s| 1520k|796411 | 0 | 0.0 |1335M|1862 | - |3639 | 13k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
947.21/947.25 c 929s| 1530k|802496 | 0 | 0.0 |1343M|1862 | - |3639 | 14k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
953.90/953.92 c 935s| 1540k|807772 | 0 | 0.0 |1353M|1862 | - |3639 | 15k| 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
961.81/961.81 c 943s| 1550k|812126 | 0 | 0.0 |1362M|1862 | - |3639 | 17k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
971.11/971.17 c 952s| 1560k|815189 | 0 | 0.0 |1370M|1862 | - |3639 | 19k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
978.11/978.13 c 959s| 1570k|820940 | 0 | 0.0 |1375M|1862 | - |3639 | 14k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
982.71/982.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.71/982.71 c 964s| 1580k|828266 | 0 | 0.0 |1383M|1862 | - |3639 | 13k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
988.01/988.05 c 969s| 1590k|834762 | 0 | 0.0 |1391M|1862 | - |3639 | 14k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
994.31/994.39 c 975s| 1600k|840381 | 0 | 0.0 |1400M|1862 | - |3639 | 15k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1001.51/1001.55 c 982s| 1610k|845339 | 0 | 0.0 |1409M|1862 | - |3639 | 17k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1010.41/1010.46 c 991s| 1620k|848907 | 0 | 0.0 |1417M|1862 | - |3639 | 19k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1018.81/1018.86 c 999s| 1630k|853491 | 0 | 0.0 |1422M|1862 | - |3639 | 14k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1022.71/1022.76 c 1003s| 1640k|861475 | 0 | 0.0 |1429M|1862 | - |3639 | 12k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1027.00/1027.03 c 1007s| 1650k|868841 | 0 | 0.0 |1437M|1862 | - |3639 | 13k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1031.51/1031.50 c 1012s| 1660k|875998 | 0 | 0.0 |1444M|1862 | - |3639 | 13k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1036.31/1036.30 c 1016s| 1670k|882843 | 0 | 0.0 |1452M|1862 | - |3639 | 14k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1043.21/1043.28 c 1023s| 1680k|887842 | 0 | 0.0 |1461M|1862 | - |3639 | 15k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1051.41/1051.41 c 1031s| 1690k|891906 | 0 | 0.0 |1470M|1862 | - |3639 | 17k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1060.90/1060.97 c 1041s| 1700k|894932 | 0 | 0.0 |1476M|1862 | - |3639 | 17k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1065.51/1065.55 c 1045s| 1710k|902433 | 0 | 0.0 |1482M|1862 | - |3639 | 12k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1070.51/1070.52 c 1050s| 1720k|909241 | 0 | 0.0 |1491M|1862 | - |3639 | 13k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1076.11/1076.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.11/1076.16 c 1055s| 1730k|915428 | 0 | 0.0 |1499M|1862 | - |3639 | 14k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1082.70/1082.79 c 1062s| 1740k|920836 | 0 | 0.0 |1508M|1862 | - |3639 | 16k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1090.71/1090.73 c 1070s| 1750k|925121 | 0 | 0.0 |1517M|1862 | - |3639 | 17k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1100.31/1100.38 c 1079s| 1760k|928122 | 0 | 0.0 |1525M|1862 | - |3639 | 20k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1107.51/1107.55 c 1086s| 1770k|933808 | 0 | 0.0 |1530M|1862 | - |3639 | 13k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1111.91/1111.95 c 1091s| 1780k|941257 | 0 | 0.0 |1538M|1862 | - |3639 | 13k| 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1116.61/1116.65 c 1095s| 1790k|948298 | 0 | 0.0 |1546M|1862 | - |3639 | 14k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1121.91/1121.98 c 1100s| 1800k|954721 | 0 | 0.0 |1554M|1862 | - |3639 | 15k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1128.62/1128.62 c 1107s| 1810k|960016 | 0 | 0.0 |1562M|1862 | - |3639 | 17k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1138.61/1138.66 c 1117s| 1820k|963197 | 0 | 0.0 |1571M|1862 | - |3639 | 19k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1151.62/1151.65 c 1129s| 1830k|965038 | 0 | 0.0 |1575M|1862 | - |3639 | 14k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.41/1164.45 c 1142s| 1840k|966962 | 0 | 0.0 |1582M|1862 | - |3639 | 15k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1177.81/1177.88 c 1155s| 1850k|968628 | 0 | 0.0 |1588M|1862 | - |3639 | 16k| 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1192.32/1192.39 c 1169s| 1860k|969770 | 0 | 0.0 |1595M|1862 | - |3639 | 16k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1206.51/1206.53 c 1182s| 1870k|971342 | 0 | 0.0 |1603M|1862 | - |3639 | 18k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1221.71/1221.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.71/1221.76 c 1197s| 1880k|972326 | 0 | 0.0 |1609M|1862 | - |3639 | 19k| 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1238.12/1238.11 c 1213s| 1890k|973062 | 0 | 0.0 |1613M|1862 | - |3639 | 19k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1254.21/1254.24 c 1229s| 1900k|974216 | 0 | 0.0 |1619M|1862 | - |3639 | 18k| 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1271.71/1271.76 c 1246s| 1910k|974618 | 0 | 0.0 |1626M|1862 | - |3639 | 21k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1290.91/1290.94 c 1265s| 1920k|974315 | 0 | 0.0 |1629M|1862 | - |3639 | 21k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1309.91/1309.98 c 1283s| 1930k|974596 | 0 | 0.0 |1634M|1862 | - |3639 | 21k| 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1329.82/1329.90 c 1303s| 1940k|974264 | 0 | 0.0 |1640M|1862 | - |3639 | 23k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1351.72/1351.79 c 1324s| 1950k|973086 | 0 | 0.0 |1643M|1862 | - |3639 | 23k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1372.61/1372.67 c 1344s| 1960k|972335 | 0 | 0.0 |1646M|1862 | - |3639 | 23k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1394.21/1394.22 c 1366s| 1970k|971654 | 0 | 0.0 |1652M|1862 | - |3639 | 22k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1416.52/1416.55 c 1387s| 1980k|970113 | 0 | 0.0 |1654M|1862 | - |3639 | 24k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1440.42/1440.40 c 1411s| 1990k|967980 | 0 | 0.0 |1655M|1862 | - |3639 | 24k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1464.72/1464.71 c 1435s| 2000k|965753 | 0 | 0.0 |1656M|1862 | - |3639 | 24k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1488.62/1488.69 c 1458s| 2010k|963790 | 0 | 0.0 |1659M|1862 | - |3639 | 24k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1513.12/1513.10 c 1482s| 2020k|961765 | 0 | 0.0 |1660M|1862 | - |3639 | 25k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1537.52/1537.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1537.52/1537.59 c 1506s| 2030k|959891 | 0 | 0.0 |1660M|1862 | - |3639 | 25k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1563.22/1563.27 c 1531s| 2040k|957618 | 0 | 0.0 |1660M|1862 | - |3639 | 25k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1589.32/1589.35 c 1557s| 2050k|954885 | 0 | 0.0 |1658M|1862 | - |3639 | 26k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1615.02/1615.09 c 1582s| 2060k|952560 | 0 | 0.0 |1656M|1862 | - |3639 | 26k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1641.92/1641.96 c 1608s| 2070k|949522 | 0 | 0.0 |1653M|1862 | - |3639 | 26k| 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1668.22/1668.24 c 1634s| 2080k|946266 | 0 | 0.0 |1649M|1862 | - |3639 | 26k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1694.92/1694.95 c 1660s| 2090k|942315 | 0 | 0.0 |1641M|1862 | - |3639 | 26k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1724.73/1724.73 c 1689s| 2100k|935672 | 0 | 0.0 |1625M|1862 | - |3639 | 28k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1735.23/1735.29 c 1700s| 2110k|940361 | 0 | 0.0 |1624M|1862 | - |3639 |7057 | 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1741.12/1741.18 c 1705s| 2120k|946446 | 0 | 0.0 |1633M|1862 | - |3639 |7055 | 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1746.83/1746.87 c 1710s| 2130k|952659 | 0 | 0.0 |1641M|1862 | - |3639 |7334 | 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1753.13/1753.10 c 1716s| 2140k|958357 | 0 | 0.0 |1649M|1862 | - |3639 |8391 | 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1759.43/1759.49 c 1722s| 2150k|964046 | 0 | 0.0 |1657M|1862 | - |3639 |9000 | 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1766.22/1766.27 c 1729s| 2160k|969509 | 0 | 0.0 |1665M|1862 | - |3639 |9379 | 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1773.33/1773.35 c 1735s| 2170k|974727 | 0 | 0.0 |1673M|1862 | - |3639 | 10k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1781.02/1781.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.02/1781.01 c 1743s| 2180k|979516 | 0 | 0.0 |1681M|1862 | - |3639 | 10k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1788.43/1788.43 c 1750s| 2190k|984510 | 0 | 0.0 |1690M|1862 | - |3639 | 10k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1796.43/1796.42 c 1757s| 2200k|989072 | 0 | 0.0 |1698M|1862 | - |3639 | 11k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1760.59
1800.03/1800.00 c Solving Nodes : 2204326
1800.03/1800.00 c Primal Bound : +2.00000000000000e+00 (22 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.03 s SATISFIABLE
1800.03/1800.03 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.03 v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.03 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168
1800.03/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.03 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.03/1800.03 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.03/1800.03 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.03/1800.03 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.03/1800.03 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.03/1800.03 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.03/1800.03 v x1
1800.03/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.03 c Solving Time : 1760.59
1800.03/1800.03 c Original Problem :
1800.03/1800.03 c Problem name : HOME/instance-2694081-1277904399.wbo
1800.03/1800.03 c Variables : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous)
1800.03/1800.03 c Constraints : 4491 initial, 4491 maximal
1800.03/1800.03 c Presolved Problem :
1800.03/1800.03 c Problem name : t_HOME/instance-2694081-1277904399.wbo
1800.03/1800.03 c Variables : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous)
1800.03/1800.03 c Constraints : 4298 initial, 28894 maximal
1800.03/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.03 c trivial : 0.00 79 0 0 0 0 0 0 0
1800.03/1800.03 c dualfix : 0.00 79 0 0 0 0 0 0 0
1800.03/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c probing : 0.05 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 0.00 0 0 0 0 0 79 0 0
1800.03/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c linear : 0.06 0 0 0 1807 0 114 97 0
1800.03/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c root node : - 1687 - - 3374 - - - -
1800.03/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 1704 0 4412027 0 1243123 38 2305425 0 0 0
1800.03/1800.03 c setppc : 11 0 7288957 0 1773731 21829 5323723 0 0 0
1800.03/1800.03 c linear : 1704 0 7269133 0 1774834 438197 36578349 0 0 0
1800.03/1800.04 c logicor : 879+ 0 4605648 0 1774846 218944 8222646 0 0 0
1800.03/1800.04 c bounddisjunction : 0+ 0 6932 0 0 0 5 0 0 0
1800.03/1800.04 c countsols : 0 0 0 0 1774846 0 0 0 0 0
1800.03/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.04 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.04 c indicator : 6.76 0.00 4.01 0.00 2.75
1800.03/1800.04 c setppc : 26.94 0.00 24.08 0.00 2.86
1800.03/1800.04 c linear : 299.80 0.00 298.21 0.00 1.59
1800.03/1800.04 c logicor : 487.86 0.00 435.42 0.00 52.44
1800.03/1800.04 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.04 c countsols : 0.20 0.00 0.00 0.00 0.20
1800.03/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.04 c vbounds : 1.33 2 0 0
1800.03/1800.04 c rootredcost : 1.39 0 0 0
1800.03/1800.04 c pseudoobj : 234.06 7291537 655 2298318
1800.03/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.04 c propagation : 28.73 679625 679621 3128864 18.9 68041 10.7 -
1800.03/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c pseudo solution : 0.00 30 30 129 23.3 48 9.7 -
1800.03/1800.04 c applied globally : - - - 1767867 17.2 - - -
1800.03/1800.04 c applied locally : - - - 5 209.4 - - -
1800.03/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.04 c redcost : 0.00 0 0 0 0 0
1800.03/1800.04 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.04 c intobj : 0.00 0 0 0 0 0
1800.03/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.04 c gomory : 0.00 0 0 0 0 0
1800.03/1800.04 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.04 c cmir : 0.00 0 0 0 0 0
1800.03/1800.04 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.04 c clique : 0.00 0 0 0 0 0
1800.03/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.04 c mcf : 0.00 0 0 0 0 0
1800.03/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.04 c Pricers : Time Calls Vars
1800.03/1800.04 c problem variables: 0.00 0 0
1800.03/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.04 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.04 c inference : 25.52 1774824 0 0 0 0 3549648
1800.03/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.04 c random : 0.00 0 0 0 0 0 0
1800.03/1800.04 c Primal Heuristics : Time Calls Found
1800.03/1800.04 c LP solutions : 0.00 - 0
1800.03/1800.04 c pseudo solutions : 0.06 - 22
1800.03/1800.04 c oneopt : 0.58 0 0
1800.03/1800.04 c trivial : 0.00 2 0
1800.03/1800.04 c simplerounding : 0.00 0 0
1800.03/1800.04 c zirounding : 0.00 0 0
1800.03/1800.04 c rounding : 0.00 0 0
1800.03/1800.04 c shifting : 0.00 0 0
1800.03/1800.04 c intshifting : 0.00 0 0
1800.03/1800.04 c twoopt : 0.00 0 0
1800.03/1800.04 c fixandinfer : 0.00 0 0
1800.03/1800.04 c feaspump : 0.00 0 0
1800.03/1800.04 c coefdiving : 0.00 0 0
1800.03/1800.04 c pscostdiving : 0.00 0 0
1800.03/1800.04 c fracdiving : 0.00 0 0
1800.03/1800.04 c veclendiving : 0.00 0 0
1800.03/1800.04 c intdiving : 0.00 0 0
1800.03/1800.04 c actconsdiving : 0.00 0 0
1800.03/1800.04 c objpscostdiving : 0.00 0 0
1800.03/1800.04 c rootsoldiving : 0.00 0 0
1800.03/1800.04 c linesearchdiving : 0.00 0 0
1800.03/1800.04 c guideddiving : 0.00 0 0
1800.03/1800.04 c octane : 0.00 0 0
1800.03/1800.04 c rens : 0.00 0 0
1800.03/1800.04 c rins : 0.00 0 0
1800.03/1800.04 c localbranching : 0.00 0 0
1800.03/1800.04 c mutation : 0.00 0 0
1800.03/1800.04 c crossover : 0.00 0 0
1800.03/1800.04 c dins : 0.00 0 0
1800.03/1800.04 c undercover : 0.00 0 0
1800.03/1800.04 c nlp : 0.40 0 0
1800.03/1800.04 c trysol : 0.37 1 0
1800.03/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.04 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.04 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.04 c (at root node) : - 0 0 0.00 -
1800.03/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.04 c B&B Tree :
1800.03/1800.04 c number of runs : 1
1800.03/1800.04 c nodes : 2204326
1800.03/1800.04 c nodes (total) : 2204326
1800.03/1800.04 c nodes left : 990987
1800.03/1800.04 c max depth : 1862
1800.03/1800.04 c max depth (total): 1862
1800.03/1800.04 c backtracks : 396718 (18.0%)
1800.03/1800.04 c delayed cutoffs : 321942
1800.03/1800.04 c repropagations : 1476984 (15695037 domain reductions, 250213 cutoffs)
1800.03/1800.04 c avg switch length: 27.58
1800.03/1800.04 c switching time : 526.96
1800.03/1800.04 c Solution :
1800.03/1800.04 c Solutions found : 22 (22 improvements)
1800.03/1800.04 c First Solution : +6.57000000000000e+02 (in run 1, after 4898 nodes, 1.33 seconds, depth 581, found by <relaxation>)
1800.03/1800.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 731781 nodes, 423.62 seconds, depth 117, found by <relaxation>)
1800.03/1800.04 c Dual Bound : +0.00000000000000e+00
1800.03/1800.04 c Gap : infinite
1800.03/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.04 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-2694081-1277904399/watcher-2694081-1277904399 -o /tmp/evaluation-result-2694081-1277904399/solver-2694081-1277904399 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694081-1277904399.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.93 1.99 1.99 4/178 12585 /proc/meminfo: memFree=31621536/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=8444 CPUtime=0 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 1587 0 0 0 0 0 0 0 25 0 1 0 131737791 8646656 1510 4089446400 4194304 7136930 140734479810464 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12585/statm: 2111 1510 275 719 0 1390 0 [startup+0.092653 s] /proc/loadavg: 1.93 1.99 1.99 4/178 12585 /proc/meminfo: memFree=31621536/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=27820 CPUtime=0.09 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 7092 0 0 0 8 1 0 0 25 0 1 0 131737791 28487680 6147 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 6955 6147 354 719 0 6234 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27820 [startup+0.100617 s] /proc/loadavg: 1.93 1.99 1.99 4/178 12585 /proc/meminfo: memFree=31621536/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=27820 CPUtime=0.09 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 7606 0 0 0 8 1 0 0 25 0 1 0 131737791 28487680 6147 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 6955 6147 354 719 0 6234 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27820 [startup+0.300585 s] /proc/loadavg: 1.93 1.99 1.99 4/178 12585 /proc/meminfo: memFree=31621536/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=29572 CPUtime=0.29 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 10161 0 0 0 28 1 0 0 25 0 1 0 131737791 30281728 6646 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 7393 6646 391 719 0 6672 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29572 [startup+0.700512 s] /proc/loadavg: 1.93 1.99 1.99 4/178 12585 /proc/meminfo: memFree=31621536/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=31596 CPUtime=0.69 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 10691 0 0 0 66 3 0 0 25 0 1 0 131737791 32354304 7176 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 7899 7176 395 719 0 7178 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31596 [startup+1.50038 s] /proc/loadavg: 1.93 1.99 1.99 3/179 12586 /proc/meminfo: memFree=31593008/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=34876 CPUtime=1.49 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 11475 0 0 0 143 6 0 0 25 0 1 0 131737791 35713024 7960 4089446400 4194304 7136930 140734479810464 18446744073709551615 4702087 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 8719 7960 395 719 0 7998 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34876 [startup+3.10109 s] /proc/loadavg: 1.93 1.99 1.99 3/179 12586 /proc/meminfo: memFree=31588916/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=39472 CPUtime=3.09 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 12630 0 0 0 299 10 0 0 25 0 1 0 131737791 40419328 9115 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 9868 9115 396 719 0 9147 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39472 [startup+6.30052 s] /proc/loadavg: 1.93 1.99 1.99 3/179 12586 /proc/meminfo: memFree=31576952/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=52432 CPUtime=6.29 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 15913 0 0 0 609 20 0 0 25 0 1 0 131737791 53690368 12398 4089446400 4194304 7136930 140734479810464 18446744073709551615 4983799 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 13108 12398 396 719 0 12387 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52432 [startup+12.7004 s] /proc/loadavg: 1.94 1.99 1.99 3/179 12586 /proc/meminfo: memFree=31550300/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=80496 CPUtime=12.7 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 22456 0 0 0 1234 36 0 0 25 0 1 0 131737791 82427904 18941 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 20124 18941 398 719 0 19403 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 80496 [startup+25.5011 s] /proc/loadavg: 1.95 1.99 1.99 3/179 12586 /proc/meminfo: memFree=31505244/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=123396 CPUtime=25.49 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 32813 0 0 0 2479 70 0 0 25 0 1 0 131737791 126357504 29298 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 30849 29298 398 719 0 30128 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 123396 [startup+51.1006 s] /proc/loadavg: 1.97 1.99 1.99 3/179 12587 /proc/meminfo: memFree=31445680/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=185160 CPUtime=51.09 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 47802 0 0 0 4982 127 0 0 25 0 1 0 131737791 189603840 44287 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 46290 44287 398 719 0 45569 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 185160 [startup+102.306 s] /proc/loadavg: 1.98 1.99 1.99 3/179 12588 /proc/meminfo: memFree=31342228/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=289076 CPUtime=102.3 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 72589 0 0 0 9993 237 0 0 25 0 1 0 131737791 296013824 69074 4089446400 4194304 7136930 140734479810464 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 72269 69074 398 719 0 71548 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 289076 [startup+162.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 12590 /proc/meminfo: memFree=31132720/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=533704 CPUtime=162.28 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 124829 0 0 0 15856 372 0 0 25 0 1 0 131737791 546512896 121314 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12585/statm: 133426 121314 398 719 0 132705 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 533704 [startup+222.301 s] /proc/loadavg: 2.06 2.00 2.00 3/179 12592 /proc/meminfo: memFree=31010048/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=651400 CPUtime=222.29 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 154633 0 0 0 21712 517 0 0 25 0 1 0 131737791 667033600 151118 4089446400 4194304 7136930 140734479810464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12585/statm: 162850 151118 398 719 0 162129 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 651400 [startup+282.301 s] /proc/loadavg: 2.02 2.00 2.00 3/179 12596 /proc/meminfo: memFree=30932212/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=727672 CPUtime=282.29 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 173661 0 0 0 27610 619 0 0 25 0 1 0 131737791 745136128 170146 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12585/statm: 181918 170146 398 719 0 181197 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 727672 [startup+342.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12597 /proc/meminfo: memFree=30879532/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=778296 CPUtime=342.29 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 186440 0 0 0 33527 702 0 0 25 0 1 0 131737791 796975104 182925 4089446400 4194304 7136930 140734479810464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12585/statm: 194574 182925 398 719 0 193853 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 778296 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12599 /proc/meminfo: memFree=30860632/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=796020 CPUtime=402.29 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 190893 0 0 0 39461 768 0 0 25 0 1 0 131737791 815124480 187378 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12585/statm: 199005 187378 398 719 0 198284 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 796020 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12601 /proc/meminfo: memFree=30812092/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=845176 CPUtime=462.3 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 202979 0 0 0 45338 892 0 0 25 0 1 0 131737791 865460224 199464 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12585/statm: 211294 199464 398 719 0 210573 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 845176 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12603 /proc/meminfo: memFree=30721888/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=938260 CPUtime=522.29 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 226078 0 0 0 51202 1027 0 0 25 0 1 0 131737791 960778240 222563 4089446400 4194304 7136930 140734479810464 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12585/statm: 234565 222563 398 719 0 233844 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 938260 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12604 /proc/meminfo: memFree=30629084/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1041968 CPUtime=582.3 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 248826 0 0 0 57087 1143 0 0 25 0 1 0 131737791 1066975232 245311 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12585/statm: 260492 245311 398 719 0 259771 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1041968 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12605 /proc/meminfo: memFree=30529452/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1143396 CPUtime=642.31 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 273139 0 0 0 62968 1263 0 0 25 0 1 0 131737791 1170837504 269624 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12585/statm: 285849 269624 398 719 0 285128 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1143396 [startup+702.301 s] ################ # More data... # ################ /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 392871 0 0 0 98302 1929 0 0 25 0 1 0 131737791 1661468672 389356 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12585/statm: 405632 389356 398 719 0 404911 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1622528 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12617 /proc/meminfo: memFree=29968568/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1688684 CPUtime=1062.31 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 409651 0 0 0 104194 2037 0 0 25 0 1 0 131737791 1729212416 406136 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12585/statm: 422171 406136 398 719 0 421450 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1688684 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12619 /proc/meminfo: memFree=29889904/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1765096 CPUtime=1122.31 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 428795 0 0 0 110076 2155 0 0 25 0 1 0 131737791 1807458304 425280 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12585/statm: 441274 425280 398 719 0 440553 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1765096 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12648 /proc/meminfo: memFree=30027952/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1798468 CPUtime=1182.31 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 437239 0 0 0 115898 2333 0 0 25 0 1 0 131737791 1841631232 433724 4089446400 4194304 7136930 140734479810464 18446744073709551615 4210526 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 449617 433724 398 719 0 448896 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1798468 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12649 /proc/meminfo: memFree=29991956/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1818100 CPUtime=1242.32 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 442083 0 0 0 121731 2501 0 0 25 0 1 0 131737791 1861734400 438568 4089446400 4194304 7136930 140734479810464 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 454525 438568 398 719 0 453804 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1818100 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12651 /proc/meminfo: memFree=29961040/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1838700 CPUtime=1302.32 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 447307 0 0 0 127575 2657 0 0 25 0 1 0 131737791 1882828800 443792 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 459675 443792 398 719 0 458954 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1838700 [startup+1362.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 12653 /proc/meminfo: memFree=29936188/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1852652 CPUtime=1362.32 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 450792 0 0 0 133433 2799 0 0 25 0 1 0 131737791 1897115648 447277 4089446400 4194304 7136930 140734479810464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 463163 447277 398 719 0 462442 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1852652 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12655 /proc/meminfo: memFree=29917544/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1860976 CPUtime=1422.32 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 452911 0 0 0 139307 2925 0 0 25 0 1 0 131737791 1905639424 449396 4089446400 4194304 7136930 140734479810464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 465244 449396 398 719 0 464523 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1860976 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12656 /proc/meminfo: memFree=29905840/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1865844 CPUtime=1482.32 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 454122 0 0 0 145188 3044 0 0 25 0 1 0 131737791 1910624256 450607 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 466461 450607 398 719 0 465740 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1865844 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12657 /proc/meminfo: memFree=29895632/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1871384 CPUtime=1542.32 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 455459 0 0 0 151065 3167 0 0 25 0 1 0 131737791 1916297216 451944 4089446400 4194304 7136930 140734479810464 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 467846 451944 398 719 0 467125 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1871384 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12659 /proc/meminfo: memFree=29893484/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1872588 CPUtime=1602.32 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 455751 0 0 0 156944 3288 0 0 25 0 1 0 131737791 1917530112 452236 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 468147 452236 398 719 0 467426 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1872588 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12661 /proc/meminfo: memFree=29890580/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1873964 CPUtime=1662.32 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 456074 0 0 0 162824 3408 0 0 25 0 1 0 131737791 1918939136 452559 4089446400 4194304 7136930 140734479810464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 468491 452559 398 719 0 467770 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 1873964 [startup+1722.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 12663 /proc/meminfo: memFree=29890176/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1873964 CPUtime=1722.33 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 456105 0 0 0 168700 3533 0 0 25 0 1 0 131737791 1918939136 452590 4089446400 4194304 7136930 140734479810464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 468491 452590 398 719 0 467770 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1873964 [startup+1782.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12664 /proc/meminfo: memFree=29864460/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1900024 CPUtime=1782.32 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 462501 0 0 0 174380 3852 0 0 25 0 1 0 131737791 1945624576 458986 4089446400 4194304 7136930 140734479810464 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 475006 458986 398 719 0 474285 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1900024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12665 /proc/meminfo: memFree=29845368/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1933100 CPUtime=1800.03 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 466728 0 0 0 176062 3941 0 0 25 0 1 0 131737791 1979494400 463213 4089446400 4194304 7136930 140734479810464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12585/statm: 483275 463213 398 719 0 482554 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1933100 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12585 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.01 2.00 3/180 12666 /proc/meminfo: memFree=29845236/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1933100 CPUtime=1801.42 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 466742 0 0 0 176201 3941 0 0 19 0 1 0 131737791 1979494400 463227 4089446400 4194304 7136930 140734479810464 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12585/statm: 483275 463227 403 719 0 482554 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 1933100 [startup+1801.81 s] /proc/loadavg: 2.01 2.01 2.00 3/180 12666 /proc/meminfo: memFree=29845112/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1933100 CPUtime=1801.83 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 466742 0 0 0 176242 3941 0 0 20 0 1 0 131737791 1979494400 463227 4089446400 4194304 7136930 140734479810464 18446744073709551615 4212183 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12585/statm: 483275 463227 403 719 0 482554 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 1933100 [startup+1802 s] /proc/loadavg: 2.01 2.01 2.00 3/180 12666 /proc/meminfo: memFree=29845112/32951124 swapFree=67111528/67111528 [pid=12585] ppid=12583 vsize=1933100 CPUtime=1802.02 /proc/12585/stat : 12585 (pbscip.linux.x8) R 12583 12585 11676 0 -1 4202496 466742 0 0 0 176261 3941 0 0 21 0 1 0 131737791 1979494400 463227 4089446400 4194304 7136930 140734479810464 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12585/statm: 483275 463227 403 719 0 482554 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 1933100 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.11 CPU user time (s): 1762.62 CPU system time (s): 39.48 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1933100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1762.63 system time used= 39.48 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466742 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= 5 involuntary context switches= 2459 runsolver used 3.13452 second user time and 6.11407 second system time The end
Begin job on node101 at 2010-06-30 15:26:39 IDJOB=2694081 IDBENCH=78919 IDSOLVER=1206 FILE ID=node101/2694081-1277904399 PBS_JOBID= 11197213 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565534--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-2694081-1277904399/watcher-2694081-1277904399 -o /tmp/evaluation-result-2694081-1277904399/solver-2694081-1277904399 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694081-1277904399.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2edeaf6035297ee59e9643c9979a8871 RANDOM SEED=1882030734 node101.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.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 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.837 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.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 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.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 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.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31621940 kB Buffers: 190776 kB Cached: 741580 kB SwapCached: 0 kB Active: 669428 kB Inactive: 519120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31621940 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 256432 kB Mapped: 17468 kB Slab: 77616 kB PageTables: 5180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 406912 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 node101 at 2010-06-30 15:56:41