Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1790.24 | 1790.18 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo |
MD5SUM | 05d9157cdbd186fca72e4e6dc0ec425d |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 341.13 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1839 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 91769 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91768 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 755 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2705016-1278574752.wbo> 0.00/0.03 c original problem has 3909 variables (2070 bin, 0 int, 1839 impl, 0 cont) and 4547 constraints 0.00/0.03 c problem read 0.00/0.03 c presolving settings loaded 0.00/0.05 c presolving: 0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs 0.08/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs 0.09/0.10 c (round 3) 47 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs 0.09/0.11 c (round 4) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 126 impls, 9 clqs 0.09/0.11 c (round 5) 138 del vars, 191 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 126 impls, 9 clqs 0.09/0.17 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.17 c presolving (6 rounds): 0.09/0.17 c 138 deleted vars, 191 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients 0.09/0.17 c 3652 implications, 9 cliques 0.09/0.17 c presolved problem has 3771 variables (2001 bin, 0 int, 1770 impl, 0 cont) and 4356 constraints 0.09/0.17 c 33 constraints of type <setppc> 0.09/0.17 c 1770 constraints of type <linear> 0.09/0.17 c 1770 constraints of type <indicator> 0.09/0.17 c 783 constraints of type <logicor> 0.09/0.17 c transformed objective value is always integral (scale: 1) 0.09/0.17 c Presolving Time: 0.12 0.09/0.17 c - non default parameters ---------------------------------------------------------------------- 0.09/0.17 c # SCIP version 1.2.1.3 0.09/0.17 c 0.09/0.17 c # frequency for displaying node information lines 0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.17 c display/freq = 10000 0.09/0.17 c 0.09/0.17 c # maximal time in seconds to run 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/time = 1789.97 0.09/0.17 c 0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/memory = 3420 0.09/0.17 c 0.09/0.17 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.17 c # [type: int, range: [1,2], default: 1] 0.09/0.17 c timing/clocktype = 2 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify inequalities 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/linear/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/indicator/addCouplingCons = TRUE 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify knapsacks 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.17 c separating/rapidlearning/freq = 0 0.09/0.17 c 0.09/0.17 c ----------------------------------------------------------------------------------------------- 0.09/0.17 c start solving 0.09/0.17 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 10 | - | 14M| 0 | 6 |3771 |4356 |3771 | 816 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.27 c 0.2s| 1 | 0 | 58 | - | 14M| 0 | 28 |3771 |4356 |3771 | 832 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.31 c 0.3s| 1 | 0 | 86 | - | 14M| 0 | 37 |3771 |4356 |3771 | 854 | 38 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.36 c 0.3s| 1 | 0 | 114 | - | 14M| 0 | 43 |3771 |4356 |3771 | 862 | 46 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.42 c 0.4s| 1 | 0 | 148 | - | 15M| 0 | 42 |3771 |4356 |3771 | 874 | 58 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.51 c 0.5s| 1 | 0 | 423 | - | 15M| 0 | 35 |3771 |4356 |3771 | 879 | 63 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.58 c 0.5s| 1 | 0 | 499 | - | 15M| 0 | 48 |3771 |4356 |3771 | 900 | 84 | 0 | 0 | 0.000000e+00 | -- | Inf 0.99/1.10 c 1.1s| 1 | 2 | 499 | - | 15M| 0 | 48 |3771 |4356 |3771 | 900 | 84 | 0 | 17 | 0.000000e+00 | -- | Inf 7.09/7.18 o 88064 7.09/7.18 c y 7.2s| 97 | 96 | 6006 | 57.4 | 15M| 18 | - |3771 |4356 | 0 | 0 | 283 | 0 |1040 | 0.000000e+00 | 8.806400e+04 | Inf 21.49/21.53 o 303 21.49/21.53 c *21.5s| 9170 | 4029 | 24456 | 2.6 | 29M| 769 | - |3771 |4360 |3771 | 960 |3563 | 4 |1297 | 0.000000e+00 | 3.030000e+02 | Inf 23.29/23.39 o 293 23.29/23.39 c *23.4s| 9912 | 4187 | 27959 | 2.8 | 31M| 769 | - |3771 |5065 |3771 | 962 |3976 | 712 |1341 | 0.000000e+00 | 2.930000e+02 | Inf 23.49/23.56 c 23.5s| 10000 | 4266 | 28079 | 2.8 | 31M| 769 | 0 |3771 |5107 |3771 | 964 |3985 | 754 |1341 | 0.000000e+00 | 2.930000e+02 | Inf 23.59/23.64 o 245 23.59/23.64 c *23.6s| 10044 | 3388 | 28109 | 2.7 | 29M| 769 | - |3771 |5110 |3771 | 964 |3988 | 757 |1341 | 0.000000e+00 | 2.450000e+02 | Inf 23.89/23.92 o 218 23.89/23.92 c *23.9s| 10224 | 3093 | 28215 | 2.7 | 29M| 769 | - |3771 |5178 |3771 | 963 |3995 | 825 |1341 | 0.000000e+00 | 2.180000e+02 | Inf 23.89/23.93 o 192 23.89/23.93 c *23.9s| 10225 | 2747 | 28217 | 2.7 | 28M| 769 | - |3771 |5178 |3771 | 963 |3995 | 825 |1341 | 0.000000e+00 | 1.920000e+02 | Inf 25.30/25.31 o 155 25.30/25.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 25.30/25.31 c *25.3s| 10762 | 2501 | 31353 | 2.9 | 29M| 769 | - |3771 |5696 |3771 | 935 |4424 |1374 |1356 | 0.000000e+00 | 1.550000e+02 | Inf 25.30/25.34 o 149 25.30/25.34 c *25.3s| 10773 | 2450 | 31424 | 2.9 | 29M| 769 | - |3771 |5691 |3771 | 924 |4425 |1374 |1356 | 0.000000e+00 | 1.490000e+02 | Inf 25.30/25.34 o 146 25.30/25.34 c *25.3s| 10774 | 2407 | 31424 | 2.9 | 29M| 769 | - |3771 |5691 |3771 | 924 |4425 |1374 |1356 | 0.000000e+00 | 1.460000e+02 | Inf 26.40/26.48 o 142 26.40/26.48 c *26.5s| 11131 | 2500 | 34212 | 3.0 | 30M| 769 | - |3771 |5885 |3771 | 969 |4719 |1612 |1369 | 0.000000e+00 | 1.420000e+02 | Inf 27.19/27.30 o 122 27.19/27.30 c *27.3s| 11350 | 2220 | 37417 | 3.3 | 29M| 769 | - |3771 |5969 |3771 | 940 |5018 |1760 |1380 | 0.000000e+00 | 1.220000e+02 | Inf 27.50/27.59 o 109 27.50/27.59 c *27.6s| 11430 | 2040 | 38638 | 3.3 | 29M| 769 | - |3771 |6028 |3771 | 893 |5124 |1841 |1381 | 0.000000e+00 | 1.090000e+02 | Inf 27.69/27.72 o 88 27.69/27.72 c *27.7s| 11514 | 1580 | 39004 | 3.3 | 28M| 769 | - |3771 |6028 |3771 | 909 |5154 |1847 |1381 | 0.000000e+00 | 8.800000e+01 | Inf 27.89/27.99 o 67 27.89/27.99 c *28.0s| 11575 | 1227 | 40093 | 3.4 | 27M| 769 | - |3771 |5833 |3771 | 926 |5315 |1912 |1384 | 0.000000e+00 | 6.700000e+01 | Inf 27.99/28.04 o 63 27.99/28.04 c *28.0s| 11593 | 1178 | 40260 | 3.4 | 27M| 769 | - |3771 |5466 |3771 | 941 |5334 |1924 |1384 | 0.000000e+00 | 6.300000e+01 | Inf 27.99/28.04 o 59 27.99/28.04 c *28.0s| 11594 | 1074 | 40277 | 3.4 | 26M| 769 | - |3771 |5466 |3771 | 941 |5334 |1924 |1384 | 0.000000e+00 | 5.900000e+01 | Inf 28.19/28.24 o 45 28.19/28.24 c *28.2s| 11635 | 536 | 41160 | 3.5 | 24M| 769 | - |3771 |5256 |3771 | 918 |5411 |1978 |1394 | 0.000000e+00 | 4.500000e+01 | Inf 37.79/37.82 o 39 37.79/37.82 c *37.8s| 16655 | 589 | 65590 | 3.9 | 26M| 769 | - |3771 |6119 |3771 | 902 |6891 |8016 |1540 | 0.000000e+00 | 3.900000e+01 | Inf 43.90/43.98 c 43.9s| 20000 | 675 | 82056 | 4.1 | 28M| 769 | 9 |3771 |6295 |3771 | 891 |7834 | 12k|1561 | 0.000000e+00 | 3.900000e+01 | Inf 61.60/61.69 o 37 61.60/61.69 c *61.7s| 29659 | 790 |130657 | 4.4 | 32M| 769 | - |3771 |7845 |3771 | 925 | 10k| 23k|1636 | 0.000000e+00 | 3.700000e+01 | Inf 62.39/62.40 c 62.4s| 30000 | 787 |133384 | 4.4 | 31M| 769 | 16 |3771 |7518 |3771 | 918 | 10k| 24k|1636 | 0.000000e+00 | 3.700000e+01 | Inf 80.20/80.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 80.20/80.20 c 80.2s| 40000 | 870 |178990 | 4.5 | 36M| 769 | - |3771 |8182 | 0 | 0 | 13k| 36k|1636 | 0.000000e+00 | 3.700000e+01 | Inf 95.80/95.84 o 26 95.80/95.84 c *95.8s| 49073 | 860 |215504 | 4.4 | 37M| 769 | - |3771 |9225 |3771 | 918 | 15k| 47k|1636 | 0.000000e+00 | 2.600000e+01 | Inf 97.50/97.51 c 97.5s| 50000 | 866 |220076 | 4.4 | 37M| 769 | - |3771 |6747 | 0 | 0 | 16k| 48k|1636 | 0.000000e+00 | 2.600000e+01 | Inf 114.99/115.03 c 115s| 60000 | 965 |274886 | 4.6 | 40M| 769 | - |3771 |8934 | 0 | 0 | 18k| 61k|1636 | 0.000000e+00 | 2.600000e+01 | Inf 131.20/131.24 c 131s| 70000 | 1085 |317339 | 4.5 | 42M| 769 | - |3771 |9693 | 0 | 0 | 20k| 74k|1636 | 0.000000e+00 | 2.600000e+01 | Inf 147.70/147.76 c 148s| 80000 | 1196 |356708 | 4.5 | 45M| 769 | - |3771 | 10k|3771 | 900 | 23k| 87k|1682 | 0.000000e+00 | 2.600000e+01 | Inf 165.29/165.31 c 165s| 90000 | 1393 |407595 | 4.5 | 47M| 769 | - |3771 | 11k| 0 | 0 | 27k| 99k|1754 | 0.000000e+00 | 2.600000e+01 | Inf 183.50/183.56 c 184s|100000 | 1637 |459419 | 4.6 | 50M| 769 | 1 |3771 | 12k|3771 | 927 | 32k| 112k|1853 | 0.000000e+00 | 2.600000e+01 | Inf 187.00/187.04 o 25 187.00/187.04 c * 187s|101921 | 1641 |468692 | 4.6 | 50M| 769 | - |3771 | 12k|3771 | 914 | 32k| 115k|1856 | 0.000000e+00 | 2.500000e+01 | Inf 201.60/201.66 c 202s|110000 | 1665 |509250 | 4.6 | 52M| 769 | - |3771 | 11k| 0 | 0 | 35k| 126k|1933 | 0.000000e+00 | 2.500000e+01 | Inf 219.90/219.95 c 220s|120000 | 1724 |562057 | 4.7 | 54M| 769 | 8 |3771 | 12k|3771 | 945 | 38k| 139k|2013 | 0.000000e+00 | 2.500000e+01 | Inf 238.29/238.32 c 238s|130000 | 1812 |609105 | 4.7 | 56M| 769 | - |3771 | 13k| 0 | 0 | 42k| 153k|2120 | 0.000000e+00 | 2.500000e+01 | Inf 257.50/257.57 c 258s|140000 | 1847 |663354 | 4.7 | 58M| 769 | - |3771 | 13k| 0 | 0 | 47k| 166k|2227 | 0.000000e+00 | 2.500000e+01 | Inf 267.90/267.91 o 17 267.90/267.91 c * 268s|145475 | 1558 |690515 | 4.7 | 50M| 769 | - |3771 | 13k|3771 | 929 | 49k| 174k|2265 | 0.000000e+00 | 1.700000e+01 | Inf 276.19/276.25 c 276s|150000 | 1482 |716582 | 4.8 | 49M| 769 | 12 |3771 | 10k|3771 | 931 | 50k| 180k|2325 | 0.000000e+00 | 1.700000e+01 | Inf 293.60/293.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 293.60/293.63 c 294s|160000 | 1411 |771613 | 4.8 | 48M| 769 | 19 |3771 |8266 |3771 | 922 | 54k| 193k|2494 | 0.000000e+00 | 1.700000e+01 | Inf 310.40/310.47 c 310s|170000 | 1243 |827217 | 4.9 | 47M| 769 | - |3771 |8395 | 0 | 0 | 57k| 206k|2660 | 0.000000e+00 | 1.700000e+01 | Inf 327.90/327.99 c 328s|180000 | 1341 |883007 | 4.9 | 49M| 769 | 1 |3771 | 10k|3771 | 891 | 60k| 219k|2770 | 0.000000e+00 | 1.700000e+01 | Inf 346.80/346.84 c 347s|190000 | 1609 |948171 | 5.0 | 53M| 769 | 14 |3771 | 12k|3771 | 925 | 63k| 233k|2895 | 0.000000e+00 | 1.700000e+01 | Inf 365.21/365.25 c 365s|200000 | 1761 | 1006k| 5.0 | 55M| 769 | 8 |3771 | 12k|3771 | 903 | 66k| 246k|2965 | 0.000000e+00 | 1.700000e+01 | Inf 384.40/384.45 c 384s|210000 | 1803 | 1070k| 5.1 | 57M| 769 | 8 |3771 | 13k|3771 | 915 | 68k| 260k|3097 | 0.000000e+00 | 1.700000e+01 | Inf 403.00/403.08 c 403s|220000 | 1781 | 1125k| 5.1 | 58M| 769 | 1 |3771 | 13k|3771 | 904 | 70k| 273k|3160 | 0.000000e+00 | 1.700000e+01 | Inf 421.31/421.35 c 421s|230000 | 1734 | 1183k| 5.1 | 58M| 769 | - |3771 |9694 | 0 | 0 | 74k| 286k|3262 | 0.000000e+00 | 1.700000e+01 | Inf 440.41/440.40 c 440s|240000 | 1936 | 1245k| 5.2 | 63M| 769 | 1 |3771 | 14k|3771 | 926 | 77k| 299k|3383 | 0.000000e+00 | 1.700000e+01 | Inf 460.20/460.21 c 460s|250000 | 1863 | 1305k| 5.2 | 63M| 769 | 26 |3771 | 11k|3771 | 891 | 80k| 312k|3480 | 0.000000e+00 | 1.700000e+01 | Inf 478.41/478.44 c 478s|260000 | 1781 | 1366k| 5.3 | 62M| 769 | 1 |3771 |7498 |3771 | 891 | 82k| 325k|3571 | 0.000000e+00 | 1.700000e+01 | Inf 495.41/495.40 c 495s|270000 | 1813 | 1419k| 5.3 | 64M| 769 | 1 |3771 | 11k|3771 | 891 | 85k| 337k|3654 | 0.000000e+00 | 1.700000e+01 | Inf 513.50/513.55 c 514s|280000 | 1950 | 1473k| 5.3 | 66M| 769 | 1 |3771 | 12k|3771 | 913 | 89k| 350k|3749 | 0.000000e+00 | 1.700000e+01 | Inf 532.20/532.23 c 532s|290000 | 2013 | 1531k| 5.3 | 67M| 769 | 13 |3771 | 12k|3771 | 928 | 92k| 363k|3853 | 0.000000e+00 | 1.700000e+01 | Inf 550.40/550.40 c 550s|300000 | 1983 | 1588k| 5.3 | 68M| 769 | 17 |3771 | 10k|3771 | 891 | 95k| 377k|3946 | 0.000000e+00 | 1.700000e+01 | Inf 568.41/568.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 568.41/568.46 c 568s|310000 | 2104 | 1644k| 5.3 | 71M| 769 | 1 |3771 | 14k|3771 | 930 | 99k| 390k|3997 | 0.000000e+00 | 1.700000e+01 | Inf 587.61/587.68 c 588s|320000 | 2219 | 1704k| 5.3 | 73M| 769 | 23 |3771 | 14k|3771 | 931 | 103k| 402k|4073 | 0.000000e+00 | 1.700000e+01 | Inf 607.31/607.34 c 607s|330000 | 2244 | 1767k| 5.4 | 74M| 769 | - |3771 | 15k| 0 | 0 | 107k| 416k|4148 | 0.000000e+00 | 1.700000e+01 | Inf 626.81/626.80 c 627s|340000 | 2325 | 1826k| 5.4 | 75M| 769 | - |3771 | 15k|3771 | 922 | 111k| 429k|4246 | 0.000000e+00 | 1.700000e+01 | Inf 646.21/646.26 c 646s|350000 | 2474 | 1886k| 5.4 | 77M| 769 | - |3771 | 16k| 0 | 0 | 116k| 442k|4318 | 0.000000e+00 | 1.700000e+01 | Inf 665.71/665.78 c 666s|360000 | 2542 | 1943k| 5.4 | 79M| 769 | - |3771 | 16k| 0 | 0 | 120k| 455k|4379 | 0.000000e+00 | 1.700000e+01 | Inf 685.81/685.84 c 686s|370000 | 2743 | 2004k| 5.4 | 81M| 769 | 5 |3771 | 17k|3771 | 899 | 124k| 469k|4443 | 0.000000e+00 | 1.700000e+01 | Inf 706.41/706.47 c 706s|380000 | 3105 | 2061k| 5.4 | 86M| 769 | 7 |3771 | 18k|3771 | 908 | 128k| 482k|4495 | 0.000000e+00 | 1.700000e+01 | Inf 710.41/710.50 o 14 710.41/710.50 c * 710s|381878 | 2619 | 2072k| 5.4 | 72M| 769 | - |3771 | 18k|3771 | 934 | 129k| 484k|4523 | 0.000000e+00 | 1.400000e+01 | Inf 710.91/710.90 o 12 710.91/710.90 c * 711s|382046 | 2541 | 2074k| 5.4 | 70M| 769 | - |3771 | 17k|3771 | 929 | 129k| 485k|4527 | 0.000000e+00 | 1.200000e+01 | Inf 725.91/726.00 c 726s|390000 | 2641 | 2120k| 5.4 | 71M| 769 | - |3771 | 16k|3771 | 905 | 132k| 496k|4565 | 0.000000e+00 | 1.200000e+01 | Inf 744.51/744.55 c 745s|400000 | 2694 | 2178k| 5.4 | 72M| 769 | - |3771 | 15k| 0 | 0 | 135k| 510k|4638 | 0.000000e+00 | 1.200000e+01 | Inf 763.32/763.37 c 763s|410000 | 2761 | 2235k| 5.5 | 74M| 769 | - |3771 | 16k| 0 | 0 | 139k| 524k|4711 | 0.000000e+00 | 1.200000e+01 | Inf 782.41/782.43 c 782s|420000 | 2890 | 2294k| 5.5 | 76M| 769 | 20 |3771 | 17k|3771 | 940 | 143k| 538k|4780 | 0.000000e+00 | 1.200000e+01 | Inf 802.12/802.14 c 802s|430000 | 2981 | 2361k| 5.5 | 78M| 769 | 24 |3771 | 18k|3771 | 922 | 147k| 552k|4842 | 0.000000e+00 | 1.200000e+01 | Inf 822.01/822.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 822.01/822.00 c 822s|440000 | 2924 | 2425k| 5.5 | 78M| 769 | - |3771 | 17k| 0 | 0 | 150k| 566k|4903 | 0.000000e+00 | 1.200000e+01 | Inf 841.71/841.79 c 842s|450000 | 2904 | 2491k| 5.5 | 79M| 769 | 24 |3771 | 18k|3771 | 924 | 154k| 580k|4962 | 0.000000e+00 | 1.200000e+01 | Inf 861.71/861.78 c 862s|460000 | 2895 | 2551k| 5.5 | 79M| 769 | 9 |3771 | 18k|3771 | 900 | 157k| 594k|5031 | 0.000000e+00 | 1.200000e+01 | Inf 881.62/881.61 c 882s|470000 | 2947 | 2609k| 5.6 | 80M| 769 | - |3771 | 18k|3771 | 906 | 160k| 608k|5093 | 0.000000e+00 | 1.200000e+01 | Inf 901.62/901.67 c 902s|480000 | 3007 | 2676k| 5.6 | 82M| 769 | 23 |3771 | 20k|3771 | 940 | 164k| 622k|5163 | 0.000000e+00 | 1.200000e+01 | Inf 921.12/921.14 c 921s|490000 | 2884 | 2736k| 5.6 | 80M| 769 | 5 |3771 | 16k|3771 | 891 | 167k| 636k|5225 | 0.000000e+00 | 1.200000e+01 | Inf 940.82/940.84 c 941s|500000 | 2863 | 2801k| 5.6 | 80M| 769 | - |3771 | 15k|3771 | 904 | 172k| 650k|5299 | 0.000000e+00 | 1.200000e+01 | Inf 958.82/958.89 c 959s|510000 | 2920 | 2849k| 5.6 | 81M| 769 | 1 |3771 | 16k|3771 | 912 | 175k| 663k|5359 | 0.000000e+00 | 1.200000e+01 | Inf 978.62/978.61 c 979s|520000 | 2816 | 2913k| 5.6 | 80M| 769 | 9 |3771 | 14k|3771 | 916 | 178k| 676k|5460 | 0.000000e+00 | 1.200000e+01 | Inf 992.13/992.11 o 9 992.13/992.11 c * 992s|526715 | 2826 | 2962k| 5.6 | 80M| 769 | - |3771 | 18k|3771 | 954 | 181k| 686k|5502 | 0.000000e+00 | 9.000000e+00 | Inf 999.32/999.32 c 999s|530000 | 2840 | 2987k| 5.6 | 80M| 769 | 26 |3771 | 17k|3771 | 946 | 181k| 690k|5508 | 0.000000e+00 | 9.000000e+00 | Inf 1018.72/1018.76 c 1019s|540000 | 2668 | 3054k| 5.7 | 77M| 769 | - |3771 | 11k| 0 | 0 | 185k| 704k|5762 | 0.000000e+00 | 9.000000e+00 | Inf 1036.23/1036.28 c 1036s|550000 | 2341 | 3113k| 5.7 | 72M| 769 | 1 |3771 |8276 |3771 | 898 | 187k| 718k|5917 | 0.000000e+00 | 9.000000e+00 | Inf 1053.32/1053.32 c 1053s|560000 | 2351 | 3168k| 5.7 | 74M| 769 | 12 |3771 | 10k|3771 | 907 | 190k| 730k|5944 | 0.000000e+00 | 9.000000e+00 | Inf 1070.72/1070.75 c 1071s|570000 | 1830 | 3226k| 5.7 | 65M| 769 | - |3771 |8235 | 0 | 0 | 193k| 743k|6006 | 0.000000e+00 | 9.000000e+00 | Inf 1087.13/1087.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1087.13/1087.14 c 1087s|580000 | 1982 | 3278k| 5.7 | 67M| 769 | - |3771 | 11k| 0 | 0 | 196k| 756k|6057 | 0.000000e+00 | 9.000000e+00 | Inf 1105.53/1105.59 c 1106s|590000 | 2064 | 3333k| 5.6 | 70M| 769 | 23 |3771 | 13k|3771 | 912 | 197k| 770k|6117 | 0.000000e+00 | 9.000000e+00 | Inf 1124.13/1124.15 c 1124s|600000 | 2179 | 3386k| 5.6 | 72M| 769 | - |3771 | 16k| 0 | 0 | 200k| 783k|6168 | 0.000000e+00 | 9.000000e+00 | Inf 1143.42/1143.45 c 1143s|610000 | 2276 | 3439k| 5.6 | 74M| 769 | - |3771 | 18k| 0 | 0 | 202k| 796k|6195 | 0.000000e+00 | 9.000000e+00 | Inf 1164.43/1164.46 c 1164s|620000 | 2372 | 3494k| 5.6 | 77M| 769 | 8 |3771 | 20k|3771 | 891 | 204k| 810k|6239 | 0.000000e+00 | 9.000000e+00 | Inf 1186.63/1186.63 c 1187s|630000 | 2563 | 3551k| 5.6 | 80M| 769 | - |3771 | 22k| 0 | 0 | 206k| 823k|6307 | 0.000000e+00 | 9.000000e+00 | Inf 1208.43/1208.48 c 1208s|640000 | 2706 | 3604k| 5.6 | 82M| 769 | 15 |3771 | 21k|3771 | 911 | 209k| 838k|6358 | 0.000000e+00 | 9.000000e+00 | Inf 1229.74/1229.71 c 1230s|650000 | 2757 | 3662k| 5.6 | 83M| 769 | 1 |3771 | 21k|3771 | 911 | 211k| 852k|6388 | 0.000000e+00 | 9.000000e+00 | Inf 1250.64/1250.61 c 1251s|660000 | 2806 | 3717k| 5.6 | 85M| 769 | 1 |3771 | 20k|3771 | 912 | 213k| 866k|6441 | 0.000000e+00 | 9.000000e+00 | Inf 1271.83/1271.86 c 1272s|670000 | 2828 | 3775k| 5.6 | 86M| 769 | - |3771 | 19k| 0 | 0 | 216k| 880k|6503 | 0.000000e+00 | 9.000000e+00 | Inf 1292.03/1292.01 c 1292s|680000 | 2835 | 3831k| 5.6 | 86M| 769 | - |3771 | 15k| 0 | 0 | 218k| 894k|6560 | 0.000000e+00 | 9.000000e+00 | Inf 1310.84/1310.87 c 1311s|690000 | 2909 | 3883k| 5.6 | 88M| 769 | - |3771 | 16k| 0 | 0 | 220k| 908k|6584 | 0.000000e+00 | 9.000000e+00 | Inf 1329.33/1329.32 c 1329s|700000 | 3055 | 3928k| 5.6 | 91M| 769 | 1 |3771 | 18k|3771 | 910 | 223k| 921k|6624 | 0.000000e+00 | 9.000000e+00 | Inf 1350.85/1350.89 c 1351s|710000 | 3019 | 3985k| 5.6 | 91M| 769 | - |3771 | 17k| 0 | 0 | 226k| 935k|6693 | 0.000000e+00 | 9.000000e+00 | Inf 1371.65/1371.62 c 1372s|720000 | 3089 | 4042k| 5.6 | 93M| 769 | - |3771 | 20k| 0 | 0 | 228k| 949k|6730 | 0.000000e+00 | 9.000000e+00 | Inf 1393.03/1393.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1393.03/1393.04 c 1393s|730000 | 3158 | 4102k| 5.6 | 95M| 769 | 1 |3771 | 21k|3771 | 938 | 232k| 962k|6757 | 0.000000e+00 | 9.000000e+00 | Inf 1414.34/1414.33 c 1414s|740000 | 2922 | 4156k| 5.6 | 91M| 769 | 9 |3771 | 17k|3771 | 891 | 234k| 976k|6822 | 0.000000e+00 | 9.000000e+00 | Inf 1434.54/1434.51 c 1434s|750000 | 2662 | 4212k| 5.6 | 88M| 769 | 16 |3771 | 16k|3771 | 922 | 237k| 990k|6873 | 0.000000e+00 | 9.000000e+00 | Inf 1452.24/1452.27 c 1452s|760000 | 2239 | 4263k| 5.6 | 79M| 769 | 1 |3771 | 13k|3771 | 891 | 239k|1003k|6935 | 0.000000e+00 | 9.000000e+00 | Inf 1469.83/1469.86 c 1470s|770000 | 2290 | 4310k| 5.6 | 80M| 769 | 9 |3771 | 16k|3771 | 908 | 242k|1016k|6978 | 0.000000e+00 | 9.000000e+00 | Inf 1489.04/1489.04 c 1489s|780000 | 2252 | 4360k| 5.6 | 81M| 769 | - |3771 | 17k| 0 | 0 | 245k|1029k|7005 | 0.000000e+00 | 9.000000e+00 | Inf 1507.54/1507.56 c 1508s|790000 | 2152 | 4414k| 5.6 | 77M| 769 | 17 |3771 | 16k|3771 | 891 | 249k|1042k|7063 | 0.000000e+00 | 9.000000e+00 | Inf 1527.54/1527.53 c 1528s|800000 | 2231 | 4474k| 5.6 | 79M| 769 | 1 |3771 | 16k|3771 | 911 | 252k|1055k|7115 | 0.000000e+00 | 9.000000e+00 | Inf 1547.34/1547.36 c 1547s|810000 | 2395 | 4529k| 5.6 | 81M| 769 | 23 |3771 | 20k|3771 | 909 | 256k|1068k|7169 | 0.000000e+00 | 9.000000e+00 | Inf 1567.14/1567.18 c 1567s|820000 | 2503 | 4581k| 5.6 | 84M| 769 | 12 |3771 | 22k|3771 | 968 | 258k|1082k|7184 | 0.000000e+00 | 9.000000e+00 | Inf 1589.05/1589.05 c 1589s|830000 | 2754 | 4635k| 5.6 | 86M| 769 | 1 |3771 | 24k|3771 | 915 | 262k|1095k|7222 | 0.000000e+00 | 9.000000e+00 | Inf 1612.15/1612.17 c 1612s|840000 | 2923 | 4689k| 5.6 | 89M| 769 | 20 |3771 | 26k|3771 | 918 | 264k|1108k|7282 | 0.000000e+00 | 9.000000e+00 | Inf 1634.75/1634.73 c 1635s|850000 | 3063 | 4738k| 5.6 | 91M| 769 | 13 |3771 | 28k|3771 | 923 | 267k|1122k|7304 | 0.000000e+00 | 9.000000e+00 | Inf 1659.24/1659.27 c 1659s|860000 | 3163 | 4795k| 5.6 | 92M| 769 | - |3771 | 25k| 0 | 0 | 270k|1135k|7339 | 0.000000e+00 | 9.000000e+00 | Inf 1682.74/1682.79 c 1683s|870000 | 3252 | 4853k| 5.6 | 95M| 769 | 1 |3771 | 28k|3771 | 941 | 272k|1149k|7399 | 0.000000e+00 | 9.000000e+00 | Inf 1706.94/1706.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1706.94/1706.95 c 1707s|880000 | 3420 | 4911k| 5.6 | 97M| 769 | 24 |3771 | 28k|3771 | 940 | 275k|1164k|7454 | 0.000000e+00 | 9.000000e+00 | Inf 1731.14/1731.13 c 1731s|890000 | 3537 | 4964k| 5.6 | 98M| 769 | - |3771 | 27k|3771 | 957 | 278k|1177k|7459 | 0.000000e+00 | 9.000000e+00 | Inf 1754.75/1754.72 c 1755s|900000 | 3667 | 5018k| 5.6 | 100M| 769 | 11 |3771 | 27k|3771 | 925 | 280k|1191k|7509 | 0.000000e+00 | 9.000000e+00 | Inf 1773.45/1773.44 o 8 1773.45/1773.44 c *1773s|908106 | 3596 | 5063k| 5.6 | 99M| 769 | - |3771 | 25k|3771 | 932 | 282k|1203k|7546 | 0.000000e+00 | 8.000000e+00 | Inf 1777.66/1777.63 c 1778s|910000 | 3611 | 5072k| 5.6 | 98M| 769 | - |3771 | 24k|3771 | 945 | 283k|1205k|7561 | 0.000000e+00 | 8.000000e+00 | Inf 1790.05/1790.00 c 1790.05/1790.00 c SCIP Status : solving was interrupted [time limit reached] 1790.05/1790.00 c Solving Time (sec) : 1789.97 1790.05/1790.00 c Solving Nodes : 915592 1790.05/1790.00 c Primal Bound : +8.00000000000000e+00 (138 solutions) 1790.05/1790.00 c Dual Bound : +0.00000000000000e+00 1790.05/1790.00 c Gap : infinite 1790.05/1790.04 s SATISFIABLE 1790.05/1790.04 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1790.05/1790.04 v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1790.05/1790.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 1790.05/1790.04 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 1790.05/1790.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 1790.05/1790.04 v -x125 x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 1790.05/1790.04 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 1790.05/1790.04 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 1790.05/1790.04 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 1790.05/1790.04 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 1790.05/1790.04 v x2 -x1 1790.05/1790.04 c SCIP Status : solving was interrupted [time limit reached] 1790.05/1790.04 c Solving Time : 1789.97 1790.05/1790.04 c Original Problem : 1790.05/1790.04 c Problem name : HOME/instance-2705016-1278574752.wbo 1790.05/1790.04 c Variables : 3909 (2070 binary, 0 integer, 1839 implicit integer, 0 continuous) 1790.05/1790.04 c Constraints : 4547 initial, 4547 maximal 1790.05/1790.04 c Presolved Problem : 1790.05/1790.04 c Problem name : t_HOME/instance-2705016-1278574752.wbo 1790.05/1790.04 c Variables : 3771 (2001 binary, 0 integer, 1770 implicit integer, 0 continuous) 1790.05/1790.04 c Constraints : 4356 initial, 29516 maximal 1790.05/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.05/1790.04 c trivial : 0.00 69 0 0 0 0 0 0 0 1790.05/1790.04 c dualfix : 0.00 69 0 0 0 0 0 0 0 1790.05/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.04 c probing : 0.05 0 0 0 0 0 0 0 0 1790.05/1790.04 c setppc : 0.00 0 0 0 0 0 17 0 0 1790.05/1790.04 c linear : 0.06 0 0 0 1861 0 105 91 0 1790.05/1790.04 c indicator : 0.00 0 0 0 0 0 69 0 0 1790.05/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.05/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.04 c root node : - 3304 - - 3304 - - - - 1790.05/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.05/1790.04 c integral : 0 0 0 534960 0 50 753 0 0 979690 1790.05/1790.04 c setppc : 33 6 4972743 43324 1 25123 1357954 0 0 0 1790.05/1790.04 c linear : 1770 6 4950348 44445 1 224750 22995849 284679 0 0 1790.05/1790.04 c indicator : 1770 0 4673620 44100 1 463 2629594 0 0 0 1790.05/1790.04 c logicor : 783+ 6 1662156 9950 1 185657 3779322 0 0 0 1790.05/1790.04 c bounddisjunction : 0+ 0 374706 0 0 141 2329 0 0 0 1790.05/1790.04 c countsols : 0 0 0 9950 1 0 0 0 0 0 1790.05/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.05/1790.04 c integral : 21.60 0.00 0.00 21.60 0.00 1790.05/1790.04 c setppc : 11.77 0.00 11.74 0.03 0.00 1790.05/1790.04 c linear : 168.45 0.00 165.81 2.64 0.00 1790.05/1790.04 c indicator : 43.75 0.02 41.15 2.58 0.00 1790.05/1790.04 c logicor : 251.55 0.00 251.44 0.11 0.00 1790.05/1790.04 c bounddisjunction : 1.41 0.00 1.41 0.00 0.00 1790.05/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.05/1790.04 c Propagators : Time Calls Cutoffs DomReds 1790.05/1790.04 c vbounds : 0.80 23667 0 914 1790.05/1790.04 c rootredcost : 0.70 26 0 1652 1790.05/1790.04 c pseudoobj : 139.90 4982805 7279 2779792 1790.05/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.05/1790.04 c propagation : 20.88 442950 442702 2674698 26.5 13747 25.2 - 1790.05/1790.04 c infeasible LP : 9.75 35026 35026 284057 42.2 379 19.7 0 1790.05/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.05/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.05/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.05/1790.04 c applied globally : - - - 1213159 22.0 - - - 1790.05/1790.04 c applied locally : - - - 0 0.0 - - - 1790.05/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.05/1790.04 c cut pool : 0.00 5 - - 12 - (maximal pool size: 434) 1790.05/1790.04 c redcost : 37.67 537953 0 68889 0 0 1790.05/1790.04 c impliedbounds : 0.00 6 0 0 0 0 1790.05/1790.04 c intobj : 0.00 0 0 0 0 0 1790.05/1790.04 c cgmip : 0.00 0 0 0 0 0 1790.05/1790.04 c gomory : 0.09 6 0 0 1827 0 1790.05/1790.04 c strongcg : 0.08 6 0 0 1855 0 1790.05/1790.04 c cmir : 0.02 6 0 0 3 0 1790.05/1790.04 c flowcover : 0.06 6 0 0 5 0 1790.05/1790.04 c clique : 0.00 6 0 0 0 0 1790.05/1790.04 c zerohalf : 0.00 0 0 0 0 0 1790.05/1790.04 c mcf : 0.00 1 0 0 0 0 1790.05/1790.04 c rapidlearning : 0.07 1 0 0 0 0 1790.05/1790.04 c Pricers : Time Calls Vars 1790.05/1790.04 c problem variables: 0.00 0 0 1790.05/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.05/1790.04 c relpscost : 21.15 490490 50 753 0 0 979690 1790.05/1790.04 c pscost : 0.00 0 0 0 0 0 0 1790.05/1790.04 c inference : 2.59 9926 0 0 0 0 19916 1790.05/1790.04 c mostinf : 0.00 0 0 0 0 0 0 1790.05/1790.04 c leastinf : 0.00 0 0 0 0 0 0 1790.05/1790.04 c fullstrong : 0.00 0 0 0 0 0 0 1790.05/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0 1790.05/1790.04 c random : 0.00 0 0 0 0 0 0 1790.05/1790.04 c Primal Heuristics : Time Calls Found 1790.05/1790.04 c LP solutions : 0.04 - 25 1790.05/1790.04 c pseudo solutions : 0.00 - 0 1790.05/1790.04 c feaspump : 0.02 1 0 1790.05/1790.04 c oneopt : 0.34 23 0 1790.05/1790.04 c pscostdiving : 0.16 110 0 1790.05/1790.04 c coefdiving : 0.20 110 0 1790.05/1790.04 c fracdiving : 0.17 111 0 1790.05/1790.04 c veclendiving : 0.15 111 0 1790.05/1790.04 c linesearchdiving : 0.16 111 0 1790.05/1790.04 c guideddiving : 0.17 111 0 1790.05/1790.04 c objpscostdiving : 0.19 98 0 1790.05/1790.04 c rootsoldiving : 0.19 98 0 1790.05/1790.04 c trivial : 0.01 2 0 1790.05/1790.04 c simplerounding : 0.68 490678 0 1790.05/1790.04 c zirounding : 0.41 1000 0 1790.05/1790.04 c rounding : 1.07 9830 0 1790.05/1790.04 c shifting : 0.71 3075 0 1790.05/1790.04 c intshifting : 0.01 0 0 1790.05/1790.04 c twoopt : 0.00 0 0 1790.05/1790.04 c fixandinfer : 0.00 0 0 1790.05/1790.04 c intdiving : 0.00 0 0 1790.05/1790.04 c actconsdiving : 0.00 0 0 1790.05/1790.04 c octane : 0.00 0 0 1790.05/1790.04 c rens : 0.03 1 0 1790.05/1790.04 c rins : 0.00 0 0 1790.05/1790.04 c localbranching : 0.00 0 0 1790.05/1790.04 c mutation : 0.00 0 0 1790.05/1790.04 c crossover : 1.08 22 0 1790.05/1790.04 c dins : 0.00 0 0 1790.05/1790.04 c undercover : 0.00 0 0 1790.05/1790.04 c nlp : 0.17 0 0 1790.05/1790.04 c trysol : 0.34 279 113 1790.05/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec 1790.05/1790.04 c primal LP : 0.00 0 0 0.00 - 1790.05/1790.04 c dual LP : 597.76 559599 5104898 9.12 8540.03 1790.05/1790.04 c lex dual LP : 0.00 0 0 0.00 - 1790.05/1790.04 c barrier LP : 0.00 0 0 0.00 - 1790.05/1790.04 c diving/probing LP: 0.31 182 2508 13.78 8093.22 1790.05/1790.04 c strong branching : 17.12 7561 181034 23.94 10575.04 1790.05/1790.04 c (at root node) : - 17 5116 300.94 - 1790.05/1790.04 c conflict analysis: 0.00 0 0 0.00 - 1790.05/1790.04 c B&B Tree : 1790.05/1790.04 c number of runs : 1 1790.05/1790.04 c nodes : 915592 1790.05/1790.04 c nodes (total) : 915592 1790.05/1790.04 c nodes left : 3686 1790.05/1790.04 c max depth : 769 1790.05/1790.04 c max depth (total): 769 1790.05/1790.04 c backtracks : 84600 (9.2%) 1790.05/1790.04 c delayed cutoffs : 69068 1790.05/1790.04 c repropagations : 2530286 (6132104 domain reductions, 62500 cutoffs) 1790.05/1790.04 c avg switch length: 6.97 1790.05/1790.04 c switching time : 261.85 1790.05/1790.04 c Solution : 1790.05/1790.04 c Solutions found : 138 (26 improvements) 1790.05/1790.04 c First Solution : +8.80640000000000e+04 (in run 1, after 96 nodes, 7.15 seconds, depth 21, found by <trysol>) 1790.05/1790.04 c Primal Bound : +8.00000000000000e+00 (in run 1, after 908106 nodes, 1773.41 seconds, depth 41, found by <relaxation>) 1790.05/1790.04 c Dual Bound : +0.00000000000000e+00 1790.05/1790.04 c Gap : infinite 1790.05/1790.04 c Root Dual Bound : +0.00000000000000e+00 1790.05/1790.04 c Root Iterations : 499 1790.15/1790.17 c Time complete: 1790.22.
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705016-1278574752/watcher-2705016-1278574752 -o /tmp/evaluation-result-2705016-1278574752/solver-2705016-1278574752 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705016-1278574752.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.77 1.95 1.66 2/173 24599 /proc/meminfo: memFree=29010280/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=12344 CPUtime=0 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 1923 0 0 0 0 0 0 0 21 0 1 0 25689358 12640256 1841 4089446400 4194304 10345943 140737180183136 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/24599/statm: 3086 1841 429 1502 0 1579 0 [startup+0.089988 s] /proc/loadavg: 1.77 1.95 1.66 2/173 24599 /proc/meminfo: memFree=29010280/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=33412 CPUtime=0.08 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 7358 0 0 0 8 0 0 0 21 0 1 0 25689358 34213888 6922 4089446400 4194304 10345943 140737180183136 18446744073709551615 4982355 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24599/statm: 8353 6922 534 1502 0 6846 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 33412 [startup+0.101002 s] /proc/loadavg: 1.77 1.95 1.66 2/173 24599 /proc/meminfo: memFree=29010280/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=34440 CPUtime=0.09 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 7628 0 0 0 9 0 0 0 21 0 1 0 25689358 35266560 7192 4089446400 4194304 10345943 140737180183136 18446744073709551615 5017631 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24599/statm: 8610 7192 541 1502 0 7103 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 34440 [startup+0.300965 s] /proc/loadavg: 1.77 1.95 1.66 2/173 24599 /proc/meminfo: memFree=29010280/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=40880 CPUtime=0.29 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 14174 0 0 0 28 1 0 0 21 0 1 0 25689358 41861120 8730 4089446400 4194304 10345943 140737180183136 18446744073709551615 5850148 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24599/statm: 10220 8730 747 1502 0 8713 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 40880 [startup+0.700891 s] /proc/loadavg: 1.77 1.95 1.66 2/173 24599 /proc/meminfo: memFree=29010280/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=47640 CPUtime=0.69 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 19431 0 0 0 67 2 0 0 22 0 1 0 25689358 48783360 10024 4089446400 4194304 10345943 140737180183136 18446744073709551615 7567854 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24599/statm: 11910 10024 768 1502 0 10403 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47640 [startup+1.50074 s] /proc/loadavg: 1.77 1.95 1.66 2/174 24600 /proc/meminfo: memFree=28972824/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=47584 CPUtime=1.49 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 19623 0 0 0 147 2 0 0 25 0 1 0 25689358 48726016 10054 4089446400 4194304 10345943 140737180183136 18446744073709551615 7509288 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24599/statm: 11896 10054 769 1502 0 10389 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47584 [startup+3.10044 s] /proc/loadavg: 1.77 1.95 1.66 2/174 24600 /proc/meminfo: memFree=28973376/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=46936 CPUtime=3.09 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 19960 0 0 0 306 3 0 0 25 0 1 0 25689358 48062464 9943 4089446400 4194304 10345943 140737180183136 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24599/statm: 11734 9943 769 1502 0 10227 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46936 [startup+6.30084 s] /proc/loadavg: 1.79 1.95 1.67 3/179 24610 /proc/meminfo: memFree=28908164/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=47780 CPUtime=6.29 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 21512 0 0 0 623 6 0 0 25 0 1 0 25689358 48926720 10029 4089446400 4194304 10345943 140737180183136 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24599/statm: 11945 10029 770 1502 0 10438 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47780 [startup+12.7007 s] /proc/loadavg: 1.80 1.95 1.67 3/179 24611 /proc/meminfo: memFree=28899460/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=56608 CPUtime=12.69 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 39281 0 0 0 1257 12 0 0 25 0 1 0 25689358 57966592 12255 4089446400 4194304 10345943 140737180183136 18446744073709551615 6802983 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24599/statm: 14152 12255 777 1502 0 12645 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 56608 [startup+25.5003 s] /proc/loadavg: 1.85 1.95 1.67 3/179 24611 /proc/meminfo: memFree=28878116/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=77832 CPUtime=25.49 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 67167 0 0 0 2531 18 0 0 25 0 1 0 25689358 79699968 17696 4089446400 4194304 10345943 140737180183136 18446744073709551615 6307346 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24599/statm: 19458 17696 778 1502 0 17951 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77832 [startup+51.1005 s] /proc/loadavg: 1.90 1.95 1.68 3/179 24611 /proc/meminfo: memFree=28841300/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=103428 CPUtime=51.09 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 104252 0 0 0 5078 31 0 0 25 0 1 0 25689358 105910272 24099 4089446400 4194304 10345943 140737180183136 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24599/statm: 25857 24099 786 1502 0 24350 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 103428 [startup+102.307 s] /proc/loadavg: 1.95 1.96 1.69 3/179 24613 /proc/meminfo: memFree=28769816/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=130572 CPUtime=102.3 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 133723 0 0 0 10181 49 0 0 25 0 1 0 25689358 133705728 30844 4089446400 4194304 10345943 140737180183136 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 32643 30844 786 1502 0 31136 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 130572 [startup+162.301 s] /proc/loadavg: 1.98 1.97 1.71 3/179 24615 /proc/meminfo: memFree=28714200/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=143096 CPUtime=162.3 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 143163 0 0 0 16162 68 0 0 25 0 1 0 25689358 146530304 33818 4089446400 4194304 10345943 140737180183136 18446744073709551615 4995703 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 35774 33818 786 1502 0 34267 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 143096 [startup+222.301 s] /proc/loadavg: 1.99 1.97 1.73 3/179 24616 /proc/meminfo: memFree=28660480/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=155836 CPUtime=222.3 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 161309 0 0 0 22143 87 0 0 25 0 1 0 25689358 159576064 36513 4089446400 4194304 10345943 140737180183136 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 38959 36513 786 1502 0 37452 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 155836 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.74 3/179 24618 /proc/meminfo: memFree=28604236/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=162988 CPUtime=282.3 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 181205 0 0 0 28123 107 0 0 25 0 1 0 25689358 166899712 38597 4089446400 4194304 10345943 140737180183136 18446744073709551615 4216637 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 40747 38597 797 1502 0 39240 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 162988 [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.75 3/179 24619 /proc/meminfo: memFree=28553608/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=167184 CPUtime=342.3 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 202711 0 0 0 34098 132 0 0 25 0 1 0 25689358 171196416 39236 4089446400 4194304 10345943 140737180183136 18446744073709551615 7598615 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 41796 39236 797 1502 0 40289 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 167184 [startup+402.301 s] /proc/loadavg: 1.99 1.97 1.76 3/179 24621 /proc/meminfo: memFree=28500236/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=175600 CPUtime=402.3 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 208018 0 0 0 40079 151 0 0 25 0 1 0 25689358 179814400 41350 4089446400 4194304 10345943 140737180183136 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 43900 41350 797 1502 0 42393 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 175600 [startup+462.301 s] /proc/loadavg: 2.04 1.99 1.78 3/179 24623 /proc/meminfo: memFree=28445380/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=180036 CPUtime=462.3 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 214570 0 0 0 46062 168 0 0 25 0 1 0 25689358 184356864 42414 4089446400 4194304 10345943 140737180183136 18446744073709551615 4706214 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 45009 42414 797 1502 0 43502 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 180036 [startup+522.301 s] /proc/loadavg: 2.01 1.99 1.79 3/179 24624 /proc/meminfo: memFree=28398956/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=183744 CPUtime=522.31 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 218896 0 0 0 52042 189 0 0 25 0 1 0 25689358 188153856 43389 4089446400 4194304 10345943 140737180183136 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 45936 43389 797 1502 0 44429 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 183744 [startup+582.301 s] /proc/loadavg: 2.00 1.99 1.80 3/179 24626 /proc/meminfo: memFree=28350268/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=189440 CPUtime=582.31 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 222522 0 0 0 58024 207 0 0 25 0 1 0 25689358 193986560 44517 4089446400 4194304 10345943 140737180183136 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 47360 44517 797 1502 0 45853 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 189440 [startup+642.3 s] /proc/loadavg: 2.00 1.99 1.82 3/179 24627 /proc/meminfo: memFree=28296412/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=194384 CPUtime=642.32 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 225370 0 0 0 64007 225 0 0 25 0 1 0 25689358 199049216 45944 4089446400 4194304 10345943 140737180183136 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 48596 45944 797 1502 0 47089 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 194384 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27991808/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=215588 CPUtime=1002.33 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 280474 0 0 0 99902 331 0 0 25 0 1 0 25689358 220762112 51286 4089446400 4194304 10345943 140737180183136 18446744073709551615 6035872 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 53897 51286 799 1502 0 52390 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 215588 [startup+1062.3 s] /proc/loadavg: 2.02 2.01 1.87 3/179 24639 /proc/meminfo: memFree=27949356/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=217048 CPUtime=1062.33 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 292966 0 0 0 105881 352 0 0 25 0 1 0 25689358 222257152 51471 4089446400 4194304 10345943 140737180183136 18446744073709551615 5614603 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 54262 51471 800 1502 0 52755 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 217048 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 1.87 3/179 24640 /proc/meminfo: memFree=27906524/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=217040 CPUtime=1122.33 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 300852 0 0 0 111861 372 0 0 25 0 1 0 25689358 222248960 51380 4089446400 4194304 10345943 140737180183136 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 54260 51380 800 1502 0 52753 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 217040 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 24642 /proc/meminfo: memFree=27855004/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=220144 CPUtime=1182.33 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 303565 0 0 0 117844 389 0 0 25 0 1 0 25689358 225427456 52194 4089446400 4194304 10345943 140737180183136 18446744073709551615 4217129 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 55036 52194 800 1502 0 53529 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 220144 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 24643 /proc/meminfo: memFree=27802760/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=222012 CPUtime=1242.33 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 307297 0 0 0 123828 405 0 0 25 0 1 0 25689358 227340288 52652 4089446400 4194304 10345943 140737180183136 18446744073709551615 5615207 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 55503 52652 800 1502 0 53996 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 222012 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 24645 /proc/meminfo: memFree=27751628/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=228852 CPUtime=1302.34 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 309722 0 0 0 129810 424 0 0 25 0 1 0 25689358 234344448 54121 4089446400 4194304 10345943 140737180183136 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 57213 54121 800 1502 0 55706 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 228852 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.90 3/179 24656 /proc/meminfo: memFree=27701248/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=232932 CPUtime=1362.34 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 312061 0 0 0 135793 441 0 0 25 0 1 0 25689358 238522368 55236 4089446400 4194304 10345943 140737180183136 18446744073709551615 4995216 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 58233 55236 800 1502 0 56726 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 232932 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.90 3/179 24657 /proc/meminfo: memFree=27650104/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=236440 CPUtime=1422.34 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 314820 0 0 0 141777 457 0 0 25 0 1 0 25689358 242114560 56052 4089446400 4194304 10345943 140737180183136 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 59110 56052 800 1502 0 57603 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 236440 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 24659 /proc/meminfo: memFree=27604908/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=237736 CPUtime=1482.34 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 315654 0 0 0 147761 473 0 0 25 0 1 0 25689358 243441664 56307 4089446400 4194304 10345943 140737180183136 18446744073709551615 6023438 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 59434 56307 800 1502 0 57927 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 237736 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 24660 /proc/meminfo: memFree=27560452/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=237952 CPUtime=1542.34 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 316049 0 0 0 153744 490 0 0 25 0 1 0 25689358 243662848 56403 4089446400 4194304 10345943 140737180183136 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 59488 56403 800 1502 0 57981 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 237952 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 24662 /proc/meminfo: memFree=27509076/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=237952 CPUtime=1602.34 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 316208 0 0 0 159729 505 0 0 25 0 1 0 25689358 243662848 56562 4089446400 4194304 10345943 140737180183136 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 59488 56562 800 1502 0 57981 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 237952 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 24664 /proc/meminfo: memFree=27459928/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=238336 CPUtime=1662.34 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 316689 0 0 0 165715 519 0 0 25 0 1 0 25689358 244056064 56649 4089446400 4194304 10345943 140737180183136 18446744073709551615 6307534 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 59584 56649 800 1502 0 58077 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 238336 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 24665 /proc/meminfo: memFree=27408140/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=241728 CPUtime=1722.35 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 317937 0 0 0 171703 532 0 0 25 0 1 0 25689358 247529472 57679 4089446400 4194304 10345943 140737180183136 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 60432 57679 800 1502 0 58925 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 241728 [startup+1782.3 s] /proc/loadavg: 2.05 2.01 1.91 3/179 24667 /proc/meminfo: memFree=27355640/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=245744 CPUtime=1782.35 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 325811 0 0 0 177687 548 0 0 25 0 1 0 25689358 251641856 58293 4089446400 4194304 10345943 140737180183136 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 61436 58293 800 1502 0 59929 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 245744 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.05 2.01 1.91 3/179 24667 /proc/meminfo: memFree=27352540/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=245744 CPUtime=1785.55 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 325812 0 0 0 178006 549 0 0 25 0 1 0 25689358 251641856 58294 4089446400 4194304 10345943 140737180183136 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 61436 58294 800 1502 0 59929 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 245744 [startup+1788.7 s] /proc/loadavg: 2.04 2.01 1.91 3/179 24667 /proc/meminfo: memFree=27350184/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=245744 CPUtime=1788.75 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 325835 0 0 0 178325 550 0 0 25 0 1 0 25689358 251641856 58317 4089446400 4194304 10345943 140737180183136 18446744073709551615 6108004 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 61436 58317 800 1502 0 59929 0 Current children cumulated CPU time (s) 1788.75 Current children cumulated vsize (KiB) 245744 [startup+1789.5 s] /proc/loadavg: 2.04 2.01 1.91 3/179 24667 /proc/meminfo: memFree=27350184/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=245744 CPUtime=1789.55 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 325835 0 0 0 178405 550 0 0 25 0 1 0 25689358 251641856 58317 4089446400 4194304 10345943 140737180183136 18446744073709551615 6929725 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 61436 58317 800 1502 0 59929 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (KiB) 245744 [startup+1789.9 s] /proc/loadavg: 2.04 2.01 1.91 3/179 24667 /proc/meminfo: memFree=27349176/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=245744 CPUtime=1789.95 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 325835 0 0 0 178445 550 0 0 25 0 1 0 25689358 251641856 58317 4089446400 4194304 10345943 140737180183136 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24599/statm: 61436 58317 800 1502 0 59929 0 Current children cumulated CPU time (s) 1789.95 Current children cumulated vsize (KiB) 245744 [startup+1790.1 s] /proc/loadavg: 2.04 2.01 1.91 3/179 24667 /proc/meminfo: memFree=27349176/32951124 swapFree=67111528/67111528 [pid=24599] ppid=24597 vsize=245744 CPUtime=1790.15 /proc/24599/stat : 24599 (pbscip.linux.x8) R 24597 24599 24314 0 -1 4202496 325836 0 0 0 178465 550 0 0 25 0 1 0 25689358 251641856 58318 4089446400 4194304 10345943 140737180183136 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24599/statm: 61436 58318 801 1502 0 59929 0 Current children cumulated CPU time (s) 1790.15 Current children cumulated vsize (KiB) 245744 Child status: 0 Real time (s): 1790.18 CPU time (s): 1790.24 CPU user time (s): 1784.72 CPU system time (s): 5.51716 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 245956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.72 system time used= 5.51716 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 325839 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= 3125 runsolver used 3.38549 second user time and 6.35503 second system time The end
Begin job on node111 at 2010-07-08 09:39:12 IDJOB=2705016 IDBENCH=78995 IDSOLVER=1214 FILE ID=node111/2705016-1278574752 PBS_JOBID= 11240231 Free space on /tmp= 73620 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705016-1278574752/watcher-2705016-1278574752 -o /tmp/evaluation-result-2705016-1278574752/solver-2705016-1278574752 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705016-1278574752.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 05d9157cdbd186fca72e4e6dc0ec425d RANDOM SEED=138048810 node111.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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.98 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.825 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.67 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.825 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.86 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.825 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 : 5233.30 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.825 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.82 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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: 29010808 kB Buffers: 158072 kB Cached: 3570768 kB SwapCached: 0 kB Active: 2066372 kB Inactive: 1725112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29010808 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12900 kB Writeback: 0 kB AnonPages: 62968 kB Mapped: 14416 kB Slab: 85756 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 185016 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= 73596 MiB End job on node111 at 2010-07-08 10:09:02