0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2700368-1278535141.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.02/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.02/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.02/0.06 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (3 rounds):
0.02/0.06 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 1000 implications, 0 cliques
0.02/0.06 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.02/0.06 c 800 constraints of type <indicator>
0.02/0.06 c 800 constraints of type <linear>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.04
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 1.2.1.2
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1799.99
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 3420
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/0.06 o 394238
0.02/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.06 c t 0.0s| 1 | 0 | 0 | - |5795k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.02/0.06 c 0.0s| 1 | 0 | 0 | - |6168k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.02/0.06 c 0.0s| 1 | 0 | 28 | - |6201k| 0 | 4 |1700 |1600 |1700 | 58 | 58 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.02/0.07 c 0.1s| 1 | 0 | 114 | - |6257k| 0 | 55 |1700 |1600 |1700 | 109 | 109 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.02/0.08 c 0.1s| 1 | 0 | 186 | - |6398k| 0 | 72 |1700 |1600 |1700 | 162 | 162 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 235 | - |6456k| 0 | 74 |1700 |1600 |1700 | 179 | 179 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 295 | - |6484k| 0 | 75 |1700 |1600 |1700 | 185 | 185 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 307 | - |6512k| 0 | 79 |1700 |1600 |1700 | 191 | 191 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.29/0.34 c 0.3s| 1 | 2 | 437 | - |6563k| 0 | 79 |1700 |1600 |1700 | 191 | 191 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
12.99/13.03 c 12.7s| 10000 | 10001 | 66318 | 6.6 | 19M| 151 | 12 |1700 |1600 |1700 | 267 |9168 | 0 | 786 | 0.000000e+00 | 3.942380e+05 | Inf
22.09/22.17 c 21.7s| 20000 | 20001 |102851 | 5.1 | 29M| 159 | 14 |1700 |1600 |1700 | 244 | 15k| 0 | 786 | 0.000000e+00 | 3.942380e+05 | Inf
30.59/30.70 c 30.0s| 30000 | 30001 |131252 | 4.4 | 38M| 159 | 5 |1700 |1600 |1700 | 268 | 21k| 0 | 786 | 0.000000e+00 | 3.942380e+05 | Inf
39.50/39.57 c 38.7s| 40000 | 40001 |171584 | 4.3 | 48M| 159 | 0 |1700 |1600 |1700 | 264 | 30k| 0 | 805 | 0.000000e+00 | 3.942380e+05 | Inf
47.99/48.08 c 47.1s| 50000 | 50001 |202044 | 4.0 | 58M| 159 | 0 |1700 |1600 |1700 | 288 | 40k| 0 | 866 | 0.000000e+00 | 3.942380e+05 | Inf
56.89/56.91 c 55.7s| 60000 | 60001 |238446 | 4.0 | 68M| 159 | 0 |1700 |1600 |1700 | 228 | 49k| 0 | 966 | 0.000000e+00 | 3.942380e+05 | Inf
65.59/65.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.59/65.65 c 64.3s| 70000 | 69999 |269477 | 3.8 | 78M| 159 | 0 |1700 |1603 |1700 | 277 | 56k| 3 |1038 | 0.000000e+00 | 3.942380e+05 | Inf
74.39/74.42 c 72.9s| 80000 | 79995 |299036 | 3.7 | 88M| 159 | 8 |1700 |1607 |1700 | 242 | 63k| 7 |1123 | 0.000000e+00 | 3.942380e+05 | Inf
83.19/83.27 c 81.6s| 90000 | 89995 |330036 | 3.7 | 98M| 159 | 0 |1700 |1607 |1700 | 275 | 70k| 7 |1209 | 0.000000e+00 | 3.942380e+05 | Inf
91.89/91.97 c 90.1s|100000 | 99995 |358793 | 3.6 | 107M| 159 | 0 |1700 |1607 |1700 | 291 | 77k| 7 |1288 | 0.000000e+00 | 3.942380e+05 | Inf
100.99/101.08 c 99.0s|110000 |109995 |393839 | 3.6 | 117M| 159 | 0 |1700 |1607 |1700 | 237 | 84k| 7 |1369 | 0.000000e+00 | 3.942380e+05 | Inf
110.09/110.14 c 108s|120000 |119995 |426609 | 3.6 | 127M| 159 | 0 |1700 |1607 |1700 | 238 | 91k| 7 |1459 | 0.000000e+00 | 3.942380e+05 | Inf
118.89/118.98 c 117s|130000 |129995 |457167 | 3.5 | 137M| 159 | 0 |1700 |1607 |1700 | 276 | 97k| 7 |1541 | 0.000000e+00 | 3.942380e+05 | Inf
127.69/127.70 c 125s|140000 |139995 |485067 | 3.5 | 147M| 159 | 0 |1700 |1607 |1700 | 267 | 103k| 7 |1602 | 0.000000e+00 | 3.942380e+05 | Inf
136.30/136.36 c 134s|150000 |149995 |514072 | 3.4 | 157M| 159 | 0 |1700 |1607 |1700 | 289 | 109k| 7 |1658 | 0.000000e+00 | 3.942380e+05 | Inf
144.90/144.90 c 142s|160000 |159995 |537679 | 3.4 | 166M| 159 | 0 |1700 |1607 |1700 | 232 | 116k| 7 |1726 | 0.000000e+00 | 3.942380e+05 | Inf
153.49/153.56 c 151s|170000 |169995 |565007 | 3.3 | 176M| 159 | 0 |1700 |1607 |1700 | 276 | 122k| 7 |1762 | 0.000000e+00 | 3.942380e+05 | Inf
162.50/162.58 c 159s|180000 |179995 |599326 | 3.3 | 186M| 159 | 0 |1700 |1607 |1700 | 244 | 129k| 7 |1840 | 0.000000e+00 | 3.942380e+05 | Inf
171.39/171.48 c 168s|190000 |189995 |630257 | 3.3 | 196M| 159 | 0 |1700 |1607 |1700 | 268 | 135k| 7 |1917 | 0.000000e+00 | 3.942380e+05 | Inf
179.90/179.97 c 176s|200000 |199995 |653639 | 3.3 | 206M| 169 | 0 |1700 |1607 |1700 | 299 | 141k| 7 |1960 | 0.000000e+00 | 3.942380e+05 | Inf
188.49/188.58 c 185s|210000 |209995 |679524 | 3.2 | 215M| 169 | 22 |1700 |1607 |1700 | 249 | 147k| 7 |2011 | 0.000000e+00 | 3.942380e+05 | Inf
197.09/197.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.09/197.10 c 193s|220000 |219995 |704878 | 3.2 | 225M| 175 | 0 |1700 |1607 |1700 | 222 | 154k| 7 |2064 | 0.000000e+00 | 3.942380e+05 | Inf
205.60/205.62 c 202s|230000 |229995 |728234 | 3.2 | 235M| 175 | 0 |1700 |1607 |1700 | 299 | 159k| 7 |2098 | 0.000000e+00 | 3.942380e+05 | Inf
213.89/213.97 c 210s|240000 |239995 |748195 | 3.1 | 245M| 175 | 0 |1700 |1607 |1700 | 292 | 164k| 7 |2129 | 0.000000e+00 | 3.942380e+05 | Inf
222.39/222.43 c 218s|250000 |249995 |771099 | 3.1 | 255M| 175 | 0 |1700 |1607 |1700 | 223 | 170k| 7 |2169 | 0.000000e+00 | 3.942380e+05 | Inf
230.90/230.94 c 226s|260000 |259995 |794546 | 3.1 | 264M| 177 | 0 |1700 |1607 |1700 | 284 | 175k| 7 |2219 | 0.000000e+00 | 3.942380e+05 | Inf
239.49/239.50 c 235s|270000 |269995 |818897 | 3.0 | 274M| 177 | 0 |1700 |1607 |1700 | 255 | 180k| 7 |2255 | 0.000000e+00 | 3.942380e+05 | Inf
247.70/247.78 c 243s|280000 |279995 |839779 | 3.0 | 284M| 177 | 0 |1700 |1607 |1700 | 307 | 185k| 7 |2280 | 0.000000e+00 | 3.942380e+05 | Inf
256.09/256.12 c 251s|290000 |289995 |861446 | 3.0 | 294M| 177 | 3 |1700 |1607 |1700 | 242 | 189k| 7 |2307 | 0.000000e+00 | 3.942380e+05 | Inf
264.19/264.29 c 259s|300000 |299995 |879497 | 2.9 | 304M| 177 | 0 |1700 |1607 |1700 | 279 | 194k| 7 |2333 | 0.000000e+00 | 3.942380e+05 | Inf
272.40/272.42 c 267s|310000 |309995 |896759 | 2.9 | 313M| 177 | 0 |1700 |1607 |1700 | 287 | 198k| 7 |2361 | 0.000000e+00 | 3.942380e+05 | Inf
280.79/280.85 c 275s|320000 |319995 |921497 | 2.9 | 323M| 177 | 0 |1700 |1607 |1700 | 293 | 203k| 7 |2405 | 0.000000e+00 | 3.942380e+05 | Inf
289.10/289.15 c 284s|330000 |329995 |942420 | 2.9 | 333M| 177 | 0 |1700 |1607 |1700 | 246 | 208k| 7 |2434 | 0.000000e+00 | 3.942380e+05 | Inf
297.59/297.62 c 292s|340000 |339995 |967497 | 2.8 | 343M| 177 | 0 |1700 |1607 |1700 | 227 | 213k| 7 |2470 | 0.000000e+00 | 3.942380e+05 | Inf
305.70/305.76 c 300s|350000 |349995 |985757 | 2.8 | 353M| 187 | 0 |1700 |1607 |1700 | 269 | 216k| 7 |2499 | 0.000000e+00 | 3.942380e+05 | Inf
314.09/314.12 c 308s|360000 |359995 | 1010k| 2.8 | 362M| 187 | 0 |1700 |1607 |1700 | 274 | 222k| 7 |2530 | 0.000000e+00 | 3.942380e+05 | Inf
322.40/322.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.40/322.42 c 316s|370000 |369995 | 1032k| 2.8 | 372M| 187 | 0 |1700 |1607 |1700 | 264 | 227k| 7 |2560 | 0.000000e+00 | 3.942380e+05 | Inf
331.00/331.09 c 325s|380000 |379995 | 1059k| 2.8 | 382M| 187 | 0 |1700 |1607 |1700 | 276 | 231k| 7 |2611 | 0.000000e+00 | 3.942380e+05 | Inf
339.29/339.33 c 333s|390000 |389995 | 1080k| 2.8 | 392M| 187 | 10 |1700 |1607 |1700 | 231 | 235k| 7 |2640 | 0.000000e+00 | 3.942380e+05 | Inf
347.50/347.51 c 341s|400000 |399995 | 1099k| 2.7 | 401M| 187 | 0 |1700 |1607 |1700 | 290 | 240k| 7 |2664 | 0.000000e+00 | 3.942380e+05 | Inf
355.80/355.82 c 349s|410000 |409995 | 1121k| 2.7 | 411M| 189 | 7 |1700 |1607 |1700 | 260 | 245k| 7 |2696 | 0.000000e+00 | 3.942380e+05 | Inf
364.10/364.12 c 357s|420000 |419995 | 1144k| 2.7 | 421M| 189 | 0 |1700 |1607 |1700 | 266 | 251k| 7 |2723 | 0.000000e+00 | 3.942380e+05 | Inf
372.19/372.22 c 365s|430000 |429995 | 1163k| 2.7 | 431M| 189 | 0 |1700 |1607 |1700 | 270 | 255k| 7 |2754 | 0.000000e+00 | 3.942380e+05 | Inf
380.29/380.34 c 373s|440000 |439995 | 1182k| 2.7 | 440M| 189 | 0 |1700 |1606 |1700 | 256 | 260k| 7 |2781 | 0.000000e+00 | 3.942380e+05 | Inf
388.20/388.30 c 381s|450000 |449995 | 1198k| 2.7 | 450M| 189 | 0 |1700 |1606 |1700 | 305 | 264k| 7 |2801 | 0.000000e+00 | 3.942380e+05 | Inf
396.20/396.26 c 389s|460000 |459995 | 1215k| 2.6 | 460M| 189 | 5 |1700 |1606 |1700 | 245 | 268k| 7 |2811 | 0.000000e+00 | 3.942380e+05 | Inf
404.50/404.54 c 397s|470000 |469995 | 1236k| 2.6 | 470M| 189 | 0 |1700 |1606 |1700 | 258 | 272k| 7 |2837 | 0.000000e+00 | 3.942380e+05 | Inf
412.70/412.74 c 405s|480000 |479993 | 1256k| 2.6 | 479M| 197 | 0 |1700 |1608 |1700 | 270 | 277k| 9 |2862 | 0.000000e+00 | 3.942380e+05 | Inf
420.39/420.47 c 412s|490000 |489993 | 1269k| 2.6 | 489M| 207 | 0 |1700 |1608 |1700 | 264 | 280k| 9 |2883 | 0.000000e+00 | 3.942380e+05 | Inf
428.60/428.60 c 420s|500000 |499993 | 1288k| 2.6 | 499M| 207 | 0 |1700 |1607 |1700 | 287 | 285k| 9 |2906 | 0.000000e+00 | 3.942380e+05 | Inf
436.30/436.32 c 428s|510000 |509993 | 1299k| 2.5 | 509M| 207 | 0 |1700 |1607 |1700 | 241 | 288k| 9 |2909 | 0.000000e+00 | 3.942380e+05 | Inf
444.20/444.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.20/444.23 c 436s|520000 |519993 | 1316k| 2.5 | 518M| 207 | 0 |1700 |1606 |1700 | 270 | 292k| 9 |2931 | 0.000000e+00 | 3.942380e+05 | Inf
452.20/452.20 c 444s|530000 |529993 | 1332k| 2.5 | 528M| 207 | 0 |1700 |1606 |1700 | 268 | 296k| 9 |2949 | 0.000000e+00 | 3.942380e+05 | Inf
460.10/460.16 c 451s|540000 |539993 | 1349k| 2.5 | 538M| 207 | 0 |1700 |1606 |1700 | 283 | 300k| 9 |2970 | 0.000000e+00 | 3.942380e+05 | Inf
468.00/468.07 c 459s|550000 |549993 | 1364k| 2.5 | 548M| 207 | 0 |1700 |1606 |1700 | 286 | 304k| 9 |2987 | 0.000000e+00 | 3.942380e+05 | Inf
475.90/475.93 c 467s|560000 |559993 | 1379k| 2.5 | 557M| 207 | 0 |1700 |1606 |1700 | 270 | 309k| 9 |2988 | 0.000000e+00 | 3.942380e+05 | Inf
484.00/484.05 c 475s|570000 |569993 | 1398k| 2.5 | 567M| 207 | 0 |1700 |1606 |1700 | 280 | 314k| 9 |3011 | 0.000000e+00 | 3.942380e+05 | Inf
491.90/491.99 c 483s|580000 |579993 | 1414k| 2.4 | 577M| 207 | 0 |1700 |1605 |1700 | 293 | 317k| 9 |3036 | 0.000000e+00 | 3.942380e+05 | Inf
500.00/500.05 c 490s|590000 |589993 | 1432k| 2.4 | 587M| 207 | 0 |1700 |1605 |1700 | 280 | 322k| 9 |3065 | 0.000000e+00 | 3.942380e+05 | Inf
507.59/507.64 c 498s|600000 |599993 | 1441k| 2.4 | 596M| 207 | 0 |1700 |1605 |1700 | 266 | 324k| 9 |3065 | 0.000000e+00 | 3.942380e+05 | Inf
515.20/515.29 c 505s|610000 |609993 | 1451k| 2.4 | 606M| 207 | 0 |1700 |1605 |1700 | 266 | 327k| 9 |3086 | 0.000000e+00 | 3.942380e+05 | Inf
522.40/522.42 c 512s|620000 |619993 | 1460k| 2.4 | 615M| 207 | 0 |1700 |1604 |1700 | 268 | 330k| 9 |3088 | 0.000000e+00 | 3.942380e+05 | Inf
529.60/529.69 c 519s|630000 |629993 | 1479k| 2.3 | 625M| 207 | 0 |1700 |1604 |1700 | 294 | 334k| 9 |3115 | 0.000000e+00 | 3.942380e+05 | Inf
536.49/536.51 c 525s|640000 |639993 | 1487k| 2.3 | 635M| 207 | 9 |1700 |1604 |1700 | 254 | 337k| 9 |3115 | 0.000000e+00 | 3.942380e+05 | Inf
543.49/543.50 c 532s|650000 |649993 | 1499k| 2.3 | 645M| 207 | 0 |1700 |1604 |1700 | 291 | 340k| 9 |3135 | 0.000000e+00 | 3.942380e+05 | Inf
550.60/550.60 c 539s|660000 |659993 | 1512k| 2.3 | 654M| 207 | 0 |1700 |1604 |1700 | 265 | 343k| 9 |3151 | 0.000000e+00 | 3.942380e+05 | Inf
557.40/557.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.40/557.45 c 545s|670000 |669993 | 1521k| 2.3 | 664M| 207 | 0 |1700 |1604 |1700 | 255 | 346k| 9 |3155 | 0.000000e+00 | 3.942380e+05 | Inf
564.10/564.11 c 551s|680000 |679993 | 1528k| 2.2 | 673M| 207 | 16 |1700 |1603 |1700 | 225 | 347k| 9 |3158 | 0.000000e+00 | 3.942380e+05 | Inf
571.30/571.37 c 558s|690000 |689993 | 1544k| 2.2 | 683M| 207 | 0 |1700 |1603 |1700 | 275 | 351k| 9 |3181 | 0.000000e+00 | 3.942380e+05 | Inf
578.60/578.63 c 565s|700000 |699993 | 1561k| 2.2 | 693M| 207 | 0 |1700 |1603 |1700 | 276 | 356k| 9 |3201 | 0.000000e+00 | 3.942380e+05 | Inf
585.90/585.97 c 572s|710000 |709993 | 1582k| 2.2 | 703M| 207 | 0 |1700 |1603 |1700 | 279 | 361k| 9 |3221 | 0.000000e+00 | 3.942380e+05 | Inf
593.10/593.17 c 579s|720000 |719993 | 1599k| 2.2 | 712M| 207 | 0 |1700 |1603 |1700 | 260 | 366k| 9 |3249 | 0.000000e+00 | 3.942380e+05 | Inf
600.30/600.34 c 585s|730000 |729993 | 1614k| 2.2 | 722M| 207 | 0 |1700 |1603 |1700 | 275 | 370k| 9 |3267 | 0.000000e+00 | 3.942380e+05 | Inf
607.60/607.61 c 592s|740000 |739993 | 1632k| 2.2 | 732M| 207 | 0 |1700 |1603 |1700 | 279 | 374k| 9 |3274 | 0.000000e+00 | 3.942380e+05 | Inf
614.69/614.80 c 599s|750000 |749993 | 1647k| 2.2 | 742M| 207 | 0 |1700 |1603 |1700 | 267 | 378k| 9 |3292 | 0.000000e+00 | 3.942380e+05 | Inf
622.00/622.01 c 606s|760000 |759993 | 1659k| 2.2 | 751M| 207 | 0 |1700 |1603 |1700 | 234 | 380k| 9 |3309 | 0.000000e+00 | 3.942380e+05 | Inf
629.30/629.34 c 612s|770000 |769993 | 1677k| 2.2 | 761M| 207 | 0 |1700 |1603 |1700 | 299 | 384k| 9 |3331 | 0.000000e+00 | 3.942380e+05 | Inf
636.80/636.81 c 619s|780000 |779993 | 1697k| 2.2 | 771M| 207 | 0 |1700 |1603 |1700 | 257 | 389k| 9 |3348 | 0.000000e+00 | 3.942380e+05 | Inf
644.00/644.02 c 626s|790000 |789993 | 1713k| 2.2 | 781M| 207 | 0 |1700 |1603 |1700 | 265 | 393k| 9 |3354 | 0.000000e+00 | 3.942380e+05 | Inf
651.20/651.22 c 633s|800000 |799993 | 1729k| 2.2 | 790M| 207 | 0 |1700 |1603 |1700 | 269 | 396k| 9 |3373 | 0.000000e+00 | 3.942380e+05 | Inf
658.30/658.32 c 640s|810000 |809993 | 1742k| 2.2 | 800M| 207 | 0 |1700 |1603 |1700 | 254 | 399k| 9 |3391 | 0.000000e+00 | 3.942380e+05 | Inf
665.50/665.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.50/665.52 c 646s|820000 |819993 | 1759k| 2.1 | 810M| 207 | 0 |1700 |1603 |1700 | 275 | 404k| 9 |3408 | 0.000000e+00 | 3.942380e+05 | Inf
672.60/672.61 c 653s|830000 |829993 | 1771k| 2.1 | 819M| 207 | 0 |1700 |1603 |1700 | 279 | 407k| 9 |3415 | 0.000000e+00 | 3.942380e+05 | Inf
679.70/679.71 c 660s|840000 |839993 | 1784k| 2.1 | 829M| 207 | 7 |1700 |1603 |1700 | 271 | 411k| 9 |3434 | 0.000000e+00 | 3.942380e+05 | Inf
686.80/686.86 c 666s|850000 |849993 | 1798k| 2.1 | 839M| 207 | 0 |1700 |1603 |1700 | 279 | 414k| 9 |3447 | 0.000000e+00 | 3.942380e+05 | Inf
694.11/694.11 c 673s|860000 |859993 | 1816k| 2.1 | 849M| 207 | 0 |1700 |1603 |1700 | 277 | 419k| 9 |3468 | 0.000000e+00 | 3.942380e+05 | Inf
701.30/701.38 c 680s|870000 |869993 | 1834k| 2.1 | 858M| 207 | 0 |1700 |1603 |1700 | 245 | 423k| 9 |3491 | 0.000000e+00 | 3.942380e+05 | Inf
708.31/708.37 c 686s|880000 |879993 | 1846k| 2.1 | 868M| 207 | 0 |1700 |1603 |1700 | 281 | 426k| 9 |3492 | 0.000000e+00 | 3.942380e+05 | Inf
715.40/715.42 c 693s|890000 |889993 | 1858k| 2.1 | 878M| 207 | 0 |1700 |1603 |1700 | 303 | 430k| 9 |3511 | 0.000000e+00 | 3.942380e+05 | Inf
722.30/722.35 c 699s|900000 |899993 | 1869k| 2.1 | 888M| 207 | 0 |1700 |1603 |1700 | 255 | 432k| 9 |3511 | 0.000000e+00 | 3.942380e+05 | Inf
729.21/729.29 c 706s|910000 |909993 | 1879k| 2.1 | 897M| 207 | 0 |1700 |1603 |1700 | 272 | 435k| 9 |3534 | 0.000000e+00 | 3.942380e+05 | Inf
736.60/736.62 c 713s|920000 |919993 | 1896k| 2.1 | 907M| 207 | 0 |1700 |1603 |1700 | 281 | 438k| 9 |3539 | 0.000000e+00 | 3.942380e+05 | Inf
743.80/743.89 c 720s|930000 |929991 | 1913k| 2.1 | 917M| 207 | 0 |1700 |1607 |1700 | 292 | 443k| 13 |3560 | 0.000000e+00 | 3.942380e+05 | Inf
751.00/751.08 c 726s|940000 |939991 | 1928k| 2.1 | 926M| 207 | 0 |1700 |1607 |1700 | 262 | 446k| 13 |3581 | 0.000000e+00 | 3.942380e+05 | Inf
758.30/758.36 c 733s|950000 |949991 | 1945k| 2.0 | 936M| 207 | 0 |1700 |1606 |1700 | 283 | 450k| 13 |3600 | 0.000000e+00 | 3.942380e+05 | Inf
765.40/765.45 c 740s|960000 |959991 | 1958k| 2.0 | 946M| 207 | 0 |1700 |1606 |1700 | 272 | 453k| 13 |3601 | 0.000000e+00 | 3.942380e+05 | Inf
772.51/772.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.51/772.56 c 746s|970000 |969991 | 1971k| 2.0 | 955M| 207 | 0 |1700 |1606 |1700 | 276 | 457k| 13 |3625 | 0.000000e+00 | 3.942380e+05 | Inf
779.70/779.76 c 753s|980000 |979991 | 1986k| 2.0 | 965M| 207 | 7 |1700 |1605 |1700 | 286 | 460k| 13 |3633 | 0.000000e+00 | 3.942380e+05 | Inf
786.80/786.80 c 760s|990000 |989991 | 1997k| 2.0 | 975M| 207 | 0 |1700 |1605 |1700 | 247 | 463k| 13 |3643 | 0.000000e+00 | 3.942380e+05 | Inf
793.81/793.82 c 766s| 1000k|999991 | 2009k| 2.0 | 985M| 207 | 0 |1700 |1605 |1700 | 295 | 466k| 13 |3654 | 0.000000e+00 | 3.942380e+05 | Inf
801.01/801.03 c 773s| 1010k| 1009k| 2025k| 2.0 | 994M| 207 | 5 |1700 |1605 |1700 | 261 | 470k| 13 |3664 | 0.000000e+00 | 3.942380e+05 | Inf
808.21/808.26 c 780s| 1020k| 1019k| 2041k| 2.0 |1004M| 207 | 0 |1700 |1605 |1700 | 288 | 474k| 13 |3682 | 0.000000e+00 | 3.942380e+05 | Inf
815.01/815.10 c 786s| 1030k| 1029k| 2048k| 2.0 |1014M| 207 | 0 |1700 |1605 |1700 | 304 | 476k| 13 |3683 | 0.000000e+00 | 3.942380e+05 | Inf
822.20/822.26 c 793s| 1040k| 1039k| 2062k| 2.0 |1024M| 207 | 0 |1700 |1605 |1700 | 276 | 479k| 13 |3701 | 0.000000e+00 | 3.942380e+05 | Inf
829.41/829.45 c 800s| 1050k| 1049k| 2077k| 2.0 |1033M| 207 | 0 |1700 |1605 |1700 | 260 | 482k| 13 |3704 | 0.000000e+00 | 3.942380e+05 | Inf
836.51/836.54 c 806s| 1060k| 1059k| 2090k| 2.0 |1043M| 207 | 0 |1700 |1605 |1700 | 318 | 486k| 13 |3724 | 0.000000e+00 | 3.942380e+05 | Inf
843.51/843.52 c 813s| 1070k| 1069k| 2101k| 2.0 |1053M| 207 | 0 |1700 |1605 |1700 | 281 | 489k| 13 |3735 | 0.000000e+00 | 3.942380e+05 | Inf
850.51/850.57 c 820s| 1080k| 1079k| 2114k| 2.0 |1062M| 207 | 0 |1700 |1605 |1700 | 289 | 492k| 13 |3742 | 0.000000e+00 | 3.942380e+05 | Inf
857.80/857.90 c 827s| 1090k| 1089k| 2134k| 2.0 |1072M| 207 | 0 |1700 |1605 |1700 | 284 | 498k| 13 |3767 | 0.000000e+00 | 3.942380e+05 | Inf
865.01/865.02 c 833s| 1100k| 1099k| 2147k| 2.0 |1082M| 207 | 24 |1700 |1605 |1700 | 247 | 502k| 13 |3772 | 0.000000e+00 | 3.942380e+05 | Inf
872.11/872.10 c 840s| 1110k| 1109k| 2162k| 1.9 |1092M| 207 | 0 |1700 |1605 |1700 | 295 | 505k| 13 |3786 | 0.000000e+00 | 3.942380e+05 | Inf
879.21/879.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.21/879.22 c 847s| 1120k| 1119k| 2176k| 1.9 |1101M| 207 | 0 |1700 |1605 |1700 | 262 | 509k| 13 |3807 | 0.000000e+00 | 3.942380e+05 | Inf
886.40/886.45 c 853s| 1130k| 1129k| 2191k| 1.9 |1111M| 207 | 0 |1700 |1605 |1700 | 282 | 513k| 13 |3810 | 0.000000e+00 | 3.942380e+05 | Inf
893.50/893.59 c 860s| 1140k| 1139k| 2206k| 1.9 |1121M| 207 | 6 |1700 |1605 |1700 | 257 | 517k| 13 |3829 | 0.000000e+00 | 3.942380e+05 | Inf
900.70/900.70 c 867s| 1150k| 1149k| 2219k| 1.9 |1130M| 207 | 0 |1700 |1605 |1700 | 296 | 520k| 13 |3846 | 0.000000e+00 | 3.942380e+05 | Inf
907.80/907.88 c 874s| 1160k| 1159k| 2233k| 1.9 |1140M| 207 | 0 |1700 |1605 |1700 | 287 | 524k| 13 |3852 | 0.000000e+00 | 3.942380e+05 | Inf
915.00/915.04 c 880s| 1170k| 1169k| 2247k| 1.9 |1150M| 207 | 9 |1700 |1605 |1700 | 231 | 527k| 13 |3876 | 0.000000e+00 | 3.942380e+05 | Inf
922.10/922.14 c 887s| 1180k| 1179k| 2260k| 1.9 |1160M| 207 | 0 |1700 |1605 |1700 | 283 | 530k| 13 |3876 | 0.000000e+00 | 3.942380e+05 | Inf
929.20/929.20 c 894s| 1190k| 1189k| 2273k| 1.9 |1169M| 207 | 0 |1700 |1605 |1700 | 282 | 533k| 13 |3898 | 0.000000e+00 | 3.942380e+05 | Inf
936.31/936.38 c 901s| 1200k| 1199k| 2291k| 1.9 |1179M| 207 | 0 |1700 |1605 |1700 | 273 | 538k| 13 |3917 | 0.000000e+00 | 3.942380e+05 | Inf
943.40/943.49 c 907s| 1210k| 1209k| 2306k| 1.9 |1189M| 207 | 0 |1700 |1605 |1700 | 231 | 541k| 13 |3918 | 0.000000e+00 | 3.942380e+05 | Inf
950.51/950.55 c 914s| 1220k| 1219k| 2320k| 1.9 |1198M| 207 | 0 |1700 |1605 |1700 | 260 | 545k| 13 |3938 | 0.000000e+00 | 3.942380e+05 | Inf
957.60/957.67 c 921s| 1230k| 1229k| 2338k| 1.9 |1208M| 207 | 0 |1700 |1605 |1700 | 284 | 550k| 13 |3950 | 0.000000e+00 | 3.942380e+05 | Inf
964.90/964.91 c 928s| 1240k| 1239k| 2355k| 1.9 |1218M| 207 | 11 |1700 |1605 |1700 | 277 | 555k| 13 |3959 | 0.000000e+00 | 3.942380e+05 | Inf
972.11/972.19 c 934s| 1250k| 1249k| 2375k| 1.9 |1228M| 207 | 0 |1700 |1605 |1700 | 268 | 560k| 13 |3977 | 0.000000e+00 | 3.942380e+05 | Inf
979.30/979.36 c 941s| 1260k| 1259k| 2389k| 1.9 |1237M| 207 | 0 |1700 |1605 |1700 | 272 | 563k| 13 |3999 | 0.000000e+00 | 3.942380e+05 | Inf
986.41/986.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.41/986.41 c 948s| 1270k| 1269k| 2401k| 1.9 |1247M| 207 | 0 |1700 |1605 |1700 | 280 | 566k| 13 |4000 | 0.000000e+00 | 3.942380e+05 | Inf
993.51/993.54 c 955s| 1280k| 1279k| 2415k| 1.9 |1257M| 207 | 0 |1700 |1605 |1700 | 289 | 570k| 13 |4018 | 0.000000e+00 | 3.942380e+05 | Inf
1000.61/1000.67 c 961s| 1290k| 1289k| 2429k| 1.9 |1266M| 207 | 0 |1700 |1605 |1700 | 264 | 573k| 13 |4026 | 0.000000e+00 | 3.942380e+05 | Inf
1007.91/1007.94 c 968s| 1300k| 1299k| 2446k| 1.9 |1276M| 207 | 0 |1700 |1605 |1700 | 258 | 578k| 13 |4037 | 0.000000e+00 | 3.942380e+05 | Inf
1015.01/1015.09 c 975s| 1310k| 1309k| 2460k| 1.9 |1286M| 207 | 4 |1700 |1605 |1700 | 256 | 581k| 13 |4057 | 0.000000e+00 | 3.942380e+05 | Inf
1022.30/1022.38 c 982s| 1320k| 1319k| 2477k| 1.9 |1296M| 207 | 0 |1700 |1605 |1700 | 302 | 585k| 13 |4068 | 0.000000e+00 | 3.942380e+05 | Inf
1029.62/1029.61 c 989s| 1330k| 1329k| 2492k| 1.9 |1305M| 207 | 0 |1700 |1605 |1700 | 270 | 588k| 13 |4073 | 0.000000e+00 | 3.942380e+05 | Inf
1036.91/1036.94 c 996s| 1340k| 1339k| 2511k| 1.9 |1315M| 207 | 0 |1700 |1605 |1700 | 285 | 592k| 13 |4094 | 0.000000e+00 | 3.942380e+05 | Inf
1044.01/1044.06 c 1002s| 1350k| 1349k| 2524k| 1.9 |1325M| 207 | 12 |1700 |1605 |1700 | 246 | 595k| 13 |4108 | 0.000000e+00 | 3.942380e+05 | Inf
1051.21/1051.25 c 1009s| 1360k| 1359k| 2539k| 1.9 |1334M| 207 | 0 |1700 |1605 |1700 | 257 | 599k| 13 |4114 | 0.000000e+00 | 3.942380e+05 | Inf
1058.40/1058.49 c 1016s| 1370k| 1369k| 2555k| 1.9 |1344M| 207 | 5 |1700 |1605 |1700 | 207 | 603k| 13 |4131 | 0.000000e+00 | 3.942380e+05 | Inf
1065.71/1065.73 c 1023s| 1380k| 1379k| 2570k| 1.9 |1354M| 207 | 0 |1700 |1605 |1700 | 265 | 606k| 13 |4136 | 0.000000e+00 | 3.942380e+05 | Inf
1072.81/1072.80 c 1030s| 1390k| 1389k| 2582k| 1.9 |1364M| 207 | 0 |1700 |1605 |1700 | 255 | 610k| 13 |4151 | 0.000000e+00 | 3.942380e+05 | Inf
1079.90/1079.94 c 1036s| 1400k| 1399k| 2595k| 1.9 |1373M| 207 | 0 |1700 |1605 |1700 | 252 | 613k| 13 |4165 | 0.000000e+00 | 3.942380e+05 | Inf
1087.31/1087.32 c 1043s| 1410k| 1409k| 2614k| 1.9 |1383M| 207 | 0 |1700 |1605 |1700 | 299 | 617k| 13 |4173 | 0.000000e+00 | 3.942380e+05 | Inf
1094.61/1094.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1094.61/1094.60 c 1050s| 1420k| 1419k| 2631k| 1.9 |1393M| 207 | 0 |1700 |1605 |1700 | 297 | 621k| 13 |4196 | 0.000000e+00 | 3.942380e+05 | Inf
1101.81/1101.82 c 1057s| 1430k| 1429k| 2646k| 1.9 |1402M| 207 | 6 |1700 |1605 |1700 | 229 | 625k| 13 |4212 | 0.000000e+00 | 3.942380e+05 | Inf
1108.81/1108.81 c 1064s| 1440k| 1439k| 2656k| 1.8 |1412M| 207 | 0 |1700 |1605 |1700 | 284 | 628k| 13 |4214 | 0.000000e+00 | 3.942380e+05 | Inf
1116.11/1116.10 c 1070s| 1450k| 1449k| 2672k| 1.8 |1422M| 207 | 0 |1700 |1608 |1700 | 246 | 631k| 16 |4229 | 0.000000e+00 | 3.942380e+05 | Inf
1123.21/1123.27 c 1077s| 1460k| 1459k| 2687k| 1.8 |1432M| 207 | 0 |1700 |1608 |1700 | 236 | 634k| 16 |4235 | 0.000000e+00 | 3.942380e+05 | Inf
1130.71/1130.80 c 1084s| 1470k| 1469k| 2710k| 1.8 |1441M| 207 | 0 |1700 |1608 |1700 | 269 | 638k| 16 |4252 | 0.000000e+00 | 3.942380e+05 | Inf
1138.01/1138.05 c 1091s| 1480k| 1479k| 2724k| 1.8 |1451M| 207 | 20 |1700 |1607 |1700 | 241 | 642k| 16 |4273 | 0.000000e+00 | 3.942380e+05 | Inf
1145.21/1145.28 c 1098s| 1490k| 1489k| 2741k| 1.8 |1461M| 207 | 0 |1700 |1606 |1700 | 279 | 646k| 16 |4288 | 0.000000e+00 | 3.942380e+05 | Inf
1152.21/1152.28 c 1104s| 1500k| 1499k| 2753k| 1.8 |1471M| 207 | 0 |1700 |1606 |1700 | 291 | 649k| 16 |4291 | 0.000000e+00 | 3.942380e+05 | Inf
1159.32/1159.34 c 1111s| 1510k| 1509k| 2767k| 1.8 |1480M| 207 | 0 |1700 |1606 |1700 | 272 | 653k| 16 |4306 | 0.000000e+00 | 3.942380e+05 | Inf
1166.51/1166.59 c 1118s| 1520k| 1519k| 2783k| 1.8 |1490M| 207 | 0 |1700 |1606 |1700 | 291 | 657k| 16 |4310 | 0.000000e+00 | 3.942380e+05 | Inf
1173.72/1173.71 c 1124s| 1530k| 1529k| 2798k| 1.8 |1500M| 207 | 0 |1700 |1606 |1700 | 258 | 661k| 16 |4329 | 0.000000e+00 | 3.942380e+05 | Inf
1180.81/1180.82 c 1131s| 1540k| 1539k| 2813k| 1.8 |1509M| 207 | 0 |1700 |1606 |1700 | 257 | 665k| 16 |4340 | 0.000000e+00 | 3.942380e+05 | Inf
1188.02/1188.09 c 1138s| 1550k| 1549k| 2829k| 1.8 |1519M| 207 | 0 |1700 |1606 |1700 | 242 | 668k| 16 |4347 | 0.000000e+00 | 3.942380e+05 | Inf
1195.11/1195.10 c 1144s| 1560k| 1559k| 2840k| 1.8 |1529M| 209 | 0 |1700 |1606 |1700 | 270 | 671k| 16 |4365 | 0.000000e+00 | 3.942380e+05 | Inf
1202.01/1202.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.01/1202.09 c 1151s| 1570k| 1569k| 2851k| 1.8 |1538M| 209 | 0 |1700 |1606 |1700 | 257 | 674k| 16 |4367 | 0.000000e+00 | 3.942380e+05 | Inf
1209.11/1209.12 c 1158s| 1580k| 1579k| 2863k| 1.8 |1548M| 209 | 6 |1700 |1606 |1700 | 267 | 677k| 16 |4384 | 0.000000e+00 | 3.942380e+05 | Inf
1216.20/1216.20 c 1164s| 1590k| 1589k| 2875k| 1.8 |1558M| 209 | 0 |1700 |1606 |1700 | 268 | 680k| 16 |4385 | 0.000000e+00 | 3.942380e+05 | Inf
1223.31/1223.35 c 1171s| 1600k| 1599k| 2889k| 1.8 |1568M| 209 | 0 |1700 |1606 |1700 | 277 | 683k| 16 |4403 | 0.000000e+00 | 3.942380e+05 | Inf
1230.41/1230.45 c 1178s| 1610k| 1609k| 2903k| 1.8 |1577M| 209 | 0 |1700 |1606 |1700 | 266 | 687k| 16 |4403 | 0.000000e+00 | 3.942380e+05 | Inf
1237.51/1237.54 c 1185s| 1620k| 1619k| 2918k| 1.8 |1587M| 209 | 0 |1700 |1606 |1700 | 286 | 691k| 16 |4421 | 0.000000e+00 | 3.942380e+05 | Inf
1244.91/1244.97 c 1192s| 1630k| 1629k| 2938k| 1.8 |1597M| 209 | 0 |1700 |1606 |1700 | 275 | 694k| 16 |4437 | 0.000000e+00 | 3.942380e+05 | Inf
1251.91/1251.96 c 1198s| 1640k| 1639k| 2949k| 1.8 |1606M| 209 | 0 |1700 |1606 |1700 | 276 | 697k| 16 |4437 | 0.000000e+00 | 3.942380e+05 | Inf
1259.21/1259.22 c 1205s| 1650k| 1649k| 2965k| 1.8 |1616M| 209 | 0 |1700 |1606 |1700 | 252 | 700k| 16 |4460 | 0.000000e+00 | 3.942380e+05 | Inf
1266.41/1266.48 c 1212s| 1660k| 1659k| 2982k| 1.8 |1626M| 209 | 0 |1700 |1606 |1700 | 270 | 703k| 16 |4469 | 0.000000e+00 | 3.942380e+05 | Inf
1273.51/1273.59 c 1219s| 1670k| 1669k| 2995k| 1.8 |1635M| 209 | 0 |1700 |1606 |1700 | 287 | 707k| 16 |4479 | 0.000000e+00 | 3.942380e+05 | Inf
1280.81/1280.88 c 1225s| 1680k| 1679k| 3012k| 1.8 |1645M| 209 | 22 |1700 |1606 |1700 | 281 | 710k| 16 |4497 | 0.000000e+00 | 3.942380e+05 | Inf
1287.92/1287.98 c 1232s| 1690k| 1689k| 3025k| 1.8 |1655M| 209 | 0 |1700 |1605 |1700 | 271 | 712k| 16 |4498 | 0.000000e+00 | 3.942380e+05 | Inf
1294.91/1294.91 c 1238s| 1700k| 1699k| 3035k| 1.8 |1665M| 209 | 0 |1700 |1605 |1700 | 272 | 715k| 16 |4514 | 0.000000e+00 | 3.942380e+05 | Inf
1301.81/1301.88 c 1245s| 1710k| 1709k| 3046k| 1.8 |1674M| 209 | 0 |1700 |1605 |1700 | 272 | 718k| 16 |4514 | 0.000000e+00 | 3.942380e+05 | Inf
1308.81/1308.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.81/1308.81 c 1252s| 1720k| 1719k| 3056k| 1.8 |1684M| 209 | 2 |1700 |1605 |1700 | 270 | 720k| 16 |4529 | 0.000000e+00 | 3.942380e+05 | Inf
1315.81/1315.82 c 1258s| 1730k| 1729k| 3069k| 1.8 |1694M| 209 | 0 |1700 |1604 |1700 | 273 | 723k| 16 |4534 | 0.000000e+00 | 3.942380e+05 | Inf
1322.91/1322.95 c 1265s| 1740k| 1739k| 3082k| 1.8 |1703M| 209 | 0 |1700 |1604 |1700 | 274 | 726k| 16 |4553 | 0.000000e+00 | 3.942380e+05 | Inf
1329.71/1329.72 c 1271s| 1750k| 1749k| 3091k| 1.8 |1713M| 209 | 0 |1700 |1604 |1700 | 286 | 728k| 16 |4555 | 0.000000e+00 | 3.942380e+05 | Inf
1336.31/1336.34 c 1277s| 1760k| 1759k| 3097k| 1.8 |1723M| 209 | 0 |1700 |1604 |1700 | 287 | 730k| 16 |4555 | 0.000000e+00 | 3.942380e+05 | Inf
1342.91/1342.91 c 1284s| 1770k| 1769k| 3104k| 1.8 |1732M| 209 | 0 |1700 |1604 |1700 | 264 | 732k| 16 |4571 | 0.000000e+00 | 3.942380e+05 | Inf
1349.51/1349.50 c 1290s| 1780k| 1779k| 3110k| 1.7 |1742M| 209 | 0 |1700 |1604 |1700 | 274 | 733k| 16 |4572 | 0.000000e+00 | 3.942380e+05 | Inf
1356.11/1356.12 c 1296s| 1790k| 1789k| 3117k| 1.7 |1751M| 209 | 0 |1700 |1604 |1700 | 309 | 735k| 16 |4572 | 0.000000e+00 | 3.942380e+05 | Inf
1363.21/1363.29 c 1303s| 1800k| 1799k| 3134k| 1.7 |1761M| 209 | 0 |1700 |1604 |1700 | 299 | 739k| 16 |4588 | 0.000000e+00 | 3.942380e+05 | Inf
1370.41/1370.45 c 1309s| 1810k| 1809k| 3149k| 1.7 |1771M| 209 | 0 |1700 |1604 |1700 | 290 | 742k| 16 |4591 | 0.000000e+00 | 3.942380e+05 | Inf
1377.41/1377.44 c 1316s| 1820k| 1819k| 3160k| 1.7 |1780M| 209 | 0 |1700 |1604 |1700 | 281 | 745k| 16 |4606 | 0.000000e+00 | 3.942380e+05 | Inf
1384.51/1384.52 c 1322s| 1830k| 1829k| 3173k| 1.7 |1790M| 209 | 0 |1700 |1604 |1700 | 281 | 748k| 16 |4616 | 0.000000e+00 | 3.942380e+05 | Inf
1391.61/1391.60 c 1329s| 1840k| 1839k| 3187k| 1.7 |1800M| 209 | 0 |1700 |1604 |1700 | 284 | 751k| 16 |4626 | 0.000000e+00 | 3.942380e+05 | Inf
1398.71/1398.70 c 1336s| 1850k| 1849k| 3200k| 1.7 |1810M| 209 | 0 |1700 |1604 |1700 | 285 | 755k| 16 |4640 | 0.000000e+00 | 3.942380e+05 | Inf
1405.72/1405.79 c 1342s| 1860k| 1859k| 3215k| 1.7 |1819M| 209 | 0 |1700 |1604 |1700 | 270 | 759k| 16 |4644 | 0.000000e+00 | 3.942380e+05 | Inf
1412.71/1412.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.71/1412.78 c 1349s| 1870k| 1869k| 3227k| 1.7 |1829M| 209 | 0 |1700 |1604 |1700 | 279 | 762k| 16 |4664 | 0.000000e+00 | 3.942380e+05 | Inf
1419.91/1419.94 c 1356s| 1880k| 1879k| 3241k| 1.7 |1839M| 209 | 0 |1700 |1604 |1700 | 265 | 765k| 16 |4667 | 0.000000e+00 | 3.942380e+05 | Inf
1427.11/1427.12 c 1362s| 1890k| 1889k| 3256k| 1.7 |1848M| 209 | 4 |1700 |1604 |1700 | 245 | 769k| 16 |4681 | 0.000000e+00 | 3.942380e+05 | Inf
1434.32/1434.38 c 1369s| 1900k| 1899k| 3273k| 1.7 |1858M| 209 | 26 |1700 |1604 |1700 | 250 | 772k| 16 |4690 | 0.000000e+00 | 3.942380e+05 | Inf
1441.62/1441.65 c 1376s| 1910k| 1909k| 3289k| 1.7 |1868M| 209 | 0 |1700 |1604 |1700 | 319 | 775k| 16 |4705 | 0.000000e+00 | 3.942380e+05 | Inf
1448.41/1448.48 c 1382s| 1920k| 1919k| 3296k| 1.7 |1877M| 209 | 2 |1700 |1604 |1700 | 250 | 777k| 16 |4705 | 0.000000e+00 | 3.942380e+05 | Inf
1455.61/1455.62 c 1389s| 1930k| 1929k| 3309k| 1.7 |1887M| 209 | 0 |1700 |1604 |1700 | 287 | 780k| 16 |4724 | 0.000000e+00 | 3.942380e+05 | Inf
1462.92/1462.93 c 1396s| 1940k| 1939k| 3327k| 1.7 |1897M| 209 | 0 |1700 |1604 |1700 | 248 | 784k| 16 |4734 | 0.000000e+00 | 3.942380e+05 | Inf
1470.12/1470.19 c 1403s| 1950k| 1949k| 3344k| 1.7 |1907M| 209 | 2 |1700 |1604 |1700 | 306 | 787k| 16 |4746 | 0.000000e+00 | 3.942380e+05 | Inf
1476.92/1476.94 c 1409s| 1960k| 1959k| 3351k| 1.7 |1916M| 209 | 0 |1700 |1604 |1700 | 272 | 789k| 16 |4746 | 0.000000e+00 | 3.942380e+05 | Inf
1483.51/1483.57 c 1416s| 1970k| 1969k| 3357k| 1.7 |1926M| 209 | 4 |1700 |1604 |1700 | 255 | 791k| 16 |4763 | 0.000000e+00 | 3.942380e+05 | Inf
1490.22/1490.27 c 1422s| 1980k| 1979k| 3364k| 1.7 |1935M| 209 | 0 |1700 |1604 |1700 | 296 | 793k| 16 |4763 | 0.000000e+00 | 3.942380e+05 | Inf
1497.02/1497.07 c 1428s| 1990k| 1989k| 3373k| 1.7 |1945M| 209 | 0 |1700 |1604 |1700 | 280 | 795k| 16 |4763 | 0.000000e+00 | 3.942380e+05 | Inf
1503.72/1503.77 c 1435s| 2000k| 1999k| 3379k| 1.7 |1955M| 209 | 0 |1700 |1604 |1700 | 261 | 797k| 16 |4772 | 0.000000e+00 | 3.942380e+05 | Inf
1510.32/1510.39 c 1441s| 2010k| 2009k| 3384k| 1.7 |1964M| 209 | 0 |1700 |1603 |1700 | 269 | 799k| 16 |4780 | 0.000000e+00 | 3.942380e+05 | Inf
1517.12/1517.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1517.12/1517.14 c 1447s| 2020k| 2019k| 3392k| 1.7 |1974M| 209 | 0 |1700 |1603 |1700 | 281 | 801k| 16 |4780 | 0.000000e+00 | 3.942380e+05 | Inf
1523.71/1523.71 c 1453s| 2030k| 2029k| 3397k| 1.7 |1984M| 209 | 20 |1700 |1603 |1700 | 277 | 802k| 16 |4782 | 0.000000e+00 | 3.942380e+05 | Inf
1530.41/1530.41 c 1460s| 2040k| 2039k| 3403k| 1.7 |1993M| 209 | 6 |1700 |1603 |1700 | 277 | 804k| 16 |4787 | 0.000000e+00 | 3.942380e+05 | Inf
1537.11/1537.16 c 1466s| 2050k| 2049k| 3411k| 1.7 |2003M| 209 | 0 |1700 |1603 |1700 | 277 | 806k| 16 |4801 | 0.000000e+00 | 3.942380e+05 | Inf
1544.02/1544.05 c 1472s| 2060k| 2059k| 3422k| 1.7 |2012M| 209 | 0 |1700 |1603 |1700 | 241 | 809k| 16 |4801 | 0.000000e+00 | 3.942380e+05 | Inf
1551.22/1551.20 c 1479s| 2070k| 2069k| 3436k| 1.7 |2022M| 209 | 0 |1700 |1603 |1700 | 264 | 812k| 16 |4817 | 0.000000e+00 | 3.942380e+05 | Inf
1558.31/1558.31 c 1486s| 2080k| 2079k| 3450k| 1.7 |2032M| 209 | 0 |1700 |1603 |1700 | 289 | 816k| 16 |4817 | 0.000000e+00 | 3.942380e+05 | Inf
1565.12/1565.20 c 1492s| 2090k| 2089k| 3460k| 1.7 |2041M| 209 | 0 |1700 |1603 |1700 | 260 | 819k| 16 |4832 | 0.000000e+00 | 3.942380e+05 | Inf
1572.21/1572.22 c 1499s| 2100k| 2099k| 3472k| 1.7 |2051M| 209 | 0 |1700 |1603 |1700 | 274 | 821k| 16 |4835 | 0.000000e+00 | 3.942380e+05 | Inf
1579.32/1579.38 c 1505s| 2110k| 2109k| 3486k| 1.7 |2061M| 209 | 0 |1700 |1603 |1700 | 267 | 825k| 16 |4849 | 0.000000e+00 | 3.942380e+05 | Inf
1586.41/1586.49 c 1512s| 2120k| 2119k| 3497k| 1.6 |2070M| 209 | 0 |1700 |1603 |1700 | 293 | 828k| 16 |4850 | 0.000000e+00 | 3.942380e+05 | Inf
1593.51/1593.55 c 1519s| 2130k| 2129k| 3510k| 1.6 |2080M| 209 | 0 |1700 |1603 |1700 | 268 | 831k| 16 |4867 | 0.000000e+00 | 3.942380e+05 | Inf
1600.52/1600.59 c 1525s| 2140k| 2139k| 3523k| 1.6 |2090M| 209 | 6 |1700 |1603 |1700 | 242 | 835k| 16 |4867 | 0.000000e+00 | 3.942380e+05 | Inf
1607.61/1607.68 c 1532s| 2150k| 2149k| 3534k| 1.6 |2099M| 209 | 0 |1700 |1603 |1700 | 253 | 837k| 16 |4885 | 0.000000e+00 | 3.942380e+05 | Inf
1614.31/1614.38 c 1538s| 2160k| 2159k| 3541k| 1.6 |2109M| 209 | 0 |1700 |1603 |1700 | 302 | 839k| 16 |4886 | 0.000000e+00 | 3.942380e+05 | Inf
1621.42/1621.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.42/1621.48 c 1545s| 2170k| 2169k| 3553k| 1.6 |2119M| 209 | 0 |1700 |1603 |1700 | 271 | 842k| 16 |4886 | 0.000000e+00 | 3.942380e+05 | Inf
1628.52/1628.58 c 1551s| 2180k| 2179k| 3566k| 1.6 |2129M| 209 | 0 |1700 |1603 |1700 | 263 | 845k| 16 |4906 | 0.000000e+00 | 3.942380e+05 | Inf
1635.82/1635.84 c 1558s| 2190k| 2189k| 3582k| 1.6 |2138M| 209 | 0 |1700 |1603 |1700 | 301 | 849k| 16 |4923 | 0.000000e+00 | 3.942380e+05 | Inf
1642.62/1642.67 c 1565s| 2200k| 2199k| 3591k| 1.6 |2148M| 209 | 0 |1700 |1603 |1700 | 248 | 851k| 16 |4926 | 0.000000e+00 | 3.942380e+05 | Inf
1649.61/1649.64 c 1571s| 2210k| 2209k| 3599k| 1.6 |2158M| 209 | 0 |1700 |1603 |1700 | 253 | 853k| 16 |4926 | 0.000000e+00 | 3.942380e+05 | Inf
1656.53/1656.53 c 1578s| 2220k| 2219k| 3607k| 1.6 |2167M| 209 | 0 |1700 |1603 |1700 | 259 | 855k| 16 |4940 | 0.000000e+00 | 3.942380e+05 | Inf
1663.81/1663.85 c 1585s| 2230k| 2229k| 3626k| 1.6 |2177M| 209 | 0 |1700 |1603 |1700 | 280 | 859k| 16 |4944 | 0.000000e+00 | 3.942380e+05 | Inf
1670.82/1670.90 c 1591s| 2240k| 2239k| 3637k| 1.6 |2187M| 209 | 0 |1700 |1603 |1700 | 278 | 862k| 16 |4960 | 0.000000e+00 | 3.942380e+05 | Inf
1678.32/1678.37 c 1598s| 2250k| 2249k| 3657k| 1.6 |2196M| 209 | 0 |1700 |1603 |1700 | 273 | 866k| 16 |4968 | 0.000000e+00 | 3.942380e+05 | Inf
1685.92/1685.98 c 1605s| 2260k| 2259k| 3679k| 1.6 |2206M| 209 | 0 |1700 |1603 |1700 | 256 | 869k| 16 |4979 | 0.000000e+00 | 3.942380e+05 | Inf
1693.42/1693.46 c 1612s| 2270k| 2269k| 3700k| 1.6 |2216M| 209 | 0 |1700 |1603 |1700 | 257 | 873k| 16 |4996 | 0.000000e+00 | 3.942380e+05 | Inf
1700.22/1700.29 c 1619s| 2280k| 2279k| 3707k| 1.6 |2225M| 209 | 0 |1700 |1603 |1700 | 273 | 875k| 16 |4996 | 0.000000e+00 | 3.942380e+05 | Inf
1707.42/1707.47 c 1626s| 2290k| 2289k| 3722k| 1.6 |2235M| 209 | 0 |1700 |1603 |1700 | 289 | 879k| 16 |5014 | 0.000000e+00 | 3.942380e+05 | Inf
1714.42/1714.46 c 1632s| 2300k| 2299k| 3734k| 1.6 |2245M| 209 | 0 |1700 |1603 |1700 | 273 | 881k| 16 |5014 | 0.000000e+00 | 3.942380e+05 | Inf
1721.52/1721.59 c 1639s| 2310k| 2309k| 3748k| 1.6 |2254M| 209 | 0 |1700 |1603 |1700 | 284 | 884k| 16 |5032 | 0.000000e+00 | 3.942380e+05 | Inf
1729.02/1729.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1729.02/1729.04 c 1646s| 2320k| 2319k| 3767k| 1.6 |2264M| 209 | 0 |1700 |1603 |1700 | 285 | 887k| 16 |5053 | 0.000000e+00 | 3.942380e+05 | Inf
1736.12/1736.18 c 1653s| 2330k| 2329k| 3781k| 1.6 |2274M| 209 | 0 |1700 |1603 |1700 | 286 | 890k| 16 |5053 | 0.000000e+00 | 3.942380e+05 | Inf
1743.53/1743.52 c 1660s| 2340k| 2339k| 3797k| 1.6 |2284M| 209 | 0 |1700 |1603 |1700 | 254 | 893k| 16 |5070 | 0.000000e+00 | 3.942380e+05 | Inf
1751.12/1751.10 c 1667s| 2350k| 2349k| 3818k| 1.6 |2293M| 209 | 0 |1700 |1603 |1700 | 291 | 897k| 16 |5086 | 0.000000e+00 | 3.942380e+05 | Inf
1758.83/1758.88 c 1674s| 2360k| 2359k| 3842k| 1.6 |2303M| 209 | 0 |1700 |1603 |1700 | 252 | 901k| 16 |5099 | 0.000000e+00 | 3.942380e+05 | Inf
1766.62/1766.62 c 1682s| 2370k| 2369k| 3866k| 1.6 |2313M| 209 | 0 |1700 |1603 |1700 | 274 | 905k| 16 |5109 | 0.000000e+00 | 3.942380e+05 | Inf
1773.92/1773.95 c 1689s| 2380k| 2379k| 3883k| 1.6 |2323M| 209 | 4 |1700 |1603 |1700 | 286 | 909k| 16 |5132 | 0.000000e+00 | 3.942380e+05 | Inf
1781.02/1781.09 c 1695s| 2390k| 2389k| 3898k| 1.6 |2332M| 209 | 0 |1700 |1603 |1700 | 284 | 913k| 16 |5140 | 0.000000e+00 | 3.942380e+05 | Inf
1788.12/1788.17 c 1702s| 2400k| 2399k| 3910k| 1.6 |2342M| 209 | 0 |1700 |1603 |1700 | 262 | 915k| 16 |5156 | 0.000000e+00 | 3.942380e+05 | Inf
1795.12/1795.20 c 1709s| 2410k| 2409k| 3921k| 1.6 |2352M| 209 | 8 |1700 |1603 |1700 | 246 | 918k| 16 |5156 | 0.000000e+00 | 3.942380e+05 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1713.36
1800.02/1800.00 c Solving Nodes : 2417020
1800.02/1800.00 c Primal Bound : +3.94238000000000e+05 (100 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.01 s SATISFIABLE
1800.02/1800.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1800.02/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.02/1800.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.02/1800.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.02/1800.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1800.02/1800.01 v -x83 x82 -x81 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
1800.02/1800.01 v -x55 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 -x29 x28
1800.02/1800.01 v -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 -x1
1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.01 c Solving Time : 1713.36
1800.02/1800.01 c Original Problem :
1800.02/1800.01 c Problem name : HOME/instance-2700368-1278535141.wbo
1800.02/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.02/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.02/1800.01 c Presolved Problem :
1800.02/1800.01 c Problem name : t_HOME/instance-2700368-1278535141.wbo
1800.02/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.02/1800.01 c Constraints : 1600 initial, 1608 maximal
1800.02/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c linear : 0.01 0 100 0 800 0 101 0 0
1800.02/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c root node : - 0 - - 0 - - - -
1800.02/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.01 c integral : 0 0 0 2682843 0 0 0 0 0 627738
1800.02/1800.01 c indicator : 800 0 3387691 2368974 0 0 2532062 0 0 0
1800.02/1800.01 c linear : 800 6 3387691 2368974 0 6 1021778 920339 0 0
1800.02/1800.01 c logicor : 0+ 0 81886 0 0 0 13727 0 0 0
1800.02/1800.01 c countsols : 0 0 0 2103145 0 0 0 0 0 0
1800.02/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.01 c integral : 7.64 0.00 0.00 7.64 0.00
1800.02/1800.01 c indicator : 154.28 0.01 32.14 122.13 0.00
1800.02/1800.01 c linear : 34.91 0.00 13.16 21.75 0.00
1800.02/1800.01 c logicor : 0.06 0.00 0.06 0.00 0.00
1800.02/1800.01 c countsols : 0.17 0.00 0.00 0.17 0.00
1800.02/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.01 c vbounds : 0.29 2 0 0
1800.02/1800.01 c rootredcost : 0.20 0 0 0
1800.02/1800.01 c pseudoobj : 51.79 3387491 0 0
1800.02/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.01 c propagation : 0.00 6 6 6 6.5 10 4.0 -
1800.02/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.01 c applied globally : - - - 16 4.9 - - -
1800.02/1800.01 c applied locally : - - - 0 0.0 - - -
1800.02/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.01 c cut pool : 0.00 4 - - 9 - (maximal pool size: 53)
1800.02/1800.01 c redcost : 91.26 2682387 0 0 0 0
1800.02/1800.01 c impliedbounds : 0.00 5 0 0 0 0
1800.02/1800.01 c intobj : 0.00 0 0 0 0 0
1800.02/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.01 c gomory : 0.00 5 0 0 57 0
1800.02/1800.01 c strongcg : 0.01 5 0 0 0 0
1800.02/1800.01 c cmir : 0.02 5 0 0 0 0
1800.02/1800.01 c flowcover : 0.01 5 0 0 0 0
1800.02/1800.01 c clique : 0.00 1 0 0 0 0
1800.02/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.01 c mcf : 0.00 1 0 0 0 0
1800.02/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.01 c Pricers : Time Calls Vars
1800.02/1800.01 c problem variables: 0.00 0 0
1800.02/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.01 c relpscost : 7.23 313869 0 0 0 0 627738
1800.02/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.01 c inference : 131.45 2103145 0 0 0 0 4206290
1800.02/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.01 c random : 0.00 0 0 0 0 0 0
1800.02/1800.01 c Primal Heuristics : Time Calls Found
1800.02/1800.01 c LP solutions : 0.00 - 0
1800.02/1800.01 c pseudo solutions : 0.00 - 0
1800.02/1800.01 c feaspump : 0.00 0 0
1800.02/1800.01 c oneopt : 0.63 1 0
1800.02/1800.01 c intshifting : 0.04 17 0
1800.02/1800.01 c crossover : 0.34 13 0
1800.02/1800.01 c pscostdiving : 11.71 23563 0
1800.02/1800.01 c fracdiving : 12.39 23563 0
1800.02/1800.01 c linesearchdiving : 12.08 23563 0
1800.02/1800.01 c guideddiving : 12.04 23564 0
1800.02/1800.01 c coefdiving : 11.99 23564 0
1800.02/1800.01 c veclendiving : 11.95 23564 0
1800.02/1800.01 c objpscostdiving : 12.71 23545 0
1800.02/1800.01 c rootsoldiving : 12.69 23545 0
1800.02/1800.01 c trivial : 0.01 2 1
1800.02/1800.01 c simplerounding : 0.38 313789 0
1800.02/1800.01 c zirounding : 0.18 1000 0
1800.02/1800.01 c rounding : 0.49 7906 0
1800.02/1800.01 c shifting : 1.43 2403 0
1800.02/1800.01 c twoopt : 0.00 0 0
1800.02/1800.01 c fixandinfer : 0.00 0 0
1800.02/1800.01 c intdiving : 0.00 0 0
1800.02/1800.01 c actconsdiving : 0.00 0 0
1800.02/1800.01 c octane : 0.00 0 0
1800.02/1800.01 c rens : 0.01 1 0
1800.02/1800.01 c rins : 0.00 0 0
1800.02/1800.01 c localbranching : 0.00 0 0
1800.02/1800.01 c mutation : 0.00 0 0
1800.02/1800.01 c dins : 0.00 0 0
1800.02/1800.01 c undercover : 0.00 0 0
1800.02/1800.01 c nlp : 0.21 0 0
1800.02/1800.01 c trysol : 0.43 26610 99
1800.02/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.01 c dual LP : 708.59 749837 3925737 5.24 5540.21
1800.02/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.01 c diving/probing LP: 0.15 216 899 4.16 5993.33
1800.02/1800.01 c strong branching : 5.23 5163 72712 14.08 13902.87
1800.02/1800.01 c (at root node) : - 33 3242 98.24 -
1800.02/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.01 c B&B Tree :
1800.02/1800.01 c number of runs : 1
1800.02/1800.01 c nodes : 2417020
1800.02/1800.01 c nodes (total) : 2417020
1800.02/1800.01 c nodes left : 2417009
1800.02/1800.01 c max depth : 209
1800.02/1800.01 c max depth (total): 209
1800.02/1800.01 c backtracks : 23672 (1.0%)
1800.02/1800.01 c delayed cutoffs : 0
1800.02/1800.01 c repropagations : 29 (14 domain reductions, 0 cutoffs)
1800.02/1800.01 c avg switch length: 2.29
1800.02/1800.01 c switching time : 70.49
1800.02/1800.01 c Solution :
1800.02/1800.01 c Solutions found : 100 (1 improvements)
1800.02/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.02/1800.01 c Primal Bound : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.02/1800.01 c Dual Bound : +0.00000000000000e+00
1800.02/1800.01 c Gap : infinite
1800.02/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.01 c Root Iterations : 307
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700368-1278535141/watcher-2700368-1278535141 -o /tmp/evaluation-result-2700368-1278535141/solver-2700368-1278535141 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700368-1278535141.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.06 1.97 1.47 4/178 18622
/proc/meminfo: memFree=28604640/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=9280 CPUtime=0
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 1643 0 0 0 0 0 0 0 25 0 1 0 21727673 9502720 1563 4089446400 4194304 8223781 140734048792608 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18622/statm: 2320 1563 369 984 0 1333 0
[startup+0.029681 s]
/proc/loadavg: 2.06 1.97 1.47 4/178 18622
/proc/meminfo: memFree=28604640/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=20300 CPUtime=0.02
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 4468 0 0 0 2 0 0 0 25 0 1 0 21727673 20787200 4024 4089446400 4194304 8223781 140734048792608 18446744073709551615 6207082 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 5075 4024 442 984 0 4088 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20300
[startup+0.100671 s]
/proc/loadavg: 2.06 1.97 1.47 4/178 18622
/proc/meminfo: memFree=28604640/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=23136 CPUtime=0.09
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 6106 0 0 0 8 1 0 0 25 0 1 0 21727673 23691264 4881 4089446400 4194304 8223781 140734048792608 18446744073709551615 5744307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 5784 4881 564 984 0 4797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23136
[startup+0.300638 s]
/proc/loadavg: 2.06 1.97 1.47 4/178 18622
/proc/meminfo: memFree=28604640/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=23444 CPUtime=0.29
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 9035 0 0 0 27 2 0 0 25 0 1 0 21727673 24006656 4986 4089446400 4194304 8223781 140734048792608 18446744073709551615 6567501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 5861 4986 578 984 0 4874 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23444
[startup+0.700569 s]
/proc/loadavg: 2.06 1.97 1.47 4/178 18622
/proc/meminfo: memFree=28604640/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=23444 CPUtime=0.69
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 9035 0 0 0 67 2 0 0 25 0 1 0 21727673 24006656 4986 4089446400 4194304 8223781 140734048792608 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 5861 4986 578 984 0 4874 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23444
[startup+1.50044 s]
/proc/loadavg: 2.06 1.97 1.47 3/179 18623
/proc/meminfo: memFree=28586032/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=23444 CPUtime=1.49
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 9042 0 0 0 145 4 0 0 25 0 1 0 21727673 24006656 4993 4089446400 4194304 8223781 140734048792608 18446744073709551615 6256882 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 5861 4993 580 984 0 4874 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23444
[startup+3.10017 s]
/proc/loadavg: 2.06 1.97 1.48 3/179 18623
/proc/meminfo: memFree=28586732/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=27492 CPUtime=3.09
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 12236 0 0 0 300 9 0 0 25 0 1 0 21727673 28151808 5962 4089446400 4194304 8223781 140734048792608 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 6873 5962 582 984 0 5886 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27492
[startup+6.30063 s]
/proc/loadavg: 2.06 1.97 1.48 3/179 18623
/proc/meminfo: memFree=28581392/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=29840 CPUtime=6.29
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 21280 0 0 0 614 15 0 0 25 0 1 0 21727673 30556160 6625 4089446400 4194304 8223781 140734048792608 18446744073709551615 4643192 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 7460 6625 582 984 0 6473 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29840
[startup+12.7006 s]
/proc/loadavg: 2.05 1.97 1.48 3/179 18624
/proc/meminfo: memFree=28573644/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=38128 CPUtime=12.69
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 26235 0 0 0 1240 29 0 0 25 0 1 0 21727673 39043072 8705 4089446400 4194304 8223781 140734048792608 18446744073709551615 6520554 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 9532 8705 582 984 0 8545 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38128
[startup+25.5004 s]
/proc/loadavg: 2.04 1.97 1.49 3/179 18624
/proc/meminfo: memFree=28555484/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=52840 CPUtime=25.49
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 32856 0 0 0 2496 53 0 0 25 0 1 0 21727673 54108160 12444 4089446400 4194304 8223781 140734048792608 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 13210 12444 582 984 0 12223 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52840
[startup+51.1001 s]
/proc/loadavg: 2.03 1.97 1.50 3/179 18624
/proc/meminfo: memFree=28520040/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=83792 CPUtime=51.09
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 46449 0 0 0 5004 105 0 0 25 0 1 0 21727673 85803008 20295 4089446400 4194304 8223781 140734048792608 18446744073709551615 6003212 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 20948 20295 582 984 0 19961 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83792
[startup+102.307 s]
/proc/loadavg: 2.01 1.97 1.52 3/179 18626
/proc/meminfo: memFree=28445476/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=140932 CPUtime=102.3
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 63325 0 0 0 10027 203 0 0 25 0 1 0 21727673 144314368 34302 4089446400 4194304 8223781 140734048792608 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 35233 34302 586 984 0 34246 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 140932
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 18628
/proc/meminfo: memFree=28366304/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=206760 CPUtime=162.29
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 80037 0 0 0 15913 316 0 0 25 0 1 0 21727673 211722240 51012 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 51690 51012 586 984 0 50703 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 206760
[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.58 3/179 18629
/proc/meminfo: memFree=28277952/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=278820 CPUtime=222.29
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 100195 0 0 0 21797 432 0 0 25 0 1 0 21727673 285511680 68283 4089446400 4194304 8223781 140734048792608 18446744073709551615 6446793 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 69705 68283 586 984 0 68718 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 278820
[startup+282.3 s]
/proc/loadavg: 2.00 1.97 1.60 3/179 18631
/proc/meminfo: memFree=28187264/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=347632 CPUtime=282.3
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 117693 0 0 0 27686 544 0 0 25 0 1 0 21727673 355975168 85781 4089446400 4194304 8223781 140734048792608 18446744073709551615 6456389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 86908 85781 586 984 0 85921 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 347632
[startup+342.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/179 18632
/proc/meminfo: memFree=28095196/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=418592 CPUtime=342.3
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 135713 0 0 0 33575 655 0 0 25 0 1 0 21727673 428638208 103801 4089446400 4194304 8223781 140734048792608 18446744073709551615 6002984 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 104648 103801 586 984 0 103661 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 418592
[startup+402.301 s]
/proc/loadavg: 2.04 1.99 1.65 3/179 18634
/proc/meminfo: memFree=28005608/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=497192 CPUtime=402.29
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 156461 0 0 0 39461 768 0 0 25 0 1 0 21727673 509124608 121687 4089446400 4194304 8223781 140734048792608 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 124298 121687 586 984 0 123311 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 497192
[startup+462.301 s]
/proc/loadavg: 2.05 2.00 1.67 3/179 18636
/proc/meminfo: memFree=27914296/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=569676 CPUtime=462.29
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 174859 0 0 0 45343 886 0 0 25 0 1 0 21727673 583348224 140085 4089446400 4194304 8223781 140734048792608 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18622/statm: 142419 140085 586 984 0 141432 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 569676
[startup+522.301 s]
/proc/loadavg: 1.94 1.98 1.68 3/179 18783
/proc/meminfo: memFree=28392580/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=642908 CPUtime=522.3
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 193473 0 0 0 51215 1015 0 0 25 0 1 0 21727673 658337792 158699 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 160727 158699 586 984 0 159740 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 642908
[startup+582.301 s]
/proc/loadavg: 1.93 1.97 1.70 3/197 18906
/proc/meminfo: memFree=28121608/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=723004 CPUtime=582.3
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 213837 0 0 0 56839 1391 0 0 25 0 1 0 21727673 740356096 179063 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 180751 179063 586 984 0 179764 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 723004
[startup+642.301 s]
/proc/loadavg: 1.97 1.97 1.71 3/197 18907
/proc/meminfo: memFree=28026544/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=803604 CPUtime=642.31
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 234317 0 0 0 62457 1774 0 0 25 0 1 0 21727673 822890496 199543 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 200901 199543 586 984 0 199914 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 803604
[startup+702.301 s]
################
# More data... #
################
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 359675 0 0 0 96289 3941 0 0 25 0 1 0 21727673 1333301248 322022 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 325513 322022 586 984 0 324526 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1302052
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/197 18919
/proc/meminfo: memFree=27409100/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=1380172 CPUtime=1062.31
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 379519 0 0 0 101967 4264 0 0 25 0 1 0 21727673 1413296128 341866 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 345043 341866 586 984 0 344056 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1380172
[startup+1122.3 s]
/proc/loadavg: 2.22 2.08 1.85 3/197 18920
/proc/meminfo: memFree=27322996/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=1460992 CPUtime=1122.31
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 400059 0 0 0 107629 4602 0 0 25 0 1 0 21727673 1496055808 362406 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 365248 362406 586 984 0 364261 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1460992
[startup+1182.3 s]
/proc/loadavg: 2.09 2.07 1.85 3/197 18922
/proc/meminfo: memFree=27234016/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=1543468 CPUtime=1182.31
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 421008 0 0 0 113245 4986 0 0 25 0 1 0 21727673 1580511232 383351 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 385867 383351 586 984 0 384880 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1543468
[startup+1242.3 s]
/proc/loadavg: 2.03 2.05 1.86 3/197 18923
/proc/meminfo: memFree=27147884/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=1621924 CPUtime=1242.31
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 440961 0 0 0 118912 5319 0 0 25 0 1 0 21727673 1660850176 403300 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 405481 403300 586 984 0 404494 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1621924
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 1.87 3/197 18925
/proc/meminfo: memFree=27060540/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=1702756 CPUtime=1302.32
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 464378 0 0 0 124545 5687 0 0 25 0 1 0 21727673 1743622144 423837 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 425689 423837 586 984 0 424702 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1702756
[startup+1362.3 s]
/proc/loadavg: 2.48 2.13 1.91 3/197 18936
/proc/meminfo: memFree=26976460/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=1782896 CPUtime=1362.31
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 484758 0 0 0 130167 6064 0 0 25 0 1 0 21727673 1825685504 444216 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 445724 444216 586 984 0 444737 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1782896
[startup+1422.31 s]
/proc/loadavg: 2.17 2.10 1.91 3/197 18937
/proc/meminfo: memFree=26887640/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=1864560 CPUtime=1422.32
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 505504 0 0 0 135779 6453 0 0 25 0 1 0 21727673 1909309440 464962 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 466140 464962 586 984 0 465153 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1864560
[startup+1482.3 s]
/proc/loadavg: 2.14 2.10 1.91 3/197 18939
/proc/meminfo: memFree=26801152/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=1945308 CPUtime=1482.31
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 525995 0 0 0 141450 6781 0 0 25 0 1 0 21727673 1991995392 485453 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 486327 485453 586 984 0 485340 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1945308
[startup+1542.3 s]
/proc/loadavg: 2.05 2.08 1.91 3/197 18940
/proc/meminfo: memFree=26713188/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=2062960 CPUtime=1542.32
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 547574 0 0 0 147067 7165 0 0 25 0 1 0 21727673 2112471040 507032 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 515740 507032 586 984 0 514753 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2062960
[startup+1602.3 s]
/proc/loadavg: 2.30 2.16 1.95 3/197 18942
/proc/meminfo: memFree=26630676/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=2143212 CPUtime=1602.31
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 567969 0 0 0 152685 7546 0 0 25 0 1 0 21727673 2194649088 527427 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 535803 527427 586 984 0 534816 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 2143212
[startup+1662.3 s]
/proc/loadavg: 2.10 2.13 1.95 3/197 18944
/proc/meminfo: memFree=26548484/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=2224624 CPUtime=1662.31
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 588673 0 0 0 158307 7924 0 0 25 0 1 0 21727673 2278014976 548126 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 556156 548126 586 984 0 555169 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 2224624
[startup+1722.3 s]
/proc/loadavg: 2.04 2.10 1.95 3/197 18945
/proc/meminfo: memFree=26466680/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=2304680 CPUtime=1722.32
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 609017 0 0 0 163976 8256 0 0 25 0 1 0 21727673 2359992320 568470 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 576170 568470 586 984 0 575183 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2304680
[startup+1782.3 s]
/proc/loadavg: 2.28 2.14 1.97 3/197 18947
/proc/meminfo: memFree=26387132/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=2381512 CPUtime=1782.32
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 628512 0 0 0 169658 8574 0 0 25 0 1 0 21727673 2438668288 587965 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 595378 587965 586 984 0 594391 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2381512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.22 2.14 1.97 3/197 18947
/proc/meminfo: memFree=26361816/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=2405300 CPUtime=1800.02
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 634558 0 0 0 171337 8665 0 0 25 0 1 0 21727673 2463027200 594011 4089446400 4194304 8223781 140734048792608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18622/statm: 601325 594011 586 984 0 600338 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2405300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18622
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.22 2.14 1.97 3/198 18948
/proc/meminfo: memFree=26361684/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=2405300 CPUtime=1801.41
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 634560 0 0 0 171476 8665 0 0 19 0 1 0 21727673 2463027200 594013 4089446400 4194304 8223781 140734048792608 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18622/statm: 601325 594013 588 984 0 600338 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 2405300
[startup+1801.81 s]
/proc/loadavg: 2.20 2.13 1.97 3/198 18948
/proc/meminfo: memFree=26361804/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=2405300 CPUtime=1801.82
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 634560 0 0 0 171517 8665 0 0 20 0 1 0 21727673 2463027200 594013 4089446400 4194304 8223781 140734048792608 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18622/statm: 601325 594013 588 984 0 600338 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 2405300
[startup+1802 s]
/proc/loadavg: 2.20 2.13 1.97 3/198 18948
/proc/meminfo: memFree=26361804/32951124 swapFree=67111528/67111528
[pid=18622] ppid=18620 vsize=2405300 CPUtime=1802.01
/proc/18622/stat : 18622 (pbscip.linux.x8) R 18620 18622 17954 0 -1 4202496 634560 0 0 0 171536 8665 0 0 20 0 1 0 21727673 2463027200 594013 4089446400 4194304 8223781 140734048792608 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18622/statm: 601325 594013 588 984 0 600338 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 2405300
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.12
CPU user time (s): 1715.38
CPU system time (s): 86.7388
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2405300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1715.38
system time used= 86.7388
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1354
runsolver used 2.71959 second user time and 5.9111 second system time
The end
Begin job on node118 at 2010-07-07 22:39:01
IDJOB=2700368
IDBENCH=79422
IDSOLVER=1204
FILE ID=node118/2700368-1278535141
PBS_JOBID= 11239242
Free space on /tmp= 73552 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh211_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700368-1278535141/watcher-2700368-1278535141 -o /tmp/evaluation-result-2700368-1278535141/solver-2700368-1278535141 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700368-1278535141.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b50e414b5ae2abd5c7b876bc50645ba2
RANDOM SEED=441929184
node118.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.818
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.63
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.818
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 : 5332.75
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.818
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
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.72
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.818
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
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.76
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.818
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.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28605168 kB
Buffers: 136316 kB
Cached: 3572528 kB
SwapCached: 0 kB
Active: 1643384 kB
Inactive: 2550572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28605168 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4704 kB
Writeback: 0 kB
AnonPages: 484960 kB
Mapped: 17848 kB
Slab: 85368 kB
PageTables: 5740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 636608 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= 73556 MiB
End job on node118 at 2010-07-07 23:09:04