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.1 | 1802.05 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo |
| MD5SUM | 099eb4454f9d71550aca948671f10d54 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 408.702 |
| 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 | 900 |
| 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 | 45741 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45740 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 649 |
| 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-2694091-1277904856.wbo>
0.00/0.02 c original problem has 2031 variables (1131 bin, 0 int, 0 impl, 900 cont) and 3608 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.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.00/0.07 c (round 2) 0 del vars, 115 del conss, 900 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.07/0.08 c (round 3) 53 del vars, 258 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.09/0.10 c (round 4) 122 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs
0.09/0.11 c (round 5) 138 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs
0.09/0.15 c (0.1s) probing: 101/1062 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 138 deleted vars, 274 deleted constraints, 916 tightened bounds, 0 added holes, 143 changed sides, 0 changed coefficients
0.09/0.15 c 1116 implications, 15 cliques
0.09/0.15 c presolved problem has 1893 variables (1062 bin, 0 int, 0 impl, 831 cont) and 3334 constraints
0.09/0.15 c 831 constraints of type <indicator>
0.09/0.15 c 15 constraints of type <setppc>
0.09/0.15 c 831 constraints of type <linear>
0.09/0.15 c 1657 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.09
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 2 | 0 | - |7445k| 0 | - |1893 |3334 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.10 o 729
1.00/1.10 c * 1.0s| 4297 | 3432 | 0 | 0.0 | 10M|1025 | - |1893 |3982 | 0 | 0 | 0 | 762 | 0 | 0.000000e+00 | 7.290000e+02 | Inf
1.10/1.13 o 653
1.10/1.13 c * 1.0s| 4413 | 3534 | 0 | 0.0 | 10M|1025 | - |1893 |3988 | 0 | 0 | 0 | 772 | 0 | 0.000000e+00 | 6.530000e+02 | Inf
1.10/1.17 o 446
1.10/1.17 c * 1.0s| 4551 | 3668 | 0 | 0.0 | 10M|1025 | - |1893 |3985 | 0 | 0 | 0 | 774 | 0 | 0.000000e+00 | 4.460000e+02 | Inf
2.40/2.42 c 2.2s| 10000 | 8305 | 0 | 0.0 | 13M|1025 | - |1893 |4702 | 0 | 0 | 0 |2873 | 0 | 0.000000e+00 | 4.460000e+02 | Inf
5.09/5.14 c 4.6s| 20000 | 16024 | 0 | 0.0 | 20M|1025 | - |1893 |5471 | 0 | 0 | 0 |8515 | 0 | 0.000000e+00 | 4.460000e+02 | Inf
8.29/8.39 o 432
8.29/8.39 c * 7.6s| 28507 | 20973 | 0 | 0.0 | 27M|1025 | - |1893 |6206 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.320000e+02 | Inf
8.59/8.68 o 401
8.59/8.68 c * 7.8s| 29703 | 22094 | 0 | 0.0 | 27M|1025 | - |1893 |5667 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.010000e+02 | Inf
8.59/8.69 o 399
8.59/8.69 c * 7.8s| 29704 | 22089 | 0 | 0.0 | 27M|1025 | - |1893 |5667 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.990000e+02 | Inf
8.69/8.74 o 372
8.69/8.74 c * 7.9s| 29891 | 22183 | 0 | 0.0 | 27M|1025 | - |1893 |5551 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.720000e+02 | Inf
8.69/8.76 c 7.9s| 30000 | 22290 | 0 | 0.0 | 27M|1025 | - |1893 |5495 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.720000e+02 | Inf
8.69/8.77 o 262
8.69/8.77 c * 7.9s| 30034 | 21800 | 0 | 0.0 | 27M|1025 | - |1893 |5494 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
8.69/8.80 o 214
8.69/8.80 c * 8.0s| 30128 | 21823 | 0 | 0.0 | 27M|1025 | - |1893 |5431 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.140000e+02 | Inf
8.80/8.85 o 173
8.80/8.85 c * 8.0s| 30323 | 21909 | 0 | 0.0 | 27M|1025 | - |1893 |5352 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
8.89/8.92 o 157
8.89/8.92 c * 8.1s| 30554 | 22100 | 0 | 0.0 | 27M|1025 | - |1893 |5239 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
8.89/8.92 o 141
8.89/8.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.89/8.92 c * 8.1s| 30560 | 22066 | 0 | 0.0 | 27M|1025 | - |1893 |5239 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
8.99/9.06 o 133
8.99/9.06 c * 8.2s| 31056 | 22480 | 0 | 0.0 | 27M|1025 | - |1893 |5062 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
9.80/9.88 o 132
9.80/9.88 c * 8.9s| 33843 | 25025 | 0 | 0.0 | 30M|1025 | - |1893 |4770 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.320000e+02 | Inf
9.99/10.00 o 110
9.99/10.00 c * 9.1s| 34264 | 25223 | 0 | 0.0 | 30M|1025 | - |1893 |4815 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
9.99/10.03 o 53
9.99/10.03 c * 9.1s| 34363 | 24053 | 0 | 0.0 | 29M|1025 | - |1893 |4816 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
10.39/10.41 o 37
10.39/10.41 c * 9.4s| 35503 | 24675 | 0 | 0.0 | 30M|1025 | - |1893 |4821 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
11.59/11.68 c 10.6s| 40000 | 28383 | 0 | 0.0 | 36M|1025 | - |1893 |5428 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
11.79/11.86 o 29
11.79/11.86 c *10.7s| 40720 | 28862 | 0 | 0.0 | 37M|1025 | - |1893 |5448 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
14.19/14.26 c 12.9s| 50000 | 36453 | 0 | 0.0 | 43M|1025 | - |1893 |6944 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
17.10/17.15 c 15.5s| 60000 | 44166 | 0 | 0.0 | 50M|1025 | - |1893 |7611 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
20.09/20.11 c 18.2s| 70000 | 51716 | 0 | 0.0 | 56M|1025 | - |1893 |8155 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
23.10/23.14 c 21.0s| 80000 | 59167 | 0 | 0.0 | 63M|1025 | - |1893 |8585 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
26.19/26.25 c 23.8s| 90000 | 66517 | 0 | 0.0 | 70M|1025 | - |1893 |8947 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
29.89/29.97 c 27.2s|100000 | 73022 | 0 | 0.0 | 77M|1025 | - |1893 |9459 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
33.69/33.70 c 30.7s|110000 | 79501 | 0 | 0.0 | 84M|1025 | - |1893 |9666 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
37.49/37.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.49/37.56 c 34.3s|120000 | 85834 | 0 | 0.0 | 91M|1025 | - |1893 | 10k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
41.70/41.73 c 38.1s|130000 | 91901 | 0 | 0.0 | 98M|1025 | - |1893 | 10k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
46.10/46.17 c 42.2s|140000 | 97573 | 0 | 0.0 | 105M|1025 | - |1893 | 11k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
50.99/51.06 c 46.8s|150000 |102704 | 0 | 0.0 | 113M|1025 | - |1893 | 11k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
56.30/56.39 c 51.8s|160000 |107426 | 0 | 0.0 | 120M|1025 | - |1893 | 13k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
61.99/62.01 c 57.1s|170000 |111818 | 0 | 0.0 | 127M|1025 | - |1893 | 14k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
69.49/69.54 c 64.3s|180000 |114470 | 0 | 0.0 | 136M|1025 | - |1893 | 17k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
76.69/76.78 c 71.2s|190000 |118752 | 0 | 0.0 | 139M|1025 | - |1893 |9579 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
79.80/79.84 c 74.0s|200000 |127265 | 0 | 0.0 | 145M|1025 | - |1893 |6237 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
83.00/83.00 c 76.8s|210000 |135493 | 0 | 0.0 | 152M|1025 | - |1893 |6895 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
86.50/86.51 c 80.0s|220000 |143352 | 0 | 0.0 | 161M|1025 | - |1893 |7798 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
90.49/90.53 c 83.7s|230000 |150730 | 0 | 0.0 | 170M|1025 | - |1893 |9248 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
95.39/95.44 c 88.3s|240000 |157350 | 0 | 0.0 | 181M|1025 | - |1893 | 11k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
95.39/95.46 o 17
95.39/95.46 c *88.3s|240027 |156390 | 0 | 0.0 | 179M|1025 | - |1893 | 11k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
101.60/101.66 c 94.1s|250000 |161402 | 0 | 0.0 | 191M|1025 | - |1893 | 13k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
104.99/105.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.99/105.07 c 97.2s|260000 |169421 | 0 | 0.0 | 201M|1025 | - |1893 | 10k| 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
109.60/109.64 c 101s|270000 |175854 | 0 | 0.0 | 211M|1025 | - |1893 |9290 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
112.79/112.81 c 104s|280000 |183541 | 0 | 0.0 | 218M|1025 | - |1893 | 10k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
116.39/116.43 c 108s|290000 |190297 | 0 | 0.0 | 224M|1025 | - |1893 |8999 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
120.10/120.11 c 111s|300000 |196977 | 0 | 0.0 | 231M|1025 | - |1893 | 10k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
120.49/120.59 o 13
120.49/120.59 c * 111s|301655 |197912 | 0 | 0.0 | 229M|1025 | - |1893 |5256 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
123.10/123.13 c 114s|310000 |204392 | 0 | 0.0 | 233M|1025 | - |1893 |3563 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
125.79/125.84 c 116s|320000 |212461 | 0 | 0.0 | 239M|1025 | - |1893 |3985 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
129.19/129.23 c 119s|330000 |219338 | 0 | 0.0 | 246M|1025 | - |1893 |5225 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
133.10/133.11 c 123s|340000 |225708 | 0 | 0.0 | 253M|1025 | - |1893 |6264 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
137.10/137.16 c 127s|350000 |231825 | 0 | 0.0 | 260M|1025 | - |1893 |6504 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
141.10/141.20 c 130s|360000 |237960 | 0 | 0.0 | 267M|1025 | - |1893 |7026 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
145.20/145.25 c 134s|370000 |244036 | 0 | 0.0 | 274M|1025 | - |1893 |7502 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
149.40/149.47 c 138s|380000 |249946 | 0 | 0.0 | 280M|1025 | - |1893 |7786 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
153.70/153.74 c 142s|390000 |255765 | 0 | 0.0 | 287M|1025 | - |1893 |8032 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
158.00/158.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.00/158.01 c 146s|400000 |261584 | 0 | 0.0 | 294M|1025 | - |1893 |8297 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
162.50/162.51 c 150s|410000 |267165 | 0 | 0.0 | 300M|1025 | - |1893 |7977 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
166.90/166.99 c 154s|420000 |272819 | 0 | 0.0 | 307M|1025 | - |1893 |9056 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
171.70/171.78 c 159s|430000 |278062 | 0 | 0.0 | 314M|1025 | - |1893 |9520 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
176.69/176.73 c 163s|440000 |283181 | 0 | 0.0 | 320M|1025 | - |1893 |9002 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
181.29/181.36 c 168s|450000 |288739 | 0 | 0.0 | 327M|1025 | - |1893 |9655 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
186.40/186.43 c 173s|460000 |293649 | 0 | 0.0 | 334M|1025 | - |1893 |9922 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
191.10/191.12 c 177s|470000 |299254 | 0 | 0.0 | 340M|1025 | - |1893 |8630 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
196.09/196.19 c 182s|480000 |304040 | 0 | 0.0 | 347M|1025 | - |1893 |9945 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
200.90/200.95 c 186s|490000 |309550 | 0 | 0.0 | 353M|1025 | - |1893 |8622 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
206.00/206.05 c 191s|500000 |314279 | 0 | 0.0 | 360M|1025 | - |1893 | 10k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
210.89/210.99 c 196s|510000 |319553 | 0 | 0.0 | 366M|1025 | - |1893 |9843 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
216.29/216.34 c 201s|520000 |324109 | 0 | 0.0 | 373M|1025 | - |1893 | 10k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
221.40/221.47 c 205s|530000 |329100 | 0 | 0.0 | 380M|1025 | - |1893 | 10k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
226.80/226.87 c 210s|540000 |333600 | 0 | 0.0 | 386M|1025 | - |1893 | 10k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
232.00/232.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.00/232.06 c 215s|550000 |338570 | 0 | 0.0 | 392M|1025 | - |1893 | 10k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
237.50/237.55 c 220s|560000 |342972 | 0 | 0.0 | 399M|1025 | - |1893 | 10k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
242.80/242.87 c 225s|570000 |347834 | 0 | 0.0 | 405M|1025 | - |1893 | 11k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
248.70/248.70 c 231s|580000 |351913 | 0 | 0.0 | 411M|1025 | - |1893 | 10k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
254.50/254.51 c 236s|590000 |356159 | 0 | 0.0 | 418M|1025 | - |1893 | 11k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
260.50/260.56 c 242s|600000 |360081 | 0 | 0.0 | 424M|1025 | - |1893 | 11k| 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
266.50/266.57 c 248s|610000 |364193 | 0 | 0.0 | 431M|1025 | - |1893 | 11k| 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
272.90/272.99 c 254s|620000 |367568 | 0 | 0.0 | 437M|1025 | - |1893 | 12k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
279.50/279.59 c 260s|630000 |371236 | 0 | 0.0 | 442M|1025 | - |1893 | 10k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
286.20/286.27 c 267s|640000 |374409 | 0 | 0.0 | 449M|1025 | - |1893 | 12k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
293.10/293.18 c 273s|650000 |377447 | 0 | 0.0 | 455M|1025 | - |1893 | 12k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
300.20/300.22 c 280s|660000 |380635 | 0 | 0.0 | 461M|1025 | - |1893 | 12k| 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
307.40/307.48 c 287s|670000 |383339 | 0 | 0.0 | 467M|1025 | - |1893 | 13k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
314.90/314.96 c 294s|680000 |385924 | 0 | 0.0 | 472M|1025 | - |1893 | 13k| 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
322.50/322.53 c 301s|690000 |388554 | 0 | 0.0 | 478M|1025 | - |1893 | 12k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
330.10/330.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.10/330.16 c 308s|700000 |391092 | 0 | 0.0 | 484M|1025 | - |1893 | 13k| 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
338.40/338.49 c 316s|710000 |392849 | 0 | 0.0 | 489M|1025 | - |1893 | 14k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
347.10/347.12 c 324s|720000 |394565 | 0 | 0.0 | 494M|1025 | - |1893 | 15k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
355.80/355.87 c 333s|730000 |396398 | 0 | 0.0 | 499M|1025 | - |1893 | 14k| 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
364.70/364.80 c 341s|740000 |397874 | 0 | 0.0 | 503M|1025 | - |1893 | 14k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
374.40/374.49 c 351s|750000 |398928 | 0 | 0.0 | 509M|1025 | - |1893 | 16k| 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
384.60/384.65 c 360s|760000 |399771 | 0 | 0.0 | 513M|1025 | - |1893 | 17k| 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
395.70/395.79 c 371s|770000 |400196 | 0 | 0.0 | 518M|1025 | - |1893 | 19k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
409.50/409.53 c 384s|780000 |399316 | 0 | 0.0 | 521M|1025 | - |1893 | 22k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
422.50/422.56 c 397s|790000 |400242 | 0 | 0.0 | 516M|1025 | - |1893 | 10k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
425.61/425.65 c 400s|800000 |408411 | 0 | 0.0 | 521M|1025 | - |1893 |6166 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
428.50/428.56 c 402s|810000 |416470 | 0 | 0.0 | 527M|1025 | - |1893 |5660 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
431.50/431.56 c 405s|820000 |424317 | 0 | 0.0 | 533M|1025 | - |1893 |5826 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
434.60/434.61 c 408s|830000 |432114 | 0 | 0.0 | 539M|1025 | - |1893 |5943 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
437.70/437.70 c 411s|840000 |439814 | 0 | 0.0 | 545M|1025 | - |1893 |6055 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
440.80/440.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.80/440.82 c 414s|850000 |447509 | 0 | 0.0 | 551M|1025 | - |1893 |5960 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
444.10/444.11 c 417s|860000 |454850 | 0 | 0.0 | 557M|1025 | - |1893 |6037 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
447.50/447.51 c 420s|870000 |462144 | 0 | 0.0 | 564M|1025 | - |1893 |6100 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
451.10/451.12 c 423s|880000 |469094 | 0 | 0.0 | 570M|1025 | - |1893 |6561 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
454.71/454.75 c 426s|890000 |476071 | 0 | 0.0 | 577M|1025 | - |1893 |6694 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
458.40/458.43 c 430s|900000 |483017 | 0 | 0.0 | 584M|1025 | - |1893 |6770 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
462.10/462.16 c 433s|910000 |489885 | 0 | 0.0 | 591M|1025 | - |1893 |6703 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
466.01/466.03 c 437s|920000 |496503 | 0 | 0.0 | 597M|1025 | - |1893 |6827 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
470.00/470.05 c 440s|930000 |502915 | 0 | 0.0 | 604M|1025 | - |1893 |7396 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
472.10/472.18 o 9
472.10/472.18 c * 442s|935289 |505979 | 0 | 0.0 | 607M|1025 | - |1893 |7438 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
474.11/474.17 c 444s|940000 |508979 | 0 | 0.0 | 611M|1025 | - |1893 |7463 | 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
478.30/478.35 c 448s|950000 |515311 | 0 | 0.0 | 619M|1025 | - |1893 |7533 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
482.51/482.55 c 452s|960000 |521610 | 0 | 0.0 | 627M|1025 | - |1893 |7802 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
486.80/486.82 c 456s|970000 |527774 | 0 | 0.0 | 634M|1025 | - |1893 |7758 | 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
491.30/491.30 c 460s|980000 |533685 | 0 | 0.0 | 641M|1025 | - |1893 |8375 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
495.70/495.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.70/495.79 c 464s|990000 |539626 | 0 | 0.0 | 648M|1025 | - |1893 |8654 | 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
500.30/500.38 c 468s| 1000k|545500 | 0 | 0.0 | 656M|1025 | - |1893 |9047 | 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
505.10/505.14 c 472s| 1010k|551293 | 0 | 0.0 | 663M|1025 | - |1893 |9358 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
509.80/509.86 c 477s| 1020k|557123 | 0 | 0.0 | 670M|1025 | - |1893 |9632 | 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
514.61/514.63 c 481s| 1030k|562991 | 0 | 0.0 | 677M|1025 | - |1893 |9350 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
519.80/519.82 c 486s| 1040k|568238 | 0 | 0.0 | 684M|1025 | - |1893 | 10k| 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
524.61/524.61 c 491s| 1050k|574044 | 0 | 0.0 | 691M|1025 | - |1893 | 10k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
529.51/529.53 c 495s| 1060k|579747 | 0 | 0.0 | 698M|1025 | - |1893 | 11k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
534.81/534.86 c 500s| 1070k|585119 | 0 | 0.0 | 705M|1025 | - |1893 | 12k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
540.11/540.10 c 505s| 1080k|590700 | 0 | 0.0 | 712M|1025 | - |1893 | 13k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
545.71/545.70 c 510s| 1090k|596126 | 0 | 0.0 | 719M|1025 | - |1893 | 13k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
551.60/551.61 c 516s| 1100k|601210 | 0 | 0.0 | 727M|1025 | - |1893 | 15k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
557.81/557.89 c 522s| 1110k|606249 | 0 | 0.0 | 734M|1025 | - |1893 | 16k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
564.51/564.56 c 528s| 1120k|611127 | 0 | 0.0 | 741M|1025 | - |1893 | 18k| 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
571.80/571.83 c 535s| 1130k|615791 | 0 | 0.0 | 748M|1025 | - |1893 | 20k| 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
580.11/580.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.11/580.17 c 543s| 1140k|619926 | 0 | 0.0 | 756M|1025 | - |1893 | 23k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
590.10/590.17 c 552s| 1150k|623290 | 0 | 0.0 | 763M|1025 | - |1893 | 26k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
604.31/604.30 c 566s| 1160k|624452 | 0 | 0.0 | 769M|1025 | - |1893 | 31k| 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
608.51/608.55 o 3
608.51/608.55 c * 570s| 1166k|625588 | 0 | 0.0 | 761M|1025 | - |1893 | 18k| 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
609.91/609.97 c 571s| 1170k|628354 | 0 | 0.0 | 762M|1025 | - |1893 | 14k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
613.61/613.60 c 575s| 1180k|636287 | 0 | 0.0 | 767M|1025 | - |1893 | 11k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
617.01/617.08 c 578s| 1190k|643948 | 0 | 0.0 | 774M|1025 | - |1893 | 11k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
620.51/620.55 c 581s| 1200k|651435 | 0 | 0.0 | 780M|1025 | - |1893 | 11k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
624.11/624.15 c 584s| 1210k|658777 | 0 | 0.0 | 786M|1025 | - |1893 | 12k| 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
628.12/628.11 c 588s| 1220k|665783 | 0 | 0.0 | 793M|1025 | - |1893 | 13k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
632.30/632.32 c 592s| 1230k|672538 | 0 | 0.0 | 800M|1025 | - |1893 | 14k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
637.11/637.17 c 596s| 1240k|678570 | 0 | 0.0 | 807M|1025 | - |1893 | 15k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
643.01/643.03 c 602s| 1250k|683638 | 0 | 0.0 | 815M|1025 | - |1893 | 17k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
649.90/649.96 c 608s| 1260k|687744 | 0 | 0.0 | 822M|1025 | - |1893 | 18k| 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
658.31/658.33 c 616s| 1270k|690813 | 0 | 0.0 | 829M|1025 | - |1893 | 21k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
665.61/665.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.61/665.60 c 623s| 1280k|695680 | 0 | 0.0 | 832M|1025 | - |1893 | 15k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
669.31/669.36 c 627s| 1290k|703532 | 0 | 0.0 | 839M|1025 | - |1893 | 14k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
673.01/673.04 c 630s| 1300k|711169 | 0 | 0.0 | 848M|1025 | - |1893 | 14k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
676.81/676.81 c 634s| 1310k|718596 | 0 | 0.0 | 857M|1025 | - |1893 | 14k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
680.61/680.67 c 637s| 1320k|726025 | 0 | 0.0 | 866M|1025 | - |1893 | 15k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
684.81/684.83 c 641s| 1330k|733200 | 0 | 0.0 | 875M|1025 | - |1893 | 16k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
689.21/689.25 c 645s| 1340k|740132 | 0 | 0.0 | 884M|1025 | - |1893 | 16k| 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
694.02/694.08 c 650s| 1350k|746722 | 0 | 0.0 | 894M|1025 | - |1893 | 17k| 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
699.41/699.46 c 655s| 1360k|752764 | 0 | 0.0 | 905M|1025 | - |1893 | 19k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
705.71/705.74 c 661s| 1370k|758009 | 0 | 0.0 | 916M|1025 | - |1893 | 21k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
713.61/713.64 c 668s| 1380k|762025 | 0 | 0.0 | 928M|1025 | - |1893 | 24k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
723.32/723.34 c 677s| 1390k|765093 | 0 | 0.0 | 934M|1025 | - |1893 | 23k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
727.61/727.67 c 681s| 1400k|772968 | 0 | 0.0 | 939M|1025 | - |1893 | 17k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
731.52/731.57 c 685s| 1410k|780596 | 0 | 0.0 | 945M|1025 | - |1893 | 16k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
735.61/735.66 c 689s| 1420k|787891 | 0 | 0.0 | 952M|1025 | - |1893 | 16k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
740.01/740.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.01/740.07 c 693s| 1430k|794808 | 0 | 0.0 | 959M|1025 | - |1893 | 17k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
744.72/744.76 c 697s| 1440k|801487 | 0 | 0.0 | 966M|1025 | - |1893 | 17k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
749.91/749.94 c 702s| 1450k|807664 | 0 | 0.0 | 973M|1025 | - |1893 | 18k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
755.41/755.46 c 707s| 1460k|813475 | 0 | 0.0 | 981M|1025 | - |1893 | 19k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
761.91/761.96 c 713s| 1470k|818421 | 0 | 0.0 | 988M|1025 | - |1893 | 21k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
770.31/770.36 c 721s| 1480k|821756 | 0 | 0.0 | 996M|1025 | - |1893 | 24k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
779.71/779.79 c 730s| 1490k|825557 | 0 | 0.0 | 997M|1025 | - |1893 |9381 | 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
783.01/783.10 c 733s| 1500k|833602 | 0 | 0.0 |1009M|1025 | - |1893 |6249 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
786.81/786.83 c 737s| 1510k|840831 | 0 | 0.0 |1022M|1025 | - |1893 |7393 | 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
791.22/791.29 c 741s| 1520k|847384 | 0 | 0.0 |1033M|1025 | - |1893 |6975 | 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
794.81/794.86 c 744s| 1530k|854703 | 0 | 0.0 |1045M|1025 | - |1893 |8192 | 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
799.62/799.65 c 749s| 1540k|860780 | 0 | 0.0 |1056M|1025 | - |1893 | 10k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
804.51/804.54 c 753s| 1550k|866969 | 0 | 0.0 |1065M|1025 | - |1893 | 10k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
809.91/809.95 c 758s| 1560k|872383 | 0 | 0.0 |1075M|1025 | - |1893 | 11k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
814.02/814.07 c 762s| 1570k|879531 | 0 | 0.0 |1083M|1025 | - |1893 |8288 | 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
818.11/818.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.11/818.14 c 766s| 1580k|886278 | 0 | 0.0 |1092M|1025 | - |1893 |9137 | 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
821.62/821.69 c 769s| 1590k|893686 | 0 | 0.0 |1101M|1025 | - |1893 |9851 | 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
825.41/825.47 c 772s| 1600k|901020 | 0 | 0.0 |1109M|1025 | - |1893 |8911 | 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
829.62/829.66 c 776s| 1610k|907762 | 0 | 0.0 |1118M|1025 | - |1893 |9595 | 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
833.72/833.73 c 780s| 1620k|914548 | 0 | 0.0 |1127M|1025 | - |1893 | 11k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
837.21/837.29 c 783s| 1630k|922111 | 0 | 0.0 |1134M|1025 | - |1893 | 10k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
841.01/841.00 c 787s| 1640k|929449 | 0 | 0.0 |1142M|1025 | - |1893 |9972 | 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
844.82/844.85 c 790s| 1650k|936476 | 0 | 0.0 |1149M|1025 | - |1893 | 10k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
848.41/848.47 c 794s| 1660k|943624 | 0 | 0.0 |1156M|1025 | - |1893 | 11k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
855.12/855.11 c 800s| 1670k|947588 | 0 | 0.0 |1163M|1025 | - |1893 | 14k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
862.12/862.12 c 807s| 1680k|951961 | 0 | 0.0 |1171M|1025 | - |1893 | 16k| 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
869.41/869.42 c 813s| 1690k|956459 | 0 | 0.0 |1178M|1025 | - |1893 | 18k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
877.42/877.40 c 821s| 1700k|960820 | 0 | 0.0 |1185M|1025 | - |1893 | 19k| 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
885.62/885.66 c 829s| 1710k|965212 | 0 | 0.0 |1192M|1025 | - |1893 | 20k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
894.71/894.72 c 838s| 1720k|969253 | 0 | 0.0 |1198M|1025 | - |1893 | 21k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
903.62/903.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.62/903.62 c 846s| 1730k|973460 | 0 | 0.0 |1205M|1025 | - |1893 | 22k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
913.92/914.00 c 856s| 1740k|976798 | 0 | 0.0 |1211M|1025 | - |1893 | 22k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
924.11/924.14 c 866s| 1750k|980708 | 0 | 0.0 |1217M|1025 | - |1893 | 24k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
936.02/936.02 c 878s| 1760k|983515 | 0 | 0.0 |1224M|1025 | - |1893 | 24k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
948.72/948.75 c 890s| 1770k|986098 | 0 | 0.0 |1230M|1025 | - |1893 | 26k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
961.71/961.74 c 903s| 1780k|988782 | 0 | 0.0 |1237M|1025 | - |1893 | 26k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
975.73/975.72 c 916s| 1790k|990889 | 0 | 0.0 |1243M|1025 | - |1893 | 27k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
988.42/988.44 c 929s| 1800k|993922 | 0 | 0.0 |1249M|1025 | - |1893 | 26k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1001.42/1001.40 c 941s| 1810k|996831 | 0 | 0.0 |1255M|1025 | - |1893 | 27k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1016.21/1016.27 c 956s| 1820k|998583 | 0 | 0.0 |1261M|1025 | - |1893 | 27k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1029.62/1029.61 c 969s| 1830k| 1001k| 0 | 0.0 |1267M|1025 | - |1893 | 26k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1045.12/1045.14 c 984s| 1840k| 1002k| 0 | 0.0 |1272M|1025 | - |1893 | 27k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1059.32/1059.30 c 998s| 1850k| 1004k| 0 | 0.0 |1278M|1025 | - |1893 | 27k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1075.62/1075.67 c 1014s| 1860k| 1006k| 0 | 0.0 |1283M|1025 | - |1893 | 29k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1091.22/1091.28 c 1029s| 1870k| 1008k| 0 | 0.0 |1289M|1025 | - |1893 | 27k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1105.22/1105.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.22/1105.24 c 1043s| 1880k| 1010k| 0 | 0.0 |1295M|1025 | - |1893 | 29k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1123.72/1123.76 c 1061s| 1890k| 1011k| 0 | 0.0 |1299M|1025 | - |1893 | 28k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1138.43/1138.50 c 1075s| 1900k| 1013k| 0 | 0.0 |1305M|1025 | - |1893 | 28k| 0 | 0 | 0 |1716k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1155.22/1155.24 c 1092s| 1910k| 1014k| 0 | 0.0 |1309M|1025 | - |1893 | 29k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1171.62/1171.61 c 1108s| 1920k| 1015k| 0 | 0.0 |1314M|1025 | - |1893 | 28k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1186.52/1186.51 c 1122s| 1930k| 1017k| 0 | 0.0 |1320M|1025 | - |1893 | 29k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1204.72/1204.70 c 1140s| 1940k| 1018k| 0 | 0.0 |1323M|1025 | - |1893 | 29k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1220.73/1220.79 c 1156s| 1950k| 1019k| 0 | 0.0 |1329M|1025 | - |1893 | 28k| 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1236.03/1236.06 c 1171s| 1960k| 1021k| 0 | 0.0 |1335M|1025 | - |1893 | 29k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1254.93/1254.97 c 1189s| 1970k| 1021k| 0 | 0.0 |1337M|1025 | - |1893 | 28k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1270.92/1270.91 c 1205s| 1980k| 1022k| 0 | 0.0 |1342M|1025 | - |1893 | 26k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1285.12/1285.12 c 1219s| 1990k| 1024k| 0 | 0.0 |1348M|1025 | - |1893 | 28k| 0 | 0 | 0 |1858k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1304.03/1304.06 c 1237s| 2000k| 1024k| 0 | 0.0 |1351M|1025 | - |1893 | 28k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1320.53/1320.51 c 1254s| 2010k| 1025k| 0 | 0.0 |1356M|1025 | - |1893 | 27k| 0 | 0 | 0 |1892k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1335.02/1335.03 c 1268s| 2020k| 1026k| 0 | 0.0 |1362M|1025 | - |1893 | 29k| 0 | 0 | 0 |1907k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1353.63/1353.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.63/1353.62 c 1286s| 2030k| 1026k| 0 | 0.0 |1364M|1025 | - |1893 | 29k| 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1370.02/1370.05 c 1302s| 2040k| 1027k| 0 | 0.0 |1370M|1025 | - |1893 | 28k| 0 | 0 | 0 |1941k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1384.83/1384.82 c 1316s| 2050k| 1029k| 0 | 0.0 |1375M|1025 | - |1893 | 29k| 0 | 0 | 0 |1956k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1402.33/1402.30 c 1334s| 2060k| 1029k| 0 | 0.0 |1376M|1025 | - |1893 | 26k| 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1418.03/1418.02 c 1349s| 2070k| 1030k| 0 | 0.0 |1381M|1025 | - |1893 | 24k| 0 | 0 | 0 |1990k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1431.93/1431.94 c 1362s| 2080k| 1031k| 0 | 0.0 |1387M|1025 | - |1893 | 24k| 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1449.43/1449.40 c 1380s| 2090k| 1030k| 0 | 0.0 |1389M|1025 | - |1893 | 26k| 0 | 0 | 0 |2023k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1464.83/1464.80 c 1395s| 2100k| 1030k| 0 | 0.0 |1393M|1025 | - |1893 | 23k| 0 | 0 | 0 |2041k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1480.93/1480.92 c 1410s| 2110k| 1029k| 0 | 0.0 |1397M|1025 | - |1893 | 25k| 0 | 0 | 0 |2059k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1499.13/1499.20 c 1428s| 2120k| 1027k| 0 | 0.0 |1397M|1025 | - |1893 | 26k| 0 | 0 | 0 |2078k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1516.23/1516.23 c 1445s| 2130k| 1026k| 0 | 0.0 |1403M|1025 | - |1893 | 27k| 0 | 0 | 0 |2096k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1535.73/1535.78 c 1464s| 2140k| 1023k| 0 | 0.0 |1401M|1025 | - |1893 | 28k| 0 | 0 | 0 |2116k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1552.83/1552.89 c 1481s| 2150k| 1023k| 0 | 0.0 |1406M|1025 | - |1893 | 28k| 0 | 0 | 0 |2134k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1573.34/1573.38 c 1501s| 2160k| 1019k| 0 | 0.0 |1403M|1025 | - |1893 | 29k| 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1592.14/1592.16 c 1519s| 2170k| 1017k| 0 | 0.0 |1406M|1025 | - |1893 | 29k| 0 | 0 | 0 |2173k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1613.23/1613.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.23/1613.20 c 1540s| 2180k| 1014k| 0 | 0.0 |1404M|1025 | - |1893 | 28k| 0 | 0 | 0 |2194k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1634.03/1634.04 c 1560s| 2190k| 1010k| 0 | 0.0 |1402M|1025 | - |1893 | 29k| 0 | 0 | 0 |2215k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1653.54/1653.58 c 1579s| 2200k| 1008k| 0 | 0.0 |1404M|1025 | - |1893 | 29k| 0 | 0 | 0 |2235k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1674.74/1674.71 c 1600s| 2210k| 1004k| 0 | 0.0 |1402M|1025 | - |1893 | 29k| 0 | 0 | 0 |2257k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1696.74/1696.74 c 1622s| 2220k| 1000k| 0 | 0.0 |1398M|1025 | - |1893 | 29k| 0 | 0 | 0 |2278k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1718.24/1718.24 c 1643s| 2230k|996109 | 0 | 0.0 |1395M|1025 | - |1893 | 30k| 0 | 0 | 0 |2300k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1740.74/1740.79 c 1665s| 2240k|991073 | 0 | 0.0 |1393M|1025 | - |1893 | 32k| 0 | 0 | 0 |2322k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1765.44/1765.49 c 1689s| 2250k|985032 | 0 | 0.0 |1386M|1025 | - |1893 | 34k| 0 | 0 | 0 |2347k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1791.85/1791.84 c 1715s| 2260k|978261 | 0 | 0.0 |1380M|1025 | - |1893 | 36k| 0 | 0 | 0 |2371k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1722.91
1800.05/1800.00 c Solving Nodes : 2262904
1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (22 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/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.05/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.05/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.05/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146
1800.05/1800.01 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125
1800.05/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.05/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.05/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.05/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.05/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.05/1800.01 v -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1722.91
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2694091-1277904856.wbo
1800.05/1800.01 c Variables : 2031 (1131 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.05/1800.01 c Constraints : 3608 initial, 3608 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2694091-1277904856.wbo
1800.05/1800.01 c Variables : 1893 (1062 binary, 0 integer, 0 implicit integer, 831 continuous)
1800.05/1800.01 c Constraints : 3334 initial, 38212 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.04 0 0 0 916 0 205 143 0
1800.05/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 696 - - 1392 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 831 0 2728485 0 865446 54 1575764 0 0 0
1800.05/1800.01 c setppc : 15 0 7228114 0 1801164 114350 7063394 0 0 0
1800.05/1800.01 c linear : 831 0 7115245 0 1801992 317919 27568785 0 0 0
1800.05/1800.01 c logicor : 1657+ 0 5312290 0 1802003 301563 14705182 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 45098 0 0 4 667 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1801995 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c indicator : 3.63 0.00 1.76 0.00 1.87
1800.05/1800.01 c setppc : 32.41 0.00 29.47 0.00 2.94
1800.05/1800.01 c linear : 154.34 0.00 153.91 0.00 0.43
1800.05/1800.01 c logicor : 681.13 0.00 600.00 0.00 81.13
1800.05/1800.01 c bounddisjunction : 0.13 0.00 0.13 0.00 0.00
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.00 2 0 0
1800.05/1800.01 c rootredcost : 0.00 0 0 0
1800.05/1800.01 c pseudoobj : 122.43 7229974 453 1566071
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 33.04 734289 734157 3743188 22.8 227276 10.9 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 19 19 85 26.7 27 7.7 -
1800.05/1800.01 c applied globally : - - - 2379080 20.1 - - -
1800.05/1800.01 c applied locally : - - - 48 123.1 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.00 0 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 0 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 23.66 1801973 0 0 0 0 3603946
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.00 - 0
1800.05/1800.02 c pseudo solutions : 0.04 - 22
1800.05/1800.02 c oneopt : 0.04 0 0
1800.05/1800.02 c trivial : 0.00 2 0
1800.05/1800.02 c simplerounding : 0.00 0 0
1800.05/1800.02 c zirounding : 0.00 0 0
1800.05/1800.02 c rounding : 0.00 0 0
1800.05/1800.02 c shifting : 0.00 0 0
1800.05/1800.02 c intshifting : 0.00 0 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c feaspump : 0.00 0 0
1800.05/1800.02 c coefdiving : 0.00 0 0
1800.05/1800.02 c pscostdiving : 0.00 0 0
1800.05/1800.02 c fracdiving : 0.00 0 0
1800.05/1800.02 c veclendiving : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c objpscostdiving : 0.00 0 0
1800.05/1800.02 c rootsoldiving : 0.00 0 0
1800.05/1800.02 c linesearchdiving : 0.00 0 0
1800.05/1800.02 c guideddiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.00 0 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c crossover : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c nlp : 0.00 0 0
1800.05/1800.02 c trysol : 0.00 1 0
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.02 c (at root node) : - 0 0 0.00 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 2262904
1800.05/1800.02 c nodes (total) : 2262904
1800.05/1800.02 c nodes left : 975776
1800.05/1800.02 c max depth : 1025
1800.05/1800.02 c max depth (total): 1025
1800.05/1800.02 c backtracks : 442739 (19.6%)
1800.05/1800.02 c delayed cutoffs : 356426
1800.05/1800.02 c repropagations : 1388077 (15283887 domain reductions, 273453 cutoffs)
1800.05/1800.02 c avg switch length: 17.38
1800.05/1800.02 c switching time : 537.58
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 22 (22 improvements)
1800.05/1800.02 c First Solution : +7.29000000000000e+02 (in run 1, after 4297 nodes, 0.97 seconds, depth 673, found by <relaxation>)
1800.05/1800.02 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1166588 nodes, 570.08 seconds, depth 388, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694091-1277904856/watcher-2694091-1277904856 -o /tmp/evaluation-result-2694091-1277904856/solver-2694091-1277904856 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694091-1277904856.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12385 /proc/meminfo: memFree=31301920/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=8164 CPUtime=0 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 1543 0 0 0 0 0 0 0 21 0 1 0 131782309 8359936 1466 4089446400 4194304 7136930 140736495424896 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12385/statm: 2041 1466 275 719 0 1320 0 [startup+0.079159 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12385 /proc/meminfo: memFree=31301920/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=21340 CPUtime=0.07 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 5766 0 0 0 6 1 0 0 21 0 1 0 131782309 21852160 4564 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 5335 4564 354 719 0 4614 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 21340 [startup+0.100154 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12385 /proc/meminfo: memFree=31301920/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=23104 CPUtime=0.09 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 6966 0 0 0 8 1 0 0 21 0 1 0 131782309 23658496 4993 4089446400 4194304 7136930 140736495424896 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 5776 5011 359 719 0 5055 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23104 [startup+0.300119 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12385 /proc/meminfo: memFree=31301920/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=24036 CPUtime=0.29 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 9071 0 0 0 26 3 0 0 21 0 1 0 131782309 24612864 5299 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 6009 5299 391 719 0 5288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24036 [startup+0.700047 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12385 /proc/meminfo: memFree=31301920/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=26120 CPUtime=0.69 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 9600 0 0 0 62 7 0 0 22 0 1 0 131782309 26746880 5828 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 6530 5828 395 719 0 5809 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26120 [startup+1.5009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12386 /proc/meminfo: memFree=31278228/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=27980 CPUtime=1.49 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 10045 0 0 0 134 15 0 0 25 0 1 0 131782309 28651520 6273 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 6995 6273 396 719 0 6274 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27980 [startup+3.10062 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12386 /proc/meminfo: memFree=31273640/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=33780 CPUtime=3.09 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 11544 0 0 0 279 30 0 0 25 0 1 0 131782309 34590720 7772 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 8445 7772 396 719 0 7724 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33780 [startup+6.30105 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12386 /proc/meminfo: memFree=31260392/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=43884 CPUtime=6.3 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 14067 0 0 0 566 64 0 0 25 0 1 0 131782309 44937216 10295 4089446400 4194304 7136930 140736495424896 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 10971 10295 396 719 0 10250 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 43884 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12386 /proc/meminfo: memFree=31230228/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=66212 CPUtime=12.69 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 19494 0 0 0 1149 120 0 0 25 0 1 0 131782309 67801088 15722 4089446400 4194304 7136930 140736495424896 18446744073709551615 4978336 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 16553 15722 398 719 0 15832 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66212 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12386 /proc/meminfo: memFree=31178844/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=102912 CPUtime=25.49 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 28773 0 0 0 2317 232 0 0 25 0 1 0 131782309 105381888 25001 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 25728 25001 398 719 0 25007 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 102912 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12387 /proc/meminfo: memFree=31098840/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=158112 CPUtime=51.09 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 42145 0 0 0 4686 423 0 0 25 0 1 0 131782309 161906688 38373 4089446400 4194304 7136930 140736495424896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 39528 38373 398 719 0 38807 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 158112 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12388 /proc/meminfo: memFree=30959784/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=248248 CPUtime=102.3 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 63977 0 0 0 9469 761 0 0 25 0 1 0 131782309 254205952 60205 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 62062 60205 398 719 0 61341 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 248248 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12390 /proc/meminfo: memFree=30773348/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=376492 CPUtime=162.3 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 94850 0 0 0 14999 1231 0 0 25 0 1 0 131782309 385527808 91078 4089446400 4194304 7136930 140736495424896 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 94123 91078 398 719 0 93402 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 376492 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12392 /proc/meminfo: memFree=30646816/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=468208 CPUtime=222.29 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 117931 0 0 0 20623 1606 0 0 25 0 1 0 131782309 479444992 114159 4089446400 4194304 7136930 140736495424896 18446744073709551615 4208859 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 117052 114159 398 719 0 116331 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 468208 [startup+282.301 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12394 /proc/meminfo: memFree=30561436/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=534008 CPUtime=282.3 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 134534 0 0 0 26282 1948 0 0 25 0 1 0 131782309 546824192 130762 4089446400 4194304 7136930 140736495424896 18446744073709551615 4431422 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 133502 130762 398 719 0 132781 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 534008 [startup+342.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12395 /proc/meminfo: memFree=30478180/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=577560 CPUtime=342.3 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 145358 0 0 0 31991 2239 0 0 25 0 1 0 131782309 591421440 141586 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 144390 141586 398 719 0 143669 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 577560 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12396 /proc/meminfo: memFree=30447248/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=609220 CPUtime=402.3 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 153292 0 0 0 37743 2487 0 0 25 0 1 0 131782309 623841280 149520 4089446400 4194304 7136930 140736495424896 18446744073709551615 5953120 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 152305 149520 398 719 0 151584 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 609220 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12398 /proc/meminfo: memFree=30372912/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=689532 CPUtime=462.31 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 171522 0 0 0 43319 2912 0 0 25 0 1 0 131782309 706080768 167750 4089446400 4194304 7136930 140736495424896 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 172383 167750 398 719 0 171662 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 689532 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12400 /proc/meminfo: memFree=30267092/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=791332 CPUtime=522.3 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 197176 0 0 0 48842 3388 0 0 25 0 1 0 131782309 810323968 193404 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 197833 193404 398 719 0 197112 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 791332 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12402 /proc/meminfo: memFree=30187552/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=866624 CPUtime=582.31 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 215912 0 0 0 54482 3749 0 0 25 0 1 0 131782309 887422976 212140 4089446400 4194304 7136930 140736495424896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 216656 212140 398 719 0 215935 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 866624 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12403 /proc/meminfo: memFree=30125264/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=925024 CPUtime=642.31 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 230760 0 0 0 60121 4110 0 0 25 0 1 0 131782309 947224576 226988 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 231256 226988 398 719 0 230535 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 925024 [startup+702.301 s] ################ # More data... # ################ /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 345232 0 0 0 94229 6003 0 0 25 0 1 0 131782309 1438191616 341460 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 351121 341460 398 719 0 350400 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1404484 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12414 /proc/meminfo: memFree=29643648/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1420932 CPUtime=1062.32 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 349419 0 0 0 100087 6145 0 0 25 0 1 0 131782309 1455034368 345647 4089446400 4194304 7136930 140736495424896 18446744073709551615 4983283 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 355233 345647 398 719 0 354512 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1420932 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12416 /proc/meminfo: memFree=29618072/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1444548 CPUtime=1122.32 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 355254 0 0 0 105953 6279 0 0 25 0 1 0 131782309 1479217152 351482 4089446400 4194304 7136930 140736495424896 18446744073709551615 4999792 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 361137 351482 398 719 0 360416 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1444548 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12418 /proc/meminfo: memFree=29603024/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1459944 CPUtime=1182.33 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 359230 0 0 0 111822 6411 0 0 25 0 1 0 131782309 1494982656 355458 4089446400 4194304 7136930 140736495424896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 364986 355458 398 719 0 364265 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1459944 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12419 /proc/meminfo: memFree=29586232/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1473952 CPUtime=1242.32 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 362784 0 0 0 117696 6536 0 0 25 0 1 0 131782309 1509326848 359012 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 368488 359012 398 719 0 367767 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1473952 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12420 /proc/meminfo: memFree=29569324/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1490048 CPUtime=1302.33 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 366872 0 0 0 123575 6658 0 0 25 0 1 0 131782309 1525809152 363100 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 372512 363100 398 719 0 371791 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1490048 [startup+1362.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 12422 /proc/meminfo: memFree=29554272/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1505100 CPUtime=1362.33 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 370580 0 0 0 129448 6785 0 0 25 0 1 0 131782309 1541222400 366808 4089446400 4194304 7136930 140736495424896 18446744073709551615 4221565 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 376275 366808 398 719 0 375554 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1505100 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12424 /proc/meminfo: memFree=29537116/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1522228 CPUtime=1422.34 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 374925 0 0 0 135306 6928 0 0 25 0 1 0 131782309 1558761472 371153 4089446400 4194304 7136930 140736495424896 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 380557 371153 398 719 0 379836 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1522228 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12426 /proc/meminfo: memFree=29522428/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1534544 CPUtime=1482.33 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 378041 0 0 0 141166 7067 0 0 25 0 1 0 131782309 1571373056 374269 4089446400 4194304 7136930 140736495424896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 383636 374269 398 719 0 382915 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1534544 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12427 /proc/meminfo: memFree=29518296/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1538028 CPUtime=1542.33 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 378940 0 0 0 147038 7195 0 0 25 0 1 0 131782309 1574940672 375168 4089446400 4194304 7136930 140736495424896 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 384507 375168 398 719 0 383786 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1538028 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12428 /proc/meminfo: memFree=29512656/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1543008 CPUtime=1602.33 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 380208 0 0 0 152908 7325 0 0 25 0 1 0 131782309 1580040192 376436 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 385752 376436 398 719 0 385031 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1543008 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12439 /proc/meminfo: memFree=29508312/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1545896 CPUtime=1662.34 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 380936 0 0 0 158787 7447 0 0 25 0 1 0 131782309 1582997504 377164 4089446400 4194304 7136930 140736495424896 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 386474 377164 398 719 0 385753 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1545896 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12469 /proc/meminfo: memFree=29888236/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1547944 CPUtime=1722.34 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 381452 0 0 0 164662 7572 0 0 25 0 1 0 131782309 1585094656 377680 4089446400 4194304 7136930 140736495424896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 386986 377680 398 719 0 386265 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1547944 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12471 /proc/meminfo: memFree=29871968/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1549980 CPUtime=1782.34 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 381978 0 0 0 170556 7678 0 0 25 0 1 0 131782309 1587179520 378206 4089446400 4194304 7136930 140736495424896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 387495 378206 398 719 0 386774 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1549980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.02 2.00 3/179 12471 /proc/meminfo: memFree=29870092/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1550296 CPUtime=1800.05 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 382027 0 0 0 172293 7712 0 0 25 0 1 0 131782309 1587503104 378255 4089446400 4194304 7136930 140736495424896 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12385/statm: 387574 378255 398 719 0 386853 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1550296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12385 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.07 2.02 2.00 3/180 12472 /proc/meminfo: memFree=29869712/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1545752 CPUtime=1801.44 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 382064 0 0 0 172432 7712 0 0 19 0 1 0 131782309 1582850048 377132 4089446400 4194304 7136930 140736495424896 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12385/statm: 386438 377132 403 719 0 385717 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1545752 [startup+1801.81 s] /proc/loadavg: 2.07 2.02 2.00 3/180 12472 /proc/meminfo: memFree=29885460/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1521804 CPUtime=1801.84 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 382064 0 0 0 172472 7712 0 0 20 0 1 0 131782309 1558327296 371146 4089446400 4194304 7136930 140736495424896 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12385/statm: 380451 371146 403 719 0 379730 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 1521804 [startup+1802 s] /proc/loadavg: 2.07 2.02 2.00 3/180 12472 /proc/meminfo: memFree=29885460/32950904 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=1495344 CPUtime=1802.04 /proc/12385/stat : 12385 (pbscip.linux.x8) R 12383 12385 11938 0 -1 4202496 382064 0 0 0 172492 7712 0 0 21 0 1 0 131782309 1531232256 364531 4089446400 4194304 7136930 140736495424896 18446744073709551615 6165629 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12385/statm: 373836 364531 403 719 0 373115 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1495344 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.05 CPU time (s): 1802.1 CPU user time (s): 1724.93 CPU system time (s): 77.1733 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1550392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.93 system time used= 77.1733 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 382064 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= 2 involuntary context switches= 1403 runsolver used 2.39663 second user time and 5.83611 second system time The end
Begin job on node121 at 2010-06-30 15:34:16 IDJOB=2694091 IDBENCH=78924 IDSOLVER=1206 FILE ID=node121/2694091-1277904856 PBS_JOBID= 11197220 Free space on /tmp= 74208 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.1900558739--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-2694091-1277904856/watcher-2694091-1277904856 -o /tmp/evaluation-result-2694091-1277904856/solver-2694091-1277904856 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694091-1277904856.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 099eb4454f9d71550aca948671f10d54 RANDOM SEED=1291526104 node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.23 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 31303812 kB Buffers: 188128 kB Cached: 1102500 kB SwapCached: 0 kB Active: 719012 kB Inactive: 784352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31303812 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3144 kB Writeback: 0 kB AnonPages: 212520 kB Mapped: 16884 kB Slab: 80680 kB PageTables: 4960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 359700 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= 74200 MiB End job on node121 at 2010-06-30 16:04:18