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) | 1801.26 | 1801.22 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-66-100-0.wbo |
| MD5SUM | c3c12ca4f6a34dfd4eee1807e0cef251 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 355.567 |
| 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 | 911 |
| 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 | 46278 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46277 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 655 |
| 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-2693572-1277911240.wbo>
0.00/0.02 c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.00/0.07 c (round 2) 0 del vars, 104 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.00/0.09 c (round 3) 50 del vars, 246 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.10 c (round 4) 120 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.11 c (round 5) 140 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.15 c (0.1s) probing: 101/1072 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 140 deleted vars, 266 deleted constraints, 931 tightened bounds, 0 added holes, 142 changed sides, 0 changed coefficients
0.09/0.15 c 1117 implications, 11 cliques
0.09/0.15 c presolved problem has 1913 variables (1072 bin, 0 int, 0 impl, 841 cont) and 3353 constraints
0.09/0.15 c 841 constraints of type <indicator>
0.09/0.15 c 11 constraints of type <setppc>
0.09/0.15 c 841 constraints of type <linear>
0.09/0.15 c 1660 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.09
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 2 | 0 | - |7503k| 0 | - |1913 |3353 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.17 o 605
1.09/1.17 c * 1.0s| 4598 | 3734 | 0 | 0.0 | 10M|1000 | - |1913 |3895 | 0 | 0 | 0 | 844 | 0 | 0.000000e+00 | 6.050000e+02 | Inf
1.18/1.20 o 559
1.18/1.20 c * 1.1s| 4741 | 3874 | 0 | 0.0 | 10M|1000 | - |1913 |3893 | 0 | 0 | 0 | 844 | 0 | 0.000000e+00 | 5.590000e+02 | Inf
2.29/2.38 c 2.1s| 10000 | 8475 | 0 | 0.0 | 13M|1000 | - |1913 |4424 | 0 | 0 | 0 |2901 | 0 | 0.000000e+00 | 5.590000e+02 | Inf
4.99/5.09 c 4.5s| 20000 | 16289 | 0 | 0.0 | 20M|1000 | - |1913 |5362 | 0 | 0 | 0 |8970 | 0 | 0.000000e+00 | 5.590000e+02 | Inf
8.89/8.94 c 8.1s| 30000 | 22004 | 0 | 0.0 | 29M|1000 | - |1913 |6292 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 5.590000e+02 | Inf
9.19/9.26 o 518
9.19/9.26 c * 8.4s| 30597 | 22159 | 0 | 0.0 | 29M|1000 | - |1913 |6240 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 5.180000e+02 | Inf
9.29/9.33 o 469
9.29/9.33 c * 8.4s| 30835 | 22387 | 0 | 0.0 | 29M|1000 | - |1913 |6139 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.690000e+02 | Inf
9.48/9.52 o 282
9.48/9.52 c * 8.6s| 31471 | 22940 | 0 | 0.0 | 29M|1000 | - |1913 |5867 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.820000e+02 | Inf
9.48/9.52 o 199
9.48/9.52 c * 8.6s| 31472 | 22864 | 0 | 0.0 | 29M|1000 | - |1913 |5867 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
9.69/9.76 o 169
9.69/9.76 c * 8.8s| 32249 | 23555 | 0 | 0.0 | 30M|1000 | - |1913 |5633 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
9.79/9.80 o 157
9.79/9.80 c * 8.9s| 32383 | 23634 | 0 | 0.0 | 30M|1000 | - |1913 |5609 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
9.79/9.80 o 129
9.79/9.80 c * 8.9s| 32384 | 23581 | 0 | 0.0 | 30M|1000 | - |1913 |5609 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
9.79/9.89 o 127
9.79/9.89 c * 8.9s| 32686 | 23869 | 0 | 0.0 | 30M|1000 | - |1913 |5534 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
9.79/9.89 o 124
9.79/9.89 c * 8.9s| 32687 | 23824 | 0 | 0.0 | 30M|1000 | - |1913 |5534 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
10.09/10.14 o 111
10.09/10.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.09/10.14 c * 9.2s| 33454 | 24381 | 0 | 0.0 | 31M|1000 | - |1913 |5485 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
10.19/10.21 o 84
10.19/10.21 c * 9.2s| 33688 | 24362 | 0 | 0.0 | 31M|1000 | - |1913 |5465 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
10.89/10.95 o 78
10.89/10.95 c * 9.9s| 35833 | 26213 | 0 | 0.0 | 33M|1000 | - |1913 |4915 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
11.39/11.44 o 77
11.39/11.44 c *10.3s| 37371 | 27555 | 0 | 0.0 | 34M|1000 | - |1913 |4719 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
11.59/11.61 o 75
11.59/11.61 c *10.5s| 37896 | 27991 | 0 | 0.0 | 35M|1000 | - |1913 |4716 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
11.69/11.76 o 73
11.69/11.76 c *10.6s| 38364 | 28350 | 0 | 0.0 | 35M|1000 | - |1913 |4778 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
12.10/12.14 o 12
12.10/12.14 c *11.0s| 39641 | 27344 | 0 | 0.0 | 33M|1000 | - |1913 |4741 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
12.10/12.14 o 9
12.10/12.14 c *11.0s| 39642 | 27180 | 0 | 0.0 | 33M|1000 | - |1913 |4741 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
12.19/12.23 c 11.1s| 40000 | 27493 | 0 | 0.0 | 33M|1000 | - |1913 |4750 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
14.89/14.97 c 13.5s| 50000 | 35621 | 0 | 0.0 | 40M|1000 | - |1913 |5007 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
17.69/17.77 c 16.0s| 60000 | 43688 | 0 | 0.0 | 47M|1000 | - |1913 |5480 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
20.49/20.58 c 18.5s| 70000 | 51609 | 0 | 0.0 | 53M|1000 | - |1913 |5763 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
23.39/23.45 c 21.1s| 80000 | 59357 | 0 | 0.0 | 59M|1000 | - |1913 |6046 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
26.49/26.59 c 24.0s| 90000 | 66721 | 0 | 0.0 | 66M|1000 | - |1913 |6370 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
29.98/30.09 c 27.1s|100000 | 73529 | 0 | 0.0 | 73M|1000 | - |1913 |6776 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
33.79/33.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.79/33.84 c 30.5s|110000 | 79968 | 0 | 0.0 | 80M|1000 | - |1913 |7033 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
37.69/37.74 c 34.1s|120000 | 86192 | 0 | 0.0 | 87M|1000 | - |1913 |7633 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
41.80/41.84 c 37.9s|130000 | 92159 | 0 | 0.0 | 95M|1000 | - |1913 |7927 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
45.89/45.99 c 41.7s|140000 | 98055 | 0 | 0.0 | 103M|1000 | - |1913 |8136 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
50.39/50.49 c 45.8s|150000 |103482 | 0 | 0.0 | 110M|1000 | - |1913 |8421 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
55.08/55.15 c 50.1s|160000 |108751 | 0 | 0.0 | 118M|1000 | - |1913 |9015 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
59.89/59.95 c 54.5s|170000 |113777 | 0 | 0.0 | 125M|1000 | - |1913 |8917 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
64.98/65.03 c 59.2s|180000 |118457 | 0 | 0.0 | 133M|1000 | - |1913 |9957 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
70.89/70.93 c 64.8s|190000 |122079 | 0 | 0.0 | 140M|1000 | - |1913 | 11k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
78.09/78.12 c 71.5s|200000 |124223 | 0 | 0.0 | 147M|1000 | - |1913 | 11k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
82.08/82.19 c 75.2s|210000 |131084 | 0 | 0.0 | 150M|1000 | - |1913 |5886 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
85.69/85.80 c 78.5s|220000 |138351 | 0 | 0.0 | 158M|1000 | - |1913 |7655 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
89.38/89.41 c 81.8s|230000 |146246 | 0 | 0.0 | 168M|1000 | - |1913 |7576 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
93.29/93.35 c 85.3s|240000 |153665 | 0 | 0.0 | 192M|1000 | - |1913 |7724 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
97.28/97.37 c 89.0s|250000 |160622 | 0 | 0.0 | 206M|1000 | - |1913 |8489 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
100.79/100.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.79/100.82 c 92.1s|260000 |168550 | 0 | 0.0 | 225M|1000 | - |1913 |9955 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
105.09/105.16 c 96.0s|270000 |175359 | 0 | 0.0 | 236M|1000 | - |1913 | 10k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
108.19/108.27 c 98.8s|280000 |183471 | 0 | 0.0 | 242M|1000 | - |1913 | 11k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
109.29/109.38 o 7
109.29/109.38 c *99.8s|282989 |185220 | 0 | 0.0 | 244M|1000 | - |1913 | 12k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
111.98/112.09 c 102s|290000 |190428 | 0 | 0.0 | 249M|1000 | - |1913 | 11k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
115.69/115.71 c 106s|300000 |197872 | 0 | 0.0 | 256M|1000 | - |1913 | 13k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
119.68/119.76 c 109s|310000 |204968 | 0 | 0.0 | 262M|1000 | - |1913 | 13k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
123.98/124.04 c 113s|320000 |211811 | 0 | 0.0 | 269M|1000 | - |1913 | 14k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
128.19/128.24 c 117s|330000 |218602 | 0 | 0.0 | 276M|1000 | - |1913 | 16k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
132.00/132.01 c 120s|340000 |226098 | 0 | 0.0 | 282M|1000 | - |1913 | 16k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
135.99/136.07 c 124s|350000 |233540 | 0 | 0.0 | 286M|1000 | - |1913 |7895 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
139.29/139.30 c 127s|360000 |241200 | 0 | 0.0 | 294M|1000 | - |1913 |9413 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
143.29/143.30 c 131s|370000 |248032 | 0 | 0.0 | 301M|1000 | - |1913 | 10k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
147.39/147.47 c 135s|380000 |254789 | 0 | 0.0 | 309M|1000 | - |1913 | 11k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
151.79/151.84 c 139s|390000 |261379 | 0 | 0.0 | 316M|1000 | - |1913 | 12k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
156.39/156.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.39/156.49 c 143s|400000 |267747 | 0 | 0.0 | 323M|1000 | - |1913 | 12k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
160.99/161.03 c 147s|410000 |274146 | 0 | 0.0 | 330M|1000 | - |1913 | 12k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
165.99/166.08 c 152s|420000 |280054 | 0 | 0.0 | 337M|1000 | - |1913 | 13k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
171.19/171.28 c 157s|430000 |285888 | 0 | 0.0 | 344M|1000 | - |1913 | 13k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
176.49/176.54 c 162s|440000 |291638 | 0 | 0.0 | 351M|1000 | - |1913 | 13k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
181.79/181.86 c 167s|450000 |297274 | 0 | 0.0 | 359M|1000 | - |1913 | 14k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
187.59/187.63 c 172s|460000 |302576 | 0 | 0.0 | 366M|1000 | - |1913 | 15k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
193.59/193.65 c 178s|470000 |307742 | 0 | 0.0 | 373M|1000 | - |1913 | 15k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
199.29/199.36 c 183s|480000 |313316 | 0 | 0.0 | 380M|1000 | - |1913 | 15k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
205.49/205.58 c 189s|490000 |318411 | 0 | 0.0 | 388M|1000 | - |1913 | 15k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
211.69/211.73 c 195s|500000 |323609 | 0 | 0.0 | 395M|1000 | - |1913 | 16k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
218.28/218.36 c 201s|510000 |328328 | 0 | 0.0 | 402M|1000 | - |1913 | 15k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
224.89/224.96 c 207s|520000 |333086 | 0 | 0.0 | 409M|1000 | - |1913 | 16k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
231.59/231.67 c 214s|530000 |337781 | 0 | 0.0 | 416M|1000 | - |1913 | 16k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
238.49/238.53 c 220s|540000 |342476 | 0 | 0.0 | 424M|1000 | - |1913 | 17k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
245.39/245.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.39/245.47 c 227s|550000 |347215 | 0 | 0.0 | 431M|1000 | - |1913 | 17k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
252.29/252.36 c 233s|560000 |351961 | 0 | 0.0 | 438M|1000 | - |1913 | 18k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
259.79/259.85 c 241s|570000 |356210 | 0 | 0.0 | 445M|1000 | - |1913 | 17k| 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
266.69/266.79 c 247s|580000 |360967 | 0 | 0.0 | 453M|1000 | - |1913 | 18k| 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
274.79/274.81 c 255s|590000 |364718 | 0 | 0.0 | 459M|1000 | - |1913 | 18k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
282.19/282.21 c 262s|600000 |369169 | 0 | 0.0 | 467M|1000 | - |1913 | 19k| 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
290.89/290.91 c 270s|610000 |372538 | 0 | 0.0 | 473M|1000 | - |1913 | 19k| 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
298.29/298.36 c 277s|620000 |377018 | 0 | 0.0 | 481M|1000 | - |1913 | 19k| 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
307.29/307.33 c 286s|630000 |380166 | 0 | 0.0 | 487M|1000 | - |1913 | 19k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
315.19/315.22 c 293s|640000 |384319 | 0 | 0.0 | 494M|1000 | - |1913 | 19k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
323.99/324.02 c 302s|650000 |387607 | 0 | 0.0 | 501M|1000 | - |1913 | 19k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
332.29/332.39 c 310s|660000 |391435 | 0 | 0.0 | 507M|1000 | - |1913 | 18k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
341.19/341.24 c 318s|670000 |394630 | 0 | 0.0 | 515M|1000 | - |1913 | 20k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
350.39/350.45 c 327s|680000 |397861 | 0 | 0.0 | 521M|1000 | - |1913 | 20k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
358.79/358.86 c 335s|690000 |401810 | 0 | 0.0 | 528M|1000 | - |1913 | 21k| 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
368.50/368.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.50/368.53 c 344s|700000 |404701 | 0 | 0.0 | 534M|1000 | - |1913 | 21k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
377.80/377.86 c 353s|710000 |407902 | 0 | 0.0 | 540M|1000 | - |1913 | 20k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
386.69/386.78 c 362s|720000 |411548 | 0 | 0.0 | 547M|1000 | - |1913 | 21k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
396.69/396.75 c 372s|730000 |414208 | 0 | 0.0 | 554M|1000 | - |1913 | 21k| 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
406.90/406.94 c 381s|740000 |416766 | 0 | 0.0 | 560M|1000 | - |1913 | 22k| 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
416.90/416.99 c 391s|750000 |419587 | 0 | 0.0 | 566M|1000 | - |1913 | 22k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
426.70/426.79 c 400s|760000 |422755 | 0 | 0.0 | 572M|1000 | - |1913 | 22k| 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
437.10/437.17 c 410s|770000 |425750 | 0 | 0.0 | 579M|1000 | - |1913 | 23k| 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
447.90/447.96 c 421s|780000 |428468 | 0 | 0.0 | 585M|1000 | - |1913 | 23k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
458.60/458.70 c 431s|790000 |431231 | 0 | 0.0 | 590M|1000 | - |1913 | 23k| 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
468.90/468.98 c 441s|800000 |431889 | 0 | 0.0 | 593M|1000 | - |1913 | 16k| 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.70/480.77 c 452s|810000 |429106 | 0 | 0.0 | 595M|1000 | - |1913 | 19k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
494.30/494.37 c 465s|820000 |424990 | 0 | 0.0 | 595M|1000 | - |1913 | 22k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
506.20/506.28 c 477s|830000 |424164 | 0 | 0.0 | 588M|1000 | - |1913 | 11k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
510.00/510.03 c 480s|840000 |432089 | 0 | 0.0 | 594M|1000 | - |1913 |7614 | 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
513.50/513.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.50/513.52 c 483s|850000 |439999 | 0 | 0.0 | 601M|1000 | - |1913 |8840 | 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
517.20/517.27 c 487s|860000 |447694 | 0 | 0.0 | 609M|1000 | - |1913 | 10k| 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
521.30/521.31 c 491s|870000 |455232 | 0 | 0.0 | 616M|1000 | - |1913 | 11k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
525.40/525.46 c 494s|880000 |462681 | 0 | 0.0 | 624M|1000 | - |1913 | 12k| 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
529.90/529.98 c 499s|890000 |469867 | 0 | 0.0 | 632M|1000 | - |1913 | 13k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
534.70/534.71 c 503s|900000 |476913 | 0 | 0.0 | 640M|1000 | - |1913 | 14k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
539.50/539.51 c 507s|910000 |483933 | 0 | 0.0 | 648M|1000 | - |1913 | 15k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
545.61/545.69 c 513s|920000 |489901 | 0 | 0.0 | 657M|1000 | - |1913 | 16k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
552.60/552.65 c 520s|930000 |495265 | 0 | 0.0 | 667M|1000 | - |1913 | 19k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
561.10/561.11 c 528s|940000 |499774 | 0 | 0.0 | 676M|1000 | - |1913 | 21k| 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
571.10/571.10 c 537s|950000 |503264 | 0 | 0.0 | 686M|1000 | - |1913 | 24k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
580.81/580.86 c 546s|960000 |507888 | 0 | 0.0 | 693M|1000 | - |1913 | 23k| 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
585.60/585.68 c 551s|970000 |515784 | 0 | 0.0 | 699M|1000 | - |1913 | 18k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
590.20/590.24 c 555s|980000 |523432 | 0 | 0.0 | 706M|1000 | - |1913 | 18k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
595.11/595.15 c 560s|990000 |530803 | 0 | 0.0 | 713M|1000 | - |1913 | 19k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
600.40/600.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.40/600.49 c 565s| 1000k|537880 | 0 | 0.0 | 721M|1000 | - |1913 | 21k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
606.40/606.43 c 570s| 1010k|544679 | 0 | 0.0 | 729M|1000 | - |1913 | 22k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
614.00/614.09 c 577s| 1020k|550201 | 0 | 0.0 | 738M|1000 | - |1913 | 24k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
622.80/622.83 c 586s| 1030k|555113 | 0 | 0.0 | 747M|1000 | - |1913 | 27k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
633.51/633.52 c 596s| 1040k|559143 | 0 | 0.0 | 757M|1000 | - |1913 | 32k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
644.51/644.53 c 606s| 1050k|564004 | 0 | 0.0 | 762M|1000 | - |1913 | 29k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
650.70/650.76 c 612s| 1060k|571574 | 0 | 0.0 | 768M|1000 | - |1913 | 23k| 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
655.90/655.93 c 617s| 1070k|579150 | 0 | 0.0 | 774M|1000 | - |1913 | 22k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
661.10/661.14 c 622s| 1080k|586503 | 0 | 0.0 | 782M|1000 | - |1913 | 23k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
666.80/666.86 c 627s| 1090k|593593 | 0 | 0.0 | 789M|1000 | - |1913 | 24k| 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
672.70/672.77 c 633s| 1100k|600422 | 0 | 0.0 | 797M|1000 | - |1913 | 25k| 0 | 0 | 0 |1213k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
680.40/680.41 c 640s| 1110k|606110 | 0 | 0.0 | 806M|1000 | - |1913 | 26k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
689.00/689.07 c 648s| 1120k|611143 | 0 | 0.0 | 816M|1000 | - |1913 | 28k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
699.11/699.18 c 658s| 1130k|615443 | 0 | 0.0 | 825M|1000 | - |1913 | 32k| 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
711.20/711.28 c 670s| 1140k|618993 | 0 | 0.0 | 832M|1000 | - |1913 | 31k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
716.91/716.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.91/716.98 c 675s| 1150k|626910 | 0 | 0.0 | 836M|1000 | - |1913 | 24k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
721.90/722.00 c 680s| 1160k|634648 | 0 | 0.0 | 843M|1000 | - |1913 | 24k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
727.21/727.28 c 685s| 1170k|642148 | 0 | 0.0 | 850M|1000 | - |1913 | 26k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
733.01/733.01 c 690s| 1180k|649317 | 0 | 0.0 | 858M|1000 | - |1913 | 27k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
739.60/739.60 c 697s| 1190k|656012 | 0 | 0.0 | 865M|1000 | - |1913 | 28k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
746.61/746.60 c 703s| 1200k|662438 | 0 | 0.0 | 873M|1000 | - |1913 | 29k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
754.01/754.09 o 4
754.01/754.09 c * 710s| 1209k|651318 | 0 | 0.0 | 852M|1000 | - |1913 | 31k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
754.71/754.74 c 711s| 1210k|651721 | 0 | 0.0 | 853M|1000 | - |1913 | 30k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
764.70/764.79 c 721s| 1220k|656538 | 0 | 0.0 | 863M|1000 | - |1913 | 33k| 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
777.00/777.07 c 733s| 1230k|660291 | 0 | 0.0 | 872M|1000 | - |1913 | 35k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
794.51/794.50 c 750s| 1240k|661343 | 0 | 0.0 | 880M|1000 | - |1913 | 39k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
806.50/806.55 c 761s| 1250k|666172 | 0 | 0.0 | 884M|1000 | - |1913 | 31k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
812.82/812.87 c 767s| 1260k|673688 | 0 | 0.0 | 890M|1000 | - |1913 | 26k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
819.11/819.17 c 773s| 1270k|680733 | 0 | 0.0 | 899M|1000 | - |1913 | 27k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
826.01/826.06 c 780s| 1280k|687446 | 0 | 0.0 | 909M|1000 | - |1913 | 28k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
833.31/833.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.31/833.39 c 787s| 1290k|693859 | 0 | 0.0 | 918M|1000 | - |1913 | 29k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
841.31/841.39 c 794s| 1300k|699904 | 0 | 0.0 | 927M|1000 | - |1913 | 30k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
850.70/850.74 c 803s| 1310k|705299 | 0 | 0.0 | 936M|1000 | - |1913 | 32k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
861.01/861.08 c 813s| 1320k|710055 | 0 | 0.0 | 945M|1000 | - |1913 | 34k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
871.51/871.51 c 823s| 1330k|713714 | 0 | 0.0 | 949M|1000 | - |1913 | 25k| 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
882.11/882.17 c 833s| 1340k|714995 | 0 | 0.0 | 954M|1000 | - |1913 | 27k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
888.00/888.02 c 839s| 1350k|721850 | 0 | 0.0 | 958M|1000 | - |1913 | 21k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
893.01/893.04 c 843s| 1360k|729277 | 0 | 0.0 | 964M|1000 | - |1913 | 22k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
898.41/898.40 c 848s| 1370k|736327 | 0 | 0.0 | 971M|1000 | - |1913 | 22k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
904.01/904.02 c 854s| 1380k|742989 | 0 | 0.0 | 978M|1000 | - |1913 | 23k| 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
910.10/910.20 c 859s| 1390k|749170 | 0 | 0.0 | 985M|1000 | - |1913 | 23k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
916.81/916.84 c 866s| 1400k|754793 | 0 | 0.0 | 992M|1000 | - |1913 | 24k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
923.92/923.92 c 872s| 1410k|759954 | 0 | 0.0 | 998M|1000 | - |1913 | 24k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
932.21/932.20 c 880s| 1420k|763807 | 0 | 0.0 |1005M|1000 | - |1913 | 26k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
942.61/942.64 c 890s| 1430k|765721 | 0 | 0.0 |1011M|1000 | - |1913 | 28k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
944.31/944.39 o 3
944.31/944.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.31/944.39 c * 892s| 1431k|763603 | 0 | 0.0 |1008M|1000 | - |1913 | 29k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
949.41/949.41 c 897s| 1440k|769598 | 0 | 0.0 |1011M|1000 | - |1913 | 22k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
953.71/953.75 c 901s| 1450k|777366 | 0 | 0.0 |1017M|1000 | - |1913 | 22k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
958.31/958.33 c 905s| 1460k|784841 | 0 | 0.0 |1023M|1000 | - |1913 | 23k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
963.11/963.12 c 909s| 1470k|792046 | 0 | 0.0 |1030M|1000 | - |1913 | 24k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
968.21/968.24 c 914s| 1480k|798892 | 0 | 0.0 |1036M|1000 | - |1913 | 24k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
975.01/975.09 c 921s| 1490k|804148 | 0 | 0.0 |1043M|1000 | - |1913 | 26k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
983.11/983.12 c 928s| 1500k|808497 | 0 | 0.0 |1050M|1000 | - |1913 | 27k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
992.61/992.67 c 937s| 1510k|811582 | 0 | 0.0 |1056M|1000 | - |1913 | 30k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
999.82/999.81 c 944s| 1520k|817258 | 0 | 0.0 |1059M|1000 | - |1913 | 24k| 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1004.01/1004.07 c 948s| 1530k|825143 | 0 | 0.0 |1065M|1000 | - |1913 | 22k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1008.31/1008.39 c 952s| 1540k|832726 | 0 | 0.0 |1071M|1000 | - |1913 | 23k| 0 | 0 | 0 |1607k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1014.01/1014.05 c 958s| 1550k|839218 | 0 | 0.0 |1078M|1000 | - |1913 | 24k| 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1020.51/1020.51 c 964s| 1560k|845009 | 0 | 0.0 |1085M|1000 | - |1913 | 25k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1027.91/1027.90 c 971s| 1570k|849921 | 0 | 0.0 |1092M|1000 | - |1913 | 27k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1036.52/1036.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.52/1036.58 c 979s| 1580k|853753 | 0 | 0.0 |1099M|1000 | - |1913 | 29k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1046.91/1046.94 c 989s| 1590k|856227 | 0 | 0.0 |1105M|1000 | - |1913 | 32k| 0 | 0 | 0 |1650k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1049.91/1049.97 o 1
1049.91/1049.97 c * 992s| 1591k|302670 | 0 | 0.0 | 461M|1000 | - |1913 | 34k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1057.42/1057.40 c 999s| 1600k|306971 | 0 | 0.0 | 464M|1000 | - |1913 | 26k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1065.51/1065.52 c 1007s| 1610k|312080 | 0 | 0.0 | 471M|1000 | - |1913 | 26k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1074.32/1074.39 c 1016s| 1620k|316556 | 0 | 0.0 | 477M|1000 | - |1913 | 26k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1083.71/1083.77 c 1025s| 1630k|320912 | 0 | 0.0 | 484M|1000 | - |1913 | 27k| 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1094.71/1094.74 c 1036s| 1640k|324487 | 0 | 0.0 | 491M|1000 | - |1913 | 28k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1106.21/1106.27 c 1047s| 1650k|328013 | 0 | 0.0 | 498M|1000 | - |1913 | 27k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1117.41/1117.41 c 1058s| 1660k|331341 | 0 | 0.0 | 505M|1000 | - |1913 | 29k| 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1130.21/1130.22 c 1070s| 1670k|334053 | 0 | 0.0 | 512M|1000 | - |1913 | 31k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1143.51/1143.53 c 1083s| 1680k|336706 | 0 | 0.0 | 518M|1000 | - |1913 | 28k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1156.02/1156.03 c 1095s| 1690k|339577 | 0 | 0.0 | 525M|1000 | - |1913 | 29k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1168.91/1168.90 c 1108s| 1700k|342027 | 0 | 0.0 | 530M|1000 | - |1913 | 29k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1181.81/1181.84 c 1120s| 1710k|344784 | 0 | 0.0 | 537M|1000 | - |1913 | 30k| 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1195.42/1195.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.42/1195.43 c 1134s| 1720k|347026 | 0 | 0.0 | 543M|1000 | - |1913 | 29k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1209.22/1209.25 c 1147s| 1730k|349258 | 0 | 0.0 | 549M|1000 | - |1913 | 31k| 0 | 0 | 0 |1799k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1223.42/1223.49 c 1161s| 1740k|351521 | 0 | 0.0 | 554M|1000 | - |1913 | 27k| 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1237.53/1237.54 c 1174s| 1750k|353181 | 0 | 0.0 | 561M|1000 | - |1913 | 31k| 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1251.73/1251.76 c 1188s| 1760k|355587 | 0 | 0.0 | 567M|1000 | - |1913 | 29k| 0 | 0 | 0 |1836k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1266.92/1266.97 c 1203s| 1770k|356721 | 0 | 0.0 | 572M|1000 | - |1913 | 30k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1281.02/1281.02 c 1217s| 1780k|358790 | 0 | 0.0 | 578M|1000 | - |1913 | 31k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1295.82/1295.87 c 1231s| 1790k|361050 | 0 | 0.0 | 584M|1000 | - |1913 | 28k| 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1311.02/1311.02 c 1246s| 1800k|361880 | 0 | 0.0 | 589M|1000 | - |1913 | 31k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1326.42/1326.47 c 1261s| 1810k|363468 | 0 | 0.0 | 595M|1000 | - |1913 | 32k| 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1341.32/1341.37 c 1275s| 1820k|365715 | 0 | 0.0 | 600M|1000 | - |1913 | 28k| 0 | 0 | 0 |1914k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1357.92/1357.99 c 1291s| 1830k|365788 | 0 | 0.0 | 605M|1000 | - |1913 | 32k| 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1373.62/1373.60 c 1307s| 1840k|367353 | 0 | 0.0 | 611M|1000 | - |1913 | 33k| 0 | 0 | 0 |1942k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1389.52/1389.56 c 1322s| 1850k|368794 | 0 | 0.0 | 615M|1000 | - |1913 | 28k| 0 | 0 | 0 |1955k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1406.13/1406.16 c 1339s| 1860k|368882 | 0 | 0.0 | 620M|1000 | - |1913 | 32k| 0 | 0 | 0 |1970k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1421.92/1421.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1421.92/1421.97 c 1354s| 1870k|370171 | 0 | 0.0 | 626M|1000 | - |1913 | 33k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1438.13/1438.16 c 1370s| 1880k|371214 | 0 | 0.0 | 630M|1000 | - |1913 | 29k| 0 | 0 | 0 |1997k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1455.62/1455.69 c 1387s| 1890k|370973 | 0 | 0.0 | 634M|1000 | - |1913 | 33k| 0 | 0 | 0 |2013k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1472.12/1472.10 c 1403s| 1900k|372212 | 0 | 0.0 | 640M|1000 | - |1913 | 33k| 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1489.02/1489.05 c 1420s| 1910k|372889 | 0 | 0.0 | 643M|1000 | - |1913 | 30k| 0 | 0 | 0 |2041k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1507.04/1507.04 c 1437s| 1920k|372444 | 0 | 0.0 | 647M|1000 | - |1913 | 33k| 0 | 0 | 0 |2057k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1523.63/1523.61 c 1453s| 1930k|373453 | 0 | 0.0 | 653M|1000 | - |1913 | 34k| 0 | 0 | 0 |2071k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1540.63/1540.68 c 1470s| 1940k|373855 | 0 | 0.0 | 656M|1000 | - |1913 | 31k| 0 | 0 | 0 |2086k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1559.63/1559.61 c 1489s| 1950k|373000 | 0 | 0.0 | 659M|1000 | - |1913 | 34k| 0 | 0 | 0 |2102k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1576.53/1576.54 c 1505s| 1960k|373849 | 0 | 0.0 | 665M|1000 | - |1913 | 33k| 0 | 0 | 0 |2116k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1594.63/1594.65 c 1523s| 1970k|373243 | 0 | 0.0 | 667M|1000 | - |1913 | 33k| 0 | 0 | 0 |2132k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1613.33/1613.33 c 1541s| 1980k|372636 | 0 | 0.0 | 671M|1000 | - |1913 | 35k| 0 | 0 | 0 |2148k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1630.83/1630.88 c 1558s| 1990k|373288 | 0 | 0.0 | 675M|1000 | - |1913 | 29k| 0 | 0 | 0 |2163k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1649.83/1649.80 c 1577s| 2000k|371770 | 0 | 0.0 | 676M|1000 | - |1913 | 34k| 0 | 0 | 0 |2179k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1668.53/1668.55 c 1595s| 2010k|371425 | 0 | 0.0 | 681M|1000 | - |1913 | 35k| 0 | 0 | 0 |2195k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1686.83/1686.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1686.83/1686.81 c 1613s| 2020k|371055 | 0 | 0.0 | 683M|1000 | - |1913 | 32k| 0 | 0 | 0 |2211k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1706.83/1706.85 c 1633s| 2030k|369329 | 0 | 0.0 | 685M|1000 | - |1913 | 36k| 0 | 0 | 0 |2228k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1724.64/1724.66 c 1650s| 2040k|369537 | 0 | 0.0 | 689M|1000 | - |1913 | 33k| 0 | 0 | 0 |2243k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1744.33/1744.39 c 1669s| 2050k|367418 | 0 | 0.0 | 689M|1000 | - |1913 | 35k| 0 | 0 | 0 |2260k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1763.13/1763.16 c 1688s| 2060k|366761 | 0 | 0.0 | 693M|1000 | - |1913 | 36k| 0 | 0 | 0 |2276k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1782.63/1782.67 c 1707s| 2070k|365093 | 0 | 0.0 | 693M|1000 | - |1913 | 34k| 0 | 0 | 0 |2293k| 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.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1723.75
1800.04/1800.00 c Solving Nodes : 2078390
1800.04/1800.00 c Primal Bound : +1.00000000000000e+00 (23 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 v -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1723.75
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2693572-1277911240.wbo
1800.04/1800.01 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.04/1800.01 c Constraints : 3619 initial, 3619 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2693572-1277911240.wbo
1800.04/1800.01 c Variables : 1913 (1072 binary, 0 integer, 0 implicit integer, 841 continuous)
1800.04/1800.01 c Constraints : 3353 initial, 41751 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 70 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 70 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 70 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.05 0 0 0 931 0 196 142 0
1800.04/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 811 - - 1622 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 841 0 2664180 0 780512 80 1298555 0 0 0
1800.04/1800.01 c setppc : 11 0 6791582 0 1663437 35012 5641180 0 0 0
1800.04/1800.01 c linear : 841 0 6758359 0 1663992 345262 27192887 0 0 0
1800.04/1800.01 c logicor : 1660+ 0 5130004 0 1664003 292446 14260156 0 0 0
1800.04/1800.01 c bounddisjunction : 0+ 0 22697 0 0 0 25 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 1663994 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c indicator : 3.34 0.00 1.59 0.00 1.75
1800.04/1800.01 c setppc : 23.52 0.00 21.62 0.00 1.90
1800.04/1800.01 c linear : 165.05 0.00 164.27 0.00 0.78
1800.04/1800.01 c logicor : 696.28 0.00 616.69 0.00 79.59
1800.04/1800.01 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.02 2 0 0
1800.04/1800.01 c rootredcost : 0.00 0 0 0
1800.04/1800.01 c pseudoobj : 110.24 6793988 681 1267173
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 34.93 673401 673246 3359675 22.9 252757 10.1 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 14 14 65 21.2 18 9.0 -
1800.04/1800.01 c applied globally : - - - 2308082 20.2 - - -
1800.04/1800.01 c applied locally : - - - 44 120.8 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 0.00 0 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 0 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 21.78 1663971 0 0 0 0 3327942
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 1.19 - 23
1800.04/1800.01 c oneopt : 0.09 0 0
1800.04/1800.01 c trivial : 0.00 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.00 0 0
1800.04/1800.01 c trysol : 0.01 1 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2078390
1800.04/1800.01 c nodes (total) : 2078390
1800.04/1800.01 c nodes left : 363347
1800.04/1800.01 c max depth : 1000
1800.04/1800.01 c max depth (total): 1000
1800.04/1800.01 c backtracks : 385823 (18.6%)
1800.04/1800.01 c delayed cutoffs : 309938
1800.04/1800.01 c repropagations : 1202049 (14784016 domain reductions, 259099 cutoffs)
1800.04/1800.01 c avg switch length: 16.37
1800.04/1800.01 c switching time : 523.66
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 23 (23 improvements)
1800.04/1800.01 c First Solution : +6.05000000000000e+02 (in run 1, after 4598 nodes, 1.03 seconds, depth 378, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1591692 nodes, 991.11 seconds, depth 816, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
1801.24/1801.21 c Time complete: 1801.25.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693572-1277911240/watcher-2693572-1277911240 -o /tmp/evaluation-result-2693572-1277911240/solver-2693572-1277911240 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693572-1277911240.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.03 2.14 3/178 15255 /proc/meminfo: memFree=31355408/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=8164 CPUtime=0 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 1544 0 0 0 0 0 0 0 18 0 1 0 132418650 8359936 1466 4089446400 4194304 7136930 140736831977184 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15255/statm: 2075 1473 275 719 0 1354 0 [startup+0.097888 s] /proc/loadavg: 2.01 2.03 2.14 3/178 15255 /proc/meminfo: memFree=31355408/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=22040 CPUtime=0.09 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 6416 0 0 0 8 1 0 0 18 0 1 0 132418650 22568960 4700 4089446400 4194304 7136930 140736831977184 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15255/statm: 5510 4728 358 719 0 4789 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22040 [startup+0.100874 s] /proc/loadavg: 2.01 2.03 2.14 3/178 15255 /proc/meminfo: memFree=31355408/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=23200 CPUtime=0.09 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 6730 0 0 0 8 1 0 0 18 0 1 0 132418650 23756800 5013 4089446400 4194304 7136930 140736831977184 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15255/statm: 5800 5013 359 719 0 5079 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23200 [startup+0.300835 s] /proc/loadavg: 2.01 2.03 2.14 3/178 15255 /proc/meminfo: memFree=31355408/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=24164 CPUtime=0.29 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 9090 0 0 0 25 4 0 0 18 0 1 0 132418650 24743936 5317 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15255/statm: 6041 5317 391 719 0 5320 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24164 [startup+0.700764 s] /proc/loadavg: 2.01 2.03 2.14 3/178 15255 /proc/meminfo: memFree=31355408/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=26356 CPUtime=0.69 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 9651 0 0 0 61 8 0 0 18 0 1 0 132418650 26988544 5878 4089446400 4194304 7136930 140736831977184 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15255/statm: 6589 5878 395 719 0 5868 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26356 [startup+1.50061 s] /proc/loadavg: 2.01 2.03 2.14 3/179 15256 /proc/meminfo: memFree=31332460/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=28172 CPUtime=1.49 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 10088 0 0 0 133 16 0 0 20 0 1 0 132418650 28848128 6315 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15255/statm: 7043 6315 395 719 0 6322 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28172 [startup+3.10032 s] /proc/loadavg: 2.01 2.03 2.13 3/179 15256 /proc/meminfo: memFree=31329236/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=33904 CPUtime=3.09 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 11564 0 0 0 276 33 0 0 25 0 1 0 132418650 34717696 7791 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15255/statm: 8476 7791 395 719 0 7755 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33904 [startup+6.30074 s] /proc/loadavg: 2.01 2.03 2.13 3/179 15256 /proc/meminfo: memFree=31317392/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=45160 CPUtime=6.29 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 14387 0 0 0 565 64 0 0 25 0 1 0 132418650 46243840 10614 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15255/statm: 11290 10614 395 719 0 10569 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45160 [startup+12.7006 s] /proc/loadavg: 2.01 2.03 2.13 3/179 15256 /proc/meminfo: memFree=31296524/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=65532 CPUtime=12.69 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 19389 0 0 0 1150 119 0 0 25 0 1 0 132418650 67104768 15616 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15255/statm: 16383 15616 398 719 0 15662 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65532 [startup+25.5002 s] /proc/loadavg: 2.01 2.03 2.13 3/179 15257 /proc/meminfo: memFree=31259868/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=100168 CPUtime=25.49 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 28137 0 0 0 2299 250 0 0 25 0 1 0 132418650 102572032 24364 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15255/statm: 25042 24364 398 719 0 24321 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 100168 [startup+51.1005 s] /proc/loadavg: 2.00 2.03 2.13 3/179 15257 /proc/meminfo: memFree=31202532/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=160576 CPUtime=51.08 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 42821 0 0 0 4637 471 0 0 25 0 1 0 132418650 164429824 39048 4089446400 4194304 7136930 140736831977184 18446744073709551615 4210111 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15255/statm: 40144 39048 398 719 0 39423 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 160576 [startup+102.306 s] /proc/loadavg: 2.00 2.02 2.11 3/179 15259 /proc/meminfo: memFree=31062596/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=299704 CPUtime=102.3 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 74828 0 0 0 9345 885 0 0 25 0 1 0 132418650 306896896 71055 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15255/statm: 74926 71055 398 719 0 74205 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 299704 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.10 3/179 15260 /proc/meminfo: memFree=30944256/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=416168 CPUtime=162.29 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 103003 0 0 0 14842 1387 0 0 25 0 1 0 132418650 426156032 99230 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 104042 99230 398 719 0 103321 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 416168 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.09 3/179 15262 /proc/meminfo: memFree=30857280/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=497468 CPUtime=222.29 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 123435 0 0 0 20489 1740 0 0 25 0 1 0 132418650 509407232 119662 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 124367 119662 398 719 0 123646 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 497468 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.09 3/179 15263 /proc/meminfo: memFree=30792728/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=554320 CPUtime=282.29 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 137786 0 0 0 26182 2047 0 0 25 0 1 0 132418650 567623680 134013 4089446400 4194304 7136930 140736831977184 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 138580 134013 398 719 0 137859 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 554320 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 15265 /proc/meminfo: memFree=30734492/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=612080 CPUtime=342.29 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 152145 0 0 0 31923 2306 0 0 25 0 1 0 132418650 626769920 148372 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 153020 148372 398 719 0 152299 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 612080 [startup+402.3 s] /proc/loadavg: 2.05 2.01 2.08 3/179 15267 /proc/meminfo: memFree=30686324/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=656048 CPUtime=402.3 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 163170 0 0 0 37688 2542 0 0 25 0 1 0 132418650 671793152 159397 4089446400 4194304 7136930 140736831977184 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 164012 159397 398 719 0 163291 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 656048 [startup+462.3 s] /proc/loadavg: 2.02 2.01 2.07 3/179 15268 /proc/meminfo: memFree=30644988/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=690528 CPUtime=462.29 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 171859 0 0 0 43466 2763 0 0 25 0 1 0 132418650 707100672 168086 4089446400 4194304 7136930 140736831977184 18446744073709551615 4224183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 172632 168086 398 719 0 171911 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 690528 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15270 /proc/meminfo: memFree=30609736/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=725020 CPUtime=522.29 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 180542 0 0 0 49151 3078 0 0 25 0 1 0 132418650 742420480 176769 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 181255 176769 398 719 0 180534 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 725020 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 15271 /proc/meminfo: memFree=30527824/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=808012 CPUtime=582.3 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 199186 0 0 0 54772 3458 0 0 25 0 1 0 132418650 827404288 195413 4089446400 4194304 7136930 140736831977184 18446744073709551615 5000322 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 202003 195413 398 719 0 201282 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 808012 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 15273 /proc/meminfo: memFree=30455364/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=876468 CPUtime=642.31 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 216367 0 0 0 60435 3796 0 0 25 0 1 0 132418650 897503232 212594 4089446400 4194304 7136930 140736831977184 18446744073709551615 5000296 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 219117 212594 398 719 0 218396 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 876468 [startup+702.3 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.98 1.97 2.01 3/197 15353 /proc/meminfo: memFree=30045984/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1192308 CPUtime=1002.31 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 295554 0 0 0 94662 5569 0 0 25 0 1 0 132418650 1220923392 291781 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 298077 291781 398 719 0 297356 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1192308 [startup+1062.3 s] /proc/loadavg: 1.99 1.97 2.01 3/197 15354 /proc/meminfo: memFree=29977204/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240108 CPUtime=1062.31 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 307895 0 0 0 100421 5810 0 0 25 0 1 0 132418650 1269870592 303866 4089446400 4194304 7136930 140736831977184 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310027 303866 398 719 0 309306 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1240108 [startup+1122.3 s] /proc/loadavg: 1.99 1.97 2.00 3/197 15356 /proc/meminfo: memFree=29955456/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240108 CPUtime=1122.32 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 307896 0 0 0 106247 5985 0 0 25 0 1 0 132418650 1269870592 303867 4089446400 4194304 7136930 140736831977184 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310027 303867 398 719 0 309306 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1240108 [startup+1182.3 s] /proc/loadavg: 1.99 1.97 2.00 3/197 15357 /proc/meminfo: memFree=29929756/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240108 CPUtime=1182.32 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 307917 0 0 0 112079 6153 0 0 25 0 1 0 132418650 1269870592 303888 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310027 303888 398 719 0 309306 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1240108 [startup+1242.3 s] /proc/loadavg: 1.99 1.97 2.00 3/197 15359 /proc/meminfo: memFree=29904284/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240108 CPUtime=1242.31 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 307917 0 0 0 117897 6334 0 0 25 0 1 0 132418650 1269870592 303888 4089446400 4194304 7136930 140736831977184 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310027 303888 398 719 0 309306 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1240108 [startup+1302.3 s] /proc/loadavg: 2.06 1.99 2.00 3/197 15361 /proc/meminfo: memFree=29879056/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240108 CPUtime=1302.32 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 307917 0 0 0 123732 6500 0 0 25 0 1 0 132418650 1269870592 303888 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310027 303888 398 719 0 309306 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1240108 [startup+1362.3 s] /proc/loadavg: 2.09 2.00 2.00 3/197 15362 /proc/meminfo: memFree=29850752/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240108 CPUtime=1362.32 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 307918 0 0 0 129569 6663 0 0 25 0 1 0 132418650 1269870592 303889 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310027 303889 398 719 0 309306 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1240108 [startup+1422.31 s] /proc/loadavg: 2.18 2.06 2.02 3/197 15364 /proc/meminfo: memFree=29823180/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240108 CPUtime=1422.33 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 307921 0 0 0 135436 6797 0 0 25 0 1 0 132418650 1269870592 303892 4089446400 4194304 7136930 140736831977184 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310027 303892 398 719 0 309306 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1240108 [startup+1482.3 s] /proc/loadavg: 2.07 2.04 2.01 3/197 15365 /proc/meminfo: memFree=29807756/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240108 CPUtime=1482.33 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 307928 0 0 0 141310 6923 0 0 25 0 1 0 132418650 1269870592 303899 4089446400 4194304 7136930 140736831977184 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310027 303899 398 719 0 309306 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1240108 [startup+1542.3 s] /proc/loadavg: 2.02 2.03 2.01 3/197 15367 /proc/meminfo: memFree=29787136/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240108 CPUtime=1542.33 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 307933 0 0 0 147161 7072 0 0 25 0 1 0 132418650 1269870592 303904 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310027 303904 398 719 0 309306 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1240108 [startup+1602.3 s] /proc/loadavg: 2.35 2.13 2.04 3/197 15369 /proc/meminfo: memFree=29768612/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240108 CPUtime=1602.33 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 307940 0 0 0 153045 7188 0 0 25 0 1 0 132418650 1269870592 303911 4089446400 4194304 7136930 140736831977184 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310027 303911 398 719 0 309306 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1240108 [startup+1662.3 s] /proc/loadavg: 2.12 2.10 2.03 3/197 15370 /proc/meminfo: memFree=29746608/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240816 CPUtime=1662.33 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 308122 0 0 0 158919 7314 0 0 25 0 1 0 132418650 1270595584 304093 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310204 304093 398 719 0 309483 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1240816 [startup+1722.3 s] /proc/loadavg: 2.05 2.08 2.03 3/197 15372 /proc/meminfo: memFree=29727972/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240816 CPUtime=1722.33 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 308140 0 0 0 164781 7452 0 0 25 0 1 0 132418650 1270595584 304111 4089446400 4194304 7136930 140736831977184 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310204 304111 398 719 0 309483 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1240816 [startup+1782.3 s] /proc/loadavg: 2.01 2.06 2.02 3/197 15373 /proc/meminfo: memFree=29706716/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240816 CPUtime=1782.34 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 308151 0 0 0 170640 7594 0 0 25 0 1 0 132418650 1270595584 304122 4089446400 4194304 7136930 140736831977184 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310204 304122 398 719 0 309483 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1240816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.06 2.02 3/197 15374 /proc/meminfo: memFree=29700264/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240816 CPUtime=1800.04 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 308153 0 0 0 172377 7627 0 0 25 0 1 0 132418650 1270595584 304124 4089446400 4194304 7136930 140736831977184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15255/statm: 310204 304124 398 719 0 309483 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1240816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.01 2.06 2.02 3/198 15375 /proc/meminfo: memFree=29699760/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1240816 CPUtime=1800.64 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 308159 0 0 0 172437 7627 0 0 25 0 1 0 132418650 1270595584 304130 4089446400 4194304 7136930 140736831977184 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15255/statm: 310204 304130 403 719 0 309483 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 1240816 [startup+1801 s] /proc/loadavg: 2.01 2.06 2.02 3/198 15375 /proc/meminfo: memFree=29699760/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=1180796 CPUtime=1801.03 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 308159 0 0 0 172476 7627 0 0 25 0 1 0 132418650 1209135104 289126 4089446400 4194304 7136930 140736831977184 18446744073709551615 4616919 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15255/statm: 295199 289126 403 719 0 294478 0 Current children cumulated CPU time (s) 1801.03 Current children cumulated vsize (KiB) 1180796 [startup+1801.2 s] /proc/loadavg: 2.01 2.06 2.02 3/198 15375 /proc/meminfo: memFree=29699760/32951124 swapFree=67111528/67111528 [pid=15255] ppid=15253 vsize=436040 CPUtime=1801.24 /proc/15255/stat : 15255 (pbscip.linux.x8) R 15253 15255 13704 0 -1 4202496 308163 0 0 0 172494 7630 0 0 25 0 1 0 132418650 446504960 104737 4089446400 4194304 7136930 140736831977184 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15255/statm: 108498 104481 403 719 0 107777 0 Current children cumulated CPU time (s) 1801.24 Current children cumulated vsize (KiB) 436040 Child status: 0 Real time (s): 1801.22 CPU time (s): 1801.26 CPU user time (s): 1724.94 CPU system time (s): 76.3194 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1241132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.94 system time used= 76.3194 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 308170 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= 3333 runsolver used 3.56846 second user time and 6.15306 second system time The end
Begin job on node142 at 2010-06-30 17:20:40 IDJOB=2693572 IDBENCH=78985 IDSOLVER=1206 FILE ID=node142/2693572-1277911240 PBS_JOBID= 11197194 Free space on /tmp= 74176 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900667195--soft-66-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-2693572-1277911240/watcher-2693572-1277911240 -o /tmp/evaluation-result-2693572-1277911240/solver-2693572-1277911240 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693572-1277911240.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c3c12ca4f6a34dfd4eee1807e0cef251 RANDOM SEED=772919832 node142.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.827 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.65 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.827 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 : 5226.16 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.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31356060 kB Buffers: 191864 kB Cached: 1074068 kB SwapCached: 0 kB Active: 613576 kB Inactive: 837976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31356060 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 185732 kB Mapped: 17076 kB Slab: 79480 kB PageTables: 5112 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 337068 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= 74176 MiB End job on node142 at 2010-06-30 17:50:42