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.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo |
| MD5SUM | d3ccf217ec482c2d8ac120ae50401a4a |
| 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 | 7 |
| Best CPU time to get the best result obtained on this benchmark | 618.94 |
| 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 | 137946 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137945 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 737 |
| 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-2693649-1277928499.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.13 o 137945
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.379450e+05
0.09/0.13 c presolving:
0.09/0.14 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.15 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.19/0.20 c (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (3 rounds):
0.19/0.20 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 2707 implications, 0 cliques
0.19/0.20 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.20 c 2707 constraints of type <indicator>
0.19/0.20 c 2707 constraints of type <linear>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.15
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.97
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 3420
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.22 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.22 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.379450e+05 | Inf
3.39/3.42 c 3.3s| 10000 | 9622 | 0 | 0.0 | 24M|2816 | - |5645 |6679 | 0 | 0 | 0 |1265 | 0 | 0.000000e+00 | 1.379450e+05 | Inf
4.29/4.39 o 556
4.29/4.39 c * 4.2s| 13701 | 12026 | 0 | 0.0 | 25M|2816 | - |5645 |6678 | 0 | 0 | 0 |1265 | 0 | 0.000000e+00 | 5.560000e+02 | Inf
4.39/4.45 o 529
4.39/4.45 c * 4.3s| 13821 | 12126 | 0 | 0.0 | 25M|2816 | - |5645 |6688 | 0 | 0 | 0 |1275 | 0 | 0.000000e+00 | 5.290000e+02 | Inf
4.39/4.45 o 406
4.39/4.45 c * 4.3s| 13822 | 8813 | 0 | 0.0 | 25M|2816 | - |5645 |6688 | 0 | 0 | 0 |1275 | 0 | 0.000000e+00 | 4.060000e+02 | Inf
6.29/6.34 c 6.2s| 20000 | 14405 | 0 | 0.0 | 31M|2816 | - |5645 |7747 | 0 | 0 | 0 |3681 | 0 | 0.000000e+00 | 4.060000e+02 | Inf
10.19/10.24 c 10.0s| 30000 | 22100 | 0 | 0.0 | 42M|2816 | - |5645 |8172 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 4.060000e+02 | Inf
15.78/15.86 c 15.5s| 40000 | 29069 | 0 | 0.0 | 51M|2816 | - |5645 |8922 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 4.060000e+02 | Inf
19.99/20.08 o 403
19.99/20.08 c *19.7s| 49386 | 38014 | 0 | 0.0 | 57M|2816 | - |5645 |8232 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 4.030000e+02 | Inf
19.99/20.08 o 354
19.99/20.08 c *19.7s| 49387 | 33365 | 0 | 0.0 | 54M|2816 | - |5645 |8232 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.540000e+02 | Inf
20.18/20.25 o 353
20.18/20.25 c *19.9s| 49677 | 33578 | 0 | 0.0 | 54M|2816 | - |5645 |8187 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.530000e+02 | Inf
20.39/20.42 o 351
20.39/20.42 c *20.0s| 49951 | 33697 | 0 | 0.0 | 55M|2816 | - |5645 |8151 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.510000e+02 | Inf
20.39/20.45 c 20.1s| 50000 | 33746 | 0 | 0.0 | 55M|2816 | - |5645 |8126 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.510000e+02 | Inf
21.19/21.28 o 309
21.19/21.28 c *20.9s| 51735 | 32614 | 0 | 0.0 | 54M|2816 | - |5645 |8026 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.090000e+02 | Inf
21.19/21.28 o 305
21.19/21.28 c *20.9s| 51736 | 32435 | 0 | 0.0 | 54M|2816 | - |5645 |8026 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
21.59/21.62 o 259
21.59/21.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.59/21.62 c *21.2s| 52283 | 30586 | 0 | 0.0 | 52M|2816 | - |5645 |8000 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
22.09/22.14 o 258
22.09/22.14 c *21.7s| 53103 | 31300 | 0 | 0.0 | 54M|2816 | - |5645 |7963 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.580000e+02 | Inf
22.09/22.14 o 257
22.09/22.14 c *21.7s| 53104 | 31248 | 0 | 0.0 | 54M|2816 | - |5645 |7963 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
22.99/23.08 o 238
22.99/23.08 c *22.6s| 54500 | 31619 | 0 | 0.0 | 56M|2816 | - |5645 |8088 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
22.99/23.08 o 228
22.99/23.08 c *22.6s| 54501 | 31124 | 0 | 0.0 | 55M|2816 | - |5645 |8088 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
23.19/23.20 o 200
23.19/23.20 c *22.8s| 54667 | 30154 | 0 | 0.0 | 54M|2816 | - |5645 |8092 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
23.19/23.26 o 195
23.19/23.26 c *22.8s| 54739 | 30069 | 0 | 0.0 | 54M|2816 | - |5645 |8086 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.950000e+02 | Inf
24.59/24.66 o 193
24.59/24.66 c *24.2s| 56557 | 31658 | 0 | 0.0 | 58M|2816 | - |5645 |8029 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
24.79/24.82 o 191
24.79/24.82 c *24.4s| 56821 | 31872 | 0 | 0.0 | 59M|2816 | - |5645 |7955 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
25.38/25.45 o 186
25.38/25.45 c *25.0s| 57859 | 32694 | 0 | 0.0 | 60M|2816 | - |5645 |7802 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
25.38/25.45 o 172
25.38/25.45 c *25.0s| 57860 | 31809 | 0 | 0.0 | 58M|2816 | - |5645 |7802 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
25.49/25.52 o 165
25.49/25.52 c *25.1s| 57950 | 31576 | 0 | 0.0 | 57M|2816 | - |5645 |7779 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
25.49/25.54 o 142
25.49/25.54 c *25.1s| 57968 | 30405 | 0 | 0.0 | 56M|2816 | - |5645 |7788 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
26.08/26.16 o 129
26.08/26.16 c *25.7s| 58924 | 30869 | 0 | 0.0 | 56M|2816 | - |5645 |7671 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
26.59/26.61 o 128
26.59/26.61 c *26.1s| 59390 | 31068 | 0 | 0.0 | 58M|2816 | - |5645 |7803 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
26.59/26.62 o 100
26.59/26.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.59/26.62 c *26.1s| 59391 | 29681 | 0 | 0.0 | 56M|2816 | - |5645 |7803 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
26.89/26.95 c 26.5s| 60000 | 30256 | 0 | 0.0 | 57M|2816 | - |5645 |7702 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
27.89/27.94 o 76
27.89/27.94 c *27.4s| 61763 | 29402 | 0 | 0.0 | 58M|2816 | - |5645 |7520 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
27.89/27.94 o 68
27.89/27.94 c *27.4s| 61764 | 28530 | 0 | 0.0 | 57M|2816 | - |5645 |7520 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
32.79/32.89 c 32.3s| 70000 | 35672 | 0 | 0.0 | 69M|2816 | - |5645 |7001 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
34.89/34.98 o 50
34.89/34.98 c *34.4s| 73166 | 36685 | 0 | 0.0 | 70M|2816 | - |5645 |7363 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
38.39/38.50 c 37.8s| 80000 | 42286 | 0 | 0.0 | 77M|2816 | - |5645 |7207 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
42.59/42.63 c 41.9s| 90000 | 50453 | 0 | 0.0 | 87M|2816 | - |5645 |6999 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
46.79/46.85 c 46.0s|100000 | 58384 | 0 | 0.0 | 97M|2816 | - |5645 |7157 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
51.60/51.66 c 50.7s|110000 | 65731 | 0 | 0.0 | 108M|2816 | - |5645 |7676 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
56.89/56.99 c 55.9s|120000 | 72615 | 0 | 0.0 | 119M|2816 | - |5645 |8267 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
62.29/62.35 c 61.2s|130000 | 79405 | 0 | 0.0 | 130M|2816 | - |5645 |8878 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
68.10/68.13 c 66.9s|140000 | 85843 | 0 | 0.0 | 141M|2816 | - |5645 |9457 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
74.89/74.98 c 73.7s|150000 | 91357 | 0 | 0.0 | 152M|2816 | - |5645 |9937 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
82.69/82.75 c 81.3s|160000 | 96098 | 0 | 0.0 | 164M|2816 | - |5645 | 10k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
91.90/91.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.90/91.90 c 90.3s|170000 | 99630 | 0 | 0.0 | 176M|2816 | - |5645 | 11k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
102.59/102.67 c 101s|180000 |101878 | 0 | 0.0 | 186M|2816 | - |5645 | 13k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
109.29/109.33 o 49
109.29/109.33 c * 108s|185855 |103341 | 0 | 0.0 | 191M|2816 | - |5645 | 12k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
112.49/112.53 c 111s|190000 |107089 | 0 | 0.0 | 196M|2816 | - |5645 |6080 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
115.50/115.56 o 41
115.50/115.56 c * 114s|194628 |110076 | 0 | 0.0 | 199M|2816 | - |5645 |5855 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
120.09/120.11 c 118s|200000 |114642 | 0 | 0.0 | 208M|2816 | - |5645 |4798 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
120.39/120.47 o 40
120.39/120.47 c * 118s|200571 |115056 | 0 | 0.0 | 208M|2816 | - |5645 |4840 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
124.60/124.68 o 36
124.60/124.68 c * 123s|205929 |118902 | 0 | 0.0 | 218M|2816 | - |5645 |5327 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
127.69/127.79 c 126s|210000 |122092 | 0 | 0.0 | 227M|2816 | - |5645 |5355 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
134.89/134.91 c 133s|220000 |129866 | 0 | 0.0 | 246M|2816 | - |5645 |6158 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
135.30/135.32 o 35
135.30/135.32 c * 133s|220585 |130212 | 0 | 0.0 | 246M|2816 | - |5645 |6200 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
136.69/136.71 o 24
136.69/136.71 c * 134s|222358 |128214 | 0 | 0.0 | 230M|2816 | - |5645 |6365 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
137.49/137.59 o 20
137.49/137.59 c * 135s|223246 |128225 | 0 | 0.0 | 230M|2816 | - |5645 |6420 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
143.89/143.99 o 14
143.89/143.99 c * 142s|228775 |129695 | 0 | 0.0 | 234M|2816 | - |5645 |8285 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
144.60/144.64 c 142s|230000 |130439 | 0 | 0.0 | 234M|2816 | - |5645 |7157 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
150.60/150.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.60/150.66 c 148s|240000 |137449 | 0 | 0.0 | 246M|2816 | - |5645 |8820 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
156.80/156.83 c 154s|250000 |143977 | 0 | 0.0 | 257M|2816 | - |5645 |7863 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
162.39/162.43 c 160s|260000 |151548 | 0 | 0.0 | 269M|2816 | - |5645 |8666 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
170.89/170.98 c 168s|270000 |156086 | 0 | 0.0 | 280M|2816 | - |5645 | 11k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
176.19/176.24 c 173s|280000 |163803 | 0 | 0.0 | 290M|2816 | - |5645 |9815 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
182.80/182.89 c 180s|290000 |170389 | 0 | 0.0 | 301M|2816 | - |5645 |9432 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
189.90/189.99 c 187s|300000 |176488 | 0 | 0.0 | 313M|2816 | - |5645 |9573 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
197.10/197.17 c 194s|310000 |182571 | 0 | 0.0 | 326M|2816 | - |5645 | 10k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
202.19/202.22 c 199s|320000 |190578 | 0 | 0.0 | 338M|2816 | - |5645 | 10k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
209.30/209.30 c 206s|330000 |197085 | 0 | 0.0 | 350M|2816 | - |5645 | 12k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
215.79/215.89 c 212s|340000 |203545 | 0 | 0.0 | 363M|2816 | - |5645 | 11k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
222.49/222.59 c 219s|350000 |210039 | 0 | 0.0 | 374M|2816 | - |5645 | 11k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
228.49/228.54 c 225s|360000 |216990 | 0 | 0.0 | 386M|2816 | - |5645 | 14k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
234.20/234.23 c 230s|370000 |224377 | 0 | 0.0 | 396M|2816 | - |5645 | 13k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
240.49/240.50 c 237s|380000 |231112 | 0 | 0.0 | 406M|2816 | - |5645 | 12k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
246.99/247.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.99/247.01 c 243s|390000 |237602 | 0 | 0.0 | 416M|2816 | - |5645 | 13k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
253.90/253.90 c 250s|400000 |243838 | 0 | 0.0 | 428M|2816 | - |5645 | 14k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
259.90/259.90 c 256s|410000 |251089 | 0 | 0.0 | 440M|2816 | - |5645 | 13k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
267.09/267.14 c 263s|420000 |257318 | 0 | 0.0 | 451M|2816 | - |5645 | 13k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
273.40/273.47 c 269s|430000 |264220 | 0 | 0.0 | 463M|2816 | - |5645 | 13k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
280.30/280.32 c 276s|440000 |270678 | 0 | 0.0 | 474M|2816 | - |5645 | 13k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
287.01/287.01 c 282s|450000 |277230 | 0 | 0.0 | 485M|2816 | - |5645 | 14k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
292.89/292.99 c 288s|460000 |284404 | 0 | 0.0 | 496M|2816 | - |5645 | 13k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
300.00/300.01 c 295s|470000 |290712 | 0 | 0.0 | 507M|2816 | - |5645 | 13k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
306.39/306.45 c 302s|480000 |297410 | 0 | 0.0 | 517M|2816 | - |5645 | 13k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
312.70/312.79 c 308s|490000 |304055 | 0 | 0.0 | 525M|2816 | - |5645 |7469 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
317.60/317.68 c 313s|500000 |312048 | 0 | 0.0 | 538M|2816 | - |5645 |7169 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
322.40/322.43 c 317s|510000 |319673 | 0 | 0.0 | 549M|2816 | - |5645 |7919 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
329.70/329.78 c 325s|520000 |325201 | 0 | 0.0 | 561M|2816 | - |5645 | 10k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
337.10/337.17 c 332s|530000 |330753 | 0 | 0.0 | 572M|2816 | - |5645 | 10k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
345.10/345.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.10/345.15 c 340s|540000 |335891 | 0 | 0.0 | 583M|2816 | - |5645 | 11k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
353.70/353.71 c 348s|550000 |340557 | 0 | 0.0 | 593M|2816 | - |5645 | 11k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
362.60/362.69 c 357s|560000 |344997 | 0 | 0.0 | 604M|2816 | - |5645 | 12k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
372.70/372.76 c 367s|570000 |348649 | 0 | 0.0 | 614M|2816 | - |5645 | 11k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
382.70/382.80 c 377s|580000 |352314 | 0 | 0.0 | 625M|2816 | - |5645 | 12k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
392.90/392.99 c 387s|590000 |355828 | 0 | 0.0 | 635M|2816 | - |5645 | 13k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
403.70/403.74 c 398s|600000 |359007 | 0 | 0.0 | 644M|2816 | - |5645 | 12k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
414.71/414.79 c 409s|610000 |361963 | 0 | 0.0 | 653M|2816 | - |5645 | 13k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
425.80/425.83 c 420s|620000 |365010 | 0 | 0.0 | 663M|2816 | - |5645 | 13k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
436.80/436.81 c 430s|630000 |368144 | 0 | 0.0 | 672M|2816 | - |5645 | 14k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
447.90/447.99 c 441s|640000 |371239 | 0 | 0.0 | 682M|2816 | - |5645 | 15k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
459.20/459.27 c 453s|650000 |374374 | 0 | 0.0 | 691M|2816 | - |5645 | 16k| 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
470.60/470.70 c 464s|660000 |377492 | 0 | 0.0 | 700M|2816 | - |5645 | 16k| 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
483.21/483.20 c 476s|670000 |379965 | 0 | 0.0 | 706M|2816 | - |5645 | 16k| 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
496.20/496.27 c 489s|680000 |382157 | 0 | 0.0 | 715M|2816 | - |5645 | 17k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
511.31/511.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.31/511.30 c 504s|690000 |383085 | 0 | 0.0 | 722M|2816 | - |5645 | 17k| 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
527.11/527.13 c 520s|700000 |383558 | 0 | 0.0 | 729M|2816 | - |5645 | 19k| 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
545.00/545.00 c 538s|710000 |383179 | 0 | 0.0 | 734M|2816 | - |5645 | 20k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
564.21/564.25 c 557s|720000 |381975 | 0 | 0.0 | 738M|2816 | - |5645 | 21k| 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
583.81/583.80 c 576s|730000 |381376 | 0 | 0.0 | 738M|2816 | - |5645 | 19k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
591.10/591.16 c 583s|740000 |389291 | 0 | 0.0 | 750M|2816 | - |5645 |8726 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
597.51/597.57 c 590s|750000 |397133 | 0 | 0.0 | 764M|2816 | - |5645 |8928 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
604.01/604.06 c 596s|760000 |404874 | 0 | 0.0 | 779M|2816 | - |5645 |9319 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
611.52/611.51 c 603s|770000 |412078 | 0 | 0.0 | 793M|2816 | - |5645 |9894 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
619.90/619.91 c 612s|780000 |418897 | 0 | 0.0 | 809M|2816 | - |5645 | 10k| 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
629.51/629.52 c 621s|790000 |425215 | 0 | 0.0 | 826M|2816 | - |5645 | 11k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
639.71/639.75 c 631s|800000 |431146 | 0 | 0.0 | 844M|2816 | - |5645 | 11k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
651.51/651.59 c 643s|810000 |436363 | 0 | 0.0 | 864M|2816 | - |5645 | 12k| 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
656.81/656.80 o 13
656.81/656.80 c * 648s|813910 |437992 | 0 | 0.0 | 876M|2816 | - |5645 | 13k| 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
665.91/665.98 c 657s|820000 |440655 | 0 | 0.0 | 895M|2816 | - |5645 | 13k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
682.02/682.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
682.02/682.02 c 673s|830000 |444853 | 0 | 0.0 | 937M|2816 | - |5645 | 13k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
696.61/696.67 c 688s|840000 |449001 | 0 | 0.0 | 971M|2816 | - |5645 | 12k| 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
710.21/710.24 c 701s|850000 |453207 | 0 | 0.0 |1003M|2816 | - |5645 | 12k| 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
718.81/718.88 o 12
718.81/718.88 c * 709s|856456 |455853 | 0 | 0.0 |1025M|2816 | - |5645 | 12k| 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
723.72/723.72 c 714s|860000 |457769 | 0 | 0.0 |1041M|2816 | - |5645 | 11k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
737.31/737.34 c 728s|870000 |462996 | 0 | 0.0 |1096M|2816 | - |5645 | 12k| 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
751.32/751.31 c 741s|880000 |468348 | 0 | 0.0 |1156M|2816 | - |5645 | 14k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
767.32/767.36 c 757s|890000 |473018 | 0 | 0.0 |1218M|2816 | - |5645 | 16k| 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
784.62/784.67 c 774s|900000 |477253 | 0 | 0.0 |1270M|2816 | - |5645 | 18k| 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
804.81/804.83 c 794s|910000 |480262 | 0 | 0.0 |1313M|2816 | - |5645 | 21k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
824.61/824.69 c 814s|920000 |482939 | 0 | 0.0 |1329M|2816 | - |5645 | 21k| 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
833.82/833.81 c 823s|930000 |490419 | 0 | 0.0 |1342M|2816 | - |5645 | 17k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
842.62/842.62 c 832s|940000 |497633 | 0 | 0.0 |1356M|2816 | - |5645 | 17k| 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
851.81/851.86 c 841s|950000 |504558 | 0 | 0.0 |1371M|2816 | - |5645 | 19k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
862.32/862.34 c 851s|960000 |510919 | 0 | 0.0 |1386M|2816 | - |5645 | 20k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
874.82/874.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.82/874.86 c 864s|970000 |516388 | 0 | 0.0 |1403M|2816 | - |5645 | 23k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
890.52/890.54 c 879s|980000 |520541 | 0 | 0.0 |1419M|2816 | - |5645 | 25k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
912.12/912.10 c 900s|990000 |522326 | 0 | 0.0 |1435M|2816 | - |5645 | 29k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
922.32/922.39 c 911s| 1000k|529758 | 0 | 0.0 |1447M|2816 | - |5645 | 22k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
931.82/931.87 c 920s| 1010k|536925 | 0 | 0.0 |1461M|2816 | - |5645 | 21k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
942.02/942.04 c 930s| 1020k|543607 | 0 | 0.0 |1476M|2816 | - |5645 | 22k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
953.22/953.23 c 941s| 1030k|549891 | 0 | 0.0 |1492M|2816 | - |5645 | 23k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
964.82/964.89 c 953s| 1040k|556005 | 0 | 0.0 |1507M|2816 | - |5645 | 24k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
977.51/977.58 c 965s| 1050k|561571 | 0 | 0.0 |1522M|2816 | - |5645 | 25k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
990.32/990.37 c 978s| 1060k|567169 | 0 | 0.0 |1538M|2816 | - |5645 | 25k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1003.52/1003.56 c 991s| 1070k|572704 | 0 | 0.0 |1552M|2816 | - |5645 | 25k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1017.32/1017.31 c 1004s| 1080k|577982 | 0 | 0.0 |1567M|2816 | - |5645 | 26k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1030.82/1030.88 c 1018s| 1090k|583411 | 0 | 0.0 |1581M|2816 | - |5645 | 25k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1044.12/1044.12 c 1031s| 1100k|588911 | 0 | 0.0 |1595M|2816 | - |5645 | 26k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1057.92/1057.92 c 1045s| 1110k|594249 | 0 | 0.0 |1609M|2816 | - |5645 | 27k| 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1072.32/1072.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1072.32/1072.38 c 1059s| 1120k|599353 | 0 | 0.0 |1623M|2816 | - |5645 | 28k| 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1086.22/1086.26 o 11
1086.22/1086.26 c *1073s| 1128k|601800 | 0 | 0.0 |1628M|2816 | - |5645 | 30k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1089.42/1089.45 c 1076s| 1130k|602483 | 0 | 0.0 |1631M|2816 | - |5645 | 30k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1111.62/1111.68 c 1098s| 1140k|604414 | 0 | 0.0 |1646M|2816 | - |5645 | 33k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1120.83/1120.89 c 1107s| 1150k|611354 | 0 | 0.0 |1651M|2816 | - |5645 | 19k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1127.72/1127.73 c 1114s| 1160k|618382 | 0 | 0.0 |1661M|2816 | - |5645 | 20k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1135.32/1135.38 c 1121s| 1170k|624761 | 0 | 0.0 |1672M|2816 | - |5645 | 20k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1144.32/1144.37 c 1130s| 1180k|630356 | 0 | 0.0 |1683M|2816 | - |5645 | 21k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1154.93/1155.00 c 1141s| 1190k|634896 | 0 | 0.0 |1694M|2816 | - |5645 | 23k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
1160.32/1160.38 o 9
1160.32/1160.38 c *1146s| 1194k|634508 | 0 | 0.0 |1684M|2816 | - |5645 | 22k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1167.53/1167.58 c 1153s| 1200k|636489 | 0 | 0.0 |1691M|2816 | - |5645 | 22k| 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1178.53/1178.57 c 1164s| 1210k|641008 | 0 | 0.0 |1700M|2816 | - |5645 | 20k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1186.33/1186.35 c 1172s| 1220k|647394 | 0 | 0.0 |1709M|2816 | - |5645 | 20k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1193.82/1193.82 c 1179s| 1230k|653870 | 0 | 0.0 |1719M|2816 | - |5645 | 20k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1202.23/1202.27 c 1187s| 1240k|659594 | 0 | 0.0 |1729M|2816 | - |5645 | 22k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1212.63/1212.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.63/1212.63 c 1197s| 1250k|664234 | 0 | 0.0 |1740M|2816 | - |5645 | 23k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1225.12/1225.19 c 1210s| 1260k|667470 | 0 | 0.0 |1750M|2816 | - |5645 | 25k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1237.62/1237.66 c 1222s| 1270k|671257 | 0 | 0.0 |1757M|2816 | - |5645 | 21k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1244.22/1244.27 c 1229s| 1280k|678460 | 0 | 0.0 |1766M|2816 | - |5645 | 20k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1251.13/1251.19 c 1236s| 1290k|685361 | 0 | 0.0 |1776M|2816 | - |5645 | 21k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1260.13/1260.11 c 1244s| 1300k|691050 | 0 | 0.0 |1787M|2816 | - |5645 | 23k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1270.53/1270.58 c 1255s| 1310k|695864 | 0 | 0.0 |1798M|2816 | - |5645 | 24k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1282.43/1282.47 c 1266s| 1320k|699842 | 0 | 0.0 |1809M|2816 | - |5645 | 26k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1297.13/1297.10 c 1281s| 1330k|702459 | 0 | 0.0 |1815M|2816 | - |5645 | 24k| 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1303.93/1303.99 c 1288s| 1340k|709827 | 0 | 0.0 |1824M|2816 | - |5645 | 20k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1304.03/1304.03 o 8
1304.03/1304.03 c *1288s| 1340k|707734 | 0 | 0.0 |1812M|2816 | - |5645 | 20k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1311.42/1311.45 c 1295s| 1350k|714612 | 0 | 0.0 |1823M|2816 | - |5645 | 21k| 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1319.33/1319.30 c 1303s| 1360k|721067 | 0 | 0.0 |1833M|2816 | - |5645 | 21k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1327.73/1327.79 c 1311s| 1370k|727151 | 0 | 0.0 |1844M|2816 | - |5645 | 21k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1336.83/1336.81 c 1320s| 1380k|732812 | 0 | 0.0 |1854M|2816 | - |5645 | 22k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1346.13/1346.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.13/1346.13 c 1329s| 1390k|738262 | 0 | 0.0 |1865M|2816 | - |5645 | 22k| 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1355.83/1355.84 c 1339s| 1400k|743484 | 0 | 0.0 |1875M|2816 | - |5645 | 22k| 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1366.43/1366.49 c 1349s| 1410k|748138 | 0 | 0.0 |1885M|2816 | - |5645 | 23k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1377.33/1377.40 c 1360s| 1420k|752724 | 0 | 0.0 |1894M|2816 | - |5645 | 24k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1388.73/1388.73 c 1371s| 1430k|757044 | 0 | 0.0 |1904M|2816 | - |5645 | 25k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1401.23/1401.24 c 1384s| 1440k|760762 | 0 | 0.0 |1913M|2816 | - |5645 | 26k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1416.53/1416.53 c 1399s| 1450k|762764 | 0 | 0.0 |1921M|2816 | - |5645 | 28k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1425.24/1425.28 c 1408s| 1460k|769128 | 0 | 0.0 |1928M|2816 | - |5645 | 21k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1432.74/1432.71 c 1415s| 1470k|775993 | 0 | 0.0 |1938M|2816 | - |5645 | 22k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1440.83/1440.83 c 1423s| 1480k|782325 | 0 | 0.0 |1949M|2816 | - |5645 | 23k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1449.84/1449.89 c 1432s| 1490k|788080 | 0 | 0.0 |1959M|2816 | - |5645 | 24k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1460.13/1460.11 c 1442s| 1500k|793046 | 0 | 0.0 |1969M|2816 | - |5645 | 25k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1471.44/1471.43 c 1453s| 1510k|797265 | 0 | 0.0 |1979M|2816 | - |5645 | 26k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1485.63/1485.60 c 1467s| 1520k|799739 | 0 | 0.0 |1988M|2816 | - |5645 | 28k| 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1495.43/1495.40 c 1477s| 1530k|805398 | 0 | 0.0 |1994M|2816 | - |5645 | 21k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1502.54/1502.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.54/1502.60 c 1484s| 1540k|812353 | 0 | 0.0 |2004M|2816 | - |5645 | 22k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1510.74/1510.74 c 1492s| 1550k|818637 | 0 | 0.0 |2015M|2816 | - |5645 | 23k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1519.84/1519.80 c 1501s| 1560k|824319 | 0 | 0.0 |2025M|2816 | - |5645 | 24k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1529.94/1529.94 c 1511s| 1570k|829156 | 0 | 0.0 |2035M|2816 | - |5645 | 26k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1542.04/1542.00 c 1523s| 1580k|832859 | 0 | 0.0 |2046M|2816 | - |5645 | 27k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1556.33/1556.36 c 1537s| 1590k|835246 | 0 | 0.0 |2052M|2816 | - |5645 | 25k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1563.44/1563.42 c 1544s| 1600k|842513 | 0 | 0.0 |2062M|2816 | - |5645 | 22k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1571.14/1571.15 c 1552s| 1610k|849122 | 0 | 0.0 |2072M|2816 | - |5645 | 23k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1579.74/1579.76 c 1560s| 1620k|855140 | 0 | 0.0 |2083M|2816 | - |5645 | 24k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1589.94/1589.98 c 1570s| 1630k|860112 | 0 | 0.0 |2093M|2816 | - |5645 | 26k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1601.44/1601.50 c 1582s| 1640k|864274 | 0 | 0.0 |2103M|2816 | - |5645 | 27k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1617.44/1617.43 c 1598s| 1650k|865659 | 0 | 0.0 |2111M|2816 | - |5645 | 31k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1625.03/1625.09 c 1605s| 1660k|872906 | 0 | 0.0 |2119M|2816 | - |5645 | 23k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1633.13/1633.16 c 1613s| 1670k|879357 | 0 | 0.0 |2129M|2816 | - |5645 | 24k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1642.74/1642.73 c 1623s| 1680k|884867 | 0 | 0.0 |2140M|2816 | - |5645 | 25k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1653.94/1653.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1653.94/1653.97 c 1634s| 1690k|889328 | 0 | 0.0 |2150M|2816 | - |5645 | 26k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1667.84/1667.87 c 1647s| 1700k|891982 | 0 | 0.0 |2159M|2816 | - |5645 | 28k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1678.84/1678.86 c 1658s| 1710k|896959 | 0 | 0.0 |2166M|2816 | - |5645 | 23k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1688.04/1688.09 c 1667s| 1720k|902846 | 0 | 0.0 |2177M|2816 | - |5645 | 25k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1699.14/1699.11 c 1678s| 1730k|907554 | 0 | 0.0 |2188M|2816 | - |5645 | 27k| 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1713.34/1713.33 c 1692s| 1740k|910348 | 0 | 0.0 |2199M|2816 | - |5645 | 30k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1723.94/1723.91 c 1703s| 1750k|915894 | 0 | 0.0 |2206M|2816 | - |5645 | 24k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1730.94/1730.95 c 1710s| 1760k|922953 | 0 | 0.0 |2215M|2816 | - |5645 | 24k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1739.54/1739.57 c 1718s| 1770k|928971 | 0 | 0.0 |2225M|2816 | - |5645 | 26k| 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1754.24/1754.26 c 1733s| 1780k|931576 | 0 | 0.0 |2236M|2816 | - |5645 | 29k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1762.34/1762.32 c 1741s| 1790k|938480 | 0 | 0.0 |2243M|2816 | - |5645 | 23k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1769.24/1769.23 c 1748s| 1800k|945627 | 0 | 0.0 |2252M|2816 | - |5645 | 23k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1776.64/1776.68 c 1755s| 1810k|952427 | 0 | 0.0 |2262M|2816 | - |5645 | 24k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1785.74/1785.74 c 1764s| 1820k|958255 | 0 | 0.0 |2272M|2816 | - |5645 | 24k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1796.24/1796.24 c 1774s| 1830k|963426 | 0 | 0.0 |2282M|2816 | - |5645 | 26k| 0 | 0 | 0 |1761k| 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) : 1778.07
1800.05/1800.00 c Solving Nodes : 1833322
1800.05/1800.00 c Primal Bound : +8.00000000000000e+00 (44 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.09 s SATISFIABLE
1800.05/1800.09 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.09 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.09 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.09 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.09 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.09 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.09 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.09 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.09 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.09 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.09 v -x2 x1
1800.05/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.09 c Solving Time : 1778.07
1800.05/1800.09 c Original Problem :
1800.05/1800.09 c Problem name : HOME/instance-2693649-1277928499.wbo
1800.05/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.09 c Presolved Problem :
1800.05/1800.09 c Problem name : t_HOME/instance-2693649-1277928499.wbo
1800.05/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.09 c Constraints : 5414 initial, 34089 maximal
1800.05/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.05/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c root node : - 2446 - - 4892 - - - -
1800.05/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.09 c indicator : 2707 0 5109050 0 1244665 395 8538241 0 0 0
1800.05/1800.09 c linear : 2707 0 6512209 0 1530196 395059 37766472 0 0 0
1800.05/1800.09 c logicor : 0+ 0 3028445 0 0 94159 1929082 0 0 0
1800.05/1800.09 c bounddisjunction : 0+ 0 4591 0 0 0 1 0 0 0
1800.05/1800.09 c countsols : 0 0 0 0 1530231 0 0 0 0 0
1800.05/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.09 c indicator : 45.09 0.00 23.94 0.00 21.15
1800.05/1800.09 c linear : 394.61 0.00 393.08 0.00 1.53
1800.05/1800.09 c logicor : 303.25 0.00 303.25 0.00 0.00
1800.05/1800.09 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.09 c countsols : 0.20 0.00 0.00 0.00 0.20
1800.05/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.09 c vbounds : 1.72 2 0 0
1800.05/1800.09 c rootredcost : 1.31 0 0 0
1800.05/1800.09 c pseudoobj : 381.33 6521138 8207 8464846
1800.05/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.09 c propagation : 39.16 497425 497411 2271305 21.8 344101 11.0 -
1800.05/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.09 c pseudo solution : 0.06 220 220 745 18.1 500 9.3 -
1800.05/1800.09 c applied globally : - - - 1764821 18.5 - - -
1800.05/1800.09 c applied locally : - - - 2 317.0 - - -
1800.05/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.09 c redcost : 0.00 0 0 0 0 0
1800.05/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.09 c intobj : 0.00 0 0 0 0 0
1800.05/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.09 c gomory : 0.00 0 0 0 0 0
1800.05/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.09 c cmir : 0.00 0 0 0 0 0
1800.05/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.09 c clique : 0.00 0 0 0 0 0
1800.05/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.09 c mcf : 0.00 0 0 0 0 0
1800.05/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.09 c Pricers : Time Calls Vars
1800.05/1800.09 c problem variables: 0.00 0 0
1800.05/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.09 c inference : 47.10 1530190 0 0 0 0 3060380
1800.05/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.09 c random : 0.00 0 0 0 0 0 0
1800.05/1800.09 c Primal Heuristics : Time Calls Found
1800.05/1800.09 c LP solutions : 0.00 - 0
1800.05/1800.09 c pseudo solutions : 0.12 - 41
1800.05/1800.09 c oneopt : 0.72 0 0
1800.05/1800.09 c trivial : 0.09 2 2
1800.05/1800.09 c simplerounding : 0.00 0 0
1800.05/1800.09 c zirounding : 0.00 0 0
1800.05/1800.09 c rounding : 0.00 0 0
1800.05/1800.09 c shifting : 0.00 0 0
1800.05/1800.09 c intshifting : 0.00 0 0
1800.05/1800.09 c twoopt : 0.00 0 0
1800.05/1800.09 c fixandinfer : 0.00 0 0
1800.05/1800.09 c feaspump : 0.00 0 0
1800.05/1800.09 c coefdiving : 0.00 0 0
1800.05/1800.09 c pscostdiving : 0.00 0 0
1800.05/1800.09 c fracdiving : 0.00 0 0
1800.05/1800.09 c veclendiving : 0.00 0 0
1800.05/1800.09 c intdiving : 0.00 0 0
1800.05/1800.09 c actconsdiving : 0.00 0 0
1800.05/1800.09 c objpscostdiving : 0.00 0 0
1800.05/1800.09 c rootsoldiving : 0.00 0 0
1800.05/1800.09 c linesearchdiving : 0.00 0 0
1800.05/1800.09 c guideddiving : 0.00 0 0
1800.05/1800.09 c octane : 0.00 0 0
1800.05/1800.09 c rens : 0.00 0 0
1800.05/1800.09 c rins : 0.00 0 0
1800.05/1800.09 c localbranching : 0.00 0 0
1800.05/1800.09 c mutation : 0.00 0 0
1800.05/1800.09 c crossover : 0.00 0 0
1800.05/1800.09 c dins : 0.00 0 0
1800.05/1800.09 c undercover : 0.00 0 0
1800.05/1800.09 c nlp : 0.50 0 0
1800.05/1800.09 c trysol : 0.36 1 1
1800.05/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.09 c (at root node) : - 0 0 0.00 -
1800.05/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.09 c B&B Tree :
1800.05/1800.09 c number of runs : 1
1800.05/1800.09 c nodes : 1833322
1800.05/1800.09 c nodes (total) : 1833322
1800.05/1800.09 c nodes left : 964985
1800.05/1800.09 c max depth : 2816
1800.05/1800.09 c max depth (total): 2816
1800.05/1800.09 c backtracks : 272897 (14.9%)
1800.05/1800.09 c delayed cutoffs : 221651
1800.05/1800.09 c repropagations : 1082348 (16210053 domain reductions, 194949 cutoffs)
1800.05/1800.09 c avg switch length: 41.17
1800.05/1800.09 c switching time : 487.32
1800.05/1800.09 c Solution :
1800.05/1800.09 c Solutions found : 44 (42 improvements)
1800.05/1800.09 c First Solution : +1.37945000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.09 c Primal Bound : +8.00000000000000e+00 (in run 1, after 1340069 nodes, 1287.75 seconds, depth 1422, found by <relaxation>)
1800.05/1800.09 c Dual Bound : +0.00000000000000e+00
1800.05/1800.09 c Gap : infinite
1800.05/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.09 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-2693649-1277928499/watcher-2693649-1277928499 -o /tmp/evaluation-result-2693649-1277928499/solver-2693649-1277928499 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693649-1277928499.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 2.00 2.00 4/178 27808 /proc/meminfo: memFree=31204104/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=8264 CPUtime=0 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 1547 0 0 0 0 0 0 0 22 0 1 0 168453671 8462336 1469 4089446400 4194304 7136930 140734956868944 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/27808/statm: 2066 1469 275 719 0 1345 0 [startup+0.0502399 s] /proc/loadavg: 1.98 2.00 2.00 4/178 27808 /proc/meminfo: memFree=31204104/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=26460 CPUtime=0.04 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 6484 0 0 0 3 1 0 0 22 0 1 0 168453671 27095040 6052 4089446400 4194304 7136930 140734956868944 18446744073709551615 4211435 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27808/statm: 6871 6095 289 719 0 6150 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 26460 [startup+0.10123 s] /proc/loadavg: 1.98 2.00 2.00 4/178 27808 /proc/meminfo: memFree=31204104/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=33680 CPUtime=0.09 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 7967 0 0 0 8 1 0 0 22 0 1 0 168453671 34488320 7535 4089446400 4194304 7136930 140734956868944 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27808/statm: 8420 7535 323 719 0 7699 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33680 [startup+0.300195 s] /proc/loadavg: 1.98 2.00 2.00 4/178 27808 /proc/meminfo: memFree=31204104/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=36500 CPUtime=0.29 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 9239 0 0 0 28 1 0 0 22 0 1 0 168453671 37376000 8293 4089446400 4194304 7136930 140734956868944 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27808/statm: 9125 8293 383 719 0 8404 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36500 [startup+0.701122 s] /proc/loadavg: 1.98 2.00 2.00 4/178 27808 /proc/meminfo: memFree=31204104/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=37640 CPUtime=0.69 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 9515 0 0 0 67 2 0 0 25 0 1 0 168453671 38543360 8569 4089446400 4194304 7136930 140734956868944 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27808/statm: 9410 8569 383 719 0 8689 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37640 [startup+1.50099 s] /proc/loadavg: 1.98 2.00 2.00 3/179 27809 /proc/meminfo: memFree=31169624/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=42052 CPUtime=1.49 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 10638 0 0 0 144 5 0 0 25 0 1 0 168453671 43061248 9692 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/27808/statm: 10513 9692 390 719 0 9792 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42052 [startup+3.10068 s] /proc/loadavg: 1.98 2.00 2.00 3/179 27809 /proc/meminfo: memFree=31166032/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=44740 CPUtime=3.09 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 11330 0 0 0 301 8 0 0 25 0 1 0 168453671 45813760 10384 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 11185 10384 390 719 0 10464 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44740 [startup+6.3011 s] /proc/loadavg: 1.98 2.00 2.00 3/179 27809 /proc/meminfo: memFree=31160452/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=53488 CPUtime=6.29 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 13464 0 0 0 615 14 0 0 25 0 1 0 168453671 54771712 12518 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 13372 12518 391 719 0 12651 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53488 [startup+12.7009 s] /proc/loadavg: 1.98 2.00 2.00 3/179 27809 /proc/meminfo: memFree=31136692/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=76844 CPUtime=12.69 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 19197 0 0 0 1244 25 0 0 25 0 1 0 168453671 78688256 18251 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 19211 18251 391 719 0 18490 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76844 [startup+25.5006 s] /proc/loadavg: 1.98 2.00 2.00 3/179 27810 /proc/meminfo: memFree=31107236/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=101740 CPUtime=25.49 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 25234 0 0 0 2506 43 0 0 25 0 1 0 168453671 104181760 24288 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 25435 24288 391 719 0 24714 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 101740 [startup+51.1009 s] /proc/loadavg: 1.99 2.00 2.00 3/179 27810 /proc/meminfo: memFree=31044336/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=165288 CPUtime=51.09 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 41027 0 0 0 5018 91 0 0 25 0 1 0 168453671 169254912 40081 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 41322 40081 391 719 0 40601 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 165288 [startup+102.307 s] /proc/loadavg: 1.99 2.00 2.00 3/179 27812 /proc/meminfo: memFree=30951044/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=251732 CPUtime=102.3 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 62369 0 0 0 10065 165 0 0 25 0 1 0 168453671 257773568 61423 4089446400 4194304 7136930 140734956868944 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 62933 61423 391 719 0 62212 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 251732 [startup+162.301 s] /proc/loadavg: 2.06 2.01 2.00 3/179 27813 /proc/meminfo: memFree=30809488/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=401028 CPUtime=162.29 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 96738 0 0 0 15966 263 0 0 25 0 1 0 168453671 410652672 95792 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 100257 95792 393 719 0 99536 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 401028 [startup+222.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 27815 /proc/meminfo: memFree=30691752/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=524220 CPUtime=222.29 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 125764 0 0 0 21876 353 0 0 25 0 1 0 168453671 536801280 124818 4089446400 4194304 7136930 140734956868944 18446744073709551615 4221700 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 131055 124818 393 719 0 130334 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 524220 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27816 /proc/meminfo: memFree=30586772/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=628960 CPUtime=282.3 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 151785 0 0 0 27784 446 0 0 25 0 1 0 168453671 644055040 150839 4089446400 4194304 7136930 140734956868944 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 157240 150839 393 719 0 156519 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 628960 [startup+342.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 27821 /proc/meminfo: memFree=30478068/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=737188 CPUtime=342.3 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 178577 0 0 0 33693 537 0 0 25 0 1 0 168453671 754880512 177631 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 184297 177631 393 719 0 183576 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 737188 [startup+402.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 27823 /proc/meminfo: memFree=30410784/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=804584 CPUtime=402.3 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 195615 0 0 0 39628 602 0 0 25 0 1 0 168453671 823894016 194669 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 201146 194669 393 719 0 200425 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 804584 [startup+462.301 s] /proc/loadavg: 1.96 1.99 1.99 3/179 27852 /proc/meminfo: memFree=30684048/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=858244 CPUtime=462.3 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 209047 0 0 0 45565 665 0 0 25 0 1 0 168453671 878841856 208101 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 214561 208101 393 719 0 213840 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 858244 [startup+522.301 s] /proc/loadavg: 1.98 1.99 1.99 3/179 27854 /proc/meminfo: memFree=30645940/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=896020 CPUtime=522.3 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 218470 0 0 0 51514 716 0 0 25 0 1 0 168453671 917524480 217524 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 224005 217524 393 719 0 223284 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 896020 [startup+582.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 27855 /proc/meminfo: memFree=30628036/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=915132 CPUtime=582.31 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 222930 0 0 0 57471 760 0 0 25 0 1 0 168453671 937095168 221984 4089446400 4194304 7136930 140734956868944 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 228783 221984 393 719 0 228062 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 915132 [startup+642.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 27857 /proc/meminfo: memFree=30516256/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=1039760 CPUtime=642.31 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 250745 0 0 0 63387 844 0 0 25 0 1 0 168453671 1064714240 249799 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 259940 249799 393 719 0 259219 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1039760 [startup+702.301 s] ################ # More data... # ################ /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 428828 0 0 0 98967 1265 0 0 25 0 1 0 168453671 1881772032 427882 4089446400 4194304 7136930 140734956868944 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 459417 427882 393 719 0 458696 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1837668 [startup+1062.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 27868 /proc/meminfo: memFree=29741936/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=1900588 CPUtime=1062.32 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 443864 0 0 0 104901 1331 0 0 25 0 1 0 168453671 1946202112 442918 4089446400 4194304 7136930 140734956868944 18446744073709551615 4677921 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 475147 442918 393 719 0 474426 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1900588 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 27870 /proc/meminfo: memFree=29689324/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=1958324 CPUtime=1122.32 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 457420 0 0 0 110839 1393 0 0 25 0 1 0 168453671 2005323776 456474 4089446400 4194304 7136930 140734956868944 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 489581 456474 393 719 0 488860 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1958324 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27871 /proc/meminfo: memFree=29626540/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2021528 CPUtime=1182.33 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 472764 0 0 0 116756 1477 0 0 25 0 1 0 168453671 2070044672 471818 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 505382 471818 393 719 0 504661 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 2021528 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27873 /proc/meminfo: memFree=29569328/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2078116 CPUtime=1242.33 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 486782 0 0 0 122682 1551 0 0 25 0 1 0 168453671 2127990784 485836 4089446400 4194304 7136930 140734956868944 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 519529 485836 393 719 0 518808 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2078116 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 27875 /proc/meminfo: memFree=29506528/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2140772 CPUtime=1302.34 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 502369 0 0 0 128610 1624 0 0 25 0 1 0 168453671 2192150528 501423 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 535193 501423 393 719 0 534472 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 2140772 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 27876 /proc/meminfo: memFree=29436532/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2211888 CPUtime=1362.33 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 520181 0 0 0 134533 1700 0 0 25 0 1 0 168453671 2264973312 519235 4089446400 4194304 7136930 140734956868944 18446744073709551615 4923417 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 552972 519235 393 719 0 552251 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2211888 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27878 /proc/meminfo: memFree=29396056/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2250996 CPUtime=1422.34 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 529935 0 0 0 140472 1762 0 0 25 0 1 0 168453671 2305019904 528989 4089446400 4194304 7136930 140734956868944 18446744073709551615 4947139 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 562749 528989 393 719 0 562028 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2250996 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27879 /proc/meminfo: memFree=29331652/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2315000 CPUtime=1482.33 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 546056 0 0 0 146401 1832 0 0 25 0 1 0 168453671 2370560000 545110 4089446400 4194304 7136930 140734956868944 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 578750 545110 393 719 0 578029 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2315000 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27881 /proc/meminfo: memFree=29278540/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2367348 CPUtime=1542.34 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 559276 0 0 0 152332 1902 0 0 25 0 1 0 168453671 2424164352 558330 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 591837 558330 393 719 0 591116 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2367348 [startup+1602.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 27883 /proc/meminfo: memFree=29222204/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2423460 CPUtime=1602.34 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 573436 0 0 0 158263 1971 0 0 25 0 1 0 168453671 2481623040 572490 4089446400 4194304 7136930 140734956868944 18446744073709551615 4925465 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 605865 572490 393 719 0 605144 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2423460 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 27884 /proc/meminfo: memFree=29172564/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2472356 CPUtime=1662.34 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 585624 0 0 0 164196 2038 0 0 25 0 1 0 168453671 2531692544 584678 4089446400 4194304 7136930 140734956868944 18446744073709551615 4999707 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 618089 584678 393 719 0 617368 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2472356 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 27886 /proc/meminfo: memFree=29127508/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2516644 CPUtime=1722.34 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 596930 0 0 0 170134 2100 0 0 25 0 1 0 168453671 2577043456 595984 4089446400 4194304 7136930 140734956868944 18446744073709551615 5507861 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 629161 595984 393 719 0 628440 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2516644 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27887 /proc/meminfo: memFree=29057260/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2585904 CPUtime=1782.34 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 614350 0 0 0 176058 2176 0 0 25 0 1 0 168453671 2647965696 613404 4089446400 4194304 7136930 140734956868944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 646476 613404 393 719 0 645755 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2585904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27888 /proc/meminfo: memFree=29038528/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2604548 CPUtime=1800.05 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 619061 0 0 0 177810 2195 0 0 25 0 1 0 168453671 2667057152 618115 4089446400 4194304 7136930 140734956868944 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/27808/statm: 651137 618115 393 719 0 650416 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2604548 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -27808 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 27889 /proc/meminfo: memFree=29038396/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2604548 CPUtime=1801.44 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 619083 0 0 0 177949 2195 0 0 25 0 1 0 168453671 2667057152 618137 4089446400 4194304 7136930 140734956868944 18446744073709551615 4212564 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/27808/statm: 651137 618137 399 719 0 650416 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2604548 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 27889 /proc/meminfo: memFree=29039876/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2602500 CPUtime=1801.85 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 619083 0 0 0 177990 2195 0 0 25 0 1 0 168453671 2664960000 617625 4089446400 4194304 7136930 140734956868944 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/27808/statm: 650625 617625 399 719 0 649904 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2602500 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 27889 /proc/meminfo: memFree=29039876/32951124 swapFree=67111528/67111528 [pid=27808] ppid=27806 vsize=2596856 CPUtime=1802.04 /proc/27808/stat : 27808 (pbscip.linux.x8) R 27806 27808 27783 0 -1 4202496 619083 0 0 0 178009 2195 0 0 25 0 1 0 168453671 2659180544 616214 4089446400 4194304 7136930 140734956868944 18446744073709551615 4212430 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/27808/statm: 649214 616214 399 719 0 648493 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2596856 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.14 CPU user time (s): 1780.1 CPU system time (s): 22.0386 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2604548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.1 system time used= 22.0386 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 619083 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2821 runsolver used 2.49762 second user time and 5.72713 second system time The end
Begin job on node110 at 2010-06-30 22:08:19 IDJOB=2693649 IDBENCH=79289 IDSOLVER=1206 FILE ID=node110/2693649-1277928499 PBS_JOBID= 11197423 Free space on /tmp= 74204 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.1900584106--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-2693649-1277928499/watcher-2693649-1277928499 -o /tmp/evaluation-result-2693649-1277928499/solver-2693649-1277928499 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693649-1277928499.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d3ccf217ec482c2d8ac120ae50401a4a RANDOM SEED=751111738 node110.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.849 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.69 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.849 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.82 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.849 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.74 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.849 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.82 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31204508 kB Buffers: 212960 kB Cached: 1000908 kB SwapCached: 0 kB Active: 952336 kB Inactive: 650304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31204508 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3348 kB Writeback: 0 kB AnonPages: 388144 kB Mapped: 17452 kB Slab: 79912 kB PageTables: 5292 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 543160 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 node110 at 2010-06-30 22:38:21