0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705047-1278578333.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.09/0.11 o 135640
0.09/0.11 c feasible solution found by trivial heuristic, objective value 1.356400e+05
0.09/0.11 c presolving:
0.09/0.12 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.12 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.17 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (3 rounds):
0.09/0.17 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 5391 implications, 0 cliques
0.09/0.17 c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.17 c 2707 constraints of type <linear>
0.09/0.17 c 2707 constraints of type <indicator>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.12
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.3
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1789.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17 c # [type: int, range: [1,2], default: 1]
0.09/0.17 c timing/clocktype = 2
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/indicator/addCouplingCons = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c t 0.1s| 1 | 0 | 0 | - | 19M| 0 | 0 |5645 |5414 |5645 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 20 | - | 19M| 0 | 0 |5645 |5414 |5645 | 22 | 22 | 0 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 42 | - | 19M| 0 | 7 |5645 |5414 |5645 | 53 | 53 | 0 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 62 | - | 19M| 0 | 14 |5645 |5414 |5645 | 85 | 85 | 0 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 101 | - | 19M| 0 | 35 |5645 |5414 |5645 | 120 | 120 | 0 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
0.29/0.40 c 0.4s| 1 | 0 | 133 | - | 19M| 0 | 38 |5645 |5414 |5645 | 150 | 150 | 0 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
0.39/0.43 c 0.4s| 1 | 0 | 184 | - | 19M| 0 | 32 |5645 |5414 |5645 | 164 | 164 | 0 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
0.49/0.51 c 0.5s| 1 | 2 | 184 | - | 20M| 0 | 32 |5645 |5414 |5645 | 164 | 164 | 0 | 32 | 0.000000e+00 | 1.356400e+05 | Inf
8.99/9.06 o 761
8.99/9.06 c * 9.0s| 5416 | 5400 | 1485 | 0.2 | 32M|2198 | - |5645 |5419 |5645 | 223 | 465 | 5 | 396 | 0.000000e+00 | 7.610000e+02 | Inf
16.59/16.66 c 16.6s| 10000 | 9984 | 2055 | 0.2 | 42M|2198 | 0 |5645 |5419 |5645 | 202 | 583 | 5 | 405 | 0.000000e+00 | 7.610000e+02 | Inf
34.59/34.61 c 34.6s| 20000 | 19982 | 4578 | 0.2 | 63M|2198 | 0 |5645 |5421 |5645 | 199 |1131 | 7 | 554 | 0.000000e+00 | 7.610000e+02 | Inf
52.49/52.52 c 52.5s| 30000 | 29979 | 6300 | 0.2 | 84M|2198 | 0 |5645 |5425 |5645 | 207 |1479 | 11 | 611 | 0.000000e+00 | 7.610000e+02 | Inf
71.10/71.13 c 71.1s| 40000 | 39969 | 8453 | 0.2 | 106M|2198 | 0 |5645 |5431 |5645 | 205 |1941 | 17 | 663 | 0.000000e+00 | 7.610000e+02 | Inf
90.00/90.05 c 90.0s| 50000 | 49962 | 10230 | 0.2 | 125M|2198 | 0 |5645 |5448 |5645 | 215 |2402 | 34 | 692 | 0.000000e+00 | 7.610000e+02 | Inf
109.39/109.44 c 109s| 60000 | 59957 | 12123 | 0.2 | 145M|2198 | 0 |5645 |5457 |5645 | 211 |2958 | 43 | 715 | 0.000000e+00 | 7.610000e+02 | Inf
128.79/128.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.79/128.88 c 129s| 70000 | 69957 | 14008 | 0.2 | 165M|2198 | 0 |5645 |5463 |5645 | 218 |3440 | 49 | 731 | 0.000000e+00 | 7.610000e+02 | Inf
148.59/148.64 c 149s| 80000 | 79953 | 16736 | 0.2 | 184M|2198 | 0 |5645 |5471 |5645 | 213 |4162 | 57 | 783 | 0.000000e+00 | 7.610000e+02 | Inf
149.09/149.19 o 287
149.09/149.19 c * 149s| 80326 | 59130 | 16737 | 0.2 | 146M|2198 | - |5645 |5471 |5645 | 213 |4162 | 57 | 783 | 0.000000e+00 | 2.870000e+02 | Inf
158.00/158.03 o 261
158.00/158.03 c * 158s| 83421 | 57289 | 19772 | 0.2 | 149M|2198 | - |5645 |6701 |5645 | 214 |5046 |1287 | 836 | 0.000000e+00 | 2.610000e+02 | Inf
159.50/159.58 o 260
159.50/159.58 c * 160s| 83890 | 57359 | 20646 | 0.2 | 151M|2198 | - |5645 |6988 |5645 | 223 |5263 |1574 | 874 | 0.000000e+00 | 2.600000e+02 | Inf
159.50/159.58 o 259
159.50/159.58 c * 160s| 83891 | 57165 | 20646 | 0.2 | 151M|2198 | - |5645 |6988 |5645 | 223 |5263 |1574 | 874 | 0.000000e+00 | 2.590000e+02 | Inf
159.89/160.00 o 258
159.89/160.00 c * 160s| 84002 | 57043 | 20878 | 0.2 | 151M|2198 | - |5645 |7075 |5645 | 212 |5315 |1663 | 883 | 0.000000e+00 | 2.580000e+02 | Inf
162.20/162.26 o 257
162.20/162.26 c * 162s| 84745 | 57376 | 21993 | 0.3 | 154M|2198 | - |5645 |7410 |5645 | 208 |5648 |2003 | 901 | 0.000000e+00 | 2.570000e+02 | Inf
162.90/162.97 o 253
162.90/162.97 c * 163s| 85001 | 56740 | 22586 | 0.3 | 153M|2198 | - |5645 |7472 |5645 | 217 |5778 |2069 | 918 | 0.000000e+00 | 2.530000e+02 | Inf
169.00/169.06 o 208
169.00/169.06 c * 169s| 87193 | 46528 | 26088 | 0.3 | 134M|2198 | - |5645 |8001 |5645 | 193 |6542 |2636 | 944 | 0.000000e+00 | 2.080000e+02 | Inf
169.20/169.21 o 202
169.20/169.21 c * 169s| 87247 | 44727 | 26143 | 0.3 | 130M|2198 | - |5645 |8000 |5645 | 204 |6557 |2636 | 944 | 0.000000e+00 | 2.020000e+02 | Inf
169.20/169.25 o 195
169.20/169.25 c * 169s| 87250 | 42502 | 26164 | 0.3 | 126M|2198 | - |5645 |8010 |5645 | 204 |6557 |2646 | 944 | 0.000000e+00 | 1.950000e+02 | Inf
170.40/170.48 o 189
170.40/170.48 c * 170s| 87578 | 40720 | 26962 | 0.3 | 122M|2198 | - |5645 |8145 |5645 | 199 |6774 |2796 | 958 | 0.000000e+00 | 1.890000e+02 | Inf
171.19/171.24 o 188
171.19/171.24 c * 171s| 87777 | 40529 | 27485 | 0.3 | 122M|2198 | - |5645 |8224 |5645 | 209 |6913 |2891 | 961 | 0.000000e+00 | 1.880000e+02 | Inf
172.30/172.35 o 182
172.30/172.35 c * 172s| 88037 | 38616 | 28020 | 0.3 | 118M|2198 | - |5645 |8396 |5645 | 212 |7078 |3072 | 976 | 0.000000e+00 | 1.820000e+02 | Inf
172.89/172.91 o 167
172.89/172.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.89/172.91 c * 173s| 88284 | 33916 | 28396 | 0.3 | 108M|2198 | - |5645 |8435 |5645 | 222 |7172 |3124 |1000 | 0.000000e+00 | 1.670000e+02 | Inf
172.99/173.07 o 164
172.99/173.07 c * 173s| 88319 | 32964 | 28556 | 0.3 | 106M|2198 | - |5645 |8465 |5645 | 217 |7193 |3155 |1000 | 0.000000e+00 | 1.640000e+02 | Inf
176.29/176.38 o 162
176.29/176.38 c * 176s| 89253 | 32742 | 29975 | 0.3 | 109M|2198 | - |5645 |9104 |5645 | 216 |7514 |3915 |1037 | 0.000000e+00 | 1.620000e+02 | Inf
176.39/176.41 o 156
176.39/176.41 c * 176s| 89255 | 30959 | 30017 | 0.3 | 105M|2198 | - |5645 |9104 |5645 | 227 |7525 |3915 |1045 | 0.000000e+00 | 1.560000e+02 | Inf
178.79/178.83 c 179s| 90000 | 31390 | 31602 | 0.3 | 108M|2198 | 1 |5645 |9398 |5645 | 201 |7882 |4326 |1093 | 0.000000e+00 | 1.560000e+02 | Inf
180.70/180.75 o 150
180.70/180.75 c * 181s| 90564 | 29974 | 32575 | 0.4 | 107M|2198 | - |5645 |9555 |5645 | 204 |8120 |4636 |1136 | 0.000000e+00 | 1.500000e+02 | Inf
185.30/185.38 o 148
185.30/185.38 c * 185s| 92004 | 30372 | 34489 | 0.4 | 113M|2198 | - |5645 |9808 |5645 | 185 |8641 |5275 |1186 | 0.000000e+00 | 1.480000e+02 | Inf
185.80/185.81 o 143
185.80/185.81 c * 186s| 92147 | 29031 | 34635 | 0.4 | 110M|2198 | - |5645 |9797 |5645 | 194 |8671 |5292 |1186 | 0.000000e+00 | 1.430000e+02 | Inf
186.60/186.60 o 140
186.60/186.60 c * 187s| 92366 | 28260 | 35219 | 0.4 | 108M|2198 | - |5645 |9798 |5645 | 199 |8826 |5377 |1200 | 0.000000e+00 | 1.400000e+02 | Inf
186.60/186.60 o 137
186.60/186.60 c * 187s| 92367 | 27339 | 35231 | 0.4 | 107M|2198 | - |5645 |9798 |5645 | 199 |8826 |5377 |1200 | 0.000000e+00 | 1.370000e+02 | Inf
187.39/187.47 o 133
187.39/187.47 c * 187s| 92657 | 26467 | 35703 | 0.4 | 105M|2198 | - |5645 |9811 |5645 | 209 |8941 |5452 |1212 | 0.000000e+00 | 1.330000e+02 | Inf
187.39/187.47 o 130
187.39/187.47 c * 187s| 92658 | 25685 | 35703 | 0.4 | 103M|2198 | - |5645 |9811 |5645 | 209 |8941 |5452 |1212 | 0.000000e+00 | 1.300000e+02 | Inf
191.89/191.98 o 122
191.89/191.98 c * 192s| 93856 | 23977 | 38818 | 0.4 | 104M|2198 | - |5645 |9583 |5645 | 199 |9717 |6038 |1265 | 0.000000e+00 | 1.220000e+02 | Inf
192.60/192.60 o 119
192.60/192.60 c * 193s| 94049 | 23383 | 39372 | 0.4 | 103M|2198 | - |5645 |9561 |5645 | 209 |9842 |6182 |1283 | 0.000000e+00 | 1.190000e+02 | Inf
194.90/194.96 o 99
194.90/194.96 c * 195s| 94757 | 18683 | 40906 | 0.4 | 92M|2198 | - |5645 |9469 |5645 | 213 | 10k|6493 |1303 | 0.000000e+00 | 9.900000e+01 | Inf
197.70/197.79 o 98
197.70/197.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.70/197.79 c * 198s| 95509 | 18763 | 43646 | 0.5 | 95M|2198 | - |5645 |9258 |5645 | 238 | 10k|7096 |1374 | 0.000000e+00 | 9.800000e+01 | Inf
199.00/199.04 o 92
199.00/199.04 c * 199s| 95823 | 17244 | 45114 | 0.5 | 92M|2198 | - |5645 |9011 |5645 | 215 | 11k|7351 |1415 | 0.000000e+00 | 9.200000e+01 | Inf
213.59/213.66 c 214s|100000 | 19657 | 54880 | 0.5 | 112M|2198 | - |5645 |8148 | 0 | 0 | 13k|9670 |1556 | 0.000000e+00 | 9.200000e+01 | Inf
216.80/216.82 o 89
216.80/216.82 c * 217s|100905 | 19360 | 56639 | 0.6 | 112M|2198 | - |5645 |7891 |5645 | 224 | 14k| 10k|1565 | 0.000000e+00 | 8.900000e+01 | Inf
217.50/217.59 o 87
217.50/217.59 c * 218s|101089 | 18906 | 57414 | 0.6 | 110M|2198 | - |5645 |7687 |5645 | 224 | 14k| 10k|1569 | 0.000000e+00 | 8.700000e+01 | Inf
224.79/224.87 o 84
224.79/224.87 c * 225s|103097 | 19415 | 62251 | 0.6 | 118M|2198 | - |5645 |7025 |5645 | 225 | 15k| 11k|1593 | 0.000000e+00 | 8.400000e+01 | Inf
225.60/225.65 o 78
225.60/225.65 c * 226s|103310 | 17697 | 63267 | 0.6 | 107M|2198 | - |5645 |6922 |5645 | 234 | 15k| 11k|1603 | 0.000000e+00 | 7.800000e+01 | Inf
242.70/242.75 o 73
242.70/242.75 c * 243s|107619 | 18657 | 72728 | 0.7 | 126M|2198 | - |5645 |6641 |5645 | 232 | 18k| 15k|1686 | 0.000000e+00 | 7.300000e+01 | Inf
242.70/242.76 o 65
242.70/242.76 c * 243s|107620 | 17091 | 72728 | 0.7 | 121M|2198 | - |5645 |6641 |5645 | 232 | 18k| 15k|1686 | 0.000000e+00 | 6.500000e+01 | Inf
249.60/249.69 o 61
249.60/249.69 c * 250s|109415 | 16915 | 78485 | 0.7 | 124M|2198 | - |5645 |6540 |5645 | 233 | 19k| 16k|1753 | 0.000000e+00 | 6.100000e+01 | Inf
251.91/251.98 c 252s|110000 | 17042 | 80452 | 0.7 | 126M|2198 | 0 |5645 |6371 |5645 | 236 | 20k| 17k|1760 | 0.000000e+00 | 6.100000e+01 | Inf
267.20/267.23 o 53
267.20/267.23 c * 267s|113876 | 16078 | 97006 | 0.9 | 128M|2198 | - |5645 |6101 |5645 | 255 | 24k| 20k|1927 | 0.000000e+00 | 5.300000e+01 | Inf
276.30/276.34 o 52
276.30/276.34 c * 276s|116925 | 16452 |105564 | 0.9 | 133M|2198 | - |5645 |6325 |5645 | 221 | 26k| 23k|2031 | 0.000000e+00 | 5.200000e+01 | Inf
282.60/282.69 o 38
282.60/282.69 c * 283s|119168 | 13834 |111665 | 0.9 | 119M|2198 | - |5645 |6403 |5645 | 229 | 27k| 24k|2088 | 0.000000e+00 | 3.800000e+01 | Inf
284.90/284.92 c 285s|120000 | 13935 |114433 | 1.0 | 119M|2198 | 5 |5645 |5879 |5645 | 223 | 28k| 25k|2116 | 0.000000e+00 | 3.800000e+01 | Inf
308.79/308.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.79/308.82 c 309s|130000 | 14602 |139570 | 1.1 | 127M|2198 | - |5645 |6880 | 0 | 0 | 32k| 35k|2308 | 0.000000e+00 | 3.800000e+01 | Inf
310.11/310.18 o 36
310.11/310.18 c * 310s|130503 | 13932 |141255 | 1.1 | 124M|2198 | - |5645 |7015 |5645 | 247 | 32k| 36k|2325 | 0.000000e+00 | 3.600000e+01 | Inf
332.90/332.95 c 333s|140000 | 14398 |164751 | 1.2 | 131M|2198 | 1 |5645 |7641 |5645 | 250 | 37k| 46k|2496 | 0.000000e+00 | 3.600000e+01 | Inf
354.70/354.79 o 35
354.70/354.79 c * 355s|148751 | 14823 |189678 | 1.3 | 137M|2198 | - |5645 |6130 |5645 | 220 | 41k| 55k|2775 | 0.000000e+00 | 3.500000e+01 | Inf
354.70/354.80 o 34
354.70/354.80 c * 355s|148752 | 14735 |189678 | 1.3 | 137M|2198 | - |5645 |6130 |5645 | 220 | 41k| 55k|2775 | 0.000000e+00 | 3.400000e+01 | Inf
357.80/357.80 c 358s|150000 | 14786 |193931 | 1.3 | 138M|2198 | 1 |5645 |5794 |5645 | 236 | 42k| 56k|2786 | 0.000000e+00 | 3.400000e+01 | Inf
368.30/368.31 o 30
368.30/368.31 c * 368s|154686 | 14017 |208304 | 1.3 | 132M|2198 | - |5645 |6530 |5645 | 224 | 44k| 62k|2880 | 0.000000e+00 | 3.000000e+01 | Inf
368.30/368.34 o 29
368.30/368.34 c * 368s|154689 | 13903 |208315 | 1.3 | 132M|2198 | - |5645 |6348 |5645 | 225 | 44k| 62k|2880 | 0.000000e+00 | 2.900000e+01 | Inf
379.70/379.73 c 380s|160000 | 14193 |221927 | 1.4 | 134M|2198 | 1 |5645 |6084 |5645 | 283 | 47k| 68k|2970 | 0.000000e+00 | 2.900000e+01 | Inf
398.90/398.93 o 14
398.90/398.93 c * 399s|168321 | 11363 |250503 | 1.5 | 114M|2198 | - |5645 |6379 |5645 | 228 | 52k| 77k|3189 | 0.000000e+00 | 1.400000e+01 | Inf
401.51/401.54 o 10
401.51/401.54 c * 402s|169767 | 9993 |254617 | 1.5 | 103M|2198 | - |5645 |6581 |5645 | 246 | 53k| 79k|3205 | 0.000000e+00 | 1.000000e+01 | Inf
402.10/402.11 c 402s|170000 | 9913 |255756 | 1.5 | 102M|2198 | - |5645 |4994 |5645 | 222 | 53k| 80k|3210 | 0.000000e+00 | 1.000000e+01 | Inf
419.51/419.51 c 419s|180000 | 9609 |297096 | 1.6 | 103M|2198 | 1 |5645 |6130 |5645 | 234 | 58k| 92k|3458 | 0.000000e+00 | 1.000000e+01 | Inf
434.10/434.10 o 8
434.10/434.10 c * 434s|188606 | 9284 |330746 | 1.8 | 103M|2198 | - |5645 |9084 |5645 | 263 | 61k| 103k|3583 | 0.000000e+00 | 8.000000e+00 | Inf
434.10/434.15 o 7
434.10/434.15 c * 434s|188622 | 9202 |330861 | 1.8 | 102M|2198 | - |5645 |8973 |5645 | 261 | 61k| 103k|3583 | 0.000000e+00 | 7.000000e+00 | Inf
434.41/434.46 o 2
434.41/434.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.41/434.46 c * 434s|188757 | 8281 |331651 | 1.8 | 94M|2198 | - |5645 |8520 |5645 | 275 | 62k| 104k|3584 | 0.000000e+00 | 2.000000e+00 | Inf
436.20/436.27 c 436s|190000 | 8290 |335599 | 1.8 | 94M|2198 | 15 |5645 |8198 |5645 | 254 | 62k| 105k|3585 | 0.000000e+00 | 2.000000e+00 | Inf
452.60/452.64 c 453s|200000 | 8010 |383620 | 1.9 | 94M|2198 | - |5645 |8836 | 0 | 0 | 68k| 118k|3843 | 0.000000e+00 | 2.000000e+00 | Inf
470.30/470.32 c 470s|210000 | 8059 |436368 | 2.1 | 97M|2198 | 1 |5645 | 14k|5645 | 237 | 77k| 131k|4006 | 0.000000e+00 | 2.000000e+00 | Inf
489.01/489.02 c 489s|220000 | 7817 |489602 | 2.2 | 95M|2198 | 1 |5645 | 11k|5645 | 223 | 84k| 144k|4310 | 0.000000e+00 | 2.000000e+00 | Inf
506.10/506.19 c 506s|230000 | 7628 |529294 | 2.3 | 95M|2198 | - |5645 | 11k| 0 | 0 | 89k| 157k|4451 | 0.000000e+00 | 2.000000e+00 | Inf
524.10/524.13 c 524s|240000 | 7672 |571753 | 2.4 | 97M|2198 | - |5645 | 13k| 0 | 0 | 95k| 170k|4611 | 0.000000e+00 | 2.000000e+00 | Inf
543.31/543.31 c 543s|250000 | 7704 |614811 | 2.5 | 98M|2198 | - |5645 | 14k|5645 | 255 | 100k| 184k|4759 | 0.000000e+00 | 2.000000e+00 | Inf
562.20/562.28 c 562s|260000 | 7715 |661977 | 2.5 | 99M|2198 | 9 |5645 | 15k|5645 | 228 | 107k| 198k|4874 | 0.000000e+00 | 2.000000e+00 | Inf
568.41/568.49 o 1
568.41/568.49 c * 568s|263329 | 7631 |676859 | 2.6 | 99M|2198 | - |5645 | 18k|5645 | 236 | 109k| 202k|4910 | 0.000000e+00 | 1.000000e+00 | Inf
580.90/580.94 c 581s|270000 | 7623 |701075 | 2.6 | 99M|2198 | 1 |5645 | 17k|5645 | 242 | 112k| 212k|4991 | 0.000000e+00 | 1.000000e+00 | Inf
600.40/600.48 c 600s|280000 | 7708 |748376 | 2.7 | 101M|2198 | 16 |5645 | 17k|5645 | 244 | 118k| 226k|5105 | 0.000000e+00 | 1.000000e+00 | Inf
619.01/619.00 c 619s|290000 | 7800 |783505 | 2.7 | 102M|2198 | - |5645 | 17k| 0 | 0 | 123k| 239k|5198 | 0.000000e+00 | 1.000000e+00 | Inf
638.61/638.62 c 639s|300000 | 7864 |822864 | 2.7 | 103M|2198 | - |5645 | 16k| 0 | 0 | 128k| 254k|5318 | 0.000000e+00 | 1.000000e+00 | Inf
658.61/658.65 c 659s|310000 | 7940 |864327 | 2.8 | 105M|2198 | 11 |5645 | 17k|5645 | 221 | 133k| 268k|5423 | 0.000000e+00 | 1.000000e+00 | Inf
679.31/679.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.31/679.32 c 679s|320000 | 8096 |902758 | 2.8 | 109M|2198 | 14 |5645 | 22k|5645 | 262 | 139k| 282k|5512 | 0.000000e+00 | 1.000000e+00 | Inf
700.91/700.99 c 701s|330000 | 8050 |943659 | 2.9 | 109M|2198 | - |5645 | 18k| 0 | 0 | 145k| 297k|5602 | 0.000000e+00 | 1.000000e+00 | Inf
721.11/721.12 c 721s|340000 | 8249 |986955 | 2.9 | 112M|2198 | 15 |5645 | 21k|5645 | 233 | 150k| 311k|5706 | 0.000000e+00 | 1.000000e+00 | Inf
742.41/742.46 c 742s|350000 | 8355 | 1024k| 2.9 | 115M|2198 | - |5645 | 22k| 0 | 0 | 154k| 325k|5785 | 0.000000e+00 | 1.000000e+00 | Inf
764.21/764.23 c 764s|360000 | 8478 | 1065k| 3.0 | 117M|2198 | 1 |5645 | 25k|5645 | 263 | 158k| 341k|5886 | 0.000000e+00 | 1.000000e+00 | Inf
786.51/786.55 c 787s|370000 | 8526 | 1107k| 3.0 | 118M|2198 | 12 |5645 | 23k|5645 | 242 | 163k| 356k|5970 | 0.000000e+00 | 1.000000e+00 | Inf
808.52/808.59 c 809s|380000 | 8628 | 1146k| 3.0 | 120M|2198 | - |5645 | 24k| 0 | 0 | 168k| 371k|6031 | 0.000000e+00 | 1.000000e+00 | Inf
832.71/832.76 c 833s|390000 | 8754 | 1190k| 3.1 | 123M|2198 | 1 |5645 | 26k|5645 | 234 | 174k| 386k|6124 | 0.000000e+00 | 1.000000e+00 | Inf
857.61/857.61 c 858s|400000 | 8851 | 1232k| 3.1 | 125M|2198 | 11 |5645 | 26k|5645 | 264 | 179k| 401k|6220 | 0.000000e+00 | 1.000000e+00 | Inf
883.41/883.47 c 883s|410000 | 9009 | 1276k| 3.1 | 127M|2198 | - |5645 | 26k| 0 | 0 | 185k| 416k|6290 | 0.000000e+00 | 1.000000e+00 | Inf
909.82/909.82 c 910s|420000 | 8985 | 1316k| 3.1 | 128M|2198 | 6 |5645 | 26k|5645 | 252 | 190k| 432k|6360 | 0.000000e+00 | 1.000000e+00 | Inf
937.81/937.88 c 938s|430000 | 8974 | 1363k| 3.2 | 129M|2198 | - |5645 | 27k| 0 | 0 | 196k| 448k|6449 | 0.000000e+00 | 1.000000e+00 | Inf
963.81/963.82 c 964s|440000 | 9104 | 1414k| 3.2 | 131M|2198 | - |5645 | 29k| 0 | 0 | 201k| 465k|6547 | 0.000000e+00 | 1.000000e+00 | Inf
989.72/989.76 c 990s|450000 | 9185 | 1455k| 3.2 | 132M|2198 | - |5645 | 28k| 0 | 0 | 205k| 480k|6608 | 0.000000e+00 | 1.000000e+00 | Inf
1016.12/1016.19 c 1016s|460000 | 9317 | 1498k| 3.3 | 135M|2198 | - |5645 | 29k| 0 | 0 | 210k| 496k|6669 | 0.000000e+00 | 1.000000e+00 | Inf
1040.62/1040.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1040.62/1040.64 c 1041s|470000 | 9399 | 1535k| 3.3 | 137M|2198 | - |5645 | 30k| 0 | 0 | 214k| 512k|6728 | 0.000000e+00 | 1.000000e+00 | Inf
1066.72/1066.74 c 1067s|480000 | 9220 | 1581k| 3.3 | 135M|2198 | - |5645 | 28k| 0 | 0 | 219k| 529k|6804 | 0.000000e+00 | 1.000000e+00 | Inf
1094.62/1094.67 c 1095s|490000 | 9109 | 1629k| 3.3 | 133M|2198 | 1 |5645 | 25k|5645 | 249 | 224k| 545k|6906 | 0.000000e+00 | 1.000000e+00 | Inf
1119.52/1119.52 c 1119s|500000 | 8874 | 1675k| 3.4 | 129M|2198 | - |5645 | 23k| 0 | 0 | 229k| 561k|6975 | 0.000000e+00 | 1.000000e+00 | Inf
1143.42/1143.41 c 1143s|510000 | 8915 | 1720k| 3.4 | 131M|2198 | - |5645 | 25k|5645 | 279 | 233k| 577k|7026 | 0.000000e+00 | 1.000000e+00 | Inf
1168.23/1168.25 c 1168s|520000 | 8903 | 1764k| 3.4 | 130M|2198 | 13 |5645 | 21k|5645 | 230 | 238k| 592k|7089 | 0.000000e+00 | 1.000000e+00 | Inf
1193.62/1193.64 c 1194s|530000 | 8936 | 1813k| 3.4 | 131M|2198 | - |5645 | 21k| 0 | 0 | 247k| 608k|7181 | 0.000000e+00 | 1.000000e+00 | Inf
1218.12/1218.10 c 1218s|540000 | 8977 | 1855k| 3.4 | 132M|2198 | - |5645 | 22k| 0 | 0 | 253k| 623k|7253 | 0.000000e+00 | 1.000000e+00 | Inf
1243.33/1243.30 c 1243s|550000 | 7818 | 1898k| 3.5 | 109M|2198 | - |5645 | 17k| 0 | 0 | 258k| 639k|7385 | 0.000000e+00 | 1.000000e+00 | Inf
1265.04/1265.07 c 1265s|560000 | 7823 | 1939k| 3.5 | 109M|2198 | - |5645 | 19k| 0 | 0 | 263k| 653k|7545 | 0.000000e+00 | 1.000000e+00 | Inf
1288.43/1288.47 c 1288s|570000 | 7768 | 1981k| 3.5 | 108M|2198 | 1 |5645 | 20k|5645 | 212 | 269k| 668k|7646 | 0.000000e+00 | 1.000000e+00 | Inf
1312.93/1312.96 c 1313s|580000 | 7692 | 2024k| 3.5 | 106M|2198 | 6 |5645 | 17k|5645 | 224 | 273k| 682k|7738 | 0.000000e+00 | 1.000000e+00 | Inf
1336.63/1336.65 c 1337s|590000 | 7816 | 2060k| 3.5 | 108M|2198 | 1 |5645 | 22k|5645 | 231 | 277k| 696k|7774 | 0.000000e+00 | 1.000000e+00 | Inf
1360.32/1360.31 c 1360s|600000 | 7811 | 2101k| 3.5 | 109M|2198 | 1 |5645 | 22k|5645 | 225 | 281k| 711k|7833 | 0.000000e+00 | 1.000000e+00 | Inf
1384.93/1384.94 c 1385s|610000 | 7836 | 2144k| 3.5 | 111M|2198 | 1 |5645 | 25k|5645 | 238 | 287k| 726k|7898 | 0.000000e+00 | 1.000000e+00 | Inf
1410.63/1410.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.63/1410.60 c 1411s|620000 | 7883 | 2185k| 3.5 | 112M|2198 | - |5645 | 24k| 0 | 0 | 293k| 741k|7949 | 0.000000e+00 | 1.000000e+00 | Inf
1435.72/1435.79 c 1436s|630000 | 7913 | 2227k| 3.5 | 113M|2198 | 16 |5645 | 26k|5645 | 279 | 298k| 755k|8012 | 0.000000e+00 | 1.000000e+00 | Inf
1463.63/1463.63 c 1464s|640000 | 7994 | 2268k| 3.5 | 115M|2198 | 13 |5645 | 27k|5645 | 273 | 302k| 769k|8063 | 0.000000e+00 | 1.000000e+00 | Inf
1490.03/1490.05 c 1490s|650000 | 8060 | 2311k| 3.6 | 116M|2198 | - |5645 | 27k| 0 | 0 | 307k| 783k|8123 | 0.000000e+00 | 1.000000e+00 | Inf
1516.43/1516.44 c 1516s|660000 | 8269 | 2356k| 3.6 | 119M|2198 | - |5645 | 28k| 0 | 0 | 313k| 798k|8174 | 0.000000e+00 | 1.000000e+00 | Inf
1543.53/1543.56 c 1544s|670000 | 8339 | 2404k| 3.6 | 121M|2198 | - |5645 | 28k| 0 | 0 | 318k| 813k|8234 | 0.000000e+00 | 1.000000e+00 | Inf
1570.43/1570.44 c 1570s|680000 | 8339 | 2450k| 3.6 | 122M|2198 | - |5645 | 30k| 0 | 0 | 324k| 829k|8287 | 0.000000e+00 | 1.000000e+00 | Inf
1598.13/1598.11 c 1598s|690000 | 8315 | 2492k| 3.6 | 121M|2198 | 1 |5645 | 27k|5645 | 247 | 328k| 845k|8328 | 0.000000e+00 | 1.000000e+00 | Inf
1625.13/1625.18 c 1625s|700000 | 8317 | 2537k| 3.6 | 123M|2198 | 1 |5645 | 28k|5645 | 262 | 333k| 860k|8386 | 0.000000e+00 | 1.000000e+00 | Inf
1652.14/1652.19 c 1652s|710000 | 8254 | 2582k| 3.6 | 122M|2198 | - |5645 | 28k|5645 | 292 | 338k| 875k|8437 | 0.000000e+00 | 1.000000e+00 | Inf
1678.83/1678.82 c 1679s|720000 | 8225 | 2627k| 3.6 | 123M|2198 | - |5645 | 29k| 0 | 0 | 344k| 891k|8496 | 0.000000e+00 | 1.000000e+00 | Inf
1705.44/1705.40 c 1705s|730000 | 7845 | 2669k| 3.7 | 113M|2198 | - |5645 | 26k| 0 | 0 | 348k| 906k|8546 | 0.000000e+00 | 1.000000e+00 | Inf
1730.54/1730.57 c 1731s|740000 | 7626 | 2714k| 3.7 | 106M|2198 | 1 |5645 | 18k|5645 | 203 | 354k| 921k|8734 | 0.000000e+00 | 1.000000e+00 | Inf
1755.24/1755.28 c 1755s|750000 | 7624 | 2765k| 3.7 | 107M|2198 | 1 |5645 | 23k|5645 | 272 | 360k| 935k|8747 | 0.000000e+00 | 1.000000e+00 | Inf
1779.74/1779.79 c 1780s|760000 | 7766 | 2805k| 3.7 | 108M|2198 | - |5645 | 19k| 0 | 0 | 366k| 949k|8845 | 0.000000e+00 | 1.000000e+00 | Inf
1790.03/1790.01 c
1790.03/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.01 c Solving Time (sec) : 1789.98
1790.03/1790.01 c Solving Nodes : 764170
1790.03/1790.01 c Primal Bound : +1.00000000000000e+00 (267 solutions)
1790.03/1790.01 c Dual Bound : +0.00000000000000e+00
1790.03/1790.01 c Gap : infinite
1790.03/1790.10 s SATISFIABLE
1790.03/1790.10 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210
1790.03/1790.10 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.03/1790.10 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.03/1790.10 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1790.03/1790.10 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1790.03/1790.10 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1790.03/1790.10 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
1790.03/1790.10 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
1790.03/1790.10 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
1790.03/1790.10 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
1790.03/1790.10 v x1
1790.03/1790.10 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.10 c Solving Time : 1789.98
1790.03/1790.10 c Original Problem :
1790.03/1790.10 c Problem name : HOME/instance-2705047-1278578333.wbo
1790.03/1790.10 c Variables : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.03/1790.10 c Constraints : 5415 initial, 5415 maximal
1790.03/1790.10 c Presolved Problem :
1790.03/1790.10 c Problem name : t_HOME/instance-2705047-1278578333.wbo
1790.03/1790.10 c Variables : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.03/1790.10 c Constraints : 5414 initial, 31554 maximal
1790.03/1790.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.03/1790.10 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.10 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.10 c implics : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.10 c probing : 0.03 0 0 0 0 0 0 0 0
1790.03/1790.10 c linear : 0.02 0 0 0 2707 0 1 0 0
1790.03/1790.10 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.10 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.10 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.10 c root node : - 5414 - - 5414 - - - -
1790.03/1790.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.03/1790.10 c integral : 0 0 0 508359 0 9 631 0 0 710428
1790.03/1790.10 c linear : 2707 6 4055938 152142 0 263632 18299121 369497 0 0
1790.03/1790.10 c indicator : 2707 0 1164342 126912 0 918 5390783 0 0 0
1790.03/1790.10 c logicor : 0+ 0 1115560 0 0 65243 1284758 0 0 0
1790.03/1790.10 c bounddisjunction : 0+ 0 317282 0 0 62 3852 0 0 0
1790.03/1790.10 c countsols : 0 0 0 106731 0 0 0 0 0 0
1790.03/1790.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.03/1790.10 c integral : 13.76 0.00 0.00 13.76 0.00
1790.03/1790.10 c linear : 221.66 0.00 209.00 12.66 0.00
1790.03/1790.10 c indicator : 61.19 0.01 35.17 26.02 0.00
1790.03/1790.10 c logicor : 267.34 0.00 267.34 0.00 0.00
1790.03/1790.10 c bounddisjunction : 1.81 0.00 1.81 0.00 0.00
1790.03/1790.10 c countsols : 0.02 0.00 0.00 0.02 0.00
1790.03/1790.10 c Propagators : Time Calls Cutoffs DomReds
1790.03/1790.10 c vbounds : 0.83 41418 7 9234
1790.03/1790.10 c rootredcost : 0.63 51 0 2707
1790.03/1790.10 c pseudoobj : 163.35 4070298 13458 5046890
1790.03/1790.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.03/1790.10 c propagation : 22.83 342395 342304 2059104 32.5 13283 28.3 -
1790.03/1790.10 c infeasible LP : 3.63 9887 9887 78242 43.4 130 22.6 0
1790.03/1790.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.03/1790.10 c applied globally : - - - 954415 25.2 - - -
1790.03/1790.10 c applied locally : - - - 0 0.0 - - -
1790.03/1790.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.03/1790.10 c cut pool : 0.00 3 - - 1 - (maximal pool size: 73)
1790.03/1790.10 c redcost : 53.18 510762 0 371764 0 0
1790.03/1790.10 c impliedbounds : 0.00 4 0 0 0 0
1790.03/1790.10 c intobj : 0.00 0 0 0 0 0
1790.03/1790.10 c cgmip : 0.00 0 0 0 0 0
1790.03/1790.10 c gomory : 0.01 4 0 0 230 0
1790.03/1790.10 c strongcg : 0.01 4 0 0 215 0
1790.03/1790.10 c cmir : 0.01 4 0 0 0 0
1790.03/1790.10 c flowcover : 0.02 4 0 0 0 0
1790.03/1790.10 c clique : 0.00 1 0 0 0 0
1790.03/1790.10 c zerohalf : 0.00 0 0 0 0 0
1790.03/1790.10 c mcf : 0.00 1 0 0 0 0
1790.03/1790.10 c rapidlearning : 0.17 1 0 0 0 0
1790.03/1790.10 c Pricers : Time Calls Vars
1790.03/1790.10 c problem variables: 0.00 0 0
1790.03/1790.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.03/1790.10 c relpscost : 13.38 355762 9 631 0 0 710428
1790.03/1790.10 c pscost : 0.00 0 0 0 0 0 0
1790.03/1790.10 c inference : 55.76 106680 0 0 0 0 213544
1790.03/1790.10 c mostinf : 0.00 0 0 0 0 0 0
1790.03/1790.10 c leastinf : 0.00 0 0 0 0 0 0
1790.03/1790.10 c fullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.10 c allfullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.10 c random : 0.00 0 0 0 0 0 0
1790.03/1790.10 c Primal Heuristics : Time Calls Found
1790.03/1790.10 c LP solutions : 0.19 - 51
1790.03/1790.10 c pseudo solutions : 0.00 - 0
1790.03/1790.10 c feaspump : 0.00 0 0
1790.03/1790.10 c intshifting : 0.00 0 0
1790.03/1790.10 c oneopt : 0.43 46 0
1790.03/1790.10 c crossover : 2.49 64 6
1790.03/1790.10 c fracdiving : 0.38 209 0
1790.03/1790.10 c pscostdiving : 0.38 209 0
1790.03/1790.10 c linesearchdiving : 0.38 209 0
1790.03/1790.10 c guideddiving : 0.46 209 0
1790.03/1790.10 c veclendiving : 0.38 210 0
1790.03/1790.10 c coefdiving : 0.39 210 0
1790.03/1790.10 c objpscostdiving : 0.40 206 0
1790.03/1790.10 c rootsoldiving : 0.40 206 0
1790.03/1790.10 c trivial : 0.07 2 2
1790.03/1790.10 c simplerounding : 0.71 356064 0
1790.03/1790.10 c zirounding : 0.70 1000 0
1790.03/1790.10 c rounding : 1.27 8411 0
1790.03/1790.10 c shifting : 0.63 2599 0
1790.03/1790.10 c twoopt : 0.00 0 0
1790.03/1790.10 c fixandinfer : 0.00 0 0
1790.03/1790.10 c intdiving : 0.00 0 0
1790.03/1790.10 c actconsdiving : 0.00 0 0
1790.03/1790.10 c octane : 0.00 0 0
1790.03/1790.10 c rens : 0.03 1 0
1790.03/1790.10 c rins : 0.00 0 0
1790.03/1790.10 c localbranching : 0.00 0 0
1790.03/1790.10 c mutation : 0.00 0 0
1790.03/1790.10 c dins : 0.00 0 0
1790.03/1790.10 c undercover : 0.00 0 0
1790.03/1790.10 c nlp : 0.14 0 0
1790.03/1790.10 c trysol : 0.54 671 208
1790.03/1790.10 c LP : Time Calls Iterations Iter/call Iter/sec
1790.03/1790.10 c primal LP : 0.00 0 0 0.00 -
1790.03/1790.10 c dual LP : 417.39 417592 2821477 6.76 6759.84
1790.03/1790.10 c lex dual LP : 0.00 0 0 0.00 -
1790.03/1790.10 c barrier LP : 0.00 0 0 0.00 -
1790.03/1790.10 c diving/probing LP: 0.10 57 1121 19.67 10741.25
1790.03/1790.10 c strong branching : 10.62 8845 96161 10.87 9056.91
1790.03/1790.10 c (at root node) : - 32 1047 32.72 -
1790.03/1790.10 c conflict analysis: 0.00 0 0 0.00 -
1790.03/1790.10 c B&B Tree :
1790.03/1790.10 c number of runs : 1
1790.03/1790.10 c nodes : 764170
1790.03/1790.10 c nodes (total) : 764170
1790.03/1790.10 c nodes left : 7860
1790.03/1790.10 c max depth : 2198
1790.03/1790.10 c max depth (total): 2198
1790.03/1790.10 c backtracks : 60707 (7.9%)
1790.03/1790.10 c delayed cutoffs : 57875
1790.03/1790.10 c repropagations : 2061607 (5048265 domain reductions, 50964 cutoffs)
1790.03/1790.10 c avg switch length: 6.94
1790.03/1790.10 c switching time : 266.90
1790.03/1790.10 c Solution :
1790.03/1790.10 c Solutions found : 267 (52 improvements)
1790.03/1790.10 c First Solution : +1.35640000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1790.03/1790.10 c Primal Bound : +1.00000000000000e+00 (in run 1, after 263329 nodes, 568.46 seconds, depth 38, found by <relaxation>)
1790.03/1790.10 c Dual Bound : +0.00000000000000e+00
1790.03/1790.10 c Gap : infinite
1790.03/1790.10 c Root Dual Bound : +0.00000000000000e+00
1790.03/1790.10 c Root Iterations : 184
1790.23/1790.23 c Time complete: 1790.27.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705047-1278578333/watcher-2705047-1278578333 -o /tmp/evaluation-result-2705047-1278578333/solver-2705047-1278578333 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705047-1278578333.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.01 1.92 4/178 24161
/proc/meminfo: memFree=27866428/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=12508 CPUtime=0
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 1974 0 0 0 0 0 0 0 22 0 1 0 26046413 12808192 1893 4089446400 4194304 10345943 140737420435648 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24161/statm: 3127 1893 429 1502 0 1620 0
[startup+0.00762899 s]
/proc/loadavg: 2.01 2.01 1.92 4/178 24161
/proc/meminfo: memFree=27866428/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=13516 CPUtime=0
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 2162 0 0 0 0 0 0 0 22 0 1 0 26046413 13840384 2082 4089446400 4194304 10345943 140737420435648 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24161/statm: 3379 2119 429 1502 0 1872 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13516
[startup+0.100612 s]
/proc/loadavg: 2.01 2.01 1.92 4/178 24161
/proc/meminfo: memFree=27866428/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=38016 CPUtime=0.09
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 8447 0 0 0 9 0 0 0 22 0 1 0 26046413 38928384 8012 4089446400 4194304 10345943 140737420435648 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 9504 8012 509 1502 0 7997 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38016
[startup+0.300589 s]
/proc/loadavg: 2.01 2.01 1.92 4/178 24161
/proc/meminfo: memFree=27866428/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=70100 CPUtime=0.29
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 16225 0 0 0 28 1 0 0 22 0 1 0 26046413 71782400 15790 4089446400 4194304 10345943 140737420435648 18446744073709551615 4687791 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 17525 15790 632 1502 0 16018 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70100
[startup+0.700516 s]
/proc/loadavg: 2.01 2.01 1.92 4/178 24161
/proc/meminfo: memFree=27866428/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=65260 CPUtime=0.69
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 16891 0 0 0 67 2 0 0 24 0 1 0 26046413 66826240 15051 4089446400 4194304 10345943 140737420435648 18446744073709551615 7522221 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 16315 15051 751 1502 0 14808 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65260
[startup+1.50036 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 24162
/proc/meminfo: memFree=27808140/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=65260 CPUtime=1.49
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 16894 0 0 0 147 2 0 0 25 0 1 0 26046413 66826240 15054 4089446400 4194304 10345943 140737420435648 18446744073709551615 6017449 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 16315 15054 754 1502 0 14808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65260
[startup+3.10107 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 24162
/proc/meminfo: memFree=27808140/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=65260 CPUtime=3.09
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 16898 0 0 0 307 2 0 0 25 0 1 0 26046413 66826240 15058 4089446400 4194304 10345943 140737420435648 18446744073709551615 4476316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 16315 15058 754 1502 0 14808 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65260
[startup+6.30049 s]
/proc/loadavg: 2.09 2.02 1.93 3/179 24163
/proc/meminfo: memFree=27808076/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=66284 CPUtime=6.29
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 19693 0 0 0 626 3 0 0 25 0 1 0 26046413 67874816 15342 4089446400 4194304 10345943 140737420435648 18446744073709551615 6518768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 16571 15342 754 1502 0 15064 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66284
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 1.93 3/179 24163
/proc/meminfo: memFree=27791484/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=81984 CPUtime=12.69
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 24901 0 0 0 1265 4 0 0 25 0 1 0 26046413 83951616 19291 4089446400 4194304 10345943 140737420435648 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 20496 19291 761 1502 0 18989 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81984
[startup+25.501 s]
/proc/loadavg: 2.06 2.02 1.93 3/179 24164
/proc/meminfo: memFree=27781188/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=93028 CPUtime=25.49
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 28830 0 0 0 2544 5 0 0 25 0 1 0 26046413 95260672 22002 4089446400 4194304 10345943 140737420435648 18446744073709551615 4686862 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 23257 22002 761 1502 0 21750 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93028
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 1.93 3/179 24164
/proc/meminfo: memFree=27762124/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=114748 CPUtime=51.09
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 37525 0 0 0 5100 9 0 0 25 0 1 0 26046413 117501952 27154 4089446400 4194304 10345943 140737420435648 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 28687 27154 761 1502 0 27180 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 114748
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 24166
/proc/meminfo: memFree=27704964/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=168604 CPUtime=102.3
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 56448 0 0 0 10215 15 0 0 25 0 1 0 26046413 172650496 41063 4089446400 4194304 10345943 140737420435648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 42151 41063 762 1502 0 40644 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 168604
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 24167
/proc/meminfo: memFree=27622456/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=251548 CPUtime=162.3
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 96352 0 0 0 16207 23 0 0 25 0 1 0 26046413 257585152 61412 4089446400 4194304 10345943 140737420435648 18446744073709551615 6702925 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 62887 61412 762 1502 0 61380 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 251548
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 24168
/proc/meminfo: memFree=27499372/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=380868 CPUtime=222.3
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 193469 0 0 0 22190 40 0 0 25 0 1 0 26046413 390008832 92366 4089446400 4194304 10345943 140737420435648 18446744073709551615 6548610 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 95217 92366 767 1502 0 93710 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 380868
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 24197
/proc/meminfo: memFree=28029260/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=481320 CPUtime=282.29
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 276238 0 0 0 28172 57 0 0 25 0 1 0 26046413 492871680 115665 4089446400 4194304 10345943 140737420435648 18446744073709551615 6328950 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 120330 115665 774 1502 0 118823 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 481320
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 24199
/proc/meminfo: memFree=27972952/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=510616 CPUtime=342.3
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 316051 0 0 0 34163 67 0 0 25 0 1 0 26046413 522870784 122766 4089446400 4194304 10345943 140737420435648 18446744073709551615 6864734 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 127654 122766 780 1502 0 126147 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 510616
[startup+402.3 s]
/proc/loadavg: 1.96 1.98 1.92 3/179 24282
/proc/meminfo: memFree=27880160/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=537304 CPUtime=402.3
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 365012 0 0 0 40150 80 0 0 25 0 1 0 26046413 550199296 129294 4089446400 4194304 10345943 140737420435648 18446744073709551615 6864680 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 134326 129294 789 1502 0 132819 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 537304
[startup+462.301 s]
/proc/loadavg: 1.98 1.98 1.92 3/179 24283
/proc/meminfo: memFree=27855952/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=540220 CPUtime=462.3
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 406085 0 0 0 46135 95 0 0 25 0 1 0 26046413 553185280 130137 4089446400 4194304 10345943 140737420435648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 135055 130137 790 1502 0 133548 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 540220
[startup+522.301 s]
/proc/loadavg: 2.03 2.00 1.93 3/179 24284
/proc/meminfo: memFree=27810896/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=543412 CPUtime=522.3
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 408642 0 0 0 52128 102 0 0 25 0 1 0 26046413 556453888 130730 4089446400 4194304 10345943 140737420435648 18446744073709551615 6864985 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 135853 130730 790 1502 0 134346 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 543412
[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 24286
/proc/meminfo: memFree=27760744/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=545824 CPUtime=582.31
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 429053 0 0 0 58116 115 0 0 25 0 1 0 26046413 558923776 131276 4089446400 4194304 10345943 140737420435648 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 136456 131276 791 1502 0 134949 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 545824
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 24288
/proc/meminfo: memFree=27714340/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=547396 CPUtime=642.31
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 435564 0 0 0 64107 124 0 0 25 0 1 0 26046413 560533504 131686 4089446400 4194304 10345943 140737420435648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24161/statm: 136849 131686 791 1502 0 135342 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 547396
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27367404/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=577840 CPUtime=1062.31
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 453010 0 0 0 106049 182 0 0 25 0 1 0 26046413 591708160 139229 4089446400 4194304 10345943 140737420435648 18446744073709551615 4220157 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144460 139229 791 1502 0 142953 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 577840
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 24300
/proc/meminfo: memFree=27322344/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=578676 CPUtime=1122.32
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 453288 0 0 0 112042 190 0 0 25 0 1 0 26046413 592564224 139507 4089446400 4194304 10345943 140737420435648 18446744073709551615 6785446 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144669 139507 791 1502 0 143162 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 578676
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24302
/proc/meminfo: memFree=27280520/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579056 CPUtime=1182.32
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 453334 0 0 0 118034 198 0 0 25 0 1 0 26046413 592953344 139553 4089446400 4194304 10345943 140737420435648 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144764 139553 791 1502 0 143257 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 579056
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24304
/proc/meminfo: memFree=27238928/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579056 CPUtime=1242.33
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 453400 0 0 0 124027 206 0 0 25 0 1 0 26046413 592953344 139619 4089446400 4194304 10345943 140737420435648 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144764 139619 791 1502 0 143257 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 579056
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24306
/proc/meminfo: memFree=27197216/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579056 CPUtime=1302.33
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 453449 0 0 0 130020 213 0 0 25 0 1 0 26046413 592953344 139668 4089446400 4194304 10345943 140737420435648 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144764 139668 791 1502 0 143257 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 579056
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/179 24316
/proc/meminfo: memFree=27150852/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579056 CPUtime=1362.32
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 453491 0 0 0 136010 222 0 0 25 0 1 0 26046413 592953344 139710 4089446400 4194304 10345943 140737420435648 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144764 139710 791 1502 0 143257 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 579056
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 24317
/proc/meminfo: memFree=27109640/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579056 CPUtime=1422.33
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 453524 0 0 0 142003 230 0 0 25 0 1 0 26046413 592953344 139743 4089446400 4194304 10345943 140737420435648 18446744073709551615 4995703 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144764 139743 791 1502 0 143257 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 579056
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24319
/proc/meminfo: memFree=27067788/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579056 CPUtime=1482.33
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 453543 0 0 0 147993 240 0 0 25 0 1 0 26046413 592953344 139762 4089446400 4194304 10345943 140737420435648 18446744073709551615 5614585 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144764 139762 791 1502 0 143257 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 579056
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24321
/proc/meminfo: memFree=27026336/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579056 CPUtime=1542.33
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 453562 0 0 0 153987 246 0 0 25 0 1 0 26046413 592953344 139781 4089446400 4194304 10345943 140737420435648 18446744073709551615 4243897 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144764 139781 791 1502 0 143257 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 579056
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/179 24323
/proc/meminfo: memFree=26987488/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579528 CPUtime=1602.33
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 457563 0 0 0 159978 255 0 0 25 0 1 0 26046413 593436672 139645 4089446400 4194304 10345943 140737420435648 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144882 139645 791 1502 0 143375 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 579528
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24324
/proc/meminfo: memFree=26947024/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579728 CPUtime=1662.34
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 457704 0 0 0 165972 262 0 0 25 0 1 0 26046413 593641472 139786 4089446400 4194304 10345943 140737420435648 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144932 139786 791 1502 0 143425 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 579728
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24325
/proc/meminfo: memFree=26905932/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579728 CPUtime=1722.34
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 457741 0 0 0 171965 269 0 0 25 0 1 0 26046413 593641472 139823 4089446400 4194304 10345943 140737420435648 18446744073709551615 5614624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144932 139823 791 1502 0 143425 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 579728
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24327
/proc/meminfo: memFree=26865336/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579728 CPUtime=1782.34
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 457788 0 0 0 177957 277 0 0 25 0 1 0 26046413 593641472 139870 4089446400 4194304 10345943 140737420435648 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144932 139870 791 1502 0 143425 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 579728
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24327
/proc/meminfo: memFree=26862608/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579728 CPUtime=1785.54
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 457788 0 0 0 178277 277 0 0 25 0 1 0 26046413 593641472 139870 4089446400 4194304 10345943 140737420435648 18446744073709551615 9138404 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144932 139870 791 1502 0 143425 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 579728
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24327
/proc/meminfo: memFree=26861484/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579728 CPUtime=1788.74
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 457788 0 0 0 178597 277 0 0 25 0 1 0 26046413 593641472 139870 4089446400 4194304 10345943 140737420435648 18446744073709551615 5615616 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144932 139870 791 1502 0 143425 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 579728
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24327
/proc/meminfo: memFree=26861484/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579728 CPUtime=1789.53
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 457788 0 0 0 178676 277 0 0 25 0 1 0 26046413 593641472 139870 4089446400 4194304 10345943 140737420435648 18446744073709551615 5614673 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144932 139870 791 1502 0 143425 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (KiB) 579728
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24327
/proc/meminfo: memFree=26860492/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579728 CPUtime=1789.93
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 457788 0 0 0 178716 277 0 0 25 0 1 0 26046413 593641472 139870 4089446400 4194304 10345943 140737420435648 18446744073709551615 5085404 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24161/statm: 144932 139870 791 1502 0 143425 0
Current children cumulated CPU time (s) 1789.93
Current children cumulated vsize (KiB) 579728
[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24327
/proc/meminfo: memFree=26860492/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579728 CPUtime=1790.13
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 457789 0 0 0 178736 277 0 0 18 0 1 0 26046413 593641472 139871 4089446400 4194304 10345943 140737420435648 18446744073709551615 4706426 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24161/statm: 144932 139871 792 1502 0 143425 0
Current children cumulated CPU time (s) 1790.13
Current children cumulated vsize (KiB) 579728
[startup+1790.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 24327
/proc/meminfo: memFree=26860492/32951124 swapFree=67111528/67111528
[pid=24161] ppid=24159 vsize=579728 CPUtime=1790.23
/proc/24161/stat : 24161 (pbscip.linux.x8) R 24159 24161 23207 0 -1 4202496 457789 0 0 0 178746 277 0 0 18 0 1 0 26046413 593641472 139871 4089446400 4194304 10345943 140737420435648 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24161/statm: 144932 139871 792 1502 0 143425 0
Current children cumulated CPU time (s) 1790.23
Current children cumulated vsize (KiB) 579728
Child status: 0
Real time (s): 1790.24
CPU time (s): 1790.28
CPU user time (s): 1787.48
CPU system time (s): 2.80257
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 588360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.48
system time used= 2.80257
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 14511
runsolver used 3.11653 second user time and 6.53501 second system time
The end
Begin job on node138 at 2010-07-08 10:38:53
IDJOB=2705047
IDBENCH=79275
IDSOLVER=1214
FILE ID=node138/2705047-1278578333
PBS_JOBID= 11240179
Free space on /tmp= 73600 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705047-1278578333/watcher-2705047-1278578333 -o /tmp/evaluation-result-2705047-1278578333/solver-2705047-1278578333 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705047-1278578333.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a22634c1977478f126d9df874c90c256
RANDOM SEED=764370404
node138.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.845
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.845
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 : 5266.27
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.845
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.845
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.73
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.845
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.845
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.845
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.845
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.88
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 27866832 kB
Buffers: 160276 kB
Cached: 4049088 kB
SwapCached: 0 kB
Active: 2309044 kB
Inactive: 2605148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 27866832 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12860 kB
Writeback: 0 kB
AnonPages: 704584 kB
Mapped: 17684 kB
Slab: 105352 kB
PageTables: 6132 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 892556 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= 73588 MiB
End job on node138 at 2010-07-08 11:08:43