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.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo |
| MD5SUM | 820e833470f89e38c3db46a3ad325d3f |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 7 |
| Best CPU time to get the best result obtained on this benchmark | 437.198 |
| 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 | 2707 |
| 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 | 136180 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136179 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 815 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693671-1277929674.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 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.09/0.12 o 136179
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.361790e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 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 (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
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.20 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.20 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.361790e+05 | Inf
3.19/3.29 c 3.1s| 10000 | 9571 | 0 | 0.0 | 24M|2816 | - |5645 |6960 | 0 | 0 | 0 |1546 | 0 | 0.000000e+00 | 1.361790e+05 | Inf
4.29/4.30 o 446
4.29/4.30 c * 4.0s| 13763 | 5507 | 0 | 0.0 | 23M|2816 | - |5645 |6979 | 0 | 0 | 0 |1565 | 0 | 0.000000e+00 | 4.460000e+02 | Inf
4.49/4.58 o 426
4.49/4.58 c * 4.3s| 14460 | 6166 | 0 | 0.0 | 23M|2816 | - |5645 |7038 | 0 | 0 | 0 |1625 | 0 | 0.000000e+00 | 4.260000e+02 | Inf
4.49/4.58 o 358
4.49/4.58 c * 4.3s| 14461 | 5864 | 0 | 0.0 | 23M|2816 | - |5645 |7038 | 0 | 0 | 0 |1625 | 0 | 0.000000e+00 | 3.580000e+02 | Inf
4.79/4.87 o 315
4.79/4.87 c * 4.6s| 15426 | 6371 | 0 | 0.0 | 24M|2816 | - |5645 |7091 | 0 | 0 | 0 |1685 | 0 | 0.000000e+00 | 3.150000e+02 | Inf
4.89/4.92 o 281
4.89/4.92 c * 4.6s| 15569 | 6370 | 0 | 0.0 | 24M|2816 | - |5645 |7119 | 0 | 0 | 0 |1728 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
6.60/6.62 c 6.2s| 20000 | 9954 | 0 | 0.0 | 29M|2816 | - |5645 |7758 | 0 | 0 | 0 |4834 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
11.59/11.63 c 11.0s| 30000 | 16538 | 0 | 0.0 | 42M|2816 | - |5645 |9067 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
13.59/13.68 o 270
13.59/13.68 c *12.9s| 32888 | 17992 | 0 | 0.0 | 45M|2816 | - |5645 |9400 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.700000e+02 | Inf
13.99/14.06 o 267
13.99/14.06 c *13.3s| 33647 | 18686 | 0 | 0.0 | 46M|2816 | - |5645 |9129 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.670000e+02 | Inf
13.99/14.07 o 234
13.99/14.07 c *13.3s| 33648 | 18380 | 0 | 0.0 | 46M|2816 | - |5645 |9129 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.340000e+02 | Inf
14.19/14.22 o 227
14.19/14.22 c *13.4s| 33941 | 18516 | 0 | 0.0 | 47M|2816 | - |5645 |9043 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
14.19/14.29 o 216
14.19/14.29 c *13.5s| 34044 | 18529 | 0 | 0.0 | 47M|2816 | - |5645 |8996 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
15.19/15.24 o 206
15.19/15.24 c *14.4s| 35573 | 19929 | 0 | 0.0 | 48M|2816 | - |5645 |8725 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.060000e+02 | Inf
15.19/15.24 o 194
15.19/15.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.19/15.24 c *14.4s| 35574 | 19739 | 0 | 0.0 | 48M|2816 | - |5645 |8725 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
15.30/15.37 o 184
15.30/15.37 c *14.6s| 35782 | 19860 | 0 | 0.0 | 49M|2816 | - |5645 |8708 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
16.99/17.02 o 134
16.99/17.02 c *16.1s| 38635 | 22026 | 0 | 0.0 | 49M|2816 | - |5645 |8128 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
17.79/17.88 c 17.0s| 40000 | 23309 | 0 | 0.0 | 51M|2816 | - |5645 |7935 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
18.19/18.28 o 133
18.19/18.28 c *17.4s| 40627 | 23851 | 0 | 0.0 | 52M|2816 | - |5645 |7896 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
19.19/19.21 o 114
19.19/19.21 c *18.2s| 42164 | 25066 | 0 | 0.0 | 53M|2816 | - |5645 |7698 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
23.49/23.57 c 22.4s| 50000 | 32352 | 0 | 0.0 | 62M|2816 | - |5645 |7640 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
24.20/24.29 o 104
24.20/24.29 c *23.1s| 51351 | 33384 | 0 | 0.0 | 63M|2816 | - |5645 |7789 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
24.20/24.29 o 92
24.20/24.29 c *23.1s| 51352 | 32769 | 0 | 0.0 | 62M|2816 | - |5645 |7789 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
27.69/27.79 o 90
27.69/27.79 c *26.4s| 56860 | 37637 | 0 | 0.0 | 70M|2816 | - |5645 |7931 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
27.89/27.90 o 85
27.89/27.90 c *26.6s| 57052 | 37503 | 0 | 0.0 | 69M|2816 | - |5645 |7991 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
29.09/29.13 o 83
29.09/29.13 c *27.7s| 58895 | 39031 | 0 | 0.0 | 72M|2816 | - |5645 |7993 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
29.59/29.66 c 28.2s| 60000 | 40023 | 0 | 0.0 | 73M|2816 | - |5645 |7968 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
35.10/35.15 c 33.4s| 70000 | 48476 | 0 | 0.0 | 85M|2816 | - |5645 |9165 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
39.60/39.63 c 37.6s| 80000 | 56447 | 0 | 0.0 | 95M|2816 | - |5645 |8442 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
44.69/44.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.69/44.72 c 42.5s| 90000 | 63532 | 0 | 0.0 | 107M|2816 | - |5645 |9260 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
50.79/50.87 c 48.3s|100000 | 69542 | 0 | 0.0 | 118M|2816 | - |5645 |9893 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
57.99/58.03 c 55.2s|110000 | 74558 | 0 | 0.0 | 129M|2816 | - |5645 | 10k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
66.09/66.16 c 63.0s|120000 | 78802 | 0 | 0.0 | 141M|2816 | - |5645 | 11k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
75.09/75.17 c 71.7s|130000 | 82435 | 0 | 0.0 | 152M|2816 | - |5645 | 12k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
87.29/87.37 c 83.5s|140000 | 83716 | 0 | 0.0 | 159M|2816 | - |5645 | 13k| 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
93.99/94.05 o 81
93.99/94.05 c *89.9s|148801 | 91631 | 0 | 0.0 | 168M|2816 | - |5645 |6771 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
93.99/94.06 o 43
93.99/94.06 c *89.9s|148802 | 88255 | 0 | 0.0 | 158M|2816 | - |5645 |6771 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
94.80/94.88 c 90.7s|150000 | 89290 | 0 | 0.0 | 162M|2816 | - |5645 |6858 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
103.00/103.07 o 32
103.00/103.07 c *98.5s|158769 | 94781 | 0 | 0.0 | 173M|2816 | - |5645 |5998 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
104.40/104.44 c 99.8s|160000 | 95467 | 0 | 0.0 | 177M|2816 | - |5645 |6441 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
111.20/111.27 c 106s|170000 |102604 | 0 | 0.0 | 190M|2816 | - |5645 |6621 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
118.59/118.67 c 113s|180000 |109049 | 0 | 0.0 | 203M|2816 | - |5645 |6925 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
124.49/124.55 c 119s|190000 |116758 | 0 | 0.0 | 214M|2816 | - |5645 |8257 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
125.49/125.52 o 28
125.49/125.52 c * 120s|190991 |116758 | 0 | 0.0 | 214M|2816 | - |5645 |7820 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
129.59/129.68 o 24
129.59/129.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.59/129.68 c * 124s|197188 |120219 | 0 | 0.0 | 218M|2816 | - |5645 |7517 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
131.29/131.37 c 125s|200000 |122426 | 0 | 0.0 | 222M|2816 | - |5645 |7772 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
139.09/139.13 c 133s|210000 |128210 | 0 | 0.0 | 235M|2816 | - |5645 |8244 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
145.30/145.35 c 139s|220000 |135637 | 0 | 0.0 | 247M|2816 | - |5645 |9883 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
148.40/148.46 o 22
148.40/148.46 c * 142s|224214 |137397 | 0 | 0.0 | 248M|2816 | - |5645 |9129 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
151.49/151.58 c 145s|230000 |142096 | 0 | 0.0 | 254M|2816 | - |5645 |9440 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
152.19/152.25 o 20
152.19/152.25 c * 145s|231095 |142726 | 0 | 0.0 | 254M|2816 | - |5645 |9355 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
158.49/158.57 c 151s|240000 |148289 | 0 | 0.0 | 265M|2816 | - |5645 |9626 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
163.80/163.85 c 156s|250000 |156494 | 0 | 0.0 | 276M|2816 | - |5645 | 10k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
170.79/170.87 c 163s|260000 |163649 | 0 | 0.0 | 288M|2816 | - |5645 | 11k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
178.79/178.84 c 171s|270000 |169726 | 0 | 0.0 | 300M|2816 | - |5645 | 11k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
185.90/185.96 c 178s|280000 |175417 | 0 | 0.0 | 310M|2816 | - |5645 | 10k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
191.70/191.73 c 183s|290000 |182960 | 0 | 0.0 | 321M|2816 | - |5645 | 13k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
192.80/192.80 o 19
192.80/192.80 c * 184s|291163 |183102 | 0 | 0.0 | 321M|2816 | - |5645 | 14k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
198.09/198.12 c 189s|300000 |189333 | 0 | 0.0 | 329M|2816 | - |5645 | 12k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
205.19/205.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.19/205.24 c 196s|310000 |195576 | 0 | 0.0 | 340M|2816 | - |5645 | 12k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
212.60/212.60 c 203s|320000 |201895 | 0 | 0.0 | 352M|2816 | - |5645 | 14k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
218.70/218.76 c 209s|330000 |209365 | 0 | 0.0 | 364M|2816 | - |5645 | 14k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
225.40/225.48 c 215s|340000 |216118 | 0 | 0.0 | 374M|2816 | - |5645 | 14k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
232.49/232.52 c 222s|350000 |222602 | 0 | 0.0 | 386M|2816 | - |5645 | 14k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
240.10/240.16 c 229s|360000 |228626 | 0 | 0.0 | 397M|2816 | - |5645 | 15k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
245.80/245.84 c 235s|370000 |236416 | 0 | 0.0 | 408M|2816 | - |5645 | 16k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
253.10/253.11 c 242s|380000 |242701 | 0 | 0.0 | 418M|2816 | - |5645 | 15k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
261.09/261.14 c 249s|390000 |248972 | 0 | 0.0 | 430M|2816 | - |5645 | 16k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
268.69/268.78 c 257s|400000 |255594 | 0 | 0.0 | 442M|2816 | - |5645 | 16k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
275.69/275.75 c 263s|410000 |262696 | 0 | 0.0 | 453M|2816 | - |5645 | 15k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
284.20/284.26 c 271s|420000 |268952 | 0 | 0.0 | 462M|2816 | - |5645 |7896 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
289.50/289.54 c 276s|430000 |276878 | 0 | 0.0 | 473M|2816 | - |5645 |6366 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
293.90/293.92 c 281s|440000 |284989 | 0 | 0.0 | 485M|2816 | - |5645 |6625 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
299.10/299.12 c 285s|450000 |292198 | 0 | 0.0 | 497M|2816 | - |5645 |7540 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
307.90/307.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.90/307.90 c 294s|460000 |296560 | 0 | 0.0 | 508M|2816 | - |5645 |8930 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
317.40/317.47 c 303s|470000 |300314 | 0 | 0.0 | 519M|2816 | - |5645 | 10k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
327.70/327.70 c 313s|480000 |303744 | 0 | 0.0 | 529M|2816 | - |5645 | 11k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
339.09/339.19 c 324s|490000 |306481 | 0 | 0.0 | 538M|2816 | - |5645 | 12k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
351.90/351.98 c 337s|500000 |308390 | 0 | 0.0 | 547M|2816 | - |5645 | 12k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
365.29/365.38 c 350s|510000 |309630 | 0 | 0.0 | 555M|2816 | - |5645 | 13k| 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
378.19/378.26 c 362s|520000 |311240 | 0 | 0.0 | 562M|2816 | - |5645 | 12k| 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
392.30/392.32 c 376s|530000 |311903 | 0 | 0.0 | 569M|2816 | - |5645 | 13k| 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
407.10/407.16 c 391s|540000 |311589 | 0 | 0.0 | 575M|2816 | - |5645 | 14k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
422.90/422.92 c 406s|550000 |310832 | 0 | 0.0 | 580M|2816 | - |5645 | 15k| 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
442.40/442.48 c 425s|560000 |307930 | 0 | 0.0 | 579M|2816 | - |5645 | 18k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
452.00/452.08 c 434s|570000 |313891 | 0 | 0.0 | 587M|2816 | - |5645 |7775 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
458.70/458.72 c 441s|580000 |321756 | 0 | 0.0 | 603M|2816 | - |5645 |7957 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
465.90/465.91 c 448s|590000 |329194 | 0 | 0.0 | 617M|2816 | - |5645 |8463 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
474.30/474.34 c 456s|600000 |336105 | 0 | 0.0 | 635M|2816 | - |5645 |9461 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
483.60/483.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.60/483.66 c 465s|610000 |342607 | 0 | 0.0 | 653M|2816 | - |5645 | 10k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
494.30/494.39 c 475s|620000 |348441 | 0 | 0.0 | 672M|2816 | - |5645 | 11k| 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
499.00/499.08 o 18
499.00/499.08 c * 480s|624086 |350232 | 0 | 0.0 | 676M|2816 | - |5645 | 11k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
506.30/506.37 o 17
506.30/506.37 c * 487s|629551 |352569 | 0 | 0.0 | 682M|2816 | - |5645 | 11k| 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
507.00/507.07 c 487s|630000 |352766 | 0 | 0.0 | 683M|2816 | - |5645 | 11k| 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
521.50/521.53 c 501s|640000 |357200 | 0 | 0.0 | 706M|2816 | - |5645 | 12k| 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
535.90/535.97 c 515s|650000 |359840 | 0 | 0.0 | 720M|2816 | - |5645 | 13k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
553.50/553.50 c 532s|660000 |358934 | 0 | 0.0 | 732M|2816 | - |5645 | 14k| 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
561.80/561.88 c 540s|670000 |366806 | 0 | 0.0 | 764M|2816 | - |5645 | 11k| 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
570.91/570.93 c 549s|680000 |374128 | 0 | 0.0 | 802M|2816 | - |5645 | 12k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
574.61/574.66 o 13
574.61/574.66 c * 552s|683935 |374008 | 0 | 0.0 | 791M|2816 | - |5645 | 12k| 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
581.50/581.59 c 559s|690000 |377927 | 0 | 0.0 | 824M|2816 | - |5645 | 12k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
595.11/595.14 c 572s|700000 |383501 | 0 | 0.0 | 884M|2816 | - |5645 | 15k| 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
610.31/610.34 c 587s|710000 |388348 | 0 | 0.0 | 945M|2816 | - |5645 | 15k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
625.91/625.93 o 12
625.91/625.93 c * 602s|718306 |390490 | 0 | 0.0 | 992M|2816 | - |5645 | 16k| 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
629.21/629.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.21/629.28 c 605s|720000 |390983 | 0 | 0.0 |1002M|2816 | - |5645 | 16k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
652.00/652.00 c 627s|730000 |391722 | 0 | 0.0 |1045M|2816 | - |5645 | 17k| 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
661.31/661.38 c 636s|740000 |399268 | 0 | 0.0 |1086M|2816 | - |5645 | 15k| 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
670.80/670.86 c 645s|750000 |405907 | 0 | 0.0 |1115M|2816 | - |5645 | 11k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
678.30/678.35 c 652s|760000 |411878 | 0 | 0.0 |1126M|2816 | - |5645 | 12k| 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
686.31/686.35 c 660s|770000 |417303 | 0 | 0.0 |1136M|2816 | - |5645 | 13k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
695.80/695.80 c 669s|780000 |421696 | 0 | 0.0 |1146M|2816 | - |5645 | 13k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
708.41/708.47 c 681s|790000 |423490 | 0 | 0.0 |1155M|2816 | - |5645 | 14k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
718.21/718.21 c 691s|800000 |427680 | 0 | 0.0 |1162M|2816 | - |5645 | 11k| 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
724.61/724.60 c 697s|810000 |434613 | 0 | 0.0 |1172M|2816 | - |5645 | 12k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
732.11/732.16 c 704s|820000 |440691 | 0 | 0.0 |1183M|2816 | - |5645 | 13k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
740.51/740.56 c 712s|830000 |446086 | 0 | 0.0 |1193M|2816 | - |5645 | 13k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
750.00/750.04 c 721s|840000 |450604 | 0 | 0.0 |1203M|2816 | - |5645 | 14k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
761.91/761.92 c 733s|850000 |453149 | 0 | 0.0 |1212M|2816 | - |5645 | 15k| 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
773.41/773.46 c 744s|860000 |456090 | 0 | 0.0 |1218M|2816 | - |5645 | 12k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
779.50/779.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.50/779.55 c 749s|870000 |463268 | 0 | 0.0 |1229M|2816 | - |5645 | 12k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
786.01/786.08 c 756s|880000 |470015 | 0 | 0.0 |1239M|2816 | - |5645 | 13k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
793.41/793.47 c 763s|890000 |476158 | 0 | 0.0 |1249M|2816 | - |5645 | 14k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
802.01/802.02 c 771s|900000 |481409 | 0 | 0.0 |1260M|2816 | - |5645 | 15k| 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
812.01/812.04 c 780s|910000 |485657 | 0 | 0.0 |1270M|2816 | - |5645 | 16k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
824.41/824.43 c 792s|920000 |487990 | 0 | 0.0 |1280M|2816 | - |5645 | 17k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
834.71/834.73 c 802s|930000 |492026 | 0 | 0.0 |1285M|2816 | - |5645 | 12k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
840.60/840.69 c 808s|940000 |499307 | 0 | 0.0 |1295M|2816 | - |5645 | 13k| 0 | 0 | 0 |1068k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
847.30/847.32 c 814s|950000 |505976 | 0 | 0.0 |1305M|2816 | - |5645 | 14k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
854.72/854.75 c 821s|960000 |512062 | 0 | 0.0 |1316M|2816 | - |5645 | 15k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
863.01/863.07 c 829s|970000 |517465 | 0 | 0.0 |1326M|2816 | - |5645 | 16k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
873.01/873.05 c 839s|980000 |521754 | 0 | 0.0 |1337M|2816 | - |5645 | 17k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
886.71/886.79 c 852s|990000 |523253 | 0 | 0.0 |1346M|2816 | - |5645 | 19k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
895.21/895.22 c 860s| 1000k|529064 | 0 | 0.0 |1352M|2816 | - |5645 | 13k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
901.20/901.25 c 866s| 1010k|536375 | 0 | 0.0 |1362M|2816 | - |5645 | 13k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
907.42/907.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.42/907.47 c 872s| 1020k|543521 | 0 | 0.0 |1371M|2816 | - |5645 | 14k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
913.81/913.82 c 878s| 1030k|550522 | 0 | 0.0 |1381M|2816 | - |5645 | 14k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
920.72/920.72 c 884s| 1040k|557147 | 0 | 0.0 |1391M|2816 | - |5645 | 14k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
928.10/928.10 c 891s| 1050k|563410 | 0 | 0.0 |1401M|2816 | - |5645 | 15k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
936.11/936.12 c 899s| 1060k|569263 | 0 | 0.0 |1411M|2816 | - |5645 | 15k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
944.50/944.58 c 907s| 1070k|574791 | 0 | 0.0 |1422M|2816 | - |5645 | 16k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
953.21/953.20 c 916s| 1080k|580226 | 0 | 0.0 |1432M|2816 | - |5645 | 16k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
962.91/962.90 c 925s| 1090k|584841 | 0 | 0.0 |1443M|2816 | - |5645 | 16k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
972.81/972.84 c 935s| 1100k|589274 | 0 | 0.0 |1453M|2816 | - |5645 | 16k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
983.91/983.90 c 945s| 1110k|592622 | 0 | 0.0 |1463M|2816 | - |5645 | 16k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
995.10/995.14 c 956s| 1120k|595764 | 0 | 0.0 |1472M|2816 | - |5645 | 16k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1005.11/1005.12 c 966s| 1130k|599730 | 0 | 0.0 |1480M|2816 | - |5645 | 15k| 0 | 0 | 0 |1213k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1013.71/1013.71 c 974s| 1140k|604765 | 0 | 0.0 |1487M|2816 | - |5645 | 14k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1020.81/1020.82 c 981s| 1150k|611151 | 0 | 0.0 |1497M|2816 | - |5645 | 15k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1028.21/1028.27 c 988s| 1160k|617337 | 0 | 0.0 |1508M|2816 | - |5645 | 16k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1036.71/1036.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.71/1036.73 c 996s| 1170k|622813 | 0 | 0.0 |1518M|2816 | - |5645 | 17k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1047.01/1047.03 c 1006s| 1180k|627017 | 0 | 0.0 |1529M|2816 | - |5645 | 18k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1060.01/1060.06 c 1019s| 1190k|629321 | 0 | 0.0 |1537M|2816 | - |5645 | 20k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1068.71/1068.78 c 1028s| 1200k|635131 | 0 | 0.0 |1543M|2816 | - |5645 | 14k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1074.40/1074.41 c 1033s| 1210k|642652 | 0 | 0.0 |1553M|2816 | - |5645 | 14k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1080.41/1080.41 c 1039s| 1220k|649897 | 0 | 0.0 |1562M|2816 | - |5645 | 14k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1086.91/1086.96 c 1045s| 1230k|656680 | 0 | 0.0 |1572M|2816 | - |5645 | 15k| 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1094.11/1094.19 c 1052s| 1240k|662920 | 0 | 0.0 |1582M|2816 | - |5645 | 16k| 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1102.12/1102.11 c 1059s| 1250k|668715 | 0 | 0.0 |1591M|2816 | - |5645 | 16k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1111.91/1111.96 c 1069s| 1260k|673088 | 0 | 0.0 |1601M|2816 | - |5645 | 17k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1125.41/1125.43 c 1082s| 1270k|674703 | 0 | 0.0 |1609M|2816 | - |5645 | 20k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1132.72/1132.74 c 1089s| 1280k|681350 | 0 | 0.0 |1616M|2816 | - |5645 | 14k| 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1138.91/1138.93 c 1095s| 1290k|688648 | 0 | 0.0 |1625M|2816 | - |5645 | 14k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1145.71/1145.78 c 1101s| 1300k|695322 | 0 | 0.0 |1636M|2816 | - |5645 | 15k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1153.31/1153.32 c 1108s| 1310k|701490 | 0 | 0.0 |1646M|2816 | - |5645 | 16k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1162.31/1162.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.31/1162.32 c 1117s| 1320k|706637 | 0 | 0.0 |1655M|2816 | - |5645 | 16k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1173.52/1173.58 c 1128s| 1330k|710062 | 0 | 0.0 |1665M|2816 | - |5645 | 18k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1186.51/1186.55 c 1141s| 1340k|712178 | 0 | 0.0 |1670M|2816 | - |5645 | 14k| 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1192.61/1192.68 c 1146s| 1350k|719516 | 0 | 0.0 |1680M|2816 | - |5645 | 14k| 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1199.21/1199.28 c 1153s| 1360k|726424 | 0 | 0.0 |1690M|2816 | - |5645 | 15k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1206.51/1206.54 c 1160s| 1370k|732802 | 0 | 0.0 |1700M|2816 | - |5645 | 16k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1214.91/1214.90 c 1168s| 1380k|738441 | 0 | 0.0 |1710M|2816 | - |5645 | 17k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1224.81/1224.85 c 1177s| 1390k|743021 | 0 | 0.0 |1721M|2816 | - |5645 | 17k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1237.01/1237.05 c 1189s| 1400k|746082 | 0 | 0.0 |1729M|2816 | - |5645 | 19k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1246.71/1246.73 c 1198s| 1410k|751081 | 0 | 0.0 |1736M|2816 | - |5645 | 15k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1253.11/1253.18 c 1204s| 1420k|758151 | 0 | 0.0 |1746M|2816 | - |5645 | 15k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1260.62/1260.65 c 1212s| 1430k|764490 | 0 | 0.0 |1756M|2816 | - |5645 | 16k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1269.12/1269.19 c 1220s| 1440k|769990 | 0 | 0.0 |1766M|2816 | - |5645 | 17k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1279.22/1279.24 c 1230s| 1450k|774464 | 0 | 0.0 |1777M|2816 | - |5645 | 17k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1292.71/1292.80 c 1243s| 1460k|776475 | 0 | 0.0 |1786M|2816 | - |5645 | 20k| 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1301.01/1301.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.01/1301.07 c 1251s| 1470k|782488 | 0 | 0.0 |1793M|2816 | - |5645 | 15k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1307.92/1307.95 c 1257s| 1480k|789368 | 0 | 0.0 |1803M|2816 | - |5645 | 15k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1315.41/1315.40 c 1264s| 1490k|795746 | 0 | 0.0 |1813M|2816 | - |5645 | 16k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1324.01/1324.06 c 1273s| 1500k|801165 | 0 | 0.0 |1823M|2816 | - |5645 | 17k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1334.31/1334.32 c 1283s| 1510k|805563 | 0 | 0.0 |1834M|2816 | - |5645 | 18k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1347.21/1347.27 c 1295s| 1520k|808022 | 0 | 0.0 |1843M|2816 | - |5645 | 19k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1357.21/1357.28 c 1305s| 1530k|812652 | 0 | 0.0 |1849M|2816 | - |5645 | 15k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1363.92/1363.93 c 1311s| 1540k|819663 | 0 | 0.0 |1859M|2816 | - |5645 | 15k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1371.01/1371.04 c 1318s| 1550k|826085 | 0 | 0.0 |1869M|2816 | - |5645 | 17k| 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1379.51/1379.59 c 1326s| 1560k|831641 | 0 | 0.0 |1880M|2816 | - |5645 | 18k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1389.11/1389.16 c 1336s| 1570k|836445 | 0 | 0.0 |1890M|2816 | - |5645 | 18k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1400.11/1400.17 c 1346s| 1580k|840175 | 0 | 0.0 |1899M|2816 | - |5645 | 19k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1413.41/1413.47 c 1359s| 1590k|842445 | 0 | 0.0 |1905M|2816 | - |5645 | 17k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1419.81/1419.84 c 1365s| 1600k|849886 | 0 | 0.0 |1914M|2816 | - |5645 | 16k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1426.81/1426.90 c 1372s| 1610k|856608 | 0 | 0.0 |1924M|2816 | - |5645 | 16k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1434.51/1434.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.51/1434.59 c 1380s| 1620k|862727 | 0 | 0.0 |1934M|2816 | - |5645 | 17k| 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1443.41/1443.46 c 1388s| 1630k|867982 | 0 | 0.0 |1945M|2816 | - |5645 | 18k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1454.02/1454.06 c 1398s| 1640k|872057 | 0 | 0.0 |1955M|2816 | - |5645 | 19k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1466.92/1466.99 c 1411s| 1650k|874448 | 0 | 0.0 |1965M|2816 | - |5645 | 19k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1477.71/1477.71 c 1421s| 1660k|878716 | 0 | 0.0 |1971M|2816 | - |5645 | 16k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1484.51/1484.59 c 1428s| 1670k|885570 | 0 | 0.0 |1981M|2816 | - |5645 | 16k| 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1493.82/1493.86 c 1437s| 1680k|890811 | 0 | 0.0 |1992M|2816 | - |5645 | 18k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1505.92/1505.91 c 1449s| 1690k|894145 | 0 | 0.0 |2002M|2816 | - |5645 | 19k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1519.02/1519.02 c 1461s| 1700k|897036 | 0 | 0.0 |2009M|2816 | - |5645 | 16k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1527.71/1527.77 c 1470s| 1710k|902966 | 0 | 0.0 |2020M|2816 | - |5645 | 17k| 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1539.52/1539.50 c 1481s| 1720k|906914 | 0 | 0.0 |2030M|2816 | - |5645 | 20k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1552.02/1552.04 c 1493s| 1730k|910308 | 0 | 0.0 |2037M|2816 | - |5645 | 17k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1561.81/1561.84 c 1503s| 1740k|915546 | 0 | 0.0 |2047M|2816 | - |5645 | 18k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1574.52/1574.56 c 1515s| 1750k|918743 | 0 | 0.0 |2057M|2816 | - |5645 | 20k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1586.31/1586.30 c 1526s| 1760k|922702 | 0 | 0.0 |2064M|2816 | - |5645 | 17k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1596.21/1596.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.21/1596.23 c 1536s| 1770k|927859 | 0 | 0.0 |2076M|2816 | - |5645 | 18k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1609.61/1609.60 c 1549s| 1780k|930638 | 0 | 0.0 |2085M|2816 | - |5645 | 21k| 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1618.22/1618.26 c 1557s| 1790k|936616 | 0 | 0.0 |2092M|2816 | - |5645 | 16k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1624.72/1624.79 c 1564s| 1800k|943722 | 0 | 0.0 |2102M|2816 | - |5645 | 16k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1631.42/1631.43 c 1570s| 1810k|950619 | 0 | 0.0 |2111M|2816 | - |5645 | 16k| 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1639.22/1639.22 c 1578s| 1820k|956718 | 0 | 0.0 |2121M|2816 | - |5645 | 18k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1650.31/1650.34 c 1588s| 1830k|960897 | 0 | 0.0 |2131M|2816 | - |5645 | 20k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1665.42/1665.45 c 1603s| 1840k|962834 | 0 | 0.0 |2139M|2816 | - |5645 | 22k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1674.62/1674.66 c 1612s| 1850k|968426 | 0 | 0.0 |2141M|2816 | - |5645 |5546 | 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1681.42/1681.42 c 1618s| 1860k|974694 | 0 | 0.0 |2153M|2816 | - |5645 |7615 | 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1686.62/1686.62 c 1623s| 1870k|982040 | 0 | 0.0 |2162M|2816 | - |5645 |4770 | 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1691.52/1691.58 c 1628s| 1880k|989413 | 0 | 0.0 |2172M|2816 | - |5645 |5484 | 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1698.32/1698.34 c 1635s| 1890k|995346 | 0 | 0.0 |2183M|2816 | - |5645 |5141 | 0 | 0 | 0 |1800k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1703.82/1703.84 c 1640s| 1900k| 1002k| 0 | 0.0 |2193M|2816 | - |5645 |5094 | 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1709.32/1709.40 c 1645s| 1910k| 1009k| 0 | 0.0 |2204M|2816 | - |5645 |5131 | 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1715.12/1715.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.12/1715.11 c 1650s| 1920k| 1015k| 0 | 0.0 |2215M|2816 | - |5645 |6653 | 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1721.62/1721.64 c 1657s| 1930k| 1022k| 0 | 0.0 |2226M|2816 | - |5645 |5869 | 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1727.82/1727.86 c 1662s| 1940k| 1028k| 0 | 0.0 |2238M|2816 | - |5645 |6593 | 0 | 0 | 0 |1828k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1733.53/1733.54 c 1668s| 1950k| 1034k| 0 | 0.0 |2247M|2816 | - |5645 |6992 | 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1738.92/1738.90 c 1673s| 1960k| 1041k| 0 | 0.0 |2257M|2816 | - |5645 |5559 | 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1744.32/1744.30 c 1678s| 1970k| 1048k| 0 | 0.0 |2266M|2816 | - |5645 |5680 | 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1749.92/1749.94 c 1683s| 1980k| 1055k| 0 | 0.0 |2276M|2816 | - |5645 |5732 | 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1756.12/1756.13 c 1689s| 1990k| 1061k| 0 | 0.0 |2286M|2816 | - |5645 |6637 | 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1761.82/1761.83 c 1695s| 2000k| 1067k| 0 | 0.0 |2296M|2816 | - |5645 |6153 | 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1767.42/1767.43 c 1700s| 2010k| 1074k| 0 | 0.0 |2306M|2816 | - |5645 |6120 | 0 | 0 | 0 |1866k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1773.12/1773.18 c 1705s| 2020k| 1080k| 0 | 0.0 |2315M|2816 | - |5645 |5629 | 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1779.12/1779.19 c 1711s| 2030k| 1087k| 0 | 0.0 |2325M|2816 | - |5645 |7731 | 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1784.62/1784.62 c 1716s| 2040k| 1093k| 0 | 0.0 |2334M|2816 | - |5645 |5928 | 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1790.01/1790.09 c 1721s| 2050k| 1100k| 0 | 0.0 |2344M|2816 | - |5645 |6346 | 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1795.52/1795.55 c 1726s| 2060k| 1106k| 0 | 0.0 |2353M|2816 | - |5645 |6360 | 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1730.65
1800.02/1800.00 c Solving Nodes : 2068597
1800.02/1800.00 c Primal Bound : +1.20000000000000e+01 (36 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.07 s SATISFIABLE
1800.02/1800.07 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.02/1800.07 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.07 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.07 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.07 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.02/1800.07 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.02/1800.07 v -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80
1800.02/1800.07 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
1800.02/1800.07 v -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29
1800.02/1800.07 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.02/1800.07 v -x1
1800.02/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.07 c Solving Time : 1730.65
1800.02/1800.07 c Original Problem :
1800.02/1800.07 c Problem name : HOME/instance-2693671-1277929674.wbo
1800.02/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.02/1800.07 c Presolved Problem :
1800.02/1800.07 c Problem name : t_HOME/instance-2693671-1277929674.wbo
1800.02/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.07 c Constraints : 5414 initial, 24514 maximal
1800.02/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.02/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c root node : - 2396 - - 4792 - - - -
1800.02/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.07 c indicator : 2707 0 6031310 0 1547682 811 7894566 0 0 0
1800.02/1800.07 c linear : 2707 0 7039384 0 1726114 462072 43252701 0 0 0
1800.02/1800.07 c logicor : 0+ 0 3091927 0 0 76423 1928937 0 0 0
1800.02/1800.07 c countsols : 0 0 0 0 1726137 0 0 0 0 0
1800.02/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.07 c indicator : 54.39 0.00 25.99 0.00 28.40
1800.02/1800.07 c linear : 424.05 0.00 422.92 0.00 1.13
1800.02/1800.07 c logicor : 250.08 0.00 250.08 0.00 0.00
1800.02/1800.07 c countsols : 0.01 0.00 0.00 0.00 0.01
1800.02/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.07 c vbounds : 0.00 2 0 0
1800.02/1800.07 c rootredcost : 0.00 0 0 0
1800.02/1800.07 c pseudoobj : 381.77 7053114 12804 7782818
1800.02/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.07 c propagation : 33.97 551299 551297 2284720 21.3 344305 10.5 -
1800.02/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.07 c pseudo solution : 0.09 407 407 1493 19.1 986 9.3 -
1800.02/1800.07 c applied globally : - - - 1899049 18.4 - - -
1800.02/1800.07 c applied locally : - - - 0 0.0 - - -
1800.02/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.07 c redcost : 0.00 0 0 0 0 0
1800.02/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.07 c intobj : 0.00 0 0 0 0 0
1800.02/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.07 c gomory : 0.00 0 0 0 0 0
1800.02/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.07 c cmir : 0.00 0 0 0 0 0
1800.02/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.07 c clique : 0.00 0 0 0 0 0
1800.02/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.07 c mcf : 0.00 0 0 0 0 0
1800.02/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.07 c Pricers : Time Calls Vars
1800.02/1800.07 c problem variables: 0.00 0 0
1800.02/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.07 c inference : 62.00 1726104 0 0 0 0 3452208
1800.02/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.07 c random : 0.00 0 0 0 0 0 0
1800.02/1800.07 c Primal Heuristics : Time Calls Found
1800.02/1800.07 c LP solutions : 0.00 - 0
1800.02/1800.07 c pseudo solutions : 0.12 - 33
1800.02/1800.07 c oneopt : 0.08 0 0
1800.02/1800.07 c trivial : 0.08 2 2
1800.02/1800.07 c simplerounding : 0.00 0 0
1800.02/1800.07 c zirounding : 0.00 0 0
1800.02/1800.07 c rounding : 0.00 0 0
1800.02/1800.07 c shifting : 0.00 0 0
1800.02/1800.07 c intshifting : 0.00 0 0
1800.02/1800.07 c twoopt : 0.00 0 0
1800.02/1800.07 c fixandinfer : 0.00 0 0
1800.02/1800.07 c feaspump : 0.00 0 0
1800.02/1800.07 c coefdiving : 0.00 0 0
1800.02/1800.07 c pscostdiving : 0.00 0 0
1800.02/1800.07 c fracdiving : 0.00 0 0
1800.02/1800.07 c veclendiving : 0.00 0 0
1800.02/1800.07 c intdiving : 0.00 0 0
1800.02/1800.07 c actconsdiving : 0.00 0 0
1800.02/1800.07 c objpscostdiving : 0.00 0 0
1800.02/1800.07 c rootsoldiving : 0.00 0 0
1800.02/1800.07 c linesearchdiving : 0.00 0 0
1800.02/1800.07 c guideddiving : 0.00 0 0
1800.02/1800.07 c octane : 0.00 0 0
1800.02/1800.07 c rens : 0.00 0 0
1800.02/1800.07 c rins : 0.00 0 0
1800.02/1800.07 c localbranching : 0.00 0 0
1800.02/1800.07 c mutation : 0.00 0 0
1800.02/1800.07 c crossover : 0.00 0 0
1800.02/1800.07 c dins : 0.00 0 0
1800.02/1800.07 c undercover : 0.00 0 0
1800.02/1800.07 c nlp : 0.02 0 0
1800.02/1800.07 c trysol : 0.00 1 1
1800.02/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.07 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.07 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.07 c (at root node) : - 0 0 0.00 -
1800.02/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.07 c B&B Tree :
1800.02/1800.07 c number of runs : 1
1800.02/1800.07 c nodes : 2068597
1800.02/1800.07 c nodes (total) : 2068597
1800.02/1800.07 c nodes left : 1112926
1800.02/1800.07 c max depth : 2816
1800.02/1800.07 c max depth (total): 2816
1800.02/1800.07 c backtracks : 306586 (14.8%)
1800.02/1800.07 c delayed cutoffs : 247622
1800.02/1800.07 c repropagations : 1316066 (18102884 domain reductions, 210057 cutoffs)
1800.02/1800.07 c avg switch length: 46.87
1800.02/1800.07 c switching time : 470.03
1800.02/1800.07 c Solution :
1800.02/1800.07 c Solutions found : 36 (34 improvements)
1800.02/1800.07 c First Solution : +1.36179000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.02/1800.07 c Primal Bound : +1.20000000000000e+01 (in run 1, after 718306 nodes, 601.75 seconds, depth 225, found by <relaxation>)
1800.02/1800.07 c Dual Bound : +0.00000000000000e+00
1800.02/1800.07 c Gap : infinite
1800.02/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.07 c Root Iterations : 0
OK 11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693671-1277929674/watcher-2693671-1277929674 -o /tmp/evaluation-result-2693671-1277929674/solver-2693671-1277929674 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693671-1277929674.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 4/178 15341 /proc/meminfo: memFree=31402752/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=8596 CPUtime=0 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 1629 0 0 0 0 0 0 0 21 0 1 0 134264086 8802304 1551 4089446400 4194304 7136930 140733442498064 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15341/statm: 2149 1551 275 719 0 1428 0 [startup+0.049913 s] /proc/loadavg: 1.92 1.98 1.99 4/178 15341 /proc/meminfo: memFree=31402752/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=29656 CPUtime=0.04 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 7274 0 0 0 4 0 0 0 21 0 1 0 134264086 30367744 6842 4089446400 4194304 7136930 140733442498064 18446744073709551615 4680118 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15341/statm: 7414 6842 289 719 0 6693 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 29656 [startup+0.100937 s] /proc/loadavg: 1.92 1.98 1.99 4/178 15341 /proc/meminfo: memFree=31402752/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=33672 CPUtime=0.09 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 7967 0 0 0 9 0 0 0 21 0 1 0 134264086 34480128 7535 4089446400 4194304 7136930 140733442498064 18446744073709551615 4241139 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15341/statm: 8418 7535 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.300968 s] /proc/loadavg: 1.92 1.98 1.99 4/178 15341 /proc/meminfo: memFree=31402752/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=36492 CPUtime=0.29 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 9241 0 0 0 28 1 0 0 21 0 1 0 134264086 37367808 8295 4089446400 4194304 7136930 140733442498064 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15341/statm: 9123 8295 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700902 s] /proc/loadavg: 1.92 1.98 1.99 4/178 15341 /proc/meminfo: memFree=31402752/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=37632 CPUtime=0.69 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 9516 0 0 0 66 3 0 0 22 0 1 0 134264086 38535168 8570 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15341/statm: 9408 8570 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50077 s] /proc/loadavg: 1.92 1.98 1.99 3/179 15342 /proc/meminfo: memFree=31368148/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=42836 CPUtime=1.49 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 10814 0 0 0 138 11 0 0 25 0 1 0 134264086 43864064 9868 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15341/statm: 10709 9868 390 719 0 9988 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42836 [startup+3.10048 s] /proc/loadavg: 1.92 1.98 1.99 3/179 15342 /proc/meminfo: memFree=31364460/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=45160 CPUtime=3.09 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 11404 0 0 0 290 19 0 0 25 0 1 0 134264086 46243840 10458 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15341/statm: 11290 10458 390 719 0 10569 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45160 [startup+6.3009 s] /proc/loadavg: 1.93 1.98 1.99 3/179 15342 /proc/meminfo: memFree=31358012/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=52896 CPUtime=6.29 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 13352 0 0 0 593 36 0 0 25 0 1 0 134264086 54165504 12406 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15341/statm: 13224 12406 391 719 0 12503 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52896 [startup+12.7007 s] /proc/loadavg: 1.93 1.98 1.99 3/179 15342 /proc/meminfo: memFree=31337204/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=73648 CPUtime=12.69 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 18402 0 0 0 1201 68 0 0 25 0 1 0 134264086 75415552 17456 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 18412 17456 391 719 0 17691 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 73648 [startup+25.5005 s] /proc/loadavg: 1.95 1.98 1.99 3/179 15342 /proc/meminfo: memFree=31302116/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=109316 CPUtime=25.49 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 26987 0 0 0 2429 120 0 0 25 0 1 0 134264086 111939584 26041 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 27329 26041 391 719 0 26608 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 109316 [startup+51.1009 s] /proc/loadavg: 1.96 1.98 1.99 3/179 15343 /proc/meminfo: memFree=31243300/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=170228 CPUtime=51.09 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 41627 0 0 0 4854 255 0 0 25 0 1 0 134264086 174313472 40681 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 42557 40681 391 719 0 41836 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 170228 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.99 3/179 15344 /proc/meminfo: memFree=31155340/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=259804 CPUtime=102.29 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 63521 0 0 0 9777 452 0 0 25 0 1 0 134264086 266039296 62575 4089446400 4194304 7136930 140733442498064 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 64951 62575 391 719 0 64230 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 259804 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15346 /proc/meminfo: memFree=31034144/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=389772 CPUtime=162.29 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 94174 0 0 0 15489 740 0 0 25 0 1 0 134264086 399126528 93228 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 97443 93228 391 719 0 96722 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 389772 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 15396 /proc/meminfo: memFree=30711248/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=497976 CPUtime=222.29 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 119768 0 0 0 21220 1009 0 0 25 0 1 0 134264086 509927424 118822 4089446400 4194304 7136930 140733442498064 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 124494 118822 391 719 0 123773 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 497976 [startup+282.301 s] /proc/loadavg: 2.03 2.00 2.00 3/197 15397 /proc/meminfo: memFree=30579012/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=601388 CPUtime=282.3 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 144919 0 0 0 26962 1268 0 0 25 0 1 0 134264086 615821312 143973 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 150347 143973 391 719 0 149626 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 601388 [startup+342.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 15399 /proc/meminfo: memFree=30481504/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=681628 CPUtime=342.29 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 164861 0 0 0 32727 1502 0 0 25 0 1 0 134264086 697987072 163915 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 170407 163915 391 719 0 169686 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 681628 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15400 /proc/meminfo: memFree=30426152/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=718244 CPUtime=402.29 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 173880 0 0 0 38581 1648 0 0 25 0 1 0 134264086 735481856 172934 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 179561 172934 391 719 0 178840 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 718244 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 10/197 15402 /proc/meminfo: memFree=30358544/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=764748 CPUtime=462.3 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 184297 0 0 0 44411 1819 0 0 25 0 1 0 134264086 783101952 183351 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 191187 183351 391 719 0 190466 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 764748 [startup+522.301 s] /proc/loadavg: 2.29 2.06 2.02 3/197 15404 /proc/meminfo: memFree=30231764/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=885452 CPUtime=522.3 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 211035 0 0 0 50190 2040 0 0 25 0 1 0 134264086 906702848 210089 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 221363 210089 391 719 0 220642 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 885452 [startup+582.301 s] /proc/loadavg: 2.31 2.12 2.04 3/197 15405 /proc/meminfo: memFree=30110196/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=1033776 CPUtime=582.3 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 241702 0 0 0 55968 2262 0 0 25 0 1 0 134264086 1058586624 240756 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 258444 240756 391 719 0 257723 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1033776 [startup+642.3 s] /proc/loadavg: 2.11 2.10 2.04 3/197 15407 /proc/meminfo: memFree=29899104/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=1297704 CPUtime=642.31 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 293753 0 0 0 61766 2465 0 0 25 0 1 0 134264086 1328848896 292807 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 324426 292807 391 719 0 323705 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1297704 [startup+702.301 s] ################ # More data... # ################ /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 405549 0 0 0 96320 3911 0 0 25 0 1 0 134264086 1817112576 404603 4089446400 4194304 7136930 140733442498064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 443631 404603 391 719 0 442910 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1774524 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 15418 /proc/meminfo: memFree=29180920/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=1836068 CPUtime=1062.31 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 420590 0 0 0 102134 4097 0 0 25 0 1 0 134264086 1880133632 419644 4089446400 4194304 7136930 140733442498064 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 459017 419644 391 719 0 458296 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1836068 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 15420 /proc/meminfo: memFree=29043968/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=1910288 CPUtime=1122.31 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 439209 0 0 0 107883 4348 0 0 25 0 1 0 134264086 1956134912 438263 4089446400 4194304 7136930 140733442498064 18446744073709551615 4925518 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 477572 438263 391 719 0 476851 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1910288 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 15421 /proc/meminfo: memFree=28914724/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=1971064 CPUtime=1182.32 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 454184 0 0 0 113648 4584 0 0 25 0 1 0 134264086 2018369536 453238 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 492766 453238 391 719 0 492045 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1971064 [startup+1242.3 s] /proc/loadavg: 2.06 2.02 2.00 3/197 15423 /proc/meminfo: memFree=28790796/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2031680 CPUtime=1242.31 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 469286 0 0 0 119414 4817 0 0 25 0 1 0 134264086 2080440320 468340 4089446400 4194304 7136930 140733442498064 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 507920 468340 391 719 0 507199 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 2031680 [startup+1302.3 s] /proc/loadavg: 2.42 2.12 2.04 3/197 15424 /proc/meminfo: memFree=28659496/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2098184 CPUtime=1302.32 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 486073 0 0 0 125188 5044 0 0 25 0 1 0 134264086 2148540416 485127 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 524546 485127 391 719 0 523825 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 2098184 [startup+1362.3 s] /proc/loadavg: 2.59 2.21 2.07 3/197 15426 /proc/meminfo: memFree=28533112/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2163732 CPUtime=1362.31 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 502460 0 0 0 130967 5264 0 0 25 0 1 0 134264086 2215661568 501514 4089446400 4194304 7136930 140733442498064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 540933 501514 391 719 0 540212 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 2163732 [startup+1422.31 s] /proc/loadavg: 2.21 2.17 2.06 3/197 15428 /proc/meminfo: memFree=28412288/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2223216 CPUtime=1422.31 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 517317 0 0 0 136777 5454 0 0 25 0 1 0 134264086 2276573184 516371 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 555804 516371 391 719 0 555083 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 2223216 [startup+1482.3 s] /proc/loadavg: 2.08 2.13 2.06 3/197 15429 /proc/meminfo: memFree=28294568/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2278556 CPUtime=1482.32 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 531569 0 0 0 142571 5661 0 0 25 0 1 0 134264086 2333241344 530623 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 569639 530623 391 719 0 568918 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2278556 [startup+1542.3 s] /proc/loadavg: 2.03 2.11 2.05 3/197 15431 /proc/meminfo: memFree=28181480/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2329636 CPUtime=1542.31 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 544540 0 0 0 148382 5849 0 0 25 0 1 0 134264086 2385547264 543594 4089446400 4194304 7136930 140733442498064 18446744073709551615 4221238 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 582409 543594 391 719 0 581688 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 2329636 [startup+1602.3 s] /proc/loadavg: 2.01 2.08 2.04 3/197 15432 /proc/meminfo: memFree=28072956/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2382788 CPUtime=1602.31 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 557595 0 0 0 154193 6038 0 0 25 0 1 0 134264086 2439974912 556649 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 595697 556649 391 719 0 594976 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 2382788 [startup+1662.3 s] /proc/loadavg: 2.00 2.07 2.04 3/197 15434 /proc/meminfo: memFree=27963288/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2440676 CPUtime=1662.32 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 571895 0 0 0 160008 6224 0 0 25 0 1 0 134264086 2499252224 570949 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 610169 570949 391 719 0 609448 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2440676 [startup+1722.3 s] /proc/loadavg: 2.44 2.16 2.07 3/197 15436 /proc/meminfo: memFree=27827092/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2543852 CPUtime=1722.32 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 593145 0 0 0 165725 6507 0 0 25 0 1 0 134264086 2604904448 592199 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 635963 592199 391 719 0 635242 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2543852 [startup+1782.3 s] /proc/loadavg: 2.16 2.13 2.06 3/197 15437 /proc/meminfo: memFree=27673004/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2645276 CPUtime=1782.31 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 618557 0 0 0 171395 6836 0 0 25 0 1 0 134264086 2708762624 617611 4089446400 4194304 7136930 140733442498064 18446744073709551615 4925429 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 661319 617611 391 719 0 660598 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 2645276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.17 2.14 2.07 3/197 15438 /proc/meminfo: memFree=27619424/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2685512 CPUtime=1800.02 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 628569 0 0 0 173067 6935 0 0 25 0 1 0 134264086 2749964288 627623 4089446400 4194304 7136930 140733442498064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15341/statm: 671378 627623 391 719 0 670657 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2685512 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15341 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.17 2.14 2.07 3/198 15439 /proc/meminfo: memFree=27617432/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2685512 CPUtime=1801.41 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 628575 0 0 0 173206 6935 0 0 25 0 1 0 134264086 2749964288 627629 4089446400 4194304 7136930 140733442498064 18446744073709551615 4212320 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15341/statm: 671378 627629 397 719 0 670657 0 Current children cumulated CPU time (s) 1801.41 Current children cumulated vsize (KiB) 2685512 [startup+1801.81 s] /proc/loadavg: 2.17 2.14 2.07 3/198 15439 /proc/meminfo: memFree=27617164/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2684996 CPUtime=1801.82 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 628575 0 0 0 173247 6935 0 0 25 0 1 0 134264086 2749435904 627500 4089446400 4194304 7136930 140733442498064 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15341/statm: 671249 627500 397 719 0 670528 0 Current children cumulated CPU time (s) 1801.82 Current children cumulated vsize (KiB) 2684996 [startup+1802 s] /proc/loadavg: 2.17 2.14 2.07 3/198 15439 /proc/meminfo: memFree=27617164/32950904 swapFree=67111528/67111528 [pid=15341] ppid=15339 vsize=2683968 CPUtime=1802.01 /proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 15203 0 -1 4202496 628575 0 0 0 173266 6935 0 0 25 0 1 0 134264086 2748383232 627243 4089446400 4194304 7136930 140733442498064 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15341/statm: 670992 627243 397 719 0 670271 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 2683968 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.12 CPU user time (s): 1732.68 CPU system time (s): 69.4414 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 2685512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1732.68 system time used= 69.4414 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 628575 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 1492 runsolver used 2.83557 second user time and 5.87611 second system time The end
Begin job on node121 at 2010-06-30 22:27:54 IDJOB=2693671 IDBENCH=79299 IDSOLVER=1206 FILE ID=node121/2693671-1277929674 PBS_JOBID= 11197412 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558106--soft-0-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-2693671-1277929674/watcher-2693671-1277929674 -o /tmp/evaluation-result-2693671-1277929674/solver-2693671-1277929674 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693671-1277929674.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 820e833470f89e38c3db46a3ad325d3f RANDOM SEED=1653543836 node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.23 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 31402660 kB Buffers: 210440 kB Cached: 1104800 kB SwapCached: 0 kB Active: 594780 kB Inactive: 807696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31402660 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 86904 kB Mapped: 15552 kB Slab: 81224 kB PageTables: 4360 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 230080 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 node121 at 2010-06-30 22:57:56