Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.12 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-33-100-0.wbo |
| MD5SUM | 91e040f5c30df15d8a8ea402735ab864 |
| 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 | 465.682 |
| 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 | 1848 |
| 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 | 94973 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 94972 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 713 |
| 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-2694035-1277901513.wbo>
0.00/0.03 c original problem has 3927 variables (2079 bin, 0 int, 0 impl, 1848 cont) and 4556 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, 1972 impls, 8 clqs
0.06/0.09 c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.10 c (round 3) 46 del vars, 159 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.11 c (round 4) 124 del vars, 193 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.12 c (round 5) 158 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.13 c (round 6) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.18 c (0.1s) probing: 101/1999 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (7 rounds):
0.09/0.18 c 160 deleted vars, 195 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.18 c 1972 implications, 8 cliques
0.09/0.18 c presolved problem has 3767 variables (1999 bin, 0 int, 0 impl, 1768 cont) and 4361 constraints
0.09/0.18 c 1768 constraints of type <indicator>
0.09/0.18 c 8 constraints of type <setppc>
0.09/0.18 c 1768 constraints of type <linear>
0.09/0.18 c 817 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 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 | - |3767 |4361 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.49/2.57 o 503
2.49/2.57 c * 2.3s| 9478 | 9067 | 0 | 0.0 | 18M|1909 | - |3767 |4942 | 0 | 0 | 0 | 815 | 0 | 0.000000e+00 | 5.030000e+02 | Inf
2.58/2.61 o 426
2.58/2.61 c * 2.4s| 9616 | 9194 | 0 | 0.0 | 18M|1909 | - |3767 |4940 | 0 | 0 | 0 | 823 | 0 | 0.000000e+00 | 4.260000e+02 | Inf
2.69/2.72 c 2.5s| 10000 | 9560 | 0 | 0.0 | 18M|1909 | - |3767 |4928 | 0 | 0 | 0 | 879 | 0 | 0.000000e+00 | 4.260000e+02 | Inf
5.79/5.83 c 5.2s| 20000 | 17509 | 0 | 0.0 | 28M|1909 | - |3767 |6161 | 0 | 0 | 0 |6372 | 0 | 0.000000e+00 | 4.260000e+02 | Inf
10.59/10.60 c 9.7s| 30000 | 23380 | 0 | 0.0 | 39M|1909 | - |3767 |7559 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 4.260000e+02 | Inf
12.29/12.39 o 416
12.29/12.39 c *11.3s| 33930 | 26429 | 0 | 0.0 | 41M|1909 | - |3767 |6826 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 4.160000e+02 | Inf
12.29/12.39 o 374
12.29/12.39 c *11.3s| 33931 | 25736 | 0 | 0.0 | 41M|1909 | - |3767 |6826 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.740000e+02 | Inf
12.39/12.45 o 337
12.39/12.45 c *11.4s| 34058 | 23633 | 0 | 0.0 | 41M|1909 | - |3767 |6765 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.370000e+02 | Inf
12.49/12.55 o 336
12.49/12.55 c *11.5s| 34309 | 23814 | 0 | 0.0 | 41M|1909 | - |3767 |6704 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.360000e+02 | Inf
12.49/12.55 o 294
12.49/12.55 c *11.5s| 34310 | 21774 | 0 | 0.0 | 40M|1909 | - |3767 |6704 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
12.59/12.67 o 277
12.59/12.67 c *11.6s| 34588 | 21221 | 0 | 0.0 | 39M|1909 | - |3767 |6605 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.770000e+02 | Inf
12.69/12.78 o 233
12.69/12.78 c *11.7s| 34843 | 21288 | 0 | 0.0 | 39M|1909 | - |3767 |6551 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
12.99/13.03 o 169
12.99/13.03 c *11.9s| 35417 | 21472 | 0 | 0.0 | 40M|1909 | - |3767 |6460 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
13.19/13.29 o 166
13.19/13.29 c *12.2s| 36020 | 22043 | 0 | 0.0 | 40M|1909 | - |3767 |6401 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
13.19/13.29 o 156
13.19/13.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.19/13.29 c *12.2s| 36021 | 21904 | 0 | 0.0 | 40M|1909 | - |3767 |6401 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
13.39/13.43 o 148
13.39/13.43 c *12.3s| 36325 | 21960 | 0 | 0.0 | 41M|1909 | - |3767 |6394 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.480000e+02 | Inf
13.39/13.44 o 117
13.39/13.44 c *12.3s| 36326 | 21748 | 0 | 0.0 | 40M|1909 | - |3767 |6394 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
13.59/13.60 o 103
13.59/13.60 c *12.5s| 36638 | 21779 | 0 | 0.0 | 40M|1909 | - |3767 |6390 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
13.99/14.03 o 96
13.99/14.03 c *12.9s| 37393 | 22289 | 0 | 0.0 | 42M|1909 | - |3767 |6300 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
13.99/14.07 o 72
13.99/14.07 c *12.9s| 37471 | 21600 | 0 | 0.0 | 42M|1909 | - |3767 |6279 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
14.29/14.31 o 71
14.29/14.31 c *13.1s| 37989 | 22045 | 0 | 0.0 | 43M|1909 | - |3767 |6138 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
14.69/14.70 o 65
14.69/14.70 c *13.5s| 38503 | 22342 | 0 | 0.0 | 43M|1909 | - |3767 |5554 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
14.79/14.82 o 59
14.79/14.82 c *13.6s| 38760 | 21779 | 0 | 0.0 | 43M|1909 | - |3767 |5502 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
15.19/15.28 o 56
15.19/15.28 c *14.0s| 39690 | 22442 | 0 | 0.0 | 44M|1909 | - |3767 |5393 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
15.19/15.29 o 51
15.19/15.29 c *14.0s| 39691 | 22331 | 0 | 0.0 | 44M|1909 | - |3767 |5393 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
15.39/15.43 c 14.2s| 40000 | 22606 | 0 | 0.0 | 45M|1909 | - |3767 |5320 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
15.79/15.82 o 39
15.79/15.82 c *14.5s| 40903 | 22811 | 0 | 0.0 | 44M|1909 | - |3767 |5207 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
16.59/16.61 o 28
16.59/16.61 c *15.2s| 42620 | 23786 | 0 | 0.0 | 46M|1909 | - |3767 |5516 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
16.99/17.07 o 27
16.99/17.07 c *15.7s| 43890 | 24821 | 0 | 0.0 | 47M|1909 | - |3767 |5601 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
19.39/19.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.39/19.48 c 17.9s| 50000 | 29686 | 0 | 0.0 | 54M|1909 | - |3767 |6184 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
23.19/23.25 c 21.3s| 60000 | 37384 | 0 | 0.0 | 64M|1909 | - |3767 |6504 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
27.19/27.25 c 25.0s| 70000 | 44641 | 0 | 0.0 | 73M|1909 | - |3767 |7231 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
31.29/31.32 c 28.8s| 80000 | 51783 | 0 | 0.0 | 82M|1909 | - |3767 |7710 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
35.99/36.04 c 33.1s| 90000 | 58290 | 0 | 0.0 | 91M|1909 | - |3767 |7851 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
41.09/41.17 c 37.9s|100000 | 64245 | 0 | 0.0 | 100M|1909 | - |3767 |8412 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
46.69/46.76 c 43.1s|110000 | 69785 | 0 | 0.0 | 111M|1909 | - |3767 |9091 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
52.29/52.37 c 48.4s|120000 | 75272 | 0 | 0.0 | 121M|1909 | - |3767 |9556 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
58.49/58.53 c 54.1s|130000 | 80176 | 0 | 0.0 | 130M|1909 | - |3767 | 10k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
65.90/65.99 c 61.2s|140000 | 83800 | 0 | 0.0 | 141M|1909 | - |3767 | 11k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
74.59/74.68 c 69.5s|150000 | 86241 | 0 | 0.0 | 150M|1909 | - |3767 | 12k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
81.60/81.60 c 76.0s|160000 | 91442 | 0 | 0.0 | 154M|1909 | - |3767 |6129 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
87.19/87.20 c 81.3s|170000 | 98727 | 0 | 0.0 | 167M|1909 | - |3767 |7553 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
93.89/93.93 c 87.5s|180000 |104724 | 0 | 0.0 | 181M|1909 | - |3767 |6907 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
100.00/100.03 c 93.2s|190000 |111190 | 0 | 0.0 | 194M|1909 | - |3767 |9845 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
104.89/104.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.89/104.92 c 97.7s|200000 |119546 | 0 | 0.0 | 217M|1909 | - |3767 |8682 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
109.19/109.28 o 26
109.19/109.28 c * 102s|207899 |125362 | 0 | 0.0 | 227M|1909 | - |3767 |9070 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
110.69/110.70 c 103s|210000 |126809 | 0 | 0.0 | 230M|1909 | - |3767 |9588 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
113.39/113.45 o 20
113.39/113.45 c * 106s|213732 |128622 | 0 | 0.0 | 230M|1909 | - |3767 | 10k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
118.70/118.79 c 111s|220000 |132114 | 0 | 0.0 | 243M|1909 | - |3767 | 11k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
124.00/124.05 c 116s|230000 |139496 | 0 | 0.0 | 259M|1909 | - |3767 | 11k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
129.09/129.19 c 120s|240000 |147075 | 0 | 0.0 | 271M|1909 | - |3767 | 11k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
134.20/134.27 c 125s|250000 |154678 | 0 | 0.0 | 284M|1909 | - |3767 | 12k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
136.59/136.61 o 18
136.59/136.61 c * 127s|253389 |156592 | 0 | 0.0 | 288M|1909 | - |3767 | 13k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
141.09/141.10 c 131s|260000 |160860 | 0 | 0.0 | 297M|1909 | - |3767 | 13k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
146.89/146.94 c 137s|270000 |167648 | 0 | 0.0 | 311M|1909 | - |3767 | 15k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
151.60/151.69 c 141s|280000 |175634 | 0 | 0.0 | 322M|1909 | - |3767 | 14k| 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
157.20/157.22 c 146s|290000 |182773 | 0 | 0.0 | 334M|1909 | - |3767 | 16k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
162.59/162.65 c 151s|300000 |190042 | 0 | 0.0 | 345M|1909 | - |3767 | 16k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
168.49/168.57 c 157s|310000 |197165 | 0 | 0.0 | 357M|1909 | - |3767 | 10k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
172.79/172.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.79/172.87 c 161s|320000 |205416 | 0 | 0.0 | 370M|1909 | - |3767 | 10k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
177.59/177.66 c 165s|330000 |212512 | 0 | 0.0 | 381M|1909 | - |3767 | 11k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
183.40/183.45 c 171s|340000 |218642 | 0 | 0.0 | 390M|1909 | - |3767 | 12k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
190.50/190.54 c 178s|350000 |223955 | 0 | 0.0 | 400M|1909 | - |3767 | 14k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
198.10/198.15 c 185s|360000 |228973 | 0 | 0.0 | 410M|1909 | - |3767 | 14k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
206.10/206.13 c 192s|370000 |233809 | 0 | 0.0 | 420M|1909 | - |3767 | 15k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
214.50/214.54 c 200s|380000 |238407 | 0 | 0.0 | 429M|1909 | - |3767 | 15k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
223.10/223.11 c 209s|390000 |242948 | 0 | 0.0 | 438M|1909 | - |3767 | 16k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
231.79/231.80 c 217s|400000 |247347 | 0 | 0.0 | 447M|1909 | - |3767 | 16k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
240.81/240.87 c 226s|410000 |251533 | 0 | 0.0 | 455M|1909 | - |3767 | 16k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
250.39/250.41 c 235s|420000 |255233 | 0 | 0.0 | 464M|1909 | - |3767 | 16k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
259.70/259.79 c 244s|430000 |259033 | 0 | 0.0 | 472M|1909 | - |3767 | 16k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
269.60/269.60 c 253s|440000 |262458 | 0 | 0.0 | 481M|1909 | - |3767 | 17k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
280.00/280.01 c 263s|450000 |265627 | 0 | 0.0 | 489M|1909 | - |3767 | 17k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
289.90/289.94 c 273s|460000 |269159 | 0 | 0.0 | 498M|1909 | - |3767 | 17k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
300.21/300.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.21/300.20 c 283s|470000 |272535 | 0 | 0.0 | 507M|1909 | - |3767 | 18k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
310.60/310.64 c 293s|480000 |275873 | 0 | 0.0 | 515M|1909 | - |3767 | 18k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
321.30/321.31 c 303s|490000 |279129 | 0 | 0.0 | 523M|1909 | - |3767 | 19k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
332.10/332.12 c 313s|500000 |282369 | 0 | 0.0 | 532M|1909 | - |3767 | 19k| 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
343.50/343.59 c 325s|510000 |285203 | 0 | 0.0 | 539M|1909 | - |3767 | 19k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
355.01/355.00 c 336s|520000 |287976 | 0 | 0.0 | 548M|1909 | - |3767 | 20k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
367.91/367.97 c 348s|530000 |289706 | 0 | 0.0 | 555M|1909 | - |3767 | 20k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
382.60/382.64 c 362s|540000 |287977 | 0 | 0.0 | 559M|1909 | - |3767 | 18k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
399.31/399.32 c 379s|550000 |283793 | 0 | 0.0 | 560M|1909 | - |3767 | 21k| 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
420.30/420.34 c 399s|560000 |276347 | 0 | 0.0 | 548M|1909 | - |3767 | 24k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
421.31/421.32 o 15
421.31/421.32 c * 400s|561101 |275854 | 0 | 0.0 | 541M|1909 | - |3767 | 19k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
426.71/426.79 c 405s|570000 |282977 | 0 | 0.0 | 554M|1909 | - |3767 |8386 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
432.11/432.11 c 410s|580000 |290946 | 0 | 0.0 | 574M|1909 | - |3767 |8865 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
437.71/437.74 c 416s|590000 |298678 | 0 | 0.0 | 595M|1909 | - |3767 |9582 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
443.61/443.69 c 421s|600000 |306107 | 0 | 0.0 | 614M|1909 | - |3767 | 10k| 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
449.61/449.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.61/449.68 c 427s|610000 |313074 | 0 | 0.0 | 624M|1909 | - |3767 | 11k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
456.21/456.28 c 433s|620000 |319667 | 0 | 0.0 | 635M|1909 | - |3767 | 13k| 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
464.70/464.78 c 441s|630000 |325197 | 0 | 0.0 | 648M|1909 | - |3767 | 14k| 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
474.70/474.71 c 451s|640000 |329931 | 0 | 0.0 | 660M|1909 | - |3767 | 15k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
485.80/485.84 c 462s|650000 |333993 | 0 | 0.0 | 673M|1909 | - |3767 | 17k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
499.50/499.56 c 475s|660000 |336758 | 0 | 0.0 | 686M|1909 | - |3767 | 19k| 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
499.91/499.97 o 12
499.91/499.97 c * 475s|660241 |335038 | 0 | 0.0 | 675M|1909 | - |3767 | 19k| 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
510.51/510.56 c 485s|670000 |338767 | 0 | 0.0 | 682M|1909 | - |3767 |6702 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
514.50/514.59 c 489s|680000 |346554 | 0 | 0.0 | 690M|1909 | - |3767 |6149 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
514.61/514.64 o 7
514.61/514.64 c * 489s|680084 |340793 | 0 | 0.0 | 661M|1909 | - |3767 |6168 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
519.01/519.10 c 493s|690000 |348185 | 0 | 0.0 | 671M|1909 | - |3767 |6679 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
523.52/523.58 c 497s|700000 |355389 | 0 | 0.0 | 680M|1909 | - |3767 |7252 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
529.31/529.31 c 503s|710000 |361491 | 0 | 0.0 | 689M|1909 | - |3767 |8014 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
536.10/536.16 c 509s|720000 |366395 | 0 | 0.0 | 699M|1909 | - |3767 |9117 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
544.11/544.15 c 517s|730000 |370382 | 0 | 0.0 | 708M|1909 | - |3767 | 10k| 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
555.21/555.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.21/555.20 c 527s|740000 |371723 | 0 | 0.0 | 716M|1909 | - |3767 | 11k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
561.20/561.24 c 533s|750000 |377412 | 0 | 0.0 | 722M|1909 | - |3767 |6925 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
566.01/566.02 c 538s|760000 |384315 | 0 | 0.0 | 731M|1909 | - |3767 |7773 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
571.31/571.37 c 543s|770000 |390595 | 0 | 0.0 | 740M|1909 | - |3767 |8054 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
577.21/577.27 c 548s|780000 |396261 | 0 | 0.0 | 749M|1909 | - |3767 |8242 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
583.51/583.58 c 554s|790000 |401581 | 0 | 0.0 | 758M|1909 | - |3767 |8128 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
590.11/590.19 c 560s|800000 |406507 | 0 | 0.0 | 768M|1909 | - |3767 |8637 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
597.51/597.51 c 567s|810000 |410891 | 0 | 0.0 | 777M|1909 | - |3767 |8842 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
604.71/604.70 c 574s|820000 |415419 | 0 | 0.0 | 785M|1909 | - |3767 |8859 | 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
611.91/611.96 c 581s|830000 |419950 | 0 | 0.0 | 794M|1909 | - |3767 |9337 | 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
614.52/614.51 o 2
614.52/614.51 c * 583s|833380 |398681 | 0 | 0.0 | 754M|1909 | - |3767 |9564 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
620.42/620.48 c 589s|840000 |401236 | 0 | 0.0 | 763M|1909 | - |3767 |9862 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
629.61/629.63 c 598s|850000 |404560 | 0 | 0.0 | 773M|1909 | - |3767 | 11k| 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
641.52/641.52 c 609s|860000 |405676 | 0 | 0.0 | 780M|1909 | - |3767 | 13k| 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
648.41/648.49 c 616s|870000 |410800 | 0 | 0.0 | 783M|1909 | - |3767 |7909 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
653.11/653.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.11/653.17 c 620s|880000 |417719 | 0 | 0.0 | 791M|1909 | - |3767 |8578 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
659.01/659.03 c 626s|890000 |423511 | 0 | 0.0 | 801M|1909 | - |3767 |9940 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
665.91/665.95 c 632s|900000 |428285 | 0 | 0.0 | 810M|1909 | - |3767 | 11k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
674.52/674.51 c 640s|910000 |431635 | 0 | 0.0 | 819M|1909 | - |3767 | 12k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
685.51/685.50 c 651s|920000 |432996 | 0 | 0.0 | 823M|1909 | - |3767 | 11k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
689.81/689.86 c 655s|930000 |440406 | 0 | 0.0 | 831M|1909 | - |3767 |8546 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
694.72/694.78 c 660s|940000 |447111 | 0 | 0.0 | 839M|1909 | - |3767 |8822 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
700.11/700.16 c 665s|950000 |453343 | 0 | 0.0 | 848M|1909 | - |3767 |9044 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
705.82/705.83 c 670s|960000 |459235 | 0 | 0.0 | 857M|1909 | - |3767 |9370 | 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
711.82/711.82 c 676s|970000 |464813 | 0 | 0.0 | 865M|1909 | - |3767 |9703 | 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
718.22/718.26 c 682s|980000 |469988 | 0 | 0.0 | 874M|1909 | - |3767 | 10k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
725.52/725.55 c 689s|990000 |474421 | 0 | 0.0 | 882M|1909 | - |3767 | 10k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
733.32/733.32 c 696s| 1000k|478517 | 0 | 0.0 | 890M|1909 | - |3767 | 11k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
741.91/741.97 c 704s| 1010k|481809 | 0 | 0.0 | 898M|1909 | - |3767 | 11k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
751.61/751.69 c 714s| 1020k|484416 | 0 | 0.0 | 906M|1909 | - |3767 | 12k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
763.62/763.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.62/763.69 c 725s| 1030k|484679 | 0 | 0.0 | 910M|1909 | - |3767 | 14k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
768.32/768.35 c 730s| 1040k|492168 | 0 | 0.0 | 917M|1909 | - |3767 |9673 | 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
773.61/773.67 c 735s| 1050k|498691 | 0 | 0.0 | 926M|1909 | - |3767 | 10k| 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
780.12/780.14 c 741s| 1060k|504009 | 0 | 0.0 | 935M|1909 | - |3767 | 12k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
787.82/787.83 c 748s| 1070k|508343 | 0 | 0.0 | 945M|1909 | - |3767 | 13k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
797.32/797.32 c 757s| 1080k|511134 | 0 | 0.0 | 953M|1909 | - |3767 | 15k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
806.82/806.89 c 766s| 1090k|514203 | 0 | 0.0 | 957M|1909 | - |3767 | 10k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
811.32/811.39 c 771s| 1100k|521538 | 0 | 0.0 | 966M|1909 | - |3767 | 10k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
816.23/816.26 c 775s| 1110k|528495 | 0 | 0.0 | 974M|1909 | - |3767 | 11k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
822.02/822.09 c 781s| 1120k|534598 | 0 | 0.0 | 982M|1909 | - |3767 | 11k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
828.62/828.68 c 787s| 1130k|540053 | 0 | 0.0 | 991M|1909 | - |3767 | 11k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
836.03/836.08 c 794s| 1140k|544881 | 0 | 0.0 | 998M|1909 | - |3767 |8716 | 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
842.72/842.71 c 800s| 1150k|549488 | 0 | 0.0 |1006M|1909 | - |3767 | 10k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
849.42/849.44 c 806s| 1160k|554123 | 0 | 0.0 |1014M|1909 | - |3767 | 10k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
855.92/855.99 c 813s| 1170k|559022 | 0 | 0.0 |1021M|1909 | - |3767 | 10k| 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
862.72/862.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.72/862.77 c 819s| 1180k|563598 | 0 | 0.0 |1029M|1909 | - |3767 | 11k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
871.13/871.15 c 827s| 1190k|566619 | 0 | 0.0 |1038M|1909 | - |3767 | 13k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
881.03/881.05 c 837s| 1200k|568604 | 0 | 0.0 |1042M|1909 | - |3767 | 11k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
885.32/885.39 c 841s| 1210k|575976 | 0 | 0.0 |1050M|1909 | - |3767 |9788 | 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
890.42/890.45 c 845s| 1220k|582550 | 0 | 0.0 |1059M|1909 | - |3767 | 10k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
896.53/896.52 c 851s| 1230k|588143 | 0 | 0.0 |1067M|1909 | - |3767 | 11k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
903.92/903.98 c 858s| 1240k|592440 | 0 | 0.0 |1076M|1909 | - |3767 | 12k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
914.03/914.02 c 868s| 1250k|594443 | 0 | 0.0 |1084M|1909 | - |3767 | 14k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
923.82/923.80 c 877s| 1260k|597106 | 0 | 0.0 |1089M|1909 | - |3767 | 10k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
934.03/934.02 c 887s| 1270k|599327 | 0 | 0.0 |1098M|1909 | - |3767 | 12k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
945.82/945.82 c 898s| 1280k|600417 | 0 | 0.0 |1105M|1909 | - |3767 | 13k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
958.62/958.62 c 911s| 1290k|601073 | 0 | 0.0 |1113M|1909 | - |3767 | 13k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
972.63/972.62 c 924s| 1300k|600894 | 0 | 0.0 |1117M|1909 | - |3767 | 13k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
987.62/987.65 c 939s| 1310k|600151 | 0 | 0.0 |1123M|1909 | - |3767 | 14k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1003.03/1003.07 c 954s| 1320k|599337 | 0 | 0.0 |1127M|1909 | - |3767 | 15k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1019.33/1019.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.33/1019.30 c 970s| 1330k|598314 | 0 | 0.0 |1132M|1909 | - |3767 | 15k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1035.72/1035.72 c 986s| 1340k|597326 | 0 | 0.0 |1135M|1909 | - |3767 | 16k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1052.73/1052.77 c 1002s| 1350k|596071 | 0 | 0.0 |1139M|1909 | - |3767 | 15k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1069.23/1069.22 c 1018s| 1360k|595426 | 0 | 0.0 |1145M|1909 | - |3767 | 15k| 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1086.03/1086.05 c 1035s| 1370k|594078 | 0 | 0.0 |1148M|1909 | - |3767 | 17k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1102.73/1102.70 c 1051s| 1380k|592535 | 0 | 0.0 |1150M|1909 | - |3767 | 17k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1119.43/1119.45 c 1067s| 1390k|590820 | 0 | 0.0 |1151M|1909 | - |3767 | 17k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1136.24/1136.21 c 1084s| 1400k|589318 | 0 | 0.0 |1153M|1909 | - |3767 | 17k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1153.84/1153.90 c 1101s| 1410k|587340 | 0 | 0.0 |1154M|1909 | - |3767 | 18k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1172.13/1172.15 c 1119s| 1420k|584059 | 0 | 0.0 |1149M|1909 | - |3767 | 15k| 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1189.04/1189.01 c 1135s| 1430k|581286 | 0 | 0.0 |1149M|1909 | - |3767 | 16k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1206.53/1206.53 c 1152s| 1440k|577707 | 0 | 0.0 |1145M|1909 | - |3767 | 17k| 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1225.13/1225.16 c 1171s| 1450k|573575 | 0 | 0.0 |1142M|1909 | - |3767 | 18k| 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1245.74/1245.72 c 1191s| 1460k|567468 | 0 | 0.0 |1133M|1909 | - |3767 | 19k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1267.34/1267.31 c 1212s| 1470k|561434 | 0 | 0.0 |1123M|1909 | - |3767 | 20k| 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1292.23/1292.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.23/1292.20 c 1236s| 1480k|553251 | 0 | 0.0 |1101M|1909 | - |3767 | 23k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1299.44/1299.47 c 1243s| 1490k|558562 | 0 | 0.0 |1100M|1909 | - |3767 |6051 | 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1304.24/1304.29 c 1248s| 1500k|565199 | 0 | 0.0 |1109M|1909 | - |3767 |6114 | 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1309.13/1309.10 c 1252s| 1510k|571728 | 0 | 0.0 |1117M|1909 | - |3767 |6761 | 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1314.44/1314.41 c 1257s| 1520k|577824 | 0 | 0.0 |1125M|1909 | - |3767 |7111 | 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1319.84/1319.80 c 1262s| 1530k|583884 | 0 | 0.0 |1134M|1909 | - |3767 |7649 | 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1326.13/1326.16 c 1268s| 1540k|589137 | 0 | 0.0 |1142M|1909 | - |3767 |8723 | 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.54/1333.59 c 1275s| 1550k|593642 | 0 | 0.0 |1151M|1909 | - |3767 |9013 | 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.53/1341.50 c 1283s| 1560k|597741 | 0 | 0.0 |1159M|1909 | - |3767 |9524 | 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1349.44/1349.47 c 1290s| 1570k|601763 | 0 | 0.0 |1168M|1909 | - |3767 |9911 | 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1357.24/1357.27 c 1298s| 1580k|605942 | 0 | 0.0 |1176M|1909 | - |3767 |9983 | 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1365.43/1365.43 c 1305s| 1590k|609648 | 0 | 0.0 |1185M|1909 | - |3767 | 11k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1373.85/1373.90 c 1314s| 1600k|613199 | 0 | 0.0 |1193M|1909 | - |3767 | 11k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1382.94/1382.90 c 1322s| 1610k|616349 | 0 | 0.0 |1201M|1909 | - |3767 | 11k| 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1392.24/1392.26 c 1331s| 1620k|619162 | 0 | 0.0 |1209M|1909 | - |3767 | 11k| 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1402.34/1402.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.34/1402.34 c 1341s| 1630k|621478 | 0 | 0.0 |1217M|1909 | - |3767 | 12k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1412.54/1412.53 c 1351s| 1640k|623746 | 0 | 0.0 |1224M|1909 | - |3767 | 12k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1422.94/1422.96 c 1361s| 1650k|625924 | 0 | 0.0 |1231M|1909 | - |3767 | 12k| 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1434.34/1434.34 c 1372s| 1660k|627311 | 0 | 0.0 |1238M|1909 | - |3767 | 13k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1446.04/1446.08 c 1383s| 1670k|628542 | 0 | 0.0 |1244M|1909 | - |3767 | 13k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1458.74/1458.76 c 1395s| 1680k|629137 | 0 | 0.0 |1250M|1909 | - |3767 | 14k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1471.54/1471.58 c 1408s| 1690k|629623 | 0 | 0.0 |1255M|1909 | - |3767 | 14k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1486.44/1486.47 c 1422s| 1700k|628737 | 0 | 0.0 |1258M|1909 | - |3767 | 15k| 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1503.04/1503.02 c 1438s| 1710k|626749 | 0 | 0.0 |1260M|1909 | - |3767 | 17k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1522.74/1522.78 c 1457s| 1720k|622736 | 0 | 0.0 |1258M|1909 | - |3767 | 19k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1537.54/1537.58 c 1472s| 1730k|621982 | 0 | 0.0 |1250M|1909 | - |3767 |9843 | 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1543.15/1543.14 c 1477s| 1740k|628268 | 0 | 0.0 |1257M|1909 | - |3767 |7519 | 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1548.85/1548.85 c 1482s| 1750k|634198 | 0 | 0.0 |1265M|1909 | - |3767 |7953 | 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1554.94/1554.92 c 1488s| 1760k|639832 | 0 | 0.0 |1274M|1909 | - |3767 |8562 | 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1561.64/1561.63 c 1494s| 1770k|644875 | 0 | 0.0 |1282M|1909 | - |3767 |9524 | 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1568.24/1568.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.24/1568.24 c 1501s| 1780k|649942 | 0 | 0.0 |1290M|1909 | - |3767 |9948 | 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1575.35/1575.33 c 1507s| 1790k|654713 | 0 | 0.0 |1298M|1909 | - |3767 | 10k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1582.84/1582.86 c 1514s| 1800k|659106 | 0 | 0.0 |1306M|1909 | - |3767 | 10k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1590.74/1590.78 c 1522s| 1810k|663155 | 0 | 0.0 |1314M|1909 | - |3767 | 11k| 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1599.24/1599.21 c 1530s| 1820k|666895 | 0 | 0.0 |1322M|1909 | - |3767 | 12k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1608.05/1608.02 c 1538s| 1830k|670342 | 0 | 0.0 |1330M|1909 | - |3767 | 12k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1617.35/1617.40 c 1547s| 1840k|673507 | 0 | 0.0 |1337M|1909 | - |3767 | 12k| 0 | 0 | 0 |1865k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1627.05/1627.02 c 1557s| 1850k|676408 | 0 | 0.0 |1345M|1909 | - |3767 | 13k| 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1637.24/1637.28 c 1567s| 1860k|678980 | 0 | 0.0 |1352M|1909 | - |3767 | 13k| 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1648.25/1648.24 c 1577s| 1870k|681112 | 0 | 0.0 |1358M|1909 | - |3767 | 14k| 0 | 0 | 0 |1895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1659.75/1659.78 c 1588s| 1880k|682778 | 0 | 0.0 |1365M|1909 | - |3767 | 14k| 0 | 0 | 0 |1906k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1672.95/1672.93 c 1601s| 1890k|683332 | 0 | 0.0 |1370M|1909 | - |3767 | 14k| 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1686.85/1686.85 c 1614s| 1900k|683339 | 0 | 0.0 |1373M|1909 | - |3767 | 15k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1701.94/1701.92 c 1629s| 1910k|682831 | 0 | 0.0 |1377M|1909 | - |3767 | 16k| 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1719.45/1719.41 c 1646s| 1920k|680770 | 0 | 0.0 |1377M|1909 | - |3767 | 18k| 0 | 0 | 0 |1963k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1735.25/1735.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.25/1735.27 c 1661s| 1930k|680051 | 0 | 0.0 |1373M|1909 | - |3767 | 10k| 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1740.65/1740.61 c 1666s| 1940k|686557 | 0 | 0.0 |1380M|1909 | - |3767 |8398 | 0 | 0 | 0 |1982k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1745.85/1745.85 c 1671s| 1950k|692870 | 0 | 0.0 |1387M|1909 | - |3767 |8886 | 0 | 0 | 0 |1988k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1751.35/1751.37 c 1676s| 1960k|698982 | 0 | 0.0 |1395M|1909 | - |3767 |9849 | 0 | 0 | 0 |1993k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1757.25/1757.26 c 1682s| 1970k|704866 | 0 | 0.0 |1402M|1909 | - |3767 | 10k| 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1763.35/1763.33 c 1688s| 1980k|710569 | 0 | 0.0 |1410M|1909 | - |3767 | 10k| 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1769.55/1769.56 c 1694s| 1990k|716137 | 0 | 0.0 |1417M|1909 | - |3767 | 11k| 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1776.85/1776.86 c 1701s| 2000k|720818 | 0 | 0.0 |1425M|1909 | - |3767 | 11k| 0 | 0 | 0 |2019k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1786.35/1786.34 c 1710s| 2010k|723760 | 0 | 0.0 |1432M|1909 | - |3767 | 11k| 0 | 0 | 0 |2028k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1796.65/1796.63 c 1720s| 2020k|725953 | 0 | 0.0 |1439M|1909 | - |3767 | 12k| 0 | 0 | 0 |2038k| 0 | 0.000000e+00 | 2.000000e+00 | 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) : 1722.87
1800.05/1800.00 c Solving Nodes : 2023500
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (32 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.03 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.03 v -x1
1800.05/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.03 c Solving Time : 1722.87
1800.05/1800.03 c Original Problem :
1800.05/1800.03 c Problem name : HOME/instance-2694035-1277901513.wbo
1800.05/1800.03 c Variables : 3927 (2079 binary, 0 integer, 0 implicit integer, 1848 continuous)
1800.05/1800.03 c Constraints : 4556 initial, 4556 maximal
1800.05/1800.03 c Presolved Problem :
1800.05/1800.03 c Problem name : t_HOME/instance-2694035-1277901513.wbo
1800.05/1800.03 c Variables : 3767 (1999 binary, 0 integer, 0 implicit integer, 1768 continuous)
1800.05/1800.03 c Constraints : 4361 initial, 25095 maximal
1800.05/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.03 c trivial : 0.00 80 0 0 0 0 0 0 0
1800.05/1800.03 c dualfix : 0.00 80 0 0 0 0 0 0 0
1800.05/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.03 c indicator : 0.00 0 0 0 0 0 80 0 0
1800.05/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c linear : 0.07 0 0 0 1882 0 115 101 0
1800.05/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c root node : - 1757 - - 3514 - - - -
1800.05/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c indicator : 1768 0 4700399 0 1133810 241 2408877 0 0 0
1800.05/1800.03 c setppc : 8 0 7221355 0 1567186 10132 4962554 0 0 0
1800.05/1800.03 c linear : 1768 0 7214430 0 1567615 452023 40090862 0 0 0
1800.05/1800.03 c logicor : 817+ 0 4666859 0 1567636 250169 7960606 0 0 0
1800.05/1800.03 c bounddisjunction : 0+ 0 12574 0 0 1 22 0 0 0
1800.05/1800.03 c countsols : 0 0 0 0 1567630 0 0 0 0 0
1800.05/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.03 c indicator : 10.03 0.00 4.70 0.00 5.33
1800.05/1800.03 c setppc : 20.87 0.00 19.39 0.00 1.48
1800.05/1800.03 c linear : 316.56 0.00 315.93 0.00 0.63
1800.05/1800.03 c logicor : 436.75 0.00 396.53 0.00 40.22
1800.05/1800.03 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.05/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.03 c vbounds : 0.00 2 0 0
1800.05/1800.03 c rootredcost : 0.00 0 0 0
1800.05/1800.03 c pseudoobj : 243.64 7230414 5558 2382394
1800.05/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.03 c propagation : 34.81 717883 717862 3187810 19.8 180129 10.1 -
1800.05/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c pseudo solution : 0.03 79 79 369 23.6 137 9.3 -
1800.05/1800.03 c applied globally : - - - 2042116 18.2 - - -
1800.05/1800.03 c applied locally : - - - 7 219.6 - - -
1800.05/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.03 c redcost : 0.00 0 0 0 0 0
1800.05/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.03 c intobj : 0.00 0 0 0 0 0
1800.05/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.03 c gomory : 0.00 0 0 0 0 0
1800.05/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.03 c cmir : 0.00 0 0 0 0 0
1800.05/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.03 c clique : 0.00 0 0 0 0 0
1800.05/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.03 c mcf : 0.00 0 0 0 0 0
1800.05/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.03 c Pricers : Time Calls Vars
1800.05/1800.03 c problem variables: 0.00 0 0
1800.05/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.03 c inference : 26.91 1567598 0 0 0 0 3135196
1800.05/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c random : 0.00 0 0 0 0 0 0
1800.05/1800.03 c Primal Heuristics : Time Calls Found
1800.05/1800.03 c LP solutions : 0.00 - 0
1800.05/1800.03 c pseudo solutions : 0.11 - 32
1800.05/1800.03 c oneopt : 0.04 0 0
1800.05/1800.03 c trivial : 0.01 2 0
1800.05/1800.03 c simplerounding : 0.00 0 0
1800.05/1800.03 c zirounding : 0.00 0 0
1800.05/1800.03 c rounding : 0.00 0 0
1800.05/1800.03 c shifting : 0.00 0 0
1800.05/1800.03 c intshifting : 0.00 0 0
1800.05/1800.03 c twoopt : 0.00 0 0
1800.05/1800.03 c fixandinfer : 0.00 0 0
1800.05/1800.03 c feaspump : 0.00 0 0
1800.05/1800.03 c coefdiving : 0.00 0 0
1800.05/1800.03 c pscostdiving : 0.00 0 0
1800.05/1800.03 c fracdiving : 0.00 0 0
1800.05/1800.03 c veclendiving : 0.00 0 0
1800.05/1800.03 c intdiving : 0.00 0 0
1800.05/1800.03 c actconsdiving : 0.00 0 0
1800.05/1800.03 c objpscostdiving : 0.00 0 0
1800.05/1800.03 c rootsoldiving : 0.00 0 0
1800.05/1800.03 c linesearchdiving : 0.00 0 0
1800.05/1800.03 c guideddiving : 0.00 0 0
1800.05/1800.03 c octane : 0.00 0 0
1800.05/1800.03 c rens : 0.00 0 0
1800.05/1800.03 c rins : 0.00 0 0
1800.05/1800.03 c localbranching : 0.00 0 0
1800.05/1800.03 c mutation : 0.00 0 0
1800.05/1800.03 c crossover : 0.00 0 0
1800.05/1800.03 c dins : 0.00 0 0
1800.05/1800.03 c undercover : 0.00 0 0
1800.05/1800.03 c nlp : 0.00 0 0
1800.05/1800.03 c trysol : 0.00 1 0
1800.05/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.03 c (at root node) : - 0 0 0.00 -
1800.05/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.03 c B&B Tree :
1800.05/1800.03 c number of runs : 1
1800.05/1800.03 c nodes : 2023500
1800.05/1800.03 c nodes (total) : 2023500
1800.05/1800.03 c nodes left : 727006
1800.05/1800.03 c max depth : 1909
1800.05/1800.03 c max depth (total): 1909
1800.05/1800.03 c backtracks : 435993 (21.5%)
1800.05/1800.03 c delayed cutoffs : 341313
1800.05/1800.03 c repropagations : 1571834 (17008885 domain reductions, 262333 cutoffs)
1800.05/1800.03 c avg switch length: 43.33
1800.05/1800.03 c switching time : 544.67
1800.05/1800.03 c Solution :
1800.05/1800.03 c Solutions found : 32 (32 improvements)
1800.05/1800.03 c First Solution : +5.03000000000000e+02 (in run 1, after 9478 nodes, 2.31 seconds, depth 1093, found by <relaxation>)
1800.05/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 833380 nodes, 583.35 seconds, depth 317, found by <relaxation>)
1800.05/1800.03 c Dual Bound : +0.00000000000000e+00
1800.05/1800.03 c Gap : infinite
1800.05/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.03 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-2694035-1277901513/watcher-2694035-1277901513 -o /tmp/evaluation-result-2694035-1277901513/solver-2694035-1277901513 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694035-1277901513.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/196 24705 /proc/meminfo: memFree=30996204/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=8404 CPUtime=0 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 1579 0 0 0 0 0 0 0 18 0 1 0 165754410 8605696 1502 4089446400 4194304 7136930 140736504099440 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24705/statm: 2101 1502 275 719 0 1380 0 [startup+0.0722111 s] /proc/loadavg: 2.00 2.00 2.00 3/196 24705 /proc/meminfo: memFree=30996204/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=28180 CPUtime=0.06 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 7198 0 0 0 5 1 0 0 18 0 1 0 165754410 28856320 6253 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24705/statm: 7045 6253 348 719 0 6324 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 28180 [startup+0.101194 s] /proc/loadavg: 2.00 2.00 2.00 3/196 24705 /proc/meminfo: memFree=30996204/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=28180 CPUtime=0.09 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 7471 0 0 0 8 1 0 0 18 0 1 0 165754410 28856320 6269 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24705/statm: 7045 6269 354 719 0 6324 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28180 [startup+0.301151 s] /proc/loadavg: 2.00 2.00 2.00 3/196 24705 /proc/meminfo: memFree=30996204/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=30324 CPUtime=0.29 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 10866 0 0 0 26 3 0 0 18 0 1 0 165754410 31051776 6837 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24705/statm: 7581 6837 391 719 0 6860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30324 [startup+0.701079 s] /proc/loadavg: 2.00 2.00 2.00 3/196 24705 /proc/meminfo: memFree=30996204/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=32112 CPUtime=0.69 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 11333 0 0 0 62 7 0 0 18 0 1 0 165754410 32882688 7304 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 8028 7304 395 719 0 7307 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32112 [startup+1.50093 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24706 /proc/meminfo: memFree=30967180/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=34576 CPUtime=1.49 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 11945 0 0 0 134 15 0 0 20 0 1 0 165754410 35405824 7916 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 8644 7916 395 719 0 7923 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34576 [startup+3.10063 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24706 /proc/meminfo: memFree=30964824/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=38592 CPUtime=3.09 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 12953 0 0 0 281 28 0 0 25 0 1 0 165754410 39518208 8924 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 9648 8924 396 719 0 8927 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38592 [startup+6.30103 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24706 /proc/meminfo: memFree=30951744/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=53536 CPUtime=6.29 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 16679 0 0 0 569 60 0 0 25 0 1 0 165754410 54820864 12650 4089446400 4194304 7136930 140736504099440 18446744073709551615 4923115 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 13384 12650 396 719 0 12663 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53536 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24706 /proc/meminfo: memFree=30930380/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=71120 CPUtime=12.69 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 21035 0 0 0 1163 106 0 0 25 0 1 0 165754410 72826880 17006 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 17780 17006 396 719 0 17059 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71120 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24707 /proc/meminfo: memFree=30885232/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=113136 CPUtime=25.49 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 31390 0 0 0 2340 209 0 0 25 0 1 0 165754410 115851264 27361 4089446400 4194304 7136930 140736504099440 18446744073709551615 4960035 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 28284 27361 398 719 0 27563 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 113136 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24707 /proc/meminfo: memFree=30827600/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=170672 CPUtime=51.09 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 45228 0 0 0 4721 388 0 0 25 0 1 0 165754410 174768128 41199 4089446400 4194304 7136930 140736504099440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 42668 41199 398 719 0 41947 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 170672 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24709 /proc/meminfo: memFree=30718068/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=276292 CPUtime=102.3 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 70456 0 0 0 9531 699 0 0 25 0 1 0 165754410 282923008 66427 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 69073 66427 398 719 0 68352 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 276292 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24710 /proc/meminfo: memFree=30549248/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=449552 CPUtime=162.29 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 110998 0 0 0 15116 1113 0 0 25 0 1 0 165754410 460341248 106969 4089446400 4194304 7136930 140736504099440 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 112388 106969 398 719 0 111667 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 449552 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24712 /proc/meminfo: memFree=30430784/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=553068 CPUtime=222.3 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 135557 0 0 0 20791 1439 0 0 25 0 1 0 165754410 566341632 131528 4089446400 4194304 7136930 140736504099440 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 138267 131528 398 719 0 137546 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 553068 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24713 /proc/meminfo: memFree=30348024/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=611176 CPUtime=282.3 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 150191 0 0 0 26545 1685 0 0 25 0 1 0 165754410 625844224 146162 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 152794 146162 398 719 0 152073 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 611176 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24715 /proc/meminfo: memFree=30279284/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=663272 CPUtime=342.3 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 163033 0 0 0 32330 1900 0 0 25 0 1 0 165754410 679190528 159004 4089446400 4194304 7136930 140736504099440 18446744073709551615 4212176 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 165818 159004 398 719 0 165097 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 663272 [startup+402.301 s] /proc/loadavg: 1.95 1.98 1.99 3/179 24747 /proc/meminfo: memFree=30764320/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=690104 CPUtime=402.3 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 169612 0 0 0 38163 2067 0 0 25 0 1 0 165754410 706666496 165583 4089446400 4194304 7136930 140736504099440 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 172526 165583 398 719 0 171805 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 690104 [startup+462.301 s] /proc/loadavg: 1.98 1.98 1.99 3/179 24748 /proc/meminfo: memFree=30678264/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=788620 CPUtime=462.3 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 191153 0 0 0 43894 2336 0 0 25 0 1 0 165754410 807546880 187124 4089446400 4194304 7136930 140736504099440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 197155 187124 398 719 0 196434 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 788620 [startup+522.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24750 /proc/meminfo: memFree=30610028/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=859416 CPUtime=522.3 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 208049 0 0 0 49626 2604 0 0 25 0 1 0 165754410 880041984 204020 4089446400 4194304 7136930 140736504099440 18446744073709551615 5952243 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 214854 204020 398 719 0 214133 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 859416 [startup+582.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24751 /proc/meminfo: memFree=30525528/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=944856 CPUtime=582.31 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 229227 0 0 0 55295 2936 0 0 25 0 1 0 165754410 967532544 225198 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 236214 225198 398 719 0 235493 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 944856 [startup+642.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24753 /proc/meminfo: memFree=30481196/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=987876 CPUtime=642.32 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 240033 0 0 0 61001 3231 0 0 25 0 1 0 165754410 1011585024 236004 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 246969 236004 398 719 0 246248 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 987876 [startup+702.301 s] ################ # More data... # ################ /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 325792 0 0 0 95323 4909 0 0 25 0 1 0 165754410 1369595904 321763 4089446400 4194304 7136930 140736504099440 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 334374 321763 398 719 0 333653 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1337496 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24764 /proc/meminfo: memFree=30122276/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1352016 CPUtime=1062.32 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 329306 0 0 0 101172 5060 0 0 25 0 1 0 165754410 1384464384 325277 4089446400 4194304 7136930 140736504099440 18446744073709551615 5955601 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 338004 325277 398 719 0 337283 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1352016 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24766 /proc/meminfo: memFree=30115780/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1358108 CPUtime=1122.33 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 330865 0 0 0 107023 5210 0 0 25 0 1 0 165754410 1390702592 326836 4089446400 4194304 7136930 140736504099440 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 339527 326836 398 719 0 338806 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1358108 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24767 /proc/meminfo: memFree=30112020/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1361664 CPUtime=1182.33 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 331778 0 0 0 112876 5357 0 0 25 0 1 0 165754410 1394343936 327749 4089446400 4194304 7136930 140736504099440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 340416 327749 398 719 0 339695 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1361664 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24769 /proc/meminfo: memFree=30110996/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1362688 CPUtime=1242.33 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 332040 0 0 0 118735 5498 0 0 25 0 1 0 165754410 1395392512 328011 4089446400 4194304 7136930 140736504099440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 340672 328011 398 719 0 339951 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1362688 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24771 /proc/meminfo: memFree=30109236/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1365580 CPUtime=1302.34 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 332403 0 0 0 124569 5665 0 0 25 0 1 0 165754410 1398353920 328374 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 341395 328374 398 719 0 340674 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1365580 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24781 /proc/meminfo: memFree=30065984/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1408460 CPUtime=1362.34 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 342939 0 0 0 130246 5988 0 0 25 0 1 0 165754410 1442263040 338910 4089446400 4194304 7136930 140736504099440 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 352115 338910 398 719 0 351394 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1408460 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24783 /proc/meminfo: memFree=30023620/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1449700 CPUtime=1422.34 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 353417 0 0 0 136001 6233 0 0 25 0 1 0 165754410 1484492800 349388 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 362425 349388 398 719 0 361704 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1449700 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24784 /proc/meminfo: memFree=29996056/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1476900 CPUtime=1482.34 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 360298 0 0 0 141794 6440 0 0 25 0 1 0 165754410 1512345600 356269 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 369225 356269 398 719 0 368504 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1476900 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24786 /proc/meminfo: memFree=29990072/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1482792 CPUtime=1542.34 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 361759 0 0 0 147607 6627 0 0 25 0 1 0 165754410 1518379008 357730 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 370698 357730 398 719 0 369977 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1482792 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24788 /proc/meminfo: memFree=29930880/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1541300 CPUtime=1602.35 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 376550 0 0 0 153298 6937 0 0 25 0 1 0 165754410 1578291200 372521 4089446400 4194304 7136930 140736504099440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 385325 372521 398 719 0 384604 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 1541300 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24789 /proc/meminfo: memFree=29888052/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1583700 CPUtime=1662.34 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 387221 0 0 0 159064 7170 0 0 25 0 1 0 165754410 1621708800 383192 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 395925 383192 398 719 0 395204 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1583700 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24791 /proc/meminfo: memFree=29875620/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1595828 CPUtime=1722.35 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 390317 0 0 0 164873 7362 0 0 25 0 1 0 165754410 1634127872 386288 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 398957 386288 398 719 0 398236 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1595828 [startup+1782.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 24792 /proc/meminfo: memFree=29826588/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1644252 CPUtime=1782.35 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 402447 0 0 0 170590 7645 0 0 25 0 1 0 165754410 1683714048 398418 4089446400 4194304 7136930 140736504099440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 411063 398418 398 719 0 410342 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1644252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24793 /proc/meminfo: memFree=29813056/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1658404 CPUtime=1800.05 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 405990 0 0 0 172288 7717 0 0 25 0 1 0 165754410 1698205696 401961 4089446400 4194304 7136930 140736504099440 18446744073709551615 4661050 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24705/statm: 414601 401961 398 719 0 413880 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1658404 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -24705 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.03 2.01 2.00 3/180 24794 /proc/meminfo: memFree=29813048/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1658404 CPUtime=1801.45 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 405995 0 0 0 172428 7717 0 0 19 0 1 0 165754410 1698205696 401966 4089446400 4194304 7136930 140736504099440 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24705/statm: 414601 401966 403 719 0 413880 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 1658404 [startup+1801.81 s] /proc/loadavg: 2.03 2.01 2.00 3/180 24794 /proc/meminfo: memFree=29812924/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1657380 CPUtime=1801.85 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 405995 0 0 0 172468 7717 0 0 20 0 1 0 165754410 1697157120 401763 4089446400 4194304 7136930 140736504099440 18446744073709551615 4212595 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24705/statm: 414345 401763 403 719 0 413624 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1657380 [startup+1802 s] /proc/loadavg: 2.03 2.01 2.00 3/180 24794 /proc/meminfo: memFree=29812924/32950928 swapFree=67111528/67111528 [pid=24705] ppid=24703 vsize=1634532 CPUtime=1802.05 /proc/24705/stat : 24705 (pbscip.linux.x8) R 24703 24705 23976 0 -1 4202496 405995 0 0 0 172488 7717 0 0 21 0 1 0 165754410 1673760768 396053 4089446400 4194304 7136930 140736504099440 18446744073709551615 6165643 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24705/statm: 408633 396053 403 719 0 407912 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1634532 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.12 CPU user time (s): 1724.89 CPU system time (s): 77.2303 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1658404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.89 system time used= 77.2303 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 405995 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 22955 runsolver used 2.84557 second user time and 7.01193 second system time The end
Begin job on node114 at 2010-06-30 14:38:33 IDJOB=2694035 IDBENCH=78891 IDSOLVER=1206 FILE ID=node114/2694035-1277901513 PBS_JOBID= 11197180 Free space on /tmp= 74212 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.1900571761--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-2694035-1277901513/watcher-2694035-1277901513 -o /tmp/evaluation-result-2694035-1277901513/solver-2694035-1277901513 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694035-1277901513.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 91e040f5c30df15d8a8ea402735ab864 RANDOM SEED=1006979511 node114.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.819 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.63 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.819 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.819 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.82 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.819 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.67 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.819 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.82 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.819 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 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.83 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.819 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 : 5447.01 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30997096 kB Buffers: 183996 kB Cached: 1120340 kB SwapCached: 0 kB Active: 913464 kB Inactive: 894984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30997096 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3168 kB Writeback: 0 kB AnonPages: 504484 kB Mapped: 20260 kB Slab: 78636 kB PageTables: 5740 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1653160 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= 74208 MiB End job on node114 at 2010-06-30 15:08:35