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-2692458-1277931227.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.09/0.12 o 135864
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.358640e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 2707 implications, 0 cliques
0.09/0.19 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19 c 2707 constraints of type <indicator>
0.09/0.19 c 2707 constraints of type <linear>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.13
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c t 0.2s| 1 | 0 | 0 | - | 19M| 0 | 0 |5645 |5414 |5645 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 22 | - | 19M| 0 | 0 |5645 |5414 |5645 | 22 | 22 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 43 | - | 19M| 0 | 7 |5645 |5414 |5645 | 53 | 53 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 65 | - | 19M| 0 | 19 |5645 |5414 |5645 | 89 | 89 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 85 | - | 19M| 0 | 30 |5645 |5414 |5645 | 113 | 113 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 98 | - | 19M| 0 | 32 |5645 |5414 |5645 | 127 | 127 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 106 | - | 19M| 0 | 32 |5645 |5414 |5645 | 137 | 137 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
0.39/0.42 c 0.3s| 1 | 2 | 185 | - | 19M| 0 | 32 |5645 |5414 |5645 | 137 | 137 | 0 | 32 | 0.000000e+00 | 1.358640e+05 | Inf
23.19/23.29 c 22.7s| 10000 | 10001 | 13871 | 1.4 | 48M| 181 | 0 |5645 |5414 |5645 | 191 |5016 | 0 |1579 | 0.000000e+00 | 1.358640e+05 | Inf
42.19/42.23 c 41.1s| 20000 | 20001 | 22392 | 1.1 | 70M| 181 | 0 |5645 |5414 |5645 | 210 |8156 | 0 |1627 | 0.000000e+00 | 1.358640e+05 | Inf
50.99/51.09 o 819
50.99/51.09 c *49.8s| 24765 | 22673 | 26160 | 1.1 | 77M| 181 | - |5645 |5414 |5645 | 202 |9360 | 0 |1642 | 0.000000e+00 | 8.190000e+02 | Inf
63.89/63.98 o 809
63.89/63.98 c *62.4s| 29164 | 26859 | 39050 | 1.3 | 90M| 181 | - |5645 |5503 |5645 | 203 | 13k| 89 |1744 | 0.000000e+00 | 8.090000e+02 | Inf
65.29/65.38 o 790
65.29/65.38 c *63.8s| 29631 | 27042 | 40286 | 1.4 | 90M| 181 | - |5645 |5512 |5645 | 212 | 13k| 98 |1746 | 0.000000e+00 | 7.900000e+02 | Inf
66.59/66.66 c 65.0s| 30000 | 27394 | 41923 | 1.4 | 91M| 181 | 0 |5645 |5543 |5645 | 201 | 14k| 129 |1747 | 0.000000e+00 | 7.900000e+02 | Inf
69.29/69.40 o 689
69.29/69.40 c *67.7s| 30752 | 25908 | 45236 | 1.5 | 88M| 181 | - |5645 |5644 |5645 | 185 | 15k| 230 |1751 | 0.000000e+00 | 6.890000e+02 | Inf
71.40/71.41 o 683
71.40/71.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.40/71.41 c *69.6s| 31368 | 26271 | 46599 | 1.5 | 90M| 181 | - |5645 |5763 |5645 | 220 | 15k| 349 |1754 | 0.000000e+00 | 6.830000e+02 | Inf
75.80/75.83 o 680
75.80/75.83 c *74.0s| 32575 | 27252 | 52742 | 1.6 | 94M| 181 | - |5645 |6003 |5645 | 230 | 17k| 589 |1768 | 0.000000e+00 | 6.800000e+02 | Inf
84.09/84.12 o 657
84.09/84.12 c *82.1s| 34897 | 28352 | 62028 | 1.8 | 100M| 181 | - |5645 |6290 |5645 | 204 | 20k| 902 |1784 | 0.000000e+00 | 6.570000e+02 | Inf
98.29/98.31 o 647
98.29/98.31 c *96.0s| 39205 | 31704 | 74430 | 1.9 | 111M| 181 | - |5645 |6495 |5645 | 212 | 24k|1631 |1786 | 0.000000e+00 | 6.470000e+02 | Inf
98.50/98.50 o 646
98.50/98.50 c *96.2s| 39251 | 31684 | 74716 | 1.9 | 111M| 181 | - |5645 |6491 |5645 | 213 | 24k|1641 |1789 | 0.000000e+00 | 6.460000e+02 | Inf
100.40/100.45 o 615
100.40/100.45 c *98.0s| 39793 | 30450 | 76605 | 1.9 | 108M| 181 | - |5645 |6438 |5645 | 208 | 24k|1764 |1789 | 0.000000e+00 | 6.150000e+02 | Inf
101.29/101.32 c 98.9s| 40000 | 30615 | 77638 | 1.9 | 108M| 181 | 0 |5645 |6440 |5645 | 218 | 25k|1835 |1793 | 0.000000e+00 | 6.150000e+02 | Inf
135.49/135.54 c 132s| 50000 | 39579 |117542 | 2.3 | 136M| 181 | 1 |5645 |5771 |5645 | 158 | 36k|3241 |2216 | 0.000000e+00 | 6.150000e+02 | Inf
168.89/168.90 c 165s| 60000 | 48977 |169486 | 2.8 | 162M| 181 | 0 |5645 |5802 |5645 | 215 | 51k|4308 |2757 | 0.000000e+00 | 6.150000e+02 | Inf
184.70/184.73 o 614
184.70/184.73 c * 180s| 64766 | 53396 |200833 | 3.1 | 173M| 181 | - |5645 |5813 |5645 | 201 | 58k|4776 |3039 | 0.000000e+00 | 6.140000e+02 | Inf
202.19/202.29 c 197s| 70000 | 58283 |234024 | 3.3 | 187M| 181 | 0 |5645 |5816 |5645 | 182 | 65k|5534 |3286 | 0.000000e+00 | 6.140000e+02 | Inf
238.70/238.73 c 233s| 80000 | 68102 |319987 | 4.0 | 213M| 181 | 1 |5645 |5638 |5645 | 158 | 78k|5869 |3881 | 0.000000e+00 | 6.140000e+02 | Inf
272.50/272.59 c 266s| 90000 | 78044 |385471 | 4.3 | 240M| 181 | 1 |5645 |5555 |5645 | 158 | 88k|5978 |4135 | 0.000000e+00 | 6.140000e+02 | Inf
306.09/306.13 o 612
306.09/306.13 c * 299s| 99250 | 87033 |456778 | 4.6 | 266M| 181 | - |5645 |5663 |5645 | 211 | 100k|6342 |4518 | 0.000000e+00 | 6.120000e+02 | Inf
309.10/309.12 c 302s|100000 | 87770 |464403 | 4.6 | 269M| 181 | 0 |5645 |5673 |5645 | 172 | 101k|6387 |4576 | 0.000000e+00 | 6.120000e+02 | Inf
342.29/342.35 o 605
342.29/342.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.29/342.35 c * 334s|109274 | 96377 |534124 | 4.9 | 293M| 181 | - |5645 |5665 |5645 | 181 | 114k|6726 |4922 | 0.000000e+00 | 6.050000e+02 | Inf
345.30/345.30 c 337s|110000 | 97077 |541739 | 4.9 | 295M| 181 | 7 |5645 |5725 |5645 | 198 | 115k|6812 |4979 | 0.000000e+00 | 6.050000e+02 | Inf
380.61/380.65 c 371s|120000 |106928 |621059 | 5.2 | 323M| 181 | 0 |5645 |5714 |5645 | 178 | 129k|7268 |5346 | 0.000000e+00 | 6.050000e+02 | Inf
383.60/383.64 o 598
383.60/383.64 c * 374s|120775 |107105 |627668 | 5.2 | 324M| 181 | - |5645 |5709 |5645 | 195 | 130k|7283 |5368 | 0.000000e+00 | 5.980000e+02 | Inf
384.10/384.15 o 593
384.10/384.15 c * 375s|120910 |106827 |628751 | 5.2 | 323M| 181 | - |5645 |5725 |5645 | 183 | 130k|7299 |5370 | 0.000000e+00 | 5.930000e+02 | Inf
416.90/416.95 c 407s|130000 |115604 |694693 | 5.3 | 348M| 181 | 0 |5645 |5642 |5645 | 178 | 146k|8025 |5958 | 0.000000e+00 | 5.930000e+02 | Inf
420.80/420.84 o 581
420.80/420.84 c * 411s|131018 |115320 |704696 | 5.4 | 346M| 181 | - |5645 |5714 |5645 | 210 | 148k|8162 |6005 | 0.000000e+00 | 5.810000e+02 | Inf
438.00/438.01 o 570
438.00/438.01 c * 427s|135769 |118485 |739509 | 5.4 | 356M| 181 | - |5645 |5814 |5645 | 218 | 156k|8726 |6179 | 0.000000e+00 | 5.700000e+02 | Inf
444.00/444.05 o 562
444.00/444.05 c * 433s|137324 |118776 |752797 | 5.5 | 358M| 181 | - |5645 |5998 |5645 | 198 | 162k|9288 |6223 | 0.000000e+00 | 5.620000e+02 | Inf
447.50/447.57 o 545
447.50/447.57 c * 437s|138267 |117529 |759622 | 5.5 | 352M| 181 | - |5645 |5941 |5645 | 233 | 164k|9460 |6277 | 0.000000e+00 | 5.450000e+02 | Inf
453.20/453.29 c 442s|140000 |119192 |771222 | 5.5 | 356M| 181 | 0 |5645 |5868 |5645 | 189 | 166k|9623 |6300 | 0.000000e+00 | 5.450000e+02 | Inf
458.80/458.86 o 543
458.80/458.86 c * 448s|141594 |120430 |781711 | 5.5 | 360M| 181 | - |5645 |5826 |5645 | 181 | 168k|9802 |6338 | 0.000000e+00 | 5.430000e+02 | Inf
485.39/485.47 c 474s|150000 |128742 |826477 | 5.5 | 382M| 181 | 0 |5645 |5557 |5645 | 187 | 176k| 10k|6472 | 0.000000e+00 | 5.430000e+02 | Inf
517.90/517.96 o 539
517.90/517.96 c * 505s|159922 |137692 |879825 | 5.5 | 404M| 181 | - |5645 |5903 |5645 | 201 | 189k| 10k|6701 | 0.000000e+00 | 5.390000e+02 | Inf
518.20/518.29 c 506s|160000 |137764 |880127 | 5.5 | 405M| 181 | 0 |5645 |5886 |5645 | 203 | 189k| 10k|6706 | 0.000000e+00 | 5.390000e+02 | Inf
519.00/519.00 o 533
519.00/519.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.00/519.00 c * 506s|160176 |137049 |880742 | 5.5 | 401M| 181 | - |5645 |5895 |5645 | 217 | 190k| 10k|6710 | 0.000000e+00 | 5.330000e+02 | Inf
524.00/524.03 o 523
524.00/524.03 c * 511s|161536 |136602 |886160 | 5.5 | 398M| 181 | - |5645 |6062 |5645 | 218 | 192k| 11k|6748 | 0.000000e+00 | 5.230000e+02 | Inf
535.20/535.20 o 513
535.20/535.20 c * 522s|165444 |138769 |902413 | 5.5 | 400M| 181 | - |5645 |5882 |5645 | 245 | 196k| 11k|6791 | 0.000000e+00 | 5.130000e+02 | Inf
541.10/541.14 o 497
541.10/541.14 c * 528s|167069 |137280 |908607 | 5.4 | 396M| 181 | - |5645 |5917 |5645 | 239 | 198k| 11k|6813 | 0.000000e+00 | 4.970000e+02 | Inf
542.50/542.55 o 485
542.50/542.55 c * 529s|167421 |135402 |910098 | 5.4 | 390M| 181 | - |5645 |5942 |5645 | 229 | 199k| 11k|6814 | 0.000000e+00 | 4.850000e+02 | Inf
544.10/544.17 o 462
544.10/544.17 c * 531s|167879 |131560 |911626 | 5.4 | 378M| 181 | - |5645 |5934 |5645 | 220 | 199k| 11k|6816 | 0.000000e+00 | 4.620000e+02 | Inf
550.70/550.71 c 537s|170000 |133641 |918473 | 5.4 | 383M| 181 | 1 |5645 |5821 |5645 | 152 | 200k| 11k|6831 | 0.000000e+00 | 4.620000e+02 | Inf
582.80/582.80 c 569s|180000 |143428 |959338 | 5.3 | 407M| 181 | 0 |5645 |5695 |5645 | 171 | 209k| 12k|6930 | 0.000000e+00 | 4.620000e+02 | Inf
598.61/598.65 o 461
598.61/598.65 c * 584s|185284 |148381 |977269 | 5.3 | 419M| 181 | - |5645 |5753 |5645 | 214 | 212k| 12k|7000 | 0.000000e+00 | 4.610000e+02 | Inf
599.41/599.45 o 447
599.41/599.45 c * 585s|185485 |145795 |978019 | 5.3 | 411M| 181 | - |5645 |5819 |5645 | 222 | 212k| 12k|7009 | 0.000000e+00 | 4.470000e+02 | Inf
608.50/608.50 o 411
608.50/608.50 c * 594s|188496 |140687 |986636 | 5.2 | 396M| 181 | - |5645 |5752 |5645 | 206 | 215k| 12k|7042 | 0.000000e+00 | 4.110000e+02 | Inf
613.40/613.47 c 599s|190000 |142137 |992678 | 5.2 | 400M| 181 | 0 |5645 |5757 |5645 | 198 | 216k| 13k|7072 | 0.000000e+00 | 4.110000e+02 | Inf
626.00/626.05 o 407
626.00/626.05 c * 611s|193951 |144869 | 1007k| 5.2 | 408M| 181 | - |5645 |5868 |5645 | 204 | 220k| 13k|7108 | 0.000000e+00 | 4.070000e+02 | Inf
627.70/627.72 o 401
627.70/627.72 c * 613s|194444 |143812 | 1008k| 5.2 | 406M| 181 | - |5645 |5900 |5645 | 198 | 221k| 13k|7121 | 0.000000e+00 | 4.010000e+02 | Inf
628.50/628.50 o 360
628.50/628.50 c * 614s|194651 |133862 | 1009k| 5.2 | 379M| 181 | - |5645 |5923 |5645 | 210 | 221k| 13k|7124 | 0.000000e+00 | 3.600000e+02 | Inf
631.61/631.66 o 356
631.61/631.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.61/631.66 c * 617s|195584 |133760 | 1014k| 5.2 | 379M| 181 | - |5645 |5814 |5645 | 188 | 222k| 13k|7142 | 0.000000e+00 | 3.560000e+02 | Inf
631.90/631.98 o 318
631.90/631.98 c * 617s|195656 |121934 | 1014k| 5.2 | 348M| 181 | - |5645 |5802 |5645 | 211 | 222k| 13k|7143 | 0.000000e+00 | 3.180000e+02 | Inf
632.41/632.47 o 309
632.41/632.47 c * 617s|195770 |119083 | 1015k| 5.2 | 342M| 181 | - |5645 |5803 |5645 | 184 | 222k| 13k|7143 | 0.000000e+00 | 3.090000e+02 | Inf
637.80/637.82 o 305
637.80/637.82 c * 623s|197087 |118700 | 1026k| 5.2 | 343M| 181 | - |5645 |6091 |5645 | 186 | 224k| 14k|7155 | 0.000000e+00 | 3.050000e+02 | Inf
638.90/638.90 o 288
638.90/638.90 c * 624s|197326 |112966 | 1028k| 5.2 | 330M| 181 | - |5645 |6135 |5645 | 194 | 225k| 14k|7156 | 0.000000e+00 | 2.880000e+02 | Inf
639.51/639.59 o 274
639.51/639.59 c * 624s|197492 |107851 | 1029k| 5.2 | 317M| 181 | - |5645 |6144 |5645 | 175 | 225k| 14k|7156 | 0.000000e+00 | 2.740000e+02 | Inf
639.90/639.95 o 258
639.90/639.95 c * 625s|197573 |101564 | 1030k| 5.2 | 302M| 181 | - |5645 |6138 |5645 | 198 | 225k| 14k|7159 | 0.000000e+00 | 2.580000e+02 | Inf
641.10/641.12 o 254
641.10/641.12 c * 626s|197837 | 99604 | 1033k| 5.2 | 298M| 181 | - |5645 |6155 |5645 | 183 | 225k| 14k|7170 | 0.000000e+00 | 2.540000e+02 | Inf
641.40/641.45 o 251
641.40/641.45 c * 626s|197902 | 98520 | 1033k| 5.2 | 296M| 181 | - |5645 |6158 |5645 | 180 | 226k| 14k|7173 | 0.000000e+00 | 2.510000e+02 | Inf
641.40/641.46 o 246
641.40/641.46 c * 626s|197903 | 96454 | 1033k| 5.2 | 291M| 181 | - |5645 |6158 |5645 | 180 | 226k| 14k|7173 | 0.000000e+00 | 2.460000e+02 | Inf
642.20/642.23 o 245
642.20/642.23 c * 627s|198063 | 96248 | 1035k| 5.2 | 291M| 181 | - |5645 |6180 |5645 | 180 | 226k| 14k|7182 | 0.000000e+00 | 2.450000e+02 | Inf
642.20/642.24 o 243
642.20/642.24 c * 627s|198064 | 95596 | 1035k| 5.2 | 289M| 181 | - |5645 |6180 |5645 | 180 | 226k| 14k|7182 | 0.000000e+00 | 2.430000e+02 | Inf
642.70/642.76 o 239
642.70/642.76 c * 628s|198186 | 93563 | 1036k| 5.2 | 285M| 181 | - |5645 |6215 |5645 | 182 | 226k| 14k|7189 | 0.000000e+00 | 2.390000e+02 | Inf
642.80/642.87 o 233
642.80/642.87 c * 628s|198204 | 91172 | 1037k| 5.2 | 279M| 181 | - |5645 |6211 |5645 | 190 | 226k| 14k|7189 | 0.000000e+00 | 2.330000e+02 | Inf
645.00/645.00 o 227
645.00/645.00 c * 630s|198629 | 89048 | 1041k| 5.2 | 276M| 181 | - |5645 |6311 |5645 | 196 | 227k| 15k|7209 | 0.000000e+00 | 2.270000e+02 | Inf
645.61/645.62 o 212
645.61/645.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.61/645.62 c * 630s|198759 | 80432 | 1042k| 5.2 | 255M| 181 | - |5645 |6332 |5645 | 188 | 227k| 15k|7218 | 0.000000e+00 | 2.120000e+02 | Inf
647.00/647.09 o 195
647.00/647.09 c * 632s|199060 | 71371 | 1045k| 5.3 | 232M| 181 | - |5645 |6259 |5645 | 186 | 228k| 15k|7218 | 0.000000e+00 | 1.950000e+02 | Inf
648.31/648.33 o 190
648.31/648.33 c * 633s|199331 | 69057 | 1048k| 5.3 | 226M| 181 | - |5645 |6275 |5645 | 200 | 229k| 15k|7220 | 0.000000e+00 | 1.900000e+02 | Inf
648.60/648.65 o 188
648.60/648.65 c * 633s|199388 | 68373 | 1049k| 5.3 | 225M| 181 | - |5645 |6293 |5645 | 205 | 229k| 15k|7220 | 0.000000e+00 | 1.880000e+02 | Inf
649.91/649.97 o 163
649.91/649.97 c * 635s|199647 | 54236 | 1051k| 5.3 | 184M| 181 | - |5645 |6268 |5645 | 191 | 230k| 15k|7220 | 0.000000e+00 | 1.630000e+02 | Inf
651.11/651.19 o 148
651.11/651.19 c * 636s|199896 | 42988 | 1054k| 5.3 | 160M| 181 | - |5645 |6260 |5645 | 195 | 230k| 15k|7222 | 0.000000e+00 | 1.480000e+02 | Inf
651.70/651.73 c 636s|200000 | 43036 | 1056k| 5.3 | 161M| 181 | 10 |5645 |6261 |5645 | 177 | 231k| 15k|7229 | 0.000000e+00 | 1.480000e+02 | Inf
653.61/653.62 o 142
653.61/653.62 c * 638s|200348 | 40996 | 1061k| 5.3 | 157M| 181 | - |5645 |6262 |5645 | 191 | 232k| 15k|7252 | 0.000000e+00 | 1.420000e+02 | Inf
654.30/654.38 o 139
654.30/654.38 c * 639s|200499 | 40231 | 1063k| 5.3 | 157M| 181 | - |5645 |6350 |5645 | 184 | 232k| 16k|7269 | 0.000000e+00 | 1.390000e+02 | Inf
655.10/655.16 o 136
655.10/655.16 c * 640s|200652 | 39166 | 1064k| 5.3 | 155M| 181 | - |5645 |6361 |5645 | 218 | 233k| 16k|7270 | 0.000000e+00 | 1.360000e+02 | Inf
655.90/655.96 o 131
655.90/655.96 c * 640s|200810 | 37375 | 1066k| 5.3 | 150M| 181 | - |5645 |6432 |5645 | 185 | 233k| 16k|7275 | 0.000000e+00 | 1.310000e+02 | Inf
656.00/656.03 o 128
656.00/656.03 c * 640s|200821 | 36688 | 1067k| 5.3 | 148M| 181 | - |5645 |6430 |5645 | 208 | 233k| 16k|7275 | 0.000000e+00 | 1.280000e+02 | Inf
656.00/656.07 o 117
656.00/656.07 c * 640s|200822 | 27080 | 1067k| 5.3 | 112M| 181 | - |5645 |6430 |5645 | 208 | 233k| 16k|7275 | 0.000000e+00 | 1.170000e+02 | Inf
656.50/656.57 o 109
656.50/656.57 c * 641s|200916 | 24104 | 1068k| 5.3 | 106M| 181 | - |5645 |6464 |5645 | 186 | 233k| 16k|7276 | 0.000000e+00 | 1.090000e+02 | Inf
656.61/656.63 o 107
656.61/656.63 c * 641s|200926 | 22588 | 1068k| 5.3 | 102M| 181 | - |5645 |6457 |5645 | 153 | 233k| 16k|7276 | 0.000000e+00 | 1.070000e+02 | Inf
656.61/656.64 o 105
656.61/656.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.61/656.64 c * 641s|200927 | 21958 | 1068k| 5.3 | 101M| 181 | - |5645 |6457 |5645 | 153 | 233k| 16k|7276 | 0.000000e+00 | 1.050000e+02 | Inf
656.91/656.92 o 104
656.91/656.92 c * 641s|200993 | 21815 | 1068k| 5.3 | 101M| 181 | - |5645 |6514 |5645 | 190 | 233k| 16k|7276 | 0.000000e+00 | 1.040000e+02 | Inf
657.20/657.26 o 96
657.20/657.26 c * 642s|201041 | 20179 | 1069k| 5.3 | 97M| 181 | - |5645 |6536 |5645 | 195 | 234k| 16k|7276 | 0.000000e+00 | 9.600000e+01 | Inf
659.01/659.08 o 95
659.01/659.08 c * 643s|201388 | 19725 | 1072k| 5.3 | 99M| 181 | - |5645 |6267 |5645 | 198 | 234k| 16k|7279 | 0.000000e+00 | 9.500000e+01 | Inf
659.41/659.41 o 81
659.41/659.41 c * 644s|201463 | 14923 | 1072k| 5.3 | 84M| 181 | - |5645 |6170 |5645 | 180 | 235k| 17k|7279 | 0.000000e+00 | 8.100000e+01 | Inf
659.41/659.42 o 70
659.41/659.42 c * 644s|201464 | 13782 | 1072k| 5.3 | 79M| 181 | - |5645 |6170 |5645 | 180 | 235k| 17k|7279 | 0.000000e+00 | 7.000000e+01 | Inf
659.51/659.51 o 65
659.51/659.51 c * 644s|201475 | 13039 | 1073k| 5.3 | 77M| 181 | - |5645 |5465 |5645 | 195 | 235k| 17k|7279 | 0.000000e+00 | 6.500000e+01 | Inf
659.81/659.81 o 61
659.81/659.81 c * 644s|201519 | 3962 | 1073k| 5.3 | 45M| 181 | - |5645 |5242 |5645 | 166 | 235k| 17k|7279 | 0.000000e+00 | 6.100000e+01 | Inf
687.91/687.97 c 671s|210000 | 4113 | 1110k| 5.3 | 58M| 181 | - |5645 |7184 | 0 | 0 | 245k| 27k|7340 | 0.000000e+00 | 6.100000e+01 | Inf
715.20/715.25 c 698s|220000 | 4366 | 1135k| 5.2 | 64M| 181 | 1 |5645 |8216 |5645 | 180 | 251k| 39k|7372 | 0.000000e+00 | 6.100000e+01 | Inf
743.61/743.62 c 725s|230000 | 4467 | 1166k| 5.1 | 70M| 181 | - |5645 |8800 | 0 | 0 | 258k| 51k|7430 | 0.000000e+00 | 6.100000e+01 | Inf
775.21/775.20 c 756s|240000 | 4863 | 1212k| 5.1 | 81M| 181 | 8 |5645 |9486 |5645 | 191 | 270k| 64k|7498 | 0.000000e+00 | 6.100000e+01 | Inf
804.21/804.29 c 784s|250000 | 5061 | 1238k| 5.0 | 85M| 181 | 1 |5645 | 10k|5645 | 162 | 276k| 76k|7538 | 0.000000e+00 | 6.100000e+01 | Inf
830.81/830.81 c 810s|260000 | 5282 | 1254k| 4.8 | 90M| 181 | 1 |5645 | 10k|5645 | 190 | 278k| 87k|7555 | 0.000000e+00 | 6.100000e+01 | Inf
831.91/831.91 o 60
831.91/831.91 c * 811s|260493 | 5145 | 1254k| 4.8 | 90M| 181 | - |5645 | 11k|5645 | 193 | 278k| 88k|7559 | 0.000000e+00 | 6.000000e+01 | Inf
860.51/860.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.51/860.52 c 838s|270000 | 5408 | 1281k| 4.7 | 95M| 181 | 1 |5645 |9940 |5645 | 166 | 284k| 100k|7614 | 0.000000e+00 | 6.000000e+01 | Inf
888.51/888.55 c 865s|280000 | 5740 | 1305k| 4.7 | 99M| 181 | 10 |5645 | 10k|5645 | 207 | 289k| 112k|7648 | 0.000000e+00 | 6.000000e+01 | Inf
900.31/900.35 o 52
900.31/900.35 c * 877s|284501 | 5304 | 1313k| 4.6 | 99M| 181 | - |5645 | 10k|5645 | 196 | 290k| 117k|7650 | 0.000000e+00 | 5.200000e+01 | Inf
900.41/900.44 o 51
900.41/900.44 c * 877s|284524 | 5232 | 1313k| 4.6 | 98M| 181 | - |5645 | 10k|5645 | 196 | 290k| 117k|7650 | 0.000000e+00 | 5.100000e+01 | Inf
900.41/900.45 o 46
900.41/900.45 c * 877s|284525 | 4680 | 1313k| 4.6 | 95M| 181 | - |5645 | 10k|5645 | 196 | 290k| 117k|7650 | 0.000000e+00 | 4.600000e+01 | Inf
914.31/914.33 c 890s|290000 | 4689 | 1324k| 4.6 | 96M| 181 | - |5645 |9491 | 0 | 0 | 292k| 124k|7676 | 0.000000e+00 | 4.600000e+01 | Inf
939.51/939.58 c 915s|300000 | 4812 | 1344k| 4.5 | 99M| 181 | 1 |5645 | 11k|5645 | 193 | 296k| 136k|7693 | 0.000000e+00 | 4.600000e+01 | Inf
940.91/940.99 o 45
940.91/940.99 c * 916s|300635 | 4821 | 1345k| 4.5 | 100M| 181 | - |5645 | 11k|5645 | 197 | 296k| 136k|7693 | 0.000000e+00 | 4.500000e+01 | Inf
944.02/944.07 o 35
944.02/944.07 c * 919s|301873 | 4373 | 1348k| 4.5 | 96M| 181 | - |5645 | 10k|5645 | 199 | 297k| 138k|7698 | 0.000000e+00 | 3.500000e+01 | Inf
953.41/953.43 o 33
953.41/953.43 c * 928s|305654 | 4005 | 1358k| 4.4 | 92M| 181 | - |5645 |6785 |5645 | 209 | 298k| 144k|7712 | 0.000000e+00 | 3.300000e+01 | Inf
953.41/953.43 o 27
953.41/953.43 c * 928s|305655 | 3847 | 1358k| 4.4 | 90M| 181 | - |5645 |6785 |5645 | 209 | 298k| 144k|7712 | 0.000000e+00 | 2.700000e+01 | Inf
963.01/963.08 c 937s|310000 | 3784 | 1366k| 4.4 | 90M| 181 | - |5645 |8357 | 0 | 0 | 300k| 149k|7724 | 0.000000e+00 | 2.700000e+01 | Inf
984.91/984.96 c 958s|320000 | 3590 | 1387k| 4.3 | 90M| 181 | - |5645 | 10k| 0 | 0 | 303k| 162k|7756 | 0.000000e+00 | 2.700000e+01 | Inf
1008.11/1008.13 c 981s|330000 | 3597 | 1413k| 4.3 | 92M| 181 | 1 |5645 | 13k|5645 | 194 | 307k| 175k|7783 | 0.000000e+00 | 2.700000e+01 | Inf
1030.91/1030.99 c 1003s|340000 | 3477 | 1437k| 4.2 | 91M| 181 | 1 |5645 | 10k|5645 | 149 | 311k| 187k|7828 | 0.000000e+00 | 2.700000e+01 | Inf
1052.21/1052.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.21/1052.26 c 1023s|350000 | 3483 | 1453k| 4.2 | 92M| 181 | 1 |5645 | 10k|5645 | 158 | 313k| 200k|7848 | 0.000000e+00 | 2.700000e+01 | Inf
1075.32/1075.35 c 1045s|360000 | 3632 | 1479k| 4.1 | 95M| 181 | 12 |5645 | 13k|5645 | 172 | 320k| 212k|7892 | 0.000000e+00 | 2.700000e+01 | Inf
1098.01/1098.06 c 1067s|370000 | 3466 | 1510k| 4.1 | 93M| 181 | 1 |5645 | 10k|5645 | 196 | 328k| 228k|7927 | 0.000000e+00 | 2.700000e+01 | Inf
1119.52/1119.55 c 1088s|380000 | 3427 | 1535k| 4.0 | 94M| 181 | 1 |5645 | 11k|5645 | 192 | 333k| 242k|7964 | 0.000000e+00 | 2.700000e+01 | Inf
1144.71/1144.76 c 1112s|390000 | 3425 | 1562k| 4.0 | 95M| 181 | - |5645 | 13k| 0 | 0 | 338k| 255k|7996 | 0.000000e+00 | 2.700000e+01 | Inf
1167.32/1167.32 c 1134s|400000 | 3439 | 1581k| 4.0 | 96M| 181 | 1 |5645 | 12k|5645 | 196 | 342k| 267k|8038 | 0.000000e+00 | 2.700000e+01 | Inf
1192.92/1192.90 c 1159s|410000 | 3800 | 1621k| 4.0 | 100M| 181 | 15 |5645 | 13k|5645 | 168 | 355k| 280k|8096 | 0.000000e+00 | 2.700000e+01 | Inf
1219.72/1219.78 c 1185s|420000 | 3789 | 1663k| 4.0 | 103M| 181 | - |5645 | 15k| 0 | 0 | 370k| 296k|8159 | 0.000000e+00 | 2.700000e+01 | Inf
1242.81/1242.86 c 1207s|430000 | 3895 | 1689k| 3.9 | 106M| 181 | 12 |5645 | 20k|5645 | 168 | 377k| 311k|8192 | 0.000000e+00 | 2.700000e+01 | Inf
1266.62/1266.60 c 1230s|440000 | 3854 | 1713k| 3.9 | 105M| 181 | 1 |5645 | 16k|5645 | 153 | 384k| 325k|8237 | 0.000000e+00 | 2.700000e+01 | Inf
1289.02/1289.02 c 1252s|450000 | 3894 | 1728k| 3.8 | 107M| 181 | 1 |5645 | 19k|5645 | 171 | 387k| 340k|8258 | 0.000000e+00 | 2.700000e+01 | Inf
1314.12/1314.17 c 1276s|460000 | 3885 | 1744k| 3.8 | 108M| 181 | 1 |5645 | 18k|5645 | 180 | 389k| 353k|8268 | 0.000000e+00 | 2.700000e+01 | Inf
1331.82/1331.82 o 26
1331.82/1331.82 c *1293s|467162 | 3505 | 1763k| 3.8 | 101M| 181 | - |5645 | 17k|5645 | 191 | 395k| 364k|8307 | 0.000000e+00 | 2.600000e+01 | Inf
1339.12/1339.11 c 1300s|470000 | 3571 | 1776k| 3.8 | 102M| 181 | 13 |5645 | 16k|5645 | 176 | 399k| 369k|8311 | 0.000000e+00 | 2.600000e+01 | Inf
1366.62/1366.65 c 1327s|480000 | 3746 | 1821k| 3.8 | 104M| 181 | 8 |5645 | 16k|5645 | 169 | 415k| 387k|8380 | 0.000000e+00 | 2.600000e+01 | Inf
1392.33/1392.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.33/1392.32 c 1351s|490000 | 3667 | 1858k| 3.8 | 104M| 181 | - |5645 | 15k| 0 | 0 | 427k| 404k|8422 | 0.000000e+00 | 2.600000e+01 | Inf
1403.82/1403.85 o 25
1403.82/1403.85 c *1363s|494124 | 3630 | 1877k| 3.8 | 104M| 181 | - |5645 | 17k|5645 | 170 | 434k| 411k|8450 | 0.000000e+00 | 2.500000e+01 | Inf
1418.02/1418.01 c 1376s|500000 | 3652 | 1901k| 3.8 | 104M| 181 | - |5645 | 15k| 0 | 0 | 443k| 421k|8484 | 0.000000e+00 | 2.500000e+01 | Inf
1443.82/1443.85 c 1401s|510000 | 3453 | 1937k| 3.8 | 101M| 181 | - |5645 | 13k| 0 | 0 | 454k| 438k|8563 | 0.000000e+00 | 2.500000e+01 | Inf
1465.62/1465.63 c 1422s|520000 | 3576 | 1954k| 3.8 | 105M| 181 | 1 |5645 | 18k|5645 | 152 | 458k| 450k|8592 | 0.000000e+00 | 2.500000e+01 | Inf
1488.33/1488.36 c 1444s|530000 | 3564 | 1977k| 3.7 | 105M| 181 | 6 |5645 | 17k|5645 | 152 | 465k| 464k|8611 | 0.000000e+00 | 2.500000e+01 | Inf
1511.93/1511.92 c 1467s|540000 | 3442 | 2001k| 3.7 | 104M| 181 | 11 |5645 | 17k|5645 | 183 | 472k| 480k|8638 | 0.000000e+00 | 2.500000e+01 | Inf
1538.13/1538.14 c 1492s|550000 | 3614 | 2046k| 3.7 | 107M| 181 | 3 |5645 | 19k|5645 | 163 | 489k| 496k|8690 | 0.000000e+00 | 2.500000e+01 | Inf
1565.12/1565.19 c 1518s|560000 | 3516 | 2089k| 3.7 | 106M| 181 | - |5645 | 16k| 0 | 0 | 506k| 513k|8769 | 0.000000e+00 | 2.500000e+01 | Inf
1567.43/1567.40 o 24
1567.43/1567.40 c *1521s|560902 | 3419 | 2093k| 3.7 | 104M| 181 | - |5645 | 16k|5645 | 198 | 507k| 514k|8783 | 0.000000e+00 | 2.400000e+01 | Inf
1589.62/1589.70 c 1542s|570000 | 3284 | 2124k| 3.7 | 101M| 181 | - |5645 | 13k| 0 | 0 | 516k| 529k|8826 | 0.000000e+00 | 2.400000e+01 | Inf
1612.33/1612.36 c 1564s|580000 | 3197 | 2149k| 3.7 | 100M| 181 | 4 |5645 | 12k|5645 | 175 | 522k| 543k|8870 | 0.000000e+00 | 2.400000e+01 | Inf
1636.93/1636.91 c 1588s|590000 | 3137 | 2177k| 3.7 | 102M| 181 | - |5645 | 16k| 0 | 0 | 528k| 555k|8915 | 0.000000e+00 | 2.400000e+01 | Inf
1660.63/1660.64 c 1611s|600000 | 3128 | 2198k| 3.7 | 105M| 181 | 13 |5645 | 20k|5645 | 182 | 530k| 569k|8937 | 0.000000e+00 | 2.400000e+01 | Inf
1685.33/1685.33 c 1634s|610000 | 3031 | 2221k| 3.6 | 104M| 181 | 1 |5645 | 19k|5645 | 161 | 535k| 581k|8956 | 0.000000e+00 | 2.400000e+01 | Inf
1711.03/1711.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.03/1711.00 c 1659s|620000 | 3164 | 2245k| 3.6 | 107M| 181 | 10 |5645 | 22k|5645 | 166 | 540k| 595k|8985 | 0.000000e+00 | 2.400000e+01 | Inf
1719.34/1719.33 o 21
1719.34/1719.33 c *1667s|623594 | 3036 | 2251k| 3.6 | 106M| 181 | - |5645 | 23k|5645 | 172 | 541k| 600k|8997 | 0.000000e+00 | 2.100000e+01 | Inf
1734.13/1734.17 c 1682s|630000 | 2968 | 2262k| 3.6 | 104M| 181 | - |5645 | 18k| 0 | 0 | 543k| 609k|9011 | 0.000000e+00 | 2.100000e+01 | Inf
1759.74/1759.70 c 1706s|640000 | 2879 | 2294k| 3.6 | 102M| 181 | - |5645 | 14k| 0 | 0 | 554k| 626k|9062 | 0.000000e+00 | 2.100000e+01 | Inf
1782.53/1782.51 c 1728s|650000 | 2800 | 2318k| 3.6 | 103M| 181 | - |5645 | 16k| 0 | 0 | 559k| 640k|9106 | 0.000000e+00 | 2.100000e+01 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1745.00
1800.04/1800.00 c Solving Nodes : 657792
1800.04/1800.00 c Primal Bound : +2.10000000000000e+01 (270 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.08 s SATISFIABLE
1800.04/1800.08 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.08 v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.08 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.08 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1800.04/1800.08 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.08 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.08 v -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.08 v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.04/1800.08 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.08 v x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.08 v -x1
1800.04/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.08 c Solving Time : 1745.00
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2692458-1277931227.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.08 c Presolved Problem :
1800.04/1800.08 c Problem name : t_HOME/instance-2692458-1277931227.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5414 initial, 24579 maximal
1800.04/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.04/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c root node : - 2160 - - 4320 - - - -
1800.04/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c integral : 0 0 0 523655 0 1 49 0 0 552944
1800.04/1800.08 c indicator : 2707 0 3537605 247092 0 2404 17872037 0 0 0
1800.04/1800.08 c linear : 2707 6 3536606 247022 0 141891 12827686 562105 0 0
1800.04/1800.08 c logicor : 0+ 0 1055996 0 0 58375 1491659 0 0 0
1800.04/1800.08 c bounddisjunction : 0+ 0 57835 0 0 722 3683 0 0 0
1800.04/1800.08 c countsols : 0 0 0 168301 0 0 0 0 0 0
1800.04/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.08 c integral : 16.30 0.00 0.00 16.30 0.00
1800.04/1800.08 c indicator : 127.69 0.00 65.13 62.56 0.00
1800.04/1800.08 c linear : 198.02 0.00 146.68 51.34 0.00
1800.04/1800.08 c logicor : 92.51 0.00 92.51 0.00 0.00
1800.04/1800.08 c bounddisjunction : 0.14 0.00 0.14 0.00 0.00
1800.04/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 0.00 2 0 0
1800.04/1800.08 c rootredcost : 0.02 82 0 2160
1800.04/1800.08 c pseudoobj : 213.84 3581594 42407 11253584
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 22.19 243395 243366 1733000 41.7 19307 16.9 -
1800.04/1800.08 c infeasible LP : 0.54 1421 1421 12009 41.8 29 16.6 0
1800.04/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c pseudo solution : 0.22 1058 1058 4775 19.4 461 5.3 -
1800.04/1800.08 c applied globally : - - - 649947 31.8 - - -
1800.04/1800.08 c applied locally : - - - 0 0.0 - - -
1800.04/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.08 c cut pool : 0.00 3 - - 30 - (maximal pool size: 86)
1800.04/1800.08 c redcost : 60.12 535047 0 6094949 0 0
1800.04/1800.08 c impliedbounds : 0.00 4 0 0 0 0
1800.04/1800.08 c intobj : 0.00 0 0 0 0 0
1800.04/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.08 c gomory : 0.02 4 0 0 86 0
1800.04/1800.08 c strongcg : 0.00 4 0 0 0 0
1800.04/1800.08 c cmir : 0.00 4 0 0 0 0
1800.04/1800.08 c flowcover : 0.03 4 0 0 0 0
1800.04/1800.08 c clique : 0.00 1 0 0 0 0
1800.04/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.08 c mcf : 0.00 1 0 0 0 0
1800.04/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.08 c Pricers : Time Calls Vars
1800.04/1800.08 c problem variables: 0.00 0 0
1800.04/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c relpscost : 16.23 276517 1 49 0 0 552944
1800.04/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c inference : 45.42 168219 0 0 0 0 336438
1800.04/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c random : 0.00 0 0 0 0 0 0
1800.04/1800.08 c Primal Heuristics : Time Calls Found
1800.04/1800.08 c LP solutions : 0.52 - 82
1800.04/1800.08 c pseudo solutions : 0.00 - 0
1800.04/1800.08 c feaspump : 0.00 0 0
1800.04/1800.08 c oneopt : 0.40 75 0
1800.04/1800.08 c intshifting : 0.10 20 0
1800.04/1800.08 c crossover : 3.05 111 0
1800.04/1800.08 c guideddiving : 13.07 7333 0
1800.04/1800.08 c linesearchdiving : 11.83 7410 0
1800.04/1800.08 c pscostdiving : 11.61 7410 0
1800.04/1800.08 c fracdiving : 12.22 7410 0
1800.04/1800.08 c veclendiving : 11.44 7410 0
1800.04/1800.08 c coefdiving : 11.55 7411 0
1800.04/1800.08 c rootsoldiving : 13.36 7107 0
1800.04/1800.08 c objpscostdiving : 11.78 7122 0
1800.04/1800.08 c trivial : 0.07 2 2
1800.04/1800.08 c simplerounding : 0.38 281013 0
1800.04/1800.08 c zirounding : 0.18 1000 0
1800.04/1800.08 c rounding : 4.70 7430 0
1800.04/1800.08 c shifting : 2.66 2333 0
1800.04/1800.08 c twoopt : 0.00 0 0
1800.04/1800.08 c fixandinfer : 0.00 0 0
1800.04/1800.08 c intdiving : 0.00 0 0
1800.04/1800.08 c actconsdiving : 0.00 0 0
1800.04/1800.08 c octane : 0.00 0 0
1800.04/1800.08 c rens : 0.03 1 0
1800.04/1800.08 c rins : 0.00 0 0
1800.04/1800.08 c localbranching : 0.00 0 0
1800.04/1800.08 c mutation : 0.00 0 0
1800.04/1800.08 c dins : 0.00 0 0
1800.04/1800.08 c undercover : 0.00 0 0
1800.04/1800.08 c nlp : 0.00 0 0
1800.04/1800.08 c trysol : 3.54 14159 186
1800.04/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.08 c primal LP : 0.01 0 0 0.00 0.00
1800.04/1800.08 c dual LP : 454.83 382860 2328783 6.08 5120.12
1800.04/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.08 c diving/probing LP: 1.31 1010 3870 3.83 2954.20
1800.04/1800.08 c strong branching : 14.45 9116 71728 7.87 4963.88
1800.04/1800.08 c (at root node) : - 32 1061 33.16 -
1800.04/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.08 c B&B Tree :
1800.04/1800.08 c number of runs : 1
1800.04/1800.08 c nodes : 657792
1800.04/1800.08 c nodes (total) : 657792
1800.04/1800.08 c nodes left : 2776
1800.04/1800.08 c max depth : 181
1800.04/1800.08 c max depth (total): 181
1800.04/1800.08 c backtracks : 47734 (7.3%)
1800.04/1800.08 c delayed cutoffs : 38561
1800.04/1800.08 c repropagations : 1595145 (8276010 domain reductions, 34940 cutoffs)
1800.04/1800.08 c avg switch length: 6.99
1800.04/1800.08 c switching time : 168.64
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 270 (83 improvements)
1800.04/1800.08 c First Solution : +1.35864000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.08 c Primal Bound : +2.10000000000000e+01 (in run 1, after 623594 nodes, 1667.34 seconds, depth 82, found by <relaxation>)
1800.04/1800.08 c Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Gap : infinite
1800.04/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Root Iterations : 106
1800.14/1800.19 c Time complete: 1800.22.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692458-1277931227/watcher-2692458-1277931227 -o /tmp/evaluation-result-2692458-1277931227/solver-2692458-1277931227 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692458-1277931227.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: 1.99 1.98 1.99 3/178 14572
/proc/meminfo: memFree=31075092/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=9404 CPUtime=0
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 1650 0 0 0 0 0 0 0 22 0 1 0 134419937 9629696 1569 4089446400 4194304 8223781 140737443728272 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14572/statm: 2351 1569 369 984 0 1364 0
[startup+0.0492989 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 14572
/proc/meminfo: memFree=31075092/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=29520 CPUtime=0.04
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 6984 0 0 0 4 0 0 0 23 0 1 0 134419937 30228480 6539 4089446400 4194304 8223781 140737443728272 18446744073709551615 7256640 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 7380 6570 387 984 0 6393 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29520
[startup+0.100291 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 14572
/proc/meminfo: memFree=31075092/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=35140 CPUtime=0.09
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 8090 0 0 0 9 0 0 0 23 0 1 0 134419937 35983360 7645 4089446400 4194304 8223781 140737443728272 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 8785 7645 422 984 0 7798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35140
[startup+0.300252 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 14572
/proc/meminfo: memFree=31075092/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=44336 CPUtime=0.29
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 10839 0 0 0 27 2 0 0 23 0 1 0 134419937 45400064 9792 4089446400 4194304 8223781 140737443728272 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 11084 9817 563 984 0 10097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44336
[startup+0.700181 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 14572
/proc/meminfo: memFree=31075092/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=43080 CPUtime=0.69
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 15657 0 0 0 65 4 0 0 25 0 1 0 134419937 44113920 9711 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 10770 9711 575 984 0 9783 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43080
[startup+1.50104 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14573
/proc/meminfo: memFree=31038496/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=44448 CPUtime=1.49
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 15873 0 0 0 140 9 0 0 25 0 1 0 134419937 45514752 9924 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 11112 9924 578 984 0 10125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44448
[startup+3.10077 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14573
/proc/meminfo: memFree=31036388/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=52680 CPUtime=3.09
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 22208 0 0 0 296 13 0 0 25 0 1 0 134419937 53944320 11858 4089446400 4194304 8223781 140737443728272 18446744073709551615 4819387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 13170 11858 581 984 0 12183 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52680
[startup+6.30019 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14573
/proc/meminfo: memFree=31029440/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=53680 CPUtime=6.29
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 32391 0 0 0 607 22 0 0 25 0 1 0 134419937 54968320 12282 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 13420 12282 581 984 0 12433 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53680
[startup+12.7011 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14573
/proc/meminfo: memFree=31020884/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=62716 CPUtime=12.69
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 38747 0 0 0 1232 37 0 0 25 0 1 0 134419937 64221184 14546 4089446400 4194304 8223781 140737443728272 18446744073709551615 4561013 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 15679 14546 581 984 0 14692 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62716
[startup+25.5008 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14574
/proc/meminfo: memFree=31007272/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=75764 CPUtime=25.49
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 47119 0 0 0 2482 67 0 0 25 0 1 0 134419937 77582336 17834 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 18941 17834 581 984 0 17954 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75764
[startup+51.1003 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14575
/proc/meminfo: memFree=30974924/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=110032 CPUtime=51.09
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 60674 0 0 0 4980 129 0 0 25 0 1 0 134419937 112672768 26332 4089446400 4194304 8223781 140737443728272 18446744073709551615 4660251 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 27508 26332 581 984 0 26521 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110032
[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14576
/proc/meminfo: memFree=30926408/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=155856 CPUtime=102.3
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 166601 0 0 0 9987 243 0 0 25 0 1 0 134419937 159596544 37505 4089446400 4194304 8223781 140737443728272 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 38964 37505 585 984 0 37977 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 155856
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 4/179 14605
/proc/meminfo: memFree=31027052/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=215120 CPUtime=162.29
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 203359 0 0 0 15843 386 0 0 25 0 1 0 134419937 220282880 52173 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 53780 52173 585 984 0 52793 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 215120
[startup+222.301 s]
/proc/loadavg: 2.04 2.00 2.00 4/179 14607
/proc/meminfo: memFree=30873568/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=262500 CPUtime=222.3
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 234054 0 0 0 21702 528 0 0 25 0 1 0 134419937 268800000 63988 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 65625 63988 585 984 0 64638 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 262500
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/179 14609
/proc/meminfo: memFree=30715668/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=312012 CPUtime=282.3
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 252799 0 0 0 27559 671 0 0 25 0 1 0 134419937 319500288 75778 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 78003 75778 585 984 0 77016 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 312012
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14610
/proc/meminfo: memFree=30571052/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=361280 CPUtime=342.29
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 284007 0 0 0 33411 818 0 0 25 0 1 0 134419937 369950720 88154 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 90320 88154 585 984 0 89333 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 361280
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14612
/proc/meminfo: memFree=30431396/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=408488 CPUtime=402.3
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 321400 0 0 0 39255 975 0 0 25 0 1 0 134419937 418291712 99905 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 102122 99905 585 984 0 101135 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 408488
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14622
/proc/meminfo: memFree=30302216/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=447984 CPUtime=462.3
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 379713 0 0 0 45108 1122 0 0 25 0 1 0 134419937 458735616 109702 4089446400 4194304 8223781 140737443728272 18446744073709551615 6455718 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 111996 109702 587 984 0 111009 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 447984
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14624
/proc/meminfo: memFree=30138264/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=496808 CPUtime=522.3
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 414466 0 0 0 50969 1261 0 0 25 0 1 0 134419937 508731392 121946 4089446400 4194304 8223781 140737443728272 18446744073709551615 6070448 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 124202 121946 587 984 0 123215 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 496808
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14626
/proc/meminfo: memFree=30053420/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=521292 CPUtime=582.3
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 455748 0 0 0 56842 1388 0 0 25 0 1 0 134419937 533803008 128081 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 130323 128081 587 984 0 129336 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 521292
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14627
/proc/meminfo: memFree=29995456/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=546448 CPUtime=642.31
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 513711 0 0 0 62709 1522 0 0 25 0 1 0 134419937 559562752 134293 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 136612 134293 587 984 0 135625 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 546448
[startup+702.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14634
/proc/meminfo: memFree=29819808/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=674560 CPUtime=882.31
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 625423 0 0 0 85928 2303 0 0 25 0 1 0 134419937 690749440 164232 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 168640 164232 594 984 0 167653 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 674560
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14635
/proc/meminfo: memFree=29784808/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=684740 CPUtime=942.31
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 652646 0 0 0 91715 2516 0 0 25 0 1 0 134419937 701173760 166433 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 171185 166433 592 984 0 170198 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 684740
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14637
/proc/meminfo: memFree=29792320/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=681928 CPUtime=1002.32
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 708722 0 0 0 97494 2738 0 0 25 0 1 0 134419937 698294272 165520 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 170482 165520 592 984 0 169495 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 681928
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14638
/proc/meminfo: memFree=29777516/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=687904 CPUtime=1062.31
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 714565 0 0 0 103277 2954 0 0 25 0 1 0 134419937 704413696 166791 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 171976 166791 592 984 0 170989 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 687904
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14640
/proc/meminfo: memFree=29767316/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=689880 CPUtime=1122.32
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 720343 0 0 0 109057 3175 0 0 25 0 1 0 134419937 706437120 167270 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 172470 167270 592 984 0 171483 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 689880
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14642
/proc/meminfo: memFree=29755008/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=693556 CPUtime=1182.32
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 721014 0 0 0 114848 3384 0 0 25 0 1 0 134419937 710201344 167941 4089446400 4194304 8223781 140737443728272 18446744073709551615 6446805 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 173389 167941 592 984 0 172402 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 693556
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14643
/proc/meminfo: memFree=29741452/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=699052 CPUtime=1242.32
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 726849 0 0 0 120648 3584 0 0 25 0 1 0 134419937 715829248 169219 4089446400 4194304 8223781 140737443728272 18446744073709551615 6482596 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 174763 169219 592 984 0 173776 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 699052
[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.01 4/179 14645
/proc/meminfo: memFree=29723812/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=702952 CPUtime=1302.32
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 727715 0 0 0 126442 3790 0 0 25 0 1 0 134419937 719822848 170085 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 175738 170085 592 984 0 174751 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 702952
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 4/179 14646
/proc/meminfo: memFree=29718412/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=705460 CPUtime=1362.32
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 749847 0 0 0 132250 3982 0 0 25 0 1 0 134419937 722391040 170612 4089446400 4194304 8223781 140737443728272 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 176365 170612 592 984 0 175378 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 705460
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 4/179 14648
/proc/meminfo: memFree=29707968/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=708596 CPUtime=1422.33
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 783913 0 0 0 138048 4185 0 0 25 0 1 0 134419937 725602304 171278 4089446400 4194304 8223781 140737443728272 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 177149 171278 593 984 0 176162 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 708596
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14650
/proc/meminfo: memFree=29705928/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=710312 CPUtime=1482.33
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 796000 0 0 0 143839 4394 0 0 25 0 1 0 134419937 727359488 171645 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 177578 171645 593 984 0 176591 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 710312
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14651
/proc/meminfo: memFree=29703276/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=712340 CPUtime=1542.33
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 801008 0 0 0 149640 4593 0 0 25 0 1 0 134419937 729436160 172106 4089446400 4194304 8223781 140737443728272 18446744073709551615 6482569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 178085 172106 593 984 0 177098 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 712340
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14653
/proc/meminfo: memFree=29701884/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=712688 CPUtime=1602.33
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 832300 0 0 0 155421 4812 0 0 25 0 1 0 134419937 729792512 172182 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 178172 172182 593 984 0 177185 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 712688
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14654
/proc/meminfo: memFree=29700464/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=714356 CPUtime=1662.33
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 839712 0 0 0 161217 5016 0 0 25 0 1 0 134419937 731500544 172435 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 178589 172435 593 984 0 177602 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 714356
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 4/179 14656
/proc/meminfo: memFree=29696824/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=717136 CPUtime=1722.34
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 851222 0 0 0 167022 5212 0 0 25 0 1 0 134419937 734347264 173053 4089446400 4194304 8223781 140737443728272 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 179284 173053 593 984 0 178297 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 717136
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 4/179 14658
/proc/meminfo: memFree=29696172/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=718120 CPUtime=1782.33
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 873822 0 0 0 172800 5433 0 0 25 0 1 0 134419937 735354880 173087 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 179530 173087 593 984 0 178543 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 718120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14658
/proc/meminfo: memFree=29695796/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=718364 CPUtime=1800.04
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 873878 0 0 0 174503 5501 0 0 25 0 1 0 134419937 735604736 173143 4089446400 4194304 8223781 140737443728272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14572/statm: 179591 173143 593 984 0 178604 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 718364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14658
/proc/meminfo: memFree=29695796/32951124 swapFree=67111528/67111528
[pid=14572] ppid=14570 vsize=709148 CPUtime=1800.14
/proc/14572/stat : 14572 (pbscip.linux.x8) R 14570 14572 14440 0 -1 4202496 873885 0 0 0 174513 5501 0 0 18 0 1 0 134419937 726167552 170846 4089446400 4194304 8223781 140737443728272 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14572/statm: 177287 170846 595 984 0 176300 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 709148
Child status: 0
Real time (s): 1800.2
CPU time (s): 1800.24
CPU user time (s): 1745.2
CPU system time (s): 55.0396
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 736944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.2
system time used= 55.0396
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 873889
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2016
runsolver used 2.69159 second user time and 5.83511 second system time
The end
Begin job on node108 at 2010-06-30 22:53:47
IDJOB=2692458
IDBENCH=79313
IDSOLVER=1204
FILE ID=node108/2692458-1277931227
PBS_JOBID= 11197442
Free space on /tmp= 74204 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/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.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-2692458-1277931227/watcher-2692458-1277931227 -o /tmp/evaluation-result-2692458-1277931227/solver-2692458-1277931227 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692458-1277931227.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 504847a4e43d2b055735d72ea944fa39
RANDOM SEED=275164961
node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.71
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5320.05
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31075868 kB
Buffers: 213488 kB
Cached: 1177948 kB
SwapCached: 0 kB
Active: 867148 kB
Inactive: 863652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31075868 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4680 kB
Writeback: 0 kB
AnonPages: 340172 kB
Mapped: 17656 kB
Slab: 79844 kB
PageTables: 5812 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 491720 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= 74200 MiB
End job on node108 at 2010-06-30 23:23:49