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.07 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-66-100-0.wbo |
| MD5SUM | ae69d101397f3698be33e129d2355418 |
| 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 | 219.846 |
| 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 | 892 |
| 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 | 45060 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45059 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 687 |
| 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-2693578-1277911642.wbo>
0.00/0.02 c original problem has 2015 variables (1123 bin, 0 int, 0 impl, 892 cont) and 3600 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/0.04 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.02/0.07 c (round 2) 0 del vars, 107 del conss, 892 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.02/0.09 c (round 3) 48 del vars, 233 del conss, 913 chg bounds, 126 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.02/0.09 c (round 4) 117 del vars, 255 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.09/0.11 c (round 5) 139 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs
0.09/0.12 c (round 6) 140 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs
0.09/0.16 c (0.1s) probing: 101/1053 (9.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (7 rounds):
0.09/0.16 c 140 deleted vars, 256 deleted constraints, 914 tightened bounds, 0 added holes, 127 changed sides, 0 changed coefficients
0.09/0.16 c 1100 implications, 13 cliques
0.09/0.16 c presolved problem has 1875 variables (1053 bin, 0 int, 0 impl, 822 cont) and 3344 constraints
0.09/0.16 c 822 constraints of type <indicator>
0.09/0.16 c 13 constraints of type <setppc>
0.09/0.16 c 822 constraints of type <linear>
0.09/0.16 c 1687 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.16 c 0.1s| 1 | 2 | 0 | - |7400k| 0 | - |1875 |3344 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.80 o 495
0.79/0.80 c * 0.7s| 3064 | 2730 | 0 | 0.0 |9358k|1008 | - |1875 |3756 | 0 | 0 | 0 | 506 | 0 | 0.000000e+00 | 4.950000e+02 | Inf
0.79/0.88 o 462
0.79/0.88 c * 0.8s| 3398 | 3055 | 0 | 0.0 |9533k|1008 | - |1875 |3770 | 0 | 0 | 0 | 530 | 0 | 0.000000e+00 | 4.620000e+02 | Inf
0.89/0.90 o 304
0.89/0.90 c * 0.8s| 3479 | 3097 | 0 | 0.0 |9576k|1008 | - |1875 |3764 | 0 | 0 | 0 | 530 | 0 | 0.000000e+00 | 3.040000e+02 | Inf
0.89/0.90 o 229
0.89/0.90 c * 0.8s| 3480 | 3038 | 0 | 0.0 |9581k|1008 | - |1875 |3764 | 0 | 0 | 0 | 530 | 0 | 0.000000e+00 | 2.290000e+02 | Inf
2.39/2.40 c 2.1s| 10000 | 8622 | 0 | 0.0 | 14M|1008 | - |1875 |4531 | 0 | 0 | 0 |3277 | 0 | 0.000000e+00 | 2.290000e+02 | Inf
4.99/5.03 c 4.5s| 20000 | 15856 | 0 | 0.0 | 21M|1008 | - |1875 |5908 | 0 | 0 | 0 |9579 | 0 | 0.000000e+00 | 2.290000e+02 | Inf
5.50/5.56 o 184
5.50/5.56 c * 4.9s| 21310 | 16588 | 0 | 0.0 | 22M|1008 | - |1875 |6140 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
6.00/6.09 o 147
6.00/6.09 c * 5.4s| 23022 | 18116 | 0 | 0.0 | 23M|1008 | - |1875 |5446 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
6.50/6.51 o 127
6.50/6.51 c * 5.8s| 24325 | 19269 | 0 | 0.0 | 23M|1008 | - |1875 |4957 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
7.19/7.25 o 97
7.19/7.25 c * 6.5s| 26966 | 21323 | 0 | 0.0 | 25M|1008 | - |1875 |4862 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
7.19/7.25 o 80
7.19/7.25 c * 6.5s| 26967 | 21004 | 0 | 0.0 | 24M|1008 | - |1875 |4862 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
7.99/8.08 c 7.2s| 30000 | 23671 | 0 | 0.0 | 27M|1008 | - |1875 |5162 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
10.69/10.74 c 9.6s| 40000 | 31853 | 0 | 0.0 | 34M|1008 | - |1875 |5793 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
13.49/13.53 c 12.1s| 50000 | 39761 | 0 | 0.0 | 41M|1008 | - |1875 |5897 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
16.19/16.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.19/16.29 c 14.6s| 60000 | 47676 | 0 | 0.0 | 48M|1008 | - |1875 |6254 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
18.99/19.05 c 17.0s| 70000 | 55414 | 0 | 0.0 | 55M|1008 | - |1875 |6482 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
21.90/21.91 c 19.6s| 80000 | 62950 | 0 | 0.0 | 61M|1008 | - |1875 |6971 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
24.79/24.89 c 22.3s| 90000 | 70333 | 0 | 0.0 | 68M|1008 | - |1875 |6759 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
27.99/28.09 c 25.2s|100000 | 77359 | 0 | 0.0 | 75M|1008 | - |1875 |7464 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
31.29/31.38 c 28.2s|110000 | 84318 | 0 | 0.0 | 82M|1008 | - |1875 |7434 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
34.89/34.90 c 31.4s|120000 | 90894 | 0 | 0.0 | 89M|1008 | - |1875 |7777 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
38.60/38.64 c 34.8s|130000 | 97224 | 0 | 0.0 | 96M|1008 | - |1875 |8204 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
42.59/42.69 c 38.5s|140000 |103082 | 0 | 0.0 | 103M|1008 | - |1875 |8544 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
47.49/47.54 c 43.0s|150000 |107853 | 0 | 0.0 | 111M|1008 | - |1875 |9415 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
53.79/53.89 c 48.9s|160000 |110512 | 0 | 0.0 | 119M|1008 | - |1875 | 11k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
53.99/54.08 o 50
53.99/54.08 c *49.1s|160346 |109575 | 0 | 0.0 | 119M|1008 | - |1875 | 11k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
57.19/57.22 c 52.0s|170000 |117908 | 0 | 0.0 | 126M|1008 | - |1875 |5119 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
60.69/60.73 c 55.1s|180000 |125717 | 0 | 0.0 | 137M|1008 | - |1875 |7594 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
61.89/61.96 o 44
61.89/61.96 c *56.2s|182885 |127540 | 0 | 0.0 | 140M|1008 | - |1875 |7717 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
64.59/64.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.59/64.64 c 58.7s|190000 |133341 | 0 | 0.0 | 147M|1008 | - |1875 |7194 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
68.39/68.44 c 62.1s|200000 |141249 | 0 | 0.0 | 158M|1008 | - |1875 |8525 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
71.99/72.08 c 65.4s|210000 |149252 | 0 | 0.0 | 173M|1008 | - |1875 |7874 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
75.90/75.90 c 68.9s|220000 |156483 | 0 | 0.0 | 188M|1008 | - |1875 | 10k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
78.89/78.93 c 71.6s|230000 |165116 | 0 | 0.0 | 193M|1008 | - |1875 |6528 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
81.39/81.41 o 40
81.39/81.41 c *73.8s|238150 |171470 | 0 | 0.0 | 198M|1008 | - |1875 |7427 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
81.99/82.05 c 74.4s|240000 |172888 | 0 | 0.0 | 199M|1008 | - |1875 |7610 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
83.89/83.91 o 32
83.89/83.91 c *76.1s|244955 |174083 | 0 | 0.0 | 197M|1008 | - |1875 |8856 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
86.19/86.21 c 78.1s|250000 |177183 | 0 | 0.0 | 200M|1008 | - |1875 |8164 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
89.29/89.32 c 81.0s|260000 |185116 | 0 | 0.0 | 207M|1008 | - |1875 |8991 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
92.49/92.57 c 83.9s|270000 |192798 | 0 | 0.0 | 213M|1008 | - |1875 |8413 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
96.09/96.12 c 87.1s|280000 |200191 | 0 | 0.0 | 219M|1008 | - |1875 |5521 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
99.39/99.47 c 90.1s|290000 |207721 | 0 | 0.0 | 226M|1008 | - |1875 |6012 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
103.40/103.46 c 93.7s|300000 |214200 | 0 | 0.0 | 233M|1008 | - |1875 |6229 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
107.29/107.38 c 97.3s|310000 |220706 | 0 | 0.0 | 240M|1008 | - |1875 |6571 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
111.29/111.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.29/111.32 c 101s|320000 |227145 | 0 | 0.0 | 248M|1008 | - |1875 |6397 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
115.39/115.46 c 105s|330000 |233283 | 0 | 0.0 | 255M|1008 | - |1875 |6770 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
119.49/119.51 c 108s|340000 |239545 | 0 | 0.0 | 263M|1008 | - |1875 |6896 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
123.49/123.59 c 112s|350000 |245703 | 0 | 0.0 | 270M|1008 | - |1875 |7036 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
127.60/127.64 c 116s|360000 |251949 | 0 | 0.0 | 277M|1008 | - |1875 |6666 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
131.59/131.69 c 120s|370000 |258161 | 0 | 0.0 | 285M|1008 | - |1875 |7020 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
135.69/135.74 c 123s|380000 |264389 | 0 | 0.0 | 292M|1008 | - |1875 |7257 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
139.70/139.77 c 127s|390000 |270535 | 0 | 0.0 | 299M|1008 | - |1875 |7498 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
143.69/143.70 c 131s|400000 |276971 | 0 | 0.0 | 306M|1008 | - |1875 |7518 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
147.69/147.78 c 134s|410000 |283133 | 0 | 0.0 | 313M|1008 | - |1875 |7918 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
151.79/151.86 c 138s|420000 |289376 | 0 | 0.0 | 319M|1008 | - |1875 |7094 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
155.89/155.97 c 142s|430000 |295491 | 0 | 0.0 | 327M|1008 | - |1875 |7994 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
160.50/160.50 c 146s|440000 |301089 | 0 | 0.0 | 334M|1008 | - |1875 |7854 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
164.80/164.87 c 150s|450000 |306910 | 0 | 0.0 | 340M|1008 | - |1875 |7616 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
169.09/169.17 c 154s|460000 |312749 | 0 | 0.0 | 347M|1008 | - |1875 |8288 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
173.59/173.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.59/173.63 c 158s|470000 |318392 | 0 | 0.0 | 354M|1008 | - |1875 |7854 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
178.19/178.23 c 162s|480000 |323806 | 0 | 0.0 | 361M|1008 | - |1875 |8534 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
182.89/182.97 c 167s|490000 |329137 | 0 | 0.0 | 367M|1008 | - |1875 |7530 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
187.59/187.65 c 171s|500000 |334503 | 0 | 0.0 | 374M|1008 | - |1875 |8572 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
192.29/192.34 c 176s|510000 |339806 | 0 | 0.0 | 381M|1008 | - |1875 |8471 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
197.09/197.16 c 180s|520000 |345050 | 0 | 0.0 | 388M|1008 | - |1875 |8632 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
201.99/202.09 c 185s|530000 |350022 | 0 | 0.0 | 395M|1008 | - |1875 |9335 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
207.09/207.12 c 189s|540000 |355016 | 0 | 0.0 | 401M|1008 | - |1875 |9000 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
212.29/212.30 c 194s|550000 |359855 | 0 | 0.0 | 408M|1008 | - |1875 |9570 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
217.80/217.84 c 199s|560000 |364336 | 0 | 0.0 | 414M|1008 | - |1875 |8295 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
223.39/223.43 c 205s|570000 |368621 | 0 | 0.0 | 421M|1008 | - |1875 |9168 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
229.09/229.16 c 210s|580000 |372725 | 0 | 0.0 | 428M|1008 | - |1875 | 10k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
234.99/235.02 c 215s|590000 |376817 | 0 | 0.0 | 434M|1008 | - |1875 |9199 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
241.19/241.28 c 221s|600000 |380428 | 0 | 0.0 | 440M|1008 | - |1875 |9426 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
247.59/247.65 c 227s|610000 |383813 | 0 | 0.0 | 447M|1008 | - |1875 | 10k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
254.09/254.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.09/254.12 c 233s|620000 |386992 | 0 | 0.0 | 453M|1008 | - |1875 | 10k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
260.48/260.57 c 239s|630000 |390395 | 0 | 0.0 | 459M|1008 | - |1875 | 10k| 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
267.39/267.40 c 246s|640000 |393508 | 0 | 0.0 | 465M|1008 | - |1875 |9072 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
274.19/274.27 c 252s|650000 |396467 | 0 | 0.0 | 471M|1008 | - |1875 | 10k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
281.29/281.39 c 259s|660000 |399168 | 0 | 0.0 | 477M|1008 | - |1875 | 10k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
288.69/288.76 c 266s|670000 |401635 | 0 | 0.0 | 483M|1008 | - |1875 | 10k| 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
296.19/296.24 c 273s|680000 |403961 | 0 | 0.0 | 489M|1008 | - |1875 | 10k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
304.39/304.40 c 281s|690000 |405546 | 0 | 0.0 | 495M|1008 | - |1875 | 13k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
312.69/312.73 c 289s|700000 |407427 | 0 | 0.0 | 500M|1008 | - |1875 | 12k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
321.89/321.92 c 298s|710000 |408339 | 0 | 0.0 | 505M|1008 | - |1875 | 14k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
331.69/331.78 c 307s|720000 |408826 | 0 | 0.0 | 510M|1008 | - |1875 | 14k| 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
342.69/342.77 c 317s|730000 |408622 | 0 | 0.0 | 514M|1008 | - |1875 | 15k| 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
354.99/355.07 c 329s|740000 |407359 | 0 | 0.0 | 512M|1008 | - |1875 | 11k| 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
358.19/358.28 c 332s|750000 |415921 | 0 | 0.0 | 518M|1008 | - |1875 |4540 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
361.40/361.47 c 335s|760000 |424190 | 0 | 0.0 | 526M|1008 | - |1875 |4954 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
364.59/364.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.59/364.67 c 338s|770000 |432402 | 0 | 0.0 | 534M|1008 | - |1875 |5170 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
367.89/367.92 c 341s|780000 |440496 | 0 | 0.0 | 543M|1008 | - |1875 |5651 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
371.29/371.34 c 344s|790000 |448391 | 0 | 0.0 | 552M|1008 | - |1875 |6000 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
374.69/374.80 c 347s|800000 |456163 | 0 | 0.0 | 561M|1008 | - |1875 |6520 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
378.40/378.41 c 350s|810000 |463740 | 0 | 0.0 | 569M|1008 | - |1875 |7100 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
382.09/382.15 c 354s|820000 |471104 | 0 | 0.0 | 578M|1008 | - |1875 |7517 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
385.89/385.99 c 357s|830000 |478407 | 0 | 0.0 | 587M|1008 | - |1875 |8019 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
389.99/390.03 c 361s|840000 |485410 | 0 | 0.0 | 596M|1008 | - |1875 |8592 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
394.29/394.39 c 365s|850000 |492091 | 0 | 0.0 | 605M|1008 | - |1875 |9271 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
396.29/396.31 o 17
396.29/396.31 c * 367s|853943 |478801 | 0 | 0.0 | 569M|1008 | - |1875 |9403 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
399.49/399.58 c 370s|860000 |482050 | 0 | 0.0 | 575M|1008 | - |1875 | 10k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
404.90/404.97 o 7
404.90/404.97 c * 375s|868854 |478487 | 0 | 0.0 | 565M|1008 | - |1875 | 12k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
405.80/405.82 c 375s|870000 |478960 | 0 | 0.0 | 566M|1008 | - |1875 | 10k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
412.90/412.99 c 382s|880000 |482129 | 0 | 0.0 | 573M|1008 | - |1875 | 12k| 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
419.59/419.65 c 388s|890000 |486093 | 0 | 0.0 | 577M|1008 | - |1875 |7269 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
423.50/423.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.50/423.51 c 392s|900000 |492991 | 0 | 0.0 | 582M|1008 | - |1875 |6635 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
426.99/427.02 c 395s|910000 |500289 | 0 | 0.0 | 588M|1008 | - |1875 |7395 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
430.49/430.57 c 398s|920000 |507476 | 0 | 0.0 | 595M|1008 | - |1875 |8563 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
434.39/434.44 c 402s|930000 |514330 | 0 | 0.0 | 601M|1008 | - |1875 |9719 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
438.49/438.55 c 406s|940000 |520962 | 0 | 0.0 | 608M|1008 | - |1875 | 11k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
443.10/443.18 c 410s|950000 |527065 | 0 | 0.0 | 615M|1008 | - |1875 | 12k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
445.29/445.32 o 2
445.29/445.32 c * 412s|954282 |518735 | 0 | 0.0 | 609M|1008 | - |1875 | 13k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
448.80/448.80 c 415s|960000 |521585 | 0 | 0.0 | 615M|1008 | - |1875 | 14k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
456.40/456.41 c 422s|970000 |525325 | 0 | 0.0 | 622M|1008 | - |1875 | 17k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
467.09/467.11 c 432s|980000 |527043 | 0 | 0.0 | 625M|1008 | - |1875 | 12k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
470.50/470.56 c 436s|990000 |534957 | 0 | 0.0 | 631M|1008 | - |1875 |9365 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
473.90/473.98 c 439s| 1000k|542649 | 0 | 0.0 | 638M|1008 | - |1875 |9957 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
477.59/477.61 c 442s| 1010k|550026 | 0 | 0.0 | 645M|1008 | - |1875 | 10k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
481.39/481.48 c 445s| 1020k|557149 | 0 | 0.0 | 652M|1008 | - |1875 | 11k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
485.70/485.76 c 449s| 1030k|563898 | 0 | 0.0 | 659M|1008 | - |1875 | 12k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
490.40/490.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.40/490.47 c 454s| 1040k|570222 | 0 | 0.0 | 666M|1008 | - |1875 | 13k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
496.00/496.01 c 459s| 1050k|575841 | 0 | 0.0 | 674M|1008 | - |1875 | 15k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
502.99/503.09 c 466s| 1060k|580158 | 0 | 0.0 | 681M|1008 | - |1875 | 18k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
513.30/513.32 c 475s| 1070k|582411 | 0 | 0.0 | 689M|1008 | - |1875 | 22k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
520.29/520.36 c 482s| 1080k|587790 | 0 | 0.0 | 691M|1008 | - |1875 | 11k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
523.60/523.69 c 485s| 1090k|595665 | 0 | 0.0 | 698M|1008 | - |1875 | 12k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
527.09/527.10 c 488s| 1100k|603487 | 0 | 0.0 | 704M|1008 | - |1875 | 12k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
530.69/530.70 c 491s| 1110k|611082 | 0 | 0.0 | 711M|1008 | - |1875 | 13k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
534.39/534.47 c 495s| 1120k|618586 | 0 | 0.0 | 718M|1008 | - |1875 | 14k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
538.30/538.35 c 498s| 1130k|626059 | 0 | 0.0 | 724M|1008 | - |1875 | 14k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
542.69/542.71 c 502s| 1140k|633103 | 0 | 0.0 | 731M|1008 | - |1875 | 16k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
547.19/547.26 c 507s| 1150k|640044 | 0 | 0.0 | 738M|1008 | - |1875 | 16k| 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
552.39/552.49 c 511s| 1160k|646518 | 0 | 0.0 | 745M|1008 | - |1875 | 17k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
557.80/557.90 c 517s| 1170k|652811 | 0 | 0.0 | 752M|1008 | - |1875 | 18k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
563.69/563.77 c 522s| 1180k|658851 | 0 | 0.0 | 759M|1008 | - |1875 | 18k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
570.20/570.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.20/570.23 c 528s| 1190k|664407 | 0 | 0.0 | 766M|1008 | - |1875 | 19k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
577.50/577.53 c 535s| 1200k|669516 | 0 | 0.0 | 773M|1008 | - |1875 | 21k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
585.99/586.09 c 543s| 1210k|673832 | 0 | 0.0 | 780M|1008 | - |1875 | 22k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
596.99/597.07 c 554s| 1220k|676790 | 0 | 0.0 | 787M|1008 | - |1875 | 24k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
611.60/611.62 c 568s| 1230k|677329 | 0 | 0.0 | 789M|1008 | - |1875 | 21k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
615.79/615.87 c 572s| 1240k|685128 | 0 | 0.0 | 796M|1008 | - |1875 | 16k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
619.70/619.74 c 575s| 1250k|692666 | 0 | 0.0 | 801M|1008 | - |1875 | 13k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
623.60/623.65 c 579s| 1260k|699844 | 0 | 0.0 | 808M|1008 | - |1875 | 14k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
627.89/627.98 c 583s| 1270k|706580 | 0 | 0.0 | 815M|1008 | - |1875 | 14k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
632.60/632.67 c 587s| 1280k|712792 | 0 | 0.0 | 822M|1008 | - |1875 | 15k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
638.39/638.49 c 593s| 1290k|717848 | 0 | 0.0 | 829M|1008 | - |1875 | 16k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
645.59/645.62 c 599s| 1300k|721504 | 0 | 0.0 | 835M|1008 | - |1875 | 18k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
651.70/651.76 c 605s| 1310k|726793 | 0 | 0.0 | 838M|1008 | - |1875 | 12k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
655.29/655.30 c 608s| 1320k|734477 | 0 | 0.0 | 845M|1008 | - |1875 | 13k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
658.99/659.02 c 612s| 1330k|741936 | 0 | 0.0 | 851M|1008 | - |1875 | 14k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
663.09/663.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.09/663.13 c 615s| 1340k|748885 | 0 | 0.0 | 858M|1008 | - |1875 | 14k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
667.89/667.93 c 620s| 1350k|755027 | 0 | 0.0 | 865M|1008 | - |1875 | 15k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
673.59/673.65 c 625s| 1360k|760254 | 0 | 0.0 | 871M|1008 | - |1875 | 17k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
680.69/680.71 c 632s| 1370k|764230 | 0 | 0.0 | 877M|1008 | - |1875 | 18k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
690.80/690.88 c 641s| 1380k|765494 | 0 | 0.0 | 881M|1008 | - |1875 | 14k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
698.70/698.71 c 649s| 1390k|768920 | 0 | 0.0 | 887M|1008 | - |1875 | 14k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
706.10/706.17 c 656s| 1400k|772606 | 0 | 0.0 | 894M|1008 | - |1875 | 14k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
713.59/713.64 c 663s| 1410k|776441 | 0 | 0.0 | 901M|1008 | - |1875 | 15k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
721.20/721.30 c 670s| 1420k|780160 | 0 | 0.0 | 908M|1008 | - |1875 | 15k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
729.39/729.45 c 678s| 1430k|783413 | 0 | 0.0 | 914M|1008 | - |1875 | 15k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
737.40/737.49 c 686s| 1440k|786705 | 0 | 0.0 | 920M|1008 | - |1875 | 15k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
745.59/745.67 c 693s| 1450k|790054 | 0 | 0.0 | 927M|1008 | - |1875 | 14k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
753.79/753.82 c 701s| 1460k|793177 | 0 | 0.0 | 934M|1008 | - |1875 | 15k| 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
762.20/762.28 c 709s| 1470k|796502 | 0 | 0.0 | 940M|1008 | - |1875 | 13k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
770.49/770.59 c 717s| 1480k|799292 | 0 | 0.0 | 946M|1008 | - |1875 | 16k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
778.89/778.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.89/778.90 c 725s| 1490k|802827 | 0 | 0.0 | 952M|1008 | - |1875 | 13k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
787.60/787.65 c 733s| 1500k|805249 | 0 | 0.0 | 958M|1008 | - |1875 | 16k| 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
796.09/796.16 c 742s| 1510k|808634 | 0 | 0.0 | 964M|1008 | - |1875 | 14k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
805.50/805.56 c 751s| 1520k|810589 | 0 | 0.0 | 970M|1008 | - |1875 | 16k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
814.19/814.27 c 759s| 1530k|813581 | 0 | 0.0 | 976M|1008 | - |1875 | 16k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
823.90/823.94 c 768s| 1540k|815539 | 0 | 0.0 | 981M|1008 | - |1875 | 16k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
832.39/832.49 c 776s| 1550k|818478 | 0 | 0.0 | 987M|1008 | - |1875 | 16k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
842.29/842.39 c 786s| 1560k|820311 | 0 | 0.0 | 991M|1008 | - |1875 | 15k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
851.50/851.52 c 795s| 1570k|822788 | 0 | 0.0 | 997M|1008 | - |1875 | 16k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
861.30/861.38 c 804s| 1580k|825055 | 0 | 0.0 |1003M|1008 | - |1875 | 15k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
871.49/871.54 c 814s| 1590k|826349 | 0 | 0.0 |1007M|1008 | - |1875 | 16k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
880.59/880.66 c 823s| 1600k|828968 | 0 | 0.0 |1013M|1008 | - |1875 | 17k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
890.90/890.93 c 832s| 1610k|830660 | 0 | 0.0 |1017M|1008 | - |1875 | 16k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
900.09/900.18 c 841s| 1620k|832926 | 0 | 0.0 |1023M|1008 | - |1875 | 17k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
910.00/910.05 c 851s| 1630k|835147 | 0 | 0.0 |1028M|1008 | - |1875 | 17k| 0 | 0 | 0 |1621k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
920.60/920.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.60/920.67 c 861s| 1640k|836366 | 0 | 0.0 |1032M|1008 | - |1875 | 17k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.30/930.38 c 870s| 1650k|838585 | 0 | 0.0 |1037M|1008 | - |1875 | 18k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
940.60/940.60 c 880s| 1660k|840801 | 0 | 0.0 |1042M|1008 | - |1875 | 15k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
950.90/950.98 c 890s| 1670k|841952 | 0 | 0.0 |1046M|1008 | - |1875 | 18k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
961.30/961.31 c 900s| 1680k|843980 | 0 | 0.0 |1051M|1008 | - |1875 | 18k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
971.89/971.94 c 910s| 1690k|845856 | 0 | 0.0 |1056M|1008 | - |1875 | 15k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.31/983.30 c 921s| 1700k|846385 | 0 | 0.0 |1060M|1008 | - |1875 | 19k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
994.09/994.16 c 932s| 1710k|848144 | 0 | 0.0 |1065M|1008 | - |1875 | 19k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1005.40/1005.47 c 943s| 1720k|849190 | 0 | 0.0 |1068M|1008 | - |1875 | 17k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1017.00/1017.04 c 954s| 1730k|850047 | 0 | 0.0 |1072M|1008 | - |1875 | 18k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1028.30/1028.39 c 965s| 1740k|851319 | 0 | 0.0 |1077M|1008 | - |1875 | 18k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1040.30/1040.35 c 976s| 1750k|851622 | 0 | 0.0 |1080M|1008 | - |1875 | 19k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1051.79/1051.84 c 987s| 1760k|852838 | 0 | 0.0 |1085M|1008 | - |1875 | 20k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1063.20/1063.27 c 998s| 1770k|854316 | 0 | 0.0 |1090M|1008 | - |1875 | 18k| 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1075.71/1075.76 c 1010s| 1780k|854112 | 0 | 0.0 |1092M|1008 | - |1875 | 20k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.10/1088.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1088.10/1088.18 c 1022s| 1790k|854857 | 0 | 0.0 |1097M|1008 | - |1875 | 19k| 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1099.80/1099.89 c 1034s| 1800k|855969 | 0 | 0.0 |1101M|1008 | - |1875 | 16k| 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1113.00/1113.10 c 1046s| 1810k|855098 | 0 | 0.0 |1104M|1008 | - |1875 | 21k| 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.40/1125.46 c 1058s| 1820k|856022 | 0 | 0.0 |1109M|1008 | - |1875 | 21k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1138.60/1138.66 c 1071s| 1830k|855453 | 0 | 0.0 |1110M|1008 | - |1875 | 20k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1151.90/1151.96 c 1084s| 1840k|855499 | 0 | 0.0 |1114M|1008 | - |1875 | 21k| 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.20/1164.22 c 1096s| 1850k|856676 | 0 | 0.0 |1118M|1008 | - |1875 | 16k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1178.30/1178.35 c 1109s| 1860k|855341 | 0 | 0.0 |1120M|1008 | - |1875 | 21k| 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1192.30/1192.35 c 1123s| 1870k|855957 | 0 | 0.0 |1124M|1008 | - |1875 | 21k| 0 | 0 | 0 |1996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1209.29/1209.33 c 1140s| 1880k|855160 | 0 | 0.0 |1125M|1008 | - |1875 | 21k| 0 | 0 | 0 |2014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1226.29/1226.39 c 1157s| 1890k|854868 | 0 | 0.0 |1129M|1008 | - |1875 | 23k| 0 | 0 | 0 |2033k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1242.90/1242.95 c 1173s| 1900k|855004 | 0 | 0.0 |1132M|1008 | - |1875 | 20k| 0 | 0 | 0 |2051k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1261.79/1261.83 c 1192s| 1910k|853427 | 0 | 0.0 |1133M|1008 | - |1875 | 24k| 0 | 0 | 0 |2072k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1278.79/1278.82 c 1209s| 1920k|854173 | 0 | 0.0 |1137M|1008 | - |1875 | 19k| 0 | 0 | 0 |2089k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1297.29/1297.35 c 1227s| 1930k|852163 | 0 | 0.0 |1137M|1008 | - |1875 | 24k| 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1315.20/1315.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.20/1315.26 c 1245s| 1940k|852515 | 0 | 0.0 |1141M|1008 | - |1875 | 22k| 0 | 0 | 0 |2129k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1334.79/1334.81 c 1264s| 1950k|850628 | 0 | 0.0 |1141M|1008 | - |1875 | 25k| 0 | 0 | 0 |2150k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1352.69/1352.73 c 1282s| 1960k|851189 | 0 | 0.0 |1144M|1008 | - |1875 | 22k| 0 | 0 | 0 |2168k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1372.19/1372.23 c 1301s| 1970k|849130 | 0 | 0.0 |1144M|1008 | - |1875 | 24k| 0 | 0 | 0 |2190k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1390.59/1390.68 c 1319s| 1980k|849075 | 0 | 0.0 |1146M|1008 | - |1875 | 21k| 0 | 0 | 0 |2209k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1410.90/1410.96 c 1340s| 1990k|847317 | 0 | 0.0 |1147M|1008 | - |1875 | 25k| 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1430.60/1430.69 c 1359s| 2000k|846244 | 0 | 0.0 |1148M|1008 | - |1875 | 24k| 0 | 0 | 0 |2253k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1451.39/1451.43 c 1380s| 2010k|845639 | 0 | 0.0 |1150M|1008 | - |1875 | 23k| 0 | 0 | 0 |2273k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1473.09/1473.16 c 1401s| 2020k|843401 | 0 | 0.0 |1150M|1008 | - |1875 | 26k| 0 | 0 | 0 |2297k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1495.19/1495.29 c 1423s| 2030k|841382 | 0 | 0.0 |1150M|1008 | - |1875 | 26k| 0 | 0 | 0 |2320k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1517.59/1517.67 c 1445s| 2040k|839205 | 0 | 0.0 |1149M|1008 | - |1875 | 25k| 0 | 0 | 0 |2343k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1540.00/1540.07 c 1468s| 2050k|836957 | 0 | 0.0 |1149M|1008 | - |1875 | 26k| 0 | 0 | 0 |2367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1563.09/1563.14 c 1490s| 2060k|834365 | 0 | 0.0 |1146M|1008 | - |1875 | 23k| 0 | 0 | 0 |2391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1588.09/1588.14 c 1515s| 2070k|830595 | 0 | 0.0 |1143M|1008 | - |1875 | 25k| 0 | 0 | 0 |2417k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1615.09/1615.16 c 1542s| 2080k|825756 | 0 | 0.0 |1137M|1008 | - |1875 | 26k| 0 | 0 | 0 |2444k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1635.99/1636.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.99/1636.03 c 1563s| 2090k|824143 | 0 | 0.0 |1126M|1008 | - |1875 | 12k| 0 | 0 | 0 |2464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1640.59/1640.64 c 1567s| 2100k|831224 | 0 | 0.0 |1132M|1008 | - |1875 | 10k| 0 | 0 | 0 |2468k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1645.00/1645.02 c 1572s| 2110k|838301 | 0 | 0.0 |1138M|1008 | - |1875 | 11k| 0 | 0 | 0 |2473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1649.49/1649.59 c 1576s| 2120k|845101 | 0 | 0.0 |1145M|1008 | - |1875 | 11k| 0 | 0 | 0 |2478k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1654.19/1654.23 c 1580s| 2130k|851890 | 0 | 0.0 |1152M|1008 | - |1875 | 11k| 0 | 0 | 0 |2483k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1658.99/1659.05 c 1585s| 2140k|858544 | 0 | 0.0 |1158M|1008 | - |1875 | 12k| 0 | 0 | 0 |2488k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1664.09/1664.19 c 1590s| 2150k|864947 | 0 | 0.0 |1164M|1008 | - |1875 | 12k| 0 | 0 | 0 |2494k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1669.30/1669.31 c 1595s| 2160k|871241 | 0 | 0.0 |1171M|1008 | - |1875 | 12k| 0 | 0 | 0 |2499k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1674.50/1674.52 c 1600s| 2170k|877468 | 0 | 0.0 |1177M|1008 | - |1875 | 12k| 0 | 0 | 0 |2505k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1679.70/1679.76 c 1605s| 2180k|883686 | 0 | 0.0 |1184M|1008 | - |1875 | 13k| 0 | 0 | 0 |2511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1685.40/1685.48 c 1611s| 2190k|889501 | 0 | 0.0 |1191M|1008 | - |1875 | 14k| 0 | 0 | 0 |2517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1691.60/1691.63 c 1617s| 2200k|895043 | 0 | 0.0 |1197M|1008 | - |1875 | 14k| 0 | 0 | 0 |2524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1697.80/1697.80 c 1623s| 2210k|900555 | 0 | 0.0 |1204M|1008 | - |1875 | 15k| 0 | 0 | 0 |2530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1703.59/1703.61 c 1629s| 2220k|906354 | 0 | 0.0 |1210M|1008 | - |1875 | 15k| 0 | 0 | 0 |2537k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1710.30/1710.31 c 1635s| 2230k|911598 | 0 | 0.0 |1217M|1008 | - |1875 | 16k| 0 | 0 | 0 |2544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1717.10/1717.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.10/1717.19 c 1642s| 2240k|916599 | 0 | 0.0 |1223M|1008 | - |1875 | 16k| 0 | 0 | 0 |2552k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1723.50/1723.54 c 1648s| 2250k|922090 | 0 | 0.0 |1230M|1008 | - |1875 | 17k| 0 | 0 | 0 |2559k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.70/1730.72 c 1655s| 2260k|926984 | 0 | 0.0 |1236M|1008 | - |1875 | 17k| 0 | 0 | 0 |2566k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1738.30/1738.30 c 1663s| 2270k|931686 | 0 | 0.0 |1242M|1008 | - |1875 | 17k| 0 | 0 | 0 |2574k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1745.40/1745.47 c 1670s| 2280k|936649 | 0 | 0.0 |1249M|1008 | - |1875 | 18k| 0 | 0 | 0 |2582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1753.69/1753.79 c 1678s| 2290k|940777 | 0 | 0.0 |1255M|1008 | - |1875 | 18k| 0 | 0 | 0 |2591k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1761.90/1761.94 c 1686s| 2300k|945227 | 0 | 0.0 |1261M|1008 | - |1875 | 18k| 0 | 0 | 0 |2599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1770.09/1770.13 c 1694s| 2310k|949574 | 0 | 0.0 |1267M|1008 | - |1875 | 19k| 0 | 0 | 0 |2608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1779.39/1779.43 c 1703s| 2320k|953239 | 0 | 0.0 |1274M|1008 | - |1875 | 20k| 0 | 0 | 0 |2617k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1787.70/1787.77 c 1711s| 2330k|957623 | 0 | 0.0 |1280M|1008 | - |1875 | 20k| 0 | 0 | 0 |2626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1797.70/1797.80 c 1721s| 2340k|961024 | 0 | 0.0 |1286M|1008 | - |1875 | 20k| 0 | 0 | 0 |2635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.00/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.00 c Solving Time (sec) : 1723.13
1800.00/1800.00 c Solving Nodes : 2342486
1800.00/1800.00 c Primal Bound : +2.00000000000000e+00 (16 solutions)
1800.00/1800.00 c Dual Bound : +0.00000000000000e+00
1800.00/1800.00 c Gap : infinite
1800.00/1800.01 s SATISFIABLE
1800.00/1800.01 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.00/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.00/1800.01 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.00/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.00/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.00/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.00/1800.01 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.00/1800.01 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.00/1800.01 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.00/1800.01 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.00/1800.01 v x1
1800.00/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.01 c Solving Time : 1723.13
1800.00/1800.01 c Original Problem :
1800.00/1800.01 c Problem name : HOME/instance-2693578-1277911642.wbo
1800.00/1800.01 c Variables : 2015 (1123 binary, 0 integer, 0 implicit integer, 892 continuous)
1800.00/1800.01 c Constraints : 3600 initial, 3600 maximal
1800.00/1800.01 c Presolved Problem :
1800.00/1800.01 c Problem name : t_HOME/instance-2693578-1277911642.wbo
1800.00/1800.01 c Variables : 1875 (1053 binary, 0 integer, 0 implicit integer, 822 continuous)
1800.00/1800.01 c Constraints : 3344 initial, 27721 maximal
1800.00/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.01 c trivial : 0.00 70 0 0 0 0 0 0 0
1800.00/1800.01 c dualfix : 0.00 70 0 0 0 0 0 0 0
1800.00/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.01 c indicator : 0.00 0 0 0 0 0 70 0 0
1800.00/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.01 c linear : 0.07 0 0 0 914 0 186 127 0
1800.00/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.00/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.01 c root node : - 815 - - 1630 - - - -
1800.00/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c indicator : 822 0 2771066 0 873572 152 1121433 0 0 0
1800.00/1800.01 c setppc : 13 0 7517710 0 1861326 117032 5311915 0 0 0
1800.00/1800.01 c linear : 822 0 7403851 0 1861442 324034 29469505 0 0 0
1800.00/1800.01 c logicor : 1687+ 0 5670791 0 1861455 308473 15041124 0 0 0
1800.00/1800.01 c bounddisjunction : 0+ 0 350966 0 0 5 798 0 0 0
1800.00/1800.01 c countsols : 0 0 0 0 1861451 0 0 0 0 0
1800.00/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.01 c indicator : 5.49 0.00 2.29 0.00 3.20
1800.00/1800.01 c setppc : 27.81 0.00 25.41 0.00 2.40
1800.00/1800.01 c linear : 165.74 0.00 164.92 0.00 0.82
1800.00/1800.01 c logicor : 650.00 0.00 565.31 0.00 84.69
1800.00/1800.01 c bounddisjunction : 2.85 0.00 2.85 0.00 0.00
1800.00/1800.01 c countsols : 0.05 0.00 0.00 0.00 0.05
1800.00/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.01 c vbounds : 0.44 2 0 0
1800.00/1800.01 c rootredcost : 0.39 0 0 0
1800.00/1800.01 c pseudoobj : 128.82 7522128 1231 1109918
1800.00/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.01 c propagation : 34.90 750775 750675 3984639 24.5 181005 10.4 -
1800.00/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.01 c pseudo solution : 0.01 32 32 157 21.8 41 11.4 -
1800.00/1800.01 c applied globally : - - - 2638018 21.3 - - -
1800.00/1800.01 c applied locally : - - - 24 112.1 - - -
1800.00/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.01 c redcost : 0.00 0 0 0 0 0
1800.00/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.01 c intobj : 0.00 0 0 0 0 0
1800.00/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.01 c gomory : 0.00 0 0 0 0 0
1800.00/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.01 c cmir : 0.00 0 0 0 0 0
1800.00/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.01 c clique : 0.00 0 0 0 0 0
1800.00/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.01 c mcf : 0.00 0 0 0 0 0
1800.00/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.01 c Pricers : Time Calls Vars
1800.00/1800.01 c problem variables: 0.00 0 0
1800.00/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.01 c inference : 25.07 1861435 0 0 0 0 3722870
1800.00/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.01 c random : 0.00 0 0 0 0 0 0
1800.00/1800.01 c Primal Heuristics : Time Calls Found
1800.00/1800.01 c LP solutions : 0.00 - 0
1800.00/1800.01 c pseudo solutions : 0.09 - 16
1800.00/1800.01 c oneopt : 0.22 0 0
1800.00/1800.01 c trivial : 0.00 2 0
1800.00/1800.01 c simplerounding : 0.00 0 0
1800.00/1800.01 c zirounding : 0.00 0 0
1800.00/1800.01 c rounding : 0.00 0 0
1800.00/1800.01 c shifting : 0.00 0 0
1800.00/1800.01 c intshifting : 0.00 0 0
1800.00/1800.01 c twoopt : 0.00 0 0
1800.00/1800.01 c fixandinfer : 0.00 0 0
1800.00/1800.01 c feaspump : 0.00 0 0
1800.00/1800.01 c coefdiving : 0.00 0 0
1800.00/1800.01 c pscostdiving : 0.00 0 0
1800.00/1800.01 c fracdiving : 0.00 0 0
1800.00/1800.01 c veclendiving : 0.00 0 0
1800.00/1800.01 c intdiving : 0.00 0 0
1800.00/1800.01 c actconsdiving : 0.00 0 0
1800.00/1800.01 c objpscostdiving : 0.00 0 0
1800.00/1800.01 c rootsoldiving : 0.00 0 0
1800.00/1800.01 c linesearchdiving : 0.00 0 0
1800.00/1800.01 c guideddiving : 0.00 0 0
1800.00/1800.01 c octane : 0.00 0 0
1800.00/1800.01 c rens : 0.00 0 0
1800.00/1800.01 c rins : 0.00 0 0
1800.00/1800.01 c localbranching : 0.00 0 0
1800.00/1800.01 c mutation : 0.00 0 0
1800.00/1800.01 c crossover : 0.00 0 0
1800.00/1800.01 c dins : 0.00 0 0
1800.00/1800.01 c undercover : 0.00 0 0
1800.00/1800.01 c nlp : 0.16 0 0
1800.00/1800.01 c trysol : 0.11 1 0
1800.00/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.01 c (at root node) : - 0 0 0.00 -
1800.00/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.01 c B&B Tree :
1800.00/1800.01 c number of runs : 1
1800.00/1800.01 c nodes : 2342486
1800.00/1800.01 c nodes (total) : 2342486
1800.00/1800.01 c nodes left : 962027
1800.00/1800.01 c max depth : 1008
1800.00/1800.01 c max depth (total): 1008
1800.00/1800.01 c backtracks : 500980 (21.4%)
1800.00/1800.01 c delayed cutoffs : 378793
1800.00/1800.01 c repropagations : 1721272 (14808143 domain reductions, 269924 cutoffs)
1800.00/1800.01 c avg switch length: 19.92
1800.00/1800.01 c switching time : 557.57
1800.00/1800.01 c Solution :
1800.00/1800.01 c Solutions found : 16 (16 improvements)
1800.00/1800.01 c First Solution : +4.95000000000000e+02 (in run 1, after 3064 nodes, 0.68 seconds, depth 197, found by <relaxation>)
1800.00/1800.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 954282 nodes, 411.70 seconds, depth 108, found by <relaxation>)
1800.00/1800.01 c Dual Bound : +0.00000000000000e+00
1800.00/1800.01 c Gap : infinite
1800.00/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.01 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-2693578-1277911642/watcher-2693578-1277911642 -o /tmp/evaluation-result-2693578-1277911642/solver-2693578-1277911642 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693578-1277911642.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.01 2.00 3/178 12441 /proc/meminfo: memFree=31417980/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=8164 CPUtime=0 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 1545 0 0 0 0 0 0 0 23 0 1 0 132460567 8359936 1467 4089446400 4194304 7136930 140733369920384 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12441/statm: 2041 1467 275 719 0 1320 0 [startup+0.029653 s] /proc/loadavg: 2.00 2.01 2.00 3/178 12441 /proc/meminfo: memFree=31417980/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=13124 CPUtime=0.02 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 3148 0 0 0 2 0 0 0 23 0 1 0 132460567 13438976 2716 4089446400 4194304 7136930 140733369920384 18446744073709551615 6328631 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 3320 2734 286 719 0 2599 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13124 [startup+0.10064 s] /proc/loadavg: 2.00 2.01 2.00 3/178 12441 /proc/meminfo: memFree=31417980/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=22064 CPUtime=0.09 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 6653 0 0 0 8 1 0 0 23 0 1 0 132460567 22593536 4679 4089446400 4194304 7136930 140733369920384 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 5516 4697 354 719 0 4795 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22064 [startup+0.300606 s] /proc/loadavg: 2.00 2.01 2.00 3/178 12441 /proc/meminfo: memFree=31417980/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=23892 CPUtime=0.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 9543 0 0 0 26 3 0 0 23 0 1 0 132460567 24465408 5256 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 5973 5256 391 719 0 5252 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23892 [startup+0.700548 s] /proc/loadavg: 2.00 2.01 2.00 3/178 12441 /proc/meminfo: memFree=31417980/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=25956 CPUtime=0.69 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 10047 0 0 0 61 8 0 0 25 0 1 0 132460567 26578944 5760 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 6489 5760 395 719 0 5768 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25956 [startup+1.5004 s] /proc/loadavg: 2.00 2.01 2.00 3/179 12442 /proc/meminfo: memFree=31395280/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=28632 CPUtime=1.49 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 10726 0 0 0 130 19 0 0 25 0 1 0 132460567 29319168 6439 4089446400 4194304 7136930 140733369920384 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 7158 6439 395 719 0 6437 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28632 [startup+3.10013 s] /proc/loadavg: 2.00 2.01 2.00 3/179 12442 /proc/meminfo: memFree=31392052/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=34044 CPUtime=3.09 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 12120 0 0 0 276 33 0 0 25 0 1 0 132460567 34861056 7833 4089446400 4194304 7136930 140733369920384 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 8511 7833 395 719 0 7790 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34044 [startup+6.3006 s] /proc/loadavg: 2.00 2.01 2.00 3/179 12442 /proc/meminfo: memFree=31380672/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=45568 CPUtime=6.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 14983 0 0 0 563 66 0 0 25 0 1 0 132460567 46661632 10696 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 11392 10696 396 719 0 10671 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45568 [startup+12.7005 s] /proc/loadavg: 2.00 2.01 2.00 3/179 12442 /proc/meminfo: memFree=31358236/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=66788 CPUtime=12.69 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 20298 0 0 0 1136 133 0 0 25 0 1 0 132460567 68390912 16011 4089446400 4194304 7136930 140733369920384 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 16697 16011 396 719 0 15976 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66788 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12442 /proc/meminfo: memFree=31321312/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=103980 CPUtime=25.49 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 29164 0 0 0 2286 263 0 0 25 0 1 0 132460567 106475520 24877 4089446400 4194304 7136930 140733369920384 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 25995 24877 396 719 0 25274 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 103980 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12444 /proc/meminfo: memFree=31264040/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=158760 CPUtime=51.09 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 42894 0 0 0 4634 475 0 0 25 0 1 0 132460567 162570240 38607 4089446400 4194304 7136930 140733369920384 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 39690 38607 396 719 0 38969 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 158760 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12444 /proc/meminfo: memFree=31118024/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=312560 CPUtime=102.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 78413 0 0 0 9271 958 0 0 25 0 1 0 132460567 320061440 74126 4089446400 4194304 7136930 140733369920384 18446744073709551615 4210590 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 78140 74126 398 719 0 77419 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 312560 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12446 /proc/meminfo: memFree=30997304/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=429276 CPUtime=162.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 107946 0 0 0 14773 1456 0 0 25 0 1 0 132460567 439578624 103659 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 107319 103659 398 719 0 106598 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 429276 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12448 /proc/meminfo: memFree=30905856/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=513388 CPUtime=222.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 129015 0 0 0 20354 1875 0 0 25 0 1 0 132460567 525709312 124728 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12441/statm: 128347 124728 398 719 0 127626 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 513388 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12453 /proc/meminfo: memFree=30834264/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=579212 CPUtime=282.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 145566 0 0 0 25998 2231 0 0 25 0 1 0 132460567 593113088 141279 4089446400 4194304 7136930 140733369920384 18446744073709551615 5000109 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12441/statm: 144803 141279 398 719 0 144082 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 579212 [startup+342.301 s] /proc/loadavg: 2.08 2.02 2.01 3/179 12455 /proc/meminfo: memFree=30791920/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=618684 CPUtime=342.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 155456 0 0 0 31697 2532 0 0 25 0 1 0 132460567 633532416 151169 4089446400 4194304 7136930 140733369920384 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12441/statm: 154671 151169 398 719 0 153950 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 618684 [startup+402.301 s] /proc/loadavg: 2.03 2.01 2.00 3/179 12455 /proc/meminfo: memFree=30692380/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=730772 CPUtime=402.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 179519 0 0 0 37216 3013 0 0 25 0 1 0 132460567 748310528 175232 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12441/statm: 182693 175232 398 719 0 181972 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 730772 [startup+462.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12457 /proc/meminfo: memFree=30629080/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=790136 CPUtime=462.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 194330 0 0 0 42779 3450 0 0 25 0 1 0 132460567 809099264 190043 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12441/statm: 197534 190043 398 719 0 196813 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 790136 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12459 /proc/meminfo: memFree=30562780/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=853544 CPUtime=522.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 210206 0 0 0 48377 3852 0 0 25 0 1 0 132460567 874029056 205919 4089446400 4194304 7136930 140733369920384 18446744073709551615 5000696 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 213386 205919 398 719 0 212665 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 853544 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12461 /proc/meminfo: memFree=30477780/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=934512 CPUtime=582.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 230796 0 0 0 53959 4270 0 0 25 0 1 0 132460567 956940288 226509 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12441/statm: 233628 226509 398 719 0 232907 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 934512 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12463 /proc/meminfo: memFree=30418060/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=990168 CPUtime=642.3 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 244749 0 0 0 59621 4609 0 0 25 0 1 0 132460567 1013932032 240462 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12441/statm: 247542 240462 398 719 0 246821 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 990168 [startup+702.3 s] ################ # More data... # ################ /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 305212 0 0 0 93949 6281 0 0 25 0 1 0 132460567 1260834816 300925 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12441/statm: 307821 300925 398 719 0 307100 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1231284 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12473 /proc/meminfo: memFree=30133060/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1249584 CPUtime=1062.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 309803 0 0 0 99733 6496 0 0 25 0 1 0 132460567 1279574016 305516 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12441/statm: 312396 305516 398 719 0 311675 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 1249584 [startup+1122.3 s] /proc/loadavg: 1.95 1.98 1.99 3/179 12551 /proc/meminfo: memFree=30345932/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1265696 CPUtime=1122.3 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 313870 0 0 0 105530 6700 0 0 25 0 1 0 132460567 1296072704 309583 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12441/statm: 316424 309583 398 719 0 315703 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 1265696 [startup+1182.3 s] /proc/loadavg: 1.98 1.98 1.99 3/179 12553 /proc/meminfo: memFree=30301768/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1279744 CPUtime=1182.3 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 317411 0 0 0 111330 6900 0 0 25 0 1 0 132460567 1310457856 313124 4089446400 4194304 7136930 140733369920384 18446744073709551615 4220842 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12441/statm: 319936 313124 398 719 0 319215 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1279744 [startup+1242.3 s] /proc/loadavg: 1.95 1.97 1.99 3/179 12641 /proc/meminfo: memFree=30146796/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1290516 CPUtime=1242.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 320122 0 0 0 117251 6978 0 0 25 0 1 0 132460567 1321488384 315835 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12441/statm: 322629 315835 398 719 0 321908 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 1290516 [startup+1302.3 s] /proc/loadavg: 1.98 1.97 1.99 3/179 12641 /proc/meminfo: memFree=30137016/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1297108 CPUtime=1302.3 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 321785 0 0 0 123193 7037 0 0 25 0 1 0 132460567 1328238592 317498 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12441/statm: 324277 317498 398 719 0 323556 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 1297108 [startup+1362.3 s] /proc/loadavg: 2.05 1.99 1.99 3/179 12643 /proc/meminfo: memFree=30115536/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1304716 CPUtime=1362.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 323605 0 0 0 129136 7093 0 0 25 0 1 0 132460567 1336029184 319318 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12441/statm: 326179 319318 398 719 0 325458 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 1304716 [startup+1422.31 s] /proc/loadavg: 2.02 1.99 1.99 3/179 12645 /proc/meminfo: memFree=30092304/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1308624 CPUtime=1422.3 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 324590 0 0 0 135077 7153 0 0 25 0 1 0 132460567 1340030976 320303 4089446400 4194304 7136930 140733369920384 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12441/statm: 327156 320303 398 719 0 326435 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 1308624 [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12647 /proc/meminfo: memFree=30058408/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1314452 CPUtime=1482.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 326056 0 0 0 141031 7198 0 0 25 0 1 0 132460567 1345998848 321769 4089446400 4194304 7136930 140733369920384 18446744073709551615 4678839 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12441/statm: 328613 321769 398 719 0 327892 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 1314452 [startup+1542.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12649 /proc/meminfo: memFree=30032820/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1317752 CPUtime=1542.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 326884 0 0 0 146985 7244 0 0 25 0 1 0 132460567 1349378048 322597 4089446400 4194304 7136930 140733369920384 18446744073709551615 4221590 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12441/statm: 329438 322597 398 719 0 328717 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 1317752 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12649 /proc/meminfo: memFree=30007488/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1317752 CPUtime=1602.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 326886 0 0 0 152937 7292 0 0 25 0 1 0 132460567 1349378048 322599 4089446400 4194304 7136930 140733369920384 18446744073709551615 4948417 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12441/statm: 329438 322599 398 719 0 328717 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 1317752 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12651 /proc/meminfo: memFree=29969636/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1336336 CPUtime=1662.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 331325 0 0 0 158835 7394 0 0 25 0 1 0 132460567 1368408064 327038 4089446400 4194304 7136930 140733369920384 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12441/statm: 334084 327038 398 719 0 333363 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 1336336 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12653 /proc/meminfo: memFree=29893548/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1388824 CPUtime=1722.3 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 344697 0 0 0 164694 7536 0 0 25 0 1 0 132460567 1422155776 340410 4089446400 4194304 7136930 140733369920384 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12441/statm: 347206 340410 398 719 0 346485 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 1388824 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12655 /proc/meminfo: memFree=29821800/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1438368 CPUtime=1782.29 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 357240 0 0 0 170575 7654 0 0 25 0 1 0 132460567 1472888832 352953 4089446400 4194304 7136930 140733369920384 18446744073709551615 4221700 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12441/statm: 359592 352953 398 719 0 358871 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 1438368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12655 /proc/meminfo: memFree=29806412/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1446564 CPUtime=1800 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 359308 0 0 0 172315 7685 0 0 25 0 1 0 132460567 1481281536 355021 4089446400 4194304 7136930 140733369920384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12441/statm: 361641 355021 398 719 0 360920 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1446564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12441 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 1.99 1.99 3/180 12656 /proc/meminfo: memFree=29806404/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1446564 CPUtime=1801.4 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 359313 0 0 0 172455 7685 0 0 25 0 1 0 132460567 1481281536 355026 4089446400 4194304 7136930 140733369920384 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12441/statm: 361641 355026 403 719 0 360920 0 Current children cumulated CPU time (s) 1801.4 Current children cumulated vsize (KiB) 1446564 [startup+1801.81 s] /proc/loadavg: 2.00 1.99 1.99 3/180 12656 /proc/meminfo: memFree=29806280/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1444500 CPUtime=1801.8 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 359313 0 0 0 172495 7685 0 0 25 0 1 0 132460567 1479168000 354510 4089446400 4194304 7136930 140733369920384 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12441/statm: 361125 354510 403 719 0 360404 0 Current children cumulated CPU time (s) 1801.8 Current children cumulated vsize (KiB) 1444500 [startup+1802 s] /proc/loadavg: 2.00 1.99 1.99 3/180 12656 /proc/meminfo: memFree=29806280/32950928 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=1441668 CPUtime=1802 /proc/12441/stat : 12441 (pbscip.linux.x8) R 12439 12441 11517 0 -1 4202496 359313 0 0 0 172515 7685 0 0 25 0 1 0 132460567 1476268032 353802 4089446400 4194304 7136930 140733369920384 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12441/statm: 360417 353802 403 719 0 359696 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 1441668 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.07 CPU user time (s): 1725.16 CPU system time (s): 76.9073 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 1446564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1725.16 system time used= 76.9073 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 359313 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= 2812 runsolver used 2.6216 second user time and 5.82611 second system time The end
Begin job on node126 at 2010-06-30 17:27:22 IDJOB=2693578 IDBENCH=78989 IDSOLVER=1206 FILE ID=node126/2693578-1277911642 PBS_JOBID= 11197245 Free space on /tmp= 74184 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.1900550720--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693578-1277911642/watcher-2693578-1277911642 -o /tmp/evaluation-result-2693578-1277911642/solver-2693578-1277911642 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693578-1277911642.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ae69d101397f3698be33e129d2355418 RANDOM SEED=451846000 node126.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.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 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.83 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.835 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.835 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.835 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.72 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.835 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.835 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.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31418880 kB Buffers: 194012 kB Cached: 927044 kB SwapCached: 0 kB Active: 734940 kB Inactive: 654712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31418880 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3160 kB Writeback: 0 kB AnonPages: 268860 kB Mapped: 17476 kB Slab: 77812 kB PageTables: 5624 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 420912 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= 74184 MiB End job on node126 at 2010-06-30 17:57:24