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.14 | 1802.08 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo |
| MD5SUM | 30e25559b2b6f1151f21e207b2f87b54 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 667.905 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 136614 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136613 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 739 |
| 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-2693655-1277928894.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12 o 136613
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.366130e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 2707 implications, 0 cliques
0.09/0.19 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19 c 2707 constraints of type <indicator>
0.09/0.19 c 2707 constraints of type <linear>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.13
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = -1
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.366130e+05 | Inf
3.20/3.25 c 3.0s| 10000 | 9616 | 0 | 0.0 | 24M|2816 | - |5645 |6631 | 0 | 0 | 0 |1217 | 0 | 0.000000e+00 | 1.366130e+05 | Inf
4.49/4.54 o 438
4.49/4.54 c * 4.3s| 14135 | 8831 | 0 | 0.0 | 25M|2816 | - |5645 |6732 | 0 | 0 | 0 |1318 | 0 | 0.000000e+00 | 4.380000e+02 | Inf
4.49/4.54 o 411
4.49/4.54 c * 4.3s| 14136 | 8505 | 0 | 0.0 | 24M|2816 | - |5645 |6732 | 0 | 0 | 0 |1318 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
4.49/4.59 o 408
4.49/4.59 c * 4.3s| 14247 | 8614 | 0 | 0.0 | 24M|2816 | - |5645 |6732 | 0 | 0 | 0 |1318 | 0 | 0.000000e+00 | 4.080000e+02 | Inf
4.59/4.60 o 382
4.59/4.60 c * 4.3s| 14251 | 8610 | 0 | 0.0 | 24M|2816 | - |5645 |6742 | 0 | 0 | 0 |1328 | 0 | 0.000000e+00 | 3.820000e+02 | Inf
4.59/4.64 o 374
4.59/4.64 c * 4.4s| 14363 | 8715 | 0 | 0.0 | 24M|2816 | - |5645 |6762 | 0 | 0 | 0 |1348 | 0 | 0.000000e+00 | 3.740000e+02 | Inf
4.59/4.69 o 317
4.59/4.69 c * 4.4s| 14484 | 7910 | 0 | 0.0 | 24M|2816 | - |5645 |6762 | 0 | 0 | 0 |1348 | 0 | 0.000000e+00 | 3.170000e+02 | Inf
4.59/4.69 o 257
4.59/4.69 c * 4.4s| 14485 | 6381 | 0 | 0.0 | 24M|2816 | - |5645 |6762 | 0 | 0 | 0 |1348 | 0 | 0.000000e+00 | 2.570000e+02 | Inf
6.60/6.62 c 6.2s| 20000 | 11044 | 0 | 0.0 | 31M|2816 | - |5645 |7902 | 0 | 0 | 0 |4923 | 0 | 0.000000e+00 | 2.570000e+02 | Inf
10.59/10.68 c 10.1s| 30000 | 18556 | 0 | 0.0 | 42M|2816 | - |5645 |8745 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
14.29/14.34 o 216
14.29/14.34 c *13.5s| 35745 | 21497 | 0 | 0.0 | 49M|2816 | - |5645 |9959 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
14.69/14.72 o 201
14.69/14.72 c *13.9s| 36365 | 21960 | 0 | 0.0 | 49M|2816 | - |5645 |9715 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
15.18/15.23 o 186
15.18/15.23 c *14.4s| 37220 | 22693 | 0 | 0.0 | 50M|2816 | - |5645 |9447 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
15.69/15.71 o 152
15.69/15.71 c *14.8s| 38119 | 23000 | 0 | 0.0 | 50M|2816 | - |5645 |9327 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
15.69/15.72 o 150
15.69/15.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.69/15.72 c *14.8s| 38120 | 22983 | 0 | 0.0 | 50M|2816 | - |5645 |9327 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
16.19/16.20 o 144
16.19/16.20 c *15.3s| 38809 | 23552 | 0 | 0.0 | 51M|2816 | - |5645 |9360 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
16.19/16.20 o 99
16.19/16.20 c *15.3s| 38810 | 22904 | 0 | 0.0 | 50M|2816 | - |5645 |9360 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
16.19/16.26 o 95
16.19/16.26 c *15.4s| 38857 | 22743 | 0 | 0.0 | 50M|2816 | - |5645 |9361 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
17.08/17.11 c 16.2s| 40000 | 23775 | 0 | 0.0 | 53M|2816 | - |5645 |8793 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
18.09/18.11 o 70
18.09/18.11 c *17.1s| 41400 | 23807 | 0 | 0.0 | 54M|2816 | - |5645 |8396 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
19.59/19.70 o 63
19.59/19.70 c *18.6s| 43763 | 25620 | 0 | 0.0 | 61M|2816 | - |5645 |8033 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
21.69/21.79 o 62
21.69/21.79 c *20.6s| 46476 | 27813 | 0 | 0.0 | 73M|2816 | - |5645 |8443 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
24.29/24.35 c 23.1s| 50000 | 30855 | 0 | 0.0 | 83M|2816 | - |5645 |7275 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
29.89/29.92 c 28.4s| 60000 | 39397 | 0 | 0.0 | 97M|2816 | - |5645 |8646 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
31.89/31.91 o 61
31.89/31.91 c *30.2s| 64580 | 43262 | 0 | 0.0 | 101M|2816 | - |5645 |8400 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
33.29/33.38 o 45
33.29/33.38 c *31.6s| 68058 | 45093 | 0 | 0.0 | 100M|2816 | - |5645 |8517 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
34.10/34.17 c 32.3s| 70000 | 46700 | 0 | 0.0 | 102M|2816 | - |5645 |8884 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
38.09/38.19 c 36.1s| 80000 | 55062 | 0 | 0.0 | 112M|2816 | - |5645 |6934 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
42.59/42.65 c 40.3s| 90000 | 62599 | 0 | 0.0 | 123M|2816 | - |5645 |7845 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
47.69/47.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.69/47.78 c 45.2s|100000 | 69555 | 0 | 0.0 | 134M|2816 | - |5645 |8693 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
53.79/53.81 c 50.9s|110000 | 75716 | 0 | 0.0 | 147M|2816 | - |5645 |9159 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
60.40/60.47 c 57.3s|120000 | 81320 | 0 | 0.0 | 159M|2816 | - |5645 |9835 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
67.20/67.22 c 63.8s|130000 | 86839 | 0 | 0.0 | 171M|2816 | - |5645 | 10k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
74.00/74.05 c 70.3s|140000 | 92290 | 0 | 0.0 | 183M|2816 | - |5645 | 10k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
81.19/81.21 c 77.2s|150000 | 97447 | 0 | 0.0 | 195M|2816 | - |5645 | 11k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
89.69/89.75 c 85.4s|160000 |101478 | 0 | 0.0 | 207M|2816 | - |5645 | 12k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
99.69/99.76 c 95.1s|170000 |104318 | 0 | 0.0 | 218M|2816 | - |5645 | 13k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
108.80/108.90 c 104s|180000 |109449 | 0 | 0.0 | 226M|2816 | - |5645 |6932 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
115.29/115.37 c 110s|190000 |117689 | 0 | 0.0 | 240M|2816 | - |5645 |7936 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
121.60/121.65 o 32
121.60/121.65 c * 116s|196066 |119593 | 0 | 0.0 | 234M|2816 | - |5645 |6109 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
125.49/125.50 c 120s|200000 |121656 | 0 | 0.0 | 241M|2816 | - |5645 |6350 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
128.70/128.75 o 31
128.70/128.75 c * 123s|206420 |126891 | 0 | 0.0 | 248M|2816 | - |5645 |6874 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
130.99/131.08 c 125s|210000 |129631 | 0 | 0.0 | 253M|2816 | - |5645 |7629 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
138.19/138.24 c 132s|220000 |136099 | 0 | 0.0 | 266M|2816 | - |5645 |7220 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
141.09/141.15 o 28
141.09/141.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.09/141.15 c * 134s|225826 |140669 | 0 | 0.0 | 270M|2816 | - |5645 |7528 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
142.10/142.11 o 23
142.10/142.11 c * 135s|227323 |141280 | 0 | 0.0 | 266M|2816 | - |5645 |7632 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
143.70/143.76 c 137s|230000 |143381 | 0 | 0.0 | 270M|2816 | - |5645 |7815 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
150.60/150.61 c 144s|240000 |150529 | 0 | 0.0 | 283M|2816 | - |5645 |8883 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
158.20/158.22 c 151s|250000 |156680 | 0 | 0.0 | 293M|2816 | - |5645 |8175 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
163.69/163.73 c 156s|260000 |164397 | 0 | 0.0 | 306M|2816 | - |5645 | 10k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
169.79/169.85 c 162s|270000 |171705 | 0 | 0.0 | 317M|2816 | - |5645 |9496 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
176.30/176.37 c 168s|280000 |178947 | 0 | 0.0 | 331M|2816 | - |5645 | 10k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
183.00/183.07 c 175s|290000 |185748 | 0 | 0.0 | 343M|2816 | - |5645 | 12k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
189.10/189.18 c 181s|300000 |193020 | 0 | 0.0 | 354M|2816 | - |5645 | 11k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
189.69/189.79 o 21
189.69/189.79 c * 181s|300910 |193465 | 0 | 0.0 | 353M|2816 | - |5645 | 10k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
196.00/196.03 c 187s|310000 |199160 | 0 | 0.0 | 362M|2816 | - |5645 |8833 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
200.10/200.16 c 191s|320000 |207530 | 0 | 0.0 | 372M|2816 | - |5645 |9312 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
205.49/205.60 c 196s|330000 |214730 | 0 | 0.0 | 382M|2816 | - |5645 | 10k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
212.00/212.00 c 202s|340000 |220636 | 0 | 0.0 | 392M|2816 | - |5645 |9574 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
216.70/216.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.70/216.74 c 207s|350000 |228434 | 0 | 0.0 | 402M|2816 | - |5645 |9885 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
222.21/222.22 c 212s|360000 |235367 | 0 | 0.0 | 413M|2816 | - |5645 | 10k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
228.10/228.15 c 218s|370000 |241579 | 0 | 0.0 | 423M|2816 | - |5645 |9770 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
232.80/232.88 c 222s|380000 |249101 | 0 | 0.0 | 434M|2816 | - |5645 | 11k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
238.10/238.10 c 227s|390000 |255978 | 0 | 0.0 | 443M|2816 | - |5645 |9708 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
243.40/243.48 c 232s|400000 |262773 | 0 | 0.0 | 453M|2816 | - |5645 | 11k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
247.50/247.58 c 236s|410000 |271053 | 0 | 0.0 | 462M|2816 | - |5645 | 10k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
252.50/252.55 c 240s|420000 |278418 | 0 | 0.0 | 471M|2816 | - |5645 | 10k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
258.30/258.40 c 246s|430000 |284786 | 0 | 0.0 | 481M|2816 | - |5645 | 12k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
262.60/262.62 c 250s|440000 |292959 | 0 | 0.0 | 489M|2816 | - |5645 | 10k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
267.69/267.74 c 255s|450000 |300190 | 0 | 0.0 | 498M|2816 | - |5645 | 10k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
273.60/273.67 c 261s|460000 |306622 | 0 | 0.0 | 507M|2816 | - |5645 | 11k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
278.10/278.12 c 265s|470000 |314443 | 0 | 0.0 | 516M|2816 | - |5645 | 11k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
283.29/283.33 c 270s|480000 |321559 | 0 | 0.0 | 524M|2816 | - |5645 | 10k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
288.30/288.35 c 274s|490000 |328846 | 0 | 0.0 | 533M|2816 | - |5645 | 10k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
290.20/290.20 o 15
290.20/290.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.20/290.20 c * 276s|493016 |328993 | 0 | 0.0 | 522M|2816 | - |5645 | 11k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
293.70/293.80 c 280s|500000 |334085 | 0 | 0.0 | 528M|2816 | - |5645 | 10k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
299.00/299.09 c 284s|510000 |341207 | 0 | 0.0 | 537M|2816 | - |5645 | 10k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
304.90/304.99 c 290s|520000 |347863 | 0 | 0.0 | 547M|2816 | - |5645 | 11k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
310.50/310.59 c 295s|530000 |354687 | 0 | 0.0 | 556M|2816 | - |5645 | 10k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
315.71/315.77 c 300s|540000 |361818 | 0 | 0.0 | 564M|2816 | - |5645 |5976 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
319.80/319.84 c 304s|550000 |369894 | 0 | 0.0 | 574M|2816 | - |5645 |4924 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
323.50/323.54 c 307s|560000 |378014 | 0 | 0.0 | 584M|2816 | - |5645 |4950 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
329.09/329.11 c 313s|570000 |384360 | 0 | 0.0 | 594M|2816 | - |5645 |6794 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
336.10/336.12 c 319s|580000 |389580 | 0 | 0.0 | 606M|2816 | - |5645 |8524 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
343.80/343.86 c 327s|590000 |394267 | 0 | 0.0 | 616M|2816 | - |5645 |9126 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
352.00/352.07 c 335s|600000 |398558 | 0 | 0.0 | 627M|2816 | - |5645 |9480 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
360.60/360.65 c 343s|610000 |402672 | 0 | 0.0 | 637M|2816 | - |5645 |9010 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
369.60/369.68 c 352s|620000 |406137 | 0 | 0.0 | 646M|2816 | - |5645 |9126 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
379.41/379.43 c 361s|630000 |408915 | 0 | 0.0 | 656M|2816 | - |5645 |9036 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
389.20/389.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.20/389.22 c 370s|640000 |411599 | 0 | 0.0 | 666M|2816 | - |5645 |9816 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
399.30/399.33 c 380s|650000 |413953 | 0 | 0.0 | 675M|2816 | - |5645 |9512 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
409.11/409.12 c 390s|660000 |416674 | 0 | 0.0 | 685M|2816 | - |5645 | 10k| 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
418.70/418.76 c 399s|670000 |419363 | 0 | 0.0 | 693M|2816 | - |5645 |9255 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
427.91/427.98 c 408s|680000 |422417 | 0 | 0.0 | 703M|2816 | - |5645 |9862 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
436.41/436.44 c 416s|690000 |426042 | 0 | 0.0 | 712M|2816 | - |5645 |9938 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
446.61/446.69 c 426s|700000 |427642 | 0 | 0.0 | 720M|2816 | - |5645 | 10k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
457.61/457.61 c 437s|710000 |428017 | 0 | 0.0 | 728M|2816 | - |5645 |9839 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
469.90/469.96 c 449s|720000 |426663 | 0 | 0.0 | 732M|2816 | - |5645 | 10k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
484.50/484.59 c 463s|730000 |422898 | 0 | 0.0 | 732M|2816 | - |5645 | 12k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
500.11/500.14 c 478s|740000 |417802 | 0 | 0.0 | 717M|2816 | - |5645 |7599 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
504.71/504.74 c 482s|750000 |425817 | 0 | 0.0 | 726M|2816 | - |5645 |5881 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
509.40/509.46 c 487s|760000 |433594 | 0 | 0.0 | 736M|2816 | - |5645 |6361 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
514.91/514.92 c 492s|770000 |440814 | 0 | 0.0 | 747M|2816 | - |5645 |6974 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
521.70/521.72 c 498s|780000 |447145 | 0 | 0.0 | 759M|2816 | - |5645 |8244 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
529.40/529.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.40/529.44 c 506s|790000 |452913 | 0 | 0.0 | 771M|2816 | - |5645 |9171 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
537.51/537.58 c 514s|800000 |458311 | 0 | 0.0 | 784M|2816 | - |5645 |9947 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
547.11/547.12 c 523s|810000 |462668 | 0 | 0.0 | 797M|2816 | - |5645 | 10k| 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
557.51/557.59 c 533s|820000 |466231 | 0 | 0.0 | 811M|2816 | - |5645 | 11k| 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
571.00/571.02 c 546s|830000 |467378 | 0 | 0.0 | 824M|2816 | - |5645 | 13k| 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
582.01/582.07 c 556s|840000 |469637 | 0 | 0.0 | 830M|2816 | - |5645 |7625 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
587.60/587.64 c 561s|850000 |477014 | 0 | 0.0 | 841M|2816 | - |5645 |7914 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
593.92/593.94 c 567s|860000 |483845 | 0 | 0.0 | 853M|2816 | - |5645 |8798 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
600.80/600.83 c 574s|870000 |490251 | 0 | 0.0 | 865M|2816 | - |5645 |9708 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
608.41/608.45 c 581s|880000 |496098 | 0 | 0.0 | 877M|2816 | - |5645 | 11k| 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
617.12/617.13 c 589s|890000 |501233 | 0 | 0.0 | 889M|2816 | - |5645 | 12k| 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
627.61/627.63 c 600s|900000 |505310 | 0 | 0.0 | 902M|2816 | - |5645 | 14k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
641.31/641.39 c 613s|910000 |507245 | 0 | 0.0 | 913M|2816 | - |5645 | 16k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
654.01/654.02 c 625s|920000 |509806 | 0 | 0.0 | 918M|2816 | - |5645 |9965 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
659.21/659.26 c 630s|930000 |517627 | 0 | 0.0 | 928M|2816 | - |5645 |9496 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
664.61/664.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.61/664.61 c 635s|940000 |525278 | 0 | 0.0 | 938M|2816 | - |5645 |9770 | 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
670.21/670.26 c 640s|950000 |532713 | 0 | 0.0 | 948M|2816 | - |5645 | 10k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
676.81/676.83 c 647s|960000 |539503 | 0 | 0.0 | 959M|2816 | - |5645 | 10k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
683.71/683.77 c 653s|970000 |546022 | 0 | 0.0 | 970M|2816 | - |5645 | 10k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
690.91/690.98 c 660s|980000 |552296 | 0 | 0.0 | 981M|2816 | - |5645 | 10k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
698.31/698.39 c 667s|990000 |558362 | 0 | 0.0 | 992M|2816 | - |5645 | 11k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
706.12/706.19 c 675s| 1000k|564179 | 0 | 0.0 |1003M|2816 | - |5645 | 11k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
709.41/709.50 o 9
709.41/709.50 c * 678s| 1003k|560464 | 0 | 0.0 | 960M|2816 | - |5645 | 11k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
716.31/716.37 c 684s| 1010k|563492 | 0 | 0.0 | 975M|2816 | - |5645 | 11k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
726.72/726.71 c 694s| 1020k|568213 | 0 | 0.0 | 989M|2816 | - |5645 | 12k| 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
736.41/736.43 c 704s| 1030k|573039 | 0 | 0.0 | 999M|2816 | - |5645 | 12k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
746.21/746.23 c 713s| 1040k|577742 | 0 | 0.0 |1009M|2816 | - |5645 | 13k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
756.21/756.20 c 723s| 1050k|582444 | 0 | 0.0 |1019M|2816 | - |5645 | 14k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
766.72/766.79 c 733s| 1060k|586841 | 0 | 0.0 |1030M|2816 | - |5645 | 16k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
779.61/779.62 c 745s| 1070k|590014 | 0 | 0.0 |1040M|2816 | - |5645 | 19k| 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
796.32/796.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.32/796.34 c 761s| 1080k|591342 | 0 | 0.0 |1044M|2816 | - |5645 | 13k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
802.31/802.30 c 767s| 1090k|598822 | 0 | 0.0 |1055M|2816 | - |5645 | 11k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
808.81/808.85 c 773s| 1100k|605673 | 0 | 0.0 |1067M|2816 | - |5645 | 11k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
816.01/816.03 c 780s| 1110k|612024 | 0 | 0.0 |1079M|2816 | - |5645 | 13k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
824.11/824.10 c 788s| 1120k|617805 | 0 | 0.0 |1090M|2816 | - |5645 | 14k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
833.12/833.20 c 797s| 1130k|622902 | 0 | 0.0 |1102M|2816 | - |5645 | 15k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
843.81/843.83 c 807s| 1140k|627029 | 0 | 0.0 |1112M|2816 | - |5645 | 16k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
857.52/857.60 c 820s| 1150k|629361 | 0 | 0.0 |1122M|2816 | - |5645 | 19k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
868.42/868.48 c 831s| 1160k|633910 | 0 | 0.0 |1129M|2816 | - |5645 | 12k| 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
874.81/874.84 c 837s| 1170k|641027 | 0 | 0.0 |1140M|2816 | - |5645 | 13k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
881.82/881.81 c 844s| 1180k|647684 | 0 | 0.0 |1150M|2816 | - |5645 | 14k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
889.61/889.65 c 851s| 1190k|653646 | 0 | 0.0 |1161M|2816 | - |5645 | 15k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
899.32/899.31 c 860s| 1200k|658559 | 0 | 0.0 |1172M|2816 | - |5645 | 16k| 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
910.42/910.45 c 871s| 1210k|662499 | 0 | 0.0 |1183M|2816 | - |5645 | 17k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
922.22/922.26 c 883s| 1220k|666093 | 0 | 0.0 |1192M|2816 | - |5645 | 15k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
931.82/931.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.82/931.85 c 892s| 1230k|670934 | 0 | 0.0 |1201M|2816 | - |5645 | 14k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
939.71/939.75 c 899s| 1240k|676822 | 0 | 0.0 |1209M|2816 | - |5645 | 14k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
947.92/947.92 c 907s| 1250k|682492 | 0 | 0.0 |1220M|2816 | - |5645 | 15k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
957.52/957.52 c 917s| 1260k|687309 | 0 | 0.0 |1231M|2816 | - |5645 | 17k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
968.52/968.52 c 927s| 1270k|691292 | 0 | 0.0 |1242M|2816 | - |5645 | 19k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
982.42/982.48 c 941s| 1280k|693712 | 0 | 0.0 |1252M|2816 | - |5645 | 21k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
995.43/995.46 c 953s| 1290k|697216 | 0 | 0.0 |1261M|2816 | - |5645 | 16k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1002.82/1002.81 c 960s| 1300k|704349 | 0 | 0.0 |1276M|2816 | - |5645 | 15k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1010.62/1010.69 c 968s| 1310k|710949 | 0 | 0.0 |1291M|2816 | - |5645 | 16k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1020.32/1020.34 c 977s| 1320k|716703 | 0 | 0.0 |1305M|2816 | - |5645 | 12k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1029.02/1029.06 c 986s| 1330k|721380 | 0 | 0.0 |1315M|2816 | - |5645 | 14k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1040.33/1040.36 c 996s| 1340k|724099 | 0 | 0.0 |1325M|2816 | - |5645 | 15k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1051.63/1051.62 c 1007s| 1350k|726909 | 0 | 0.0 |1329M|2816 | - |5645 | 12k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1056.52/1056.58 c 1012s| 1360k|734774 | 0 | 0.0 |1339M|2816 | - |5645 | 12k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1061.52/1061.53 c 1017s| 1370k|742515 | 0 | 0.0 |1349M|2816 | - |5645 | 12k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1066.52/1066.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.52/1066.59 c 1021s| 1380k|750102 | 0 | 0.0 |1358M|2816 | - |5645 | 12k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1071.92/1071.91 c 1026s| 1390k|757476 | 0 | 0.0 |1368M|2816 | - |5645 | 12k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1077.42/1077.49 c 1032s| 1400k|764647 | 0 | 0.0 |1378M|2816 | - |5645 | 12k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1083.02/1083.01 c 1037s| 1410k|771773 | 0 | 0.0 |1388M|2816 | - |5645 | 12k| 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1088.82/1088.81 c 1042s| 1420k|778673 | 0 | 0.0 |1397M|2816 | - |5645 | 13k| 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1095.32/1095.32 c 1048s| 1430k|785012 | 0 | 0.0 |1407M|2816 | - |5645 | 13k| 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1102.63/1102.68 c 1056s| 1440k|790772 | 0 | 0.0 |1417M|2816 | - |5645 | 14k| 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1110.62/1110.62 c 1063s| 1450k|796136 | 0 | 0.0 |1428M|2816 | - |5645 | 14k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1119.12/1119.10 c 1071s| 1460k|801095 | 0 | 0.0 |1437M|2816 | - |5645 | 15k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1128.42/1128.43 c 1080s| 1470k|805359 | 0 | 0.0 |1447M|2816 | - |5645 | 15k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1138.92/1138.99 c 1090s| 1480k|808884 | 0 | 0.0 |1456M|2816 | - |5645 | 15k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1150.82/1150.86 c 1102s| 1490k|811222 | 0 | 0.0 |1465M|2816 | - |5645 | 17k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1165.23/1165.25 c 1116s| 1500k|811847 | 0 | 0.0 |1471M|2816 | - |5645 | 18k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1173.82/1173.81 c 1124s| 1510k|817045 | 0 | 0.0 |1476M|2816 | - |5645 | 13k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1179.83/1179.85 c 1130s| 1520k|824129 | 0 | 0.0 |1486M|2816 | - |5645 | 13k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1185.93/1185.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1185.93/1185.98 c 1135s| 1530k|830936 | 0 | 0.0 |1497M|2816 | - |5645 | 13k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1192.83/1192.83 c 1142s| 1540k|837177 | 0 | 0.0 |1507M|2816 | - |5645 | 14k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1200.43/1200.47 c 1149s| 1550k|842813 | 0 | 0.0 |1517M|2816 | - |5645 | 14k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1208.42/1208.41 c 1157s| 1560k|848188 | 0 | 0.0 |1528M|2816 | - |5645 | 14k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1216.13/1216.13 c 1164s| 1570k|853785 | 0 | 0.0 |1537M|2816 | - |5645 | 14k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1224.33/1224.32 c 1172s| 1580k|858979 | 0 | 0.0 |1547M|2816 | - |5645 | 14k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1232.32/1232.30 c 1180s| 1590k|864227 | 0 | 0.0 |1556M|2816 | - |5645 | 15k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1240.23/1240.21 c 1187s| 1600k|869576 | 0 | 0.0 |1565M|2816 | - |5645 | 15k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1247.73/1247.75 c 1194s| 1610k|875169 | 0 | 0.0 |1575M|2816 | - |5645 | 15k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1255.23/1255.27 c 1202s| 1620k|880785 | 0 | 0.0 |1585M|2816 | - |5645 | 15k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1263.52/1263.50 c 1209s| 1630k|885903 | 0 | 0.0 |1595M|2816 | - |5645 | 16k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1272.93/1272.90 c 1218s| 1640k|890015 | 0 | 0.0 |1605M|2816 | - |5645 | 17k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1285.33/1285.30 c 1230s| 1650k|891845 | 0 | 0.0 |1613M|2816 | - |5645 | 19k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1292.13/1292.15 c 1237s| 1660k|898330 | 0 | 0.0 |1620M|2816 | - |5645 | 13k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1297.43/1297.45 c 1242s| 1670k|905842 | 0 | 0.0 |1629M|2816 | - |5645 | 13k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1303.03/1303.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1303.03/1303.02 c 1247s| 1680k|913089 | 0 | 0.0 |1639M|2816 | - |5645 | 14k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1309.04/1309.02 c 1253s| 1690k|919989 | 0 | 0.0 |1648M|2816 | - |5645 | 15k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1315.53/1315.53 c 1259s| 1700k|926509 | 0 | 0.0 |1658M|2816 | - |5645 | 15k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1323.13/1323.17 c 1266s| 1710k|932024 | 0 | 0.0 |1669M|2816 | - |5645 | 16k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1325.83/1325.81 o 8
1325.83/1325.81 c *1269s| 1713k|931036 | 0 | 0.0 |1657M|2816 | - |5645 | 16k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1332.14/1332.15 c 1275s| 1720k|934135 | 0 | 0.0 |1664M|2816 | - |5645 | 15k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1341.03/1341.07 c 1283s| 1730k|938401 | 0 | 0.0 |1673M|2816 | - |5645 | 16k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1351.13/1351.19 c 1293s| 1740k|941679 | 0 | 0.0 |1682M|2816 | - |5645 | 16k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1360.03/1360.01 c 1302s| 1750k|945987 | 0 | 0.0 |1688M|2816 | - |5645 | 14k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1366.04/1366.01 c 1307s| 1760k|952783 | 0 | 0.0 |1697M|2816 | - |5645 | 13k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1371.24/1371.29 c 1312s| 1770k|960181 | 0 | 0.0 |1706M|2816 | - |5645 | 13k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1376.73/1376.76 c 1318s| 1780k|967408 | 0 | 0.0 |1716M|2816 | - |5645 | 14k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1382.74/1382.79 c 1323s| 1790k|974187 | 0 | 0.0 |1726M|2816 | - |5645 | 14k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1389.24/1389.28 c 1329s| 1800k|980610 | 0 | 0.0 |1736M|2816 | - |5645 | 15k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1396.73/1396.71 c 1337s| 1810k|986333 | 0 | 0.0 |1746M|2816 | - |5645 | 16k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1404.84/1404.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.84/1404.86 c 1344s| 1820k|991509 | 0 | 0.0 |1755M|2816 | - |5645 | 16k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1413.93/1413.90 c 1353s| 1830k|995868 | 0 | 0.0 |1764M|2816 | - |5645 | 17k| 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1425.33/1425.30 c 1364s| 1840k|998501 | 0 | 0.0 |1771M|2816 | - |5645 | 17k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1432.93/1432.98 c 1371s| 1850k| 1004k| 0 | 0.0 |1777M|2816 | - |5645 | 13k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1437.84/1437.84 c 1376s| 1860k| 1011k| 0 | 0.0 |1787M|2816 | - |5645 | 13k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1443.24/1443.21 c 1381s| 1870k| 1019k| 0 | 0.0 |1796M|2816 | - |5645 | 13k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1448.94/1448.91 c 1386s| 1880k| 1026k| 0 | 0.0 |1806M|2816 | - |5645 | 14k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1455.04/1455.05 c 1392s| 1890k| 1033k| 0 | 0.0 |1816M|2816 | - |5645 | 14k| 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1461.84/1461.85 c 1399s| 1900k| 1039k| 0 | 0.0 |1825M|2816 | - |5645 | 15k| 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1470.03/1470.02 c 1406s| 1910k| 1044k| 0 | 0.0 |1835M|2816 | - |5645 | 15k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1478.64/1478.66 c 1415s| 1920k| 1049k| 0 | 0.0 |1844M|2816 | - |5645 | 15k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1487.83/1487.82 c 1424s| 1930k| 1053k| 0 | 0.0 |1852M|2816 | - |5645 | 14k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1495.64/1495.62 c 1431s| 1940k| 1059k| 0 | 0.0 |1859M|2816 | - |5645 | 14k| 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1502.84/1502.89 c 1438s| 1950k| 1065k| 0 | 0.0 |1867M|2816 | - |5645 | 14k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1509.64/1509.62 c 1444s| 1960k| 1071k| 0 | 0.0 |1876M|2816 | - |5645 | 14k| 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1516.54/1516.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.54/1516.52 c 1451s| 1970k| 1077k| 0 | 0.0 |1886M|2816 | - |5645 | 14k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1523.94/1523.95 c 1458s| 1980k| 1083k| 0 | 0.0 |1895M|2816 | - |5645 | 14k| 0 | 0 | 0 |1738k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1532.24/1532.22 c 1466s| 1990k| 1089k| 0 | 0.0 |1905M|2816 | - |5645 | 15k| 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1541.15/1541.12 c 1475s| 2000k| 1094k| 0 | 0.0 |1915M|2816 | - |5645 | 16k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1552.84/1552.85 c 1486s| 2010k| 1097k| 0 | 0.0 |1923M|2816 | - |5645 | 17k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1564.64/1564.69 c 1497s| 2020k| 1099k| 0 | 0.0 |1927M|2816 | - |5645 | 14k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1569.64/1569.63 c 1502s| 2030k| 1107k| 0 | 0.0 |1936M|2816 | - |5645 | 13k| 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1574.73/1574.75 c 1507s| 2040k| 1115k| 0 | 0.0 |1945M|2816 | - |5645 | 13k| 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1580.24/1580.26 c 1512s| 2050k| 1122k| 0 | 0.0 |1954M|2816 | - |5645 | 14k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1586.04/1586.03 c 1518s| 2060k| 1129k| 0 | 0.0 |1963M|2816 | - |5645 | 14k| 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1592.54/1592.50 c 1524s| 2070k| 1136k| 0 | 0.0 |1971M|2816 | - |5645 | 15k| 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1599.93/1599.99 c 1531s| 2080k| 1142k| 0 | 0.0 |1980M|2816 | - |5645 | 16k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1608.34/1608.31 c 1539s| 2090k| 1147k| 0 | 0.0 |1988M|2816 | - |5645 | 16k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1617.84/1617.89 c 1548s| 2100k| 1152k| 0 | 0.0 |1997M|2816 | - |5645 | 15k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1626.95/1626.94 c 1557s| 2110k| 1157k| 0 | 0.0 |2004M|2816 | - |5645 | 14k| 0 | 0 | 0 |1826k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1634.94/1634.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.94/1634.94 c 1564s| 2120k| 1162k| 0 | 0.0 |2011M|2816 | - |5645 | 14k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1642.14/1642.16 c 1571s| 2130k| 1168k| 0 | 0.0 |2019M|2816 | - |5645 | 14k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1649.24/1649.23 c 1578s| 2140k| 1174k| 0 | 0.0 |2027M|2816 | - |5645 | 15k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1657.04/1657.09 c 1586s| 2150k| 1180k| 0 | 0.0 |2036M|2816 | - |5645 | 16k| 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1666.24/1666.21 c 1594s| 2160k| 1185k| 0 | 0.0 |2045M|2816 | - |5645 | 18k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1678.34/1678.34 c 1606s| 2170k| 1188k| 0 | 0.0 |2054M|2816 | - |5645 | 20k| 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1692.54/1692.53 c 1620s| 2180k| 1190k| 0 | 0.0 |2058M|2816 | - |5645 | 16k| 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1698.45/1698.40 c 1625s| 2190k| 1198k| 0 | 0.0 |2067M|2816 | - |5645 | 14k| 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1704.84/1704.87 c 1632s| 2200k| 1204k| 0 | 0.0 |2077M|2816 | - |5645 | 14k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1712.05/1712.09 c 1638s| 2210k| 1211k| 0 | 0.0 |2086M|2816 | - |5645 | 15k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1719.84/1719.89 c 1646s| 2220k| 1217k| 0 | 0.0 |2095M|2816 | - |5645 | 16k| 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1729.25/1729.29 c 1655s| 2230k| 1221k| 0 | 0.0 |2105M|2816 | - |5645 | 17k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1741.24/1741.25 c 1667s| 2240k| 1224k| 0 | 0.0 |2113M|2816 | - |5645 | 20k| 0 | 0 | 0 |1918k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1752.95/1752.93 c 1678s| 2250k| 1228k| 0 | 0.0 |2117M|2816 | - |5645 | 15k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1759.24/1759.27 c 1684s| 2260k| 1235k| 0 | 0.0 |2126M|2816 | - |5645 | 13k| 0 | 0 | 0 |1931k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1765.94/1765.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.94/1765.94 c 1690s| 2270k| 1242k| 0 | 0.0 |2136M|2816 | - |5645 | 14k| 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1773.34/1773.38 c 1697s| 2280k| 1248k| 0 | 0.0 |2145M|2816 | - |5645 | 15k| 0 | 0 | 0 |1941k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1783.05/1783.03 c 1707s| 2290k| 1253k| 0 | 0.0 |2155M|2816 | - |5645 | 17k| 0 | 0 | 0 |1949k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1794.54/1794.58 c 1718s| 2300k| 1256k| 0 | 0.0 |2164M|2816 | - |5645 | 19k| 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 8.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) : 1723.11
1800.05/1800.00 c Solving Nodes : 2303673
1800.05/1800.00 c Primal Bound : +8.00000000000000e+00 (31 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.08 s SATISFIABLE
1800.05/1800.08 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.08 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.08 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.08 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.08 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126
1800.05/1800.08 v -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.05/1800.08 v -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.08 v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55
1800.05/1800.08 v -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.05/1800.08 v x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.05/1800.08 v -x2 x1
1800.05/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.08 c Solving Time : 1723.11
1800.05/1800.08 c Original Problem :
1800.05/1800.08 c Problem name : HOME/instance-2693655-1277928894.wbo
1800.05/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.08 c Presolved Problem :
1800.05/1800.08 c Problem name : t_HOME/instance-2693655-1277928894.wbo
1800.05/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.08 c Constraints : 5414 initial, 24883 maximal
1800.05/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.05/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c root node : - 2501 - - 5002 - - - -
1800.05/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.08 c indicator : 2707 0 6110848 0 1677045 515 3910330 0 0 0
1800.05/1800.08 c linear : 2707 0 7386907 0 1939173 502006 45805091 0 0 0
1800.05/1800.08 c logicor : 0+ 0 3490858 0 0 88665 1944642 0 0 0
1800.05/1800.08 c countsols : 0 0 0 0 1939192 0 0 0 0 0
1800.05/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.08 c indicator : 38.94 0.00 15.99 0.00 22.95
1800.05/1800.08 c linear : 423.82 0.00 422.84 0.00 0.98
1800.05/1800.08 c logicor : 246.77 0.00 246.77 0.00 0.00
1800.05/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.08 c vbounds : 0.01 2 0 0
1800.05/1800.08 c rootredcost : 0.00 0 0 0
1800.05/1800.08 c pseudoobj : 391.75 7396504 9066 3821211
1800.05/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.08 c propagation : 31.83 599737 599732 2736850 20.3 346115 11.1 -
1800.05/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c pseudo solution : 0.05 273 273 1072 19.5 642 9.6 -
1800.05/1800.08 c applied globally : - - - 1962589 17.6 - - -
1800.05/1800.08 c applied locally : - - - 1 330.0 - - -
1800.05/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.08 c redcost : 0.00 0 0 0 0 0
1800.05/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.08 c intobj : 0.00 0 0 0 0 0
1800.05/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.08 c gomory : 0.00 0 0 0 0 0
1800.05/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.08 c cmir : 0.00 0 0 0 0 0
1800.05/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.08 c clique : 0.00 0 0 0 0 0
1800.05/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.08 c mcf : 0.00 0 0 0 0 0
1800.05/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.08 c Pricers : Time Calls Vars
1800.05/1800.08 c problem variables: 0.00 0 0
1800.05/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.08 c inference : 54.15 1939164 0 0 0 0 3878328
1800.05/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.08 c random : 0.00 0 0 0 0 0 0
1800.05/1800.08 c Primal Heuristics : Time Calls Found
1800.05/1800.08 c LP solutions : 0.00 - 0
1800.05/1800.08 c pseudo solutions : 0.10 - 28
1800.05/1800.08 c oneopt : 0.09 0 0
1800.05/1800.08 c trivial : 0.08 2 2
1800.05/1800.08 c simplerounding : 0.00 0 0
1800.05/1800.08 c zirounding : 0.00 0 0
1800.05/1800.08 c rounding : 0.00 0 0
1800.05/1800.08 c shifting : 0.00 0 0
1800.05/1800.08 c intshifting : 0.00 0 0
1800.05/1800.08 c twoopt : 0.00 0 0
1800.05/1800.08 c fixandinfer : 0.00 0 0
1800.05/1800.08 c feaspump : 0.00 0 0
1800.05/1800.08 c coefdiving : 0.00 0 0
1800.05/1800.08 c pscostdiving : 0.00 0 0
1800.05/1800.08 c fracdiving : 0.00 0 0
1800.05/1800.08 c veclendiving : 0.00 0 0
1800.05/1800.08 c intdiving : 0.00 0 0
1800.05/1800.08 c actconsdiving : 0.00 0 0
1800.05/1800.08 c objpscostdiving : 0.00 0 0
1800.05/1800.08 c rootsoldiving : 0.00 0 0
1800.05/1800.08 c linesearchdiving : 0.00 0 0
1800.05/1800.08 c guideddiving : 0.00 0 0
1800.05/1800.08 c octane : 0.00 0 0
1800.05/1800.08 c rens : 0.00 0 0
1800.05/1800.08 c rins : 0.00 0 0
1800.05/1800.08 c localbranching : 0.00 0 0
1800.05/1800.08 c mutation : 0.00 0 0
1800.05/1800.08 c crossover : 0.00 0 0
1800.05/1800.08 c dins : 0.00 0 0
1800.05/1800.08 c undercover : 0.00 0 0
1800.05/1800.08 c nlp : 0.00 0 0
1800.05/1800.08 c trysol : 0.00 1 1
1800.05/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.08 c (at root node) : - 0 0 0.00 -
1800.05/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.08 c B&B Tree :
1800.05/1800.08 c number of runs : 1
1800.05/1800.08 c nodes : 2303673
1800.05/1800.08 c nodes (total) : 2303673
1800.05/1800.08 c nodes left : 1257154
1800.05/1800.08 c max depth : 2816
1800.05/1800.08 c max depth (total): 2816
1800.05/1800.08 c backtracks : 327046 (14.2%)
1800.05/1800.08 c delayed cutoffs : 291068
1800.05/1800.08 c repropagations : 1338053 (17542111 domain reductions, 236044 cutoffs)
1800.05/1800.08 c avg switch length: 42.14
1800.05/1800.08 c switching time : 477.60
1800.05/1800.08 c Solution :
1800.05/1800.08 c Solutions found : 31 (29 improvements)
1800.05/1800.08 c First Solution : +1.36613000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.08 c Primal Bound : +8.00000000000000e+00 (in run 1, after 1713157 nodes, 1268.85 seconds, depth 1538, found by <relaxation>)
1800.05/1800.08 c Dual Bound : +0.00000000000000e+00
1800.05/1800.08 c Gap : infinite
1800.05/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.08 c Root Iterations : 0
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693655-1277928894/watcher-2693655-1277928894 -o /tmp/evaluation-result-2693655-1277928894/solver-2693655-1277928894 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693655-1277928894.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.09 2.05 2.01 3/196 14306 /proc/meminfo: memFree=31049464/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=8604 CPUtime=0 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 1581 0 0 0 0 0 0 0 23 0 1 0 134186710 8810496 1503 4089446400 4194304 7136930 140733567662672 18446744073709551615 6329871 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14306/statm: 2151 1521 275 719 0 1430 0 [startup+0.0614469 s] /proc/loadavg: 2.09 2.05 2.01 3/196 14306 /proc/meminfo: memFree=31049464/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=33680 CPUtime=0.05 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 7967 0 0 0 5 0 0 0 23 0 1 0 134186710 34488320 7535 4089446400 4194304 7136930 140733567662672 18446744073709551615 6350384 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 8420 7535 323 719 0 7699 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 33680 [startup+0.10043 s] /proc/loadavg: 2.09 2.05 2.01 3/196 14306 /proc/meminfo: memFree=31049464/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=33680 CPUtime=0.09 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 7967 0 0 0 9 0 0 0 23 0 1 0 134186710 34488320 7535 4089446400 4194304 7136930 140733567662672 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 8420 7535 323 719 0 7699 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33680 [startup+0.300398 s] /proc/loadavg: 2.09 2.05 2.01 3/196 14306 /proc/meminfo: memFree=31049464/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=36500 CPUtime=0.29 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 9241 0 0 0 27 2 0 0 23 0 1 0 134186710 37376000 8295 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 9125 8295 383 719 0 8404 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36500 [startup+0.700324 s] /proc/loadavg: 2.09 2.05 2.01 3/196 14306 /proc/meminfo: memFree=31049464/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=37640 CPUtime=0.69 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 9516 0 0 0 65 4 0 0 25 0 1 0 134186710 38543360 8570 4089446400 4194304 7136930 140733567662672 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 9410 8570 383 719 0 8689 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37640 [startup+1.50017 s] /proc/loadavg: 2.09 2.05 2.01 3/197 14307 /proc/meminfo: memFree=31014364/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=42568 CPUtime=1.49 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 10765 0 0 0 140 9 0 0 25 0 1 0 134186710 43589632 9819 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 10642 9819 390 719 0 9921 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42568 [startup+3.10088 s] /proc/loadavg: 2.08 2.05 2.01 3/197 14307 /proc/meminfo: memFree=31010432/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=44828 CPUtime=3.09 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 11343 0 0 0 293 16 0 0 25 0 1 0 134186710 45903872 10397 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 11207 10397 390 719 0 10486 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44828 [startup+6.30031 s] /proc/loadavg: 2.08 2.05 2.01 3/197 14307 /proc/meminfo: memFree=31000960/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=54620 CPUtime=6.29 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 13690 0 0 0 597 32 0 0 25 0 1 0 134186710 55930880 12744 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 13655 12744 391 719 0 12934 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54620 [startup+12.7011 s] /proc/loadavg: 2.07 2.05 2.01 3/197 14307 /proc/meminfo: memFree=30969184/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=77240 CPUtime=12.69 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 19243 0 0 0 1197 72 0 0 25 0 1 0 134186710 79093760 18297 4089446400 4194304 7136930 140733567662672 18446744073709551615 4925465 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 19310 18297 391 719 0 18589 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77240 [startup+25.5008 s] /proc/loadavg: 2.06 2.05 2.01 3/197 14307 /proc/meminfo: memFree=30902296/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=138304 CPUtime=25.49 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 33343 0 0 0 2421 128 0 0 25 0 1 0 134186710 141623296 32397 4089446400 4194304 7136930 140733567662672 18446744073709551615 4978074 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 34576 32397 391 719 0 33855 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 138304 [startup+51.1011 s] /proc/loadavg: 2.04 2.04 2.01 3/197 14308 /proc/meminfo: memFree=30814532/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=206504 CPUtime=51.09 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 49772 0 0 0 4837 272 0 0 25 0 1 0 134186710 211460096 48826 4089446400 4194304 7136930 140733567662672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 51626 48826 391 719 0 50905 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 206504 [startup+102.307 s] /proc/loadavg: 2.30 2.13 2.04 3/197 14309 /proc/meminfo: memFree=30705376/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=289480 CPUtime=102.3 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 70378 0 0 0 9757 473 0 0 25 0 1 0 134186710 296427520 69432 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 72370 69432 391 719 0 71649 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 289480 [startup+162.301 s] /proc/loadavg: 2.12 2.11 2.03 3/197 14311 /proc/meminfo: memFree=30554764/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=433860 CPUtime=162.29 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 104461 0 0 0 15484 745 0 0 25 0 1 0 134186710 444272640 103515 4089446400 4194304 7136930 140733567662672 18446744073709551615 4983484 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 108465 103515 391 719 0 107744 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 433860 [startup+222.301 s] /proc/loadavg: 2.04 2.08 2.03 3/197 14313 /proc/meminfo: memFree=30439876/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=555548 CPUtime=222.3 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 133069 0 0 0 21201 1029 0 0 25 0 1 0 134186710 568881152 132123 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 138887 132123 391 719 0 138166 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 555548 [startup+282.301 s] /proc/loadavg: 2.01 2.07 2.02 3/197 14314 /proc/meminfo: memFree=30326104/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=670492 CPUtime=282.3 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 162021 0 0 0 26871 1359 0 0 25 0 1 0 134186710 686583808 161075 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 167623 161075 391 719 0 166902 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 670492 [startup+342.301 s] /proc/loadavg: 2.07 2.07 2.02 3/197 14315 /proc/meminfo: memFree=30214812/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=777696 CPUtime=342.3 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 188952 0 0 0 32540 1690 0 0 25 0 1 0 134186710 796360704 188006 4089446400 4194304 7136930 140733567662672 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 194424 188006 391 719 0 193703 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 777696 [startup+402.301 s] /proc/loadavg: 2.03 2.05 2.01 3/197 14317 /proc/meminfo: memFree=30148036/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=845056 CPUtime=402.3 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 205836 0 0 0 38316 1914 0 0 25 0 1 0 134186710 865337344 204890 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 211264 204890 391 719 0 210543 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 845056 [startup+462.301 s] /proc/loadavg: 2.01 2.04 2.01 3/197 14319 /proc/meminfo: memFree=30094412/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=897780 CPUtime=462.3 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 218882 0 0 0 44129 2101 0 0 25 0 1 0 134186710 919326720 217936 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 224445 217936 391 719 0 223724 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 897780 [startup+522.301 s] /proc/loadavg: 2.00 2.03 2.00 3/197 14321 /proc/meminfo: memFree=30065592/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=927236 CPUtime=522.3 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 226094 0 0 0 49900 2330 0 0 25 0 1 0 134186710 949489664 225148 4089446400 4194304 7136930 140733567662672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 231809 225148 391 719 0 231088 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 927236 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 14322 /proc/meminfo: memFree=29984712/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=1020184 CPUtime=582.31 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 246543 0 0 0 55640 2591 0 0 25 0 1 0 134186710 1044668416 245597 4089446400 4194304 7136930 140733567662672 18446744073709551615 4221032 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 255046 245597 391 719 0 254325 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1020184 [startup+642.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 14323 /proc/meminfo: memFree=29905188/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=1096316 CPUtime=642.31 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 264795 0 0 0 61373 2858 0 0 25 0 1 0 134186710 1122627584 263849 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 274079 263849 391 719 0 273358 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1096316 [startup+702.301 s] ################ # More data... # ################ /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 362400 0 0 0 95999 4234 0 0 25 0 1 0 134186710 1528987648 361454 4089446400 4194304 7136930 140733567662672 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 373288 361454 391 719 0 372567 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1493152 [startup+1062.3 s] /proc/loadavg: 2.07 2.17 2.08 3/197 14338 /proc/meminfo: memFree=29074092/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=1569272 CPUtime=1062.33 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 381155 0 0 0 101733 4500 0 0 25 0 1 0 134186710 1606934528 380209 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 392318 380209 391 719 0 391597 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1569272 [startup+1122.3 s] /proc/loadavg: 2.02 2.13 2.08 3/197 14340 /proc/meminfo: memFree=28923184/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=1660288 CPUtime=1122.33 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 403948 0 0 0 107438 4795 0 0 25 0 1 0 134186710 1700134912 403002 4089446400 4194304 7136930 140733567662672 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 415072 403002 391 719 0 414351 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1660288 [startup+1182.3 s] /proc/loadavg: 2.01 2.11 2.07 3/197 14341 /proc/meminfo: memFree=28839432/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=1710176 CPUtime=1182.33 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 416378 0 0 0 113200 5033 0 0 25 0 1 0 134186710 1751220224 415432 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 427544 415432 391 719 0 426823 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1710176 [startup+1242.3 s] /proc/loadavg: 2.61 2.28 2.13 2/174 14362 /proc/meminfo: memFree=29732240/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=1790944 CPUtime=1242.33 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 436764 0 0 0 118921 5312 0 0 25 0 1 0 134186710 1833926656 435818 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 447736 435818 391 719 0 447015 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1790944 [startup+1302.3 s] /proc/loadavg: 2.22 2.22 2.12 3/197 14413 /proc/meminfo: memFree=29527300/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=1868048 CPUtime=1302.34 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 455833 0 0 0 124656 5578 0 0 25 0 1 0 134186710 1912881152 454887 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 467012 454887 391 719 0 466291 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1868048 [startup+1362.3 s] /proc/loadavg: 2.08 2.18 2.11 3/197 14415 /proc/meminfo: memFree=29472920/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=1922652 CPUtime=1362.33 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 469578 0 0 0 130387 5846 0 0 25 0 1 0 134186710 1968795648 468632 4089446400 4194304 7136930 140733567662672 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 480663 468632 391 719 0 479942 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1922652 [startup+1422.31 s] /proc/loadavg: 2.10 2.16 2.10 3/197 14417 /proc/meminfo: memFree=29396232/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=2012368 CPUtime=1422.34 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 488016 0 0 0 136116 6118 0 0 25 0 1 0 134186710 2060664832 487070 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 503092 487070 391 719 0 502371 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2012368 [startup+1482.3 s] /proc/loadavg: 2.03 2.13 2.09 3/197 14418 /proc/meminfo: memFree=29319756/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=2088960 CPUtime=1482.33 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 507422 0 0 0 141831 6402 0 0 25 0 1 0 134186710 2139095040 506476 4089446400 4194304 7136930 140733567662672 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 522240 506476 391 719 0 521519 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2088960 [startup+1542.3 s] /proc/loadavg: 2.01 2.10 2.08 3/197 14419 /proc/meminfo: memFree=29245652/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=2160236 CPUtime=1542.34 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 525302 0 0 0 147571 6663 0 0 25 0 1 0 134186710 2212081664 524356 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 540059 524356 391 719 0 539338 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2160236 [startup+1602.3 s] /proc/loadavg: 2.00 2.08 2.08 3/197 14421 /proc/meminfo: memFree=29183096/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=2223672 CPUtime=1602.34 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 541410 0 0 0 153311 6923 0 0 25 0 1 0 134186710 2277040128 540464 4089446400 4194304 7136930 140733567662672 18446744073709551615 4210566 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 555918 540464 391 719 0 555197 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2223672 [startup+1662.3 s] /proc/loadavg: 2.00 2.06 2.07 3/197 14423 /proc/meminfo: memFree=29122144/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=2280968 CPUtime=1662.35 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 555928 0 0 0 159064 7171 0 0 25 0 1 0 134186710 2335711232 554982 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 570242 554982 391 719 0 569521 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 2280968 [startup+1722.3 s] /proc/loadavg: 2.00 2.05 2.07 3/197 14425 /proc/meminfo: memFree=29064028/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=2338120 CPUtime=1722.35 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 570388 0 0 0 164827 7408 0 0 25 0 1 0 134186710 2394234880 569442 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 584530 569442 391 719 0 583809 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 2338120 [startup+1782.3 s] /proc/loadavg: 2.00 2.04 2.06 3/197 14426 /proc/meminfo: memFree=29001816/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=2395304 CPUtime=1782.35 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 584739 0 0 0 170595 7640 0 0 25 0 1 0 134186710 2452791296 583793 4089446400 4194304 7136930 140733567662672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 598826 583793 391 719 0 598105 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 2395304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.04 2.06 3/197 14427 /proc/meminfo: memFree=28988404/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=2407440 CPUtime=1800.05 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 587833 0 0 0 172314 7691 0 0 25 0 1 0 134186710 2465218560 586887 4089446400 4194304 7136930 140733567662672 18446744073709551615 4210459 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14306/statm: 601860 586887 391 719 0 601139 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2407440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14306 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.04 2.06 3/198 14428 /proc/meminfo: memFree=28988272/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=2407920 CPUtime=1801.44 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 587866 0 0 0 172453 7691 0 0 19 0 1 0 134186710 2465710080 586920 4089446400 4194304 7136930 140733567662672 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14306/statm: 601980 586920 397 719 0 601259 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2407920 [startup+1801.81 s] /proc/loadavg: 2.00 2.03 2.06 3/198 14428 /proc/meminfo: memFree=28988148/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=2407920 CPUtime=1801.85 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 587866 0 0 0 172494 7691 0 0 20 0 1 0 134186710 2465710080 586920 4089446400 4194304 7136930 140733567662672 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14306/statm: 601980 586920 397 719 0 601259 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2407920 [startup+1802 s] /proc/loadavg: 2.00 2.03 2.06 3/198 14428 /proc/meminfo: memFree=28988148/32951124 swapFree=67111528/67111528 [pid=14306] ppid=14304 vsize=2407920 CPUtime=1802.04 /proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 11356 0 -1 4202496 587866 0 0 0 172513 7691 0 0 20 0 1 0 134186710 2465710080 586920 4089446400 4194304 7136930 140733567662672 18446744073709551615 4212060 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14306/statm: 601980 586920 397 719 0 601259 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2407920 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.14 CPU user time (s): 1725.14 CPU system time (s): 76.9953 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2407920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1725.14 system time used= 76.9953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 587866 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= 1385 runsolver used 3.31849 second user time and 6.09607 second system time The end
Begin job on node109 at 2010-06-30 22:14:54 IDJOB=2693655 IDBENCH=79292 IDSOLVER=1206 FILE ID=node109/2693655-1277928894 PBS_JOBID= 11197346 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693655-1277928894/watcher-2693655-1277928894 -o /tmp/evaluation-result-2693655-1277928894/solver-2693655-1277928894 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693655-1277928894.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 30e25559b2b6f1151f21e207b2f87b54 RANDOM SEED=1140281852 node109.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.817 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.63 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.817 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.817 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.817 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.75 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.817 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.82 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.817 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.75 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.817 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.817 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31050240 kB Buffers: 211732 kB Cached: 1052876 kB SwapCached: 0 kB Active: 1004808 kB Inactive: 750560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31050240 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3192 kB Writeback: 0 kB AnonPages: 490984 kB Mapped: 20308 kB Slab: 81156 kB PageTables: 5668 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657604 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node109 at 2010-06-30 22:44:56