0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2693055-1277930566.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.09/0.13 o 136842
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.368420e+05
0.09/0.13 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 2707 implications, 0 cliques
0.09/0.19 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19 c 2707 constraints of type <indicator>
0.09/0.19 c 2707 constraints of type <linear>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.13
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c t 0.2s| 1 | 0 | 0 | - | 19M| 0 | 0 |5645 |5414 |5645 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 20 | - | 19M| 0 | 0 |5645 |5414 |5645 | 22 | 22 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 42 | - | 19M| 0 | 7 |5645 |5414 |5645 | 53 | 53 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 62 | - | 19M| 0 | 14 |5645 |5414 |5645 | 85 | 85 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 88 | - | 19M| 0 | 33 |5645 |5414 |5645 | 123 | 123 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 110 | - | 19M| 0 | 43 |5645 |5414 |5645 | 145 | 145 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 183 | - | 19M| 0 | 50 |5645 |5414 |5645 | 164 | 164 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
0.39/0.43 c 0.4s| 1 | 2 | 276 | - | 19M| 0 | 50 |5645 |5414 |5645 | 164 | 164 | 0 | 33 | 0.000000e+00 | 1.368420e+05 | Inf
15.59/15.66 c 15.2s| 10000 | 9997 | 2260 | 0.2 | 42M|2469 | 0 |5645 |5425 |5645 | 242 | 673 | 11 | 457 | 0.000000e+00 | 1.368420e+05 | Inf
31.29/31.35 c 30.5s| 20000 | 19997 | 4016 | 0.2 | 63M|2469 | 0 |5645 |5425 |5645 | 225 |1171 | 11 | 622 | 0.000000e+00 | 1.368420e+05 | Inf
46.50/46.55 c 45.4s| 30000 | 29997 | 5001 | 0.2 | 83M|2469 | 0 |5645 |5425 |5645 | 224 |1549 | 11 | 680 | 0.000000e+00 | 1.368420e+05 | Inf
61.19/61.21 c 59.7s| 40000 | 39997 | 6127 | 0.1 | 104M|2469 | 0 |5645 |5425 |5645 | 235 |1942 | 11 | 713 | 0.000000e+00 | 1.368420e+05 | Inf
76.18/76.21 c 74.4s| 50000 | 49993 | 6997 | 0.1 | 124M|2469 | 0 |5645 |5438 |5645 | 239 |2213 | 24 | 734 | 0.000000e+00 | 1.368420e+05 | Inf
84.69/84.76 o 629
84.69/84.76 c *82.7s| 55760 | 46891 | 7478 | 0.1 | 119M|2469 | - |5645 |5438 |5645 | 237 |2359 | 24 | 752 | 0.000000e+00 | 6.290000e+02 | Inf
92.29/92.35 c 90.1s| 60000 | 51116 | 9230 | 0.2 | 128M|2469 | 0 |5645 |5483 |5645 | 229 |2865 | 69 | 838 | 0.000000e+00 | 6.290000e+02 | Inf
92.68/92.77 o 537
92.68/92.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.68/92.77 c *90.5s| 60256 | 43678 | 9250 | 0.2 | 115M|2469 | - |5645 |5493 |5645 | 225 |2871 | 79 | 838 | 0.000000e+00 | 5.370000e+02 | Inf
94.38/94.47 o 525
94.38/94.47 c *92.2s| 61002 | 42626 | 9875 | 0.2 | 114M|2469 | - |5645 |5627 |5645 | 233 |3076 | 213 | 848 | 0.000000e+00 | 5.250000e+02 | Inf
95.59/95.61 o 471
95.59/95.61 c *93.3s| 61567 | 36178 | 10198 | 0.2 | 101M|2469 | - |5645 |5680 |5645 | 243 |3159 | 266 | 851 | 0.000000e+00 | 4.710000e+02 | Inf
96.48/96.53 o 433
96.48/96.53 c *94.2s| 61995 | 32358 | 10762 | 0.2 | 94M|2469 | - |5645 |5736 |5645 | 253 |3323 | 322 | 853 | 0.000000e+00 | 4.330000e+02 | Inf
96.98/97.03 o 417
96.98/97.03 c *94.7s| 62144 | 30975 | 11288 | 0.2 | 91M|2469 | - |5645 |5814 |5645 | 224 |3451 | 400 | 871 | 0.000000e+00 | 4.170000e+02 | Inf
101.09/101.17 o 411
101.09/101.17 c *98.7s| 63631 | 31737 | 14182 | 0.2 | 94M|2469 | - |5645 |6386 |5645 | 263 |4455 | 972 | 932 | 0.000000e+00 | 4.110000e+02 | Inf
102.38/102.47 o 401
102.38/102.47 c * 100s| 64170 | 31228 | 14856 | 0.2 | 94M|2469 | - |5645 |6560 |5645 | 256 |4627 |1146 | 942 | 0.000000e+00 | 4.010000e+02 | Inf
104.08/104.19 o 394
104.08/104.19 c * 102s| 64801 | 31103 | 15990 | 0.2 | 95M|2469 | - |5645 |6855 |5645 | 200 |4960 |1441 | 947 | 0.000000e+00 | 3.940000e+02 | Inf
104.18/104.24 o 392
104.18/104.24 c * 102s| 64824 | 30952 | 15999 | 0.2 | 95M|2469 | - |5645 |6855 |5645 | 200 |4960 |1441 | 947 | 0.000000e+00 | 3.920000e+02 | Inf
106.38/106.49 o 385
106.38/106.49 c * 104s| 65620 | 30774 | 18228 | 0.3 | 96M|2469 | - |5645 |7161 |5645 | 219 |5430 |1747 | 985 | 0.000000e+00 | 3.850000e+02 | Inf
109.28/109.31 o 366
109.28/109.31 c * 107s| 66779 | 29428 | 20059 | 0.3 | 94M|2469 | - |5645 |7764 |5645 | 265 |6019 |2350 |1012 | 0.000000e+00 | 3.660000e+02 | Inf
111.18/111.20 o 362
111.18/111.20 c * 108s| 67487 | 29501 | 21087 | 0.3 | 96M|2469 | - |5645 |7996 |5645 | 252 |6380 |2582 |1048 | 0.000000e+00 | 3.620000e+02 | Inf
111.18/111.21 o 357
111.18/111.21 c * 108s| 67488 | 28901 | 21087 | 0.3 | 94M|2469 | - |5645 |7996 |5645 | 252 |6380 |2582 |1048 | 0.000000e+00 | 3.570000e+02 | Inf
114.38/114.42 o 345
114.38/114.42 c * 112s| 68586 | 28239 | 23710 | 0.3 | 95M|2469 | - |5645 |8599 |5645 | 239 |7120 |3197 |1075 | 0.000000e+00 | 3.450000e+02 | Inf
114.38/114.43 o 343
114.38/114.43 c * 112s| 68587 | 27992 | 23710 | 0.3 | 94M|2469 | - |5645 |8599 |5645 | 239 |7120 |3197 |1075 | 0.000000e+00 | 3.430000e+02 | Inf
116.78/116.84 o 320
116.78/116.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.78/116.84 c * 114s| 69539 | 26167 | 25237 | 0.4 | 90M|2469 | - |5645 |8911 |5645 | 268 |7570 |3543 |1085 | 0.000000e+00 | 3.200000e+02 | Inf
117.88/117.97 c 115s| 70000 | 26549 | 26087 | 0.4 | 91M|2469 | 0 |5645 |9194 |5645 | 272 |7850 |3853 |1090 | 0.000000e+00 | 3.200000e+02 | Inf
119.98/120.08 o 316
119.98/120.08 c * 117s| 70747 | 26647 | 27710 | 0.4 | 93M|2469 | - |5645 |9582 |5645 | 209 |8259 |4344 |1103 | 0.000000e+00 | 3.160000e+02 | Inf
120.08/120.17 o 302
120.08/120.17 c * 117s| 70839 | 25057 | 27710 | 0.4 | 88M|2469 | - |5645 |9582 |5645 | 209 |8259 |4344 |1103 | 0.000000e+00 | 3.020000e+02 | Inf
123.18/123.23 o 284
123.18/123.23 c * 120s| 71756 | 23407 | 31058 | 0.4 | 87M|2469 | - |5645 |9971 |5645 | 262 |9334 |5003 |1196 | 0.000000e+00 | 2.840000e+02 | Inf
128.48/128.59 o 275
128.48/128.59 c * 125s| 73500 | 23550 | 35815 | 0.5 | 90M|2469 | - |5645 | 10k|5645 | 223 | 10k|6139 |1235 | 0.000000e+00 | 2.750000e+02 | Inf
148.78/148.87 c 145s| 80000 | 28507 | 52799 | 0.7 | 113M|2469 | 0 |5645 |8866 |5645 | 292 | 15k| 11k|1304 | 0.000000e+00 | 2.750000e+02 | Inf
150.08/150.17 o 272
150.08/150.17 c * 146s| 80378 | 28319 | 53770 | 0.7 | 114M|2469 | - |5645 |8660 |5645 | 249 | 16k| 11k|1305 | 0.000000e+00 | 2.720000e+02 | Inf
154.77/154.87 o 269
154.77/154.87 c * 151s| 81641 | 28801 | 60024 | 0.7 | 117M|2469 | - |5645 |7721 |5645 | 263 | 18k| 12k|1390 | 0.000000e+00 | 2.690000e+02 | Inf
156.98/157.08 o 264
156.98/157.08 c * 153s| 82274 | 28526 | 62615 | 0.8 | 117M|2469 | - |5645 |7554 |5645 | 302 | 19k| 12k|1406 | 0.000000e+00 | 2.640000e+02 | Inf
164.28/164.35 o 255
164.28/164.35 c * 160s| 84843 | 29253 | 67197 | 0.8 | 122M|2469 | - |5645 |8462 |5645 | 247 | 20k| 14k|1417 | 0.000000e+00 | 2.550000e+02 | Inf
167.88/167.97 o 253
167.88/167.97 c * 164s| 85841 | 29735 | 71011 | 0.8 | 125M|2469 | - |5645 |8154 |5645 | 249 | 21k| 14k|1466 | 0.000000e+00 | 2.530000e+02 | Inf
169.28/169.31 o 235
169.28/169.31 c * 165s| 86214 | 27128 | 72472 | 0.8 | 119M|2469 | - |5645 |8121 |5645 | 274 | 22k| 14k|1487 | 0.000000e+00 | 2.350000e+02 | Inf
169.28/169.32 o 220
169.28/169.32 c * 165s| 86215 | 24767 | 72472 | 0.8 | 111M|2469 | - |5645 |8121 |5645 | 274 | 22k| 14k|1487 | 0.000000e+00 | 2.200000e+02 | Inf
169.88/169.92 o 216
169.88/169.92 c * 166s| 86399 | 24244 | 73093 | 0.8 | 110M|2469 | - |5645 |8170 |5645 | 245 | 22k| 15k|1502 | 0.000000e+00 | 2.160000e+02 | Inf
169.88/169.93 o 212
169.88/169.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.88/169.93 c * 166s| 86400 | 23423 | 73093 | 0.8 | 106M|2469 | - |5645 |8170 |5645 | 245 | 22k| 15k|1502 | 0.000000e+00 | 2.120000e+02 | Inf
170.28/170.37 o 206
170.28/170.37 c * 166s| 86567 | 22576 | 73496 | 0.8 | 103M|2469 | - |5645 |8206 |5645 | 281 | 22k| 15k|1511 | 0.000000e+00 | 2.060000e+02 | Inf
170.39/170.49 o 199
170.39/170.49 c * 166s| 86681 | 21270 | 73507 | 0.8 | 98M|2469 | - |5645 |8204 |5645 | 281 | 22k| 15k|1511 | 0.000000e+00 | 1.990000e+02 | Inf
171.59/171.63 o 198
171.59/171.63 c * 167s| 87024 | 21371 | 74416 | 0.9 | 98M|2469 | - |5645 |8210 |5645 | 267 | 22k| 15k|1528 | 0.000000e+00 | 1.980000e+02 | Inf
171.59/171.63 o 194
171.59/171.63 c * 167s| 87025 | 20571 | 74416 | 0.9 | 93M|2469 | - |5645 |8210 |5645 | 267 | 22k| 15k|1528 | 0.000000e+00 | 1.940000e+02 | Inf
175.18/175.22 o 177
175.18/175.22 c * 171s| 88125 | 18114 | 76876 | 0.9 | 85M|2469 | - |5645 |8445 |5645 | 245 | 23k| 16k|1540 | 0.000000e+00 | 1.770000e+02 | Inf
177.78/177.85 o 175
177.78/177.85 c * 173s| 88729 | 18039 | 80265 | 0.9 | 87M|2469 | - |5645 |7968 |5645 | 268 | 24k| 16k|1582 | 0.000000e+00 | 1.750000e+02 | Inf
182.59/182.61 c 178s| 90000 | 18847 | 85687 | 1.0 | 92M|2469 | 0 |5645 |7657 |5645 | 271 | 26k| 17k|1652 | 0.000000e+00 | 1.750000e+02 | Inf
195.88/195.90 o 166
195.88/195.90 c * 191s| 93831 | 19737 | 98015 | 1.0 | 101M|2469 | - |5645 |7788 |5645 | 270 | 30k| 20k|1746 | 0.000000e+00 | 1.660000e+02 | Inf
199.38/199.44 o 160
199.38/199.44 c * 195s| 94748 | 19024 |101680 | 1.1 | 100M|2469 | - |5645 |7291 |5645 | 205 | 31k| 20k|1785 | 0.000000e+00 | 1.600000e+02 | Inf
200.58/200.69 o 156
200.58/200.69 c * 196s| 94979 | 18367 |103560 | 1.1 | 99M|2469 | - |5645 |7102 |5645 | 229 | 32k| 20k|1805 | 0.000000e+00 | 1.560000e+02 | Inf
200.68/200.75 o 150
200.68/200.75 c * 196s| 94987 | 17499 |103760 | 1.1 | 97M|2469 | - |5645 |7078 |5645 | 215 | 32k| 20k|1810 | 0.000000e+00 | 1.500000e+02 | Inf
200.88/200.99 o 147
200.88/200.99 c * 196s| 95034 | 16993 |104349 | 1.1 | 96M|2469 | - |5645 |7033 |5645 | 234 | 32k| 20k|1821 | 0.000000e+00 | 1.470000e+02 | Inf
204.98/205.07 o 146
204.98/205.07 c * 200s| 96057 | 17420 |109150 | 1.1 | 100M|2469 | - |5645 |7115 |5645 | 229 | 34k| 21k|1872 | 0.000000e+00 | 1.460000e+02 | Inf
204.98/205.08 o 145
204.98/205.08 c * 200s| 96058 | 17256 |109150 | 1.1 | 99M|2469 | - |5645 |7115 |5645 | 229 | 34k| 21k|1872 | 0.000000e+00 | 1.450000e+02 | Inf
212.98/213.05 o 123
212.98/213.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.98/213.05 c * 208s| 98311 | 15362 |117783 | 1.2 | 97M|2469 | - |5645 |7689 |5645 | 265 | 36k| 23k|1939 | 0.000000e+00 | 1.230000e+02 | Inf
213.49/213.57 o 109
213.49/213.57 c * 208s| 98515 | 13321 |118221 | 1.2 | 88M|2469 | - |5645 |7660 |5645 | 206 | 36k| 23k|1942 | 0.000000e+00 | 1.090000e+02 | Inf
213.98/214.01 o 98
213.98/214.01 c * 209s| 98621 | 11803 |118730 | 1.2 | 79M|2469 | - |5645 |7674 |5645 | 238 | 36k| 23k|1947 | 0.000000e+00 | 9.800000e+01 | Inf
213.98/214.08 o 96
213.98/214.08 c * 209s| 98632 | 11428 |118859 | 1.2 | 78M|2469 | - |5645 |7553 |5645 | 241 | 36k| 23k|1950 | 0.000000e+00 | 9.600000e+01 | Inf
218.08/218.10 o 95
218.08/218.10 c * 213s| 99486 | 11111 |122966 | 1.2 | 77M|2469 | - |5645 |6780 |5645 | 204 | 38k| 24k|1993 | 0.000000e+00 | 9.500000e+01 | Inf
220.28/220.31 c 215s|100000 | 11392 |125391 | 1.3 | 79M|2469 | - |5645 |6530 | 0 | 0 | 38k| 24k|2031 | 0.000000e+00 | 9.500000e+01 | Inf
256.38/256.47 c 250s|110000 | 16999 |158925 | 1.4 | 117M|2469 | - |5645 |8237 | 0 | 0 | 48k| 33k|2327 | 0.000000e+00 | 9.500000e+01 | Inf
292.78/292.82 o 89
292.78/292.82 c * 286s|119772 | 20515 |191968 | 1.6 | 149M|2469 | - |5645 |8490 |5645 | 251 | 56k| 42k|2612 | 0.000000e+00 | 8.900000e+01 | Inf
293.69/293.71 c 286s|120000 | 20665 |192710 | 1.6 | 150M|2469 | 0 |5645 |8343 |5645 | 215 | 56k| 42k|2612 | 0.000000e+00 | 8.900000e+01 | Inf
331.29/331.38 c 323s|130000 | 25230 |226872 | 1.7 | 189M|2469 | 0 |5645 |8996 |5645 | 266 | 65k| 53k|2846 | 0.000000e+00 | 8.900000e+01 | Inf
369.38/369.45 c 360s|140000 | 29515 |261986 | 1.9 | 224M|2469 | 0 |5645 |8435 |5645 | 247 | 75k| 64k|3056 | 0.000000e+00 | 8.900000e+01 | Inf
410.30/410.38 c 400s|150000 | 33715 |300422 | 2.0 | 259M|2469 | - |5645 |7935 | 0 | 0 | 86k| 74k|3248 | 0.000000e+00 | 8.900000e+01 | Inf
429.59/429.60 o 83
429.59/429.60 c * 419s|154873 | 34292 |316839 | 2.0 | 274M|2469 | - |5645 |8458 |5645 | 261 | 91k| 79k|3323 | 0.000000e+00 | 8.300000e+01 | Inf
450.68/450.70 c 439s|160000 | 35934 |337643 | 2.1 | 292M|2469 | - |5645 |7118 | 0 | 0 | 96k| 85k|3439 | 0.000000e+00 | 8.300000e+01 | Inf
489.79/489.80 c 478s|170000 | 39750 |374304 | 2.2 | 325M|2469 | 0 |5645 |7872 |5645 | 239 | 106k| 96k|3614 | 0.000000e+00 | 8.300000e+01 | Inf
528.29/528.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
528.29/528.36 c 515s|180000 | 43097 |410258 | 2.3 | 358M|2469 | 1 |5645 |7913 |5645 | 221 | 116k| 107k|3793 | 0.000000e+00 | 8.300000e+01 | Inf
541.59/541.61 o 74
541.59/541.61 c * 528s|183649 | 41020 |422154 | 2.3 | 353M|2469 | - |5645 |9782 |5645 | 275 | 119k| 112k|3852 | 0.000000e+00 | 7.400000e+01 | Inf
568.69/568.80 c 555s|190000 | 42492 |451165 | 2.4 | 368M|2469 | 0 |5645 |7891 |5645 | 224 | 127k| 120k|3979 | 0.000000e+00 | 7.400000e+01 | Inf
608.89/608.91 c 594s|200000 | 44396 |492764 | 2.5 | 393M|2469 | 0 |5645 |7421 |5645 | 295 | 137k| 132k|4166 | 0.000000e+00 | 7.400000e+01 | Inf
624.90/624.98 o 70
624.90/624.98 c * 609s|204398 | 43211 |508016 | 2.5 | 395M|2469 | - |5645 |9873 |5645 | 306 | 140k| 140k|4226 | 0.000000e+00 | 7.000000e+01 | Inf
636.19/636.26 o 64
636.19/636.26 c * 620s|207807 | 41215 |516983 | 2.5 | 379M|2469 | - |5645 | 11k|5645 | 292 | 142k| 147k|4265 | 0.000000e+00 | 6.400000e+01 | Inf
644.20/644.28 c 628s|210000 | 41662 |524822 | 2.5 | 383M|2469 | 0 |5645 | 10k|5645 | 290 | 144k| 150k|4286 | 0.000000e+00 | 6.400000e+01 | Inf
679.00/679.03 c 662s|220000 | 43172 |559270 | 2.5 | 400M|2469 | - |5645 |8250 | 0 | 0 | 152k| 162k|4421 | 0.000000e+00 | 6.400000e+01 | Inf
715.89/715.92 c 698s|230000 | 44248 |601260 | 2.6 | 416M|2469 | 1 |5645 |9609 |5645 | 282 | 162k| 174k|4566 | 0.000000e+00 | 6.400000e+01 | Inf
750.30/750.35 c 731s|240000 | 45261 |636165 | 2.6 | 430M|2469 | 7 |5645 |9294 |5645 | 280 | 170k| 186k|4652 | 0.000000e+00 | 6.400000e+01 | Inf
768.50/768.57 o 55
768.50/768.57 c * 749s|245164 | 44138 |655299 | 2.7 | 428M|2469 | - |5645 | 10k|5645 | 250 | 175k| 193k|4702 | 0.000000e+00 | 5.500000e+01 | Inf
783.70/783.73 c 764s|250000 | 44664 |672641 | 2.7 | 434M|2469 | 4 |5645 |9404 |5645 | 238 | 180k| 199k|4754 | 0.000000e+00 | 5.500000e+01 | Inf
811.80/811.82 o 54
811.80/811.82 c * 791s|259161 | 45051 |707087 | 2.7 | 443M|2469 | - |5645 |9436 |5645 | 268 | 188k| 211k|4865 | 0.000000e+00 | 5.400000e+01 | Inf
814.01/814.05 c 793s|260000 | 45072 |709348 | 2.7 | 443M|2469 | - |5645 |9377 | 0 | 0 | 188k| 212k|4866 | 0.000000e+00 | 5.400000e+01 | Inf
844.30/844.31 c 822s|270000 | 45580 |742537 | 2.7 | 453M|2469 | - |5645 |8792 | 0 | 0 | 196k| 226k|4990 | 0.000000e+00 | 5.400000e+01 | Inf
873.70/873.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
873.70/873.71 c 851s|280000 | 46144 |776612 | 2.8 | 462M|2469 | 1 |5645 |9299 |5645 | 224 | 204k| 239k|5092 | 0.000000e+00 | 5.400000e+01 | Inf
885.50/885.53 o 41
885.50/885.53 c * 862s|284243 | 39847 |787916 | 2.8 | 411M|2469 | - |5645 |9902 |5645 | 228 | 206k| 243k|5111 | 0.000000e+00 | 4.100000e+01 | Inf
900.30/900.31 c 876s|290000 | 39876 |806636 | 2.8 | 415M|2469 | 1 |5645 |8494 |5645 | 238 | 210k| 251k|5183 | 0.000000e+00 | 4.100000e+01 | Inf
907.70/907.73 o 37
907.70/907.73 c * 884s|293201 | 38495 |814106 | 2.8 | 400M|2469 | - |5645 |8752 |5645 | 241 | 211k| 255k|5205 | 0.000000e+00 | 3.700000e+01 | Inf
907.70/907.74 o 33
907.70/907.74 c * 884s|293202 | 37662 |814106 | 2.8 | 387M|2469 | - |5645 |8752 |5645 | 241 | 211k| 255k|5205 | 0.000000e+00 | 3.300000e+01 | Inf
922.91/922.96 c 898s|300000 | 37811 |832372 | 2.8 | 390M|2469 | 18 |5645 |8665 |5645 | 220 | 214k| 264k|5256 | 0.000000e+00 | 3.300000e+01 | Inf
945.20/945.27 c 920s|310000 | 37928 |860890 | 2.8 | 393M|2469 | - |5645 |9748 | 0 | 0 | 220k| 277k|5308 | 0.000000e+00 | 3.300000e+01 | Inf
968.90/968.99 c 943s|320000 | 37693 |892258 | 2.8 | 395M|2469 | 1 |5645 |8525 |5645 | 242 | 225k| 291k|5481 | 0.000000e+00 | 3.300000e+01 | Inf
988.31/988.37 o 31
988.31/988.37 c * 961s|328585 | 37254 |918752 | 2.8 | 394M|2469 | - |5645 |9161 |5645 | 267 | 229k| 303k|5540 | 0.000000e+00 | 3.100000e+01 | Inf
991.40/991.44 c 964s|330000 | 37259 |922053 | 2.8 | 394M|2469 | 11 |5645 |9570 |5645 | 290 | 230k| 305k|5542 | 0.000000e+00 | 3.100000e+01 | Inf
1009.31/1009.31 o 22
1009.31/1009.31 c * 981s|337900 | 33537 |945148 | 2.8 | 329M|2469 | - |5645 |8826 |5645 | 242 | 234k| 315k|5594 | 0.000000e+00 | 2.200000e+01 | Inf
1013.90/1013.99 c 986s|340000 | 33342 |951677 | 2.8 | 329M|2469 | 1 |5645 |8092 |5645 | 278 | 235k| 318k|5603 | 0.000000e+00 | 2.200000e+01 | Inf
1035.21/1035.27 c 1006s|350000 | 33231 |983779 | 2.8 | 332M|2469 | 7 |5645 |8602 |5645 | 224 | 240k| 331k|5699 | 0.000000e+00 | 2.200000e+01 | Inf
1056.10/1056.14 c 1026s|360000 | 32924 | 1013k| 2.8 | 333M|2469 | - |5645 |8632 | 0 | 0 | 244k| 344k|5751 | 0.000000e+00 | 2.200000e+01 | Inf
1077.91/1077.93 c 1047s|370000 | 33022 | 1047k| 2.8 | 336M|2469 | 10 |5645 | 10k|5645 | 252 | 249k| 357k|5847 | 0.000000e+00 | 2.200000e+01 | Inf
1099.21/1099.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1099.21/1099.25 c 1068s|380000 | 33067 | 1082k| 2.8 | 338M|2469 | - |5645 |9722 | 0 | 0 | 254k| 370k|5919 | 0.000000e+00 | 2.200000e+01 | Inf
1120.21/1120.26 c 1088s|390000 | 33219 | 1115k| 2.9 | 341M|2469 | - |5645 | 11k| 0 | 0 | 258k| 383k|5983 | 0.000000e+00 | 2.200000e+01 | Inf
1141.51/1141.53 c 1109s|400000 | 33243 | 1147k| 2.9 | 343M|2469 | 1 |5645 | 12k|5645 | 205 | 262k| 396k|6048 | 0.000000e+00 | 2.200000e+01 | Inf
1162.71/1162.75 c 1129s|410000 | 33291 | 1180k| 2.9 | 345M|2469 | 1 |5645 | 11k|5645 | 271 | 266k| 410k|6146 | 0.000000e+00 | 2.200000e+01 | Inf
1183.91/1183.98 c 1150s|420000 | 33446 | 1213k| 2.9 | 347M|2469 | 24 |5645 | 12k|5645 | 250 | 271k| 423k|6199 | 0.000000e+00 | 2.200000e+01 | Inf
1205.11/1205.13 c 1170s|430000 | 33495 | 1246k| 2.9 | 349M|2469 | 1 |5645 | 11k|5645 | 254 | 276k| 437k|6245 | 0.000000e+00 | 2.200000e+01 | Inf
1226.52/1226.51 c 1191s|440000 | 33501 | 1279k| 2.9 | 351M|2469 | - |5645 | 12k| 0 | 0 | 280k| 450k|6325 | 0.000000e+00 | 2.200000e+01 | Inf
1248.41/1248.42 c 1212s|450000 | 33582 | 1313k| 2.9 | 353M|2469 | - |5645 | 12k| 0 | 0 | 284k| 463k|6402 | 0.000000e+00 | 2.200000e+01 | Inf
1269.81/1269.83 c 1233s|460000 | 33620 | 1346k| 2.9 | 355M|2469 | - |5645 | 13k| 0 | 0 | 288k| 477k|6464 | 0.000000e+00 | 2.200000e+01 | Inf
1285.01/1285.07 o 21
1285.01/1285.07 c *1247s|467104 | 32811 | 1370k| 2.9 | 343M|2469 | - |5645 | 12k|5645 | 222 | 291k| 487k|6513 | 0.000000e+00 | 2.100000e+01 | Inf
1291.11/1291.17 c 1253s|470000 | 32843 | 1380k| 2.9 | 344M|2469 | - |5645 | 12k| 0 | 0 | 292k| 491k|6518 | 0.000000e+00 | 2.100000e+01 | Inf
1312.81/1312.81 c 1274s|480000 | 33016 | 1415k| 2.9 | 346M|2469 | 1 |5645 | 13k|5645 | 245 | 297k| 504k|6565 | 0.000000e+00 | 2.100000e+01 | Inf
1334.32/1334.35 c 1295s|490000 | 33060 | 1446k| 3.0 | 348M|2469 | - |5645 | 14k| 0 | 0 | 301k| 518k|6621 | 0.000000e+00 | 2.100000e+01 | Inf
1356.02/1356.06 c 1316s|500000 | 32955 | 1479k| 3.0 | 349M|2469 | 1 |5645 | 12k|5645 | 205 | 305k| 532k|6689 | 0.000000e+00 | 2.100000e+01 | Inf
1377.41/1377.41 c 1337s|510000 | 32582 | 1512k| 3.0 | 348M|2469 | 1 |5645 |9684 |5645 | 289 | 310k| 546k|6862 | 0.000000e+00 | 2.100000e+01 | Inf
1398.31/1398.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.31/1398.36 c 1357s|520000 | 32494 | 1545k| 3.0 | 349M|2469 | 1 |5645 |8890 |5645 | 224 | 314k| 560k|6905 | 0.000000e+00 | 2.100000e+01 | Inf
1419.31/1419.31 c 1377s|530000 | 32181 | 1581k| 3.0 | 348M|2469 | 1 |5645 |8677 |5645 | 212 | 319k| 574k|6977 | 0.000000e+00 | 2.100000e+01 | Inf
1440.41/1440.44 c 1397s|540000 | 31853 | 1613k| 3.0 | 349M|2469 | - |5645 |9302 | 0 | 0 | 323k| 586k|7057 | 0.000000e+00 | 2.100000e+01 | Inf
1460.72/1460.72 c 1417s|550000 | 31817 | 1643k| 3.0 | 352M|2469 | - |5645 | 13k| 0 | 0 | 326k| 600k|7158 | 0.000000e+00 | 2.100000e+01 | Inf
1482.31/1482.32 c 1438s|560000 | 31843 | 1674k| 3.0 | 354M|2469 | 4 |5645 | 12k|5645 | 221 | 331k| 613k|7199 | 0.000000e+00 | 2.100000e+01 | Inf
1504.42/1504.47 c 1459s|570000 | 31894 | 1705k| 3.0 | 357M|2469 | - |5645 | 16k| 0 | 0 | 334k| 626k|7255 | 0.000000e+00 | 2.100000e+01 | Inf
1505.72/1505.75 o 19
1505.72/1505.75 c *1461s|570570 | 30430 | 1706k| 3.0 | 334M|2469 | - |5645 | 16k|5645 | 273 | 334k| 627k|7256 | 0.000000e+00 | 1.900000e+01 | Inf
1526.22/1526.24 c 1480s|580000 | 30379 | 1739k| 3.0 | 335M|2469 | 1 |5645 | 10k|5645 | 241 | 337k| 639k|7313 | 0.000000e+00 | 1.900000e+01 | Inf
1547.12/1547.11 c 1501s|590000 | 30375 | 1772k| 3.0 | 337M|2469 | - |5645 | 12k| 0 | 0 | 342k| 652k|7353 | 0.000000e+00 | 1.900000e+01 | Inf
1568.62/1568.68 c 1521s|600000 | 30458 | 1804k| 3.0 | 339M|2469 | - |5645 | 12k| 0 | 0 | 345k| 665k|7397 | 0.000000e+00 | 1.900000e+01 | Inf
1590.53/1590.56 c 1542s|610000 | 30526 | 1836k| 3.0 | 342M|2469 | 5 |5645 | 13k|5645 | 251 | 349k| 679k|7441 | 0.000000e+00 | 1.900000e+01 | Inf
1612.12/1612.19 c 1563s|620000 | 30495 | 1866k| 3.0 | 344M|2469 | - |5645 | 13k| 0 | 0 | 353k| 692k|7480 | 0.000000e+00 | 1.900000e+01 | Inf
1634.13/1634.16 c 1585s|630000 | 30503 | 1899k| 3.0 | 346M|2469 | - |5645 | 15k| 0 | 0 | 357k| 705k|7521 | 0.000000e+00 | 1.900000e+01 | Inf
1655.62/1655.63 c 1605s|640000 | 30551 | 1929k| 3.0 | 348M|2469 | 1 |5645 | 14k|5645 | 229 | 360k| 718k|7563 | 0.000000e+00 | 1.900000e+01 | Inf
1677.92/1677.91 c 1627s|650000 | 30507 | 1960k| 3.0 | 349M|2469 | - |5645 | 15k| 0 | 0 | 364k| 732k|7609 | 0.000000e+00 | 1.900000e+01 | Inf
1700.13/1700.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.13/1700.16 c 1648s|660000 | 30439 | 1993k| 3.0 | 350M|2469 | - |5645 | 13k| 0 | 0 | 367k| 747k|7680 | 0.000000e+00 | 1.900000e+01 | Inf
1720.93/1720.98 c 1668s|670000 | 30520 | 2022k| 3.0 | 353M|2469 | - |5645 | 13k| 0 | 0 | 371k| 759k|7700 | 0.000000e+00 | 1.900000e+01 | Inf
1741.72/1741.78 c 1689s|680000 | 30610 | 2050k| 3.0 | 356M|2469 | - |5645 | 15k| 0 | 0 | 375k| 772k|7735 | 0.000000e+00 | 1.900000e+01 | Inf
1763.23/1763.30 c 1709s|690000 | 30674 | 2081k| 3.0 | 358M|2469 | 12 |5645 | 15k|5645 | 233 | 379k| 785k|7764 | 0.000000e+00 | 1.900000e+01 | Inf
1785.13/1785.11 c 1730s|700000 | 30692 | 2109k| 3.0 | 361M|2469 | 1 |5645 | 16k|5645 | 232 | 382k| 798k|7803 | 0.000000e+00 | 1.900000e+01 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1744.93
1800.03/1800.00 c Solving Nodes : 706871
1800.03/1800.00 c Primal Bound : +1.90000000000000e+01 (586 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.09 s SATISFIABLE
1800.03/1800.09 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.09 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.09 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.09 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 x147
1800.03/1800.09 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.09 v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105
1800.03/1800.09 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1800.03/1800.09 v -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.03/1800.09 v -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.03/1800.09 v -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.03/1800.09 v x2 -x1
1800.03/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.09 c Solving Time : 1744.93
1800.03/1800.09 c Original Problem :
1800.03/1800.09 c Problem name : HOME/instance-2693055-1277930566.wbo
1800.03/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.03/1800.09 c Presolved Problem :
1800.03/1800.09 c Problem name : t_HOME/instance-2693055-1277930566.wbo
1800.03/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09 c Constraints : 5414 initial, 18253 maximal
1800.03/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.03/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c root node : - 2206 - - 4412 - - - -
1800.03/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.09 c integral : 0 0 0 514554 0 5 444 0 0 582774
1800.03/1800.09 c indicator : 2707 0 4090716 222683 0 2012 30175267 0 0 0
1800.03/1800.09 c linear : 2707 6 4095005 222411 0 181304 15819849 384438 0 0
1800.03/1800.09 c logicor : 0+ 0 1217956 0 0 54691 1268883 0 0 0
1800.03/1800.09 c bounddisjunction : 0+ 0 50075 0 0 0 1440 0 0 0
1800.03/1800.09 c countsols : 0 0 0 153015 0 0 0 0 0 0
1800.03/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.09 c integral : 13.05 0.00 0.00 13.05 0.00
1800.03/1800.09 c indicator : 133.53 0.00 85.70 47.83 0.00
1800.03/1800.09 c linear : 182.84 0.00 158.35 24.49 0.00
1800.03/1800.09 c logicor : 94.75 0.00 94.75 0.00 0.00
1800.03/1800.09 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.03/1800.09 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.09 c vbounds : 0.01 2 0 0
1800.03/1800.09 c rootredcost : 0.01 62 0 2206
1800.03/1800.09 c pseudoobj : 255.80 4151329 53793 19952691
1800.03/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.09 c propagation : 22.31 289788 289718 1828619 27.4 52285 7.6 -
1800.03/1800.09 c infeasible LP : 2.86 7654 7654 66328 41.1 237 11.1 0
1800.03/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.09 c pseudo solution : 0.35 1261 1261 4466 11.2 1158 6.0 -
1800.03/1800.09 c applied globally : - - - 807270 21.2 - - -
1800.03/1800.09 c applied locally : - - - 0 0.0 - - -
1800.03/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.09 c cut pool : 0.00 3 - - 2 - (maximal pool size: 74)
1800.03/1800.09 c redcost : 62.33 532246 0 9810687 0 0
1800.03/1800.09 c impliedbounds : 0.00 4 0 0 0 0
1800.03/1800.09 c intobj : 0.00 0 0 0 0 0
1800.03/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.09 c gomory : 0.01 4 0 0 75 0
1800.03/1800.09 c strongcg : 0.00 4 0 0 0 0
1800.03/1800.09 c cmir : 0.00 4 0 0 1 0
1800.03/1800.09 c flowcover : 0.04 4 0 0 2 0
1800.03/1800.09 c clique : 0.00 1 0 0 0 0
1800.03/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.09 c mcf : 0.00 1 0 0 0 0
1800.03/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.09 c Pricers : Time Calls Vars
1800.03/1800.09 c problem variables: 0.00 0 0
1800.03/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.09 c relpscost : 12.93 291782 5 444 0 0 582774
1800.03/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.09 c inference : 42.60 152953 0 0 0 0 305906
1800.03/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.09 c random : 0.00 0 0 0 0 0 0
1800.03/1800.09 c Primal Heuristics : Time Calls Found
1800.03/1800.09 c LP solutions : 0.31 - 62
1800.03/1800.09 c pseudo solutions : 0.00 - 0
1800.03/1800.09 c feaspump : 0.00 0 0
1800.03/1800.09 c intshifting : 0.01 2 0
1800.03/1800.09 c oneopt : 0.39 55 0
1800.03/1800.09 c guideddiving : 0.07 23 0
1800.03/1800.09 c coefdiving : 0.07 66 0
1800.03/1800.09 c pscostdiving : 0.08 66 0
1800.03/1800.09 c fracdiving : 0.09 66 0
1800.03/1800.09 c veclendiving : 0.10 66 0
1800.03/1800.09 c linesearchdiving : 0.13 66 0
1800.03/1800.09 c rootsoldiving : 0.04 65 0
1800.03/1800.09 c objpscostdiving : 0.17 66 0
1800.03/1800.09 c crossover : 3.28 108 4
1800.03/1800.09 c trivial : 0.09 2 2
1800.03/1800.09 c simplerounding : 0.59 297177 0
1800.03/1800.09 c zirounding : 0.30 1000 0
1800.03/1800.09 c rounding : 4.40 7669 0
1800.03/1800.09 c shifting : 2.49 2402 0
1800.03/1800.09 c twoopt : 0.00 0 0
1800.03/1800.09 c fixandinfer : 0.00 0 0
1800.03/1800.09 c intdiving : 0.00 0 0
1800.03/1800.09 c actconsdiving : 0.00 0 0
1800.03/1800.09 c octane : 0.00 0 0
1800.03/1800.09 c rens : 0.02 1 0
1800.03/1800.09 c rins : 0.00 0 0
1800.03/1800.09 c localbranching : 0.00 0 0
1800.03/1800.09 c mutation : 0.00 0 0
1800.03/1800.09 c dins : 0.00 0 0
1800.03/1800.09 c undercover : 0.00 0 0
1800.03/1800.09 c nlp : 0.01 0 0
1800.03/1800.09 c trysol : 4.60 7117 518
1800.03/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.09 c dual LP : 512.54 398736 2127354 5.34 4150.61
1800.03/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.09 c diving/probing LP: 0.15 62 1870 30.16 12466.67
1800.03/1800.09 c strong branching : 10.88 7835 74104 9.46 6811.03
1800.03/1800.09 c (at root node) : - 33 1884 57.09 -
1800.03/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.09 c B&B Tree :
1800.03/1800.09 c number of runs : 1
1800.03/1800.09 c nodes : 706871
1800.03/1800.09 c nodes (total) : 706871
1800.03/1800.09 c nodes left : 30636
1800.03/1800.09 c max depth : 2469
1800.03/1800.09 c max depth (total): 2469
1800.03/1800.09 c backtracks : 50093 (7.1%)
1800.03/1800.09 c delayed cutoffs : 44198
1800.03/1800.09 c repropagations : 1872305 (12093809 domain reductions, 38234 cutoffs)
1800.03/1800.09 c avg switch length: 7.21
1800.03/1800.09 c switching time : 193.85
1800.03/1800.09 c Solution :
1800.03/1800.09 c Solutions found : 586 (63 improvements)
1800.03/1800.09 c First Solution : +1.36842000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.09 c Primal Bound : +1.90000000000000e+01 (in run 1, after 570570 nodes, 1460.52 seconds, depth 65, found by <relaxation>)
1800.03/1800.09 c Dual Bound : +0.00000000000000e+00
1800.03/1800.09 c Gap : infinite
1800.03/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.09 c Root Iterations : 183
1800.43/1800.40 c Time complete: 1800.43.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693055-1277930566/watcher-2693055-1277930566 -o /tmp/evaluation-result-2693055-1277930566/solver-2693055-1277930566 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693055-1277930566.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.83 2.42 2.16 4/199 17505
/proc/meminfo: memFree=31206856/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=10972 CPUtime=0
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1670 0 0 0 0 0 0 0 22 0 1 0 134351207 11235328 1590 4089446400 4194304 9819077 140734027666336 18446744073709551615 8659358 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17505/statm: 2743 1590 392 1374 0 1364 0
[startup+0.0612059 s]
/proc/loadavg: 2.83 2.42 2.16 4/199 17505
/proc/meminfo: memFree=31206856/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=36076 CPUtime=0.05
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 8043 0 0 0 5 0 0 0 23 0 1 0 134351207 36941824 7609 4089446400 4194304 9819077 140734027666336 18446744073709551615 8678920 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 9019 7609 463 1374 0 7640 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 36076
[startup+0.101184 s]
/proc/loadavg: 2.83 2.42 2.16 4/199 17505
/proc/meminfo: memFree=31206856/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=36404 CPUtime=0.09
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 8123 0 0 0 9 0 0 0 23 0 1 0 134351207 37277696 7689 4089446400 4194304 9819077 140734027666336 18446744073709551615 4410845 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36404
[startup+0.301154 s]
/proc/loadavg: 2.83 2.42 2.16 4/199 17505
/proc/meminfo: memFree=31206856/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=45864 CPUtime=0.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 10852 0 0 0 27 2 0 0 23 0 1 0 134351207 46964736 9834 4089446400 4194304 9819077 140734027666336 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 11466 9834 671 1374 0 10087 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45864
[startup+0.70108 s]
/proc/loadavg: 2.83 2.42 2.16 4/199 17505
/proc/meminfo: memFree=31206856/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=47232 CPUtime=0.69
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 27278 0 0 0 64 5 0 0 25 0 1 0 134351207 48365568 9995 4089446400 4194304 9819077 140734027666336 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 11808 9995 698 1374 0 10429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47232
[startup+1.5009 s]
/proc/loadavg: 2.83 2.42 2.16 4/200 17506
/proc/meminfo: memFree=31168408/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=49236 CPUtime=1.49
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 35894 0 0 0 142 7 0 0 25 0 1 0 134351207 50417664 10817 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 12309 10817 700 1374 0 10930 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49236
[startup+3.10068 s]
/proc/loadavg: 2.83 2.42 2.16 4/200 17506
/proc/meminfo: memFree=31164416/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=51500 CPUtime=3.09
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 45151 0 0 0 298 11 0 0 25 0 1 0 134351207 52736000 11179 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 12875 11179 700 1374 0 11496 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51500
[startup+6.30105 s]
/proc/loadavg: 2.84 2.43 2.17 3/200 17506
/proc/meminfo: memFree=31160008/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=56884 CPUtime=6.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 60864 0 0 0 607 22 0 0 25 0 1 0 134351207 58249216 12608 4089446400 4194304 9819077 140734027666336 18446744073709551615 6003322 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 14221 12608 704 1374 0 12842 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56884
[startup+12.7009 s]
/proc/loadavg: 2.85 2.44 2.17 4/200 17506
/proc/meminfo: memFree=31146260/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=65620 CPUtime=12.7
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 72510 0 0 0 1232 38 0 0 25 0 1 0 134351207 67194880 15128 4089446400 4194304 9819077 140734027666336 18446744073709551615 6590497 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 16405 15128 704 1374 0 15026 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 65620
[startup+25.5006 s]
/proc/loadavg: 2.89 2.47 2.18 4/200 17507
/proc/meminfo: memFree=31128656/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=83056 CPUtime=25.49
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 84823 0 0 0 2482 67 0 0 25 0 1 0 134351207 85049344 19415 4089446400 4194304 9819077 140734027666336 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 20764 19415 704 1374 0 19385 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83056
[startup+51.1009 s]
/proc/loadavg: 2.92 2.51 2.20 4/200 17508
/proc/meminfo: memFree=31092456/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=117896 CPUtime=51.09
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 103317 0 0 0 4984 125 0 0 25 0 1 0 134351207 120725504 27793 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 29474 27793 704 1374 0 28095 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 117896
[startup+102.307 s]
/proc/loadavg: 2.88 2.55 2.23 4/200 17509
/proc/meminfo: memFree=31031068/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=164612 CPUtime=102.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 209021 0 0 0 9984 245 0 0 25 0 1 0 134351207 168562688 39710 4089446400 4194304 9819077 140734027666336 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17505/statm: 41153 39710 705 1374 0 39774 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 164612
[startup+162.301 s]
/proc/loadavg: 2.73 2.57 2.26 3/200 17510
/proc/meminfo: memFree=30953380/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=237816 CPUtime=162.28
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 421230 0 0 0 15834 394 0 0 25 0 1 0 134351207 243523584 57173 4089446400 4194304 9819077 140734027666336 18446744073709551615 6003593 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 59454 57173 705 1374 0 58075 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 237816
[startup+222.301 s]
/proc/loadavg: 2.82 2.62 2.29 4/200 17512
/proc/meminfo: memFree=30871704/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=319236 CPUtime=222.28
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 626306 0 0 0 21685 543 0 0 25 0 1 0 134351207 326897664 76127 4089446400 4194304 9819077 140734027666336 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 79809 76127 707 1374 0 78430 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 319236
[startup+282.301 s]
/proc/loadavg: 2.84 2.65 2.32 4/200 17514
/proc/meminfo: memFree=30768968/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=427860 CPUtime=282.28
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 754978 0 0 0 27529 699 0 0 25 0 1 0 134351207 438128640 100913 4089446400 4194304 9819077 140734027666336 18446744073709551615 4210299 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 106965 100913 707 1374 0 105586 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 427860
[startup+342.301 s]
/proc/loadavg: 2.94 2.71 2.36 4/200 17516
/proc/meminfo: memFree=30674776/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=525216 CPUtime=342.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 874070 0 0 0 33377 852 0 0 25 0 1 0 134351207 537821184 122834 4089446400 4194304 9819077 140734027666336 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 131304 122834 711 1374 0 129925 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 525216
[startup+402.301 s]
/proc/loadavg: 2.93 2.75 2.39 4/200 17517
/proc/meminfo: memFree=30597576/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=607372 CPUtime=402.28
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 969035 0 0 0 39230 998 0 0 25 0 1 0 134351207 621948928 140326 4089446400 4194304 9819077 140734027666336 18446744073709551615 6361171 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 151843 140326 711 1374 0 150464 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 607372
[startup+462.301 s]
/proc/loadavg: 2.92 2.78 2.42 4/200 17518
/proc/meminfo: memFree=30535008/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=677368 CPUtime=462.28
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1062161 0 0 0 45082 1146 0 0 25 0 1 0 134351207 693624832 154955 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 169342 154955 715 1374 0 167963 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 677368
[startup+522.301 s]
/proc/loadavg: 2.79 2.76 2.44 3/200 17520
/proc/meminfo: memFree=30470452/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=744464 CPUtime=522.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1153896 0 0 0 50937 1292 0 0 25 0 1 0 134351207 762331136 169269 4089446400 4194304 9819077 140734027666336 18446744073709551615 6020593 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 186116 169269 715 1374 0 184737 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 744464
[startup+582.301 s]
/proc/loadavg: 2.79 2.75 2.45 4/200 17522
/proc/meminfo: memFree=30419916/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=801280 CPUtime=582.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1243070 0 0 0 56785 1444 0 0 25 0 1 0 134351207 820510720 180448 4089446400 4194304 9819077 140734027666336 18446744073709551615 6670352 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 200320 180448 716 1374 0 198941 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 801280
[startup+642.301 s]
/proc/loadavg: 2.72 2.75 2.47 3/200 17524
/proc/meminfo: memFree=30366800/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=856800 CPUtime=642.3
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1366053 0 0 0 62624 1606 0 0 25 0 1 0 134351207 877363200 191511 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 214200 191511 716 1374 0 212821 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 856800
[startup+702.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.09 2.45 2.42 3/197 17579
/proc/meminfo: memFree=30258784/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1010284 CPUtime=942.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1905283 0 0 0 91694 2537 0 0 25 0 1 0 134351207 1034530816 221050 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 252571 221050 725 1374 0 251192 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1010284
[startup+1002.3 s]
/proc/loadavg: 2.03 2.36 2.39 3/197 17581
/proc/meminfo: memFree=30213104/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1037532 CPUtime=1002.3
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2029921 0 0 0 97471 2759 0 0 25 0 1 0 134351207 1062432768 226886 4089446400 4194304 9819077 140734027666336 18446744073709551615 4385193 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 259383 226887 725 1374 0 258004 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1037532
[startup+1062.3 s]
/proc/loadavg: 2.01 2.30 2.36 3/197 17582
/proc/meminfo: memFree=30174880/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1026972 CPUtime=1062.3
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2144858 0 0 0 103233 2997 0 0 25 0 1 0 134351207 1051619328 224331 4089446400 4194304 9819077 140734027666336 18446744073709551615 6590704 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 256743 224331 725 1374 0 255364 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1026972
[startup+1122.3 s]
/proc/loadavg: 2.00 2.24 2.34 3/197 17593
/proc/meminfo: memFree=30136144/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1030296 CPUtime=1122.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2220684 0 0 0 109009 3222 0 0 25 0 1 0 134351207 1055023104 224992 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 257574 224992 725 1374 0 256195 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1030296
[startup+1182.3 s]
/proc/loadavg: 2.00 2.19 2.32 3/197 17595
/proc/meminfo: memFree=30090232/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1035208 CPUtime=1182.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2250322 0 0 0 114805 3426 0 0 25 0 1 0 134351207 1060052992 226085 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 258802 226085 725 1374 0 257423 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1035208
[startup+1242.3 s]
/proc/loadavg: 2.00 2.16 2.29 3/197 17597
/proc/meminfo: memFree=30058832/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1041180 CPUtime=1242.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2290718 0 0 0 120600 3631 0 0 25 0 1 0 134351207 1066168320 227223 4089446400 4194304 9819077 140734027666336 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 260295 227223 725 1374 0 258916 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1041180
[startup+1302.3 s]
/proc/loadavg: 2.34 2.23 2.31 3/197 17598
/proc/meminfo: memFree=30017504/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1046800 CPUtime=1302.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2352546 0 0 0 126406 3825 0 0 25 0 1 0 134351207 1071923200 228411 4089446400 4194304 9819077 140734027666336 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 261700 228411 739 1374 0 260321 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1046800
[startup+1362.3 s]
/proc/loadavg: 2.12 2.18 2.28 3/197 17599
/proc/meminfo: memFree=29993788/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1050676 CPUtime=1362.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2393124 0 0 0 132212 4020 0 0 25 0 1 0 134351207 1075892224 229332 4089446400 4194304 9819077 140734027666336 18446744073709551615 6671165 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 262669 229332 739 1374 0 261290 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1050676
[startup+1422.31 s]
/proc/loadavg: 2.49 2.27 2.30 3/197 17601
/proc/meminfo: memFree=29964360/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1053756 CPUtime=1422.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2428604 0 0 0 137999 4233 0 0 25 0 1 0 134351207 1079046144 230077 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 263439 230077 739 1374 0 262060 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1053756
[startup+1482.3 s]
/proc/loadavg: 2.24 2.23 2.29 3/197 17603
/proc/meminfo: memFree=29918816/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1058548 CPUtime=1482.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2453677 0 0 0 143786 4445 0 0 25 0 1 0 134351207 1083953152 230963 4089446400 4194304 9819077 140734027666336 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 264637 230963 739 1374 0 263258 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1058548
[startup+1542.3 s]
/proc/loadavg: 2.40 2.27 2.29 3/197 17605
/proc/meminfo: memFree=29869068/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1065736 CPUtime=1542.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2527107 0 0 0 149589 4643 0 0 25 0 1 0 134351207 1091313664 232433 4089446400 4194304 9819077 140734027666336 18446744073709551615 6590441 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 266434 232433 739 1374 0 265055 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1065736
[startup+1602.3 s]
/proc/loadavg: 2.27 2.25 2.28 3/197 17606
/proc/meminfo: memFree=29825436/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1071644 CPUtime=1602.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2564146 0 0 0 155378 4854 0 0 25 0 1 0 134351207 1097363456 233680 4089446400 4194304 9819077 140734027666336 18446744073709551615 6003242 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 267911 233680 739 1374 0 266532 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1071644
[startup+1662.3 s]
/proc/loadavg: 2.14 2.22 2.26 3/197 17607
/proc/meminfo: memFree=29778904/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1075096 CPUtime=1662.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2596170 0 0 0 161170 5062 0 0 25 0 1 0 134351207 1100898304 234532 4089446400 4194304 9819077 140734027666336 18446744073709551615 4999777 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 268774 234532 739 1374 0 267395 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1075096
[startup+1722.3 s]
/proc/loadavg: 2.05 2.17 2.25 3/197 17609
/proc/meminfo: memFree=29721472/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1079608 CPUtime=1722.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2623140 0 0 0 166971 5261 0 0 25 0 1 0 134351207 1105518592 235435 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 269902 235435 739 1374 0 268523 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1079608
[startup+1782.3 s]
/proc/loadavg: 2.45 2.25 2.27 3/197 17611
/proc/meminfo: memFree=29654352/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1088744 CPUtime=1782.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2650091 0 0 0 172774 5458 0 0 25 0 1 0 134351207 1114873856 237328 4089446400 4194304 9819077 140734027666336 18446744073709551615 6670004 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 272186 237328 739 1374 0 270807 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1088744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.32 2.23 2.26 3/197 17611
/proc/meminfo: memFree=29638600/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1090424 CPUtime=1800.03
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2656442 0 0 0 174496 5507 0 0 25 0 1 0 134351207 1116594176 237631 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 272606 237631 739 1374 0 271227 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1090424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.32 2.23 2.26 3/197 17611
/proc/meminfo: memFree=29638600/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1088376 CPUtime=1800.23
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2656444 0 0 0 174516 5507 0 0 25 0 1 0 134351207 1114497024 237120 4089446400 4194304 9819077 140734027666336 18446744073709551615 6180014 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17505/statm: 272094 237120 740 1374 0 270715 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1088376
[startup+1800.4 s]
/proc/loadavg: 2.32 2.23 2.26 3/197 17611
/proc/meminfo: memFree=29638600/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=142200 CPUtime=1800.43
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2656444 0 0 0 174532 5511 0 0 25 0 1 0 134351207 145612800 19841 4089446400 4194304 9819077 140734027666336 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17505/statm: 35550 19342 738 1374 0 34171 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 142200
Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.44
CPU user time (s): 1745.33
CPU system time (s): 55.1136
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1096728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.33
system time used= 55.1136
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2656448
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= 21511
runsolver used 3.20851 second user time and 6.24905 second system time
The end
Begin job on node142 at 2010-06-30 22:42:46
IDJOB=2693055
IDBENCH=79307
IDSOLVER=1205
FILE ID=node142/2693055-1277930566
PBS_JOBID= 11197406
Free space on /tmp= 74180 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 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.1900557362--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-2693055-1277930566/watcher-2693055-1277930566 -o /tmp/evaluation-result-2693055-1277930566/solver-2693055-1277930566 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693055-1277930566.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 72eb8aad8ccea22a443211b3b107df93
RANDOM SEED=1726049087
node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.16
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31206888 kB
Buffers: 210580 kB
Cached: 1076948 kB
SwapCached: 0 kB
Active: 740712 kB
Inactive: 858044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31206888 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6264 kB
Writeback: 0 kB
AnonPages: 311364 kB
Mapped: 20480 kB
Slab: 81160 kB
PageTables: 5788 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1658828 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= 74172 MiB
End job on node142 at 2010-06-30 23:12:48