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.73 | 1801.69 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo |
| MD5SUM | d542ebd8fdf9cdf1064a589ed9ad7045 |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 341.652 |
| 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 | 930 |
| 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 | 46532 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46531 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 801 |
| 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-2694201-1277910666.wbo>
0.00/0.02 c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 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.03 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, 1142 impls, 14 clqs
0.00/0.07 c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.00/0.08 c (round 3) 57 del vars, 168 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.00/0.09 c (round 4) 115 del vars, 229 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.10 c (round 5) 132 del vars, 266 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.11 c (round 6) 155 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.12 c (round 7) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.16 c (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (8 rounds):
0.09/0.16 c 162 deleted vars, 273 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients
0.09/0.16 c 1142 implications, 14 cliques
0.09/0.16 c presolved problem has 1929 variables (1080 bin, 0 int, 0 impl, 849 cont) and 3365 constraints
0.09/0.16 c 849 constraints of type <indicator>
0.09/0.16 c 1 constraints of type <knapsack>
0.09/0.16 c 14 constraints of type <setppc>
0.09/0.16 c 849 constraints of type <linear>
0.09/0.16 c 1652 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 2 | 0 | - |7608k| 0 | - |1929 |3365 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.02 o 653
1.00/1.02 c * 0.9s| 3732 | 3266 | 0 | 0.0 |9964k|1040 | - |1929 |3877 | 0 | 0 | 0 | 662 | 0 | 0.000000e+00 | 6.530000e+02 | Inf
2.69/2.72 c 2.6s| 10000 | 8320 | 0 | 0.0 | 14M|1040 | - |1929 |4613 | 0 | 0 | 0 |3119 | 0 | 0.000000e+00 | 6.530000e+02 | Inf
6.19/6.20 c 6.0s| 20000 | 14882 | 0 | 0.0 | 22M|1040 | - |1929 |5759 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 6.530000e+02 | Inf
7.59/7.62 o 470
7.59/7.62 c * 7.3s| 22908 | 15977 | 0 | 0.0 | 24M|1040 | - |1929 |6460 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.700000e+02 | Inf
7.59/7.62 o 441
7.59/7.62 c * 7.3s| 22909 | 15944 | 0 | 0.0 | 24M|1040 | - |1929 |6460 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.410000e+02 | Inf
7.79/7.85 o 412
7.79/7.85 c * 7.5s| 23760 | 16719 | 0 | 0.0 | 24M|1040 | - |1929 |6107 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.120000e+02 | Inf
7.79/7.85 o 346
7.79/7.85 c * 7.5s| 23761 | 16710 | 0 | 0.0 | 24M|1040 | - |1929 |6107 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.460000e+02 | Inf
7.79/7.89 o 242
7.79/7.89 c * 7.6s| 23923 | 16854 | 0 | 0.0 | 24M|1040 | - |1929 |6050 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
7.79/7.89 o 200
7.79/7.89 c * 7.6s| 23924 | 16827 | 0 | 0.0 | 25M|1040 | - |1929 |6050 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
9.59/9.60 c 9.2s| 30000 | 22171 | 0 | 0.0 | 28M|1040 | - |1929 |4761 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
12.59/12.64 c 12.2s| 40000 | 29785 | 0 | 0.0 | 35M|1040 | - |1929 |6340 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
16.19/16.22 c 15.6s| 50000 | 36702 | 0 | 0.0 | 43M|1040 | - |1929 |7269 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
20.40/20.43 c 19.7s| 60000 | 42667 | 0 | 0.0 | 50M|1040 | - |1929 |7989 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
24.89/24.94 c 24.1s| 70000 | 48354 | 0 | 0.0 | 57M|1040 | - |1929 |9167 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
30.40/30.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.40/30.44 c 29.5s| 80000 | 51014 | 0 | 0.0 | 64M|1040 | - |1929 |9421 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
33.89/33.95 o 144
33.89/33.95 c *32.9s| 85170 | 47861 | 0 | 0.0 | 61M|1040 | - |1929 | 10k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
34.59/34.65 o 129
34.59/34.65 c *33.6s| 87280 | 49714 | 0 | 0.0 | 62M|1040 | - |1929 |8385 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
35.49/35.57 c 34.5s| 90000 | 52139 | 0 | 0.0 | 64M|1040 | - |1929 |6587 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
35.59/35.64 o 82
35.59/35.64 c *34.6s| 90186 | 51032 | 0 | 0.0 | 63M|1040 | - |1929 |6516 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
38.79/38.89 o 76
38.79/38.89 c *37.7s| 99448 | 58879 | 0 | 0.0 | 72M|1040 | - |1929 |4399 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
38.79/38.90 o 67
38.79/38.90 c *37.7s| 99449 | 58292 | 0 | 0.0 | 70M|1040 | - |1929 |4399 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
39.09/39.10 c 37.9s|100000 | 58756 | 0 | 0.0 | 70M|1040 | - |1929 |4267 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
42.69/42.74 c 41.4s|110000 | 66795 | 0 | 0.0 | 79M|1040 | - |1929 |4455 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
46.29/46.37 o 62
46.29/46.37 c *44.9s|118679 | 72408 | 0 | 0.0 | 87M|1040 | - |1929 |5337 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
46.29/46.37 o 61
46.29/46.37 c *44.9s|118680 | 72372 | 0 | 0.0 | 87M|1040 | - |1929 |5337 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
46.40/46.45 o 59
46.40/46.45 c *45.0s|118776 | 72373 | 0 | 0.0 | 87M|1040 | - |1929 |5133 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
46.59/46.66 o 28
46.59/46.66 c *45.2s|119054 | 70855 | 0 | 0.0 | 82M|1040 | - |1929 |4863 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
47.30/47.36 c 45.9s|120000 | 71045 | 0 | 0.0 | 84M|1040 | - |1929 |5314 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
51.19/51.30 c 49.7s|130000 | 77659 | 0 | 0.0 | 91M|1040 | - |1929 |6398 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
55.39/55.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.39/55.45 c 53.7s|140000 | 83728 | 0 | 0.0 | 97M|1040 | - |1929 |7338 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
58.89/58.97 c 57.1s|150000 | 90903 | 0 | 0.0 | 103M|1040 | - |1929 |6525 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
62.89/62.91 c 61.0s|160000 | 97577 | 0 | 0.0 | 109M|1040 | - |1929 |4905 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
67.39/67.44 c 65.3s|170000 |103121 | 0 | 0.0 | 117M|1040 | - |1929 |7012 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
72.60/72.65 c 70.4s|180000 |107989 | 0 | 0.0 | 124M|1040 | - |1929 |7666 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
78.00/78.00 c 75.7s|190000 |112597 | 0 | 0.0 | 130M|1040 | - |1929 |8125 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
83.89/83.90 c 81.4s|200000 |116472 | 0 | 0.0 | 136M|1040 | - |1929 |8671 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
89.99/90.05 c 87.5s|210000 |120083 | 0 | 0.0 | 143M|1040 | - |1929 |9204 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
96.80/96.81 c 94.1s|220000 |122749 | 0 | 0.0 | 149M|1040 | - |1929 | 10k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
103.99/104.05 c 101s|230000 |124782 | 0 | 0.0 | 155M|1040 | - |1929 | 10k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
112.30/112.34 c 109s|240000 |125274 | 0 | 0.0 | 160M|1040 | - |1929 | 11k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
121.30/121.38 c 118s|250000 |124894 | 0 | 0.0 | 165M|1040 | - |1929 | 12k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
130.79/130.88 c 128s|260000 |124715 | 0 | 0.0 | 168M|1040 | - |1929 | 13k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
142.69/142.77 c 139s|270000 |122078 | 0 | 0.0 | 168M|1040 | - |1929 | 16k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
147.10/147.10 c 143s|280000 |129644 | 0 | 0.0 | 174M|1040 | - |1929 |6458 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
150.70/150.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.70/150.73 c 147s|290000 |137399 | 0 | 0.0 | 181M|1040 | - |1929 |6522 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
154.40/154.41 c 151s|300000 |145133 | 0 | 0.0 | 187M|1040 | - |1929 |6642 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
155.69/155.73 o 27
155.69/155.73 c * 152s|303584 |147825 | 0 | 0.0 | 189M|1040 | - |1929 |6770 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
158.09/158.12 c 154s|310000 |152780 | 0 | 0.0 | 194M|1040 | - |1929 |6841 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
161.79/161.87 c 158s|320000 |160417 | 0 | 0.0 | 201M|1040 | - |1929 |7344 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
165.70/165.76 c 162s|330000 |167956 | 0 | 0.0 | 207M|1040 | - |1929 |7760 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
168.89/168.91 o 24
168.89/168.91 c * 165s|338043 |173861 | 0 | 0.0 | 212M|1040 | - |1929 |7837 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
169.60/169.69 c 165s|340000 |175327 | 0 | 0.0 | 213M|1040 | - |1929 |7840 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
174.09/174.11 c 170s|350000 |182284 | 0 | 0.0 | 221M|1040 | - |1929 |8636 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
176.79/176.89 o 22
176.79/176.89 c * 172s|356614 |186960 | 0 | 0.0 | 226M|1040 | - |1929 |9060 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
178.30/178.37 c 174s|360000 |189370 | 0 | 0.0 | 228M|1040 | - |1929 |8928 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
182.90/182.96 c 178s|370000 |196155 | 0 | 0.0 | 236M|1040 | - |1929 |9548 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
188.30/188.31 c 183s|380000 |202061 | 0 | 0.0 | 244M|1040 | - |1929 |9818 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
193.79/193.80 c 189s|390000 |207889 | 0 | 0.0 | 252M|1040 | - |1929 | 11k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
194.71/194.76 o 21
194.71/194.76 c * 190s|391565 |208635 | 0 | 0.0 | 253M|1040 | - |1929 | 11k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
199.70/199.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.70/199.79 c 195s|400000 |213344 | 0 | 0.0 | 259M|1040 | - |1929 | 11k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
205.89/205.94 c 201s|410000 |218592 | 0 | 0.0 | 267M|1040 | - |1929 | 11k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
212.50/212.53 c 207s|420000 |223649 | 0 | 0.0 | 275M|1040 | - |1929 | 11k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
219.60/219.69 c 214s|430000 |227991 | 0 | 0.0 | 283M|1040 | - |1929 | 13k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
221.30/221.38 o 20
221.30/221.38 c * 216s|432356 |228975 | 0 | 0.0 | 285M|1040 | - |1929 | 14k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
228.10/228.15 c 222s|440000 |231532 | 0 | 0.0 | 292M|1040 | - |1929 | 16k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
238.19/238.22 c 232s|450000 |234086 | 0 | 0.0 | 300M|1040 | - |1929 | 21k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
238.70/238.76 o 16
238.70/238.76 c * 233s|450450 |232875 | 0 | 0.0 | 296M|1040 | - |1929 | 21k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
247.51/247.59 c 241s|460000 |236394 | 0 | 0.0 | 302M|1040 | - |1929 | 19k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
253.60/253.62 c 247s|470000 |243026 | 0 | 0.0 | 312M|1040 | - |1929 | 17k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
260.50/260.50 c 254s|480000 |248719 | 0 | 0.0 | 323M|1040 | - |1929 | 19k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
268.80/268.84 c 262s|490000 |253331 | 0 | 0.0 | 335M|1040 | - |1929 | 23k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
280.40/280.42 c 274s|500000 |255890 | 0 | 0.0 | 346M|1040 | - |1929 | 27k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
282.40/282.46 o 10
282.40/282.46 c * 276s|501292 |254110 | 0 | 0.0 | 342M|1040 | - |1929 | 28k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
287.90/287.95 c 281s|510000 |259471 | 0 | 0.0 | 344M|1040 | - |1929 | 15k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
294.00/294.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.00/294.08 c 287s|520000 |264690 | 0 | 0.0 | 351M|1040 | - |1929 | 16k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
302.00/302.00 c 295s|530000 |268015 | 0 | 0.0 | 357M|1040 | - |1929 | 18k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
309.40/309.42 c 302s|540000 |272348 | 0 | 0.0 | 362M|1040 | - |1929 | 15k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
315.29/315.33 c 308s|550000 |277811 | 0 | 0.0 | 369M|1040 | - |1929 | 16k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
321.80/321.87 c 314s|560000 |282587 | 0 | 0.0 | 375M|1040 | - |1929 | 16k| 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
328.70/328.78 c 321s|570000 |286958 | 0 | 0.0 | 381M|1040 | - |1929 | 16k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
336.29/336.40 c 329s|580000 |290609 | 0 | 0.0 | 387M|1040 | - |1929 | 17k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
345.50/345.51 c 337s|590000 |292648 | 0 | 0.0 | 390M|1040 | - |1929 | 17k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
349.00/349.07 c 341s|600000 |300312 | 0 | 0.0 | 393M|1040 | - |1929 |4246 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
353.20/353.28 c 345s|610000 |306358 | 0 | 0.0 | 399M|1040 | - |1929 |3917 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
356.90/356.90 c 348s|620000 |313158 | 0 | 0.0 | 406M|1040 | - |1929 |3938 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
360.60/360.65 c 352s|630000 |319941 | 0 | 0.0 | 412M|1040 | - |1929 |3566 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
367.50/367.51 c 359s|640000 |321916 | 0 | 0.0 | 419M|1040 | - |1929 |7670 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
376.50/376.59 c 368s|650000 |322468 | 0 | 0.0 | 424M|1040 | - |1929 | 10k| 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
386.30/386.31 c 377s|660000 |322953 | 0 | 0.0 | 429M|1040 | - |1929 | 11k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
397.00/397.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.00/397.05 c 388s|670000 |322959 | 0 | 0.0 | 433M|1040 | - |1929 | 13k| 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
408.10/408.15 c 399s|680000 |323105 | 0 | 0.0 | 438M|1040 | - |1929 | 14k| 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
420.90/420.96 c 411s|690000 |322351 | 0 | 0.0 | 442M|1040 | - |1929 | 16k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
433.80/433.83 c 424s|700000 |321859 | 0 | 0.0 | 445M|1040 | - |1929 | 16k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
447.51/447.58 c 438s|710000 |320507 | 0 | 0.0 | 446M|1040 | - |1929 | 15k| 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
461.70/461.71 c 452s|720000 |318384 | 0 | 0.0 | 446M|1040 | - |1929 | 16k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
477.20/477.27 c 467s|730000 |314784 | 0 | 0.0 | 442M|1040 | - |1929 | 16k| 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
495.30/495.32 c 485s|740000 |309468 | 0 | 0.0 | 434M|1040 | - |1929 | 17k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
505.81/505.81 c 495s|750000 |310702 | 0 | 0.0 | 429M|1040 | - |1929 |8608 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
510.50/510.52 c 500s|760000 |316930 | 0 | 0.0 | 435M|1040 | - |1929 |7232 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
515.30/515.33 c 504s|770000 |322986 | 0 | 0.0 | 440M|1040 | - |1929 |6109 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
519.90/519.98 c 509s|780000 |328905 | 0 | 0.0 | 447M|1040 | - |1929 |6605 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
524.81/524.80 c 514s|790000 |334621 | 0 | 0.0 | 453M|1040 | - |1929 |6918 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
529.91/529.96 c 519s|800000 |339801 | 0 | 0.0 | 460M|1040 | - |1929 |7531 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
535.20/535.26 c 524s|810000 |344897 | 0 | 0.0 | 466M|1040 | - |1929 |7896 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
540.50/540.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.50/540.53 c 529s|820000 |350092 | 0 | 0.0 | 473M|1040 | - |1929 |7635 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
545.90/545.95 c 534s|830000 |355052 | 0 | 0.0 | 479M|1040 | - |1929 |7509 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
551.51/551.59 c 540s|840000 |359698 | 0 | 0.0 | 485M|1040 | - |1929 |7390 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
557.11/557.17 c 545s|850000 |364394 | 0 | 0.0 | 492M|1040 | - |1929 |7977 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
562.90/562.95 c 551s|860000 |368838 | 0 | 0.0 | 498M|1040 | - |1929 |8208 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
568.80/568.86 c 557s|870000 |373077 | 0 | 0.0 | 504M|1040 | - |1929 |7824 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
574.40/574.47 c 562s|880000 |377706 | 0 | 0.0 | 510M|1040 | - |1929 |8357 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
580.60/580.64 c 568s|890000 |381688 | 0 | 0.0 | 516M|1040 | - |1929 |8430 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
586.40/586.43 c 574s|900000 |386270 | 0 | 0.0 | 522M|1040 | - |1929 |8075 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
592.61/592.66 c 580s|910000 |390134 | 0 | 0.0 | 528M|1040 | - |1929 |8398 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
598.61/598.65 c 586s|920000 |394555 | 0 | 0.0 | 534M|1040 | - |1929 |7921 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
605.30/605.30 c 592s|930000 |397897 | 0 | 0.0 | 540M|1040 | - |1929 |8927 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
611.51/611.52 c 598s|940000 |401923 | 0 | 0.0 | 546M|1040 | - |1929 |8332 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
618.01/618.10 c 605s|950000 |405524 | 0 | 0.0 | 553M|1040 | - |1929 |9420 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
624.31/624.35 c 611s|960000 |409762 | 0 | 0.0 | 559M|1040 | - |1929 |8567 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
631.21/631.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.21/631.26 c 618s|970000 |412946 | 0 | 0.0 | 564M|1040 | - |1929 |9739 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
637.61/637.69 c 624s|980000 |417037 | 0 | 0.0 | 571M|1040 | - |1929 |9700 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
645.00/645.09 c 631s|990000 |419728 | 0 | 0.0 | 576M|1040 | - |1929 |9900 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
651.41/651.47 c 637s| 1000k|423815 | 0 | 0.0 | 583M|1040 | - |1929 | 10k| 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
659.21/659.26 c 645s| 1010k|426252 | 0 | 0.0 | 588M|1040 | - |1929 | 10k| 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
665.81/665.87 c 651s| 1020k|430136 | 0 | 0.0 | 595M|1040 | - |1929 | 10k| 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
673.30/673.30 c 659s| 1030k|433153 | 0 | 0.0 | 600M|1040 | - |1929 | 10k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
680.51/680.59 c 666s| 1040k|436360 | 0 | 0.0 | 606M|1040 | - |1929 | 11k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
687.70/687.74 c 673s| 1050k|439923 | 0 | 0.0 | 611M|1040 | - |1929 | 10k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
695.80/695.88 c 681s| 1060k|442251 | 0 | 0.0 | 617M|1040 | - |1929 | 11k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
703.30/703.32 c 688s| 1070k|445681 | 0 | 0.0 | 622M|1040 | - |1929 | 11k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
711.91/711.95 c 697s| 1080k|447626 | 0 | 0.0 | 627M|1040 | - |1929 | 11k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
719.31/719.33 c 704s| 1090k|451196 | 0 | 0.0 | 633M|1040 | - |1929 | 12k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
728.21/728.27 c 713s| 1100k|453074 | 0 | 0.0 | 636M|1040 | - |1929 | 12k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
735.71/735.79 c 720s| 1110k|456662 | 0 | 0.0 | 642M|1040 | - |1929 | 12k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
744.81/744.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.81/744.85 c 729s| 1120k|458566 | 0 | 0.0 | 646M|1040 | - |1929 | 13k| 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
752.71/752.74 c 737s| 1130k|461941 | 0 | 0.0 | 651M|1040 | - |1929 | 13k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
762.11/762.13 c 746s| 1140k|463735 | 0 | 0.0 | 655M|1040 | - |1929 | 14k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
771.91/771.94 c 756s| 1150k|465572 | 0 | 0.0 | 659M|1040 | - |1929 | 14k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
780.81/780.89 c 764s| 1160k|468384 | 0 | 0.0 | 664M|1040 | - |1929 | 15k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
791.31/791.34 c 775s| 1170k|469887 | 0 | 0.0 | 668M|1040 | - |1929 | 16k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
802.01/802.04 c 785s| 1180k|471451 | 0 | 0.0 | 672M|1040 | - |1929 | 17k| 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
813.01/813.09 c 796s| 1190k|473079 | 0 | 0.0 | 676M|1040 | - |1929 | 18k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
824.21/824.29 c 807s| 1200k|474907 | 0 | 0.0 | 681M|1040 | - |1929 | 20k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
838.41/838.43 c 821s| 1210k|474827 | 0 | 0.0 | 684M|1040 | - |1929 | 22k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
853.21/853.27 c 836s| 1220k|474587 | 0 | 0.0 | 687M|1040 | - |1929 | 25k| 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
872.11/872.17 c 854s| 1230k|471201 | 0 | 0.0 | 688M|1040 | - |1929 | 31k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
890.21/890.28 c 872s| 1240k|469478 | 0 | 0.0 | 680M|1040 | - |1929 | 19k| 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
898.31/898.34 c 880s| 1250k|474260 | 0 | 0.0 | 685M|1040 | - |1929 | 15k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
906.61/906.61 c 888s| 1260k|478109 | 0 | 0.0 | 691M|1040 | - |1929 | 14k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
915.12/915.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.12/915.19 c 897s| 1270k|481470 | 0 | 0.0 | 697M|1040 | - |1929 | 15k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
924.31/924.36 c 906s| 1280k|484353 | 0 | 0.0 | 703M|1040 | - |1929 | 16k| 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
934.02/934.08 c 915s| 1290k|486857 | 0 | 0.0 | 708M|1040 | - |1929 | 18k| 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
944.62/944.61 c 926s| 1300k|488987 | 0 | 0.0 | 713M|1040 | - |1929 | 19k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
956.01/956.05 c 937s| 1310k|490630 | 0 | 0.0 | 717M|1040 | - |1929 | 20k| 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
968.81/968.86 c 950s| 1320k|491433 | 0 | 0.0 | 720M|1040 | - |1929 | 23k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
984.11/984.16 c 965s| 1330k|490813 | 0 | 0.0 | 722M|1040 | - |1929 | 26k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
999.82/999.89 c 980s| 1340k|491570 | 0 | 0.0 | 722M|1040 | - |1929 | 25k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1011.72/1011.76 c 992s| 1350k|495341 | 0 | 0.0 | 727M|1040 | - |1929 | 22k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1023.41/1023.48 c 1004s| 1360k|498368 | 0 | 0.0 | 732M|1040 | - |1929 | 22k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1037.11/1037.17 c 1017s| 1370k|499917 | 0 | 0.0 | 737M|1040 | - |1929 | 24k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1053.12/1053.17 c 1033s| 1380k|500323 | 0 | 0.0 | 742M|1040 | - |1929 | 27k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1072.92/1072.91 c 1052s| 1390k|499026 | 0 | 0.0 | 744M|1040 | - |1929 | 32k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1092.32/1092.33 c 1072s| 1400k|500198 | 0 | 0.0 | 747M|1040 | - |1929 | 28k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1108.42/1108.42 c 1088s| 1410k|502174 | 0 | 0.0 | 752M|1040 | - |1929 | 25k| 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1124.02/1124.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.02/1124.01 c 1103s| 1420k|503446 | 0 | 0.0 | 756M|1040 | - |1929 | 25k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1140.01/1140.08 c 1119s| 1430k|504444 | 0 | 0.0 | 761M|1040 | - |1929 | 26k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1157.42/1157.42 c 1136s| 1440k|505094 | 0 | 0.0 | 765M|1040 | - |1929 | 27k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1175.72/1175.78 c 1154s| 1450k|505159 | 0 | 0.0 | 768M|1040 | - |1929 | 27k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1194.42/1194.42 c 1173s| 1460k|505186 | 0 | 0.0 | 772M|1040 | - |1929 | 28k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1213.72/1213.76 c 1192s| 1470k|504447 | 0 | 0.0 | 773M|1040 | - |1929 | 29k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1234.93/1234.91 c 1213s| 1480k|502291 | 0 | 0.0 | 771M|1040 | - |1929 | 31k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1243.22/1243.24 c 1221s| 1490k|509470 | 0 | 0.0 | 773M|1040 | - |1929 | 13k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1248.53/1248.54 c 1226s| 1500k|516128 | 0 | 0.0 | 778M|1040 | - |1929 | 11k| 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1254.33/1254.30 c 1232s| 1510k|521976 | 0 | 0.0 | 784M|1040 | - |1929 | 10k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1261.43/1261.43 c 1239s| 1520k|526356 | 0 | 0.0 | 791M|1040 | - |1929 | 10k| 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1268.52/1268.53 c 1246s| 1530k|530611 | 0 | 0.0 | 797M|1040 | - |1929 | 10k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1275.73/1275.72 c 1253s| 1540k|534715 | 0 | 0.0 | 803M|1040 | - |1929 | 10k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1283.12/1283.17 c 1260s| 1550k|538669 | 0 | 0.0 | 809M|1040 | - |1929 | 11k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1291.93/1291.99 c 1269s| 1560k|541296 | 0 | 0.0 | 815M|1040 | - |1929 | 14k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1298.93/1298.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.93/1298.95 c 1276s| 1570k|546659 | 0 | 0.0 | 819M|1040 | - |1929 | 11k| 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1304.42/1304.41 c 1281s| 1580k|552725 | 0 | 0.0 | 825M|1040 | - |1929 | 10k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1311.43/1311.45 c 1288s| 1590k|556914 | 0 | 0.0 | 832M|1040 | - |1929 | 12k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1320.62/1320.66 c 1297s| 1600k|559816 | 0 | 0.0 | 837M|1040 | - |1929 | 13k| 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1325.93/1325.98 c 1302s| 1610k|566150 | 0 | 0.0 | 843M|1040 | - |1929 |9558 | 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1332.13/1332.12 c 1308s| 1620k|571161 | 0 | 0.0 | 849M|1040 | - |1929 | 10k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1340.32/1340.37 c 1316s| 1630k|574095 | 0 | 0.0 | 856M|1040 | - |1929 | 13k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1346.52/1346.55 c 1322s| 1640k|579390 | 0 | 0.0 | 860M|1040 | - |1929 |9058 | 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1351.12/1351.11 c 1327s| 1650k|585959 | 0 | 0.0 | 866M|1040 | - |1929 |7404 | 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1355.03/1355.08 c 1331s| 1660k|593059 | 0 | 0.0 | 872M|1040 | - |1929 |7332 | 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1359.92/1359.91 c 1335s| 1670k|599166 | 0 | 0.0 | 878M|1040 | - |1929 |8117 | 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1364.13/1364.14 c 1339s| 1680k|606037 | 0 | 0.0 | 885M|1040 | - |1929 |8080 | 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1368.92/1368.92 c 1344s| 1690k|612184 | 0 | 0.0 | 891M|1040 | - |1929 |8430 | 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1372.83/1372.87 c 1348s| 1700k|619399 | 0 | 0.0 | 897M|1040 | - |1929 |5917 | 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1384.43/1384.46 c 1359s| 1710k|616880 | 0 | 0.0 | 893M|1040 | - |1929 | 14k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1407.63/1407.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.63/1407.61 c 1382s| 1720k|609310 | 0 | 0.0 | 878M|1040 | - |1929 | 24k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1424.12/1424.18 c 1399s| 1730k|609253 | 0 | 0.0 | 869M|1040 | - |1929 | 20k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1435.03/1435.02 c 1409s| 1740k|612568 | 0 | 0.0 | 873M|1040 | - |1929 | 18k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1446.13/1446.12 c 1420s| 1750k|615610 | 0 | 0.0 | 878M|1040 | - |1929 | 17k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1458.13/1458.11 c 1432s| 1760k|617745 | 0 | 0.0 | 883M|1040 | - |1929 | 17k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1470.64/1470.64 c 1445s| 1770k|619465 | 0 | 0.0 | 887M|1040 | - |1929 | 16k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1482.33/1482.37 c 1456s| 1780k|621732 | 0 | 0.0 | 891M|1040 | - |1929 | 17k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1494.53/1494.60 c 1468s| 1790k|623825 | 0 | 0.0 | 896M|1040 | - |1929 | 17k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1507.93/1507.91 c 1481s| 1800k|625182 | 0 | 0.0 | 899M|1040 | - |1929 | 18k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1521.34/1521.32 c 1495s| 1810k|626680 | 0 | 0.0 | 903M|1040 | - |1929 | 19k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1533.44/1533.41 c 1507s| 1820k|629356 | 0 | 0.0 | 908M|1040 | - |1929 | 19k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1548.03/1548.04 c 1521s| 1830k|630450 | 0 | 0.0 | 910M|1040 | - |1929 | 19k| 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1562.82/1562.81 c 1536s| 1840k|631355 | 0 | 0.0 | 912M|1040 | - |1929 | 20k| 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1576.93/1576.97 c 1550s| 1850k|633037 | 0 | 0.0 | 916M|1040 | - |1929 | 20k| 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1593.13/1593.10 c 1566s| 1860k|633242 | 0 | 0.0 | 918M|1040 | - |1929 | 20k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1607.53/1607.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.53/1607.59 c 1580s| 1870k|634842 | 0 | 0.0 | 922M|1040 | - |1929 | 20k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1624.53/1624.56 c 1597s| 1880k|634620 | 0 | 0.0 | 921M|1040 | - |1929 | 20k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1638.63/1638.67 c 1611s| 1890k|636533 | 0 | 0.0 | 926M|1040 | - |1929 | 21k| 0 | 0 | 0 |1783k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
1656.54/1656.56 c 1628s| 1900k|635967 | 0 | 0.0 | 928M|1040 | - |1929 | 22k| 0 | 0 | 0 |1796k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
1671.63/1671.66 c 1643s| 1910k|637477 | 0 | 0.0 | 935M|1040 | - |1929 | 21k| 0 | 0 | 0 |1808k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
1689.14/1689.10 c 1661s| 1920k|637056 | 0 | 0.0 | 937M|1040 | - |1929 | 23k| 0 | 0 | 0 |1821k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
1705.53/1705.59 c 1677s| 1930k|638021 | 0 | 0.0 | 943M|1040 | - |1929 | 22k| 0 | 0 | 0 |1833k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
1722.83/1722.85 c 1694s| 1940k|637978 | 0 | 0.0 | 946M|1040 | - |1929 | 24k| 0 | 0 | 0 |1846k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
1741.83/1741.84 c 1713s| 1950k|637722 | 0 | 0.0 | 951M|1040 | - |1929 | 23k| 0 | 0 | 0 |1859k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
1757.74/1757.76 c 1729s| 1960k|638977 | 0 | 0.0 | 958M|1040 | - |1929 | 24k| 0 | 0 | 0 |1871k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
1778.94/1778.92 c 1750s| 1970k|637385 | 0 | 0.0 | 959M|1040 | - |1929 | 25k| 0 | 0 | 0 |1886k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
1796.34/1796.37 c 1767s| 1980k|638273 | 0 | 0.0 | 965M|1040 | - |1929 | 24k| 0 | 0 | 0 |1898k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
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) : 1770.46
1800.04/1800.00 c Solving Nodes : 1982281
1800.04/1800.00 c Primal Bound : +1.00000000000000e+01 (23 solutions)
1800.04/1800.00 c Dual Bound : +1.00000000000000e+00
1800.04/1800.00 c Gap : 900.00 %
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
1800.04/1800.01 v -x125 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 : 1770.46
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2694201-1277910666.wbo
1800.04/1800.01 c Variables : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous)
1800.04/1800.01 c Constraints : 3638 initial, 3638 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2694201-1277910666.wbo
1800.04/1800.01 c Variables : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous)
1800.04/1800.01 c Constraints : 3365 initial, 36978 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 81 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 81 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.03 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 81 0 0
1800.04/1800.01 c knapsack : 0.00 0 0 0 0 0 0 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.06 0 0 0 954 0 192 139 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 : - 772 - - 1544 - - - -
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 : 849 0 5484854 0 1255153 429 1213750 0 0 0
1800.04/1800.01 c knapsack : 1 0 7067670 0 1489190 190659 25388233 0 0 0
1800.04/1800.01 c setppc : 14 0 6894498 0 1489045 96803 5341777 0 0 0
1800.04/1800.01 c linear : 849 0 6798517 0 1489302 140136 10289719 0 0 0
1800.04/1800.01 c logicor : 1652+ 0 5078530 0 1489323 322922 14918920 0 0 0
1800.04/1800.01 c bounddisjunction : 0+ 0 90863 0 0 0 23 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 1489317 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 : 11.60 0.00 6.31 0.00 5.29
1800.04/1800.01 c knapsack : 83.36 0.00 80.57 0.00 2.79
1800.04/1800.01 c setppc : 28.12 0.00 25.30 0.00 2.82
1800.04/1800.01 c linear : 124.82 0.00 123.55 0.00 1.27
1800.04/1800.01 c logicor : 626.47 0.00 555.45 0.00 71.02
1800.04/1800.01 c bounddisjunction : 0.38 0.00 0.38 0.00 0.00
1800.04/1800.01 c countsols : 0.25 0.00 0.00 0.00 0.25
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 1.80 2 0 0
1800.04/1800.01 c rootredcost : 1.79 0 0 0
1800.04/1800.01 c pseudoobj : 125.28 7089219 2907 1179998
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 21.88 753427 753157 3311240 17.4 81549 9.6 -
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 80 80 333 17.7 64 9.2 -
1800.04/1800.01 c applied globally : - - - 1900741 15.5 - - -
1800.04/1800.01 c applied locally : - - - 6 129.0 - - -
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 : 25.32 1489294 0 0 0 0 2978588
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 : 0.05 - 23
1800.04/1800.01 c oneopt : 0.76 0 0
1800.04/1800.01 c trivial : 0.01 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.58 0 0
1800.04/1800.01 c trysol : 0.50 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 : 1982281
1800.04/1800.01 c nodes (total) : 1982281
1800.04/1800.01 c nodes left : 638615
1800.04/1800.01 c max depth : 1040
1800.04/1800.01 c max depth (total): 1040
1800.04/1800.01 c backtracks : 495828 (25.0%)
1800.04/1800.01 c delayed cutoffs : 349496
1800.04/1800.01 c repropagations : 1812029 (16870234 domain reductions, 260972 cutoffs)
1800.04/1800.01 c avg switch length: 28.43
1800.04/1800.01 c switching time : 550.20
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 23 (23 improvements)
1800.04/1800.01 c First Solution : +6.53000000000000e+02 (in run 1, after 3732 nodes, 0.94 seconds, depth 576, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +1.00000000000000e+01 (in run 1, after 501292 nodes, 275.75 seconds, depth 555, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +1.00000000000000e+00
1800.04/1800.01 c Gap : 900.00 %
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
1801.63/1801.68 c Time complete: 1801.72.
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694201-1277910666/watcher-2694201-1277910666 -o /tmp/evaluation-result-2694201-1277910666/solver-2694201-1277910666 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694201-1277910666.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.00 2.00 2.00 4/178 12055 /proc/meminfo: memFree=29326028/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=8304 CPUtime=0 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 1554 0 0 0 0 0 0 0 25 0 1 0 132363891 8503296 1477 4089446400 4194304 7136930 140734639508304 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12055/statm: 2076 1477 275 719 0 1355 0 [startup+0.0934189 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12055 /proc/meminfo: memFree=29326028/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=21304 CPUtime=0.08 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 6536 0 0 0 7 1 0 0 25 0 1 0 132363891 21815296 4563 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12055/statm: 5326 4563 354 719 0 4605 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 21304 [startup+0.100418 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12055 /proc/meminfo: memFree=29326028/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=21304 CPUtime=0.09 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 6793 0 0 0 8 1 0 0 25 0 1 0 132363891 21815296 4563 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12055/statm: 5326 4563 354 719 0 4605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21304 [startup+0.300385 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12055 /proc/meminfo: memFree=29326028/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=24300 CPUtime=0.29 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 10643 0 0 0 26 3 0 0 25 0 1 0 132363891 24883200 5329 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12055/statm: 6075 5329 399 719 0 5354 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24300 [startup+0.700317 s] /proc/loadavg: 2.00 2.00 2.00 4/178 12055 /proc/meminfo: memFree=29326028/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=26140 CPUtime=0.69 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 11130 0 0 0 65 4 0 0 25 0 1 0 132363891 26767360 5816 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12055/statm: 6535 5816 404 719 0 5814 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26140 [startup+1.50017 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12056 /proc/meminfo: memFree=29300852/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=28180 CPUtime=1.49 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 11632 0 0 0 141 8 0 0 25 0 1 0 132363891 28856320 6318 4089446400 4194304 7136930 140734639508304 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12055/statm: 7045 6318 404 719 0 6324 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28180 [startup+3.10089 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12056 /proc/meminfo: memFree=29295644/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=33660 CPUtime=3.09 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 13016 0 0 0 297 12 0 0 25 0 1 0 132363891 34467840 7702 4089446400 4194304 7136930 140734639508304 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 8415 7702 404 719 0 7694 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33660 [startup+6.30033 s] /proc/loadavg: 2.00 2.00 2.00 3/180 12057 /proc/meminfo: memFree=29284676/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=43236 CPUtime=6.29 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 15427 0 0 0 607 22 0 0 25 0 1 0 132363891 44273664 10113 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 10809 10113 404 719 0 10088 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43236 [startup+12.7002 s] /proc/loadavg: 1.92 1.98 1.99 2/198 12113 /proc/meminfo: memFree=31190404/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=61592 CPUtime=12.69 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 20070 0 0 0 1223 46 0 0 25 0 1 0 132363891 63070208 14756 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 15398 14756 405 719 0 14677 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61592 [startup+25.5009 s] /proc/loadavg: 2.09 2.02 2.01 4/200 12119 /proc/meminfo: memFree=31098260/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=87432 CPUtime=25.49 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 26553 0 0 0 2468 81 0 0 25 0 1 0 132363891 89530368 21239 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 21858 21239 405 719 0 21137 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 87432 [startup+51.1004 s] /proc/loadavg: 2.32 2.08 2.02 4/200 12124 /proc/meminfo: memFree=31038476/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=143268 CPUtime=51.09 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 39438 0 0 0 4951 158 0 0 25 0 1 0 132363891 146706432 34124 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 35817 34124 407 719 0 35096 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 143268 [startup+102.306 s] /proc/loadavg: 2.65 2.21 2.07 3/200 12125 /proc/meminfo: memFree=30953116/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=213840 CPUtime=102.29 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 57113 0 0 0 9950 279 0 0 25 0 1 0 132363891 218972160 51799 4089446400 4194304 7136930 140734639508304 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 53460 51799 407 719 0 52739 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 213840 [startup+162.301 s] /proc/loadavg: 2.76 2.32 2.12 4/200 12127 /proc/meminfo: memFree=30887332/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=269684 CPUtime=162.29 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 71033 0 0 0 15818 411 0 0 25 0 1 0 132363891 276156416 65719 4089446400 4194304 7136930 140734639508304 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 67421 65719 407 719 0 66700 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 269684 [startup+222.301 s] /proc/loadavg: 2.92 2.44 2.17 4/200 12129 /proc/meminfo: memFree=30781004/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=372204 CPUtime=222.3 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 95434 0 0 0 21665 565 0 0 25 0 1 0 132363891 381136896 90120 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 93051 90120 407 719 0 92330 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 372204 [startup+282.3 s] /proc/loadavg: 2.38 2.38 2.16 3/197 12177 /proc/meminfo: memFree=30715264/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=449836 CPUtime=282.3 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 114394 0 0 0 27561 669 0 0 25 0 1 0 132363891 460632064 109080 4089446400 4194304 7136930 140734639508304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 112459 109080 407 719 0 111738 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 449836 [startup+342.301 s] /proc/loadavg: 2.14 2.30 2.15 3/197 12178 /proc/meminfo: memFree=30635216/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=493548 CPUtime=342.3 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 125501 0 0 0 33432 798 0 0 25 0 1 0 132363891 505393152 120187 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 123387 120187 407 719 0 122666 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 493548 [startup+402.3 s] /proc/loadavg: 2.05 2.25 2.14 3/197 12179 /proc/meminfo: memFree=30562492/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=545380 CPUtime=402.3 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 138518 0 0 0 39307 923 0 0 25 0 1 0 132363891 558469120 133204 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 136345 133204 407 719 0 135624 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 545380 [startup+462.301 s] /proc/loadavg: 2.50 2.30 2.16 3/197 12181 /proc/meminfo: memFree=30524988/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=553868 CPUtime=462.31 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 140700 0 0 0 45231 1000 0 0 25 0 1 0 132363891 567160832 135386 4089446400 4194304 7136930 140734639508304 18446744073709551615 4209993 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 138467 135386 407 719 0 137746 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 553868 [startup+522.301 s] /proc/loadavg: 2.18 2.24 2.15 3/197 12183 /proc/meminfo: memFree=30497664/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=560312 CPUtime=522.31 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 142347 0 0 0 51121 1110 0 0 25 0 1 0 132363891 573759488 137033 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 140078 137033 407 719 0 139357 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 560312 [startup+582.3 s] /proc/loadavg: 2.06 2.20 2.14 3/197 12185 /proc/meminfo: memFree=30401876/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=626988 CPUtime=582.3 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 159131 0 0 0 56973 1257 0 0 25 0 1 0 132363891 642035712 153817 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 156747 153817 407 719 0 156026 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 626988 [startup+642.301 s] /proc/loadavg: 2.02 2.16 2.13 3/197 12186 /proc/meminfo: memFree=30317244/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=684720 CPUtime=642.31 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 173607 0 0 0 62839 1392 0 0 25 0 1 0 132363891 701153280 168293 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 171180 168293 407 719 0 170459 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 684720 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.00 2.09 2.10 3/197 12195 /proc/meminfo: memFree=29993504/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=856184 CPUtime=1002.32 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 214084 0 0 0 98269 1963 0 0 25 0 1 0 132363891 876732416 208770 4089446400 4194304 7136930 140734639508304 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 214046 208770 407 719 0 213325 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 856184 [startup+1062.3 s] /proc/loadavg: 2.00 2.07 2.09 3/197 12197 /proc/meminfo: memFree=29949064/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=876696 CPUtime=1062.32 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 219208 0 0 0 104194 2038 0 0 25 0 1 0 132363891 897736704 213894 4089446400 4194304 7136930 140734639508304 18446744073709551615 4923290 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 219174 213894 407 719 0 218453 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 876696 [startup+1122.3 s] /proc/loadavg: 2.00 2.06 2.08 3/197 12199 /proc/meminfo: memFree=29920008/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=883052 CPUtime=1122.32 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 220853 0 0 0 110137 2095 0 0 25 0 1 0 132363891 904245248 215539 4089446400 4194304 7136930 140734639508304 18446744073709551615 4210625 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 220763 215539 407 719 0 220042 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 883052 [startup+1182.3 s] /proc/loadavg: 2.00 2.04 2.08 3/197 12201 /proc/meminfo: memFree=29882508/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=895576 CPUtime=1182.32 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 224030 0 0 0 116079 2153 0 0 25 0 1 0 132363891 917069824 218716 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 223894 218716 407 719 0 223173 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 895576 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.07 3/197 12205 /proc/meminfo: memFree=29848696/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=905248 CPUtime=1242.32 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 226453 0 0 0 122021 2211 0 0 25 0 1 0 132363891 926973952 221139 4089446400 4194304 7136930 140734639508304 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 226312 221139 407 719 0 225591 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 905248 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.06 3/197 12206 /proc/meminfo: memFree=29780224/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=948556 CPUtime=1302.33 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 237364 0 0 0 127902 2331 0 0 25 0 1 0 132363891 971321344 232050 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 237139 232050 407 719 0 236418 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 948556 [startup+1362.3 s] /proc/loadavg: 2.08 2.04 2.06 3/197 12208 /proc/meminfo: memFree=29699328/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1003456 CPUtime=1362.33 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 251391 0 0 0 133770 2463 0 0 25 0 1 0 132363891 1027538944 246077 4089446400 4194304 7136930 140734639508304 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 250864 246077 407 719 0 250143 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1003456 [startup+1422.31 s] /proc/loadavg: 2.79 2.24 2.13 3/197 12210 /proc/meminfo: memFree=29648816/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1024824 CPUtime=1422.34 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 256752 0 0 0 139694 2540 0 0 25 0 1 0 132363891 1049419776 251438 4089446400 4194304 7136930 140734639508304 18446744073709551615 4661200 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 256206 251438 407 719 0 255485 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1024824 [startup+1482.3 s] /proc/loadavg: 2.29 2.19 2.12 3/197 12212 /proc/meminfo: memFree=29611296/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1026144 CPUtime=1482.33 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 257084 0 0 0 145616 2617 0 0 25 0 1 0 132363891 1050771456 251770 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 256536 251770 407 719 0 255815 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1026144 [startup+1542.3 s] /proc/loadavg: 2.10 2.16 2.11 3/197 12213 /proc/meminfo: memFree=29560512/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1041916 CPUtime=1542.33 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 260874 0 0 0 151540 2693 0 0 25 0 1 0 132363891 1066921984 255560 4089446400 4194304 7136930 140734639508304 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 260479 255560 407 719 0 259758 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1041916 [startup+1602.3 s] /proc/loadavg: 2.26 2.22 2.13 3/197 12214 /proc/meminfo: memFree=29530448/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1047164 CPUtime=1602.33 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 262291 0 0 0 157476 2757 0 0 25 0 1 0 132363891 1072295936 256977 4089446400 4194304 7136930 140734639508304 18446744073709551615 4999916 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 261791 256977 407 719 0 261070 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1047164 [startup+1662.3 s] /proc/loadavg: 2.09 2.18 2.12 3/197 12216 /proc/meminfo: memFree=29505844/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1058736 CPUtime=1662.33 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 265069 0 0 0 163413 2820 0 0 25 0 1 0 132363891 1084145664 259755 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 264684 259755 407 719 0 263963 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1058736 [startup+1722.3 s] /proc/loadavg: 2.03 2.14 2.11 3/197 12218 /proc/meminfo: memFree=29486588/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1077908 CPUtime=1722.34 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 269865 0 0 0 169353 2881 0 0 25 0 1 0 132363891 1103777792 264551 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 269477 264551 407 719 0 268756 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1077908 [startup+1782.3 s] /proc/loadavg: 2.01 2.11 2.10 3/197 12220 /proc/meminfo: memFree=29473020/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1090888 CPUtime=1782.33 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 273141 0 0 0 175295 2938 0 0 25 0 1 0 132363891 1117069312 267827 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 272722 267827 407 719 0 272001 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1090888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.11 2.09 3/197 12220 /proc/meminfo: memFree=29467548/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1096572 CPUtime=1800.04 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 274486 0 0 0 177048 2956 0 0 25 0 1 0 132363891 1122889728 269172 4089446400 4194304 7136930 140734639508304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12055/statm: 274143 269172 407 719 0 273422 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1096572 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.11 2.09 3/198 12221 /proc/meminfo: memFree=29467648/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1096572 CPUtime=1800.64 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 274491 0 0 0 177108 2956 0 0 25 0 1 0 132363891 1122889728 269177 4089446400 4194304 7136930 140734639508304 18446744073709551615 6166159 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12055/statm: 274143 269177 412 719 0 273422 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 1096572 [startup+1801.4 s] /proc/loadavg: 2.01 2.11 2.09 3/198 12221 /proc/meminfo: memFree=29467648/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1095548 CPUtime=1801.43 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 274491 0 0 0 177187 2956 0 0 25 0 1 0 132363891 1121841152 268922 4089446400 4194304 7136930 140734639508304 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12055/statm: 273887 268922 412 719 0 273166 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 1095548 [startup+1801.6 s] /proc/loadavg: 2.01 2.11 2.09 3/198 12221 /proc/meminfo: memFree=29467648/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=1004836 CPUtime=1801.63 /proc/12055/stat : 12055 (pbscip.linux.x8) R 12053 12055 10787 0 -1 4202496 274491 0 0 0 177207 2956 0 0 25 0 1 0 132363891 1028952064 246244 4089446400 4194304 7136930 140734639508304 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12055/statm: 251209 246179 412 719 0 250488 0 Current children cumulated CPU time (s) 1801.63 Current children cumulated vsize (KiB) 1004836 Child status: 0 Real time (s): 1801.69 CPU time (s): 1801.73 CPU user time (s): 1772.12 CPU system time (s): 29.6065 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1096572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1772.12 system time used= 29.6065 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274498 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 1354 runsolver used 2.6546 second user time and 5.9321 second system time The end
Begin job on node108 at 2010-06-30 17:11:07 IDJOB=2694201 IDBENCH=78979 IDSOLVER=1206 FILE ID=node108/2694201-1277910666 PBS_JOBID= 11197167 Free space on /tmp= 74208 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.1900566157--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-2694201-1277910666/watcher-2694201-1277910666 -o /tmp/evaluation-result-2694201-1277910666/solver-2694201-1277910666 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694201-1277910666.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d542ebd8fdf9cdf1064a589ed9ad7045 RANDOM SEED=2143729191 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: 29326556 kB Buffers: 194444 kB Cached: 1171676 kB SwapCached: 0 kB Active: 2634116 kB Inactive: 845368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29326556 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3152 kB Writeback: 0 kB AnonPages: 2112996 kB Mapped: 16100 kB Slab: 78648 kB PageTables: 9336 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2322464 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node108 at 2010-06-30 17:41:09