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.12 | 1802.2 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670675--soft-0-100-0.wbo |
| MD5SUM | d1c4dbb5406fd100fd0c417364df25ff |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 39.172 |
| 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 | 136368 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136367 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 671 |
| 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-2693653-1277928795.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 136367
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.363670e+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.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 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.363670e+05 | Inf
2.99/3.09 c 2.9s| 10000 | 9762 | 0 | 0.0 | 23M|2816 | - |5645 |6077 | 0 | 0 | 0 | 663 | 0 | 0.000000e+00 | 1.363670e+05 | Inf
3.49/3.54 o 312
3.49/3.54 c * 3.3s| 11649 | 6012 | 0 | 0.0 | 22M|2816 | - |5645 |6077 | 0 | 0 | 0 | 663 | 0 | 0.000000e+00 | 3.120000e+02 | Inf
3.60/3.60 o 273
3.60/3.60 c * 3.3s| 11774 | 5665 | 0 | 0.0 | 22M|2816 | - |5645 |6087 | 0 | 0 | 0 | 673 | 0 | 0.000000e+00 | 2.730000e+02 | Inf
3.99/4.03 o 252
3.99/4.03 c * 3.7s| 12786 | 6357 | 0 | 0.0 | 23M|2816 | - |5645 |6265 | 0 | 0 | 0 | 851 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
3.99/4.07 o 245
3.99/4.07 c * 3.8s| 12889 | 6369 | 0 | 0.0 | 23M|2816 | - |5645 |6272 | 0 | 0 | 0 | 858 | 0 | 0.000000e+00 | 2.450000e+02 | Inf
4.19/4.27 o 217
4.19/4.27 c * 4.0s| 13736 | 6588 | 0 | 0.0 | 24M|2816 | - |5645 |6318 | 0 | 0 | 0 | 904 | 0 | 0.000000e+00 | 2.170000e+02 | Inf
4.19/4.30 o 188
4.19/4.30 c * 4.0s| 13822 | 6298 | 0 | 0.0 | 23M|2816 | - |5645 |6332 | 0 | 0 | 0 | 918 | 0 | 0.000000e+00 | 1.880000e+02 | Inf
4.30/4.36 o 166
4.30/4.36 c * 4.0s| 14033 | 6286 | 0 | 0.0 | 23M|2816 | - |5645 |6387 | 0 | 0 | 0 | 973 | 0 | 0.000000e+00 | 1.660000e+02 | Inf
6.09/6.14 c 5.7s| 20000 | 11486 | 0 | 0.0 | 31M|2816 | - |5645 |8902 | 0 | 0 | 0 |5018 | 0 | 0.000000e+00 | 1.660000e+02 | Inf
9.39/9.42 c 8.8s| 30000 | 19400 | 0 | 0.0 | 41M|2816 | - |5645 |9087 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
10.59/10.65 o 146
10.59/10.65 c * 9.9s| 32506 | 20895 | 0 | 0.0 | 45M|2816 | - |5645 | 10k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
10.59/10.65 o 143
10.59/10.65 c * 9.9s| 32507 | 20887 | 0 | 0.0 | 45M|2816 | - |5645 | 10k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
10.79/10.90 o 134
10.79/10.90 c *10.2s| 32886 | 21240 | 0 | 0.0 | 45M|2816 | - |5645 |9840 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
11.09/11.17 o 131
11.09/11.17 c *10.4s| 33294 | 21619 | 0 | 0.0 | 46M|2816 | - |5645 |9506 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
12.59/12.63 o 124
12.59/12.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.59/12.63 c *11.8s| 35438 | 23431 | 0 | 0.0 | 49M|2816 | - |5645 |8949 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
13.10/13.20 o 114
13.10/13.20 c *12.4s| 36246 | 24100 | 0 | 0.0 | 50M|2816 | - |5645 |8698 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
13.89/13.96 o 93
13.89/13.96 c *13.1s| 37293 | 24578 | 0 | 0.0 | 50M|2816 | - |5645 |8521 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
14.79/14.87 o 85
14.79/14.87 c *14.0s| 38040 | 24792 | 0 | 0.0 | 51M|2816 | - |5645 |8404 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
14.79/14.87 o 65
14.79/14.87 c *14.0s| 38041 | 23945 | 0 | 0.0 | 49M|2816 | - |5645 |8404 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
15.49/15.57 o 47
15.49/15.57 c *14.6s| 38867 | 23876 | 0 | 0.0 | 51M|2816 | - |5645 |8632 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
16.19/16.21 c 15.2s| 40000 | 24899 | 0 | 0.0 | 52M|2816 | - |5645 |7745 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
16.79/16.88 o 46
16.79/16.88 c *15.9s| 40743 | 25517 | 0 | 0.0 | 53M|2816 | - |5645 |6029 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
16.89/16.99 o 44
16.89/16.99 c *16.0s| 40944 | 25594 | 0 | 0.0 | 53M|2816 | - |5645 |6010 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
21.90/21.90 c 20.6s| 50000 | 33070 | 0 | 0.0 | 65M|2816 | - |5645 |6724 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
22.19/22.27 o 41
22.19/22.27 c *20.9s| 50863 | 33655 | 0 | 0.0 | 66M|2816 | - |5645 |6530 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
23.49/23.59 o 33
23.49/23.59 c *22.2s| 53562 | 35499 | 0 | 0.0 | 67M|2816 | - |5645 |7106 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
23.69/23.78 o 21
23.69/23.78 c *22.3s| 53987 | 34178 | 0 | 0.0 | 63M|2816 | - |5645 |6891 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
26.09/26.15 c 24.6s| 60000 | 39340 | 0 | 0.0 | 69M|2816 | - |5645 |7197 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
27.69/27.77 o 19
27.69/27.77 c *26.1s| 63971 | 42458 | 0 | 0.0 | 73M|2816 | - |5645 |7423 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
29.89/29.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.89/29.91 c 28.1s| 70000 | 47709 | 0 | 0.0 | 79M|2816 | - |5645 |7705 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
33.59/33.60 c 31.5s| 80000 | 56109 | 0 | 0.0 | 90M|2816 | - |5645 |8402 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
37.19/37.25 c 34.9s| 90000 | 64478 | 0 | 0.0 | 100M|2816 | - |5645 |6435 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
41.09/41.18 c 38.6s|100000 | 72452 | 0 | 0.0 | 111M|2816 | - |5645 |7033 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
45.18/45.24 c 42.4s|110000 | 80257 | 0 | 0.0 | 122M|2816 | - |5645 |7522 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
49.39/49.47 c 46.4s|120000 | 87863 | 0 | 0.0 | 133M|2816 | - |5645 |7784 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
53.59/53.66 c 50.3s|130000 | 95454 | 0 | 0.0 | 144M|2816 | - |5645 |8347 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
57.98/58.04 c 54.5s|140000 |102919 | 0 | 0.0 | 154M|2816 | - |5645 |8335 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
62.48/62.56 c 58.7s|150000 |110195 | 0 | 0.0 | 165M|2816 | - |5645 |8980 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
67.18/67.28 c 63.2s|160000 |117268 | 0 | 0.0 | 176M|2816 | - |5645 |9517 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
72.09/72.18 c 67.8s|170000 |124163 | 0 | 0.0 | 186M|2816 | - |5645 |9472 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
77.59/77.65 c 73.0s|180000 |130586 | 0 | 0.0 | 197M|2816 | - |5645 |9908 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
83.39/83.41 c 78.5s|190000 |136739 | 0 | 0.0 | 207M|2816 | - |5645 | 10k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
89.69/89.71 c 84.5s|200000 |142490 | 0 | 0.0 | 218M|2816 | - |5645 | 11k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
96.79/96.86 c 91.3s|210000 |147626 | 0 | 0.0 | 228M|2816 | - |5645 | 12k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
106.69/106.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.69/106.77 c 101s|220000 |150587 | 0 | 0.0 | 239M|2816 | - |5645 | 15k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
110.99/111.04 o 14
110.99/111.04 c * 105s|228632 |157127 | 0 | 0.0 | 243M|2816 | - |5645 |6951 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
111.68/111.77 c 106s|230000 |158275 | 0 | 0.0 | 245M|2816 | - |5645 |7110 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
117.78/117.86 c 111s|240000 |165565 | 0 | 0.0 | 259M|2816 | - |5645 | 10k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
123.27/123.37 c 117s|250000 |172994 | 0 | 0.0 | 268M|2816 | - |5645 |7273 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
125.38/125.44 o 13
125.38/125.44 c * 118s|254015 |175975 | 0 | 0.0 | 272M|2816 | - |5645 |8152 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
130.08/130.13 c 123s|260000 |179477 | 0 | 0.0 | 281M|2816 | - |5645 | 11k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
135.18/135.25 c 128s|270000 |187647 | 0 | 0.0 | 295M|2816 | - |5645 |7376 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
140.37/140.49 c 133s|280000 |195932 | 0 | 0.0 | 310M|2816 | - |5645 |8332 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
146.67/146.78 c 139s|290000 |203506 | 0 | 0.0 | 325M|2816 | - |5645 | 10k| 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
151.28/151.35 o 12
151.28/151.35 c * 143s|295266 |206644 | 0 | 0.0 | 333M|2816 | - |5645 | 11k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
156.68/156.78 c 148s|300000 |208975 | 0 | 0.0 | 342M|2816 | - |5645 | 11k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
162.38/162.48 c 154s|310000 |217474 | 0 | 0.0 | 377M|2816 | - |5645 |9343 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
167.18/167.25 c 158s|320000 |225510 | 0 | 0.0 | 391M|2816 | - |5645 |7617 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
168.78/168.83 o 6
168.78/168.83 c * 160s|323417 |224192 | 0 | 0.0 | 383M|2816 | - |5645 |8193 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
172.58/172.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.58/172.70 c 163s|330000 |228491 | 0 | 0.0 | 392M|2816 | - |5645 |8904 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
177.88/177.99 c 168s|340000 |235000 | 0 | 0.0 | 401M|2816 | - |5645 |7422 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
182.18/182.22 c 172s|350000 |242612 | 0 | 0.0 | 413M|2816 | - |5645 |9585 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
186.77/186.80 c 176s|360000 |249872 | 0 | 0.0 | 422M|2816 | - |5645 |7833 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
191.78/191.86 c 181s|370000 |256436 | 0 | 0.0 | 432M|2816 | - |5645 | 10k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
195.37/195.43 c 185s|380000 |264895 | 0 | 0.0 | 441M|2816 | - |5645 |8002 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
199.47/199.54 c 188s|390000 |272746 | 0 | 0.0 | 452M|2816 | - |5645 |8820 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
204.98/205.03 c 194s|400000 |278982 | 0 | 0.0 | 462M|2816 | - |5645 | 11k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
209.17/209.20 c 197s|410000 |286783 | 0 | 0.0 | 471M|2816 | - |5645 |8915 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
214.07/214.13 c 202s|420000 |293753 | 0 | 0.0 | 481M|2816 | - |5645 |8673 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
217.68/217.72 c 205s|430000 |302181 | 0 | 0.0 | 491M|2816 | - |5645 |8688 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
220.87/220.99 o 4
220.87/220.99 c * 208s|438075 |307406 | 0 | 0.0 | 496M|2816 | - |5645 |9685 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
221.97/222.01 c 209s|440000 |308768 | 0 | 0.0 | 499M|2816 | - |5645 | 10k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
228.28/228.32 c 215s|450000 |314793 | 0 | 0.0 | 509M|2816 | - |5645 | 10k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
231.97/232.02 c 219s|460000 |323127 | 0 | 0.0 | 519M|2816 | - |5645 |9091 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
236.07/236.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
236.07/236.15 c 223s|470000 |330918 | 0 | 0.0 | 529M|2816 | - |5645 |9375 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
240.78/240.84 c 227s|480000 |338193 | 0 | 0.0 | 539M|2816 | - |5645 | 10k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
246.17/246.26 c 232s|490000 |344921 | 0 | 0.0 | 550M|2816 | - |5645 | 11k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
251.17/251.22 c 237s|500000 |352134 | 0 | 0.0 | 560M|2816 | - |5645 |9681 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
255.57/255.61 c 241s|510000 |359623 | 0 | 0.0 | 569M|2816 | - |5645 |9269 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
259.67/259.74 c 245s|520000 |367426 | 0 | 0.0 | 580M|2816 | - |5645 | 10k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
263.88/263.90 c 249s|530000 |375218 | 0 | 0.0 | 589M|2816 | - |5645 |9882 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
268.17/268.26 c 253s|540000 |382812 | 0 | 0.0 | 600M|2816 | - |5645 | 10k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
273.77/273.83 c 258s|550000 |389197 | 0 | 0.0 | 609M|2816 | - |5645 | 12k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
277.57/277.68 c 261s|560000 |397303 | 0 | 0.0 | 619M|2816 | - |5645 | 10k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
281.77/281.88 c 265s|570000 |405070 | 0 | 0.0 | 629M|2816 | - |5645 | 10k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
286.07/286.13 c 269s|580000 |412808 | 0 | 0.0 | 638M|2816 | - |5645 | 10k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
290.07/290.10 c 273s|590000 |420784 | 0 | 0.0 | 648M|2816 | - |5645 | 10k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
294.87/294.91 c 277s|600000 |427808 | 0 | 0.0 | 658M|2816 | - |5645 | 12k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
299.18/299.25 c 282s|610000 |435387 | 0 | 0.0 | 668M|2816 | - |5645 | 11k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
303.37/303.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.37/303.50 c 285s|620000 |443188 | 0 | 0.0 | 678M|2816 | - |5645 | 10k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
308.37/308.40 c 290s|630000 |450221 | 0 | 0.0 | 688M|2816 | - |5645 | 11k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
312.77/312.81 c 294s|640000 |457737 | 0 | 0.0 | 698M|2816 | - |5645 | 12k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
317.17/317.27 c 298s|650000 |465373 | 0 | 0.0 | 708M|2816 | - |5645 | 10k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
321.56/321.68 c 302s|660000 |473132 | 0 | 0.0 | 718M|2816 | - |5645 | 12k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
327.86/327.90 c 308s|670000 |479140 | 0 | 0.0 | 728M|2816 | - |5645 | 13k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
332.07/332.11 c 312s|680000 |486975 | 0 | 0.0 | 737M|2816 | - |5645 | 12k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
336.86/336.93 c 317s|690000 |494198 | 0 | 0.0 | 747M|2816 | - |5645 | 11k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
341.86/341.94 c 321s|700000 |501100 | 0 | 0.0 | 757M|2816 | - |5645 | 11k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
346.16/346.27 c 326s|710000 |508674 | 0 | 0.0 | 767M|2816 | - |5645 | 12k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
350.77/350.83 c 330s|720000 |516132 | 0 | 0.0 | 777M|2816 | - |5645 | 11k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
355.56/355.67 c 334s|730000 |523259 | 0 | 0.0 | 787M|2816 | - |5645 | 11k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
360.67/360.75 c 339s|740000 |530168 | 0 | 0.0 | 797M|2816 | - |5645 | 12k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
365.57/365.67 c 344s|750000 |537384 | 0 | 0.0 | 807M|2816 | - |5645 | 13k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
369.86/369.92 c 348s|760000 |545268 | 0 | 0.0 | 816M|2816 | - |5645 | 12k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
374.06/374.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.06/374.13 c 352s|770000 |552873 | 0 | 0.0 | 822M|2816 | - |5645 |4277 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
377.47/377.59 c 355s|780000 |561132 | 0 | 0.0 | 832M|2816 | - |5645 |4711 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
380.87/380.99 c 358s|790000 |569476 | 0 | 0.0 | 843M|2816 | - |5645 |4808 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
384.57/384.68 c 361s|800000 |577434 | 0 | 0.0 | 852M|2816 | - |5645 |5197 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
389.56/389.66 c 366s|810000 |584283 | 0 | 0.0 | 863M|2816 | - |5645 |6267 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
394.47/394.54 c 371s|820000 |591179 | 0 | 0.0 | 873M|2816 | - |5645 |6811 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
399.56/399.61 c 375s|830000 |597901 | 0 | 0.0 | 883M|2816 | - |5645 |6723 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
404.77/404.86 c 380s|840000 |604437 | 0 | 0.0 | 893M|2816 | - |5645 |7277 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
409.97/410.08 c 385s|850000 |610895 | 0 | 0.0 | 903M|2816 | - |5645 |7561 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
415.46/415.50 c 390s|860000 |617258 | 0 | 0.0 | 913M|2816 | - |5645 |7425 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
420.76/420.80 c 395s|870000 |623713 | 0 | 0.0 | 923M|2816 | - |5645 |7343 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
426.17/426.29 c 401s|880000 |629902 | 0 | 0.0 | 933M|2816 | - |5645 |8075 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
431.76/431.88 c 406s|890000 |636032 | 0 | 0.0 | 943M|2816 | - |5645 |8353 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
437.56/437.60 c 411s|900000 |642091 | 0 | 0.0 | 953M|2816 | - |5645 |8302 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
443.36/443.41 c 417s|910000 |648166 | 0 | 0.0 | 963M|2816 | - |5645 |8524 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
449.46/449.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.46/449.52 c 423s|920000 |653851 | 0 | 0.0 | 973M|2816 | - |5645 |8974 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
454.96/455.07 c 428s|930000 |660056 | 0 | 0.0 | 982M|2816 | - |5645 |8078 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
461.25/461.39 c 434s|940000 |665505 | 0 | 0.0 | 992M|2816 | - |5645 |9119 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
467.26/467.37 c 440s|950000 |671307 | 0 | 0.0 |1002M|2816 | - |5645 |9086 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
473.66/473.72 c 446s|960000 |676869 | 0 | 0.0 |1012M|2816 | - |5645 |9250 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
479.96/480.04 c 452s|970000 |682276 | 0 | 0.0 |1021M|2816 | - |5645 |9886 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
486.06/486.14 c 458s|980000 |688127 | 0 | 0.0 |1031M|2816 | - |5645 |9402 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
492.66/492.77 c 464s|990000 |693355 | 0 | 0.0 |1041M|2816 | - |5645 | 10k| 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
499.05/499.11 c 470s| 1000k|698998 | 0 | 0.0 |1050M|2816 | - |5645 |9512 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
505.65/505.70 c 476s| 1010k|704145 | 0 | 0.0 |1061M|2816 | - |5645 | 10k| 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
511.66/511.78 c 482s| 1020k|709956 | 0 | 0.0 |1071M|2816 | - |5645 | 10k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
518.06/518.11 c 488s| 1030k|715342 | 0 | 0.0 |1081M|2816 | - |5645 |9819 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
524.56/524.70 c 495s| 1040k|720643 | 0 | 0.0 |1091M|2816 | - |5645 |9943 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
530.76/530.88 c 500s| 1050k|726182 | 0 | 0.0 |1101M|2816 | - |5645 |9128 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
537.75/537.83 c 507s| 1060k|731101 | 0 | 0.0 |1111M|2816 | - |5645 | 10k| 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
543.85/543.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.85/543.99 c 513s| 1070k|736780 | 0 | 0.0 |1121M|2816 | - |5645 |9037 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
551.46/551.53 c 520s| 1080k|741178 | 0 | 0.0 |1131M|2816 | - |5645 | 10k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
557.85/557.93 c 526s| 1090k|746665 | 0 | 0.0 |1141M|2816 | - |5645 |9220 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
565.65/565.70 c 534s| 1100k|750802 | 0 | 0.0 |1151M|2816 | - |5645 | 10k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
572.35/572.48 c 540s| 1110k|755852 | 0 | 0.0 |1160M|2816 | - |5645 |9295 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
580.25/580.37 c 548s| 1120k|759890 | 0 | 0.0 |1170M|2816 | - |5645 | 10k| 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
588.25/588.31 c 555s| 1130k|763769 | 0 | 0.0 |1179M|2816 | - |5645 | 11k| 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
595.95/596.04 c 563s| 1140k|768117 | 0 | 0.0 |1189M|2816 | - |5645 | 10k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
604.85/604.95 c 571s| 1150k|771294 | 0 | 0.0 |1198M|2816 | - |5645 | 10k| 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
613.35/613.43 c 579s| 1160k|774794 | 0 | 0.0 |1207M|2816 | - |5645 | 11k| 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
622.35/622.44 c 588s| 1170k|777891 | 0 | 0.0 |1216M|2816 | - |5645 | 11k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
631.95/632.02 c 597s| 1180k|780530 | 0 | 0.0 |1224M|2816 | - |5645 | 11k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
641.95/642.08 c 607s| 1190k|782771 | 0 | 0.0 |1232M|2816 | - |5645 | 12k| 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
652.35/652.45 c 617s| 1200k|784798 | 0 | 0.0 |1240M|2816 | - |5645 | 11k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
663.25/663.38 c 628s| 1210k|786351 | 0 | 0.0 |1247M|2816 | - |5645 | 11k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
674.44/674.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.44/674.57 c 639s| 1220k|787873 | 0 | 0.0 |1254M|2816 | - |5645 | 11k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
686.35/686.43 c 650s| 1230k|788662 | 0 | 0.0 |1261M|2816 | - |5645 | 12k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
699.05/699.18 c 662s| 1240k|789037 | 0 | 0.0 |1268M|2816 | - |5645 | 13k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
713.54/713.65 c 676s| 1250k|788562 | 0 | 0.0 |1273M|2816 | - |5645 | 15k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
728.05/728.19 c 690s| 1260k|788532 | 0 | 0.0 |1273M|2816 | - |5645 |7254 | 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
732.05/732.10 c 694s| 1270k|796691 | 0 | 0.0 |1283M|2816 | - |5645 |5391 | 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
735.95/736.08 c 698s| 1280k|804721 | 0 | 0.0 |1294M|2816 | - |5645 |6084 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
740.04/740.18 c 702s| 1290k|812523 | 0 | 0.0 |1304M|2816 | - |5645 |6460 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
744.44/744.53 c 706s| 1300k|820190 | 0 | 0.0 |1315M|2816 | - |5645 |7186 | 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
749.05/749.20 c 710s| 1310k|827609 | 0 | 0.0 |1326M|2816 | - |5645 |7750 | 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
754.04/754.10 c 715s| 1320k|834841 | 0 | 0.0 |1337M|2816 | - |5645 |8292 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
759.25/759.37 c 720s| 1330k|841791 | 0 | 0.0 |1348M|2816 | - |5645 |8754 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
764.74/764.87 c 725s| 1340k|848492 | 0 | 0.0 |1359M|2816 | - |5645 |9334 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
771.05/771.12 c 731s| 1350k|854707 | 0 | 0.0 |1370M|2816 | - |5645 | 10k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
777.94/778.05 c 737s| 1360k|860515 | 0 | 0.0 |1382M|2816 | - |5645 | 11k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
785.54/785.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.54/785.63 c 744s| 1370k|865862 | 0 | 0.0 |1393M|2816 | - |5645 | 12k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
794.15/794.23 c 753s| 1380k|870581 | 0 | 0.0 |1404M|2816 | - |5645 | 13k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
804.15/804.21 c 762s| 1390k|874261 | 0 | 0.0 |1415M|2816 | - |5645 | 15k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
813.95/814.07 c 772s| 1400k|878278 | 0 | 0.0 |1420M|2816 | - |5645 |7042 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
818.25/818.40 c 776s| 1410k|885937 | 0 | 0.0 |1430M|2816 | - |5645 |6544 | 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
822.65/822.73 c 780s| 1420k|893588 | 0 | 0.0 |1440M|2816 | - |5645 |7056 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
827.24/827.30 c 784s| 1430k|901057 | 0 | 0.0 |1451M|2816 | - |5645 |7869 | 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
832.04/832.17 c 789s| 1440k|908267 | 0 | 0.0 |1461M|2816 | - |5645 |8402 | 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
837.14/837.24 c 793s| 1450k|915248 | 0 | 0.0 |1471M|2816 | - |5645 |9032 | 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
842.64/842.74 c 799s| 1460k|921894 | 0 | 0.0 |1481M|2816 | - |5645 |9886 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
848.84/848.93 c 804s| 1470k|928024 | 0 | 0.0 |1491M|2816 | - |5645 | 11k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
855.65/855.76 c 811s| 1480k|933768 | 0 | 0.0 |1501M|2816 | - |5645 | 12k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
863.94/864.01 c 819s| 1490k|938668 | 0 | 0.0 |1512M|2816 | - |5645 | 14k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
873.94/874.06 c 828s| 1500k|942484 | 0 | 0.0 |1522M|2816 | - |5645 | 16k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
886.84/886.98 c 841s| 1510k|944694 | 0 | 0.0 |1527M|2816 | - |5645 | 10k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
891.14/891.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
891.14/891.22 c 845s| 1520k|952825 | 0 | 0.0 |1536M|2816 | - |5645 |7264 | 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
895.44/895.51 c 849s| 1530k|960789 | 0 | 0.0 |1546M|2816 | - |5645 |7723 | 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
899.75/899.86 c 853s| 1540k|968642 | 0 | 0.0 |1556M|2816 | - |5645 |8174 | 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
904.34/904.43 c 857s| 1550k|976394 | 0 | 0.0 |1566M|2816 | - |5645 |8642 | 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
909.24/909.32 c 862s| 1560k|983935 | 0 | 0.0 |1576M|2816 | - |5645 |9141 | 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
914.14/914.29 c 866s| 1570k|991476 | 0 | 0.0 |1586M|2816 | - |5645 |9898 | 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
919.54/919.67 c 871s| 1580k|998751 | 0 | 0.0 |1595M|2816 | - |5645 |6884 | 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
924.34/924.44 c 876s| 1590k| 1005k| 0 | 0.0 |1604M|2816 | - |5645 |7835 | 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
929.24/929.33 c 881s| 1600k| 1013k| 0 | 0.0 |1614M|2816 | - |5645 |8169 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
934.54/934.64 c 886s| 1610k| 1019k| 0 | 0.0 |1624M|2816 | - |5645 |8122 | 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
939.83/939.99 c 891s| 1620k| 1026k| 0 | 0.0 |1634M|2816 | - |5645 |8789 | 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
945.34/945.41 c 896s| 1630k| 1033k| 0 | 0.0 |1643M|2816 | - |5645 |9174 | 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
950.83/950.97 c 901s| 1640k| 1039k| 0 | 0.0 |1653M|2816 | - |5645 |9516 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
956.84/956.98 c 907s| 1650k| 1045k| 0 | 0.0 |1663M|2816 | - |5645 |9417 | 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
963.64/963.70 c 913s| 1660k| 1051k| 0 | 0.0 |1672M|2816 | - |5645 | 10k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
970.14/970.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.14/970.28 c 919s| 1670k| 1057k| 0 | 0.0 |1682M|2816 | - |5645 | 11k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
977.63/977.79 c 926s| 1680k| 1062k| 0 | 0.0 |1692M|2816 | - |5645 | 11k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
985.34/985.44 c 934s| 1690k| 1067k| 0 | 0.0 |1701M|2816 | - |5645 | 12k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
993.94/994.05 c 942s| 1700k| 1071k| 0 | 0.0 |1710M|2816 | - |5645 | 12k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1002.94/1003.09 c 950s| 1710k| 1075k| 0 | 0.0 |1719M|2816 | - |5645 | 12k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1013.44/1013.51 c 961s| 1720k| 1078k| 0 | 0.0 |1727M|2816 | - |5645 | 14k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1025.93/1026.03 c 973s| 1730k| 1080k| 0 | 0.0 |1733M|2816 | - |5645 | 15k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1033.83/1033.93 c 980s| 1740k| 1085k| 0 | 0.0 |1736M|2816 | - |5645 |6844 | 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1037.83/1037.94 c 984s| 1750k| 1093k| 0 | 0.0 |1746M|2816 | - |5645 |7033 | 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1041.93/1042.03 c 988s| 1760k| 1101k| 0 | 0.0 |1756M|2816 | - |5645 |7385 | 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1046.13/1046.22 c 992s| 1770k| 1108k| 0 | 0.0 |1765M|2816 | - |5645 |7512 | 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1050.44/1050.59 c 996s| 1780k| 1116k| 0 | 0.0 |1775M|2816 | - |5645 |7971 | 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1055.03/1055.17 c 1000s| 1790k| 1123k| 0 | 0.0 |1784M|2816 | - |5645 |8344 | 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1059.73/1059.87 c 1004s| 1800k| 1130k| 0 | 0.0 |1794M|2816 | - |5645 |8415 | 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1064.83/1064.98 c 1009s| 1810k| 1137k| 0 | 0.0 |1804M|2816 | - |5645 |8958 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1070.02/1070.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1070.02/1070.11 c 1014s| 1820k| 1144k| 0 | 0.0 |1814M|2816 | - |5645 |9125 | 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1075.33/1075.47 c 1019s| 1830k| 1151k| 0 | 0.0 |1824M|2816 | - |5645 |9332 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1080.82/1080.95 c 1024s| 1840k| 1158k| 0 | 0.0 |1834M|2816 | - |5645 |9854 | 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1086.32/1086.42 c 1029s| 1850k| 1164k| 0 | 0.0 |1844M|2816 | - |5645 | 10k| 0 | 0 | 0 |1472k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1092.02/1092.19 c 1035s| 1860k| 1170k| 0 | 0.0 |1853M|2816 | - |5645 |9207 | 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1098.12/1098.23 c 1040s| 1870k| 1176k| 0 | 0.0 |1863M|2816 | - |5645 | 10k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1104.02/1104.12 c 1046s| 1880k| 1183k| 0 | 0.0 |1873M|2816 | - |5645 | 10k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1110.32/1110.46 c 1052s| 1890k| 1188k| 0 | 0.0 |1883M|2816 | - |5645 | 10k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1117.22/1117.35 c 1059s| 1900k| 1194k| 0 | 0.0 |1892M|2816 | - |5645 | 11k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1124.52/1124.63 c 1066s| 1910k| 1199k| 0 | 0.0 |1902M|2816 | - |5645 | 12k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1132.52/1132.62 c 1073s| 1920k| 1203k| 0 | 0.0 |1911M|2816 | - |5645 | 13k| 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1140.82/1140.97 c 1081s| 1930k| 1208k| 0 | 0.0 |1920M|2816 | - |5645 | 13k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1150.12/1150.29 c 1090s| 1940k| 1212k| 0 | 0.0 |1928M|2816 | - |5645 | 14k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1161.62/1161.79 c 1101s| 1950k| 1214k| 0 | 0.0 |1935M|2816 | - |5645 | 16k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1170.51/1170.68 c 1110s| 1960k| 1218k| 0 | 0.0 |1939M|2816 | - |5645 |7048 | 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1174.51/1174.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.51/1174.62 c 1113s| 1970k| 1226k| 0 | 0.0 |1949M|2816 | - |5645 |7655 | 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1178.71/1178.87 c 1117s| 1980k| 1234k| 0 | 0.0 |1959M|2816 | - |5645 |8281 | 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1183.22/1183.37 c 1122s| 1990k| 1241k| 0 | 0.0 |1969M|2816 | - |5645 |8806 | 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1188.11/1188.23 c 1126s| 2000k| 1249k| 0 | 0.0 |1979M|2816 | - |5645 |9770 | 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1193.11/1193.29 c 1131s| 2010k| 1256k| 0 | 0.0 |1989M|2816 | - |5645 | 10k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1198.71/1198.87 c 1136s| 2020k| 1262k| 0 | 0.0 |1999M|2816 | - |5645 | 10k| 0 | 0 | 0 |1607k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1204.81/1204.90 c 1142s| 2030k| 1268k| 0 | 0.0 |2009M|2816 | - |5645 | 11k| 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1211.32/1211.41 c 1148s| 2040k| 1274k| 0 | 0.0 |2019M|2816 | - |5645 | 12k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1218.61/1218.73 c 1155s| 2050k| 1279k| 0 | 0.0 |2029M|2816 | - |5645 | 13k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1226.61/1226.70 c 1163s| 2060k| 1284k| 0 | 0.0 |2039M|2816 | - |5645 | 15k| 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1236.91/1237.09 c 1173s| 2070k| 1287k| 0 | 0.0 |2047M|2816 | - |5645 | 15k| 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1243.80/1243.99 c 1179s| 2080k| 1293k| 0 | 0.0 |2053M|2816 | - |5645 |8141 | 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1248.31/1248.42 c 1183s| 2090k| 1300k| 0 | 0.0 |2062M|2816 | - |5645 |8349 | 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1252.61/1252.71 c 1187s| 2100k| 1308k| 0 | 0.0 |2072M|2816 | - |5645 |8772 | 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1257.22/1257.31 c 1192s| 2110k| 1315k| 0 | 0.0 |2083M|2816 | - |5645 |9443 | 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1262.00/1262.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.00/1262.19 c 1196s| 2120k| 1323k| 0 | 0.0 |2093M|2816 | - |5645 |9996 | 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1267.21/1267.33 c 1201s| 2130k| 1329k| 0 | 0.0 |2103M|2816 | - |5645 | 11k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1272.71/1272.81 c 1206s| 2140k| 1336k| 0 | 0.0 |2113M|2816 | - |5645 | 12k| 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1278.91/1279.08 c 1212s| 2150k| 1342k| 0 | 0.0 |2123M|2816 | - |5645 | 13k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1286.31/1286.49 c 1219s| 2160k| 1347k| 0 | 0.0 |2133M|2816 | - |5645 | 14k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1294.71/1294.88 c 1227s| 2170k| 1352k| 0 | 0.0 |2143M|2816 | - |5645 | 17k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1306.72/1306.83 c 1239s| 2180k| 1354k| 0 | 0.0 |2151M|2816 | - |5645 | 20k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1311.81/1311.93 c 1244s| 2190k| 1362k| 0 | 0.0 |2156M|2816 | - |5645 |7786 | 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1316.01/1316.10 c 1247s| 2200k| 1369k| 0 | 0.0 |2166M|2816 | - |5645 |8069 | 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1320.41/1320.51 c 1252s| 2210k| 1377k| 0 | 0.0 |2176M|2816 | - |5645 |8255 | 0 | 0 | 0 |1749k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1324.91/1325.00 c 1256s| 2220k| 1384k| 0 | 0.0 |2186M|2816 | - |5645 |8357 | 0 | 0 | 0 |1754k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1329.51/1329.60 c 1260s| 2230k| 1392k| 0 | 0.0 |2195M|2816 | - |5645 |8493 | 0 | 0 | 0 |1758k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1334.22/1334.34 c 1264s| 2240k| 1399k| 0 | 0.0 |2206M|2816 | - |5645 |8661 | 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1339.31/1339.45 c 1269s| 2250k| 1406k| 0 | 0.0 |2216M|2816 | - |5645 |9272 | 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1344.81/1344.90 c 1274s| 2260k| 1413k| 0 | 0.0 |2226M|2816 | - |5645 |9426 | 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1350.21/1350.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.21/1350.30 c 1279s| 2270k| 1419k| 0 | 0.0 |2236M|2816 | - |5645 |9733 | 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1355.81/1355.99 c 1285s| 2280k| 1426k| 0 | 0.0 |2245M|2816 | - |5645 |9994 | 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1361.51/1361.67 c 1290s| 2290k| 1432k| 0 | 0.0 |2256M|2816 | - |5645 | 10k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1367.51/1367.67 c 1296s| 2300k| 1438k| 0 | 0.0 |2265M|2816 | - |5645 | 10k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1373.51/1373.66 c 1302s| 2310k| 1444k| 0 | 0.0 |2275M|2816 | - |5645 | 10k| 0 | 0 | 0 |1808k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1380.01/1380.19 c 1308s| 2320k| 1450k| 0 | 0.0 |2285M|2816 | - |5645 | 11k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1386.81/1386.96 c 1314s| 2330k| 1456k| 0 | 0.0 |2294M|2816 | - |5645 | 11k| 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1393.91/1394.06 c 1321s| 2340k| 1461k| 0 | 0.0 |2304M|2816 | - |5645 | 12k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1401.41/1401.52 c 1328s| 2350k| 1466k| 0 | 0.0 |2313M|2816 | - |5645 | 12k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1409.41/1409.52 c 1336s| 2360k| 1471k| 0 | 0.0 |2323M|2816 | - |5645 | 14k| 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1418.71/1418.84 c 1345s| 2370k| 1475k| 0 | 0.0 |2332M|2816 | - |5645 | 15k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1430.01/1430.10 c 1355s| 2380k| 1478k| 0 | 0.0 |2340M|2816 | - |5645 | 17k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1436.61/1436.73 c 1362s| 2390k| 1484k| 0 | 0.0 |2346M|2816 | - |5645 |8003 | 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1440.71/1440.81 c 1366s| 2400k| 1492k| 0 | 0.0 |2355M|2816 | - |5645 |8607 | 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1444.81/1444.96 c 1369s| 2410k| 1500k| 0 | 0.0 |2365M|2816 | - |5645 |9097 | 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1449.21/1449.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.21/1449.30 c 1373s| 2420k| 1508k| 0 | 0.0 |2374M|2816 | - |5645 |9540 | 0 | 0 | 0 |1895k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1453.71/1453.86 c 1378s| 2430k| 1515k| 0 | 0.0 |2384M|2816 | - |5645 | 10k| 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1458.91/1459.04 c 1383s| 2440k| 1522k| 0 | 0.0 |2394M|2816 | - |5645 | 10k| 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1464.61/1464.70 c 1388s| 2450k| 1528k| 0 | 0.0 |2404M|2816 | - |5645 | 11k| 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1470.82/1470.99 c 1394s| 2460k| 1535k| 0 | 0.0 |2415M|2816 | - |5645 | 12k| 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1478.32/1478.41 c 1401s| 2470k| 1540k| 0 | 0.0 |2425M|2816 | - |5645 | 14k| 0 | 0 | 0 |1928k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1486.91/1487.03 c 1409s| 2480k| 1544k| 0 | 0.0 |2434M|2816 | - |5645 | 16k| 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1497.91/1498.07 c 1420s| 2490k| 1547k| 0 | 0.0 |2443M|2816 | - |5645 | 18k| 0 | 0 | 0 |1952k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1504.51/1504.60 c 1426s| 2500k| 1554k| 0 | 0.0 |2448M|2816 | - |5645 |7975 | 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1508.22/1508.33 c 1430s| 2510k| 1562k| 0 | 0.0 |2457M|2816 | - |5645 |7995 | 0 | 0 | 0 |1961k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1512.01/1512.11 c 1433s| 2520k| 1570k| 0 | 0.0 |2467M|2816 | - |5645 |8138 | 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1515.81/1515.94 c 1437s| 2530k| 1578k| 0 | 0.0 |2476M|2816 | - |5645 |8155 | 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1519.81/1519.90 c 1440s| 2540k| 1586k| 0 | 0.0 |2486M|2816 | - |5645 |8596 | 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1524.01/1524.10 c 1444s| 2550k| 1593k| 0 | 0.0 |2495M|2816 | - |5645 |8778 | 0 | 0 | 0 |1976k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1528.21/1528.35 c 1448s| 2560k| 1601k| 0 | 0.0 |2505M|2816 | - |5645 |9185 | 0 | 0 | 0 |1980k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1532.71/1532.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.71/1532.80 c 1452s| 2570k| 1608k| 0 | 0.0 |2515M|2816 | - |5645 |9408 | 0 | 0 | 0 |1985k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1537.41/1537.52 c 1457s| 2580k| 1615k| 0 | 0.0 |2525M|2816 | - |5645 |9512 | 0 | 0 | 0 |1990k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1542.31/1542.48 c 1461s| 2590k| 1622k| 0 | 0.0 |2535M|2816 | - |5645 | 10k| 0 | 0 | 0 |1995k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1547.41/1547.58 c 1466s| 2600k| 1629k| 0 | 0.0 |2545M|2816 | - |5645 | 10k| 0 | 0 | 0 |2001k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1552.81/1552.94 c 1471s| 2610k| 1636k| 0 | 0.0 |2555M|2816 | - |5645 | 10k| 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1558.42/1558.56 c 1477s| 2620k| 1642k| 0 | 0.0 |2565M|2816 | - |5645 | 11k| 0 | 0 | 0 |2013k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1564.41/1564.59 c 1482s| 2630k| 1648k| 0 | 0.0 |2575M|2816 | - |5645 | 11k| 0 | 0 | 0 |2020k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1570.81/1570.96 c 1488s| 2640k| 1654k| 0 | 0.0 |2586M|2816 | - |5645 | 12k| 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1572.72/1572.86 o 3
1572.72/1572.86 c *1490s| 2643k| 1627k| 0 | 0.0 |2525M|2816 | - |5645 | 12k| 0 | 0 | 0 |2029k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1577.91/1578.08 c 1495s| 2650k| 1631k| 0 | 0.0 |2532M|2816 | - |5645 | 12k| 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1586.41/1586.53 c 1503s| 2660k| 1636k| 0 | 0.0 |2543M|2816 | - |5645 | 14k| 0 | 0 | 0 |2044k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1595.52/1595.66 c 1512s| 2670k| 1640k| 0 | 0.0 |2553M|2816 | - |5645 | 14k| 0 | 0 | 0 |2053k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1605.42/1605.53 c 1521s| 2680k| 1644k| 0 | 0.0 |2563M|2816 | - |5645 | 15k| 0 | 0 | 0 |2064k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1616.81/1617.00 c 1533s| 2690k| 1647k| 0 | 0.0 |2573M|2816 | - |5645 | 17k| 0 | 0 | 0 |2077k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1630.81/1630.99 c 1546s| 2700k| 1648k| 0 | 0.0 |2575M|2816 | - |5645 | 10k| 0 | 0 | 0 |2091k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1634.81/1634.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.81/1634.93 c 1550s| 2710k| 1656k| 0 | 0.0 |2584M|2816 | - |5645 |8688 | 0 | 0 | 0 |2095k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1638.71/1638.90 c 1553s| 2720k| 1664k| 0 | 0.0 |2594M|2816 | - |5645 |9044 | 0 | 0 | 0 |2098k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1642.91/1643.05 c 1557s| 2730k| 1672k| 0 | 0.0 |2603M|2816 | - |5645 |9248 | 0 | 0 | 0 |2102k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1647.41/1647.51 c 1561s| 2740k| 1679k| 0 | 0.0 |2613M|2816 | - |5645 |9002 | 0 | 0 | 0 |2107k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1652.12/1652.28 c 1566s| 2750k| 1686k| 0 | 0.0 |2623M|2816 | - |5645 |9136 | 0 | 0 | 0 |2112k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1657.22/1657.32 c 1571s| 2760k| 1693k| 0 | 0.0 |2633M|2816 | - |5645 |9461 | 0 | 0 | 0 |2118k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1662.22/1662.31 c 1575s| 2770k| 1700k| 0 | 0.0 |2643M|2816 | - |5645 |9583 | 0 | 0 | 0 |2123k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1667.42/1667.60 c 1580s| 2780k| 1707k| 0 | 0.0 |2653M|2816 | - |5645 | 10k| 0 | 0 | 0 |2129k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1673.01/1673.19 c 1586s| 2790k| 1713k| 0 | 0.0 |2662M|2816 | - |5645 | 10k| 0 | 0 | 0 |2136k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1678.91/1679.03 c 1591s| 2800k| 1719k| 0 | 0.0 |2672M|2816 | - |5645 | 10k| 0 | 0 | 0 |2143k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1684.41/1684.57 c 1596s| 2810k| 1725k| 0 | 0.0 |2681M|2816 | - |5645 | 10k| 0 | 0 | 0 |2149k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1690.41/1690.57 c 1602s| 2820k| 1731k| 0 | 0.0 |2690M|2816 | - |5645 | 10k| 0 | 0 | 0 |2156k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1696.12/1696.28 c 1607s| 2830k| 1738k| 0 | 0.0 |2699M|2816 | - |5645 | 10k| 0 | 0 | 0 |2163k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1701.92/1702.05 c 1613s| 2840k| 1744k| 0 | 0.0 |2709M|2816 | - |5645 | 10k| 0 | 0 | 0 |2170k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1708.12/1708.27 c 1619s| 2850k| 1750k| 0 | 0.0 |2718M|2816 | - |5645 | 11k| 0 | 0 | 0 |2178k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1714.11/1714.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.11/1714.23 c 1624s| 2860k| 1756k| 0 | 0.0 |2727M|2816 | - |5645 | 11k| 0 | 0 | 0 |2185k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1719.71/1719.80 c 1630s| 2870k| 1762k| 0 | 0.0 |2737M|2816 | - |5645 | 11k| 0 | 0 | 0 |2191k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1725.72/1725.83 c 1635s| 2880k| 1768k| 0 | 0.0 |2746M|2816 | - |5645 | 11k| 0 | 0 | 0 |2198k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1731.71/1731.87 c 1641s| 2890k| 1774k| 0 | 0.0 |2755M|2816 | - |5645 | 11k| 0 | 0 | 0 |2206k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1737.72/1737.89 c 1647s| 2900k| 1781k| 0 | 0.0 |2765M|2816 | - |5645 | 12k| 0 | 0 | 0 |2213k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1744.21/1744.33 c 1653s| 2910k| 1786k| 0 | 0.0 |2774M|2816 | - |5645 | 12k| 0 | 0 | 0 |2220k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1750.91/1751.01 c 1659s| 2920k| 1792k| 0 | 0.0 |2783M|2816 | - |5645 | 13k| 0 | 0 | 0 |2228k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1757.72/1757.88 c 1666s| 2930k| 1798k| 0 | 0.0 |2793M|2816 | - |5645 | 13k| 0 | 0 | 0 |2236k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1765.01/1765.18 c 1673s| 2940k| 1803k| 0 | 0.0 |2802M|2816 | - |5645 | 14k| 0 | 0 | 0 |2244k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1772.81/1772.91 c 1680s| 2950k| 1808k| 0 | 0.0 |2811M|2816 | - |5645 | 15k| 0 | 0 | 0 |2253k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1780.61/1780.74 c 1688s| 2960k| 1813k| 0 | 0.0 |2819M|2816 | - |5645 | 15k| 0 | 0 | 0 |2262k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1788.81/1788.92 c 1695s| 2970k| 1818k| 0 | 0.0 |2827M|2816 | - |5645 | 14k| 0 | 0 | 0 |2272k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1796.22/1796.38 c 1703s| 2980k| 1823k| 0 | 0.0 |2835M|2816 | - |5645 | 11k| 0 | 0 | 0 |2281k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.02/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.10 c
1800.02/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.10 c Solving Time (sec) : 1706.05
1800.02/1800.10 c Solving Nodes : 2986031
1800.02/1800.10 c Primal Bound : +3.00000000000000e+00 (32 solutions)
1800.02/1800.10 c Dual Bound : +0.00000000000000e+00
1800.02/1800.10 c Gap : infinite
1800.02/1800.15 s SATISFIABLE
1800.02/1800.15 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.02/1800.15 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.15 v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.02/1800.15 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.15 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.02/1800.15 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.02/1800.15 v -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.02/1800.15 v -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.02/1800.15 v -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.02/1800.15 v -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.02/1800.15 v -x1
1800.02/1800.15 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.15 c Solving Time : 1706.05
1800.02/1800.15 c Original Problem :
1800.02/1800.15 c Problem name : HOME/instance-2693653-1277928795.wbo
1800.02/1800.15 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.15 c Constraints : 5415 initial, 5415 maximal
1800.02/1800.15 c Presolved Problem :
1800.02/1800.15 c Problem name : t_HOME/instance-2693653-1277928795.wbo
1800.02/1800.15 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.15 c Constraints : 5414 initial, 21053 maximal
1800.02/1800.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.15 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.15 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.15 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.15 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.15 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.15 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.02/1800.15 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.15 c root node : - 2619 - - 5238 - - - -
1800.02/1800.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.15 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.15 c indicator : 2707 0 6530721 0 2014038 84 2022791 0 0 0
1800.02/1800.15 c linear : 2707 0 8781975 0 2581195 598525 49321856 0 0 0
1800.02/1800.15 c logicor : 0+ 0 3992541 0 0 65484 1450699 0 0 0
1800.02/1800.15 c countsols : 0 0 0 0 2581219 0 0 0 0 0
1800.02/1800.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.15 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.15 c indicator : 16.51 0.00 6.35 0.00 10.16
1800.02/1800.15 c linear : 437.61 0.00 436.22 0.00 1.39
1800.02/1800.15 c logicor : 211.04 0.00 211.04 0.00 0.00
1800.02/1800.15 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.15 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.15 c vbounds : 0.00 2 0 0
1800.02/1800.15 c rootredcost : 0.01 0 0 0
1800.02/1800.15 c pseudoobj : 432.16 8783616 1506 1981924
1800.02/1800.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.15 c propagation : 34.57 665515 665511 3442194 23.5 150253 9.2 -
1800.02/1800.15 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.15 c pseudo solution : 0.00 81 81 314 28.8 229 8.8 -
1800.02/1800.15 c applied globally : - - - 2286479 20.9 - - -
1800.02/1800.15 c applied locally : - - - 0 0.0 - - -
1800.02/1800.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.15 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.15 c redcost : 0.00 0 0 0 0 0
1800.02/1800.15 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.15 c intobj : 0.00 0 0 0 0 0
1800.02/1800.15 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.15 c gomory : 0.00 0 0 0 0 0
1800.02/1800.15 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.15 c cmir : 0.00 0 0 0 0 0
1800.02/1800.15 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.15 c clique : 0.00 0 0 0 0 0
1800.02/1800.15 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.15 c mcf : 0.00 0 0 0 0 0
1800.02/1800.15 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.15 c Pricers : Time Calls Vars
1800.02/1800.15 c problem variables: 0.00 0 0
1800.02/1800.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.15 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.15 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.15 c inference : 44.38 2581190 0 0 0 0 5162380
1800.02/1800.15 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.15 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.15 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.15 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.15 c random : 0.00 0 0 0 0 0 0
1800.02/1800.15 c Primal Heuristics : Time Calls Found
1800.02/1800.15 c LP solutions : 0.00 - 0
1800.02/1800.15 c pseudo solutions : 0.12 - 29
1800.02/1800.15 c oneopt : 0.03 0 0
1800.02/1800.15 c trivial : 0.08 2 2
1800.02/1800.15 c simplerounding : 0.00 0 0
1800.02/1800.15 c zirounding : 0.00 0 0
1800.02/1800.15 c rounding : 0.00 0 0
1800.02/1800.15 c shifting : 0.00 0 0
1800.02/1800.15 c intshifting : 0.00 0 0
1800.02/1800.15 c twoopt : 0.00 0 0
1800.02/1800.15 c fixandinfer : 0.00 0 0
1800.02/1800.15 c feaspump : 0.00 0 0
1800.02/1800.15 c coefdiving : 0.00 0 0
1800.02/1800.15 c pscostdiving : 0.00 0 0
1800.02/1800.15 c fracdiving : 0.00 0 0
1800.02/1800.15 c veclendiving : 0.00 0 0
1800.02/1800.15 c intdiving : 0.00 0 0
1800.02/1800.15 c actconsdiving : 0.00 0 0
1800.02/1800.15 c objpscostdiving : 0.00 0 0
1800.02/1800.15 c rootsoldiving : 0.00 0 0
1800.02/1800.15 c linesearchdiving : 0.00 0 0
1800.02/1800.15 c guideddiving : 0.00 0 0
1800.02/1800.15 c octane : 0.00 0 0
1800.02/1800.15 c rens : 0.00 0 0
1800.02/1800.15 c rins : 0.00 0 0
1800.02/1800.15 c localbranching : 0.00 0 0
1800.02/1800.15 c mutation : 0.00 0 0
1800.02/1800.15 c crossover : 0.00 0 0
1800.02/1800.15 c dins : 0.00 0 0
1800.02/1800.15 c undercover : 0.00 0 0
1800.02/1800.15 c nlp : 0.00 0 0
1800.02/1800.15 c trysol : 0.00 1 1
1800.02/1800.15 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.15 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.15 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.15 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.15 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.15 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.15 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.15 c (at root node) : - 0 0 0.00 -
1800.02/1800.15 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.15 c B&B Tree :
1800.02/1800.15 c number of runs : 1
1800.02/1800.15 c nodes : 2986031
1800.02/1800.15 c nodes (total) : 2986031
1800.02/1800.15 c nodes left : 1827032
1800.02/1800.15 c max depth : 2816
1800.02/1800.15 c max depth (total): 2816
1800.02/1800.15 c backtracks : 357581 (12.0%)
1800.02/1800.15 c delayed cutoffs : 301708
1800.02/1800.15 c repropagations : 1452084 (16317060 domain reductions, 260868 cutoffs)
1800.02/1800.15 c avg switch length: 36.95
1800.02/1800.15 c switching time : 480.94
1800.02/1800.15 c Solution :
1800.02/1800.15 c Solutions found : 32 (30 improvements)
1800.02/1800.15 c First Solution : +1.36367000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.02/1800.15 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2643066 nodes, 1490.04 seconds, depth 1192, found by <relaxation>)
1800.02/1800.15 c Dual Bound : +0.00000000000000e+00
1800.02/1800.15 c Gap : infinite
1800.02/1800.15 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.15 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693653-1277928795/watcher-2693653-1277928795 -o /tmp/evaluation-result-2693653-1277928795/solver-2693653-1277928795 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693653-1277928795.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.94 2.00 1.99 3/176 16516 /proc/meminfo: memFree=30360496/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=8408 CPUtime=0 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 1579 0 0 0 0 0 0 0 21 0 1 0 134175824 8609792 1501 4089446400 4194304 7136930 140736367513376 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16516/statm: 2102 1502 275 719 0 1381 0 [startup+0.0565819 s] /proc/loadavg: 1.94 2.00 1.99 3/176 16516 /proc/meminfo: memFree=30360496/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=32220 CPUtime=0.04 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 7695 0 0 0 4 0 0 0 21 0 1 0 134175824 32993280 7263 4089446400 4194304 7136930 140736367513376 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 8091 7273 317 719 0 7370 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 32220 [startup+0.100567 s] /proc/loadavg: 1.94 2.00 1.99 3/176 16516 /proc/meminfo: memFree=30360496/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=33676 CPUtime=0.09 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 7967 0 0 0 9 0 0 0 21 0 1 0 134175824 34484224 7535 4089446400 4194304 7136930 140736367513376 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300533 s] /proc/loadavg: 1.94 2.00 1.99 3/176 16516 /proc/meminfo: memFree=30360496/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=36496 CPUtime=0.29 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 9241 0 0 0 27 2 0 0 18 0 1 0 134175824 37371904 8295 4089446400 4194304 7136930 140736367513376 18446744073709551615 4642165 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700474 s] /proc/loadavg: 1.94 2.00 1.99 3/176 16516 /proc/meminfo: memFree=30360496/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=37636 CPUtime=0.69 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 9516 0 0 0 65 4 0 0 18 0 1 0 134175824 38539264 8570 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50034 s] /proc/loadavg: 1.94 2.00 1.99 3/177 16517 /proc/meminfo: memFree=30325148/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=41700 CPUtime=1.49 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 10563 0 0 0 137 12 0 0 19 0 1 0 134175824 42700800 9617 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 10425 9617 390 719 0 9704 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41700 [startup+3.10106 s] /proc/loadavg: 1.94 2.00 1.99 3/177 16517 /proc/meminfo: memFree=30321180/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=43752 CPUtime=3.09 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 11090 0 0 0 289 20 0 0 24 0 1 0 134175824 44802048 10144 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 10938 10144 390 719 0 10217 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43752 [startup+6.30051 s] /proc/loadavg: 1.94 2.00 1.99 3/177 16519 /proc/meminfo: memFree=30307352/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=56652 CPUtime=6.29 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 14182 0 0 0 587 42 0 0 25 0 1 0 134175824 58011648 13236 4089446400 4194304 7136930 140736367513376 18446744073709551615 6166190 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 14163 13236 391 719 0 13442 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56652 [startup+12.7004 s] /proc/loadavg: 1.95 2.00 1.99 3/177 16519 /proc/meminfo: memFree=30269172/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=83308 CPUtime=12.69 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 20796 0 0 0 1192 77 0 0 25 0 1 0 134175824 85307392 19850 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 20827 19850 391 719 0 20106 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 83308 [startup+25.5002 s] /proc/loadavg: 1.96 2.00 1.99 3/177 16519 /proc/meminfo: memFree=30207980/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=125508 CPUtime=25.49 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 31146 0 0 0 2397 152 0 0 25 0 1 0 134175824 128520192 30200 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 31377 30200 391 719 0 30656 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 125508 [startup+51.1007 s] /proc/loadavg: 1.97 2.00 1.99 3/177 16519 /proc/meminfo: memFree=30101932/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=200428 CPUtime=51.09 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 49378 0 0 0 4794 315 0 0 25 0 1 0 134175824 205238272 48432 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 50107 48432 391 719 0 49386 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 200428 [startup+102.306 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16521 /proc/meminfo: memFree=29945292/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=311880 CPUtime=102.28 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 77202 0 0 0 9662 566 0 0 25 0 1 0 134175824 319365120 76256 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 77970 76256 391 719 0 77249 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 311880 [startup+162.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16523 /proc/meminfo: memFree=29723904/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=474924 CPUtime=162.28 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 114435 0 0 0 15350 878 0 0 25 0 1 0 134175824 486322176 113489 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 118731 113489 391 719 0 118010 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 474924 [startup+222.301 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16523 /proc/meminfo: memFree=29510584/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=610712 CPUtime=222.27 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 148271 0 0 0 20965 1262 0 0 25 0 1 0 134175824 625369088 147325 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 152678 147325 391 719 0 151957 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 610712 [startup+282.301 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16525 /proc/meminfo: memFree=29321800/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=740732 CPUtime=282.27 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 180949 0 0 0 26572 1655 0 0 25 0 1 0 134175824 758509568 180003 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 185183 180003 391 719 0 184462 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 740732 [startup+342.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16527 /proc/meminfo: memFree=29105484/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=879384 CPUtime=342.26 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 213996 0 0 0 32185 2041 0 0 25 0 1 0 134175824 900489216 213050 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 219846 213050 391 719 0 219125 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 879384 [startup+402.301 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16529 /proc/meminfo: memFree=28900956/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=1011692 CPUtime=402.27 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 247377 0 0 0 37805 2422 0 0 25 0 1 0 134175824 1035972608 246431 4089446400 4194304 7136930 140736367513376 18446744073709551615 4926174 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 252923 246431 391 719 0 252202 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 1011692 [startup+462.301 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16531 /proc/meminfo: memFree=28713912/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=1118644 CPUtime=462.26 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 273940 0 0 0 43500 2726 0 0 25 0 1 0 134175824 1145491456 272994 4089446400 4194304 7136930 140736367513376 18446744073709551615 4924114 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 279661 272994 391 719 0 278940 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 1118644 [startup+522.301 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16531 /proc/meminfo: memFree=28558356/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=1213184 CPUtime=522.25 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 297832 0 0 0 49226 2999 0 0 25 0 1 0 134175824 1242300416 296886 4089446400 4194304 7136930 140736367513376 18446744073709551615 4947065 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 303296 296886 391 719 0 302575 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 1213184 [startup+582.301 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16533 /proc/meminfo: memFree=28401072/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=1299556 CPUtime=582.25 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 319651 0 0 0 54965 3260 0 0 25 0 1 0 134175824 1330745344 318705 4089446400 4194304 7136930 140736367513376 18446744073709551615 4221902 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 324889 318705 391 719 0 324168 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 1299556 [startup+642.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 16535 /proc/meminfo: memFree=28272068/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=1356208 CPUtime=642.26 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 333738 0 0 0 60733 3493 0 0 25 0 1 0 134175824 1388756992 332792 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 339052 332792 391 719 0 338331 0 Current children cumulated CPU time (s) 642.26 Current children cumulated vsize (KiB) 1356208 [startup+702.301 s] ################ # More data... # ################ /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 457843 0 0 0 94977 5246 0 0 25 0 1 0 134175824 1912598528 456897 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 466943 456897 391 719 0 466222 0 Current children cumulated CPU time (s) 1002.23 Current children cumulated vsize (KiB) 1867772 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 16593 /proc/meminfo: memFree=29483044/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=1960212 CPUtime=1062.23 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 480534 0 0 0 100670 5553 0 0 25 0 1 0 134175824 2007257088 479588 4089446400 4194304 7136930 140736367513376 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 490053 479588 391 719 0 489332 0 Current children cumulated CPU time (s) 1062.23 Current children cumulated vsize (KiB) 1960212 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 16593 /proc/meminfo: memFree=29378956/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2062816 CPUtime=1122.22 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 506242 0 0 0 106335 5887 0 0 25 0 1 0 134175824 2112323584 505296 4089446400 4194304 7136930 140736367513376 18446744073709551615 4999782 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 515704 505296 391 719 0 514983 0 Current children cumulated CPU time (s) 1122.22 Current children cumulated vsize (KiB) 2062816 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 16598 /proc/meminfo: memFree=29307360/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2130736 CPUtime=1182.21 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 523377 0 0 0 112055 6166 0 0 25 0 1 0 134175824 2181873664 522431 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16516/statm: 532684 522431 391 719 0 531963 0 Current children cumulated CPU time (s) 1182.21 Current children cumulated vsize (KiB) 2130736 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 16600 /proc/meminfo: memFree=29223744/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2213084 CPUtime=1242.21 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 544003 0 0 0 117760 6461 0 0 25 0 1 0 134175824 2266198016 543057 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16516/statm: 553271 543057 391 719 0 552550 0 Current children cumulated CPU time (s) 1242.21 Current children cumulated vsize (KiB) 2213084 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 16602 /proc/meminfo: memFree=29129080/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2305564 CPUtime=1302.21 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 567440 0 0 0 123438 6783 0 0 25 0 1 0 134175824 2360897536 566494 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16516/statm: 576391 566494 391 719 0 575670 0 Current children cumulated CPU time (s) 1302.21 Current children cumulated vsize (KiB) 2305564 [startup+1362.3 s] /proc/loadavg: 2.16 2.03 2.01 3/195 16604 /proc/meminfo: memFree=29020528/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2412824 CPUtime=1362.21 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 594511 0 0 0 129080 7141 0 0 25 0 1 0 134175824 2470731776 593565 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16516/statm: 603206 593565 391 719 0 602485 0 Current children cumulated CPU time (s) 1362.21 Current children cumulated vsize (KiB) 2412824 [startup+1422.31 s] /proc/loadavg: 2.06 2.03 2.00 3/195 16604 /proc/meminfo: memFree=28940864/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2491084 CPUtime=1422.22 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 614234 0 0 0 134791 7431 0 0 25 0 1 0 134175824 2550870016 613288 4089446400 4194304 7136930 140736367513376 18446744073709551615 5000143 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16516/statm: 622771 613288 391 719 0 622050 0 Current children cumulated CPU time (s) 1422.22 Current children cumulated vsize (KiB) 2491084 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/195 16606 /proc/meminfo: memFree=28848036/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2582648 CPUtime=1482.21 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 637300 0 0 0 140463 7758 0 0 25 0 1 0 134175824 2644631552 636354 4089446400 4194304 7136930 140736367513376 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16516/statm: 645662 636354 391 719 0 644941 0 Current children cumulated CPU time (s) 1482.21 Current children cumulated vsize (KiB) 2582648 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/195 16608 /proc/meminfo: memFree=28738360/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2691044 CPUtime=1542.22 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 664634 0 0 0 146128 8094 0 0 25 0 1 0 134175824 2755629056 663688 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16516/statm: 672761 663688 391 719 0 672040 0 Current children cumulated CPU time (s) 1542.22 Current children cumulated vsize (KiB) 2691044 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/195 16610 /proc/meminfo: memFree=28680388/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2747944 CPUtime=1602.21 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 679028 0 0 0 151837 8384 0 0 25 0 1 0 134175824 2813894656 678082 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16516/statm: 686986 678082 391 719 0 686265 0 Current children cumulated CPU time (s) 1602.21 Current children cumulated vsize (KiB) 2747944 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 16612 /proc/meminfo: memFree=28622544/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2805656 CPUtime=1662.22 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 693696 0 0 0 157531 8691 0 0 25 0 1 0 134175824 2872991744 692750 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16516/statm: 701414 692750 391 719 0 700693 0 Current children cumulated CPU time (s) 1662.22 Current children cumulated vsize (KiB) 2805656 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 16612 /proc/meminfo: memFree=28528120/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2899168 CPUtime=1722.21 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 717268 0 0 0 163202 9019 0 0 25 0 1 0 134175824 2968748032 716322 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16516/statm: 724792 716322 391 719 0 724071 0 Current children cumulated CPU time (s) 1722.21 Current children cumulated vsize (KiB) 2899168 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 16614 /proc/meminfo: memFree=28449068/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2975840 CPUtime=1782.21 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 736607 0 0 0 168909 9312 0 0 25 0 1 0 134175824 3047260160 735661 4089446400 4194304 7136930 140736367513376 18446744073709551615 4923015 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16516/statm: 743960 735661 391 719 0 743239 0 Current children cumulated CPU time (s) 1782.21 Current children cumulated vsize (KiB) 2975840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.00 2.00 3/195 16614 /proc/meminfo: memFree=28429952/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2994948 CPUtime=1800.02 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 741341 0 0 0 170608 9394 0 0 25 0 1 0 134175824 3066826752 740395 4089446400 4194304 7136930 140736367513376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16516/statm: 748737 740395 391 719 0 748016 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2994948 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16516 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16615 /proc/meminfo: memFree=28429944/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2994948 CPUtime=1801.31 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 741347 0 0 0 170737 9394 0 0 25 0 1 0 134175824 3066826752 740401 4089446400 4194304 7136930 140736367513376 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/16516/statm: 748737 740401 397 719 0 748016 0 Current children cumulated CPU time (s) 1801.31 Current children cumulated vsize (KiB) 2994948 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16615 /proc/meminfo: memFree=28429944/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=2994948 CPUtime=1801.72 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4202496 741347 0 0 0 170778 9394 0 0 25 0 1 0 134175824 3066826752 740401 4089446400 4194304 7136930 140736367513376 18446744073709551615 4670413 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/16516/statm: 748737 740401 397 719 0 748016 0 Current children cumulated CPU time (s) 1801.72 Current children cumulated vsize (KiB) 2994948 [startup+1802.2 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16615 /proc/meminfo: memFree=28429944/32951132 swapFree=67111528/67111528 [pid=16516] ppid=16514 vsize=0 CPUtime=1802.12 /proc/16516/stat : 16516 (pbscip.linux.x8) R 16514 16516 16278 0 -1 4203524 741347 0 0 0 170808 9404 0 0 25 0 1 0 134175824 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 /proc/16516/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.2 CPU time (s): 1802.12 CPU user time (s): 1708.08 CPU system time (s): 94.0427 CPU usage (%): 99.9957 Max. virtual memory (cumulated for all children) (KiB): 2994948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1708.08 system time used= 94.0427 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 741347 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= 23678 runsolver used 2.30565 second user time and 5.9101 second system time The end
Begin job on node128 at 2010-06-30 22:13:15 IDJOB=2693653 IDBENCH=79291 IDSOLVER=1206 FILE ID=node128/2693653-1277928795 PBS_JOBID= 11197385 Free space on /tmp= 74208 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.1900670675--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-2693653-1277928795/watcher-2693653-1277928795 -o /tmp/evaluation-result-2693653-1277928795/solver-2693653-1277928795 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693653-1277928795.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d1c4dbb5406fd100fd0c417364df25ff RANDOM SEED=382570322 node128.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.853 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.70 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.853 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.853 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.83 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.853 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.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.853 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.853 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.853 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.82 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.853 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: 32951132 kB MemFree: 30361148 kB Buffers: 213448 kB Cached: 1016568 kB SwapCached: 0 kB Active: 1636320 kB Inactive: 808876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30361148 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3160 kB Writeback: 0 kB AnonPages: 1215200 kB Mapped: 16288 kB Slab: 79064 kB PageTables: 7044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1398500 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node128 at 2010-06-30 22:43:17