Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.15 | 1802.27 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo |
| MD5SUM | c3adda683c0d048bf44386b3ccfc9e41 |
| 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 | 7 |
| Best CPU time to get the best result obtained on this benchmark | 47.4258 |
| 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 | 1816 |
| 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 | 92461 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 92460 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 779 |
| 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-2694069-1277903729.wbo>
0.00/0.03 c original problem has 3863 variables (2047 bin, 0 int, 0 impl, 1816 cont) and 4524 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.06/0.09 c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.10/0.10 c (round 3) 53 del vars, 157 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.10/0.10 c (round 4) 125 del vars, 177 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.10/0.12 c (round 5) 145 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.10/0.12 c (round 6) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.10/0.17 c (0.1s) probing: 101/1974 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.17 c presolving (7 rounds):
0.10/0.17 c 146 deleted vars, 178 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.10/0.17 c 1958 implications, 6 cliques
0.10/0.17 c presolved problem has 3717 variables (1974 bin, 0 int, 0 impl, 1743 cont) and 4346 constraints
0.10/0.17 c 1743 constraints of type <indicator>
0.10/0.17 c 6 constraints of type <setppc>
0.10/0.17 c 1743 constraints of type <linear>
0.10/0.17 c 854 constraints of type <logicor>
0.10/0.17 c transformed objective value is always integral (scale: 1)
0.10/0.17 c Presolving Time: 0.12
0.10/0.17 c - non default parameters ----------------------------------------------------------------------
0.10/0.17 c # SCIP version 1.2.1.2
0.10/0.17 c
0.10/0.17 c # frequency for displaying node information lines
0.10/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.17 c display/freq = 10000
0.10/0.17 c
0.10/0.17 c # maximal time in seconds to run
0.10/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17 c limits/time = 1799.98
0.10/0.17 c
0.10/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17 c limits/memory = 3420
0.10/0.17 c
0.10/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.17 c lp/solvefreq = -1
0.10/0.17 c
0.10/0.17 c # should presolving try to simplify inequalities
0.10/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17 c constraints/linear/simplifyinequalities = TRUE
0.10/0.17 c
0.10/0.17 c # should presolving try to simplify knapsacks
0.10/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.17 c
0.10/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.17 c separating/rapidlearning/freq = 0
0.10/0.17 c
0.10/0.17 c -----------------------------------------------------------------------------------------------
0.10/0.17 c start solving
0.10/0.17 c
0.10/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3717 |4346 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.29/2.38 o 519
2.29/2.38 c * 2.3s| 8753 | 8332 | 0 | 0.0 | 17M|1884 | - |3717 |4948 | 0 | 0 | 0 | 716 | 0 | 0.000000e+00 | 5.190000e+02 | Inf
2.49/2.59 o 488
2.49/2.59 c * 2.5s| 9465 | 8999 | 0 | 0.0 | 18M|1884 | - |3717 |4988 | 0 | 0 | 0 | 793 | 0 | 0.000000e+00 | 4.880000e+02 | Inf
2.49/2.59 o 394
2.49/2.59 c * 2.5s| 9466 | 8558 | 0 | 0.0 | 17M|1884 | - |3717 |4988 | 0 | 0 | 0 | 793 | 0 | 0.000000e+00 | 3.940000e+02 | Inf
2.69/2.72 c 2.6s| 10000 | 9049 | 0 | 0.0 | 18M|1884 | - |3717 |5035 | 0 | 0 | 0 | 945 | 0 | 0.000000e+00 | 3.940000e+02 | Inf
6.09/6.12 c 5.9s| 20000 | 16631 | 0 | 0.0 | 28M|1884 | - |3717 |6276 | 0 | 0 | 0 |6748 | 0 | 0.000000e+00 | 3.940000e+02 | Inf
10.59/10.67 c 10.4s| 30000 | 23081 | 0 | 0.0 | 36M|1884 | - |3717 |7408 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.940000e+02 | Inf
11.99/12.02 o 319
11.99/12.02 c *11.7s| 34268 | 24470 | 0 | 0.0 | 37M|1884 | - |3717 |6499 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.190000e+02 | Inf
12.59/12.63 o 260
12.59/12.63 c *12.3s| 35999 | 23813 | 0 | 0.0 | 37M|1884 | - |3717 |6276 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
12.79/12.89 o 253
12.79/12.89 c *12.6s| 36651 | 24253 | 0 | 0.0 | 37M|1884 | - |3717 |6265 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
12.89/12.98 o 235
12.89/12.98 c *12.7s| 36921 | 23922 | 0 | 0.0 | 37M|1884 | - |3717 |6250 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.350000e+02 | Inf
13.09/13.11 o 227
13.09/13.11 c *12.8s| 37216 | 23920 | 0 | 0.0 | 38M|1884 | - |3717 |6228 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
13.09/13.19 o 218
13.09/13.19 c *12.9s| 37412 | 23908 | 0 | 0.0 | 37M|1884 | - |3717 |6220 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
13.19/13.22 o 213
13.19/13.22 c *12.9s| 37490 | 23893 | 0 | 0.0 | 37M|1884 | - |3717 |6207 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
13.19/13.26 o 211
13.19/13.26 c *12.9s| 37575 | 23932 | 0 | 0.0 | 38M|1884 | - |3717 |6184 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
13.19/13.26 o 193
13.19/13.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.19/13.26 c *12.9s| 37576 | 23534 | 0 | 0.0 | 37M|1884 | - |3717 |6184 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
13.30/13.39 o 190
13.30/13.39 c *13.1s| 37891 | 23765 | 0 | 0.0 | 38M|1884 | - |3717 |6179 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
13.30/13.39 o 182
13.30/13.39 c *13.1s| 37892 | 23547 | 0 | 0.0 | 38M|1884 | - |3717 |6179 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.820000e+02 | Inf
13.59/13.65 o 167
13.59/13.65 c *13.3s| 38441 | 23534 | 0 | 0.0 | 38M|1884 | - |3717 |6206 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
13.79/13.89 o 164
13.79/13.89 c *13.5s| 38931 | 23872 | 0 | 0.0 | 39M|1884 | - |3717 |6281 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
13.79/13.89 o 131
13.79/13.89 c *13.6s| 38932 | 23069 | 0 | 0.0 | 38M|1884 | - |3717 |6281 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
13.89/13.93 o 129
13.89/13.93 c *13.6s| 39009 | 23103 | 0 | 0.0 | 38M|1884 | - |3717 |6274 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
13.89/13.93 o 115
13.89/13.93 c *13.6s| 39010 | 22825 | 0 | 0.0 | 38M|1884 | - |3717 |6274 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
13.89/13.96 o 72
13.89/13.96 c *13.6s| 39047 | 21206 | 0 | 0.0 | 37M|1884 | - |3717 |6257 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
14.39/14.44 c 14.1s| 40000 | 21990 | 0 | 0.0 | 38M|1884 | - |3717 |5651 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
19.19/19.21 c 18.7s| 50000 | 30522 | 0 | 0.0 | 51M|1884 | - |3717 |5703 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
23.00/23.02 c 22.4s| 60000 | 38746 | 0 | 0.0 | 61M|1884 | - |3717 |6569 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
26.69/26.76 c 26.0s| 70000 | 46615 | 0 | 0.0 | 69M|1884 | - |3717 |6575 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
30.99/31.00 c 29.9s| 80000 | 53572 | 0 | 0.0 | 78M|1884 | - |3717 |7439 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
36.29/36.36 c 34.9s| 90000 | 59227 | 0 | 0.0 | 88M|1884 | - |3717 |8171 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
41.79/41.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.79/41.84 c 40.0s|100000 | 64767 | 0 | 0.0 | 97M|1884 | - |3717 |8484 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
48.08/48.10 c 45.9s|110000 | 69292 | 0 | 0.0 | 108M|1884 | - |3717 |9389 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
54.99/55.09 c 52.5s|120000 | 73091 | 0 | 0.0 | 118M|1884 | - |3717 |9702 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
62.78/62.86 c 59.8s|130000 | 75971 | 0 | 0.0 | 127M|1884 | - |3717 | 11k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
70.68/70.71 c 67.3s|140000 | 80381 | 0 | 0.0 | 134M|1884 | - |3717 |5446 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
75.38/75.42 c 71.6s|150000 | 89390 | 0 | 0.0 | 147M|1884 | - |3717 |5307 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
80.18/80.27 c 76.2s|160000 | 98155 | 0 | 0.0 | 161M|1884 | - |3717 |5837 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
85.39/85.40 c 80.9s|170000 |106757 | 0 | 0.0 | 178M|1884 | - |3717 |6102 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
90.89/90.97 c 86.2s|180000 |115023 | 0 | 0.0 | 197M|1884 | - |3717 |6633 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
96.98/97.09 c 91.9s|190000 |122972 | 0 | 0.0 | 217M|1884 | - |3717 |7454 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
104.38/104.49 c 98.8s|200000 |130365 | 0 | 0.0 | 242M|1884 | - |3717 |6766 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
112.87/112.91 c 107s|210000 |137119 | 0 | 0.0 | 269M|1884 | - |3717 |6696 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
122.67/122.72 c 116s|220000 |142410 | 0 | 0.0 | 295M|1884 | - |3717 |6532 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
126.39/126.45 o 64
126.39/126.45 c * 119s|227743 |147292 | 0 | 0.0 | 289M|1884 | - |3717 |6837 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
127.58/127.67 c 121s|230000 |149246 | 0 | 0.0 | 292M|1884 | - |3717 |6648 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
132.99/133.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.99/133.09 c 126s|240000 |157651 | 0 | 0.0 | 309M|1884 | - |3717 |6573 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
138.18/138.29 c 130s|250000 |165895 | 0 | 0.0 | 325M|1884 | - |3717 |7050 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
143.77/143.83 c 136s|260000 |173978 | 0 | 0.0 | 341M|1884 | - |3717 |6934 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
149.17/149.23 c 141s|270000 |182082 | 0 | 0.0 | 359M|1884 | - |3717 |7529 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
155.17/155.29 c 146s|280000 |189554 | 0 | 0.0 | 377M|1884 | - |3717 |7324 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
159.77/159.89 c 150s|290000 |198351 | 0 | 0.0 | 389M|1884 | - |3717 |7434 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
165.17/165.25 c 155s|300000 |206335 | 0 | 0.0 | 406M|1884 | - |3717 |8388 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
170.17/170.27 c 160s|310000 |214392 | 0 | 0.0 | 420M|1884 | - |3717 |7643 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
174.78/174.80 c 164s|320000 |222921 | 0 | 0.0 | 435M|1884 | - |3717 |8213 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
178.08/178.11 o 55
178.08/178.11 c * 167s|326343 |224250 | 0 | 0.0 | 405M|1884 | - |3717 |8992 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
178.08/178.14 o 48
178.08/178.14 c * 167s|326344 |212195 | 0 | 0.0 | 354M|1884 | - |3717 |8992 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
180.47/180.56 c 170s|330000 |214444 | 0 | 0.0 | 359M|1884 | - |3717 |8265 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
184.57/184.63 o 45
184.57/184.63 c * 173s|339768 |221648 | 0 | 0.0 | 357M|1884 | - |3717 |8069 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
184.78/184.81 c 174s|340000 |221842 | 0 | 0.0 | 357M|1884 | - |3717 |7777 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
189.87/189.92 c 178s|350000 |229339 | 0 | 0.0 | 368M|1884 | - |3717 |7760 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
194.18/194.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.18/194.25 c 182s|360000 |237470 | 0 | 0.0 | 379M|1884 | - |3717 |7715 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
195.18/195.22 o 39
195.18/195.22 c * 183s|362124 |236986 | 0 | 0.0 | 362M|1884 | - |3717 |8086 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
197.88/197.91 o 38
197.88/197.91 c * 186s|366615 |239431 | 0 | 0.0 | 365M|1884 | - |3717 |9504 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
199.17/199.28 c 187s|370000 |242272 | 0 | 0.0 | 367M|1884 | - |3717 |7596 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
202.87/202.95 c 190s|380000 |250834 | 0 | 0.0 | 376M|1884 | - |3717 |7929 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
206.87/206.96 c 194s|390000 |259062 | 0 | 0.0 | 385M|1884 | - |3717 |8512 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
211.87/211.90 c 198s|400000 |266312 | 0 | 0.0 | 395M|1884 | - |3717 |9951 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
217.47/217.53 c 204s|410000 |272965 | 0 | 0.0 | 403M|1884 | - |3717 |8666 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
223.06/223.18 c 209s|420000 |279292 | 0 | 0.0 | 413M|1884 | - |3717 | 11k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
227.26/227.33 c 213s|430000 |287325 | 0 | 0.0 | 420M|1884 | - |3717 |9251 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
233.18/233.26 c 218s|440000 |293246 | 0 | 0.0 | 428M|1884 | - |3717 | 11k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
238.16/238.25 c 223s|450000 |300224 | 0 | 0.0 | 436M|1884 | - |3717 |9643 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
243.17/243.27 c 228s|460000 |306992 | 0 | 0.0 | 444M|1884 | - |3717 |9234 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
248.06/248.10 c 232s|470000 |314278 | 0 | 0.0 | 451M|1884 | - |3717 |5532 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
251.67/251.79 c 235s|480000 |322664 | 0 | 0.0 | 460M|1884 | - |3717 |5576 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
255.66/255.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.66/255.74 c 239s|490000 |330363 | 0 | 0.0 | 468M|1884 | - |3717 |6598 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
260.96/261.00 c 244s|500000 |336440 | 0 | 0.0 | 477M|1884 | - |3717 |8260 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
266.97/267.09 c 250s|510000 |341897 | 0 | 0.0 | 485M|1884 | - |3717 |9349 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
273.17/273.23 c 255s|520000 |347322 | 0 | 0.0 | 494M|1884 | - |3717 | 11k| 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
280.26/280.31 c 262s|530000 |352081 | 0 | 0.0 | 502M|1884 | - |3717 | 11k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
287.17/287.20 c 269s|540000 |357099 | 0 | 0.0 | 511M|1884 | - |3717 | 12k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
294.77/294.85 c 276s|550000 |361631 | 0 | 0.0 | 518M|1884 | - |3717 | 12k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
302.76/302.82 c 283s|560000 |365710 | 0 | 0.0 | 527M|1884 | - |3717 | 14k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
312.27/312.37 c 293s|570000 |368931 | 0 | 0.0 | 534M|1884 | - |3717 | 15k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
322.17/322.29 c 302s|580000 |372047 | 0 | 0.0 | 541M|1884 | - |3717 | 15k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
332.57/332.63 c 312s|590000 |374962 | 0 | 0.0 | 549M|1884 | - |3717 | 16k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
344.16/344.23 c 323s|600000 |376948 | 0 | 0.0 | 556M|1884 | - |3717 | 17k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
357.76/357.86 c 336s|610000 |377623 | 0 | 0.0 | 561M|1884 | - |3717 | 17k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
373.26/373.37 c 351s|620000 |374980 | 0 | 0.0 | 563M|1884 | - |3717 | 17k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
385.16/385.27 c 363s|630000 |372659 | 0 | 0.0 | 553M|1884 | - |3717 |6409 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
389.56/389.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.56/389.69 c 367s|640000 |381105 | 0 | 0.0 | 564M|1884 | - |3717 |5212 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
390.97/391.08 o 25
390.97/391.08 c * 368s|643058 |372318 | 0 | 0.0 | 504M|1884 | - |3717 |5146 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
394.26/394.34 c 371s|650000 |377932 | 0 | 0.0 | 512M|1884 | - |3717 |5202 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
398.76/398.82 c 375s|660000 |385951 | 0 | 0.0 | 522M|1884 | - |3717 |5573 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
403.36/403.40 c 380s|670000 |393832 | 0 | 0.0 | 532M|1884 | - |3717 |5770 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
408.07/408.16 c 384s|680000 |401558 | 0 | 0.0 | 542M|1884 | - |3717 |6006 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
413.36/413.44 c 389s|690000 |408872 | 0 | 0.0 | 553M|1884 | - |3717 |6493 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
414.06/414.16 o 23
414.06/414.16 c * 390s|691252 |408853 | 0 | 0.0 | 550M|1884 | - |3717 |6478 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
414.06/414.18 o 20
414.06/414.18 c * 390s|691253 |402899 | 0 | 0.0 | 527M|1884 | - |3717 |6478 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
419.36/419.49 c 395s|700000 |409085 | 0 | 0.0 | 539M|1884 | - |3717 |6610 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
422.36/422.44 o 18
422.36/422.44 c * 397s|705243 |411578 | 0 | 0.0 | 538M|1884 | - |3717 |6870 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
425.45/425.50 c 400s|710000 |414804 | 0 | 0.0 | 544M|1884 | - |3717 |7180 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
431.86/431.94 c 406s|720000 |421404 | 0 | 0.0 | 555M|1884 | - |3717 |7585 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
438.46/438.54 c 412s|730000 |427714 | 0 | 0.0 | 566M|1884 | - |3717 |7932 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
446.65/446.74 c 420s|740000 |432885 | 0 | 0.0 | 578M|1884 | - |3717 |8801 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
455.46/455.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.46/455.58 c 428s|750000 |437707 | 0 | 0.0 | 590M|1884 | - |3717 |9850 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
464.86/464.91 c 437s|760000 |442143 | 0 | 0.0 | 603M|1884 | - |3717 | 10k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
475.36/475.40 c 447s|770000 |445821 | 0 | 0.0 | 615M|1884 | - |3717 | 11k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
486.96/487.02 c 458s|780000 |448783 | 0 | 0.0 | 628M|1884 | - |3717 | 12k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
499.55/499.66 c 470s|790000 |451058 | 0 | 0.0 | 641M|1884 | - |3717 | 14k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
514.56/514.64 c 485s|800000 |451914 | 0 | 0.0 | 654M|1884 | - |3717 | 15k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
531.95/532.08 c 502s|810000 |451217 | 0 | 0.0 | 666M|1884 | - |3717 | 17k| 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
552.56/552.63 c 522s|820000 |447263 | 0 | 0.0 | 679M|1884 | - |3717 | 20k| 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
566.46/566.56 c 535s|830000 |447809 | 0 | 0.0 | 685M|1884 | - |3717 | 11k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
571.35/571.49 c 540s|840000 |455615 | 0 | 0.0 | 694M|1884 | - |3717 | 11k| 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
576.85/576.91 c 545s|850000 |462979 | 0 | 0.0 | 704M|1884 | - |3717 | 12k| 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
582.76/582.83 c 550s|860000 |469954 | 0 | 0.0 | 714M|1884 | - |3717 | 13k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
590.15/590.23 c 557s|870000 |475880 | 0 | 0.0 | 726M|1884 | - |3717 | 15k| 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
598.76/598.82 c 565s|880000 |481171 | 0 | 0.0 | 738M|1884 | - |3717 | 16k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
607.56/607.66 c 574s|890000 |486431 | 0 | 0.0 | 750M|1884 | - |3717 | 15k| 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
616.86/616.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.86/616.94 c 583s|900000 |491211 | 0 | 0.0 | 762M|1884 | - |3717 | 15k| 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
625.26/625.34 c 590s|910000 |495592 | 0 | 0.0 | 771M|1884 | - |3717 | 10k| 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
632.46/632.59 c 597s|920000 |500289 | 0 | 0.0 | 781M|1884 | - |3717 | 10k| 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
639.65/639.77 c 604s|930000 |504891 | 0 | 0.0 | 791M|1884 | - |3717 | 11k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
644.85/644.99 o 13
644.85/644.99 c * 609s|936743 |496510 | 0 | 0.0 | 748M|1884 | - |3717 | 11k| 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
644.95/645.04 o 10
644.95/645.04 c * 609s|936744 |476980 | 0 | 0.0 | 687M|1884 | - |3717 | 11k| 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
648.05/648.12 c 612s|940000 |478129 | 0 | 0.0 | 694M|1884 | - |3717 | 11k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
657.15/657.21 c 620s|950000 |481389 | 0 | 0.0 | 705M|1884 | - |3717 | 13k| 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
669.95/670.07 c 633s|960000 |481436 | 0 | 0.0 | 714M|1884 | - |3717 | 14k| 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
681.86/681.97 c 644s|970000 |479452 | 0 | 0.0 | 714M|1884 | - |3717 | 12k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
687.15/687.21 c 649s|980000 |486707 | 0 | 0.0 | 723M|1884 | - |3717 | 12k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
692.64/692.72 c 654s|990000 |493730 | 0 | 0.0 | 732M|1884 | - |3717 | 13k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
698.64/698.79 c 660s| 1000k|500469 | 0 | 0.0 | 742M|1884 | - |3717 | 14k| 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
704.85/704.96 c 666s| 1010k|506918 | 0 | 0.0 | 750M|1884 | - |3717 | 15k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
714.64/714.76 c 675s| 1020k|510396 | 0 | 0.0 | 759M|1884 | - |3717 | 17k| 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
730.15/730.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.15/730.21 c 690s| 1030k|508116 | 0 | 0.0 | 766M|1884 | - |3717 | 19k| 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
736.45/736.55 c 696s| 1040k|513224 | 0 | 0.0 | 770M|1884 | - |3717 | 14k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
742.24/742.34 c 701s| 1050k|519705 | 0 | 0.0 | 778M|1884 | - |3717 | 15k| 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
748.84/748.93 c 708s| 1060k|525824 | 0 | 0.0 | 787M|1884 | - |3717 | 15k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
756.44/756.59 c 715s| 1070k|531135 | 0 | 0.0 | 796M|1884 | - |3717 | 16k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
767.84/767.99 c 726s| 1080k|533699 | 0 | 0.0 | 805M|1884 | - |3717 | 18k| 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
782.74/782.88 c 740s| 1090k|530999 | 0 | 0.0 | 807M|1884 | - |3717 | 16k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
788.34/788.40 c 745s| 1100k|538339 | 0 | 0.0 | 815M|1884 | - |3717 | 16k| 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
794.04/794.13 c 750s| 1110k|545315 | 0 | 0.0 | 824M|1884 | - |3717 | 17k| 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
801.74/801.82 c 758s| 1120k|550766 | 0 | 0.0 | 832M|1884 | - |3717 | 18k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
811.44/811.52 c 767s| 1130k|554877 | 0 | 0.0 | 842M|1884 | - |3717 | 20k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
824.14/824.27 c 779s| 1140k|556927 | 0 | 0.0 | 851M|1884 | - |3717 | 22k| 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
838.54/838.68 c 793s| 1150k|557962 | 0 | 0.0 | 856M|1884 | - |3717 | 19k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
845.74/845.89 c 800s| 1160k|563762 | 0 | 0.0 | 864M|1884 | - |3717 | 18k| 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
853.04/853.17 c 807s| 1170k|569656 | 0 | 0.0 | 872M|1884 | - |3717 | 19k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
861.14/861.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.14/861.24 c 814s| 1180k|575087 | 0 | 0.0 | 881M|1884 | - |3717 | 20k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
870.84/870.93 c 824s| 1190k|579556 | 0 | 0.0 | 891M|1884 | - |3717 | 22k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
884.13/884.29 c 837s| 1200k|581799 | 0 | 0.0 | 899M|1884 | - |3717 | 24k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
898.34/898.42 c 850s| 1210k|583137 | 0 | 0.0 | 903M|1884 | - |3717 | 19k| 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
904.73/904.88 c 856s| 1220k|590202 | 0 | 0.0 | 911M|1884 | - |3717 | 19k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
911.24/911.30 c 862s| 1230k|597199 | 0 | 0.0 | 920M|1884 | - |3717 | 20k| 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
917.83/917.98 c 869s| 1240k|603997 | 0 | 0.0 | 928M|1884 | - |3717 | 20k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
924.73/924.83 c 875s| 1250k|610674 | 0 | 0.0 | 935M|1884 | - |3717 | 21k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
931.73/931.87 c 882s| 1260k|617210 | 0 | 0.0 | 943M|1884 | - |3717 | 21k| 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
939.53/939.64 c 889s| 1270k|623317 | 0 | 0.0 | 951M|1884 | - |3717 | 21k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
947.63/947.75 c 897s| 1280k|629107 | 0 | 0.0 | 958M|1884 | - |3717 | 22k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
956.63/956.71 c 905s| 1290k|634317 | 0 | 0.0 | 966M|1884 | - |3717 | 22k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
966.53/966.65 c 915s| 1300k|638846 | 0 | 0.0 | 974M|1884 | - |3717 | 23k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
977.43/977.54 c 925s| 1310k|642978 | 0 | 0.0 | 982M|1884 | - |3717 | 25k| 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
990.33/990.48 c 938s| 1320k|646056 | 0 | 0.0 | 990M|1884 | - |3717 | 26k| 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1005.33/1005.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.33/1005.47 c 952s| 1330k|647976 | 0 | 0.0 | 997M|1884 | - |3717 | 27k| 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1025.83/1025.91 c 972s| 1340k|646778 | 0 | 0.0 |1003M|1884 | - |3717 | 31k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1040.02/1040.14 c 986s| 1350k|649192 | 0 | 0.0 |1004M|1884 | - |3717 | 22k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1047.12/1047.29 c 993s| 1360k|656259 | 0 | 0.0 |1012M|1884 | - |3717 | 23k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1054.92/1055.01 c 1000s| 1370k|662721 | 0 | 0.0 |1020M|1884 | - |3717 | 24k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1063.53/1063.64 c 1008s| 1380k|668619 | 0 | 0.0 |1029M|1884 | - |3717 | 25k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1074.62/1074.71 c 1019s| 1390k|673611 | 0 | 0.0 |1038M|1884 | - |3717 | 27k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1088.72/1088.81 c 1033s| 1400k|677074 | 0 | 0.0 |1047M|1884 | - |3717 | 29k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1107.73/1107.84 c 1052s| 1410k|678069 | 0 | 0.0 |1051M|1884 | - |3717 | 30k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1115.92/1116.02 c 1060s| 1420k|685337 | 0 | 0.0 |1058M|1884 | - |3717 | 23k| 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1123.82/1123.91 c 1068s| 1430k|692251 | 0 | 0.0 |1066M|1884 | - |3717 | 23k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1132.42/1132.52 c 1076s| 1440k|698644 | 0 | 0.0 |1074M|1884 | - |3717 | 24k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1141.92/1142.00 c 1086s| 1450k|704540 | 0 | 0.0 |1082M|1884 | - |3717 | 25k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1152.02/1152.19 c 1096s| 1460k|710005 | 0 | 0.0 |1090M|1884 | - |3717 | 26k| 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1163.32/1163.43 c 1107s| 1470k|714946 | 0 | 0.0 |1099M|1884 | - |3717 | 27k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1176.12/1176.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1176.12/1176.20 c 1119s| 1480k|719148 | 0 | 0.0 |1107M|1884 | - |3717 | 28k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1190.72/1190.85 c 1134s| 1490k|722386 | 0 | 0.0 |1114M|1884 | - |3717 | 30k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1208.52/1208.61 c 1152s| 1500k|724255 | 0 | 0.0 |1121M|1884 | - |3717 | 33k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1221.72/1221.88 c 1165s| 1510k|729031 | 0 | 0.0 |1125M|1884 | - |3717 | 25k| 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1229.82/1229.91 c 1173s| 1520k|735774 | 0 | 0.0 |1134M|1884 | - |3717 | 25k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1240.72/1240.87 c 1183s| 1530k|740795 | 0 | 0.0 |1143M|1884 | - |3717 | 27k| 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1255.41/1255.53 c 1198s| 1540k|743781 | 0 | 0.0 |1151M|1884 | - |3717 | 30k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1267.22/1267.36 c 1210s| 1550k|748970 | 0 | 0.0 |1156M|1884 | - |3717 | 24k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1275.11/1275.24 c 1217s| 1560k|755870 | 0 | 0.0 |1164M|1884 | - |3717 | 24k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1285.42/1285.57 c 1228s| 1570k|761159 | 0 | 0.0 |1172M|1884 | - |3717 | 27k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1299.82/1299.92 c 1242s| 1580k|764230 | 0 | 0.0 |1179M|1884 | - |3717 | 28k| 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1307.32/1307.46 c 1249s| 1590k|771363 | 0 | 0.0 |1186M|1884 | - |3717 | 24k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1316.21/1316.39 c 1258s| 1600k|777377 | 0 | 0.0 |1194M|1884 | - |3717 | 25k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1326.92/1327.05 c 1269s| 1610k|782330 | 0 | 0.0 |1203M|1884 | - |3717 | 27k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1340.51/1340.61 c 1282s| 1620k|785781 | 0 | 0.0 |1211M|1884 | - |3717 | 30k| 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1352.81/1352.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.81/1352.92 c 1294s| 1630k|790015 | 0 | 0.0 |1208M|1884 | - |3717 |6021 | 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1357.61/1357.70 c 1299s| 1640k|796960 | 0 | 0.0 |1217M|1884 | - |3717 |4997 | 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1362.81/1362.97 c 1304s| 1650k|803183 | 0 | 0.0 |1225M|1884 | - |3717 |5289 | 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1368.11/1368.22 c 1309s| 1660k|809446 | 0 | 0.0 |1234M|1884 | - |3717 |5754 | 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1373.21/1373.30 c 1314s| 1670k|815958 | 0 | 0.0 |1243M|1884 | - |3717 |6050 | 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1378.11/1378.30 c 1319s| 1680k|822538 | 0 | 0.0 |1251M|1884 | - |3717 |6802 | 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1383.01/1383.13 c 1324s| 1690k|829272 | 0 | 0.0 |1259M|1884 | - |3717 |7306 | 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1386.91/1387.10 c 1328s| 1700k|837132 | 0 | 0.0 |1267M|1884 | - |3717 |7032 | 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1393.30/1393.40 c 1334s| 1710k|842397 | 0 | 0.0 |1276M|1884 | - |3717 |8898 | 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1397.70/1397.90 c 1338s| 1720k|849687 | 0 | 0.0 |1284M|1884 | - |3717 |8027 | 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1402.41/1402.58 c 1342s| 1730k|856571 | 0 | 0.0 |1291M|1884 | - |3717 |7753 | 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1407.20/1407.30 c 1347s| 1740k|863506 | 0 | 0.0 |1299M|1884 | - |3717 |7508 | 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1411.90/1412.03 c 1351s| 1750k|870490 | 0 | 0.0 |1307M|1884 | - |3717 |8186 | 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1417.20/1417.39 c 1356s| 1760k|876822 | 0 | 0.0 |1315M|1884 | - |3717 |7576 | 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1422.11/1422.29 c 1361s| 1770k|883455 | 0 | 0.0 |1323M|1884 | - |3717 |8347 | 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1427.31/1427.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1427.31/1427.48 c 1366s| 1780k|889925 | 0 | 0.0 |1331M|1884 | - |3717 |7713 | 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1432.11/1432.28 c 1370s| 1790k|896408 | 0 | 0.0 |1337M|1884 | - |3717 |4629 | 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1436.90/1437.05 c 1375s| 1800k|902985 | 0 | 0.0 |1338M|1884 | - |3717 |5212 | 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1446.70/1446.85 c 1385s| 1810k|904905 | 0 | 0.0 |1346M|1884 | - |3717 | 10k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1459.10/1459.23 c 1397s| 1820k|906246 | 0 | 0.0 |1352M|1884 | - |3717 | 13k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1472.90/1473.09 c 1411s| 1830k|907191 | 0 | 0.0 |1359M|1884 | - |3717 | 15k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1487.70/1487.87 c 1425s| 1840k|908400 | 0 | 0.0 |1365M|1884 | - |3717 | 16k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1504.21/1504.37 c 1442s| 1850k|908866 | 0 | 0.0 |1369M|1884 | - |3717 | 19k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1522.90/1523.01 c 1460s| 1860k|908871 | 0 | 0.0 |1374M|1884 | - |3717 | 21k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1543.60/1543.77 c 1480s| 1870k|908152 | 0 | 0.0 |1379M|1884 | - |3717 | 23k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1565.90/1566.03 c 1502s| 1880k|907520 | 0 | 0.0 |1383M|1884 | - |3717 | 25k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1591.79/1591.99 c 1527s| 1890k|905493 | 0 | 0.0 |1385M|1884 | - |3717 | 27k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1619.39/1619.53 c 1554s| 1900k|903293 | 0 | 0.0 |1386M|1884 | - |3717 | 29k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1649.39/1649.57 c 1584s| 1910k|900196 | 0 | 0.0 |1383M|1884 | - |3717 | 30k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1680.49/1680.67 c 1615s| 1920k|895981 | 0 | 0.0 |1376M|1884 | - |3717 | 27k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1711.79/1711.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.79/1711.92 c 1645s| 1930k|890249 | 0 | 0.0 |1365M|1884 | - |3717 | 28k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1733.88/1734.09 c 1667s| 1940k|888929 | 0 | 0.0 |1350M|1884 | - |3717 | 10k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1740.28/1740.40 c 1673s| 1950k|895626 | 0 | 0.0 |1357M|1884 | - |3717 |7676 | 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1746.39/1746.50 c 1678s| 1960k|902131 | 0 | 0.0 |1365M|1884 | - |3717 |6946 | 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1752.48/1752.68 c 1684s| 1970k|908354 | 0 | 0.0 |1373M|1884 | - |3717 |6891 | 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1758.87/1759.02 c 1690s| 1980k|914382 | 0 | 0.0 |1381M|1884 | - |3717 |6978 | 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1765.08/1765.21 c 1696s| 1990k|920498 | 0 | 0.0 |1389M|1884 | - |3717 |6980 | 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1771.38/1771.51 c 1702s| 2000k|926458 | 0 | 0.0 |1397M|1884 | - |3717 |7035 | 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1777.77/1777.90 c 1708s| 2010k|932336 | 0 | 0.0 |1406M|1884 | - |3717 |7341 | 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1784.37/1784.56 c 1714s| 2020k|937916 | 0 | 0.0 |1414M|1884 | - |3717 |7733 | 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1791.37/1791.55 c 1721s| 2030k|943205 | 0 | 0.0 |1422M|1884 | - |3717 |7886 | 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1797.88/1798.02 c 1727s| 2040k|948891 | 0 | 0.0 |1430M|1884 | - |3717 |7873 | 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1800.07/1800.20 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.20 c
1800.07/1800.20 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.20 c Solving Time (sec) : 1728.67
1800.07/1800.20 c Solving Nodes : 2042727
1800.07/1800.20 c Primal Bound : +1.00000000000000e+01 (32 solutions)
1800.07/1800.20 c Dual Bound : +0.00000000000000e+00
1800.07/1800.20 c Gap : infinite
1800.07/1800.23 s SATISFIABLE
1800.07/1800.23 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.07/1800.23 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 x190 -x189
1800.07/1800.23 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 x169 -x168
1800.07/1800.23 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1800.07/1800.23 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126
1800.07/1800.23 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105
1800.07/1800.23 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.07/1800.23 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.07/1800.23 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.07/1800.23 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
1800.07/1800.23 v -x2 x1
1800.07/1800.23 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.23 c Solving Time : 1728.67
1800.07/1800.23 c Original Problem :
1800.07/1800.23 c Problem name : HOME/instance-2694069-1277903729.wbo
1800.07/1800.23 c Variables : 3863 (2047 binary, 0 integer, 0 implicit integer, 1816 continuous)
1800.07/1800.23 c Constraints : 4524 initial, 4524 maximal
1800.07/1800.23 c Presolved Problem :
1800.07/1800.23 c Problem name : t_HOME/instance-2694069-1277903729.wbo
1800.07/1800.23 c Variables : 3717 (1974 binary, 0 integer, 0 implicit integer, 1743 continuous)
1800.07/1800.23 c Constraints : 4346 initial, 35290 maximal
1800.07/1800.23 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.23 c trivial : 0.00 73 0 0 0 0 0 0 0
1800.07/1800.23 c dualfix : 0.00 73 0 0 0 0 0 0 0
1800.07/1800.23 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.23 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.23 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.23 c probing : 0.04 0 0 0 0 0 0 0 0
1800.07/1800.23 c indicator : 0.00 0 0 0 0 0 73 0 0
1800.07/1800.23 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.23 c linear : 0.04 0 0 0 1836 0 105 87 0
1800.07/1800.23 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.07/1800.23 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.23 c root node : - 1479 - - 2958 - - - -
1800.07/1800.23 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.23 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.23 c indicator : 1743 0 5053061 0 1409833 915 6950248 0 0 0
1800.07/1800.23 c setppc : 6 0 6706491 0 1690558 18293 2750464 0 0 0
1800.07/1800.23 c linear : 1743 0 6718277 0 1697904 279509 32292380 0 0 0
1800.07/1800.23 c logicor : 854+ 0 4170827 0 1697922 233349 6549978 0 0 0
1800.07/1800.23 c bounddisjunction : 0+ 0 627012 0 0 3 590 0 0 0
1800.07/1800.23 c countsols : 0 0 0 0 1697922 0 0 0 0 0
1800.07/1800.23 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.23 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.23 c indicator : 37.15 0.00 16.62 0.00 20.53
1800.07/1800.23 c setppc : 13.84 0.00 12.48 0.00 1.36
1800.07/1800.23 c linear : 278.84 0.00 277.86 0.00 0.98
1800.07/1800.23 c logicor : 453.38 0.00 400.10 0.00 53.28
1800.07/1800.23 c bounddisjunction : 4.49 0.00 4.49 0.00 0.00
1800.07/1800.23 c countsols : 0.05 0.00 0.00 0.00 0.05
1800.07/1800.23 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.23 c vbounds : 0.25 2 0 0
1800.07/1800.23 c rootredcost : 0.28 0 0 0
1800.07/1800.23 c pseudoobj : 252.88 6755076 17688 6808254
1800.07/1800.23 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.23 c propagation : 36.33 548842 548842 2510406 21.6 210574 9.9 -
1800.07/1800.23 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.23 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.23 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.23 c pseudo solution : 0.19 556 556 2070 16.2 686 9.1 -
1800.07/1800.23 c applied globally : - - - 1731580 18.5 - - -
1800.07/1800.23 c applied locally : - - - 5 227.8 - - -
1800.07/1800.23 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.23 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.23 c redcost : 0.00 0 0 0 0 0
1800.07/1800.23 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.23 c intobj : 0.00 0 0 0 0 0
1800.07/1800.23 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.23 c gomory : 0.00 0 0 0 0 0
1800.07/1800.23 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.23 c cmir : 0.00 0 0 0 0 0
1800.07/1800.23 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.23 c clique : 0.00 0 0 0 0 0
1800.07/1800.23 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.23 c mcf : 0.00 0 0 0 0 0
1800.07/1800.23 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.23 c Pricers : Time Calls Vars
1800.07/1800.23 c problem variables: 0.00 0 0
1800.07/1800.23 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.23 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.23 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.23 c inference : 51.21 1697890 0 0 0 0 3395780
1800.07/1800.23 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.23 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.23 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.23 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.23 c random : 0.00 0 0 0 0 0 0
1800.07/1800.23 c Primal Heuristics : Time Calls Found
1800.07/1800.23 c LP solutions : 0.00 - 0
1800.07/1800.23 c pseudo solutions : 0.27 - 32
1800.07/1800.23 c oneopt : 0.20 0 0
1800.07/1800.23 c trivial : 0.00 2 0
1800.07/1800.23 c simplerounding : 0.00 0 0
1800.07/1800.23 c zirounding : 0.00 0 0
1800.07/1800.23 c rounding : 0.00 0 0
1800.07/1800.23 c shifting : 0.00 0 0
1800.07/1800.23 c intshifting : 0.00 0 0
1800.07/1800.23 c twoopt : 0.00 0 0
1800.07/1800.23 c fixandinfer : 0.00 0 0
1800.07/1800.23 c feaspump : 0.00 0 0
1800.07/1800.23 c coefdiving : 0.00 0 0
1800.07/1800.23 c pscostdiving : 0.00 0 0
1800.07/1800.23 c fracdiving : 0.00 0 0
1800.07/1800.23 c veclendiving : 0.00 0 0
1800.07/1800.23 c intdiving : 0.00 0 0
1800.07/1800.23 c actconsdiving : 0.00 0 0
1800.07/1800.23 c objpscostdiving : 0.00 0 0
1800.07/1800.23 c rootsoldiving : 0.00 0 0
1800.07/1800.23 c linesearchdiving : 0.00 0 0
1800.07/1800.23 c guideddiving : 0.00 0 0
1800.07/1800.23 c octane : 0.00 0 0
1800.07/1800.23 c rens : 0.00 0 0
1800.07/1800.23 c rins : 0.00 0 0
1800.07/1800.23 c localbranching : 0.00 0 0
1800.07/1800.23 c mutation : 0.00 0 0
1800.07/1800.23 c crossover : 0.00 0 0
1800.07/1800.23 c dins : 0.00 0 0
1800.07/1800.23 c undercover : 0.00 0 0
1800.07/1800.23 c nlp : 0.10 0 0
1800.07/1800.23 c trysol : 0.21 1 0
1800.07/1800.23 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.23 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.23 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.23 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.23 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.23 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.23 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.23 c (at root node) : - 0 0 0.00 -
1800.07/1800.23 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.23 c B&B Tree :
1800.07/1800.23 c number of runs : 1
1800.07/1800.23 c nodes : 2042727
1800.07/1800.23 c nodes (total) : 2042727
1800.07/1800.23 c nodes left : 950129
1800.07/1800.23 c max depth : 1884
1800.07/1800.23 c max depth (total): 1884
1800.07/1800.23 c backtracks : 348229 (17.0%)
1800.07/1800.23 c delayed cutoffs : 319055
1800.07/1800.23 c repropagations : 1542940 (16498730 domain reductions, 205508 cutoffs)
1800.07/1800.23 c avg switch length: 28.18
1800.07/1800.23 c switching time : 516.32
1800.07/1800.23 c Solution :
1800.07/1800.23 c Solutions found : 32 (32 improvements)
1800.07/1800.23 c First Solution : +5.19000000000000e+02 (in run 1, after 8753 nodes, 2.29 seconds, depth 1351, found by <relaxation>)
1800.07/1800.23 c Primal Bound : +1.00000000000000e+01 (in run 1, after 936744 nodes, 608.85 seconds, depth 466, found by <relaxation>)
1800.07/1800.23 c Dual Bound : +0.00000000000000e+00
1800.07/1800.23 c Gap : infinite
1800.07/1800.23 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.23 c Root Iterations : 0
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694069-1277903729/watcher-2694069-1277903729 -o /tmp/evaluation-result-2694069-1277903729/solver-2694069-1277903729 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694069-1277903729.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.98 2.08 2.08 4/176 12946 /proc/meminfo: memFree=31376688/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=8412 CPUtime=0 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 1588 0 0 0 0 0 0 0 25 0 1 0 131669414 8613888 1510 4089446400 4194304 7136930 140734276542896 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12946/statm: 2103 1510 275 719 0 1382 0 [startup+0.077212 s] /proc/loadavg: 1.98 2.08 2.08 4/176 12946 /proc/meminfo: memFree=31376688/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=27844 CPUtime=0.06 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 7083 0 0 0 6 0 0 0 25 0 1 0 131669414 28512256 6137 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 6961 6137 348 719 0 6240 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 27844 [startup+0.101208 s] /proc/loadavg: 1.98 2.08 2.08 4/176 12946 /proc/meminfo: memFree=31376688/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=28872 CPUtime=0.1 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 7613 0 0 0 9 1 0 0 25 0 1 0 131669414 29564928 6410 4089446400 4194304 7136930 140734276542896 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 7218 6410 354 719 0 6497 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 28872 [startup+0.300174 s] /proc/loadavg: 1.98 2.08 2.08 4/176 12946 /proc/meminfo: memFree=31376688/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=29860 CPUtime=0.29 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 10750 0 0 0 27 2 0 0 25 0 1 0 131669414 30576640 6720 4089446400 4194304 7136930 140734276542896 18446744073709551615 4697021 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 7465 6720 391 719 0 6744 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29860 [startup+0.701108 s] /proc/loadavg: 1.98 2.08 2.08 4/176 12946 /proc/meminfo: memFree=31376688/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=31748 CPUtime=0.69 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 11219 0 0 0 66 3 0 0 25 0 1 0 131669414 32509952 7189 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 7937 7189 395 719 0 7216 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31748 [startup+1.50097 s] /proc/loadavg: 1.98 2.08 2.08 3/177 12947 /proc/meminfo: memFree=31348516/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=34008 CPUtime=1.49 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 11814 0 0 0 144 5 0 0 25 0 1 0 131669414 34824192 7784 4089446400 4194304 7136930 140734276542896 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 8502 7784 395 719 0 7781 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34008 [startup+3.1007 s] /proc/loadavg: 1.98 2.08 2.08 3/177 12947 /proc/meminfo: memFree=31346276/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=39048 CPUtime=3.09 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 13057 0 0 0 301 8 0 0 25 0 1 0 131669414 39985152 9027 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 9762 9027 396 719 0 9041 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39048 [startup+6.30016 s] /proc/loadavg: 2.06 2.10 2.09 3/177 12947 /proc/meminfo: memFree=31333488/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=50880 CPUtime=6.29 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 16051 0 0 0 614 15 0 0 25 0 1 0 131669414 52101120 12021 4089446400 4194304 7136930 140734276542896 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 12720 12021 396 719 0 11999 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50880 [startup+12.7011 s] /proc/loadavg: 2.06 2.10 2.09 3/177 12947 /proc/meminfo: memFree=31317568/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=64708 CPUtime=12.7 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 19511 0 0 0 1240 30 0 0 25 0 1 0 131669414 66260992 15481 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 16177 15481 396 719 0 15456 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 64708 [startup+25.5009 s] /proc/loadavg: 2.04 2.09 2.08 3/177 12947 /proc/meminfo: memFree=31278720/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=104828 CPUtime=25.49 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 29136 0 0 0 2483 66 0 0 25 0 1 0 131669414 107343872 25106 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12946/statm: 26207 25106 398 719 0 25486 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 104828 [startup+51.1006 s] /proc/loadavg: 2.03 2.08 2.08 3/177 12947 /proc/meminfo: memFree=31227600/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=158608 CPUtime=51.08 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 42044 0 0 0 4871 237 0 0 25 0 1 0 131669414 162414592 38014 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12946/statm: 39652 38014 398 719 0 38931 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 158608 [startup+102.306 s] /proc/loadavg: 2.01 2.07 2.08 3/177 12949 /proc/meminfo: memFree=31066740/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=340408 CPUtime=102.29 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 81979 0 0 0 9677 552 0 0 25 0 1 0 131669414 348577792 77949 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12946/statm: 85102 77949 398 719 0 84381 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 340408 [startup+162.301 s] /proc/loadavg: 2.08 2.07 2.08 3/177 12951 /proc/meminfo: memFree=30880068/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=563844 CPUtime=162.28 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 128875 0 0 0 15269 959 0 0 25 0 1 0 131669414 577376256 124845 4089446400 4194304 7136930 140734276542896 18446744073709551615 6166242 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 140961 124845 398 719 0 140240 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 563844 [startup+222.301 s] /proc/loadavg: 2.03 2.05 2.07 3/177 12953 /proc/meminfo: memFree=30759996/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=690524 CPUtime=222.27 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 157750 0 0 0 20813 1414 0 0 25 0 1 0 131669414 707096576 153720 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 172631 153720 398 719 0 171910 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 690524 [startup+282.301 s] /proc/loadavg: 2.01 2.04 2.06 3/177 12953 /proc/meminfo: memFree=30661740/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=785568 CPUtime=282.26 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 181737 0 0 0 26398 1828 0 0 25 0 1 0 131669414 804421632 177707 4089446400 4194304 7136930 140734276542896 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 196392 177707 398 719 0 195671 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 785568 [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.06 3/177 12955 /proc/meminfo: memFree=30599332/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=845176 CPUtime=342.26 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 196647 0 0 0 32135 2091 0 0 25 0 1 0 131669414 865460224 192617 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 211294 192617 398 719 0 210573 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 845176 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.05 3/177 12957 /proc/meminfo: memFree=30576092/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=873608 CPUtime=402.26 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 202885 0 0 0 37856 2370 0 0 25 0 1 0 131669414 894574592 198855 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 218402 198855 398 719 0 217681 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 873608 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.05 3/177 12959 /proc/meminfo: memFree=30495940/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=951580 CPUtime=462.25 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 222282 0 0 0 43479 2746 0 0 25 0 1 0 131669414 974417920 218252 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 237895 218252 398 719 0 237174 0 Current children cumulated CPU time (s) 462.25 Current children cumulated vsize (KiB) 951580 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.04 3/177 12961 /proc/meminfo: memFree=30443460/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1007696 CPUtime=522.26 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 235372 0 0 0 49226 3000 0 0 25 0 1 0 131669414 1031880704 231342 4089446400 4194304 7136930 140734276542896 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 251924 231342 398 719 0 251203 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 1007696 [startup+582.301 s] /proc/loadavg: 2.00 2.01 2.04 3/177 12961 /proc/meminfo: memFree=30380428/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1080964 CPUtime=582.25 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 251226 0 0 0 54972 3253 0 0 25 0 1 0 131669414 1106907136 247196 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 270241 247196 398 719 0 269520 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 1080964 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.03 3/177 12963 /proc/meminfo: memFree=30296932/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1166824 CPUtime=642.26 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 271582 0 0 0 60634 3592 0 0 25 0 1 0 131669414 1194827776 267552 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 291706 267552 398 719 0 290985 0 Current children cumulated CPU time (s) 642.26 Current children cumulated vsize (KiB) 1166824 [startup+702.3 s] ################ # More data... # ################ /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 335820 0 0 0 94924 5298 0 0 25 0 1 0 131669414 1456807936 331790 4089446400 4194304 7136930 140734276542896 18446744073709551615 4980077 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 355666 331790 398 719 0 354945 0 Current children cumulated CPU time (s) 1002.22 Current children cumulated vsize (KiB) 1422664 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12978 /proc/meminfo: memFree=29996932/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1458640 CPUtime=1062.22 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 344668 0 0 0 100693 5529 0 0 25 0 1 0 131669414 1493647360 340638 4089446400 4194304 7136930 140734276542896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 364660 340638 398 719 0 363939 0 Current children cumulated CPU time (s) 1062.22 Current children cumulated vsize (KiB) 1458640 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12980 /proc/meminfo: memFree=29959376/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1495948 CPUtime=1122.23 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 353946 0 0 0 106618 5605 0 0 25 0 1 0 131669414 1531850752 349916 4089446400 4194304 7136930 140734276542896 18446744073709551615 4224180 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 373987 349916 398 719 0 373266 0 Current children cumulated CPU time (s) 1122.23 Current children cumulated vsize (KiB) 1495948 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12980 /proc/meminfo: memFree=29920528/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1535028 CPUtime=1182.22 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 363864 0 0 0 112551 5671 0 0 25 0 1 0 131669414 1571868672 359834 4089446400 4194304 7136930 140734276542896 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 383757 359834 398 719 0 383036 0 Current children cumulated CPU time (s) 1182.22 Current children cumulated vsize (KiB) 1535028 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12982 /proc/meminfo: memFree=29886888/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1567452 CPUtime=1242.21 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 372083 0 0 0 118488 5733 0 0 25 0 1 0 131669414 1605070848 368053 4089446400 4194304 7136930 140734276542896 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 391863 368053 398 719 0 391142 0 Current children cumulated CPU time (s) 1242.21 Current children cumulated vsize (KiB) 1567452 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12984 /proc/meminfo: memFree=29844196/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1609132 CPUtime=1302.22 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 382549 0 0 0 124421 5801 0 0 25 0 1 0 131669414 1647751168 378519 4089446400 4194304 7136930 140734276542896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 402283 378519 398 719 0 401562 0 Current children cumulated CPU time (s) 1302.22 Current children cumulated vsize (KiB) 1609132 [startup+1362.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 12986 /proc/meminfo: memFree=29793320/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1659028 CPUtime=1362.21 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 395023 0 0 0 130335 5886 0 0 25 0 1 0 131669414 1698844672 390993 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 414757 390993 398 719 0 414036 0 Current children cumulated CPU time (s) 1362.21 Current children cumulated vsize (KiB) 1659028 [startup+1422.31 s] /proc/loadavg: 1.96 1.99 1.99 3/177 13016 /proc/meminfo: memFree=29725568/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1749104 CPUtime=1422.21 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 417934 0 0 0 136080 6141 0 0 25 0 1 0 131669414 1791082496 413904 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12946/statm: 437276 413904 398 719 0 436555 0 Current children cumulated CPU time (s) 1422.21 Current children cumulated vsize (KiB) 1749104 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 13016 /proc/meminfo: memFree=29508484/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1794300 CPUtime=1482.2 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 429249 0 0 0 141982 6238 0 0 25 0 1 0 131669414 1837363200 425219 4089446400 4194304 7136930 140734276542896 18446744073709551615 4923860 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12946/statm: 448575 425219 398 719 0 447854 0 Current children cumulated CPU time (s) 1482.2 Current children cumulated vsize (KiB) 1794300 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 13045 /proc/meminfo: memFree=29745948/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1813028 CPUtime=1542.2 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 433878 0 0 0 147878 6342 0 0 25 0 1 0 131669414 1856540672 429848 4089446400 4194304 7136930 140734276542896 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12946/statm: 453257 429848 398 719 0 452536 0 Current children cumulated CPU time (s) 1542.2 Current children cumulated vsize (KiB) 1813028 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13047 /proc/meminfo: memFree=29735628/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1822520 CPUtime=1602.2 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 436295 0 0 0 153760 6460 0 0 25 0 1 0 131669414 1866260480 432265 4089446400 4194304 7136930 140734276542896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12946/statm: 455630 432265 398 719 0 454909 0 Current children cumulated CPU time (s) 1602.2 Current children cumulated vsize (KiB) 1822520 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13049 /proc/meminfo: memFree=29733116/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1824792 CPUtime=1662.19 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 436887 0 0 0 159653 6566 0 0 25 0 1 0 131669414 1868587008 432857 4089446400 4194304 7136930 140734276542896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12946/statm: 456198 432857 398 719 0 455477 0 Current children cumulated CPU time (s) 1662.19 Current children cumulated vsize (KiB) 1824792 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 13051 /proc/meminfo: memFree=29731960/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1825124 CPUtime=1722.18 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 436967 0 0 0 165533 6685 0 0 25 0 1 0 131669414 1868926976 432937 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 456281 432937 398 719 0 455560 0 Current children cumulated CPU time (s) 1722.18 Current children cumulated vsize (KiB) 1825124 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 13051 /proc/meminfo: memFree=29709828/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1846908 CPUtime=1782.17 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 442516 0 0 0 171190 7027 0 0 25 0 1 0 131669414 1891233792 438486 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 461727 438486 398 719 0 461006 0 Current children cumulated CPU time (s) 1782.17 Current children cumulated vsize (KiB) 1846908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.2 s] /proc/loadavg: 2.01 2.00 2.00 3/177 13053 /proc/meminfo: memFree=29693444/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1862016 CPUtime=1800.07 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 446387 0 0 0 172868 7139 0 0 25 0 1 0 131669414 1906704384 442357 4089446400 4194304 7136930 140734276542896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12946/statm: 465504 442357 398 719 0 464783 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1862016 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12946 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.00 2.00 3/178 13054 /proc/meminfo: memFree=29693436/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1862016 CPUtime=1801.27 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 446392 0 0 0 172988 7139 0 0 25 0 1 0 131669414 1906704384 442362 4089446400 4194304 7136930 140734276542896 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12946/statm: 465504 442362 403 719 0 464783 0 Current children cumulated CPU time (s) 1801.27 Current children cumulated vsize (KiB) 1862016 [startup+1801.81 s] /proc/loadavg: 2.01 2.00 2.00 3/178 13054 /proc/meminfo: memFree=29695420/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1848668 CPUtime=1801.67 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 446392 0 0 0 173028 7139 0 0 25 0 1 0 131669414 1893036032 439026 4089446400 4194304 7136930 140734276542896 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12946/statm: 462167 439026 403 719 0 461446 0 Current children cumulated CPU time (s) 1801.67 Current children cumulated vsize (KiB) 1848668 [startup+1802.2 s] /proc/loadavg: 2.01 2.00 2.00 3/178 13054 /proc/meminfo: memFree=29695420/32951132 swapFree=67111528/67111528 [pid=12946] ppid=12944 vsize=1786228 CPUtime=1802.07 /proc/12946/stat : 12946 (pbscip.linux.x8) R 12944 12946 12060 0 -1 4202496 446392 0 0 0 173067 7140 0 0 25 0 1 0 131669414 1829097472 423420 4089446400 4194304 7136930 140734276542896 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12946/statm: 446557 423420 403 719 0 445836 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 1786228 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.27 CPU time (s): 1802.15 CPU user time (s): 1730.68 CPU system time (s): 71.4641 CPU usage (%): 99.9934 Max. virtual memory (cumulated for all children) (KiB): 1862016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1730.68 system time used= 71.4641 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 446392 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= 13962 runsolver used 2.90056 second user time and 5.9261 second system time The end
Begin job on node129 at 2010-06-30 15:15:29 IDJOB=2694069 IDBENCH=78913 IDSOLVER=1206 FILE ID=node129/2694069-1277903729 PBS_JOBID= 11197190 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694069-1277903729/watcher-2694069-1277903729 -o /tmp/evaluation-result-2694069-1277903729/solver-2694069-1277903729 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694069-1277903729.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c3adda683c0d048bf44386b3ccfc9e41 RANDOM SEED=157465351 node129.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.831 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.66 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.831 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.831 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.76 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.831 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.84 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.831 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 : 5410.05 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.831 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: 32951132 kB MemFree: 31377216 kB Buffers: 190752 kB Cached: 1076776 kB SwapCached: 0 kB Active: 737348 kB Inactive: 695536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31377216 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3168 kB Writeback: 0 kB AnonPages: 165704 kB Mapped: 17780 kB Slab: 78144 kB PageTables: 5304 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 315572 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 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 node129 at 2010-06-30 15:45:32