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-2700008-1278533881.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.02 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.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.05 c presolving (3 rounds):
0.02/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.05 c 1000 implications, 0 cliques
0.02/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.02/0.05 c 800 constraints of type <indicator>
0.02/0.05 c 800 constraints of type <linear>
0.02/0.05 c transformed objective value is always integral (scale: 1)
0.02/0.05 c Presolving Time: 0.04
0.02/0.05 c - non default parameters ----------------------------------------------------------------------
0.02/0.05 c # SCIP version 1.2.1.2
0.02/0.05 c
0.02/0.05 c # frequency for displaying node information lines
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.05 c display/freq = 10000
0.02/0.05 c
0.02/0.05 c # maximal time in seconds to run
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/time = 1799.99
0.02/0.05 c
0.02/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/memory = 3420
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify inequalities
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/linear/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify knapsacks
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.05 c separating/rapidlearning/freq = 0
0.02/0.05 c
0.02/0.05 c -----------------------------------------------------------------------------------------------
0.02/0.05 c start solving
0.02/0.05 c
0.02/0.05 o 394238
0.02/0.05 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.05 c t 0.0s| 1 | 0 | 0 | - |5801k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.02/0.06 c 0.0s| 1 | 0 | 0 | - |6173k| 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 | 37 | - |6207k| 0 | 0 |1700 |1600 |1700 | 56 | 56 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.02/0.06 c 0.0s| 1 | 0 | 117 | - |6254k| 0 | 45 |1700 |1600 |1700 | 98 | 98 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.02/0.07 c 0.1s| 1 | 0 | 167 | - |6422k| 0 | 76 |1700 |1600 |1700 | 140 | 140 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.02/0.08 c 0.1s| 1 | 0 | 190 | - |6450k| 0 | 77 |1700 |1600 |1700 | 148 | 148 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 207 | - |6485k| 0 | 75 |1700 |1600 |1700 | 153 | 153 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.19/0.26 c 0.2s| 1 | 2 | 326 | - |6537k| 0 | 75 |1700 |1600 |1700 | 153 | 153 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
10.59/10.68 c 10.4s| 10000 | 10001 | 61028 | 6.1 | 19M| 87 | 13 |1700 |1600 |1700 | 238 | 18k| 0 | 786 | 0.000000e+00 | 3.942380e+05 | Inf
19.00/19.09 c 18.7s| 20000 | 20001 |108889 | 5.4 | 28M| 89 | 0 |1700 |1600 |1700 | 223 | 31k| 0 | 790 | 0.000000e+00 | 3.942380e+05 | Inf
27.39/27.43 c 26.8s| 30000 | 30001 |154536 | 5.1 | 38M| 101 | 12 |1700 |1600 |1700 | 197 | 43k| 0 | 919 | 0.000000e+00 | 3.942380e+05 | Inf
35.39/35.45 c 34.7s| 40000 | 40001 |187063 | 4.7 | 48M| 109 | 8 |1700 |1600 |1700 | 255 | 53k| 0 |1041 | 0.000000e+00 | 3.942380e+05 | Inf
43.39/43.41 c 42.5s| 50000 | 50001 |216161 | 4.3 | 58M| 109 | 0 |1700 |1600 |1700 | 243 | 62k| 0 |1144 | 0.000000e+00 | 3.942380e+05 | Inf
51.39/51.42 c 50.3s| 60000 | 60001 |250649 | 4.2 | 68M| 121 | 17 |1700 |1600 |1700 | 192 | 72k| 0 |1263 | 0.000000e+00 | 3.942380e+05 | Inf
59.23/59.71 c 57.8s| 70000 | 70001 |279118 | 4.0 | 77M| 121 | 0 |1700 |1600 |1700 | 251 | 81k| 0 |1358 | 0.000000e+00 | 3.942380e+05 | Inf
67.06/67.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.06/67.63 c 65.3s| 80000 | 80001 |309233 | 3.9 | 87M| 121 | 0 |1700 |1600 |1700 | 243 | 90k| 0 |1474 | 0.000000e+00 | 3.942380e+05 | Inf
74.87/75.45 c 72.6s| 90000 | 90001 |339810 | 3.8 | 97M| 121 | 0 |1700 |1600 |1700 | 255 | 99k| 0 |1551 | 0.000000e+00 | 3.942380e+05 | Inf
82.56/83.19 c 79.8s|100000 |100001 |366923 | 3.7 | 107M| 121 | 4 |1700 |1600 |1700 | 212 | 107k| 0 |1644 | 0.000000e+00 | 3.942380e+05 | Inf
90.47/91.06 c 87.1s|110000 |110001 |397363 | 3.6 | 117M| 121 | 0 |1700 |1600 |1700 | 242 | 116k| 0 |1740 | 0.000000e+00 | 3.942380e+05 | Inf
98.16/98.78 c 94.3s|120000 |120001 |426220 | 3.6 | 126M| 121 | 0 |1700 |1600 |1700 | 237 | 124k| 0 |1814 | 0.000000e+00 | 3.942380e+05 | Inf
106.26/106.87 c 102s|130000 |130001 |466737 | 3.6 | 136M| 121 | 0 |1700 |1600 |1700 | 257 | 137k| 0 |1927 | 0.000000e+00 | 3.942380e+05 | Inf
114.17/114.75 c 109s|140000 |140001 |499194 | 3.6 | 146M| 121 | 0 |1700 |1600 |1700 | 269 | 147k| 0 |2036 | 0.000000e+00 | 3.942380e+05 | Inf
122.06/122.69 c 117s|150000 |150001 |534632 | 3.6 | 156M| 121 | 0 |1700 |1600 |1700 | 252 | 157k| 0 |2131 | 0.000000e+00 | 3.942380e+05 | Inf
129.96/130.57 c 124s|160000 |160001 |565591 | 3.5 | 166M| 121 | 0 |1700 |1600 |1700 | 241 | 167k| 0 |2209 | 0.000000e+00 | 3.942380e+05 | Inf
137.87/138.46 c 131s|170000 |170001 |597388 | 3.5 | 175M| 121 | 0 |1700 |1600 |1700 | 249 | 176k| 0 |2278 | 0.000000e+00 | 3.942380e+05 | Inf
145.67/146.28 c 139s|180000 |180001 |627286 | 3.5 | 185M| 121 | 31 |1700 |1600 |1700 | 201 | 185k| 0 |2343 | 0.000000e+00 | 3.942380e+05 | Inf
153.47/154.01 c 146s|190000 |190001 |655566 | 3.4 | 195M| 121 | 0 |1700 |1600 |1700 | 239 | 193k| 0 |2405 | 0.000000e+00 | 3.942380e+05 | Inf
161.17/161.72 c 153s|200000 |200001 |682531 | 3.4 | 205M| 121 | 0 |1700 |1600 |1700 | 232 | 201k| 0 |2462 | 0.000000e+00 | 3.942380e+05 | Inf
169.07/169.60 c 160s|210000 |210001 |715172 | 3.4 | 215M| 121 | 0 |1700 |1600 |1700 | 228 | 211k| 0 |2525 | 0.000000e+00 | 3.942380e+05 | Inf
176.37/176.95 c 167s|220000 |220001 |731610 | 3.3 | 224M| 121 | 0 |1700 |1600 |1700 | 223 | 215k| 0 |2560 | 0.000000e+00 | 3.942380e+05 | Inf
184.06/184.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.06/184.67 c 175s|230000 |230001 |756028 | 3.3 | 234M| 121 | 0 |1700 |1600 |1700 | 221 | 222k| 0 |2614 | 0.000000e+00 | 3.942380e+05 | Inf
191.77/192.30 c 182s|240000 |240001 |780410 | 3.3 | 244M| 121 | 0 |1700 |1600 |1700 | 225 | 230k| 0 |2660 | 0.000000e+00 | 3.942380e+05 | Inf
199.37/199.95 c 189s|250000 |250001 |805583 | 3.2 | 253M| 121 | 0 |1700 |1600 |1700 | 251 | 237k| 0 |2697 | 0.000000e+00 | 3.942380e+05 | Inf
207.07/207.67 c 196s|260000 |260001 |831289 | 3.2 | 263M| 125 | 13 |1700 |1600 |1700 | 215 | 245k| 0 |2748 | 0.000000e+00 | 3.942380e+05 | Inf
214.77/215.39 c 203s|270000 |270001 |859095 | 3.2 | 273M| 125 | 0 |1700 |1600 |1700 | 254 | 253k| 0 |2798 | 0.000000e+00 | 3.942380e+05 | Inf
222.47/223.05 c 210s|280000 |280001 |885190 | 3.2 | 283M| 125 | 0 |1700 |1600 |1700 | 235 | 262k| 0 |2830 | 0.000000e+00 | 3.942380e+05 | Inf
230.37/230.92 c 218s|290000 |290001 |914260 | 3.2 | 293M| 125 | 0 |1700 |1600 |1700 | 241 | 271k| 0 |2884 | 0.000000e+00 | 3.942380e+05 | Inf
238.07/238.64 c 225s|300000 |300001 |942215 | 3.1 | 302M| 125 | 0 |1700 |1600 |1700 | 234 | 279k| 0 |2931 | 0.000000e+00 | 3.942380e+05 | Inf
245.77/246.32 c 232s|310000 |310001 |968137 | 3.1 | 312M| 125 | 0 |1700 |1600 |1700 | 216 | 287k| 0 |2966 | 0.000000e+00 | 3.942380e+05 | Inf
253.36/253.92 c 239s|320000 |320001 |992420 | 3.1 | 322M| 125 | 0 |1700 |1600 |1700 | 230 | 294k| 0 |3013 | 0.000000e+00 | 3.942380e+05 | Inf
260.97/261.55 c 246s|330000 |330001 | 1017k| 3.1 | 332M| 129 | 0 |1700 |1600 |1700 | 235 | 301k| 0 |3044 | 0.000000e+00 | 3.942380e+05 | Inf
268.57/269.16 c 254s|340000 |340001 | 1045k| 3.1 | 341M| 141 | 0 |1700 |1600 |1700 | 207 | 309k| 0 |3088 | 0.000000e+00 | 3.942380e+05 | Inf
276.07/276.60 c 260s|350000 |350001 | 1066k| 3.0 | 351M| 141 | 6 |1700 |1600 |1700 | 234 | 315k| 0 |3123 | 0.000000e+00 | 3.942380e+05 | Inf
283.57/284.10 c 268s|360000 |360001 | 1091k| 3.0 | 361M| 141 | 5 |1700 |1600 |1700 | 227 | 323k| 0 |3174 | 0.000000e+00 | 3.942380e+05 | Inf
291.07/291.64 c 275s|370000 |370001 | 1115k| 3.0 | 371M| 141 | 0 |1700 |1600 |1700 | 257 | 330k| 0 |3204 | 0.000000e+00 | 3.942380e+05 | Inf
298.37/298.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.37/298.93 c 281s|380000 |380001 | 1134k| 3.0 | 380M| 141 | 0 |1700 |1600 |1700 | 237 | 335k| 0 |3229 | 0.000000e+00 | 3.942380e+05 | Inf
305.77/306.35 c 288s|390000 |390001 | 1158k| 3.0 | 390M| 141 | 0 |1700 |1600 |1700 | 235 | 342k| 0 |3273 | 0.000000e+00 | 3.942380e+05 | Inf
313.37/313.99 c 295s|400000 |400001 | 1183k| 3.0 | 400M| 141 | 0 |1700 |1600 |1700 | 265 | 349k| 0 |3315 | 0.000000e+00 | 3.942380e+05 | Inf
320.97/321.55 c 303s|410000 |410001 | 1207k| 2.9 | 410M| 141 | 0 |1700 |1600 |1700 | 258 | 356k| 0 |3341 | 0.000000e+00 | 3.942380e+05 | Inf
328.57/329.15 c 310s|420000 |420001 | 1231k| 2.9 | 419M| 141 | 0 |1700 |1600 |1700 | 219 | 363k| 0 |3391 | 0.000000e+00 | 3.942380e+05 | Inf
336.08/336.65 c 317s|430000 |430001 | 1252k| 2.9 | 429M| 141 | 14 |1700 |1600 |1700 | 215 | 369k| 0 |3422 | 0.000000e+00 | 3.942380e+05 | Inf
343.57/344.13 c 324s|440000 |440001 | 1275k| 2.9 | 439M| 141 | 0 |1700 |1600 |1700 | 268 | 376k| 0 |3446 | 0.000000e+00 | 3.942380e+05 | Inf
350.77/351.39 c 330s|450000 |450001 | 1293k| 2.9 | 449M| 141 | 0 |1700 |1600 |1700 | 241 | 381k| 0 |3471 | 0.000000e+00 | 3.942380e+05 | Inf
358.27/358.84 c 337s|460000 |460001 | 1316k| 2.9 | 458M| 141 | 0 |1700 |1600 |1700 | 222 | 387k| 0 |3495 | 0.000000e+00 | 3.942380e+05 | Inf
365.78/366.39 c 344s|470000 |470001 | 1340k| 2.9 | 468M| 141 | 11 |1700 |1600 |1700 | 211 | 394k| 0 |3541 | 0.000000e+00 | 3.942380e+05 | Inf
373.38/373.93 c 352s|480000 |480001 | 1365k| 2.8 | 478M| 141 | 0 |1700 |1600 |1700 | 228 | 401k| 0 |3569 | 0.000000e+00 | 3.942380e+05 | Inf
380.87/381.42 c 359s|490000 |490001 | 1389k| 2.8 | 488M| 141 | 0 |1700 |1600 |1700 | 250 | 409k| 0 |3596 | 0.000000e+00 | 3.942380e+05 | Inf
388.17/388.77 c 365s|500000 |500001 | 1406k| 2.8 | 497M| 141 | 37 |1700 |1600 |1700 | 219 | 414k| 0 |3624 | 0.000000e+00 | 3.942380e+05 | Inf
395.67/396.23 c 372s|510000 |510001 | 1427k| 2.8 | 507M| 141 | 7 |1700 |1600 |1700 | 191 | 419k| 0 |3663 | 0.000000e+00 | 3.942380e+05 | Inf
403.27/403.81 c 379s|520000 |520001 | 1454k| 2.8 | 517M| 141 | 4 |1700 |1600 |1700 | 174 | 427k| 0 |3690 | 0.000000e+00 | 3.942380e+05 | Inf
410.78/411.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.78/411.31 c 386s|530000 |530001 | 1479k| 2.8 | 527M| 141 | 0 |1700 |1600 |1700 | 234 | 434k| 0 |3717 | 0.000000e+00 | 3.942380e+05 | Inf
418.18/418.76 c 393s|540000 |540001 | 1501k| 2.8 | 537M| 141 | 0 |1700 |1600 |1700 | 283 | 441k| 0 |3756 | 0.000000e+00 | 3.942380e+05 | Inf
425.68/426.22 c 400s|550000 |550001 | 1524k| 2.8 | 546M| 141 | 0 |1700 |1600 |1700 | 266 | 448k| 0 |3789 | 0.000000e+00 | 3.942380e+05 | Inf
433.18/433.74 c 407s|560000 |560001 | 1547k| 2.8 | 556M| 141 | 5 |1700 |1600 |1700 | 241 | 454k| 0 |3820 | 0.000000e+00 | 3.942380e+05 | Inf
440.38/440.94 c 414s|570000 |570001 | 1564k| 2.7 | 566M| 141 | 0 |1700 |1600 |1700 | 245 | 460k| 0 |3843 | 0.000000e+00 | 3.942380e+05 | Inf
447.77/448.39 c 421s|580000 |580001 | 1587k| 2.7 | 575M| 141 | 0 |1700 |1600 |1700 | 265 | 467k| 0 |3870 | 0.000000e+00 | 3.942380e+05 | Inf
455.27/455.89 c 428s|590000 |590001 | 1610k| 2.7 | 585M| 141 | 14 |1700 |1600 |1700 | 239 | 473k| 0 |3898 | 0.000000e+00 | 3.942380e+05 | Inf
462.97/463.50 c 435s|600000 |600001 | 1634k| 2.7 | 595M| 141 | 10 |1700 |1600 |1700 | 225 | 480k| 0 |3941 | 0.000000e+00 | 3.942380e+05 | Inf
470.28/470.87 c 442s|610000 |610001 | 1656k| 2.7 | 605M| 141 | 0 |1700 |1600 |1700 | 248 | 487k| 0 |3969 | 0.000000e+00 | 3.942380e+05 | Inf
477.67/478.23 c 449s|620000 |620001 | 1676k| 2.7 | 614M| 141 | 0 |1700 |1600 |1700 | 265 | 493k| 0 |3994 | 0.000000e+00 | 3.942380e+05 | Inf
485.07/485.69 c 456s|630000 |630001 | 1697k| 2.7 | 624M| 141 | 0 |1700 |1600 |1700 | 235 | 499k| 0 |4018 | 0.000000e+00 | 3.942380e+05 | Inf
492.57/493.18 c 463s|640000 |640001 | 1720k| 2.7 | 634M| 141 | 12 |1700 |1600 |1700 | 172 | 506k| 0 |4046 | 0.000000e+00 | 3.942380e+05 | Inf
500.07/500.69 c 470s|650000 |650001 | 1743k| 2.7 | 644M| 141 | 0 |1700 |1600 |1700 | 251 | 513k| 0 |4072 | 0.000000e+00 | 3.942380e+05 | Inf
507.58/508.13 c 477s|660000 |660001 | 1765k| 2.7 | 654M| 141 | 0 |1700 |1600 |1700 | 233 | 520k| 0 |4099 | 0.000000e+00 | 3.942380e+05 | Inf
514.87/515.47 c 484s|670000 |670001 | 1784k| 2.7 | 663M| 141 | 29 |1700 |1600 |1700 | 228 | 526k| 0 |4125 | 0.000000e+00 | 3.942380e+05 | Inf
522.38/522.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.38/522.91 c 491s|680000 |680001 | 1806k| 2.7 | 673M| 141 | 0 |1700 |1600 |1700 | 231 | 532k| 0 |4148 | 0.000000e+00 | 3.942380e+05 | Inf
529.78/530.38 c 498s|690000 |690001 | 1829k| 2.7 | 683M| 141 | 0 |1700 |1600 |1700 | 259 | 539k| 0 |4172 | 0.000000e+00 | 3.942380e+05 | Inf
537.38/537.94 c 505s|700000 |700001 | 1856k| 2.7 | 693M| 141 | 0 |1700 |1600 |1700 | 240 | 547k| 0 |4217 | 0.000000e+00 | 3.942380e+05 | Inf
544.98/545.56 c 512s|710000 |710001 | 1883k| 2.7 | 702M| 141 | 0 |1700 |1600 |1700 | 245 | 555k| 0 |4243 | 0.000000e+00 | 3.942380e+05 | Inf
552.48/553.02 c 519s|720000 |720001 | 1905k| 2.6 | 712M| 141 | 0 |1700 |1600 |1700 | 252 | 561k| 0 |4268 | 0.000000e+00 | 3.942380e+05 | Inf
559.88/560.49 c 526s|730000 |730001 | 1928k| 2.6 | 722M| 141 | 7 |1700 |1600 |1700 | 221 | 568k| 0 |4296 | 0.000000e+00 | 3.942380e+05 | Inf
567.37/567.97 c 533s|740000 |740001 | 1950k| 2.6 | 732M| 141 | 0 |1700 |1600 |1700 | 263 | 574k| 0 |4322 | 0.000000e+00 | 3.942380e+05 | Inf
574.87/575.40 c 540s|750000 |750001 | 1970k| 2.6 | 741M| 141 | 0 |1700 |1600 |1700 | 233 | 580k| 0 |4344 | 0.000000e+00 | 3.942380e+05 | Inf
582.07/582.68 c 547s|760000 |760001 | 1989k| 2.6 | 751M| 141 | 0 |1700 |1600 |1700 | 253 | 586k| 0 |4361 | 0.000000e+00 | 3.942380e+05 | Inf
589.48/590.07 c 554s|770000 |770001 | 2009k| 2.6 | 761M| 141 | 0 |1700 |1600 |1700 | 263 | 592k| 0 |4383 | 0.000000e+00 | 3.942380e+05 | Inf
596.57/597.15 c 560s|780000 |780001 | 2022k| 2.6 | 770M| 141 | 0 |1700 |1600 |1700 | 235 | 596k| 0 |4408 | 0.000000e+00 | 3.942380e+05 | Inf
603.68/604.20 c 567s|790000 |790001 | 2034k| 2.6 | 780M| 141 | 0 |1700 |1600 |1700 | 260 | 600k| 0 |4423 | 0.000000e+00 | 3.942380e+05 | Inf
610.98/611.57 c 574s|800000 |800001 | 2053k| 2.6 | 790M| 141 | 0 |1700 |1600 |1700 | 246 | 605k| 0 |4441 | 0.000000e+00 | 3.942380e+05 | Inf
618.18/618.76 c 581s|810000 |810001 | 2068k| 2.6 | 799M| 141 | 0 |1700 |1600 |1700 | 244 | 610k| 0 |4454 | 0.000000e+00 | 3.942380e+05 | Inf
625.68/626.23 c 588s|820000 |820001 | 2092k| 2.6 | 809M| 141 | 0 |1700 |1600 |1700 | 267 | 616k| 0 |4478 | 0.000000e+00 | 3.942380e+05 | Inf
633.18/633.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.18/633.70 c 595s|830000 |830001 | 2114k| 2.5 | 819M| 141 | 34 |1700 |1600 |1700 | 190 | 623k| 0 |4507 | 0.000000e+00 | 3.942380e+05 | Inf
640.58/641.19 c 602s|840000 |840001 | 2137k| 2.5 | 829M| 141 | 0 |1700 |1600 |1700 | 264 | 630k| 0 |4538 | 0.000000e+00 | 3.942380e+05 | Inf
648.08/648.65 c 609s|850000 |850001 | 2159k| 2.5 | 838M| 141 | 0 |1700 |1600 |1700 | 233 | 637k| 0 |4558 | 0.000000e+00 | 3.942380e+05 | Inf
655.58/656.15 c 616s|860000 |860001 | 2181k| 2.5 | 848M| 141 | 0 |1700 |1600 |1700 | 233 | 644k| 0 |4577 | 0.000000e+00 | 3.942380e+05 | Inf
662.88/663.43 c 622s|870000 |870001 | 2199k| 2.5 | 858M| 141 | 0 |1700 |1600 |1700 | 234 | 649k| 0 |4597 | 0.000000e+00 | 3.942380e+05 | Inf
670.28/670.90 c 629s|880000 |880001 | 2222k| 2.5 | 868M| 141 | 3 |1700 |1600 |1700 | 225 | 655k| 0 |4618 | 0.000000e+00 | 3.942380e+05 | Inf
677.98/678.55 c 637s|890000 |890001 | 2251k| 2.5 | 877M| 141 | 0 |1700 |1600 |1700 | 252 | 664k| 0 |4640 | 0.000000e+00 | 3.942380e+05 | Inf
685.48/686.00 c 644s|900000 |900001 | 2271k| 2.5 | 887M| 141 | 0 |1700 |1600 |1700 | 245 | 670k| 0 |4661 | 0.000000e+00 | 3.942380e+05 | Inf
692.78/693.34 c 650s|910000 |910001 | 2288k| 2.5 | 897M| 141 | 0 |1700 |1600 |1700 | 245 | 675k| 0 |4678 | 0.000000e+00 | 3.942380e+05 | Inf
700.18/700.72 c 657s|920000 |920001 | 2308k| 2.5 | 906M| 141 | 3 |1700 |1600 |1700 | 237 | 681k| 0 |4698 | 0.000000e+00 | 3.942380e+05 | Inf
707.58/708.13 c 664s|930000 |930001 | 2329k| 2.5 | 916M| 141 | 0 |1700 |1600 |1700 | 231 | 687k| 0 |4718 | 0.000000e+00 | 3.942380e+05 | Inf
714.88/715.49 c 671s|940000 |940001 | 2348k| 2.5 | 926M| 141 | 16 |1700 |1600 |1700 | 214 | 692k| 0 |4736 | 0.000000e+00 | 3.942380e+05 | Inf
722.28/722.89 c 678s|950000 |950001 | 2369k| 2.5 | 936M| 141 | 6 |1700 |1600 |1700 | 230 | 699k| 0 |4755 | 0.000000e+00 | 3.942380e+05 | Inf
729.78/730.40 c 685s|960000 |960001 | 2392k| 2.5 | 945M| 141 | 0 |1700 |1600 |1700 | 262 | 705k| 0 |4774 | 0.000000e+00 | 3.942380e+05 | Inf
737.28/737.86 c 692s|970000 |970001 | 2414k| 2.5 | 955M| 141 | 6 |1700 |1600 |1700 | 242 | 711k| 0 |4794 | 0.000000e+00 | 3.942380e+05 | Inf
744.68/745.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.68/745.23 c 699s|980000 |980001 | 2433k| 2.5 | 965M| 141 | 0 |1700 |1600 |1700 | 251 | 717k| 0 |4816 | 0.000000e+00 | 3.942380e+05 | Inf
752.18/752.73 c 706s|990000 |990001 | 2457k| 2.5 | 975M| 141 | 0 |1700 |1600 |1700 | 255 | 724k| 0 |4840 | 0.000000e+00 | 3.942380e+05 | Inf
759.59/760.13 c 713s| 1000k| 1000k| 2476k| 2.5 | 984M| 141 | 0 |1700 |1600 |1700 | 245 | 729k| 0 |4864 | 0.000000e+00 | 3.942380e+05 | Inf
766.98/767.59 c 720s| 1010k| 1010k| 2498k| 2.5 | 994M| 141 | 0 |1700 |1600 |1700 | 240 | 736k| 0 |4889 | 0.000000e+00 | 3.942380e+05 | Inf
774.29/774.86 c 727s| 1020k| 1020k| 2516k| 2.5 |1004M| 141 | 0 |1700 |1600 |1700 | 229 | 741k| 0 |4907 | 0.000000e+00 | 3.942380e+05 | Inf
781.38/781.95 c 733s| 1030k| 1030k| 2529k| 2.5 |1013M| 141 | 0 |1700 |1600 |1700 | 232 | 745k| 0 |4914 | 0.000000e+00 | 3.942380e+05 | Inf
788.78/789.39 c 740s| 1040k| 1039k| 2551k| 2.5 |1023M| 141 | 0 |1700 |1601 |1700 | 253 | 751k| 1 |4935 | 0.000000e+00 | 3.942380e+05 | Inf
796.08/796.66 c 747s| 1050k| 1049k| 2567k| 2.4 |1033M| 141 | 9 |1700 |1601 |1700 | 247 | 756k| 1 |4943 | 0.000000e+00 | 3.942380e+05 | Inf
803.59/804.10 c 754s| 1060k| 1059k| 2588k| 2.4 |1043M| 141 | 0 |1700 |1601 |1700 | 271 | 762k| 1 |4959 | 0.000000e+00 | 3.942380e+05 | Inf
810.79/811.37 c 761s| 1070k| 1069k| 2603k| 2.4 |1052M| 141 | 0 |1700 |1601 |1700 | 238 | 766k| 1 |4977 | 0.000000e+00 | 3.942380e+05 | Inf
818.29/818.87 c 768s| 1080k| 1079k| 2625k| 2.4 |1062M| 141 | 0 |1700 |1601 |1700 | 263 | 773k| 1 |4997 | 0.000000e+00 | 3.942380e+05 | Inf
825.78/826.35 c 775s| 1090k| 1089k| 2648k| 2.4 |1072M| 141 | 9 |1700 |1601 |1700 | 242 | 780k| 1 |5015 | 0.000000e+00 | 3.942380e+05 | Inf
833.29/833.82 c 782s| 1100k| 1099k| 2670k| 2.4 |1082M| 141 | 0 |1700 |1601 |1700 | 222 | 787k| 1 |5033 | 0.000000e+00 | 3.942380e+05 | Inf
840.68/841.22 c 789s| 1110k| 1109k| 2690k| 2.4 |1091M| 141 | 0 |1700 |1601 |1700 | 240 | 792k| 1 |5054 | 0.000000e+00 | 3.942380e+05 | Inf
848.08/848.67 c 796s| 1120k| 1119k| 2710k| 2.4 |1101M| 141 | 0 |1700 |1601 |1700 | 242 | 798k| 1 |5073 | 0.000000e+00 | 3.942380e+05 | Inf
855.48/856.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.48/856.07 c 803s| 1130k| 1129k| 2730k| 2.4 |1111M| 141 | 0 |1700 |1601 |1700 | 241 | 804k| 1 |5092 | 0.000000e+00 | 3.942380e+05 | Inf
862.89/863.41 c 809s| 1140k| 1139k| 2748k| 2.4 |1120M| 141 | 0 |1700 |1601 |1700 | 266 | 809k| 1 |5108 | 0.000000e+00 | 3.942380e+05 | Inf
870.18/870.77 c 816s| 1150k| 1149k| 2766k| 2.4 |1130M| 141 | 0 |1700 |1601 |1700 | 232 | 815k| 1 |5118 | 0.000000e+00 | 3.942380e+05 | Inf
877.68/878.22 c 823s| 1160k| 1159k| 2783k| 2.4 |1140M| 141 | 0 |1700 |1601 |1700 | 248 | 820k| 1 |5127 | 0.000000e+00 | 3.942380e+05 | Inf
885.39/885.96 c 831s| 1170k| 1169k| 2808k| 2.4 |1150M| 141 | 0 |1700 |1601 |1700 | 244 | 828k| 1 |5154 | 0.000000e+00 | 3.942380e+05 | Inf
892.88/893.43 c 838s| 1180k| 1179k| 2829k| 2.4 |1159M| 141 | 0 |1700 |1601 |1700 | 231 | 834k| 1 |5175 | 0.000000e+00 | 3.942380e+05 | Inf
899.99/900.58 c 844s| 1190k| 1189k| 2842k| 2.4 |1169M| 141 | 0 |1700 |1601 |1700 | 196 | 838k| 1 |5187 | 0.000000e+00 | 3.942380e+05 | Inf
907.29/907.81 c 851s| 1200k| 1199k| 2858k| 2.4 |1179M| 141 | 0 |1700 |1601 |1700 | 217 | 843k| 1 |5206 | 0.000000e+00 | 3.942380e+05 | Inf
914.89/915.43 c 858s| 1210k| 1209k| 2882k| 2.4 |1188M| 141 | 0 |1700 |1601 |1700 | 248 | 851k| 1 |5225 | 0.000000e+00 | 3.942380e+05 | Inf
922.29/922.80 c 865s| 1220k| 1219k| 2901k| 2.4 |1198M| 141 | 4 |1700 |1601 |1700 | 217 | 857k| 1 |5242 | 0.000000e+00 | 3.942380e+05 | Inf
929.78/930.36 c 872s| 1230k| 1229k| 2925k| 2.4 |1208M| 141 | 5 |1700 |1601 |1700 | 214 | 864k| 1 |5258 | 0.000000e+00 | 3.942380e+05 | Inf
937.19/937.75 c 879s| 1240k| 1239k| 2945k| 2.4 |1218M| 141 | 0 |1700 |1601 |1700 | 240 | 869k| 1 |5278 | 0.000000e+00 | 3.942380e+05 | Inf
944.48/945.05 c 886s| 1250k| 1249k| 2962k| 2.4 |1227M| 141 | 0 |1700 |1601 |1700 | 240 | 874k| 1 |5287 | 0.000000e+00 | 3.942380e+05 | Inf
951.79/952.38 c 893s| 1260k| 1259k| 2979k| 2.4 |1237M| 141 | 0 |1700 |1601 |1700 | 237 | 880k| 1 |5293 | 0.000000e+00 | 3.942380e+05 | Inf
959.28/959.86 c 900s| 1270k| 1269k| 3000k| 2.4 |1247M| 141 | 0 |1700 |1601 |1700 | 247 | 885k| 1 |5314 | 0.000000e+00 | 3.942380e+05 | Inf
966.68/967.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.68/967.23 c 907s| 1280k| 1279k| 3018k| 2.4 |1256M| 141 | 0 |1700 |1601 |1700 | 221 | 891k| 1 |5326 | 0.000000e+00 | 3.942380e+05 | Inf
973.99/974.56 c 914s| 1290k| 1289k| 3036k| 2.4 |1266M| 141 | 18 |1700 |1601 |1700 | 219 | 896k| 1 |5343 | 0.000000e+00 | 3.942380e+05 | Inf
981.39/981.97 c 921s| 1300k| 1299k| 3055k| 2.4 |1276M| 141 | 7 |1700 |1601 |1700 | 233 | 901k| 1 |5357 | 0.000000e+00 | 3.942380e+05 | Inf
988.99/989.53 c 928s| 1310k| 1309k| 3079k| 2.4 |1286M| 141 | 14 |1700 |1601 |1700 | 214 | 909k| 1 |5372 | 0.000000e+00 | 3.942380e+05 | Inf
996.49/997.06 c 935s| 1320k| 1319k| 3104k| 2.4 |1295M| 141 | 0 |1700 |1601 |1700 | 258 | 916k| 1 |5388 | 0.000000e+00 | 3.942380e+05 | Inf
1003.79/1004.32 c 941s| 1330k| 1329k| 3123k| 2.3 |1305M| 141 | 0 |1700 |1601 |1700 | 232 | 921k| 1 |5407 | 0.000000e+00 | 3.942380e+05 | Inf
1011.19/1011.77 c 948s| 1340k| 1339k| 3142k| 2.3 |1315M| 141 | 0 |1700 |1601 |1700 | 249 | 927k| 1 |5427 | 0.000000e+00 | 3.942380e+05 | Inf
1018.59/1019.17 c 955s| 1350k| 1349k| 3160k| 2.3 |1324M| 141 | 0 |1700 |1601 |1700 | 249 | 932k| 1 |5444 | 0.000000e+00 | 3.942380e+05 | Inf
1025.89/1026.47 c 962s| 1360k| 1359k| 3175k| 2.3 |1334M| 141 | 0 |1700 |1601 |1700 | 240 | 937k| 1 |5453 | 0.000000e+00 | 3.942380e+05 | Inf
1033.40/1033.91 c 969s| 1370k| 1369k| 3196k| 2.3 |1344M| 141 | 0 |1700 |1601 |1700 | 250 | 943k| 1 |5466 | 0.000000e+00 | 3.942380e+05 | Inf
1040.79/1041.39 c 976s| 1380k| 1379k| 3217k| 2.3 |1354M| 141 | 0 |1700 |1601 |1700 | 257 | 949k| 1 |5479 | 0.000000e+00 | 3.942380e+05 | Inf
1048.39/1048.93 c 983s| 1390k| 1389k| 3239k| 2.3 |1363M| 141 | 0 |1700 |1601 |1700 | 239 | 955k| 1 |5499 | 0.000000e+00 | 3.942380e+05 | Inf
1055.69/1056.22 c 990s| 1400k| 1399k| 3255k| 2.3 |1373M| 141 | 0 |1700 |1601 |1700 | 220 | 960k| 1 |5515 | 0.000000e+00 | 3.942380e+05 | Inf
1062.99/1063.54 c 997s| 1410k| 1409k| 3273k| 2.3 |1383M| 141 | 0 |1700 |1601 |1700 | 240 | 965k| 1 |5535 | 0.000000e+00 | 3.942380e+05 | Inf
1070.29/1070.87 c 1004s| 1420k| 1419k| 3291k| 2.3 |1392M| 141 | 0 |1700 |1601 |1700 | 261 | 971k| 1 |5552 | 0.000000e+00 | 3.942380e+05 | Inf
1077.79/1078.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1077.79/1078.30 c 1011s| 1430k| 1429k| 3311k| 2.3 |1402M| 141 | 0 |1700 |1601 |1700 | 220 | 977k| 1 |5569 | 0.000000e+00 | 3.942380e+05 | Inf
1085.29/1085.85 c 1018s| 1440k| 1439k| 3336k| 2.3 |1412M| 141 | 0 |1700 |1601 |1700 | 242 | 984k| 1 |5588 | 0.000000e+00 | 3.942380e+05 | Inf
1092.59/1093.15 c 1025s| 1450k| 1449k| 3351k| 2.3 |1422M| 141 | 0 |1700 |1601 |1700 | 257 | 989k| 1 |5589 | 0.000000e+00 | 3.942380e+05 | Inf
1099.89/1100.45 c 1031s| 1460k| 1459k| 3368k| 2.3 |1431M| 141 | 0 |1700 |1601 |1700 | 268 | 994k| 1 |5608 | 0.000000e+00 | 3.942380e+05 | Inf
1107.29/1107.82 c 1038s| 1470k| 1469k| 3388k| 2.3 |1441M| 141 | 24 |1700 |1601 |1700 | 241 | 999k| 1 |5627 | 0.000000e+00 | 3.942380e+05 | Inf
1114.80/1115.31 c 1045s| 1480k| 1479k| 3409k| 2.3 |1451M| 141 | 3 |1700 |1601 |1700 | 244 |1006k| 1 |5645 | 0.000000e+00 | 3.942380e+05 | Inf
1122.19/1122.79 c 1052s| 1490k| 1489k| 3431k| 2.3 |1460M| 141 | 0 |1700 |1601 |1700 | 211 |1013k| 1 |5667 | 0.000000e+00 | 3.942380e+05 | Inf
1129.30/1129.89 c 1059s| 1500k| 1499k| 3445k| 2.3 |1470M| 141 | 0 |1700 |1601 |1700 | 248 |1017k| 1 |5667 | 0.000000e+00 | 3.942380e+05 | Inf
1136.80/1137.34 c 1066s| 1510k| 1509k| 3465k| 2.3 |1480M| 141 | 6 |1700 |1601 |1700 | 182 |1023k| 1 |5688 | 0.000000e+00 | 3.942380e+05 | Inf
1144.19/1144.74 c 1073s| 1520k| 1519k| 3484k| 2.3 |1490M| 141 | 0 |1700 |1601 |1700 | 206 |1029k| 1 |5707 | 0.000000e+00 | 3.942380e+05 | Inf
1151.20/1151.77 c 1080s| 1530k| 1529k| 3496k| 2.3 |1499M| 141 | 0 |1700 |1601 |1700 | 230 |1032k| 1 |5721 | 0.000000e+00 | 3.942380e+05 | Inf
1158.20/1158.78 c 1086s| 1540k| 1539k| 3507k| 2.3 |1509M| 141 | 0 |1700 |1601 |1700 | 222 |1036k| 1 |5723 | 0.000000e+00 | 3.942380e+05 | Inf
1164.99/1165.59 c 1093s| 1550k| 1549k| 3514k| 2.3 |1518M| 141 | 0 |1700 |1601 |1700 | 210 |1039k| 1 |5727 | 0.000000e+00 | 3.942380e+05 | Inf
1172.00/1172.51 c 1099s| 1560k| 1559k| 3524k| 2.3 |1528M| 141 | 0 |1700 |1601 |1700 | 255 |1042k| 1 |5739 | 0.000000e+00 | 3.942380e+05 | Inf
1179.19/1179.74 c 1106s| 1570k| 1569k| 3538k| 2.3 |1537M| 141 | 0 |1700 |1601 |1700 | 271 |1046k| 1 |5746 | 0.000000e+00 | 3.942380e+05 | Inf
1186.69/1187.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.69/1187.20 c 1113s| 1580k| 1579k| 3559k| 2.3 |1547M| 141 | 0 |1700 |1601 |1700 | 229 |1052k| 1 |5762 | 0.000000e+00 | 3.942380e+05 | Inf
1194.10/1194.67 c 1120s| 1590k| 1589k| 3579k| 2.3 |1557M| 141 | 4 |1700 |1601 |1700 | 257 |1058k| 1 |5779 | 0.000000e+00 | 3.942380e+05 | Inf
1201.30/1201.86 c 1126s| 1600k| 1599k| 3592k| 2.2 |1567M| 141 | 0 |1700 |1601 |1700 | 247 |1062k| 1 |5797 | 0.000000e+00 | 3.942380e+05 | Inf
1208.79/1209.35 c 1133s| 1610k| 1609k| 3614k| 2.2 |1576M| 141 | 0 |1700 |1601 |1700 | 237 |1069k| 1 |5810 | 0.000000e+00 | 3.942380e+05 | Inf
1216.39/1216.91 c 1141s| 1620k| 1619k| 3635k| 2.2 |1586M| 141 | 0 |1700 |1601 |1700 | 267 |1075k| 1 |5829 | 0.000000e+00 | 3.942380e+05 | Inf
1223.70/1224.28 c 1147s| 1630k| 1629k| 3654k| 2.2 |1596M| 141 | 0 |1700 |1601 |1700 | 263 |1081k| 1 |5841 | 0.000000e+00 | 3.942380e+05 | Inf
1231.09/1231.62 c 1154s| 1640k| 1639k| 3673k| 2.2 |1605M| 141 | 0 |1700 |1601 |1700 | 237 |1086k| 1 |5847 | 0.000000e+00 | 3.942380e+05 | Inf
1238.49/1239.09 c 1161s| 1650k| 1649k| 3693k| 2.2 |1615M| 141 | 4 |1700 |1601 |1700 | 224 |1093k| 1 |5864 | 0.000000e+00 | 3.942380e+05 | Inf
1245.99/1246.55 c 1168s| 1660k| 1659k| 3714k| 2.2 |1625M| 141 | 0 |1700 |1601 |1700 | 226 |1099k| 1 |5883 | 0.000000e+00 | 3.942380e+05 | Inf
1253.40/1253.93 c 1175s| 1670k| 1669k| 3732k| 2.2 |1635M| 141 | 12 |1700 |1601 |1700 | 219 |1105k| 1 |5901 | 0.000000e+00 | 3.942380e+05 | Inf
1260.90/1261.45 c 1182s| 1680k| 1679k| 3755k| 2.2 |1644M| 141 | 0 |1700 |1601 |1700 | 244 |1111k| 1 |5918 | 0.000000e+00 | 3.942380e+05 | Inf
1268.40/1268.92 c 1189s| 1690k| 1689k| 3775k| 2.2 |1654M| 141 | 0 |1700 |1601 |1700 | 242 |1117k| 1 |5934 | 0.000000e+00 | 3.942380e+05 | Inf
1275.80/1276.38 c 1196s| 1700k| 1699k| 3795k| 2.2 |1664M| 141 | 0 |1700 |1601 |1700 | 261 |1123k| 1 |5950 | 0.000000e+00 | 3.942380e+05 | Inf
1282.99/1283.55 c 1203s| 1710k| 1709k| 3811k| 2.2 |1674M| 141 | 0 |1700 |1601 |1700 | 223 |1127k| 1 |5954 | 0.000000e+00 | 3.942380e+05 | Inf
1290.40/1290.92 c 1210s| 1720k| 1719k| 3829k| 2.2 |1683M| 141 | 0 |1700 |1601 |1700 | 241 |1133k| 1 |5972 | 0.000000e+00 | 3.942380e+05 | Inf
1297.80/1298.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.80/1298.36 c 1217s| 1730k| 1729k| 3849k| 2.2 |1693M| 141 | 0 |1700 |1601 |1700 | 276 |1139k| 1 |5990 | 0.000000e+00 | 3.942380e+05 | Inf
1305.20/1305.75 c 1224s| 1740k| 1739k| 3870k| 2.2 |1703M| 141 | 12 |1700 |1601 |1700 | 194 |1145k| 1 |6001 | 0.000000e+00 | 3.942380e+05 | Inf
1312.60/1313.14 c 1231s| 1750k| 1749k| 3889k| 2.2 |1712M| 141 | 0 |1700 |1601 |1700 | 261 |1150k| 1 |6009 | 0.000000e+00 | 3.942380e+05 | Inf
1320.10/1320.60 c 1238s| 1760k| 1759k| 3909k| 2.2 |1722M| 141 | 0 |1700 |1601 |1700 | 244 |1156k| 1 |6025 | 0.000000e+00 | 3.942380e+05 | Inf
1327.39/1327.93 c 1244s| 1770k| 1769k| 3927k| 2.2 |1732M| 141 | 0 |1700 |1601 |1700 | 251 |1162k| 1 |6042 | 0.000000e+00 | 3.942380e+05 | Inf
1334.70/1335.26 c 1251s| 1780k| 1779k| 3944k| 2.2 |1741M| 141 | 0 |1700 |1601 |1700 | 254 |1167k| 1 |6048 | 0.000000e+00 | 3.942380e+05 | Inf
1342.20/1342.77 c 1258s| 1790k| 1789k| 3964k| 2.2 |1751M| 141 | 0 |1700 |1601 |1700 | 242 |1173k| 1 |6057 | 0.000000e+00 | 3.942380e+05 | Inf
1349.69/1350.25 c 1265s| 1800k| 1799k| 3984k| 2.2 |1761M| 141 | 0 |1700 |1601 |1700 | 280 |1179k| 1 |6077 | 0.000000e+00 | 3.942380e+05 | Inf
1357.10/1357.60 c 1272s| 1810k| 1809k| 4002k| 2.2 |1771M| 141 | 0 |1700 |1601 |1700 | 256 |1184k| 1 |6094 | 0.000000e+00 | 3.942380e+05 | Inf
1364.50/1365.04 c 1279s| 1820k| 1819k| 4020k| 2.2 |1780M| 141 | 0 |1700 |1601 |1700 | 233 |1190k| 1 |6107 | 0.000000e+00 | 3.942380e+05 | Inf
1371.90/1372.45 c 1286s| 1830k| 1829k| 4042k| 2.2 |1790M| 141 | 0 |1700 |1601 |1700 | 257 |1196k| 1 |6116 | 0.000000e+00 | 3.942380e+05 | Inf
1379.20/1379.73 c 1293s| 1840k| 1839k| 4058k| 2.2 |1800M| 141 | 0 |1700 |1601 |1700 | 269 |1201k| 1 |6120 | 0.000000e+00 | 3.942380e+05 | Inf
1386.70/1387.21 c 1300s| 1850k| 1849k| 4081k| 2.2 |1809M| 141 | 24 |1700 |1601 |1700 | 216 |1207k| 1 |6133 | 0.000000e+00 | 3.942380e+05 | Inf
1393.99/1394.59 c 1307s| 1860k| 1859k| 4100k| 2.2 |1819M| 141 | 9 |1700 |1601 |1700 | 225 |1213k| 1 |6149 | 0.000000e+00 | 3.942380e+05 | Inf
1401.29/1401.87 c 1314s| 1870k| 1869k| 4117k| 2.2 |1829M| 141 | 3 |1700 |1601 |1700 | 256 |1218k| 1 |6163 | 0.000000e+00 | 3.942380e+05 | Inf
1408.90/1409.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1408.90/1409.40 c 1321s| 1880k| 1879k| 4139k| 2.2 |1839M| 141 | 0 |1700 |1601 |1700 | 259 |1225k| 1 |6180 | 0.000000e+00 | 3.942380e+05 | Inf
1416.10/1416.70 c 1328s| 1890k| 1889k| 4157k| 2.2 |1848M| 141 | 0 |1700 |1601 |1700 | 248 |1230k| 1 |6190 | 0.000000e+00 | 3.942380e+05 | Inf
1423.70/1424.22 c 1335s| 1900k| 1899k| 4180k| 2.2 |1858M| 141 | 0 |1700 |1601 |1700 | 243 |1237k| 1 |6204 | 0.000000e+00 | 3.942380e+05 | Inf
1431.00/1431.58 c 1342s| 1910k| 1909k| 4198k| 2.2 |1868M| 141 | 5 |1700 |1601 |1700 | 198 |1242k| 1 |6214 | 0.000000e+00 | 3.942380e+05 | Inf
1438.40/1438.98 c 1348s| 1920k| 1919k| 4219k| 2.2 |1877M| 141 | 24 |1700 |1601 |1700 | 193 |1248k| 1 |6232 | 0.000000e+00 | 3.942380e+05 | Inf
1445.80/1446.39 c 1355s| 1930k| 1929k| 4238k| 2.2 |1887M| 141 | 14 |1700 |1601 |1700 | 250 |1254k| 1 |6249 | 0.000000e+00 | 3.942380e+05 | Inf
1453.20/1453.75 c 1362s| 1940k| 1939k| 4254k| 2.2 |1897M| 141 | 0 |1700 |1601 |1700 | 211 |1259k| 1 |6250 | 0.000000e+00 | 3.942380e+05 | Inf
1460.70/1461.21 c 1369s| 1950k| 1949k| 4275k| 2.2 |1907M| 141 | 0 |1700 |1601 |1700 | 239 |1266k| 1 |6264 | 0.000000e+00 | 3.942380e+05 | Inf
1468.10/1468.60 c 1376s| 1960k| 1959k| 4294k| 2.2 |1916M| 141 | 0 |1700 |1601 |1700 | 226 |1271k| 1 |6279 | 0.000000e+00 | 3.942380e+05 | Inf
1475.60/1476.18 c 1383s| 1970k| 1969k| 4317k| 2.2 |1926M| 141 | 0 |1700 |1601 |1700 | 268 |1277k| 1 |6297 | 0.000000e+00 | 3.942380e+05 | Inf
1483.20/1483.76 c 1390s| 1980k| 1979k| 4342k| 2.2 |1936M| 141 | 0 |1700 |1601 |1700 | 224 |1285k| 1 |6320 | 0.000000e+00 | 3.942380e+05 | Inf
1490.60/1491.18 c 1397s| 1990k| 1989k| 4363k| 2.2 |1946M| 141 | 0 |1700 |1601 |1700 | 238 |1291k| 1 |6336 | 0.000000e+00 | 3.942380e+05 | Inf
1498.10/1498.69 c 1404s| 2000k| 1999k| 4382k| 2.2 |1955M| 141 | 0 |1700 |1601 |1700 | 232 |1296k| 1 |6350 | 0.000000e+00 | 3.942380e+05 | Inf
1505.60/1506.11 c 1411s| 2010k| 2009k| 4401k| 2.2 |1965M| 141 | 11 |1700 |1601 |1700 | 243 |1302k| 1 |6355 | 0.000000e+00 | 3.942380e+05 | Inf
1512.90/1513.45 c 1418s| 2020k| 2019k| 4418k| 2.2 |1975M| 141 | 0 |1700 |1601 |1700 | 235 |1307k| 1 |6369 | 0.000000e+00 | 3.942380e+05 | Inf
1520.20/1520.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.20/1520.72 c 1425s| 2030k| 2029k| 4436k| 2.2 |1984M| 141 | 0 |1700 |1601 |1700 | 254 |1312k| 1 |6387 | 0.000000e+00 | 3.942380e+05 | Inf
1527.51/1528.09 c 1432s| 2040k| 2039k| 4454k| 2.2 |1994M| 141 | 0 |1700 |1601 |1700 | 248 |1318k| 1 |6388 | 0.000000e+00 | 3.942380e+05 | Inf
1535.11/1535.62 c 1439s| 2050k| 2049k| 4476k| 2.2 |2004M| 141 | 0 |1700 |1601 |1700 | 243 |1325k| 1 |6401 | 0.000000e+00 | 3.942380e+05 | Inf
1542.31/1542.87 c 1446s| 2060k| 2059k| 4492k| 2.2 |2013M| 141 | 5 |1700 |1601 |1700 | 236 |1330k| 1 |6420 | 0.000000e+00 | 3.942380e+05 | Inf
1549.81/1550.39 c 1453s| 2070k| 2069k| 4514k| 2.2 |2023M| 141 | 0 |1700 |1601 |1700 | 221 |1336k| 1 |6437 | 0.000000e+00 | 3.942380e+05 | Inf
1557.30/1557.87 c 1460s| 2080k| 2079k| 4536k| 2.2 |2033M| 141 | 0 |1700 |1601 |1700 | 229 |1343k| 1 |6454 | 0.000000e+00 | 3.942380e+05 | Inf
1564.60/1565.13 c 1467s| 2090k| 2089k| 4553k| 2.2 |2043M| 141 | 0 |1700 |1601 |1700 | 229 |1348k| 1 |6460 | 0.000000e+00 | 3.942380e+05 | Inf
1571.91/1572.49 c 1474s| 2100k| 2099k| 4570k| 2.2 |2052M| 141 | 0 |1700 |1601 |1700 | 271 |1353k| 1 |6471 | 0.000000e+00 | 3.942380e+05 | Inf
1579.30/1579.83 c 1480s| 2110k| 2109k| 4589k| 2.2 |2062M| 141 | 0 |1700 |1601 |1700 | 247 |1359k| 1 |6487 | 0.000000e+00 | 3.942380e+05 | Inf
1586.80/1587.39 c 1488s| 2120k| 2119k| 4610k| 2.2 |2072M| 141 | 0 |1700 |1601 |1700 | 232 |1365k| 1 |6507 | 0.000000e+00 | 3.942380e+05 | Inf
1594.10/1594.63 c 1494s| 2130k| 2129k| 4626k| 2.2 |2081M| 141 | 0 |1700 |1601 |1700 | 229 |1370k| 1 |6507 | 0.000000e+00 | 3.942380e+05 | Inf
1601.70/1602.20 c 1501s| 2140k| 2139k| 4648k| 2.2 |2091M| 141 | 0 |1700 |1601 |1700 | 267 |1376k| 1 |6520 | 0.000000e+00 | 3.942380e+05 | Inf
1609.21/1609.75 c 1509s| 2150k| 2149k| 4671k| 2.2 |2101M| 141 | 0 |1700 |1601 |1700 | 240 |1383k| 1 |6533 | 0.000000e+00 | 3.942380e+05 | Inf
1616.70/1617.26 c 1516s| 2160k| 2159k| 4692k| 2.2 |2111M| 141 | 0 |1700 |1601 |1700 | 254 |1389k| 1 |6546 | 0.000000e+00 | 3.942380e+05 | Inf
1624.00/1624.52 c 1522s| 2170k| 2169k| 4706k| 2.2 |2120M| 141 | 0 |1700 |1601 |1700 | 241 |1394k| 1 |6558 | 0.000000e+00 | 3.942380e+05 | Inf
1631.31/1631.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.31/1631.83 c 1529s| 2180k| 2179k| 4723k| 2.2 |2130M| 141 | 0 |1700 |1601 |1700 | 238 |1399k| 1 |6565 | 0.000000e+00 | 3.942380e+05 | Inf
1638.71/1639.21 c 1536s| 2190k| 2189k| 4741k| 2.2 |2140M| 141 | 0 |1700 |1601 |1700 | 261 |1404k| 1 |6581 | 0.000000e+00 | 3.942380e+05 | Inf
1646.21/1646.77 c 1543s| 2200k| 2199k| 4760k| 2.2 |2149M| 141 | 0 |1700 |1601 |1700 | 253 |1410k| 1 |6589 | 0.000000e+00 | 3.942380e+05 | Inf
1653.70/1654.25 c 1550s| 2210k| 2209k| 4781k| 2.2 |2159M| 141 | 0 |1700 |1601 |1700 | 234 |1416k| 1 |6598 | 0.000000e+00 | 3.942380e+05 | Inf
1661.20/1661.77 c 1557s| 2220k| 2219k| 4802k| 2.2 |2169M| 141 | 0 |1700 |1601 |1700 | 247 |1422k| 1 |6613 | 0.000000e+00 | 3.942380e+05 | Inf
1668.81/1669.37 c 1564s| 2230k| 2229k| 4824k| 2.2 |2178M| 141 | 14 |1700 |1601 |1700 | 231 |1429k| 1 |6628 | 0.000000e+00 | 3.942380e+05 | Inf
1676.31/1676.85 c 1571s| 2240k| 2239k| 4840k| 2.2 |2188M| 141 | 0 |1700 |1601 |1700 | 246 |1434k| 1 |6642 | 0.000000e+00 | 3.942380e+05 | Inf
1683.62/1684.11 c 1578s| 2250k| 2249k| 4853k| 2.2 |2198M| 141 | 4 |1700 |1601 |1700 | 237 |1438k| 1 |6645 | 0.000000e+00 | 3.942380e+05 | Inf
1691.11/1691.67 c 1585s| 2260k| 2259k| 4870k| 2.2 |2208M| 141 | 3 |1700 |1601 |1700 | 234 |1444k| 1 |6660 | 0.000000e+00 | 3.942380e+05 | Inf
1698.70/1699.24 c 1592s| 2270k| 2269k| 4891k| 2.2 |2217M| 141 | 0 |1700 |1601 |1700 | 254 |1450k| 1 |6678 | 0.000000e+00 | 3.942380e+05 | Inf
1706.31/1706.82 c 1599s| 2280k| 2279k| 4912k| 2.2 |2227M| 141 | 0 |1700 |1601 |1700 | 245 |1456k| 1 |6689 | 0.000000e+00 | 3.942380e+05 | Inf
1713.81/1714.39 c 1607s| 2290k| 2289k| 4935k| 2.2 |2237M| 141 | 0 |1700 |1601 |1700 | 237 |1463k| 1 |6699 | 0.000000e+00 | 3.942380e+05 | Inf
1721.21/1721.77 c 1613s| 2300k| 2299k| 4953k| 2.2 |2247M| 141 | 0 |1700 |1601 |1700 | 228 |1468k| 1 |6717 | 0.000000e+00 | 3.942380e+05 | Inf
1728.61/1729.16 c 1620s| 2310k| 2309k| 4970k| 2.2 |2256M| 141 | 0 |1700 |1601 |1700 | 256 |1473k| 1 |6734 | 0.000000e+00 | 3.942380e+05 | Inf
1736.11/1736.67 c 1627s| 2320k| 2319k| 4992k| 2.2 |2266M| 141 | 0 |1700 |1601 |1700 | 235 |1479k| 1 |6749 | 0.000000e+00 | 3.942380e+05 | Inf
1743.51/1744.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1743.51/1744.02 c 1634s| 2330k| 2329k| 5009k| 2.1 |2276M| 141 | 0 |1700 |1601 |1700 | 253 |1484k| 1 |6752 | 0.000000e+00 | 3.942380e+05 | Inf
1751.11/1751.62 c 1641s| 2340k| 2339k| 5032k| 2.2 |2286M| 141 | 0 |1700 |1601 |1700 | 248 |1491k| 1 |6768 | 0.000000e+00 | 3.942380e+05 | Inf
1758.71/1759.22 c 1649s| 2350k| 2349k| 5054k| 2.2 |2295M| 141 | 13 |1700 |1601 |1700 | 199 |1498k| 1 |6786 | 0.000000e+00 | 3.942380e+05 | Inf
1766.01/1766.57 c 1655s| 2360k| 2359k| 5072k| 2.1 |2305M| 141 | 4 |1700 |1601 |1700 | 230 |1504k| 1 |6798 | 0.000000e+00 | 3.942380e+05 | Inf
1773.51/1774.09 c 1662s| 2370k| 2369k| 5093k| 2.1 |2315M| 141 | 5 |1700 |1601 |1700 | 217 |1511k| 1 |6812 | 0.000000e+00 | 3.942380e+05 | Inf
1781.01/1781.50 c 1669s| 2380k| 2379k| 5112k| 2.1 |2324M| 141 | 0 |1700 |1601 |1700 | 230 |1516k| 1 |6815 | 0.000000e+00 | 3.942380e+05 | Inf
1788.41/1788.93 c 1676s| 2390k| 2389k| 5129k| 2.1 |2334M| 141 | 17 |1700 |1601 |1700 | 226 |1521k| 1 |6830 | 0.000000e+00 | 3.942380e+05 | Inf
1795.81/1796.34 c 1683s| 2400k| 2399k| 5148k| 2.1 |2344M| 141 | 0 |1700 |1601 |1700 | 251 |1527k| 1 |6845 | 0.000000e+00 | 3.942380e+05 | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1687.20
1800.02/1800.50 c Solving Nodes : 2405561
1800.02/1800.50 c Primal Bound : +3.94238000000000e+05 (100 solutions)
1800.02/1800.50 c Dual Bound : +0.00000000000000e+00
1800.02/1800.50 c Gap : infinite
1800.02/1800.51 s SATISFIABLE
1800.02/1800.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1687.20
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2700008-1278533881.wbo
1800.02/1800.51 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.02/1800.51 c Constraints : 1701 initial, 1701 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2700008-1278533881.wbo
1800.02/1800.51 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.02/1800.51 c Constraints : 1600 initial, 1601 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.51 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.01 0 100 0 800 0 101 0 0
1800.02/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 2765297 0 0 0 0 0 1075100
1800.02/1800.51 c indicator : 800 0 3566522 2227747 0 0 2457249 0 0 0
1800.02/1800.51 c linear : 800 6 3566522 2227747 0 1 1249558 1530512 0 0
1800.02/1800.51 c logicor : 0+ 0 21105 0 0 0 784 0 0 0
1800.02/1800.51 c countsols : 0 0 0 1868010 0 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 8.54 0.00 0.00 8.54 0.00
1800.02/1800.51 c indicator : 144.44 0.00 32.71 111.73 0.00
1800.02/1800.51 c linear : 40.52 0.00 16.87 23.65 0.00
1800.02/1800.51 c logicor : 0.01 0.00 0.01 0.00 0.00
1800.02/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 0.04 2 0 0
1800.02/1800.51 c rootredcost : 0.01 0 0 0
1800.02/1800.51 c pseudoobj : 50.62 3566322 0 0
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 0.00 1 1 1 5.0 0 0.0 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 1 5.0 - - -
1800.02/1800.51 c applied locally : - - - 0 0.0 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 3 - - 1 - (maximal pool size: 46)
1800.02/1800.51 c redcost : 91.23 2764709 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 4 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.02 4 0 0 49 0
1800.02/1800.51 c strongcg : 0.00 4 0 0 0 0
1800.02/1800.51 c cmir : 0.01 4 0 0 0 0
1800.02/1800.51 c flowcover : 0.01 4 0 0 0 0
1800.02/1800.51 c clique : 0.00 1 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 1 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 8.42 537550 0 0 0 0 1075100
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 125.20 1868010 0 0 0 0 3736020
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c oneopt : 0.21 1 0
1800.02/1800.51 c intshifting : 0.04 22 0
1800.02/1800.51 c crossover : 0.20 13 0
1800.02/1800.51 c pscostdiving : 16.65 33965 0
1800.02/1800.51 c linesearchdiving : 16.67 33965 0
1800.02/1800.51 c coefdiving : 16.44 33966 0
1800.02/1800.51 c fracdiving : 16.50 33966 0
1800.02/1800.51 c veclendiving : 16.97 33966 0
1800.02/1800.51 c guideddiving : 16.68 33966 0
1800.02/1800.51 c trivial : 0.01 2 1
1800.02/1800.51 c simplerounding : 0.09 537492 0
1800.02/1800.51 c zirounding : 0.05 1000 0
1800.02/1800.51 c rounding : 0.45 10240 0
1800.02/1800.51 c shifting : 1.60 3177 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 18.12 33929 0
1800.02/1800.51 c rootsoldiving : 18.04 33929 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.01 1 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.01 0 0
1800.02/1800.51 c trysol : 0.24 38054 99
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 673.46 1098143 5157540 4.70 7658.27
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.22 574 1795 3.13 8159.09
1800.02/1800.51 c strong branching : 5.42 6846 66698 9.74 12305.90
1800.02/1800.51 c (at root node) : - 33 2764 83.76 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 2405561
1800.02/1800.51 c nodes (total) : 2405561
1800.02/1800.51 c nodes left : 2405560
1800.02/1800.51 c max depth : 141
1800.02/1800.51 c max depth (total): 141
1800.02/1800.51 c backtracks : 34164 (1.4%)
1800.02/1800.51 c delayed cutoffs : 0
1800.02/1800.51 c repropagations : 1 (1 domain reductions, 0 cutoffs)
1800.02/1800.51 c avg switch length: 2.39
1800.02/1800.51 c switching time : 66.57
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 100 (1 improvements)
1800.02/1800.51 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.02/1800.51 c Primal Bound : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 207
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700008-1278533881/watcher-2700008-1278533881 -o /tmp/evaluation-result-2700008-1278533881/solver-2700008-1278533881 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700008-1278533881.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: 3.52 1.10 0.38 5/186 18443
/proc/meminfo: memFree=29070328/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=9412 CPUtime=0
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 1647 0 0 0 0 0 0 0 25 0 1 0 21602024 9637888 1566 4089446400 4194304 8223781 140733910148256 18446744073709551615 7235108 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18443/statm: 2353 1566 369 984 0 1366 0
[startup+0.024541 s]
/proc/loadavg: 3.52 1.10 0.38 5/186 18443
/proc/meminfo: memFree=29070328/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=19536 CPUtime=0.02
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 4303 0 0 0 2 0 0 0 25 0 1 0 21602024 20004864 3858 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18443/statm: 4884 3858 441 984 0 3897 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19536
[startup+0.100527 s]
/proc/loadavg: 3.52 1.10 0.38 5/186 18443
/proc/meminfo: memFree=29070328/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=23088 CPUtime=0.09
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 6088 0 0 0 9 0 0 0 25 0 1 0 21602024 23642112 4862 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18443/statm: 5772 4862 564 984 0 4785 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23088
[startup+0.30049 s]
/proc/loadavg: 3.52 1.10 0.38 5/186 18443
/proc/meminfo: memFree=29070328/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=25356 CPUtime=0.29
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 8961 0 0 0 28 1 0 0 25 0 1 0 21602024 25964544 5451 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18443/statm: 6339 5451 578 984 0 5352 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25356
[startup+0.700418 s]
/proc/loadavg: 3.52 1.10 0.38 5/186 18443
/proc/meminfo: memFree=29070328/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=25356 CPUtime=0.69
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 8961 0 0 0 67 2 0 0 25 0 1 0 21602024 25964544 5451 4089446400 4194304 8223781 140733910148256 18446744073709551615 7073886 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18443/statm: 6339 5451 578 984 0 5352 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25356
[startup+1.50028 s]
/proc/loadavg: 3.52 1.10 0.38 3/187 18444
/proc/meminfo: memFree=29049860/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=25356 CPUtime=1.49
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 8974 0 0 0 145 4 0 0 25 0 1 0 21602024 25964544 5464 4089446400 4194304 8223781 140733910148256 18446744073709551615 6436202 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18443/statm: 6339 5464 581 984 0 5352 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25356
[startup+3.10099 s]
/proc/loadavg: 3.72 1.18 0.41 7/187 18444
/proc/meminfo: memFree=29049240/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=27956 CPUtime=3.09
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 17949 0 0 0 301 8 0 0 25 0 1 0 21602024 28626944 6070 4089446400 4194304 8223781 140733910148256 18446744073709551615 6003622 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18443/statm: 6989 6070 584 984 0 6002 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27956
[startup+6.30042 s]
/proc/loadavg: 3.72 1.18 0.41 6/187 18444
/proc/meminfo: memFree=29046400/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=31920 CPUtime=6.29
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 21803 0 0 0 613 16 0 0 25 0 1 0 21602024 32686080 7066 4089446400 4194304 8223781 140733910148256 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18443/statm: 7980 7066 584 984 0 6993 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31920
[startup+12.7006 s]
/proc/loadavg: 3.82 1.28 0.45 3/187 18444
/proc/meminfo: memFree=29039580/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=40236 CPUtime=12.69
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 26777 0 0 0 1240 29 0 0 25 0 1 0 21602024 41201664 9177 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18443/statm: 10059 9177 584 984 0 9072 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40236
[startup+25.501 s]
/proc/loadavg: 4.07 1.42 0.51 5/187 18444
/proc/meminfo: memFree=29023740/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=55976 CPUtime=25.49
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 36485 0 0 0 2493 56 0 0 25 0 1 0 21602024 57319424 13178 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18443/statm: 13994 13178 584 984 0 13007 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55976
[startup+51.1004 s]
/proc/loadavg: 4.34 1.71 0.62 6/187 18449
/proc/meminfo: memFree=28992044/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=86960 CPUtime=51.09
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 47197 0 0 0 5004 105 0 0 25 0 1 0 21602024 89047040 21034 4089446400 4194304 8223781 140733910148256 18446744073709551615 6592233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18443/statm: 21740 21034 584 984 0 20753 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 86960
[startup+102.306 s]
/proc/loadavg: 3.31 1.90 0.75 3/179 18737
/proc/meminfo: memFree=28953800/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=152420 CPUtime=101.77
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 66169 0 0 0 9760 417 0 0 25 0 1 0 21602024 156078080 37140 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 38105 37140 584 984 0 37118 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 152420
[startup+162.301 s]
/proc/loadavg: 2.48 1.91 0.83 3/179 18885
/proc/meminfo: memFree=28859212/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=231016 CPUtime=161.77
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 85097 0 0 0 15357 820 0 0 25 0 1 0 21602024 236560384 56067 4089446400 4194304 8223781 140733910148256 18446744073709551615 6505820 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 57754 56067 584 984 0 56767 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 231016
[startup+222.301 s]
/proc/loadavg: 2.23 1.94 0.90 3/179 18887
/proc/meminfo: memFree=28707932/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=305384 CPUtime=221.76
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 106864 0 0 0 20978 1198 0 0 25 0 1 0 21602024 312713216 74960 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 76346 74960 584 984 0 75359 0
Current children cumulated CPU time (s) 221.76
Current children cumulated vsize (KiB) 305384
[startup+282.3 s]
/proc/loadavg: 2.08 1.95 0.97 3/179 18889
/proc/meminfo: memFree=28557340/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=380668 CPUtime=281.77
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 126010 0 0 0 26582 1595 0 0 25 0 1 0 21602024 389804032 94106 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 95167 94106 584 984 0 94180 0
Current children cumulated CPU time (s) 281.77
Current children cumulated vsize (KiB) 380668
[startup+342.301 s]
/proc/loadavg: 2.03 1.95 1.03 3/179 18891
/proc/meminfo: memFree=28403892/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=457024 CPUtime=341.77
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 148259 0 0 0 32193 1984 0 0 25 0 1 0 21602024 467992576 113502 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 114256 113502 584 984 0 113269 0
Current children cumulated CPU time (s) 341.77
Current children cumulated vsize (KiB) 457024
[startup+402.301 s]
/proc/loadavg: 2.01 1.96 1.09 3/179 18891
/proc/meminfo: memFree=28247968/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=542316 CPUtime=401.77
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 167836 0 0 0 37802 2375 0 0 25 0 1 0 21602024 555331584 133079 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 135579 133079 584 984 0 134592 0
Current children cumulated CPU time (s) 401.77
Current children cumulated vsize (KiB) 542316
[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.14 3/179 18893
/proc/meminfo: memFree=28088076/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=621092 CPUtime=461.77
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 187843 0 0 0 43420 2757 0 0 25 0 1 0 21602024 635998208 153086 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 155273 153086 584 984 0 154286 0
Current children cumulated CPU time (s) 461.77
Current children cumulated vsize (KiB) 621092
[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.19 3/179 18895
/proc/meminfo: memFree=27935140/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=697196 CPUtime=521.78
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 207195 0 0 0 49039 3139 0 0 25 0 1 0 21602024 713928704 172438 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 174299 172438 584 984 0 173312 0
Current children cumulated CPU time (s) 521.78
Current children cumulated vsize (KiB) 697196
[startup+582.301 s]
/proc/loadavg: 2.03 1.99 1.25 3/179 18897
/proc/meminfo: memFree=27772996/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=776652 CPUtime=581.78
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 227351 0 0 0 54650 3528 0 0 25 0 1 0 21602024 795291648 192593 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 194163 192593 584 984 0 193176 0
Current children cumulated CPU time (s) 581.78
Current children cumulated vsize (KiB) 776652
[startup+642.301 s]
/proc/loadavg: 2.01 1.99 1.29 3/179 18899
/proc/meminfo: memFree=27620040/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=852084 CPUtime=641.78
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 249390 0 0 0 60269 3909 0 0 25 0 1 0 21602024 872534016 211798 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 213021 211798 584 984 0 212034 0
Current children cumulated CPU time (s) 641.78
Current children cumulated vsize (KiB) 852084
[startup+702.3 s]
################
# More data... #
################
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 387578 0 0 0 99575 6603 0 0 25 0 1 0 21602024 1446330368 349985 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 353108 349985 588 984 0 352121 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 1412432
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 1.57 3/179 18911
/proc/meminfo: memFree=26350412/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=1488648 CPUtime=1121.79
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 406958 0 0 0 105192 6987 0 0 25 0 1 0 21602024 1524375552 369365 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 372162 369365 588 984 0 371175 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 1488648
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.59 3/179 18913
/proc/meminfo: memFree=26192760/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=1568824 CPUtime=1181.79
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 427317 0 0 0 110817 7362 0 0 25 0 1 0 21602024 1606475776 389724 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 392206 389724 588 984 0 391219 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 1568824
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.61 3/179 18915
/proc/meminfo: memFree=26028120/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=1646052 CPUtime=1241.8
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 449803 0 0 0 116429 7751 0 0 25 0 1 0 21602024 1685557248 409355 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 411513 409355 588 984 0 410526 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1646052
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.64 3/179 18915
/proc/meminfo: memFree=25869096/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=1722484 CPUtime=1301.8
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 469226 0 0 0 122043 8137 0 0 25 0 1 0 21602024 1763823616 428778 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 430621 428778 588 984 0 429634 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1722484
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.66 3/179 18917
/proc/meminfo: memFree=25709948/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=1801856 CPUtime=1361.8
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 489383 0 0 0 127669 8511 0 0 25 0 1 0 21602024 1845100544 448935 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 450464 448935 588 984 0 449477 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1801856
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.68 3/179 18919
/proc/meminfo: memFree=25549176/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=1877492 CPUtime=1421.8
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 508607 0 0 0 133288 8892 0 0 25 0 1 0 21602024 1922551808 468159 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 469373 468159 588 984 0 468386 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1877492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/179 18921
/proc/meminfo: memFree=25390636/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=1955028 CPUtime=1481.8
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 528312 0 0 0 138904 9276 0 0 25 0 1 0 21602024 2001948672 487864 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 488757 487864 588 984 0 487770 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1955028
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 18923
/proc/meminfo: memFree=25231840/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=2064340 CPUtime=1541.8
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 547765 0 0 0 144534 9646 0 0 25 0 1 0 21602024 2113884160 507317 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 516085 507317 588 984 0 515098 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 2064340
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 18923
/proc/meminfo: memFree=25076172/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=2140368 CPUtime=1601.8
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 567090 0 0 0 150154 10026 0 0 25 0 1 0 21602024 2191736832 526642 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 535092 526642 588 984 0 534105 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 2140368
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.75 3/179 18925
/proc/meminfo: memFree=24915048/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=2220120 CPUtime=1661.81
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 587329 0 0 0 155776 10405 0 0 25 0 1 0 21602024 2273402880 546881 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 555030 546881 588 984 0 554043 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 2220120
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.76 3/179 18927
/proc/meminfo: memFree=24758392/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=2295332 CPUtime=1721.81
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 606439 0 0 0 161393 10788 0 0 25 0 1 0 21602024 2350419968 565991 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 573833 565991 588 984 0 572846 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 2295332
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.77 3/179 18929
/proc/meminfo: memFree=24595640/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=2373636 CPUtime=1781.81
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 626329 0 0 0 167015 11166 0 0 25 0 1 0 21602024 2430603264 585881 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 593409 585881 588 984 0 592422 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 2373636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 18929
/proc/meminfo: memFree=24545288/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=2396660 CPUtime=1800.02
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 632187 0 0 0 168721 11281 0 0 25 0 1 0 21602024 2454179840 591739 4089446400 4194304 8223781 140733910148256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18443/statm: 599165 591739 588 984 0 598178 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2396660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18443
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.77 3/180 18930
/proc/meminfo: memFree=24544536/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=2396660 CPUtime=1800.91
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 632189 0 0 0 168810 11281 0 0 25 0 1 0 21602024 2454179840 591741 4089446400 4194304 8223781 140733910148256 18446744073709551615 6207118 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18443/statm: 599165 591741 590 984 0 598178 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 2396660
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.77 3/180 18930
/proc/meminfo: memFree=24542180/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=2396660 CPUtime=1801.71
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 632189 0 0 0 168890 11281 0 0 25 0 1 0 21602024 2454179840 591741 4089446400 4194304 8223781 140733910148256 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18443/statm: 599165 591741 590 984 0 598178 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 2396660
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.77 3/180 18930
/proc/meminfo: memFree=24542180/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=2396660 CPUtime=1801.91
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 632189 0 0 0 168910 11281 0 0 25 0 1 0 21602024 2454179840 591741 4089446400 4194304 8223781 140733910148256 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18443/statm: 599165 591741 590 984 0 598178 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 2396660
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 1.77 3/180 18930
/proc/meminfo: memFree=24542180/32950904 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=2396660 CPUtime=1802.01
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17879 0 -1 4202496 632189 0 0 0 168920 11281 0 0 25 0 1 0 21602024 2454179840 591741 4089446400 4194304 8223781 140733910148256 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18443/statm: 599165 591741 590 984 0 598178 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 2396660
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.58
CPU time (s): 1802.1
CPU user time (s): 1689.21
CPU system time (s): 112.892
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 2396660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1689.21
system time used= 112.892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632189
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= 2690
runsolver used 3.07553 second user time and 6.17606 second system time
The end
Begin job on node121 at 2010-07-07 22:18:01
IDJOB=2700008
IDBENCH=79392
IDSOLVER=1204
FILE ID=node121/2700008-1278533881
PBS_JOBID= 11239235
Free space on /tmp= 73652 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-jnh202_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-2700008-1278533881/watcher-2700008-1278533881 -o /tmp/evaluation-result-2700008-1278533881/solver-2700008-1278533881 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700008-1278533881.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d13dffa73911787707d210cefbded5d8
RANDOM SEED=437720396
node121.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.847
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
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.15
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.847
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.847
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.82
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.847
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.67
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.847
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.76
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.847
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
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: 32950904 kB
MemFree: 29070856 kB
Buffers: 131488 kB
Cached: 3511832 kB
SwapCached: 0 kB
Active: 1412320 kB
Inactive: 2318408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950904 kB
LowFree: 29070856 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 13268 kB
Writeback: 0 kB
AnonPages: 87448 kB
Mapped: 18796 kB
Slab: 83228 kB
PageTables: 5192 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586980 kB
Committed_AS: 306016 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= 73660 MiB
End job on node121 at 2010-07-07 22:48:04