Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1800.54 | 1800.5 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo |
| MD5SUM | a22634c1977478f126d9df874c90c256 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 214.202 |
| 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 | 135641 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135640 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 761 |
| 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-2693621-1277927009.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 135640
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.356400e+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.18 c
0.09/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.09/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
2.99/3.07 c 2.9s| 10000 | 9642 | 0 | 0.0 | 24M|2816 | - |5645 |6602 | 0 | 0 | 0 |1188 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
3.09/3.18 o 519
3.09/3.18 c * 3.0s| 10523 | 10163 | 0 | 0.0 | 24M|2816 | - |5645 |6602 | 0 | 0 | 0 |1188 | 0 | 0.000000e+00 | 5.190000e+02 | Inf
3.19/3.23 o 517
3.19/3.23 c * 3.0s| 10642 | 10278 | 0 | 0.0 | 25M|2816 | - |5645 |6612 | 0 | 0 | 0 |1198 | 0 | 0.000000e+00 | 5.170000e+02 | Inf
3.19/3.28 o 448
3.19/3.28 c * 3.1s| 10757 | 10067 | 0 | 0.0 | 25M|2816 | - |5645 |6632 | 0 | 0 | 0 |1218 | 0 | 0.000000e+00 | 4.480000e+02 | Inf
3.89/3.93 o 377
3.89/3.93 c * 3.7s| 12972 | 7975 | 0 | 0.0 | 25M|2816 | - |5645 |6644 | 0 | 0 | 0 |1231 | 0 | 0.000000e+00 | 3.770000e+02 | Inf
3.99/4.03 o 257
3.99/4.03 c * 3.8s| 13283 | 6329 | 0 | 0.0 | 23M|2816 | - |5645 |6694 | 0 | 0 | 0 |1281 | 0 | 0.000000e+00 | 2.570000e+02 | Inf
6.39/6.50 c 6.1s| 20000 | 11819 | 0 | 0.0 | 32M|2816 | - |5645 |8086 | 0 | 0 | 0 |6258 | 0 | 0.000000e+00 | 2.570000e+02 | Inf
10.90/10.97 c 10.3s| 30000 | 18789 | 0 | 0.0 | 44M|2816 | - |5645 |9771 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
13.30/13.37 o 243
13.30/13.37 c *12.6s| 33318 | 20383 | 0 | 0.0 | 48M|2816 | - |5645 |9764 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.430000e+02 | Inf
13.89/13.93 o 190
13.89/13.93 c *13.1s| 34281 | 21121 | 0 | 0.0 | 48M|2816 | - |5645 |9367 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
14.39/14.41 o 187
14.39/14.41 c *13.6s| 35113 | 21896 | 0 | 0.0 | 49M|2816 | - |5645 |9108 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.870000e+02 | Inf
14.59/14.67 o 175
14.59/14.67 c *13.8s| 35544 | 22222 | 0 | 0.0 | 49M|2816 | - |5645 |8959 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
14.59/14.67 o 162
14.59/14.67 c *13.8s| 35545 | 22171 | 0 | 0.0 | 49M|2816 | - |5645 |8959 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
15.89/15.90 o 154
15.89/15.90 c *15.0s| 37418 | 23794 | 0 | 0.0 | 51M|2816 | - |5645 |8583 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
17.79/17.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.79/17.88 c 16.9s| 40000 | 25933 | 0 | 0.0 | 55M|2816 | - |5645 |9370 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
18.29/18.30 o 153
18.29/18.30 c *17.3s| 40787 | 26647 | 0 | 0.0 | 57M|2816 | - |5645 |9083 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
19.99/20.00 o 136
19.99/20.00 c *18.9s| 43580 | 28899 | 0 | 0.0 | 61M|2816 | - |5645 |9012 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
20.29/20.36 o 126
20.29/20.36 c *19.3s| 44191 | 29355 | 0 | 0.0 | 61M|2816 | - |5645 |8890 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
22.19/22.21 o 100
22.19/22.21 c *21.1s| 47387 | 31781 | 0 | 0.0 | 65M|2816 | - |5645 |8928 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
22.19/22.22 o 96
22.19/22.22 c *21.1s| 47388 | 31597 | 0 | 0.0 | 64M|2816 | - |5645 |8928 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
23.99/24.05 c 22.8s| 50000 | 33844 | 0 | 0.0 | 68M|2816 | - |5645 |8499 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
27.19/27.25 o 87
27.19/27.25 c *25.9s| 55561 | 38239 | 0 | 0.0 | 76M|2816 | - |5645 |8321 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
27.39/27.42 o 65
27.39/27.42 c *26.0s| 55912 | 36530 | 0 | 0.0 | 67M|2816 | - |5645 |8314 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
27.39/27.42 o 58
27.39/27.42 c *26.0s| 55913 | 35936 | 0 | 0.0 | 66M|2816 | - |5645 |8314 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
29.59/29.70 c 28.2s| 60000 | 39331 | 0 | 0.0 | 71M|2816 | - |5645 |7958 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
31.19/31.25 o 55
31.19/31.25 c *29.7s| 62354 | 41075 | 0 | 0.0 | 74M|2816 | - |5645 |7836 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
31.19/31.28 o 50
31.19/31.28 c *29.7s| 62391 | 40717 | 0 | 0.0 | 73M|2816 | - |5645 |7819 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
31.19/31.28 o 35
31.19/31.28 c *29.7s| 62398 | 39574 | 0 | 0.0 | 70M|2816 | - |5645 |7828 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
33.69/33.76 o 30
33.69/33.76 c *32.0s| 67965 | 43600 | 0 | 0.0 | 75M|2816 | - |5645 |7793 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
33.69/33.76 o 26
33.69/33.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.69/33.76 c *32.0s| 67966 | 43375 | 0 | 0.0 | 75M|2816 | - |5645 |7793 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
34.59/34.67 c 32.9s| 70000 | 44976 | 0 | 0.0 | 77M|2816 | - |5645 |8075 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
35.09/35.16 o 16
35.09/35.16 c *33.3s| 71239 | 45340 | 0 | 0.0 | 77M|2816 | - |5645 |7919 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
38.59/38.65 c 36.6s| 80000 | 52632 | 0 | 0.0 | 86M|2816 | - |5645 |6645 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
43.39/43.47 c 41.2s| 90000 | 60074 | 0 | 0.0 | 97M|2816 | - |5645 |7664 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
49.09/49.16 c 46.6s|100000 | 66707 | 0 | 0.0 | 108M|2816 | - |5645 |8334 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
55.59/55.61 c 52.8s|110000 | 72605 | 0 | 0.0 | 120M|2816 | - |5645 |8845 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
62.30/62.34 c 59.3s|120000 | 78313 | 0 | 0.0 | 132M|2816 | - |5645 |9639 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
69.49/69.58 c 66.3s|130000 | 83629 | 0 | 0.0 | 144M|2816 | - |5645 | 10k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
77.00/77.08 c 73.5s|140000 | 88798 | 0 | 0.0 | 155M|2816 | - |5645 | 11k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
85.80/85.81 c 81.9s|150000 | 93056 | 0 | 0.0 | 167M|2816 | - |5645 | 12k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
96.89/96.93 c 92.7s|160000 | 95525 | 0 | 0.0 | 177M|2816 | - |5645 | 14k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
106.80/106.84 c 102s|170000 |100120 | 0 | 0.0 | 185M|2816 | - |5645 |7602 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
111.69/111.70 o 14
111.69/111.70 c * 107s|178118 |106388 | 0 | 0.0 | 196M|2816 | - |5645 |8211 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
113.30/113.39 c 109s|180000 |107713 | 0 | 0.0 | 199M|2816 | - |5645 |8261 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
123.20/123.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.20/123.28 c 118s|190000 |113673 | 0 | 0.0 | 214M|2816 | - |5645 | 11k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
125.99/126.01 o 9
125.99/126.01 c * 121s|191899 |113348 | 0 | 0.0 | 213M|2816 | - |5645 | 12k| 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
131.50/131.50 c 126s|200000 |117916 | 0 | 0.0 | 220M|2816 | - |5645 |9147 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
138.79/138.87 c 133s|210000 |123534 | 0 | 0.0 | 231M|2816 | - |5645 |9344 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
144.00/144.03 o 6
144.00/144.03 c * 138s|218410 |128853 | 0 | 0.0 | 239M|2816 | - |5645 | 11k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
145.99/146.00 c 140s|220000 |129316 | 0 | 0.0 | 242M|2816 | - |5645 | 12k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
151.70/151.73 c 145s|230000 |136114 | 0 | 0.0 | 252M|2816 | - |5645 | 11k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
158.99/159.00 c 152s|240000 |141936 | 0 | 0.0 | 263M|2816 | - |5645 | 10k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
162.50/162.57 o 5
162.50/162.57 c * 156s|245882 |145906 | 0 | 0.0 | 270M|2816 | - |5645 | 12k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
166.60/166.65 c 160s|250000 |147458 | 0 | 0.0 | 275M|2816 | - |5645 | 12k| 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
172.20/172.22 c 165s|260000 |155008 | 0 | 0.0 | 286M|2816 | - |5645 | 13k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
178.79/178.81 c 171s|270000 |161651 | 0 | 0.0 | 299M|2816 | - |5645 | 12k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
185.40/185.45 c 178s|280000 |169051 | 0 | 0.0 | 313M|2816 | - |5645 | 13k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
193.50/193.57 c 185s|290000 |175554 | 0 | 0.0 | 325M|2816 | - |5645 | 14k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
202.80/202.89 c 194s|300000 |180981 | 0 | 0.0 | 337M|2816 | - |5645 | 14k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
210.40/210.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.40/210.47 c 202s|310000 |187100 | 0 | 0.0 | 350M|2816 | - |5645 | 17k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
217.30/217.31 c 208s|320000 |194533 | 0 | 0.0 | 372M|2816 | - |5645 | 12k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
222.50/222.51 c 213s|330000 |201461 | 0 | 0.0 | 381M|2816 | - |5645 | 11k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
227.30/227.36 c 218s|340000 |208798 | 0 | 0.0 | 391M|2816 | - |5645 | 12k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
233.79/233.83 c 224s|350000 |214467 | 0 | 0.0 | 400M|2816 | - |5645 | 11k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
238.20/238.23 o 4
238.20/238.23 c * 228s|358264 |219694 | 0 | 0.0 | 407M|2816 | - |5645 | 13k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
239.00/239.02 c 229s|360000 |221102 | 0 | 0.0 | 408M|2816 | - |5645 | 11k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
243.29/243.36 c 233s|370000 |228994 | 0 | 0.0 | 418M|2816 | - |5645 | 11k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
249.60/249.62 c 239s|380000 |235093 | 0 | 0.0 | 427M|2816 | - |5645 | 12k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
254.79/254.84 c 244s|390000 |242218 | 0 | 0.0 | 437M|2816 | - |5645 | 12k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
260.20/260.22 c 249s|400000 |249385 | 0 | 0.0 | 447M|2816 | - |5645 | 11k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
265.80/265.80 c 254s|410000 |256241 | 0 | 0.0 | 457M|2816 | - |5645 | 12k| 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
271.71/271.73 c 260s|420000 |262663 | 0 | 0.0 | 467M|2816 | - |5645 | 13k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
277.00/277.06 c 265s|430000 |269760 | 0 | 0.0 | 476M|2816 | - |5645 | 12k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
282.20/282.29 c 270s|440000 |276954 | 0 | 0.0 | 486M|2816 | - |5645 | 11k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
287.90/287.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.90/287.90 c 275s|450000 |283710 | 0 | 0.0 | 496M|2816 | - |5645 | 12k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
293.50/293.54 c 281s|460000 |290401 | 0 | 0.0 | 504M|2816 | - |5645 |9933 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
297.29/297.39 c 284s|470000 |298396 | 0 | 0.0 | 513M|2816 | - |5645 |5537 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
300.89/300.99 c 288s|480000 |306386 | 0 | 0.0 | 522M|2816 | - |5645 |5684 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
306.81/306.82 c 293s|490000 |312470 | 0 | 0.0 | 533M|2816 | - |5645 |6789 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
314.00/314.01 c 300s|500000 |317430 | 0 | 0.0 | 544M|2816 | - |5645 |7852 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
322.00/322.03 c 308s|510000 |321647 | 0 | 0.0 | 554M|2816 | - |5645 |8410 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
330.50/330.54 c 316s|520000 |325458 | 0 | 0.0 | 565M|2816 | - |5645 |9254 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
339.70/339.74 c 325s|530000 |328832 | 0 | 0.0 | 575M|2816 | - |5645 | 10k| 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
349.00/349.08 c 334s|540000 |332182 | 0 | 0.0 | 585M|2816 | - |5645 | 10k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
358.70/358.79 c 343s|550000 |335187 | 0 | 0.0 | 595M|2816 | - |5645 | 10k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
368.51/368.55 c 353s|560000 |338113 | 0 | 0.0 | 605M|2816 | - |5645 | 11k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
378.70/378.79 c 362s|570000 |340646 | 0 | 0.0 | 614M|2816 | - |5645 | 11k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
388.31/388.36 c 372s|580000 |343784 | 0 | 0.0 | 623M|2816 | - |5645 | 11k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
398.40/398.47 c 382s|590000 |346384 | 0 | 0.0 | 632M|2816 | - |5645 | 12k| 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
408.50/408.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.50/408.53 c 391s|600000 |349151 | 0 | 0.0 | 641M|2816 | - |5645 | 13k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
419.50/419.54 c 402s|610000 |351110 | 0 | 0.0 | 649M|2816 | - |5645 | 13k| 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
431.11/431.12 c 413s|620000 |352824 | 0 | 0.0 | 656M|2816 | - |5645 | 13k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
443.60/443.63 c 425s|630000 |353897 | 0 | 0.0 | 665M|2816 | - |5645 | 14k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
456.90/456.99 c 438s|640000 |353493 | 0 | 0.0 | 671M|2816 | - |5645 | 15k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
472.50/472.55 c 454s|650000 |347022 | 0 | 0.0 | 655M|2816 | - |5645 | 12k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
477.20/477.28 c 458s|660000 |354567 | 0 | 0.0 | 663M|2816 | - |5645 |5513 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
482.40/482.45 c 463s|670000 |361431 | 0 | 0.0 | 674M|2816 | - |5645 |6083 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
488.30/488.39 c 469s|680000 |367591 | 0 | 0.0 | 685M|2816 | - |5645 |6839 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
495.01/495.03 c 475s|690000 |373141 | 0 | 0.0 | 696M|2816 | - |5645 |7103 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
502.40/502.43 c 482s|700000 |378068 | 0 | 0.0 | 707M|2816 | - |5645 |7390 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
510.31/510.39 c 490s|710000 |382504 | 0 | 0.0 | 717M|2816 | - |5645 |7482 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
518.91/518.92 c 498s|720000 |386541 | 0 | 0.0 | 727M|2816 | - |5645 |7739 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
527.50/527.58 c 506s|730000 |390453 | 0 | 0.0 | 737M|2816 | - |5645 |8238 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
535.80/535.83 c 514s|740000 |394777 | 0 | 0.0 | 746M|2816 | - |5645 |9484 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
545.40/545.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.40/545.46 c 523s|750000 |398307 | 0 | 0.0 | 756M|2816 | - |5645 |7202 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
556.30/556.33 c 534s|760000 |399946 | 0 | 0.0 | 764M|2816 | - |5645 |8857 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
563.50/563.56 c 540s|770000 |404701 | 0 | 0.0 | 769M|2816 | - |5645 |5765 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
568.21/568.26 c 545s|780000 |411990 | 0 | 0.0 | 779M|2816 | - |5645 |5961 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
573.51/573.59 c 550s|790000 |418700 | 0 | 0.0 | 789M|2816 | - |5645 |6425 | 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
579.40/579.41 c 555s|800000 |424883 | 0 | 0.0 | 800M|2816 | - |5645 |7213 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
586.41/586.49 c 562s|810000 |429864 | 0 | 0.0 | 810M|2816 | - |5645 |8001 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
595.31/595.38 c 571s|820000 |433223 | 0 | 0.0 | 819M|2816 | - |5645 |9796 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
605.61/605.61 c 580s|830000 |435649 | 0 | 0.0 | 824M|2816 | - |5645 |5919 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
609.90/609.98 c 585s|840000 |443157 | 0 | 0.0 | 834M|2816 | - |5645 |5895 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
614.81/614.83 c 589s|850000 |450182 | 0 | 0.0 | 844M|2816 | - |5645 |6437 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
618.80/618.88 o 3
618.80/618.88 c * 593s|857812 |451825 | 0 | 0.0 | 845M|2816 | - |5645 |6707 | 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
620.21/620.20 c 594s|860000 |453193 | 0 | 0.0 | 847M|2816 | - |5645 |6906 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
626.81/626.81 c 600s|870000 |458977 | 0 | 0.0 | 859M|2816 | - |5645 |7732 | 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
634.51/634.56 c 608s|880000 |463586 | 0 | 0.0 | 870M|2816 | - |5645 |9040 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
637.31/637.32 o 2
637.31/637.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.31/637.32 c * 611s|883308 |445752 | 0 | 0.0 | 848M|2816 | - |5645 |9600 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
645.31/645.38 c 618s|890000 |446853 | 0 | 0.0 | 855M|2816 | - |5645 | 11k| 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
653.31/653.39 c 626s|900000 |451641 | 0 | 0.0 | 860M|2816 | - |5645 |6304 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
657.91/657.96 c 630s|910000 |458874 | 0 | 0.0 | 870M|2816 | - |5645 |6632 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
662.81/662.83 c 635s|920000 |465837 | 0 | 0.0 | 880M|2816 | - |5645 |7140 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
668.21/668.27 c 640s|930000 |472203 | 0 | 0.0 | 890M|2816 | - |5645 |7859 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
674.61/674.62 c 646s|940000 |477803 | 0 | 0.0 | 901M|2816 | - |5645 |8810 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
682.61/682.64 c 654s|950000 |481987 | 0 | 0.0 | 911M|2816 | - |5645 | 10k| 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
694.51/694.50 c 665s|960000 |482861 | 0 | 0.0 | 916M|2816 | - |5645 | 12k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
699.21/699.27 c 670s|970000 |490313 | 0 | 0.0 | 924M|2816 | - |5645 |6941 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
704.31/704.30 c 674s|980000 |497249 | 0 | 0.0 | 934M|2816 | - |5645 |7620 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
710.01/710.01 c 680s|990000 |503611 | 0 | 0.0 | 944M|2816 | - |5645 |8328 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
716.31/716.38 c 686s| 1000k|509424 | 0 | 0.0 | 953M|2816 | - |5645 |8783 | 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
723.21/723.28 c 693s| 1010k|514688 | 0 | 0.0 | 962M|2816 | - |5645 |9523 | 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
732.10/732.11 c 701s| 1020k|518190 | 0 | 0.0 | 971M|2816 | - |5645 | 10k| 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
742.41/742.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.41/742.42 c 711s| 1030k|520404 | 0 | 0.0 | 976M|2816 | - |5645 |7935 | 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
747.51/747.50 c 716s| 1040k|527587 | 0 | 0.0 | 986M|2816 | - |5645 |7330 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
752.91/752.92 c 721s| 1050k|534411 | 0 | 0.0 | 996M|2816 | - |5645 |8285 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
759.01/759.06 c 727s| 1060k|540422 | 0 | 0.0 |1005M|2816 | - |5645 |8720 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
766.72/766.71 c 734s| 1070k|545352 | 0 | 0.0 |1015M|2816 | - |5645 |7712 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
774.61/774.62 c 742s| 1080k|549340 | 0 | 0.0 |1024M|2816 | - |5645 |9237 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
784.11/784.13 c 751s| 1090k|551920 | 0 | 0.0 |1031M|2816 | - |5645 | 10k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
791.51/791.58 c 758s| 1100k|556699 | 0 | 0.0 |1037M|2816 | - |5645 |6795 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
796.32/796.35 c 763s| 1110k|563946 | 0 | 0.0 |1046M|2816 | - |5645 |7297 | 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
801.51/801.56 c 768s| 1120k|570790 | 0 | 0.0 |1056M|2816 | - |5645 |7556 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
807.21/807.27 c 773s| 1130k|577173 | 0 | 0.0 |1066M|2816 | - |5645 |8025 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
813.21/813.23 c 779s| 1140k|583307 | 0 | 0.0 |1075M|2816 | - |5645 |7910 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
819.41/819.49 c 785s| 1150k|589124 | 0 | 0.0 |1085M|2816 | - |5645 |8586 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
826.11/826.14 c 791s| 1160k|594692 | 0 | 0.0 |1094M|2816 | - |5645 |8699 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
833.21/833.20 c 798s| 1170k|599849 | 0 | 0.0 |1103M|2816 | - |5645 |9182 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
840.51/840.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.51/840.54 c 805s| 1180k|604808 | 0 | 0.0 |1111M|2816 | - |5645 |9314 | 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
847.72/847.76 c 812s| 1190k|609970 | 0 | 0.0 |1120M|2816 | - |5645 |8972 | 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
855.11/855.18 c 819s| 1200k|614885 | 0 | 0.0 |1128M|2816 | - |5645 |9443 | 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
862.61/862.64 c 826s| 1210k|619788 | 0 | 0.0 |1136M|2816 | - |5645 |9467 | 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.02/870.05 c 833s| 1220k|624738 | 0 | 0.0 |1145M|2816 | - |5645 |9531 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
877.52/877.58 c 841s| 1230k|629649 | 0 | 0.0 |1154M|2816 | - |5645 | 10k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
885.52/885.52 c 848s| 1240k|634142 | 0 | 0.0 |1162M|2816 | - |5645 | 10k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
894.11/894.17 c 857s| 1250k|638150 | 0 | 0.0 |1171M|2816 | - |5645 | 10k| 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
903.51/903.51 c 866s| 1260k|641402 | 0 | 0.0 |1179M|2816 | - |5645 | 10k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
911.02/911.05 c 873s| 1270k|645990 | 0 | 0.0 |1185M|2816 | - |5645 |8177 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
916.32/916.31 c 878s| 1280k|652715 | 0 | 0.0 |1194M|2816 | - |5645 |7751 | 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
921.61/921.65 c 883s| 1290k|659316 | 0 | 0.0 |1203M|2816 | - |5645 |8380 | 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
927.51/927.60 c 889s| 1300k|665318 | 0 | 0.0 |1213M|2816 | - |5645 |9211 | 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
934.92/934.95 c 896s| 1310k|670140 | 0 | 0.0 |1222M|2816 | - |5645 | 10k| 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
944.22/944.20 c 905s| 1320k|673353 | 0 | 0.0 |1231M|2816 | - |5645 | 12k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
953.32/953.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.32/953.32 c 914s| 1330k|677051 | 0 | 0.0 |1236M|2816 | - |5645 |7609 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
958.41/958.41 c 918s| 1340k|684007 | 0 | 0.0 |1246M|2816 | - |5645 |7938 | 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
964.01/964.07 c 924s| 1350k|690469 | 0 | 0.0 |1255M|2816 | - |5645 |8695 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
970.51/970.51 c 930s| 1360k|696172 | 0 | 0.0 |1265M|2816 | - |5645 |8856 | 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
977.82/977.86 c 937s| 1370k|700865 | 0 | 0.0 |1274M|2816 | - |5645 |9792 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
986.92/986.90 c 946s| 1380k|704176 | 0 | 0.0 |1283M|2816 | - |5645 | 11k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
995.62/995.62 c 954s| 1390k|707990 | 0 | 0.0 |1287M|2816 | - |5645 |7639 | 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.42/1000.42 c 959s| 1400k|715209 | 0 | 0.0 |1297M|2816 | - |5645 |7727 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1005.72/1005.73 c 964s| 1410k|721947 | 0 | 0.0 |1307M|2816 | - |5645 |7898 | 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1011.31/1011.30 c 969s| 1420k|728367 | 0 | 0.0 |1317M|2816 | - |5645 |8171 | 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1017.52/1017.55 c 975s| 1430k|734139 | 0 | 0.0 |1326M|2816 | - |5645 |8681 | 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1024.13/1024.17 c 982s| 1440k|739563 | 0 | 0.0 |1336M|2816 | - |5645 |9279 | 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1030.91/1030.96 c 988s| 1450k|744857 | 0 | 0.0 |1345M|2816 | - |5645 |9549 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1038.21/1038.28 c 995s| 1460k|749685 | 0 | 0.0 |1353M|2816 | - |5645 |9976 | 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1046.13/1046.17 c 1003s| 1470k|754088 | 0 | 0.0 |1363M|2816 | - |5645 | 10k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1054.93/1054.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.93/1054.93 c 1011s| 1480k|757779 | 0 | 0.0 |1371M|2816 | - |5645 | 11k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1064.72/1064.77 c 1021s| 1490k|760628 | 0 | 0.0 |1379M|2816 | - |5645 | 12k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1075.82/1075.86 c 1031s| 1500k|762582 | 0 | 0.0 |1383M|2816 | - |5645 |9508 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1080.72/1080.77 c 1036s| 1510k|769759 | 0 | 0.0 |1392M|2816 | - |5645 |7993 | 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1086.32/1086.32 c 1041s| 1520k|776304 | 0 | 0.0 |1402M|2816 | - |5645 |8716 | 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1092.72/1092.75 c 1048s| 1530k|782049 | 0 | 0.0 |1413M|2816 | - |5645 |9449 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1100.32/1100.37 c 1055s| 1540k|786645 | 0 | 0.0 |1423M|2816 | - |5645 | 10k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1110.12/1110.13 c 1064s| 1550k|789401 | 0 | 0.0 |1432M|2816 | - |5645 | 12k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1118.62/1118.68 c 1073s| 1560k|793699 | 0 | 0.0 |1438M|2816 | - |5645 |7975 | 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1124.02/1124.07 c 1078s| 1570k|800496 | 0 | 0.0 |1448M|2816 | - |5645 |8181 | 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1129.92/1129.94 c 1083s| 1580k|806794 | 0 | 0.0 |1458M|2816 | - |5645 |8442 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1136.12/1136.11 c 1089s| 1590k|812790 | 0 | 0.0 |1468M|2816 | - |5645 |9051 | 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1142.93/1142.93 c 1096s| 1600k|818180 | 0 | 0.0 |1478M|2816 | - |5645 |9685 | 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1150.41/1150.45 c 1103s| 1610k|822947 | 0 | 0.0 |1488M|2816 | - |5645 | 10k| 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1158.42/1158.43 c 1111s| 1620k|827439 | 0 | 0.0 |1498M|2816 | - |5645 | 10k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1166.92/1166.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1166.92/1166.93 c 1119s| 1630k|831551 | 0 | 0.0 |1507M|2816 | - |5645 | 11k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1176.32/1176.37 c 1128s| 1640k|834838 | 0 | 0.0 |1516M|2816 | - |5645 | 12k| 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1188.32/1188.34 c 1140s| 1650k|836142 | 0 | 0.0 |1522M|2816 | - |5645 | 14k| 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1193.62/1193.68 c 1145s| 1660k|843323 | 0 | 0.0 |1531M|2816 | - |5645 |8530 | 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1198.93/1198.91 c 1150s| 1670k|850131 | 0 | 0.0 |1541M|2816 | - |5645 |8919 | 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1204.92/1204.95 c 1155s| 1680k|856166 | 0 | 0.0 |1550M|2816 | - |5645 |9619 | 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1212.03/1212.06 c 1162s| 1690k|861203 | 0 | 0.0 |1560M|2816 | - |5645 | 10k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1220.82/1220.86 c 1171s| 1700k|864842 | 0 | 0.0 |1570M|2816 | - |5645 | 12k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1228.83/1228.87 c 1178s| 1710k|869645 | 0 | 0.0 |1577M|2816 | - |5645 |8584 | 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1233.92/1233.92 c 1183s| 1720k|876709 | 0 | 0.0 |1586M|2816 | - |5645 |8739 | 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1239.52/1239.59 c 1189s| 1730k|883138 | 0 | 0.0 |1596M|2816 | - |5645 |9631 | 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1246.52/1246.54 c 1195s| 1740k|888486 | 0 | 0.0 |1606M|2816 | - |5645 | 11k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1255.12/1255.15 c 1204s| 1750k|892491 | 0 | 0.0 |1613M|2816 | - |5645 | 10k| 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1259.92/1259.95 c 1208s| 1760k|899821 | 0 | 0.0 |1622M|2816 | - |5645 |8856 | 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1265.42/1265.44 c 1213s| 1770k|906322 | 0 | 0.0 |1632M|2816 | - |5645 |9643 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1272.63/1272.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.63/1272.66 c 1220s| 1780k|911426 | 0 | 0.0 |1643M|2816 | - |5645 | 11k| 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1281.12/1281.17 c 1229s| 1790k|915735 | 0 | 0.0 |1651M|2816 | - |5645 | 10k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1287.62/1287.62 c 1235s| 1800k|921651 | 0 | 0.0 |1661M|2816 | - |5645 |9742 | 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1293.43/1293.42 c 1240s| 1810k|927935 | 0 | 0.0 |1670M|2816 | - |5645 | 10k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1301.02/1301.03 c 1248s| 1820k|932699 | 0 | 0.0 |1681M|2816 | - |5645 | 12k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1310.82/1310.89 c 1257s| 1830k|936065 | 0 | 0.0 |1689M|2816 | - |5645 | 11k| 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1316.63/1316.63 c 1263s| 1840k|942681 | 0 | 0.0 |1698M|2816 | - |5645 |9605 | 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1322.23/1322.29 c 1268s| 1850k|949099 | 0 | 0.0 |1707M|2816 | - |5645 |9810 | 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1329.52/1329.57 c 1275s| 1860k|954144 | 0 | 0.0 |1718M|2816 | - |5645 | 11k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1339.12/1339.18 c 1284s| 1870k|957372 | 0 | 0.0 |1726M|2816 | - |5645 | 13k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1344.23/1344.28 c 1289s| 1880k|964576 | 0 | 0.0 |1735M|2816 | - |5645 |8935 | 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1349.52/1349.59 c 1294s| 1890k|971283 | 0 | 0.0 |1745M|2816 | - |5645 |9150 | 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1356.53/1356.51 c 1301s| 1900k|976560 | 0 | 0.0 |1755M|2816 | - |5645 | 10k| 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1369.32/1369.38 o 1
1369.32/1369.38 c *1314s| 1909k| 95255 | 0 | 0.0 | 288M|2816 | - |5645 | 14k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1369.92/1369.92 c 1314s| 1910k| 95133 | 0 | 0.0 | 287M|2816 | - |5645 | 14k| 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1384.53/1384.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.53/1384.53 c 1329s| 1920k| 94364 | 0 | 0.0 | 288M|2816 | - |5645 | 10k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1398.33/1398.33 c 1342s| 1930k| 94333 | 0 | 0.0 | 292M|2816 | - |5645 | 12k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1412.93/1412.96 c 1356s| 1940k| 94150 | 0 | 0.0 | 297M|2816 | - |5645 | 13k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1428.22/1428.23 c 1371s| 1950k| 93876 | 0 | 0.0 | 302M|2816 | - |5645 | 15k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1443.83/1443.84 c 1387s| 1960k| 93598 | 0 | 0.0 | 305M|2816 | - |5645 | 16k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1459.74/1459.76 c 1402s| 1970k| 93352 | 0 | 0.0 | 310M|2816 | - |5645 | 18k| 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1477.13/1477.19 c 1419s| 1980k| 92631 | 0 | 0.0 | 313M|2816 | - |5645 | 19k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1495.03/1495.07 c 1437s| 1990k| 91840 | 0 | 0.0 | 317M|2816 | - |5645 | 21k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1513.73/1513.70 c 1455s| 2000k| 90934 | 0 | 0.0 | 321M|2816 | - |5645 | 22k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1532.93/1532.96 c 1474s| 2010k| 89719 | 0 | 0.0 | 324M|2816 | - |5645 | 23k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1554.13/1554.12 c 1495s| 2020k| 87355 | 0 | 0.0 | 323M|2816 | - |5645 | 23k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1575.93/1575.96 c 1516s| 2030k| 84079 | 0 | 0.0 | 319M|2816 | - |5645 | 25k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1599.73/1599.75 c 1539s| 2040k| 79542 | 0 | 0.0 | 311M|2816 | - |5645 | 26k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1626.83/1626.82 c 1566s| 2050k| 73978 | 0 | 0.0 | 297M|2816 | - |5645 | 29k| 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1658.13/1658.16 c 1597s| 2060k| 67360 | 0 | 0.0 | 281M|2816 | - |5645 | 20k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1687.83/1687.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.83/1687.80 c 1626s| 2070k| 61925 | 0 | 0.0 | 271M|2816 | - |5645 | 26k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1720.44/1720.47 c 1658s| 2080k| 56696 | 0 | 0.0 | 261M|2816 | - |5645 | 31k| 0 | 0 | 0 |1716k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1757.94/1757.93 c 1695s| 2090k| 50458 | 0 | 0.0 | 248M|2816 | - |5645 | 36k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1799.34/1799.34 c 1736s| 2100k| 43734 | 0 | 0.0 | 233M|2816 | - |5645 | 42k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1736.70
1800.04/1800.01 c Solving Nodes : 2100146
1800.04/1800.01 c Primal Bound : +1.00000000000000e+00 (36 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.08 s SATISFIABLE
1800.04/1800.08 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.08 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.08 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.08 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 x151 -x150 -x149 -x148 -x147
1800.04/1800.08 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.04/1800.08 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.04/1800.08 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.04/1800.08 v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.08 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.04/1800.08 v x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.08 v -x1
1800.04/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.08 c Solving Time : 1736.70
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2693621-1277927009.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.08 c Presolved Problem :
1800.04/1800.08 c Problem name : t_HOME/instance-2693621-1277927009.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5414 initial, 42617 maximal
1800.04/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.04/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c root node : - 2680 - - 5360 - - - -
1800.04/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 2707 0 5079158 0 1337957 76 1480256 0 0 0
1800.04/1800.08 c linear : 2707 0 7362452 0 1683861 573756 47342173 0 0 0
1800.04/1800.08 c logicor : 0+ 0 3388097 0 0 75494 2098524 0 0 0
1800.04/1800.08 c countsols : 0 0 0 0 1683886 0 0 0 0 0
1800.04/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c indicator : 10.04 0.00 3.71 0.00 6.33
1800.04/1800.08 c linear : 454.12 0.00 453.13 0.00 0.99
1800.04/1800.08 c logicor : 285.09 0.00 285.09 0.00 0.00
1800.04/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 0.00 2 0 0
1800.04/1800.08 c rootredcost : 0.00 0 0 0
1800.04/1800.08 c pseudoobj : 354.11 7364110 1669 1461847
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 35.49 650919 650916 2873391 18.3 136036 11.1 -
1800.04/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c pseudo solution : 0.03 157 157 541 28.2 541 8.8 -
1800.04/1800.08 c applied globally : - - - 1766184 16.5 - - -
1800.04/1800.08 c applied locally : - - - 5 345.4 - - -
1800.04/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.08 c redcost : 0.00 0 0 0 0 0
1800.04/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.08 c intobj : 0.00 0 0 0 0 0
1800.04/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.08 c gomory : 0.00 0 0 0 0 0
1800.04/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.08 c cmir : 0.00 0 0 0 0 0
1800.04/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.08 c clique : 0.00 0 0 0 0 0
1800.04/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.08 c mcf : 0.00 0 0 0 0 0
1800.04/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.08 c Pricers : Time Calls Vars
1800.04/1800.08 c problem variables: 0.00 0 0
1800.04/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c inference : 28.82 1683853 0 0 0 0 3367706
1800.04/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c random : 0.00 0 0 0 0 0 0
1800.04/1800.08 c Primal Heuristics : Time Calls Found
1800.04/1800.08 c LP solutions : 0.00 - 0
1800.04/1800.08 c pseudo solutions : 2.43 - 33
1800.04/1800.08 c oneopt : 0.24 0 0
1800.04/1800.08 c trivial : 0.08 2 2
1800.04/1800.08 c simplerounding : 0.00 0 0
1800.04/1800.08 c zirounding : 0.00 0 0
1800.04/1800.08 c rounding : 0.00 0 0
1800.04/1800.08 c shifting : 0.00 0 0
1800.04/1800.08 c intshifting : 0.00 0 0
1800.04/1800.08 c twoopt : 0.00 0 0
1800.04/1800.08 c fixandinfer : 0.00 0 0
1800.04/1800.08 c feaspump : 0.00 0 0
1800.04/1800.08 c coefdiving : 0.00 0 0
1800.04/1800.08 c pscostdiving : 0.00 0 0
1800.04/1800.08 c fracdiving : 0.00 0 0
1800.04/1800.08 c veclendiving : 0.00 0 0
1800.04/1800.08 c intdiving : 0.00 0 0
1800.04/1800.08 c actconsdiving : 0.00 0 0
1800.04/1800.08 c objpscostdiving : 0.00 0 0
1800.04/1800.08 c rootsoldiving : 0.00 0 0
1800.04/1800.08 c linesearchdiving : 0.00 0 0
1800.04/1800.08 c guideddiving : 0.00 0 0
1800.04/1800.08 c octane : 0.00 0 0
1800.04/1800.08 c rens : 0.00 0 0
1800.04/1800.08 c rins : 0.00 0 0
1800.04/1800.08 c localbranching : 0.00 0 0
1800.04/1800.08 c mutation : 0.00 0 0
1800.04/1800.08 c crossover : 0.00 0 0
1800.04/1800.08 c dins : 0.00 0 0
1800.04/1800.08 c undercover : 0.00 0 0
1800.04/1800.08 c nlp : 0.00 0 0
1800.04/1800.08 c trysol : 0.00 1 1
1800.04/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.08 c (at root node) : - 0 0 0.00 -
1800.04/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.08 c B&B Tree :
1800.04/1800.08 c number of runs : 1
1800.04/1800.08 c nodes : 2100146
1800.04/1800.08 c nodes (total) : 2100146
1800.04/1800.08 c nodes left : 43614
1800.04/1800.08 c max depth : 2816
1800.04/1800.08 c max depth (total): 2816
1800.04/1800.08 c backtracks : 394732 (18.8%)
1800.04/1800.08 c delayed cutoffs : 301345
1800.04/1800.08 c repropagations : 1637386 (15332078 domain reductions, 234892 cutoffs)
1800.04/1800.08 c avg switch length: 39.93
1800.04/1800.08 c switching time : 503.03
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 36 (34 improvements)
1800.04/1800.08 c First Solution : +1.35640000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.08 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1909750 nodes, 1311.35 seconds, depth 2222, found by <relaxation>)
1800.04/1800.08 c Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Gap : infinite
1800.04/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Root Iterations : 0
1800.43/1800.49 c Time complete: 1800.53.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693621-1277927009/watcher-2693621-1277927009 -o /tmp/evaluation-result-2693621-1277927009/solver-2693621-1277927009 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693621-1277927009.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 1.99 1.99 3/178 14181 /proc/meminfo: memFree=30699656/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=8604 CPUtime=0 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 1630 0 0 0 0 0 0 0 21 0 1 0 133998178 8810496 1552 4089446400 4194304 7136930 140734776724416 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14181/statm: 2151 1552 275 719 0 1430 0 [startup+0.057121 s] /proc/loadavg: 1.94 1.99 1.99 3/178 14181 /proc/meminfo: memFree=30699656/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=32812 CPUtime=0.04 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 7785 0 0 0 4 0 0 0 21 0 1 0 133998178 33599488 7354 4089446400 4194304 7136930 140734776724416 18446744073709551615 6164698 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 8203 7359 317 719 0 7482 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 32812 [startup+0.101096 s] /proc/loadavg: 1.94 1.99 1.99 3/178 14181 /proc/meminfo: memFree=30699656/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=33680 CPUtime=0.09 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 7968 0 0 0 9 0 0 0 21 0 1 0 133998178 34488320 7536 4089446400 4194304 7136930 140734776724416 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 8420 7536 323 719 0 7699 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33680 [startup+0.301076 s] /proc/loadavg: 1.94 1.99 1.99 3/178 14181 /proc/meminfo: memFree=30699656/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=36500 CPUtime=0.29 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 9242 0 0 0 27 2 0 0 21 0 1 0 133998178 37376000 8296 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 9125 8296 383 719 0 8404 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36500 [startup+0.701003 s] /proc/loadavg: 1.94 1.99 1.99 3/178 14181 /proc/meminfo: memFree=30699656/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=37640 CPUtime=0.69 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 9517 0 0 0 64 5 0 0 22 0 1 0 133998178 38543360 8571 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 9410 8571 383 719 0 8689 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37640 [startup+1.50085 s] /proc/loadavg: 1.94 1.99 1.99 3/179 14182 /proc/meminfo: memFree=30665052/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=43176 CPUtime=1.49 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 10902 0 0 0 139 10 0 0 25 0 1 0 133998178 44212224 9956 4089446400 4194304 7136930 140734776724416 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 10794 9956 390 719 0 10073 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43176 [startup+3.10057 s] /proc/loadavg: 1.94 1.99 1.99 3/179 14182 /proc/meminfo: memFree=30660836/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=45120 CPUtime=3.09 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 11404 0 0 0 292 17 0 0 25 0 1 0 133998178 46202880 10458 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 11280 10458 390 719 0 10559 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45120 [startup+6.301 s] /proc/loadavg: 1.94 1.99 1.99 3/179 14182 /proc/meminfo: memFree=30651156/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=56552 CPUtime=6.29 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 14251 0 0 0 592 37 0 0 25 0 1 0 133998178 57909248 13305 4089446400 4194304 7136930 140734776724416 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 14138 13305 391 719 0 13417 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56552 [startup+12.7009 s] /proc/loadavg: 1.95 1.99 1.99 3/179 14182 /proc/meminfo: memFree=30627976/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=79080 CPUtime=12.69 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 19822 0 0 0 1197 72 0 0 25 0 1 0 133998178 80977920 18876 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 19770 18876 391 719 0 19049 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79080 [startup+25.5006 s] /proc/loadavg: 1.96 1.99 1.99 3/179 14182 /proc/meminfo: memFree=30582604/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=124712 CPUtime=25.49 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 30759 0 0 0 2422 127 0 0 25 0 1 0 133998178 127705088 29813 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 31178 29813 391 719 0 30457 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 124712 [startup+51.1011 s] /proc/loadavg: 1.97 1.99 1.99 3/179 14183 /proc/meminfo: memFree=30521512/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=186224 CPUtime=51.1 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 45422 0 0 0 4851 259 0 0 25 0 1 0 133998178 190693376 44476 4089446400 4194304 7136930 140734776724416 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 46556 44476 391 719 0 45835 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 186224 [startup+102.306 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14184 /proc/meminfo: memFree=30442100/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=259956 CPUtime=102.3 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 63947 0 0 0 9798 432 0 0 25 0 1 0 133998178 266194944 63001 4089446400 4194304 7136930 140734776724416 18446744073709551615 4431726 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 64989 63001 391 719 0 64268 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 259956 [startup+162.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14186 /proc/meminfo: memFree=30333280/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=366372 CPUtime=162.3 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 89923 0 0 0 15548 682 0 0 25 0 1 0 133998178 375164928 88977 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 91593 88977 391 719 0 90872 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 366372 [startup+222.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14188 /proc/meminfo: memFree=30220256/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=484856 CPUtime=222.29 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 116862 0 0 0 21303 926 0 0 25 0 1 0 133998178 496492544 115916 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 121214 115916 391 719 0 120493 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 484856 [startup+282.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14189 /proc/meminfo: memFree=30104512/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=597504 CPUtime=282.3 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 145215 0 0 0 26998 1232 0 0 25 0 1 0 133998178 611844096 144269 4089446400 4194304 7136930 140734776724416 18446744073709551615 4926523 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 149376 144269 391 719 0 148655 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 597504 [startup+342.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14191 /proc/meminfo: memFree=29999672/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=697820 CPUtime=342.3 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 170285 0 0 0 32718 1512 0 0 25 0 1 0 133998178 714567680 169339 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 174455 169339 391 719 0 173734 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 697820 [startup+402.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 14192 /proc/meminfo: memFree=29936144/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=755928 CPUtime=402.3 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 184893 0 0 0 38524 1706 0 0 25 0 1 0 133998178 774070272 183947 4089446400 4194304 7136930 140734776724416 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 188982 183947 391 719 0 188261 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 755928 [startup+462.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 14194 /proc/meminfo: memFree=29891820/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=793360 CPUtime=462.31 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 194260 0 0 0 44354 1877 0 0 25 0 1 0 133998178 812400640 193314 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 198340 193314 391 719 0 197619 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 793360 [startup+522.301 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14196 /proc/meminfo: memFree=29827768/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=855440 CPUtime=522.31 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 209834 0 0 0 50096 2135 0 0 25 0 1 0 133998178 875970560 208888 4089446400 4194304 7136930 140734776724416 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 213860 208888 391 719 0 213139 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 855440 [startup+582.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14197 /proc/meminfo: memFree=29748612/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=929120 CPUtime=582.31 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 228456 0 0 0 55810 2421 0 0 25 0 1 0 133998178 951418880 227510 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 232280 227510 391 719 0 231559 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 929120 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14199 /proc/meminfo: memFree=29668788/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1011864 CPUtime=642.31 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 247121 0 0 0 61528 2703 0 0 25 0 1 0 133998178 1036148736 246175 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 252966 246175 391 719 0 252245 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1011864 [startup+702.301 s] ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14235 /proc/meminfo: memFree=29526748/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1373956 CPUtime=942.31 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 337866 0 0 0 90296 3935 0 0 25 0 1 0 133998178 1406930944 336920 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 343489 336920 391 719 0 342768 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1373956 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14263 /proc/meminfo: memFree=29804800/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1449048 CPUtime=1002.32 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 356681 0 0 0 96059 4173 0 0 25 0 1 0 133998178 1483825152 355735 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 362262 355735 391 719 0 361541 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1449048 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14274 /proc/meminfo: memFree=29568004/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1527408 CPUtime=1062.31 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 376495 0 0 0 101827 4404 0 0 25 0 1 0 133998178 1564065792 375549 4089446400 4194304 7136930 140734776724416 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 381852 375549 391 719 0 381131 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1527408 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14276 /proc/meminfo: memFree=29344348/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1596136 CPUtime=1122.32 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 393697 0 0 0 107604 4628 0 0 25 0 1 0 133998178 1634443264 392751 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 399034 392751 391 719 0 398313 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1596136 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14277 /proc/meminfo: memFree=29164488/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1666548 CPUtime=1182.32 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 411606 0 0 0 113373 4859 0 0 25 0 1 0 133998178 1706545152 410660 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 416637 410660 391 719 0 415916 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1666548 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14279 /proc/meminfo: memFree=29083460/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1743760 CPUtime=1242.32 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 430956 0 0 0 119126 5106 0 0 25 0 1 0 133998178 1785610240 430010 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 435940 430010 391 719 0 435219 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1743760 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14280 /proc/meminfo: memFree=28896792/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1825128 CPUtime=1302.32 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 451460 0 0 0 124893 5339 0 0 25 0 1 0 133998178 1868931072 450514 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 456282 450514 391 719 0 455561 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1825128 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14282 /proc/meminfo: memFree=28681828/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1899584 CPUtime=1362.33 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 470281 0 0 0 130675 5558 0 0 25 0 1 0 133998178 1945174016 469335 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 474896 469335 391 719 0 474175 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1899584 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 4/179 14284 /proc/meminfo: memFree=28576480/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1864304 CPUtime=1422.33 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 470733 0 0 0 136553 5680 0 0 25 0 1 0 133998178 1909047296 460550 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 466076 460550 391 719 0 465355 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1864304 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14312 /proc/meminfo: memFree=29350932/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1864532 CPUtime=1482.33 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 470763 0 0 0 142430 5803 0 0 25 0 1 0 133998178 1909280768 460580 4089446400 4194304 7136930 140734776724416 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 466133 460580 391 719 0 465412 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1864532 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14314 /proc/meminfo: memFree=29235412/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1864728 CPUtime=1542.33 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 470813 0 0 0 148314 5919 0 0 25 0 1 0 133998178 1909481472 460630 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 466182 460630 391 719 0 465461 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1864728 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14315 /proc/meminfo: memFree=29118312/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1864768 CPUtime=1602.33 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 470818 0 0 0 154190 6043 0 0 25 0 1 0 133998178 1909522432 460635 4089446400 4194304 7136930 140734776724416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 466192 460635 391 719 0 465471 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1864768 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14317 /proc/meminfo: memFree=28998236/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1864320 CPUtime=1662.33 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 470881 0 0 0 160085 6148 0 0 25 0 1 0 133998178 1909063680 460504 4089446400 4194304 7136930 140734776724416 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 466080 460504 391 719 0 465359 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1864320 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14319 /proc/meminfo: memFree=28885076/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1862428 CPUtime=1722.33 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 471002 0 0 0 165997 6236 0 0 25 0 1 0 133998178 1907126272 459984 4089446400 4194304 7136930 140734776724416 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 465607 459984 391 719 0 464886 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1862428 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14320 /proc/meminfo: memFree=28771184/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1861324 CPUtime=1782.33 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 471269 0 0 0 171923 6310 0 0 25 0 1 0 133998178 1905995776 459638 4089446400 4194304 7136930 140734776724416 18446744073709551615 4220842 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 465331 459638 391 719 0 464610 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1861324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14321 /proc/meminfo: memFree=28728760/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1861324 CPUtime=1800.04 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 471341 0 0 0 173673 6331 0 0 25 0 1 0 133998178 1905995776 459710 4089446400 4194304 7136930 140734776724416 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14181/statm: 465331 459710 391 719 0 464610 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1861324 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14321 /proc/meminfo: memFree=28728760/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1841748 CPUtime=1800.23 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 471418 0 0 0 173692 6331 0 0 18 0 1 0 133998178 1885949952 454836 4089446400 4194304 7136930 140734776724416 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14181/statm: 460437 454836 397 719 0 459716 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 1841748 [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14321 /proc/meminfo: memFree=28728760/32951124 swapFree=67111528/67111528 [pid=14181] ppid=14179 vsize=1376932 CPUtime=1800.43 /proc/14181/stat : 14181 (pbscip.linux.x8) R 14179 14181 14156 0 -1 4202496 471448 0 0 0 173710 6333 0 0 18 0 1 0 133998178 1409978368 338653 4089446400 4194304 7136930 140734776724416 18446744073709551615 4212065 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14181/statm: 344233 338653 397 719 0 343512 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 1376932 Child status: 0 Real time (s): 1800.5 CPU time (s): 1800.54 CPU user time (s): 1737.16 CPU system time (s): 63.3864 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1901260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1737.16 system time used= 63.3864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 471455 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= 4 involuntary context switches= 1479 runsolver used 2.53661 second user time and 5.83711 second system time The end
Begin job on node108 at 2010-06-30 21:43:29 IDJOB=2693621 IDBENCH=79275 IDSOLVER=1206 FILE ID=node108/2693621-1277927009 PBS_JOBID= 11197390 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.1900571132--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-2693621-1277927009/watcher-2693621-1277927009 -o /tmp/evaluation-result-2693621-1277927009/solver-2693621-1277927009 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693621-1277927009.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a22634c1977478f126d9df874c90c256 RANDOM SEED=1855176585 node108.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.855 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.71 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.855 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 : 5320.05 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.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 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.79 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.855 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.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30700308 kB Buffers: 208660 kB Cached: 1176028 kB SwapCached: 0 kB Active: 1247056 kB Inactive: 859004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30700308 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3260 kB Writeback: 0 kB AnonPages: 721456 kB Mapped: 17460 kB Slab: 79784 kB PageTables: 6232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 943904 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= 74204 MiB End job on node108 at 2010-06-30 22:13:31