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) | 1800.31 | 1800.26 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo |
| MD5SUM | 8c7284b7ccf7c3e8bad0ea1f2a54ab5e |
| 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 | 8 |
| Best CPU time to get the best result obtained on this benchmark | 0.424935 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 69 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3204 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3203 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1247 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2693868-1277896191.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.15 c 0.9s| 10000 | 7159 | 0 | 0.0 |6951k| 160 | - | 305 |3821 | 0 | 0 | 0 |7967 | 0 | 0.000000e+00 | -- | Inf
3.08/3.13 c 2.6s| 20000 | 12561 | 0 | 0.0 | 12M| 160 | - | 305 |5895 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
5.69/5.76 c 5.0s| 30000 | 17231 | 0 | 0.0 | 17M| 160 | - | 305 |9643 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
9.19/9.21 c 8.2s| 40000 | 20760 | 0 | 0.0 | 23M| 160 | - | 305 | 13k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
13.59/13.66 c 12.3s| 50000 | 22635 | 0 | 0.0 | 27M| 160 | - | 305 | 17k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
16.69/16.71 c 15.1s| 60000 | 28127 | 0 | 0.0 | 28M| 160 | - | 305 |7241 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
17.68/17.77 c 15.9s| 70000 | 36459 | 0 | 0.0 | 31M| 160 | - | 305 |4834 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
21.59/21.63 c 19.5s| 80000 | 38730 | 0 | 0.0 | 37M| 160 | - | 305 | 11k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
26.89/26.95 c 24.5s| 90000 | 39933 | 0 | 0.0 | 41M| 160 | - | 305 | 15k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
33.59/33.61 c 30.9s|100000 | 40197 | 0 | 0.0 | 45M| 160 | - | 305 | 19k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
41.99/42.02 c 38.9s|110000 | 39111 | 0 | 0.0 | 48M| 160 | - | 305 | 24k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
52.80/52.88 c 49.4s|120000 | 37015 | 0 | 0.0 | 48M| 160 | - | 305 | 23k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
56.69/56.70 c 52.9s|130000 | 42601 | 0 | 0.0 | 47M| 160 | - | 305 |9914 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
60.40/60.43 c 56.4s|140000 | 47094 | 0 | 0.0 | 52M| 160 | - | 305 | 12k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
63.89/63.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.89/63.98 c 59.6s|150000 | 52195 | 0 | 0.0 | 54M| 160 | - | 305 |9841 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
64.39/64.46 o 510
64.39/64.46 c *59.9s|158124 | 60292 | 0 | 0.0 | 54M| 160 | - | 305 |1201 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 5.100000e+02 | Inf
64.49/64.56 c 60.0s|160000 | 62161 | 0 | 0.0 | 55M| 160 | - | 305 |1001 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 5.100000e+02 | Inf
64.99/65.06 c 60.3s|170000 | 72125 | 0 | 0.0 | 58M| 160 | - | 305 | 746 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 5.100000e+02 | Inf
65.49/65.55 c 60.6s|180000 | 82092 | 0 | 0.0 | 61M| 160 | - | 305 | 697 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 5.100000e+02 | Inf
66.00/66.05 c 60.9s|190000 | 92043 | 0 | 0.0 | 64M| 160 | - | 305 | 702 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 5.100000e+02 | Inf
66.49/66.56 c 61.2s|200000 |101992 | 0 | 0.0 | 67M| 160 | - | 305 | 716 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 5.100000e+02 | Inf
67.00/67.07 c 61.5s|210000 |111935 | 0 | 0.0 | 70M| 160 | - | 305 | 791 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 5.100000e+02 | Inf
67.49/67.59 c 61.8s|220000 |121869 | 0 | 0.0 | 73M| 160 | - | 305 | 871 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 5.100000e+02 | Inf
68.10/68.11 c 62.1s|230000 |131823 | 0 | 0.0 | 76M| 160 | - | 305 | 897 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 5.100000e+02 | Inf
68.59/68.64 c 62.4s|240000 |141755 | 0 | 0.0 | 79M| 160 | - | 305 | 960 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 5.100000e+02 | Inf
68.69/68.77 o 503
68.69/68.77 c *62.5s|242487 |144227 | 0 | 0.0 | 80M| 160 | - | 305 | 977 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 5.030000e+02 | Inf
69.09/69.17 c 62.7s|250000 |151693 | 0 | 0.0 | 83M| 160 | - | 305 |1017 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 5.030000e+02 | Inf
69.69/69.70 c 63.1s|260000 |161624 | 0 | 0.0 | 86M| 160 | - | 305 |1086 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 5.030000e+02 | Inf
69.89/69.97 o 465
69.89/69.97 c *63.2s|265059 |166646 | 0 | 0.0 | 88M| 160 | - | 305 |1153 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 4.650000e+02 | Inf
69.89/69.97 o 382
69.89/69.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.89/69.97 c *63.2s|265060 |166620 | 0 | 0.0 | 88M| 160 | - | 305 |1153 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 3.820000e+02 | Inf
70.19/70.26 c 63.4s|270000 |171440 | 0 | 0.0 | 89M| 160 | - | 305 |1310 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 3.820000e+02 | Inf
70.79/70.87 o 358
70.79/70.87 c *63.9s|278950 |180004 | 0 | 0.0 | 93M| 160 | - | 305 |1553 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.580000e+02 | Inf
70.90/70.94 c 63.9s|280000 |181041 | 0 | 0.0 | 93M| 160 | - | 305 |1537 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.580000e+02 | Inf
77.39/77.46 c 70.0s|290000 |178002 | 0 | 0.0 | 97M| 160 | - | 305 | 15k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 3.580000e+02 | Inf
90.10/90.11 c 82.3s|300000 |172282 | 0 | 0.0 | 94M| 160 | - | 305 | 23k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 3.580000e+02 | Inf
103.00/103.07 c 94.9s|310000 |168528 | 0 | 0.0 | 83M| 160 | - | 305 | 10k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 3.580000e+02 | Inf
108.39/108.49 c 100s|320000 |170655 | 0 | 0.0 | 87M| 160 | - | 305 | 14k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 3.580000e+02 | Inf
114.50/114.58 c 106s|330000 |173095 | 0 | 0.0 | 91M| 160 | - | 305 | 18k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 3.580000e+02 | Inf
121.80/121.82 c 113s|340000 |175384 | 0 | 0.0 | 94M| 160 | - | 305 | 23k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 3.580000e+02 | Inf
129.39/129.41 c 120s|350000 |177672 | 0 | 0.0 | 98M| 160 | - | 305 | 27k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 3.580000e+02 | Inf
135.30/135.35 c 126s|360000 |182794 | 0 | 0.0 | 94M| 160 | - | 305 |7838 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 3.580000e+02 | Inf
135.79/135.89 o 105
135.79/135.89 c * 126s|366670 |155338 | 0 | 0.0 | 82M| 160 | - | 305 |1346 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
136.19/136.25 c 126s|370000 |158165 | 0 | 0.0 | 84M| 160 | - | 305 |1550 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
136.30/136.39 o 100
136.30/136.39 c * 126s|371331 |152563 | 0 | 0.0 | 82M| 160 | - | 305 |1713 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
137.29/137.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.29/137.40 c 127s|380000 |159691 | 0 | 0.0 | 87M| 160 | - | 305 |2511 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
137.90/137.90 o 83
137.90/137.90 c * 128s|383978 |141159 | 0 | 0.0 | 81M| 160 | - | 305 |2684 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
137.90/137.91 o 73
137.90/137.91 c * 128s|383984 |134946 | 0 | 0.0 | 78M| 160 | - | 305 |2686 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
138.69/138.76 c 128s|390000 |139438 | 0 | 0.0 | 80M| 160 | - | 305 |1375 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
140.00/140.09 c 129s|400000 |147006 | 0 | 0.0 | 85M| 160 | - | 305 |2393 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
141.59/141.62 c 131s|410000 |154380 | 0 | 0.0 | 90M| 160 | - | 305 |3563 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
143.30/143.30 c 132s|420000 |161692 | 0 | 0.0 | 94M| 160 | - | 305 |4614 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
145.09/145.16 c 134s|430000 |168858 | 0 | 0.0 | 99M| 160 | - | 305 |5249 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
147.09/147.13 c 135s|440000 |175972 | 0 | 0.0 | 104M| 160 | - | 305 |6122 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
149.19/149.28 c 137s|450000 |182930 | 0 | 0.0 | 109M| 160 | - | 305 |6598 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
151.49/151.53 c 139s|460000 |189801 | 0 | 0.0 | 114M| 160 | - | 305 |7004 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
153.80/153.86 c 141s|470000 |196583 | 0 | 0.0 | 119M| 160 | - | 305 |7639 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
156.39/156.40 c 143s|480000 |203104 | 0 | 0.0 | 124M| 160 | - | 305 |8025 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
158.89/158.94 c 146s|490000 |209663 | 0 | 0.0 | 128M| 160 | - | 305 |8722 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
161.70/161.71 c 148s|500000 |216008 | 0 | 0.0 | 133M| 160 | - | 305 |8989 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
164.50/164.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.50/164.53 c 151s|510000 |222259 | 0 | 0.0 | 137M| 160 | - | 305 |9451 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
167.40/167.47 c 153s|520000 |228346 | 0 | 0.0 | 142M| 160 | - | 305 |9908 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
170.69/170.78 c 156s|530000 |234135 | 0 | 0.0 | 147M| 160 | - | 305 | 10k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
174.29/174.35 c 160s|540000 |239584 | 0 | 0.0 | 153M| 160 | - | 305 | 10k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
177.89/177.90 c 163s|550000 |244918 | 0 | 0.0 | 159M| 160 | - | 305 | 10k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
181.40/181.45 c 166s|560000 |250219 | 0 | 0.0 | 165M| 160 | - | 305 | 11k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
185.19/185.29 c 170s|570000 |255094 | 0 | 0.0 | 171M| 160 | - | 305 | 11k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
188.99/189.09 c 173s|580000 |260021 | 0 | 0.0 | 177M| 160 | - | 305 | 11k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
192.99/193.04 c 177s|590000 |264736 | 0 | 0.0 | 183M| 160 | - | 305 | 11k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
197.29/197.39 c 181s|600000 |268749 | 0 | 0.0 | 189M| 160 | - | 305 | 12k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
201.89/201.92 c 185s|610000 |272646 | 0 | 0.0 | 194M| 160 | - | 305 | 12k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
206.70/206.80 c 189s|620000 |276093 | 0 | 0.0 | 199M| 160 | - | 305 | 12k| 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
211.90/211.98 c 194s|630000 |278928 | 0 | 0.0 | 205M| 160 | - | 305 | 12k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
217.59/217.63 c 199s|640000 |280876 | 0 | 0.0 | 209M| 160 | - | 305 | 12k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
223.40/223.48 c 205s|650000 |282171 | 0 | 0.0 | 213M| 160 | - | 305 |9703 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
229.10/229.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.10/229.13 c 210s|660000 |282025 | 0 | 0.0 | 219M| 160 | - | 305 |9888 | 0 | 0 | 0 | 551k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
234.09/234.13 c 215s|670000 |282624 | 0 | 0.0 | 223M| 160 | - | 305 |6764 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
239.10/239.10 c 219s|680000 |283305 | 0 | 0.0 | 227M| 160 | - | 305 | 10k| 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
246.00/246.06 c 226s|690000 |282539 | 0 | 0.0 | 230M| 160 | - | 305 | 16k| 0 | 0 | 0 | 595k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
254.50/254.50 c 234s|700000 |281857 | 0 | 0.0 | 232M| 160 | - | 305 | 21k| 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
263.59/263.69 c 243s|710000 |281509 | 0 | 0.0 | 234M| 160 | - | 305 | 26k| 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
272.10/272.11 c 251s|720000 |284112 | 0 | 0.0 | 232M| 160 | - | 305 | 11k| 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
274.40/274.42 c 253s|730000 |291307 | 0 | 0.0 | 235M| 160 | - | 305 |5702 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
276.60/276.65 c 255s|740000 |297945 | 0 | 0.0 | 239M| 160 | - | 305 |4793 | 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
279.10/279.11 c 257s|750000 |303913 | 0 | 0.0 | 244M| 160 | - | 305 |5109 | 0 | 0 | 0 | 669k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
281.50/281.57 c 259s|760000 |309932 | 0 | 0.0 | 248M| 160 | - | 305 |5476 | 0 | 0 | 0 | 676k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
284.00/284.06 c 261s|770000 |316057 | 0 | 0.0 | 253M| 160 | - | 305 |5768 | 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
286.59/286.62 c 263s|780000 |322120 | 0 | 0.0 | 257M| 160 | - | 305 |6262 | 0 | 0 | 0 | 689k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
289.10/289.11 c 266s|790000 |328530 | 0 | 0.0 | 262M| 160 | - | 305 |7255 | 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
291.60/291.63 c 268s|800000 |334899 | 0 | 0.0 | 266M| 160 | - | 305 |8059 | 0 | 0 | 0 | 702k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
294.50/294.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.50/294.52 c 270s|810000 |340794 | 0 | 0.0 | 271M| 160 | - | 305 |8164 | 0 | 0 | 0 | 709k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
297.40/297.49 c 273s|820000 |346684 | 0 | 0.0 | 275M| 160 | - | 305 |8153 | 0 | 0 | 0 | 717k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
300.50/300.51 c 276s|830000 |352392 | 0 | 0.0 | 280M| 160 | - | 305 |8948 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
303.70/303.71 c 279s|840000 |357926 | 0 | 0.0 | 284M| 160 | - | 305 |8927 | 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
306.70/306.76 c 281s|850000 |363776 | 0 | 0.0 | 289M| 160 | - | 305 |9139 | 0 | 0 | 0 | 740k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
309.90/309.95 c 284s|860000 |369350 | 0 | 0.0 | 294M| 160 | - | 305 |9610 | 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
313.00/313.08 c 287s|870000 |375189 | 0 | 0.0 | 298M| 160 | - | 305 |9792 | 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
315.99/316.05 c 290s|880000 |381057 | 0 | 0.0 | 303M| 160 | - | 305 | 10k| 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
319.19/319.30 c 293s|890000 |386635 | 0 | 0.0 | 307M| 160 | - | 305 | 10k| 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
322.30/322.31 c 296s|900000 |392379 | 0 | 0.0 | 312M| 160 | - | 305 | 10k| 0 | 0 | 0 | 778k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
325.70/325.75 c 299s|910000 |397765 | 0 | 0.0 | 317M| 160 | - | 305 | 10k| 0 | 0 | 0 | 785k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
329.30/329.35 c 302s|920000 |402885 | 0 | 0.0 | 321M| 160 | - | 305 | 10k| 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
333.10/333.13 c 306s|930000 |407866 | 0 | 0.0 | 326M| 160 | - | 305 | 10k| 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
336.80/336.88 c 309s|940000 |412757 | 0 | 0.0 | 331M| 160 | - | 305 | 11k| 0 | 0 | 0 | 811k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
340.70/340.79 c 313s|950000 |417654 | 0 | 0.0 | 335M| 160 | - | 305 | 11k| 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
344.60/344.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.60/344.68 c 316s|960000 |422299 | 0 | 0.0 | 340M| 160 | - | 305 | 12k| 0 | 0 | 0 | 828k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
348.90/348.99 c 320s|970000 |426746 | 0 | 0.0 | 345M| 160 | - | 305 | 11k| 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
351.60/351.60 o 28
351.60/351.60 c * 323s|975771 |287837 | 0 | 0.0 | 215M| 160 | - | 305 | 12k| 0 | 0 | 0 | 842k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
355.21/355.27 c 326s|980000 |287294 | 0 | 0.0 | 220M| 160 | - | 305 | 10k| 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
363.01/363.04 c 334s|990000 |286004 | 0 | 0.0 | 228M| 160 | - | 305 |9930 | 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
370.50/370.57 c 341s| 1000k|284330 | 0 | 0.0 | 233M| 160 | - | 305 | 11k| 0 | 0 | 0 | 885k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
379.20/379.27 c 349s| 1010k|282169 | 0 | 0.0 | 237M| 160 | - | 305 | 13k| 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
386.50/386.51 o 27
386.50/386.51 c * 356s| 1017k|279794 | 0 | 0.0 | 239M| 160 | - | 305 | 13k| 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
388.50/388.58 c 358s| 1020k|279080 | 0 | 0.0 | 239M| 160 | - | 305 | 13k| 0 | 0 | 0 | 923k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
397.90/397.97 c 367s| 1030k|275939 | 0 | 0.0 | 242M| 160 | - | 305 | 14k| 0 | 0 | 0 | 942k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
407.70/407.75 c 376s| 1040k|272920 | 0 | 0.0 | 243M| 160 | - | 305 | 15k| 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
418.51/418.52 c 386s| 1050k|268902 | 0 | 0.0 | 244M| 160 | - | 305 | 16k| 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
430.30/430.30 c 398s| 1060k|264582 | 0 | 0.0 | 244M| 160 | - | 305 | 18k| 0 | 0 | 0 | 999k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
443.30/443.33 c 410s| 1070k|259215 | 0 | 0.0 | 242M| 160 | - | 305 | 19k| 0 | 0 | 0 |1019k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
457.91/457.93 c 424s| 1080k|250707 | 0 | 0.0 | 236M| 160 | - | 305 | 21k| 0 | 0 | 0 |1039k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
469.30/469.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.30/469.37 c 435s| 1090k|245980 | 0 | 0.0 | 231M| 160 | - | 305 | 11k| 0 | 0 | 0 |1055k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
472.10/472.17 c 438s| 1100k|251006 | 0 | 0.0 | 231M| 160 | - | 305 |6428 | 0 | 0 | 0 |1064k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
477.31/477.33 c 443s| 1110k|251419 | 0 | 0.0 | 229M| 160 | - | 305 |7598 | 0 | 0 | 0 |1080k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
483.00/483.04 c 448s| 1120k|253374 | 0 | 0.0 | 233M| 160 | - | 305 |9737 | 0 | 0 | 0 |1094k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
490.00/490.04 c 455s| 1130k|254500 | 0 | 0.0 | 236M| 160 | - | 305 | 11k| 0 | 0 | 0 |1110k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
499.10/499.15 c 463s| 1140k|253717 | 0 | 0.0 | 240M| 160 | - | 305 | 12k| 0 | 0 | 0 |1128k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
509.41/509.48 c 473s| 1150k|251807 | 0 | 0.0 | 245M| 160 | - | 305 | 13k| 0 | 0 | 0 |1147k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
521.81/521.84 c 485s| 1160k|248626 | 0 | 0.0 | 249M| 160 | - | 305 | 16k| 0 | 0 | 0 |1168k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
534.81/534.86 c 498s| 1170k|245506 | 0 | 0.0 | 253M| 160 | - | 305 | 17k| 0 | 0 | 0 |1189k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
548.71/548.76 c 511s| 1180k|241420 | 0 | 0.0 | 255M| 160 | - | 305 | 17k| 0 | 0 | 0 |1210k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
563.12/563.12 c 525s| 1190k|236943 | 0 | 0.0 | 258M| 160 | - | 305 | 18k| 0 | 0 | 0 |1232k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
577.30/577.32 c 539s| 1200k|232851 | 0 | 0.0 | 261M| 160 | - | 305 | 19k| 0 | 0 | 0 |1253k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
591.61/591.63 c 553s| 1210k|228775 | 0 | 0.0 | 263M| 160 | - | 305 | 20k| 0 | 0 | 0 |1274k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
606.51/606.57 c 567s| 1220k|223868 | 0 | 0.0 | 264M| 160 | - | 305 | 20k| 0 | 0 | 0 |1296k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
622.11/622.16 c 583s| 1230k|218457 | 0 | 0.0 | 265M| 160 | - | 305 | 21k| 0 | 0 | 0 |1318k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
637.21/637.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.21/637.20 c 597s| 1240k|213520 | 0 | 0.0 | 264M| 160 | - | 305 | 21k| 0 | 0 | 0 |1340k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
646.81/646.88 o 17
646.81/646.88 c * 607s| 1246k|196902 | 0 | 0.0 | 253M| 160 | - | 305 | 22k| 0 | 0 | 0 |1353k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
653.20/653.30 c 613s| 1250k|194348 | 0 | 0.0 | 252M| 160 | - | 305 | 20k| 0 | 0 | 0 |1362k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
669.71/669.71 c 629s| 1260k|187492 | 0 | 0.0 | 249M| 160 | - | 305 | 21k| 0 | 0 | 0 |1387k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
685.11/685.16 c 644s| 1270k|181825 | 0 | 0.0 | 245M| 160 | - | 305 | 23k| 0 | 0 | 0 |1411k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
701.21/701.20 c 659s| 1280k|176194 | 0 | 0.0 | 241M| 160 | - | 305 | 24k| 0 | 0 | 0 |1434k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
716.61/716.61 c 674s| 1290k|171242 | 0 | 0.0 | 237M| 160 | - | 305 | 25k| 0 | 0 | 0 |1456k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
732.01/732.01 c 689s| 1300k|166598 | 0 | 0.0 | 234M| 160 | - | 305 | 26k| 0 | 0 | 0 |1477k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
748.71/748.76 c 706s| 1310k|160887 | 0 | 0.0 | 229M| 160 | - | 305 | 24k| 0 | 0 | 0 |1498k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
764.21/764.20 c 721s| 1320k|156350 | 0 | 0.0 | 224M| 160 | - | 305 | 19k| 0 | 0 | 0 |1519k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
771.92/771.96 c 728s| 1330k|158330 | 0 | 0.0 | 221M| 160 | - | 305 | 17k| 0 | 0 | 0 |1533k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
777.01/777.01 c 733s| 1340k|162804 | 0 | 0.0 | 220M| 160 | - | 305 | 11k| 0 | 0 | 0 |1543k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
780.92/780.96 c 736s| 1350k|167915 | 0 | 0.0 | 223M| 160 | - | 305 | 10k| 0 | 0 | 0 |1552k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
785.51/785.50 c 741s| 1360k|172076 | 0 | 0.0 | 227M| 160 | - | 305 | 11k| 0 | 0 | 0 |1565k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
792.02/792.03 c 747s| 1370k|173839 | 0 | 0.0 | 230M| 160 | - | 305 | 12k| 0 | 0 | 0 |1581k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
795.41/795.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.41/795.42 c 750s| 1380k|178456 | 0 | 0.0 | 231M| 160 | - | 305 |7601 | 0 | 0 | 0 |1591k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
803.82/803.80 o 13
803.82/803.80 c * 758s| 1389k|164834 | 0 | 0.0 | 221M| 160 | - | 305 | 15k| 0 | 0 | 0 |1613k| 0 | 2.000000e+00 | 1.300000e+01 | 550.00%
804.12/804.19 c 758s| 1390k|164716 | 0 | 0.0 | 221M| 160 | - | 305 | 15k| 0 | 0 | 0 |1614k| 0 | 2.000000e+00 | 1.300000e+01 | 550.00%
824.41/824.45 c 778s| 1400k|156554 | 0 | 0.0 | 219M| 160 | - | 305 | 23k| 0 | 0 | 0 |1642k| 0 | 2.000000e+00 | 1.300000e+01 | 550.00%
849.22/849.21 c 802s| 1410k|147561 | 0 | 0.0 | 213M| 160 | - | 305 | 26k| 0 | 0 | 0 |1670k| 0 | 2.000000e+00 | 1.300000e+01 | 550.00%
872.71/872.72 o 12
872.71/872.72 c * 825s| 1419k|109031 | 0 | 0.0 | 163M| 160 | - | 305 | 27k| 0 | 0 | 0 |1694k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
876.32/876.38 c 829s| 1420k|107286 | 0 | 0.0 | 161M| 160 | - | 305 | 25k| 0 | 0 | 0 |1697k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
903.22/903.27 c 855s| 1430k| 83173 | 0 | 0.0 | 132M| 160 | - | 305 | 19k| 0 | 0 | 0 |1730k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
917.42/917.44 c 869s| 1440k| 78895 | 0 | 0.0 | 122M| 160 | - | 305 | 18k| 0 | 0 | 0 |1751k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
926.71/926.76 c 878s| 1450k| 79316 | 0 | 0.0 | 118M| 160 | - | 305 | 18k| 0 | 0 | 0 |1767k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
935.12/935.14 c 886s| 1460k| 81441 | 0 | 0.0 | 119M| 160 | - | 305 | 18k| 0 | 0 | 0 |1783k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
943.62/943.62 c 894s| 1470k| 83641 | 0 | 0.0 | 122M| 160 | - | 305 | 20k| 0 | 0 | 0 |1797k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
952.92/952.99 c 903s| 1480k| 84853 | 0 | 0.0 | 123M| 160 | - | 305 | 20k| 0 | 0 | 0 |1813k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
963.01/963.04 c 913s| 1490k| 85116 | 0 | 0.0 | 124M| 160 | - | 305 | 20k| 0 | 0 | 0 |1830k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
974.82/974.88 c 924s| 1500k| 83532 | 0 | 0.0 | 123M| 160 | - | 305 | 22k| 0 | 0 | 0 |1849k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
987.01/987.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.01/987.02 c 936s| 1510k| 82568 | 0 | 0.0 | 117M| 160 | - | 305 | 16k| 0 | 0 | 0 |1867k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
990.62/990.66 c 939s| 1520k| 88549 | 0 | 0.0 | 119M| 160 | - | 305 |9584 | 0 | 0 | 0 |1876k| 0 | 3.000000e+00 | 1.200000e+01 | 300.00%
994.42/994.43 c 943s| 1530k| 93721 | 0 | 0.0 | 123M| 160 | - | 305 | 11k| 0 | 0 | 0 |1887k| 0 | 3.000000e+00 | 1.200000e+01 | 300.00%
999.32/999.33 c 947s| 1540k| 97137 | 0 | 0.0 | 126M| 160 | - | 305 | 12k| 0 | 0 | 0 |1900k| 0 | 3.000000e+00 | 1.200000e+01 | 300.00%
1005.12/1005.16 c 953s| 1550k| 99038 | 0 | 0.0 | 126M| 160 | - | 305 |8839 | 0 | 0 | 0 |1913k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1011.12/1011.15 c 958s| 1560k| 97990 | 0 | 0.0 | 124M| 160 | - | 305 | 11k| 0 | 0 | 0 |1932k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1021.11/1021.13 c 968s| 1570k| 94810 | 0 | 0.0 | 116M| 160 | - | 305 | 18k| 0 | 0 | 0 |1955k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1034.42/1034.43 c 981s| 1580k| 94209 | 0 | 0.0 | 119M| 160 | - | 305 | 24k| 0 | 0 | 0 |1975k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1051.52/1051.54 c 998s| 1590k| 92212 | 0 | 0.0 | 122M| 160 | - | 305 | 29k| 0 | 0 | 0 |1995k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1071.12/1071.19 c 1017s| 1600k| 89194 | 0 | 0.0 | 123M| 160 | - | 305 | 34k| 0 | 0 | 0 |2017k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1094.43/1094.50 c 1040s| 1610k| 84556 | 0 | 0.0 | 121M| 160 | - | 305 | 37k| 0 | 0 | 0 |2039k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1115.83/1115.85 c 1061s| 1620k| 82200 | 0 | 0.0 | 112M| 160 | - | 305 | 22k| 0 | 0 | 0 |2059k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1122.92/1122.99 c 1068s| 1630k| 86397 | 0 | 0.0 | 113M| 160 | - | 305 | 15k| 0 | 0 | 0 |2072k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1129.22/1129.29 c 1074s| 1640k| 90133 | 0 | 0.0 | 117M| 160 | - | 305 | 15k| 0 | 0 | 0 |2085k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1136.02/1136.03 c 1080s| 1650k| 93263 | 0 | 0.0 | 120M| 160 | - | 305 | 17k| 0 | 0 | 0 |2099k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1143.53/1143.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.53/1143.57 c 1087s| 1660k| 95884 | 0 | 0.0 | 124M| 160 | - | 305 | 18k| 0 | 0 | 0 |2114k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1152.12/1152.14 c 1095s| 1670k| 97582 | 0 | 0.0 | 127M| 160 | - | 305 | 20k| 0 | 0 | 0 |2130k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1163.32/1163.35 c 1106s| 1680k| 96864 | 0 | 0.0 | 129M| 160 | - | 305 | 21k| 0 | 0 | 0 |2149k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1177.43/1177.42 c 1120s| 1690k| 93835 | 0 | 0.0 | 128M| 160 | - | 305 | 21k| 0 | 0 | 0 |2170k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1182.03/1182.08 c 1124s| 1700k| 99954 | 0 | 0.0 | 129M| 160 | - | 305 | 13k| 0 | 0 | 0 |2179k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1187.22/1187.22 c 1129s| 1710k|104256 | 0 | 0.0 | 133M| 160 | - | 305 | 16k| 0 | 0 | 0 |2190k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1196.22/1196.29 c 1138s| 1720k|104886 | 0 | 0.0 | 135M| 160 | - | 305 | 13k| 0 | 0 | 0 |2208k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1202.62/1202.68 c 1144s| 1730k|105931 | 0 | 0.0 | 133M| 160 | - | 305 |7285 | 0 | 0 | 0 |2224k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1211.93/1211.97 c 1153s| 1740k|101608 | 0 | 0.0 | 133M| 160 | - | 305 | 11k| 0 | 0 | 0 |2244k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1226.02/1226.07 c 1166s| 1750k| 89680 | 0 | 0.0 | 118M| 160 | - | 305 | 20k| 0 | 0 | 0 |2271k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1240.03/1240.03 c 1180s| 1760k| 86685 | 0 | 0.0 | 111M| 160 | - | 305 | 17k| 0 | 0 | 0 |2292k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1251.33/1251.37 c 1191s| 1770k| 86441 | 0 | 0.0 | 112M| 160 | - | 305 | 20k| 0 | 0 | 0 |2311k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1263.62/1263.66 c 1203s| 1780k| 86125 | 0 | 0.0 | 114M| 160 | - | 305 | 24k| 0 | 0 | 0 |2329k| 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
1278.13/1278.12 c 1217s| 1790k| 85096 | 0 | 0.0 | 117M| 160 | - | 305 | 27k| 0 | 0 | 0 |2349k| 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
1295.23/1295.24 c 1234s| 1800k| 83034 | 0 | 0.0 | 120M| 160 | - | 305 | 31k| 0 | 0 | 0 |2370k| 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
1317.84/1317.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.84/1317.85 c 1256s| 1810k| 77827 | 0 | 0.0 | 118M| 160 | - | 305 | 35k| 0 | 0 | 0 |2393k| 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
1340.43/1340.49 c 1278s| 1820k| 73285 | 0 | 0.0 | 113M| 160 | - | 305 | 29k| 0 | 0 | 0 |2414k| 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
1349.93/1349.90 c 1287s| 1830k| 77254 | 0 | 0.0 | 114M| 160 | - | 305 | 22k| 0 | 0 | 0 |2428k| 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
1352.63/1352.67 o 11
1352.63/1352.67 c *1290s| 1833k| 72219 | 0 | 0.0 | 108M| 160 | - | 305 | 21k| 0 | 0 | 0 |2433k| 0 | 5.000000e+00 | 1.100000e+01 | 120.00%
1358.03/1358.01 c 1295s| 1840k| 74510 | 0 | 0.0 | 110M| 160 | - | 305 | 21k| 0 | 0 | 0 |2443k| 0 | 5.000000e+00 | 1.100000e+01 | 120.00%
1366.53/1366.53 c 1303s| 1850k| 77463 | 0 | 0.0 | 113M| 160 | - | 305 | 21k| 0 | 0 | 0 |2458k| 0 | 5.000000e+00 | 1.100000e+01 | 120.00%
1376.42/1376.44 c 1313s| 1860k| 79069 | 0 | 0.0 | 117M| 160 | - | 305 | 23k| 0 | 0 | 0 |2475k| 0 | 5.000000e+00 | 1.100000e+01 | 120.00%
1389.83/1389.87 c 1326s| 1870k| 78555 | 0 | 0.0 | 119M| 160 | - | 305 | 26k| 0 | 0 | 0 |2494k| 0 | 5.000000e+00 | 1.100000e+01 | 120.00%
1407.63/1407.62 c 1343s| 1880k| 75239 | 0 | 0.0 | 116M| 160 | - | 305 | 21k| 0 | 0 | 0 |2516k| 0 | 5.000000e+00 | 1.100000e+01 | 120.00%
1412.73/1412.76 c 1348s| 1890k| 80622 | 0 | 0.0 | 114M| 160 | - | 305 |6295 | 0 | 0 | 0 |2527k| 0 | 5.000000e+00 | 1.100000e+01 | 120.00%
1417.03/1417.06 c 1352s| 1900k| 84600 | 0 | 0.0 | 117M| 160 | - | 305 |9208 | 0 | 0 | 0 |2540k| 0 | 5.000000e+00 | 1.100000e+01 | 120.00%
1423.63/1423.69 c 1358s| 1910k| 85653 | 0 | 0.0 | 120M| 160 | - | 305 | 11k| 0 | 0 | 0 |2556k| 0 | 5.000000e+00 | 1.100000e+01 | 120.00%
1432.43/1432.44 c 1366s| 1920k| 82111 | 0 | 0.0 | 111M| 160 | - | 305 | 15k| 0 | 0 | 0 |2577k| 0 | 5.000000e+00 | 1.100000e+01 | 120.00%
1453.04/1453.06 c 1387s| 1930k| 70114 | 0 | 0.0 | 95M| 160 | - | 305 | 24k| 0 | 0 | 0 |2606k| 0 | 5.000000e+00 | 1.100000e+01 | 120.00%
1466.93/1466.96 c 1400s| 1940k| 69326 | 0 | 0.0 | 94M| 160 | - | 305 | 23k| 0 | 0 | 0 |2626k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1481.73/1481.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.73/1481.71 c 1414s| 1950k| 67965 | 0 | 0.0 | 97M| 160 | - | 305 | 24k| 0 | 0 | 0 |2647k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1498.94/1498.94 c 1431s| 1960k| 65730 | 0 | 0.0 | 99M| 160 | - | 305 | 28k| 0 | 0 | 0 |2668k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1518.93/1518.95 c 1451s| 1970k| 62637 | 0 | 0.0 | 100M| 160 | - | 305 | 32k| 0 | 0 | 0 |2690k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1543.34/1543.36 c 1475s| 1980k| 58042 | 0 | 0.0 | 100M| 160 | - | 305 | 38k| 0 | 0 | 0 |2713k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1564.84/1564.86 c 1496s| 1990k| 56529 | 0 | 0.0 | 88M| 160 | - | 305 | 16k| 0 | 0 | 0 |2731k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1568.44/1568.40 c 1499s| 2000k| 63213 | 0 | 0.0 | 91M| 160 | - | 305 | 11k| 0 | 0 | 0 |2742k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1572.74/1572.79 c 1504s| 2010k| 68982 | 0 | 0.0 | 96M| 160 | - | 305 | 14k| 0 | 0 | 0 |2755k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1578.04/1578.09 c 1509s| 2020k| 74241 | 0 | 0.0 | 100M| 160 | - | 305 | 15k| 0 | 0 | 0 |2768k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1584.63/1584.65 c 1515s| 2030k| 78361 | 0 | 0.0 | 103M| 160 | - | 305 | 16k| 0 | 0 | 0 |2784k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1593.74/1593.77 c 1524s| 2040k| 80309 | 0 | 0.0 | 107M| 160 | - | 305 | 19k| 0 | 0 | 0 |2803k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1605.74/1605.78 c 1535s| 2050k| 79952 | 0 | 0.0 | 110M| 160 | - | 305 | 20k| 0 | 0 | 0 |2825k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1620.14/1620.12 c 1549s| 2060k| 77076 | 0 | 0.0 | 109M| 160 | - | 305 | 17k| 0 | 0 | 0 |2846k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1626.04/1626.00 c 1555s| 2070k| 80857 | 0 | 0.0 | 108M| 160 | - | 305 |9573 | 0 | 0 | 0 |2860k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1631.14/1631.20 c 1560s| 2080k| 83586 | 0 | 0.0 | 108M| 160 | - | 305 | 10k| 0 | 0 | 0 |2874k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1637.34/1637.38 c 1565s| 2090k| 85068 | 0 | 0.0 | 109M| 160 | - | 305 | 12k| 0 | 0 | 0 |2890k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1645.94/1645.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.94/1645.91 c 1574s| 2100k| 84167 | 0 | 0.0 | 108M| 160 | - | 305 | 15k| 0 | 0 | 0 |2907k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1659.54/1659.53 c 1587s| 2110k| 78918 | 0 | 0.0 | 102M| 160 | - | 305 | 22k| 0 | 0 | 0 |2930k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1677.54/1677.59 c 1604s| 2120k| 72900 | 0 | 0.0 | 84M| 160 | - | 305 | 18k| 0 | 0 | 0 |2951k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1683.24/1683.28 c 1610s| 2130k| 77779 | 0 | 0.0 | 85M| 160 | - | 305 | 14k| 0 | 0 | 0 |2963k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1689.83/1689.83 c 1616s| 2140k| 81659 | 0 | 0.0 | 86M| 160 | - | 305 | 16k| 0 | 0 | 0 |2978k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1697.84/1697.89 c 1624s| 2150k| 84884 | 0 | 0.0 | 90M| 160 | - | 305 | 19k| 0 | 0 | 0 |2996k| 0 | 8.000000e+00 | 1.100000e+01 | 37.50%
1708.84/1708.83 c 1634s| 2160k| 87083 | 0 | 0.0 | 96M| 160 | - | 305 | 25k| 0 | 0 | 0 |3016k| 0 | 8.000000e+00 | 1.100000e+01 | 37.50%
1722.65/1722.68 c 1648s| 2170k| 88562 | 0 | 0.0 | 100M| 160 | - | 305 | 27k| 0 | 0 | 0 |3037k| 0 | 8.000000e+00 | 1.100000e+01 | 37.50%
1737.74/1737.76 c 1663s| 2180k| 89455 | 0 | 0.0 | 104M| 160 | - | 305 | 31k| 0 | 0 | 0 |3060k| 0 | 8.000000e+00 | 1.100000e+01 | 37.50%
1754.34/1754.32 c 1679s| 2190k| 89960 | 0 | 0.0 | 108M| 160 | - | 305 | 32k| 0 | 0 | 0 |3082k| 0 | 8.000000e+00 | 1.100000e+01 | 37.50%
1772.14/1772.15 c 1696s| 2200k| 89721 | 0 | 0.0 | 111M| 160 | - | 305 | 33k| 0 | 0 | 0 |3106k| 0 | 8.000000e+00 | 1.100000e+01 | 37.50%
1789.85/1789.85 c 1714s| 2210k| 89564 | 0 | 0.0 | 114M| 160 | - | 305 | 34k| 0 | 0 | 0 |3129k| 0 | 8.000000e+00 | 1.100000e+01 | 37.50%
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) : 1723.61
1800.05/1800.00 c Solving Nodes : 2215543
1800.05/1800.00 c Primal Bound : +1.10000000000000e+01 (15 solutions)
1800.05/1800.00 c Dual Bound : +8.00000000000000e+00
1800.05/1800.00 c Gap : 37.50 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.05/1800.00 v -x147 x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.05/1800.00 v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.05/1800.00 v -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82
1800.05/1800.00 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
1800.05/1800.00 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31
1800.05/1800.00 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5
1800.05/1800.00 v -x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1723.61
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693868-1277896191.wbo
1800.05/1800.00 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.05/1800.00 c Constraints : 171 initial, 171 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693868-1277896191.wbo
1800.05/1800.00 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.05/1800.00 c Constraints : 166 initial, 41657 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 68 0 4 1 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 14 - - 28 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 68 0 5950767 0 1460627 5004 2152303 0 0 0
1800.05/1800.00 c setppc : 20 0 6500309 0 1569090 34863 5198757 0 0 0
1800.05/1800.00 c linear : 68 0 6465534 0 1569119 764870 30594876 0 0 0
1800.05/1800.00 c logicor : 10+ 0 3179873 0 1569091 148808 2073542 0 0 0
1800.05/1800.00 c bounddisjunction : 0+ 0 460278 0 0 79 6027 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1569134 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 2.49 0.00 1.53 0.00 0.96
1800.05/1800.00 c setppc : 13.37 0.00 10.36 0.00 3.01
1800.05/1800.00 c linear : 154.54 0.00 154.43 0.00 0.11
1800.05/1800.00 c logicor : 736.13 0.00 735.07 0.00 1.06
1800.05/1800.00 c bounddisjunction : 13.02 0.00 13.02 0.00 0.00
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.00 2 0 0
1800.05/1800.00 c rootredcost : 0.00 0 0 0
1800.05/1800.00 c pseudoobj : 12.64 6511204 5976 1828370
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 52.99 954595 954556 5206880 25.8 460976 14.1 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 74 74 214 10.9 25 12.9 -
1800.05/1800.00 c applied globally : - - - 3058917 17.9 - - -
1800.05/1800.00 c applied locally : - - - 83781 36.7 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 11.41 1569119 0 0 0 0 3138238
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.48 - 15
1800.05/1800.00 c oneopt : 0.03 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.00 0 0
1800.05/1800.00 c trysol : 0.00 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2215543
1800.05/1800.00 c nodes (total) : 2215543
1800.05/1800.00 c nodes left : 89416
1800.05/1800.00 c max depth : 160
1800.05/1800.00 c max depth (total): 160
1800.05/1800.00 c backtracks : 727586 (32.8%)
1800.05/1800.00 c delayed cutoffs : 560804
1800.05/1800.00 c repropagations : 2409000 (12033634 domain reductions, 313265 cutoffs)
1800.05/1800.00 c avg switch length: 21.70
1800.05/1800.00 c switching time : 583.40
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 15 (15 improvements)
1800.05/1800.00 c First Solution : +5.10000000000000e+02 (in run 1, after 158124 nodes, 59.93 seconds, depth 151, found by <relaxation>)
1800.05/1800.00 c Primal Bound : +1.10000000000000e+01 (in run 1, after 1833401 nodes, 1289.71 seconds, depth 72, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +8.00000000000000e+00
1800.05/1800.00 c Gap : 37.50 %
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
1800.24/1800.26 c Time complete: 1800.3.
OK 11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693868-1277896191/watcher-2693868-1277896191 -o /tmp/evaluation-result-2693868-1277896191/solver-2693868-1277896191 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693868-1277896191.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.99 1.99 4/200 11600 /proc/meminfo: memFree=31374416/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=8252 CPUtime=0 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 1540 0 0 0 0 0 0 0 21 0 1 0 130914782 8450048 1462 4089446400 4194304 7136930 140735485652816 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/11600/statm: 2063 1462 275 719 0 1342 0 [startup+0.081834 s] /proc/loadavg: 1.92 1.99 1.99 4/200 11600 /proc/meminfo: memFree=31374416/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=12788 CPUtime=0.07 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 4708 0 0 0 6 1 0 0 21 0 1 0 130914782 13094912 2478 4089446400 4194304 7136930 140735485652816 18446744073709551615 4660637 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11600/statm: 3197 2478 395 719 0 2476 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12788 [startup+0.10083 s] /proc/loadavg: 1.92 1.99 1.99 4/200 11600 /proc/meminfo: memFree=31374416/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=12924 CPUtime=0.09 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 4766 0 0 0 7 2 0 0 21 0 1 0 130914782 13234176 2536 4089446400 4194304 7136930 140735485652816 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11600/statm: 3231 2536 395 719 0 2510 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12924 [startup+0.300794 s] /proc/loadavg: 1.92 1.99 1.99 4/200 11600 /proc/meminfo: memFree=31374416/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=14908 CPUtime=0.29 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 5257 0 0 0 22 7 0 0 21 0 1 0 130914782 15265792 3027 4089446400 4194304 7136930 140735485652816 18446744073709551615 6215584 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11600/statm: 3727 3027 395 719 0 3006 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14908 [startup+0.700721 s] /proc/loadavg: 1.92 1.99 1.99 4/200 11600 /proc/meminfo: memFree=31374416/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=18208 CPUtime=0.69 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 6087 0 0 0 54 15 0 0 22 0 1 0 130914782 18644992 3857 4089446400 4194304 7136930 140735485652816 18446744073709551615 4210441 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11600/statm: 4552 3857 395 719 0 3831 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18208 [startup+1.50062 s] /proc/loadavg: 1.92 1.99 1.99 3/201 11601 /proc/meminfo: memFree=31359408/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=22100 CPUtime=1.49 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 7081 0 0 0 120 29 0 0 25 0 1 0 130914782 22630400 4851 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 5525 4851 395 719 0 4804 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22100 [startup+3.10103 s] /proc/loadavg: 1.92 1.99 1.99 3/201 11601 /proc/meminfo: memFree=31355812/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=28116 CPUtime=3.08 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 8568 0 0 0 262 46 0 0 25 0 1 0 130914782 28790784 6338 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 7029 6338 395 719 0 6308 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 28116 [startup+6.30074 s] /proc/loadavg: 1.93 1.99 1.99 3/201 11601 /proc/meminfo: memFree=31344464/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=36836 CPUtime=6.29 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 10755 0 0 0 553 76 0 0 25 0 1 0 130914782 37720064 8525 4089446400 4194304 7136930 140735485652816 18446744073709551615 4999847 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 9209 8525 395 719 0 8488 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36836 [startup+12.7006 s] /proc/loadavg: 1.93 1.99 1.99 3/201 11601 /proc/meminfo: memFree=31333052/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=45964 CPUtime=12.69 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 13048 0 0 0 1142 127 0 0 25 0 1 0 130914782 47067136 10818 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 11491 10818 395 719 0 10770 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45964 [startup+25.5002 s] /proc/loadavg: 1.95 1.99 1.99 3/201 11601 /proc/meminfo: memFree=31311676/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=64668 CPUtime=25.49 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 17730 0 0 0 2315 234 0 0 25 0 1 0 130914782 66220032 15500 4089446400 4194304 7136930 140735485652816 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 16167 15500 395 719 0 15446 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 64668 [startup+51.1006 s] /proc/loadavg: 1.96 1.99 1.99 3/201 11602 /proc/meminfo: memFree=31289700/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=75768 CPUtime=51.09 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 20466 0 0 0 4770 339 0 0 25 0 1 0 130914782 77586432 18236 4089446400 4194304 7136930 140735485652816 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 18942 18236 395 719 0 18221 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 75768 [startup+102.306 s] /proc/loadavg: 2.12 2.03 2.01 3/201 11603 /proc/meminfo: memFree=31221836/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=137092 CPUtime=102.3 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 35712 0 0 0 9417 813 0 0 25 0 1 0 130914782 140382208 33482 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 34273 33482 395 719 0 33552 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 137092 [startup+162.3 s] /proc/loadavg: 2.09 2.04 2.01 3/201 11605 /proc/meminfo: memFree=31178252/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=184584 CPUtime=162.29 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 46576 0 0 0 14871 1358 0 0 25 0 1 0 130914782 189014016 44346 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 46146 44346 398 719 0 45425 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 184584 [startup+222.3 s] /proc/loadavg: 2.10 2.04 2.01 3/201 11607 /proc/meminfo: memFree=31082224/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=277784 CPUtime=222.3 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 69766 0 0 0 20380 1850 0 0 25 0 1 0 130914782 284450816 67536 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 69446 67536 398 719 0 68725 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 277784 [startup+282.301 s] /proc/loadavg: 2.04 2.03 2.00 3/201 11608 /proc/meminfo: memFree=31021040/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=332120 CPUtime=282.3 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 83432 0 0 0 25953 2277 0 0 25 0 1 0 130914782 340090880 81202 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 83030 81202 398 719 0 82309 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 332120 [startup+342.301 s] /proc/loadavg: 2.04 2.04 2.00 3/201 11609 /proc/meminfo: memFree=30933432/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=413760 CPUtime=342.3 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 104047 0 0 0 31401 2829 0 0 25 0 1 0 130914782 423690240 101817 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 103440 101817 398 719 0 102719 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 413760 [startup+402.301 s] /proc/loadavg: 2.01 2.03 2.00 3/201 11611 /proc/meminfo: memFree=30922104/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=424660 CPUtime=402.3 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 106802 0 0 0 37091 3139 0 0 25 0 1 0 130914782 434851840 104572 4089446400 4194304 7136930 140735485652816 18446744073709551615 4999661 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 106165 104572 398 719 0 105444 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 424660 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/201 11613 /proc/meminfo: memFree=30918832/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=425648 CPUtime=462.3 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 107050 0 0 0 42858 3372 0 0 25 0 1 0 130914782 435863552 104820 4089446400 4194304 7136930 140735485652816 18446744073709551615 5955558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 106412 104820 398 719 0 105691 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 425648 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/201 11615 /proc/meminfo: memFree=30905144/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=429848 CPUtime=522.31 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 108044 0 0 0 48570 3661 0 0 25 0 1 0 130914782 440164352 105814 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 107462 105814 398 719 0 106741 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 429848 [startup+582.301 s] /proc/loadavg: 2.00 2.01 2.00 3/201 11616 /proc/meminfo: memFree=30895048/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=435072 CPUtime=582.31 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 109336 0 0 0 54387 3844 0 0 25 0 1 0 130914782 445513728 107106 4089446400 4194304 7136930 140735485652816 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 108768 107106 398 719 0 108047 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 435072 [startup+642.301 s] /proc/loadavg: 2.07 2.02 2.00 3/201 11617 /proc/meminfo: memFree=30882236/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=444848 CPUtime=642.31 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 111757 0 0 0 60219 4012 0 0 25 0 1 0 130914782 455524352 109527 4089446400 4194304 7136930 140735485652816 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 111212 109527 398 719 0 110491 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 444848 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.01 2.00 3/201 11624 /proc/meminfo: memFree=30868548/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=449468 CPUtime=882.32 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 112906 0 0 0 83466 4766 0 0 25 0 1 0 130914782 460255232 110676 4089446400 4194304 7136930 140735485652816 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 112367 110676 398 719 0 111646 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 449468 [startup+942.3 s] /proc/loadavg: 2.06 2.02 2.00 3/201 11625 /proc/meminfo: memFree=30855724/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=449468 CPUtime=942.32 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 112907 0 0 0 89266 4966 0 0 25 0 1 0 130914782 460255232 110677 4089446400 4194304 7136930 140735485652816 18446744073709551615 4210335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 112367 110677 398 719 0 111646 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 449468 [startup+1002.3 s] /proc/loadavg: 2.02 2.01 2.00 3/201 11627 /proc/meminfo: memFree=30846264/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=449468 CPUtime=1002.32 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 112908 0 0 0 95005 5227 0 0 25 0 1 0 130914782 460255232 110678 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 112367 110678 398 719 0 111646 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 449468 [startup+1062.3 s] /proc/loadavg: 2.01 2.01 2.00 3/201 11629 /proc/meminfo: memFree=30845716/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=450188 CPUtime=1062.32 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113041 0 0 0 100813 5419 0 0 25 0 1 0 130914782 460992512 110811 4089446400 4194304 7136930 140735485652816 18446744073709551615 4349986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 112547 110811 398 719 0 111826 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 450188 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/201 11631 /proc/meminfo: memFree=30844320/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=451500 CPUtime=1122.33 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113276 0 0 0 106686 5547 0 0 25 0 1 0 130914782 462336000 111046 4089446400 4194304 7136930 140735485652816 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 112875 111046 398 719 0 112154 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 451500 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/201 11632 /proc/meminfo: memFree=30844028/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=451996 CPUtime=1182.32 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113322 0 0 0 112439 5793 0 0 25 0 1 0 130914782 462843904 111092 4089446400 4194304 7136930 140735485652816 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 112999 111092 398 719 0 112278 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 451996 [startup+1242.3 s] /proc/loadavg: 2.08 2.03 2.01 3/201 11633 /proc/meminfo: memFree=30843488/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=451996 CPUtime=1242.33 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113322 0 0 0 118206 6027 0 0 25 0 1 0 130914782 462843904 111092 4089446400 4194304 7136930 140735485652816 18446744073709551615 4210101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 112999 111092 398 719 0 112278 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 451996 [startup+1302.3 s] /proc/loadavg: 2.10 2.05 2.01 3/201 11635 /proc/meminfo: memFree=30843084/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=452656 CPUtime=1302.34 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113382 0 0 0 124050 6184 0 0 25 0 1 0 130914782 463519744 111152 4089446400 4194304 7136930 140735485652816 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 113164 111152 398 719 0 112443 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 452656 [startup+1362.3 s] /proc/loadavg: 2.08 2.05 2.01 3/201 11640 /proc/meminfo: memFree=30838828/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=452656 CPUtime=1362.33 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113388 0 0 0 129898 6335 0 0 25 0 1 0 130914782 463519744 111158 4089446400 4194304 7136930 140735485652816 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 113164 111158 398 719 0 112443 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 452656 [startup+1422.31 s] /proc/loadavg: 2.11 2.06 2.01 3/201 11642 /proc/meminfo: memFree=30834700/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=452656 CPUtime=1422.33 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113396 0 0 0 135682 6551 0 0 25 0 1 0 130914782 463519744 111166 4089446400 4194304 7136930 140735485652816 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 113164 111166 398 719 0 112443 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 452656 [startup+1482.3 s] /proc/loadavg: 2.04 2.05 2.00 3/201 11643 /proc/meminfo: memFree=30833672/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=453052 CPUtime=1482.33 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113453 0 0 0 141504 6729 0 0 25 0 1 0 130914782 463925248 111223 4089446400 4194304 7136930 140735485652816 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 113263 111223 398 719 0 112542 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 453052 [startup+1542.3 s] /proc/loadavg: 2.01 2.03 2.00 3/201 11644 /proc/meminfo: memFree=30831784/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=453364 CPUtime=1542.33 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113540 0 0 0 147392 6841 0 0 25 0 1 0 130914782 464244736 111310 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 113341 111310 398 719 0 112620 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 453364 [startup+1602.3 s] /proc/loadavg: 2.00 2.03 2.00 3/201 11646 /proc/meminfo: memFree=30831368/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=453364 CPUtime=1602.34 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113550 0 0 0 153184 7050 0 0 25 0 1 0 130914782 464244736 111320 4089446400 4194304 7136930 140735485652816 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 113341 111320 398 719 0 112620 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 453364 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/201 11648 /proc/meminfo: memFree=30819412/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=453364 CPUtime=1662.34 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113550 0 0 0 158950 7284 0 0 25 0 1 0 130914782 464244736 111320 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11600/statm: 113341 111320 398 719 0 112620 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 453364 [startup+1722.3 s] /proc/loadavg: 1.93 2.00 1.99 3/201 11725 /proc/meminfo: memFree=30994444/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=454000 CPUtime=1722.34 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113655 0 0 0 164761 7473 0 0 25 0 1 0 130914782 464896000 111425 4089446400 4194304 7136930 140735485652816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11600/statm: 113500 111425 398 719 0 112779 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 454000 [startup+1782.3 s] /proc/loadavg: 1.97 2.00 1.99 3/201 11726 /proc/meminfo: memFree=30932032/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=454000 CPUtime=1782.34 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113717 0 0 0 170625 7609 0 0 25 0 1 0 130914782 464896000 111487 4089446400 4194304 7136930 140735485652816 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11600/statm: 113500 111487 398 719 0 112779 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 454000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.01 2.00 3/201 11727 /proc/meminfo: memFree=30929044/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=454000 CPUtime=1800.05 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113717 0 0 0 172361 7644 0 0 25 0 1 0 130914782 464896000 111487 4089446400 4194304 7136930 140735485652816 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11600/statm: 113500 111487 398 719 0 112779 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 454000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.05 2.01 2.00 3/201 11727 /proc/meminfo: memFree=30929044/32951124 swapFree=67111528/67111528 [pid=11600] ppid=11598 vsize=420536 CPUtime=1800.24 /proc/11600/stat : 11600 (pbscip.linux.x8) R 11598 11600 9712 0 -1 4202496 113729 0 0 0 172380 7644 0 0 18 0 1 0 130914782 430628864 103133 4089446400 4194304 7136930 140735485652816 18446744073709551615 6165663 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/11600/statm: 105134 103133 403 719 0 104413 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 420536 Child status: 0 Real time (s): 1800.26 CPU time (s): 1800.31 CPU user time (s): 1723.85 CPU system time (s): 76.4644 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 454000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1723.85 system time used= 76.4644 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113736 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 4248 runsolver used 3.2595 second user time and 6.52901 second system time The end
Begin job on node133 at 2010-06-30 13:09:51 IDJOB=2693868 IDBENCH=78774 IDSOLVER=1206 FILE ID=node133/2693868-1277896191 PBS_JOBID= 11197088 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968561--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-2693868-1277896191/watcher-2693868-1277896191 -o /tmp/evaluation-result-2693868-1277896191/solver-2693868-1277896191 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693868-1277896191.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8c7284b7ccf7c3e8bad0ea1f2a54ab5e RANDOM SEED=1139594345 node133.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.821 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.64 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.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 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 : 7296.74 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.821 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.74 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.821 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.74 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.821 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.74 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.821 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: 32951124 kB MemFree: 31374696 kB Buffers: 176744 kB Cached: 975404 kB SwapCached: 0 kB Active: 796352 kB Inactive: 636592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31374696 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3176 kB Writeback: 0 kB AnonPages: 281032 kB Mapped: 20256 kB Slab: 78196 kB PageTables: 5412 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657976 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 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 node133 at 2010-06-30 13:39:54