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.16 | 1790.11 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo |
MD5SUM | 105b60f6fd410ca15d025f7b690efafc |
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 | 13 |
Best CPU time to get the best result obtained on this benchmark | 308.96 |
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 | 927 |
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 | 45360 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45359 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 721 |
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-2705555-1278572956.wbo> 0.01/0.02 c original problem has 2085 variables (1158 bin, 0 int, 927 impl, 0 cont) and 3635 constraints 0.01/0.02 c problem read 0.01/0.02 c presolving settings loaded 0.01/0.03 c presolving: 0.01/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs 0.01/0.07 c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs 0.01/0.07 c (round 3) 54 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs 0.01/0.08 c (round 4) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 214 impls, 14 clqs 0.01/0.09 c (round 5) 112 del vars, 219 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 214 impls, 14 clqs 0.09/0.13 c (0.1s) probing: 101/1102 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.13 c presolving (6 rounds): 0.09/0.13 c 112 deleted vars, 219 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients 0.09/0.13 c 1948 implications, 14 cliques 0.09/0.13 c presolved problem has 1973 variables (1102 bin, 0 int, 871 impl, 0 cont) and 3416 constraints 0.09/0.13 c 1 constraints of type <knapsack> 0.09/0.13 c 72 constraints of type <setppc> 0.09/0.13 c 871 constraints of type <linear> 0.09/0.13 c 871 constraints of type <indicator> 0.09/0.13 c 1601 constraints of type <logicor> 0.09/0.13 c transformed objective value is always integral (scale: 1) 0.09/0.13 c Presolving Time: 0.10 0.09/0.13 c - non default parameters ---------------------------------------------------------------------- 0.09/0.13 c # SCIP version 1.2.1.3 0.09/0.13 c 0.09/0.13 c # frequency for displaying node information lines 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.13 c display/freq = 10000 0.09/0.13 c 0.09/0.13 c # maximal time in seconds to run 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/time = 1789.98 0.09/0.13 c 0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/memory = 3420 0.09/0.13 c 0.09/0.13 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.13 c # [type: int, range: [1,2], default: 1] 0.09/0.13 c timing/clocktype = 2 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify inequalities 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/linear/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/indicator/addCouplingCons = TRUE 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify knapsacks 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c separating/rapidlearning/freq = 0 0.09/0.13 c 0.09/0.13 c ----------------------------------------------------------------------------------------------- 0.09/0.13 c start solving 0.09/0.13 c 0.09/0.14 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.14 c 0.1s| 1 | 0 | 30 | - |8991k| 0 | 18 |1973 |3416 |1973 |1674 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.22 c 0.2s| 1 | 0 | 53 | - |9033k| 0 | 23 |1973 |3416 |1973 |1689 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.27 c 0.2s| 1 | 0 | 71 | - |9191k| 0 | 25 |1973 |3416 |1973 |1691 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.31 c 0.3s| 1 | 0 | 140 | - |9376k| 0 | 51 |1973 |3416 |1973 |1698 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.43 c 0.4s| 1 | 0 | 271 | - | 10M| 0 | 38 |1973 |3416 |1973 |1706 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.52 c 0.5s| 1 | 0 | 354 | - | 10M| 0 | 53 |1973 |3416 |1973 |1714 | 40 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.67 c 0.6s| 1 | 0 | 567 | - | 10M| 0 | 47 |1973 |3416 |1973 |1718 | 44 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.71 c 1.7s| 1 | 2 | 567 | - | 10M| 0 | 47 |1973 |3416 |1973 |1718 | 44 | 0 | 16 | 0.000000e+00 | -- | Inf 5.10/5.18 o 42962 5.10/5.18 c y 5.2s| 38 | 37 | 2073 | 40.7 | 10M| 23 | - |1973 |3416 | 0 | 0 | 74 | 0 | 354 | 0.000000e+00 | 4.296200e+04 | Inf 7.19/7.27 o 759 7.19/7.27 c * 7.2s| 188 | 141 | 3617 | 16.3 | 11M| 29 | - |1973 |3440 |1973 |1717 | 157 | 24 | 658 | 0.000000e+00 | 7.590000e+02 | Inf 7.99/8.03 o 729 7.99/8.03 c * 8.0s| 255 | 162 | 4498 | 15.5 | 11M| 29 | - |1973 |3503 |1973 |1721 | 171 | 87 | 819 | 0.000000e+00 | 7.290000e+02 | Inf 8.09/8.12 o 484 8.09/8.12 c * 8.1s| 262 | 152 | 4621 | 15.5 | 11M| 29 | - |1973 |3504 |1973 |1715 | 179 | 88 | 844 | 0.000000e+00 | 4.840000e+02 | Inf 8.59/8.68 o 475 8.59/8.68 c * 8.7s| 403 | 216 | 5642 | 12.6 | 12M| 41 | - |1973 |3609 |1973 |1714 | 232 | 193 | 950 | 0.000000e+00 | 4.750000e+02 | Inf 9.29/9.30 o 413 9.29/9.30 c * 9.3s| 645 | 314 | 6695 | 9.5 | 13M| 42 | - |1973 |3744 |1973 |1713 | 314 | 332 |1034 | 0.000000e+00 | 4.130000e+02 | Inf 9.29/9.34 o 307 9.29/9.34 c * 9.3s| 697 | 259 | 6719 | 8.8 | 12M| 59 | - |1973 |3745 |1973 |1713 | 320 | 333 |1034 | 0.000000e+00 | 3.070000e+02 | Inf 10.39/10.44 o 260 10.39/10.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 10.39/10.45 c *10.4s| 1243 | 338 | 8821 | 6.6 | 13M| 59 | - |1973 |4035 |1973 |1716 | 395 | 776 |1155 | 0.000000e+00 | 2.600000e+02 | Inf 10.79/10.81 o 244 10.79/10.81 c *10.8s| 1473 | 383 | 9741 | 6.2 | 14M| 59 | - |1973 |4158 |1973 |1716 | 429 | 971 |1171 | 0.000000e+00 | 2.440000e+02 | Inf 13.89/13.91 o 230 13.89/13.91 c *13.9s| 2992 | 737 | 22017 | 7.2 | 16M| 59 | - |1973 |4647 |1973 |1716 | 779 |2352 |1350 | 0.000000e+00 | 2.300000e+02 | Inf 14.09/14.17 o 178 14.09/14.17 c *14.1s| 3161 | 717 | 22984 | 7.1 | 16M| 59 | - |1973 |4740 |1973 |1716 | 821 |2538 |1350 | 0.000000e+00 | 1.780000e+02 | Inf 19.99/20.01 o 148 19.99/20.01 c *20.0s| 6212 | 1171 | 46592 | 7.4 | 19M| 59 | - |1973 |4947 |1973 |1720 |1505 |5511 |1520 | 0.000000e+00 | 1.480000e+02 | Inf 23.59/23.66 o 129 23.59/23.66 c *23.6s| 8255 | 1522 | 60213 | 7.2 | 21M| 59 | - |1973 |4967 |1973 |1710 |1895 |7476 |1531 | 0.000000e+00 | 1.290000e+02 | Inf 26.50/26.54 c 26.5s| 10000 | 1770 | 70069 | 7.0 | 24M| 59 | - |1973 |5568 | 0 | 0 |2281 |9142 |1566 | 0.000000e+00 | 1.290000e+02 | Inf 38.79/38.87 o 116 38.79/38.87 c *38.8s| 17431 | 2523 |110273 | 6.3 | 31M| 59 | - |1973 |5768 |1973 |1717 |3499 | 16k|1689 | 0.000000e+00 | 1.160000e+02 | Inf 43.19/43.27 c 43.2s| 20000 | 2724 |125868 | 6.3 | 34M| 59 | 0 |1973 |5468 |1973 |1713 |4006 | 19k|1693 | 0.000000e+00 | 1.160000e+02 | Inf 43.70/43.76 o 115 43.70/43.76 c *43.7s| 20308 | 2756 |127588 | 6.3 | 34M| 59 | - |1973 |5435 |1973 |1712 |4055 | 19k|1693 | 0.000000e+00 | 1.150000e+02 | Inf 48.19/48.29 o 108 48.19/48.29 c *48.3s| 23008 | 3064 |142267 | 6.2 | 37M| 59 | - |1973 |6140 |1973 |1713 |4589 | 22k|1693 | 0.000000e+00 | 1.080000e+02 | Inf 48.19/48.30 o 107 48.19/48.30 c *48.3s| 23009 | 3062 |142270 | 6.2 | 37M| 59 | - |1973 |6140 |1973 |1713 |4589 | 22k|1693 | 0.000000e+00 | 1.070000e+02 | Inf 48.59/48.69 o 97 48.59/48.69 c *48.7s| 23237 | 2987 |143345 | 6.1 | 37M| 59 | - |1973 |6167 |1973 |1710 |4632 | 22k|1693 | 0.000000e+00 | 9.700000e+01 | Inf 48.69/48.70 o 73 48.69/48.70 c *48.7s| 23238 | 2773 |143347 | 6.1 | 34M| 59 | - |1973 |6167 |1973 |1710 |4632 | 22k|1693 | 0.000000e+00 | 7.300000e+01 | Inf 51.30/51.35 o 57 51.30/51.35 c *51.3s| 24799 | 2406 |153299 | 6.2 | 31M| 59 | - |1973 |5341 |1973 |1707 |4854 | 24k|1693 | 0.000000e+00 | 5.700000e+01 | Inf 52.19/52.27 o 38 52.19/52.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 52.19/52.27 c *52.2s| 25265 | 2097 |157817 | 6.2 | 28M| 59 | - |1973 |4618 |1973 |1713 |4927 | 25k|1693 | 0.000000e+00 | 3.800000e+01 | Inf 60.50/60.56 c 60.5s| 30000 | 2406 |206791 | 6.9 | 31M| 59 | - |1973 |7393 | 0 | 0 |5541 | 31k|1693 | 0.000000e+00 | 3.800000e+01 | Inf 62.29/62.37 o 36 62.29/62.37 c *62.3s| 31049 | 2295 |216334 | 6.9 | 30M| 60 | - |1973 |7002 |1973 |1707 |5644 | 32k|1693 | 0.000000e+00 | 3.600000e+01 | Inf 77.69/77.76 c 77.7s| 40000 | 2528 |300485 | 7.5 | 33M| 64 | - |1973 |7647 |1973 |1707 |6721 | 44k|1693 | 0.000000e+00 | 3.600000e+01 | Inf 95.79/95.84 c 95.8s| 50000 | 2688 |399794 | 8.0 | 37M| 64 | - |1973 |9484 |1973 |1707 |7803 | 57k|1762 | 0.000000e+00 | 3.600000e+01 | Inf 108.29/108.35 o 24 108.29/108.35 c * 108s| 57140 | 2254 |456544 | 8.0 | 35M| 64 | - |1973 |8981 |1973 |1711 |8596 | 66k|1926 | 0.000000e+00 | 2.400000e+01 | Inf 113.90/113.91 c 114s| 60000 | 2377 |487900 | 8.1 | 36M| 64 | 27 |1973 |9599 |1973 |1707 |8855 | 70k|1989 | 0.000000e+00 | 2.400000e+01 | Inf 132.39/132.49 c 132s| 70000 | 2523 |588430 | 8.4 | 39M| 64 | 21 |1973 | 11k|1973 |1707 |9957 | 83k|2147 | 0.000000e+00 | 2.400000e+01 | Inf 151.10/151.11 c 151s| 80000 | 2679 |686314 | 8.6 | 43M| 66 | - |1973 | 14k| 0 | 0 | 10k| 96k|2373 | 0.000000e+00 | 2.400000e+01 | Inf 170.40/170.46 c 170s| 90000 | 2733 |788662 | 8.8 | 44M| 66 | 31 |1973 | 14k|1973 |1715 | 11k| 109k|2567 | 0.000000e+00 | 2.400000e+01 | Inf 189.70/189.78 c 190s|100000 | 2757 |889198 | 8.9 | 46M| 66 | 19 |1973 | 16k|1973 |1707 | 12k| 123k|2750 | 0.000000e+00 | 2.400000e+01 | Inf 209.20/209.29 c 209s|110000 | 2887 |986614 | 9.0 | 48M| 71 | - |1973 | 14k| 0 | 0 | 13k| 135k|2898 | 0.000000e+00 | 2.400000e+01 | Inf 228.81/228.88 c 229s|120000 | 2859 | 1091k| 9.1 | 48M| 71 | - |1973 | 14k| 0 | 0 | 14k| 149k|3047 | 0.000000e+00 | 2.400000e+01 | Inf 249.30/249.35 c 249s|130000 | 2929 | 1202k| 9.2 | 50M| 71 | 25 |1973 | 15k|1973 |1707 | 16k| 162k|3197 | 0.000000e+00 | 2.400000e+01 | Inf 269.60/269.67 c 270s|140000 | 2654 | 1308k| 9.3 | 46M| 71 | 10 |1973 | 10k|1973 |1725 | 17k| 176k|3410 | 0.000000e+00 | 2.400000e+01 | Inf 288.80/288.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 288.80/288.81 c 289s|150000 | 2461 | 1411k| 9.4 | 46M| 71 | - |1973 | 11k|1973 |1712 | 18k| 189k|3639 | 0.000000e+00 | 2.400000e+01 | Inf 308.30/308.31 c 308s|160000 | 2277 | 1511k| 9.4 | 45M| 71 | - |1973 | 11k| 0 | 0 | 19k| 202k|3917 | 0.000000e+00 | 2.400000e+01 | Inf 329.20/329.22 c 329s|170000 | 2087 | 1633k| 9.6 | 44M| 71 | - |1973 | 12k| 0 | 0 | 20k| 215k|4039 | 0.000000e+00 | 2.400000e+01 | Inf 348.00/348.05 c 348s|180000 | 1914 | 1724k| 9.6 | 43M| 71 | - |1973 | 15k| 0 | 0 | 21k| 228k|4187 | 0.000000e+00 | 2.400000e+01 | Inf 368.91/368.91 c 369s|190000 | 1930 | 1823k| 9.6 | 43M| 71 | 1 |1973 | 14k|1973 |1707 | 22k| 241k|4446 | 0.000000e+00 | 2.400000e+01 | Inf 388.60/388.60 c 389s|200000 | 1825 | 1922k| 9.6 | 44M| 71 | - |1973 | 16k| 0 | 0 | 23k| 254k|4533 | 0.000000e+00 | 2.400000e+01 | Inf 407.80/407.89 c 408s|210000 | 1850 | 2008k| 9.6 | 46M| 71 | 29 |1973 | 21k|1973 |1715 | 24k| 267k|4609 | 0.000000e+00 | 2.400000e+01 | Inf 429.01/429.00 c 429s|220000 | 1924 | 2100k| 9.5 | 48M| 71 | - |1973 | 20k| 0 | 0 | 25k| 280k|4760 | 0.000000e+00 | 2.400000e+01 | Inf 451.40/451.46 c 451s|230000 | 1927 | 2197k| 9.6 | 49M| 71 | 17 |1973 | 22k|1973 |1712 | 26k| 293k|4865 | 0.000000e+00 | 2.400000e+01 | Inf 472.51/472.50 c 472s|240000 | 1661 | 2286k| 9.5 | 46M| 71 | - |1973 | 17k| 0 | 0 | 27k| 306k|4991 | 0.000000e+00 | 2.400000e+01 | Inf 491.91/491.94 c 492s|250000 | 1563 | 2380k| 9.5 | 45M| 71 | 1 |1973 | 18k|1973 |1707 | 28k| 319k|5102 | 0.000000e+00 | 2.400000e+01 | Inf 507.50/507.54 o 21 507.50/507.54 c * 508s|257309 | 1365 | 2458k| 9.6 | 41M| 71 | - |1973 | 16k|1973 |1714 | 29k| 328k|5219 | 0.000000e+00 | 2.100000e+01 | Inf 513.62/513.62 c 514s|260000 | 1393 | 2492k| 9.6 | 42M| 71 | - |1973 | 17k|1973 |1714 | 29k| 332k|5255 | 0.000000e+00 | 2.100000e+01 | Inf 534.91/534.93 c 535s|270000 | 1228 | 2608k| 9.7 | 39M| 71 | - |1973 | 12k| 0 | 0 | 30k| 345k|5415 | 0.000000e+00 | 2.100000e+01 | Inf 553.51/553.57 c 554s|280000 | 1263 | 2705k| 9.7 | 41M| 71 | - |1973 | 15k| 0 | 0 | 31k| 358k|5510 | 0.000000e+00 | 2.100000e+01 | Inf 575.31/575.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 575.31/575.37 c 575s|290000 | 1340 | 2824k| 9.7 | 41M| 71 | 28 |1973 | 13k|1973 |1707 | 32k| 370k|5638 | 0.000000e+00 | 2.100000e+01 | Inf 595.61/595.67 c 596s|300000 | 1444 | 2928k| 9.8 | 43M| 71 | - |1973 | 15k| 0 | 0 | 33k| 383k|5740 | 0.000000e+00 | 2.100000e+01 | Inf 617.71/617.70 c 618s|310000 | 1526 | 3043k| 9.8 | 45M| 71 | - |1973 | 15k| 0 | 0 | 33k| 395k|5861 | 0.000000e+00 | 2.100000e+01 | Inf 639.61/639.61 c 640s|320000 | 1558 | 3156k| 9.9 | 46M| 71 | - |1973 | 17k| 0 | 0 | 34k| 408k|5963 | 0.000000e+00 | 2.100000e+01 | Inf 661.12/661.14 c 661s|330000 | 1626 | 3260k| 9.9 | 47M| 74 | - |1973 | 18k| 0 | 0 | 34k| 421k|6061 | 0.000000e+00 | 2.100000e+01 | Inf 671.52/671.59 o 17 671.52/671.59 c * 672s|334623 | 1183 | 3312k| 9.9 | 39M| 74 | - |1973 | 17k|1973 |1719 | 35k| 427k|6151 | 0.000000e+00 | 1.700000e+01 | Inf 682.31/682.37 c 682s|340000 | 1284 | 3366k| 9.9 | 40M| 76 | - |1973 | 18k| 0 | 0 | 35k| 435k|6153 | 0.000000e+00 | 1.700000e+01 | Inf 704.11/704.16 c 704s|350000 | 1417 | 3478k| 9.9 | 42M| 76 | 20 |1973 | 19k|1973 |1707 | 35k| 449k|6261 | 0.000000e+00 | 1.700000e+01 | Inf 727.12/727.17 c 727s|360000 | 1512 | 3604k| 10.0 | 44M| 78 | - |1973 | 18k| 0 | 0 | 35k| 462k|6363 | 0.000000e+00 | 1.700000e+01 | Inf 751.32/751.38 c 751s|370000 | 1596 | 3735k| 10.1 | 46M| 78 | - |1973 | 21k| 0 | 0 | 36k| 476k|6475 | 0.000000e+00 | 1.700000e+01 | Inf 775.32/775.31 c 775s|380000 | 1244 | 3859k| 10.2 | 41M| 86 | - |1973 | 15k| 0 | 0 | 36k| 490k|6575 | 0.000000e+00 | 1.700000e+01 | Inf 794.42/794.47 c 794s|390000 | 1271 | 3960k| 10.2 | 41M| 86 | 27 |1973 | 16k|1973 |1707 | 37k| 504k|6704 | 0.000000e+00 | 1.700000e+01 | Inf 815.42/815.47 c 815s|400000 | 1369 | 4077k| 10.2 | 43M| 86 | - |1973 | 19k| 0 | 0 | 38k| 516k|6801 | 0.000000e+00 | 1.700000e+01 | Inf 837.02/837.04 c 837s|410000 | 1462 | 4194k| 10.2 | 44M| 86 | - |1973 | 19k| 0 | 0 | 38k| 529k|6896 | 0.000000e+00 | 1.700000e+01 | Inf 857.82/857.84 c 858s|420000 | 1507 | 4305k| 10.2 | 46M| 86 | - |1973 | 21k|1973 |1707 | 39k| 541k|7010 | 0.000000e+00 | 1.700000e+01 | Inf 879.52/879.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 879.52/879.58 c 880s|430000 | 1610 | 4426k| 10.3 | 48M| 86 | 21 |1973 | 23k|1973 |1707 | 40k| 555k|7117 | 0.000000e+00 | 1.700000e+01 | Inf 901.02/901.05 c 901s|440000 | 1653 | 4543k| 10.3 | 48M| 86 | - |1973 | 23k|1973 |1707 | 41k| 568k|7198 | 0.000000e+00 | 1.700000e+01 | Inf 924.12/924.17 c 924s|450000 | 1704 | 4674k| 10.4 | 49M| 86 | - |1973 | 24k|1973 |1707 | 42k| 581k|7301 | 0.000000e+00 | 1.700000e+01 | Inf 947.52/947.59 c 948s|460000 | 1789 | 4807k| 10.4 | 50M| 86 | 15 |1973 | 24k|1973 |1707 | 43k| 593k|7399 | 0.000000e+00 | 1.700000e+01 | Inf 971.52/971.52 c 972s|470000 | 1918 | 4933k| 10.5 | 52M| 86 | 22 |1973 | 26k|1973 |1707 | 43k| 606k|7479 | 0.000000e+00 | 1.700000e+01 | Inf 994.42/994.41 c 994s|480000 | 1939 | 5054k| 10.5 | 53M| 86 | - |1973 | 26k| 0 | 0 | 44k| 619k|7581 | 0.000000e+00 | 1.700000e+01 | Inf 1016.92/1016.91 c 1017s|490000 | 1986 | 5167k| 10.5 | 54M| 86 | - |1973 | 27k| 0 | 0 | 45k| 633k|7694 | 0.000000e+00 | 1.700000e+01 | Inf 1038.82/1038.81 c 1039s|500000 | 2037 | 5270k| 10.5 | 56M| 86 | 14 |1973 | 31k|1973 |1707 | 46k| 646k|7784 | 0.000000e+00 | 1.700000e+01 | Inf 1062.02/1062.00 c 1062s|510000 | 2070 | 5379k| 10.5 | 58M| 86 | - |1973 | 33k| 0 | 0 | 48k| 659k|7860 | 0.000000e+00 | 1.700000e+01 | Inf 1086.63/1086.60 c 1087s|520000 | 2023 | 5497k| 10.6 | 57M| 86 | 1 |1973 | 29k|1973 |1707 | 49k| 673k|7935 | 0.000000e+00 | 1.700000e+01 | Inf 1111.42/1111.47 c 1111s|530000 | 2071 | 5618k| 10.6 | 59M| 86 | 23 |1973 | 32k|1973 |1707 | 50k| 686k|8023 | 0.000000e+00 | 1.700000e+01 | Inf 1136.33/1136.31 c 1136s|540000 | 2100 | 5729k| 10.6 | 59M| 86 | - |1973 | 33k| 0 | 0 | 50k| 700k|8139 | 0.000000e+00 | 1.700000e+01 | Inf 1164.53/1164.56 c 1165s|550000 | 2462 | 5868k| 10.7 | 61M| 86 | 33 |1973 | 34k|1973 |1707 | 51k| 713k|8230 | 0.000000e+00 | 1.700000e+01 | Inf 1190.93/1190.90 c 1191s|560000 | 2543 | 5993k| 10.7 | 62M| 86 | - |1973 | 33k| 0 | 0 | 52k| 727k|8320 | 0.000000e+00 | 1.700000e+01 | Inf 1217.13/1217.19 c 1217s|570000 | 2585 | 6115k| 10.7 | 63M| 86 | 15 |1973 | 34k|1973 |1707 | 52k| 740k|8386 | 0.000000e+00 | 1.700000e+01 | Inf 1243.53/1243.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1243.53/1243.59 c 1244s|580000 | 2659 | 6238k| 10.8 | 65M| 86 | 22 |1973 | 35k|1973 |1707 | 53k| 754k|8462 | 0.000000e+00 | 1.700000e+01 | Inf 1269.93/1269.92 c 1270s|590000 | 2603 | 6356k| 10.8 | 65M| 86 | 15 |1973 | 36k|1973 |1707 | 54k| 767k|8562 | 0.000000e+00 | 1.700000e+01 | Inf 1295.43/1295.43 c 1295s|600000 | 2639 | 6465k| 10.8 | 66M| 86 | - |1973 | 35k| 0 | 0 | 54k| 781k|8662 | 0.000000e+00 | 1.700000e+01 | Inf 1322.14/1322.12 c 1322s|610000 | 2473 | 6588k| 10.8 | 65M| 86 | 22 |1973 | 34k|1973 |1707 | 55k| 795k|8715 | 0.000000e+00 | 1.700000e+01 | Inf 1348.54/1348.58 c 1349s|620000 | 2205 | 6719k| 10.8 | 62M| 86 | - |1973 | 31k|1973 |1707 | 56k| 808k|8783 | 0.000000e+00 | 1.700000e+01 | Inf 1373.44/1373.48 c 1373s|630000 | 1853 | 6839k| 10.9 | 57M| 86 | - |1973 | 27k| 0 | 0 | 57k| 822k|8895 | 0.000000e+00 | 1.700000e+01 | Inf 1398.24/1398.25 c 1398s|640000 | 1830 | 6945k| 10.9 | 57M| 86 | - |1973 | 27k| 0 | 0 | 57k| 835k|9111 | 0.000000e+00 | 1.700000e+01 | Inf 1421.14/1421.15 c 1421s|650000 | 1859 | 7039k| 10.8 | 58M| 86 | 20 |1973 | 28k|1973 |1707 | 58k| 848k|9120 | 0.000000e+00 | 1.700000e+01 | Inf 1443.63/1443.60 c 1444s|660000 | 1930 | 7127k| 10.8 | 58M| 86 | 22 |1973 | 27k|1973 |1707 | 58k| 861k|9183 | 0.000000e+00 | 1.700000e+01 | Inf 1465.53/1465.54 c 1466s|670000 | 1997 | 7223k| 10.8 | 59M| 86 | - |1973 | 26k| 0 | 0 | 59k| 874k|9215 | 0.000000e+00 | 1.700000e+01 | Inf 1487.24/1487.23 c 1487s|680000 | 2042 | 7327k| 10.8 | 58M| 86 | - |1973 | 20k| 0 | 0 | 60k| 887k|9312 | 0.000000e+00 | 1.700000e+01 | Inf 1508.84/1508.81 c 1509s|690000 | 2099 | 7447k| 10.8 | 58M| 86 | 25 |1973 | 18k|1973 |1707 | 60k| 901k|9364 | 0.000000e+00 | 1.700000e+01 | Inf 1528.84/1528.89 c 1529s|700000 | 2157 | 7551k| 10.8 | 59M| 86 | - |1973 | 21k| 0 | 0 | 61k| 914k|9388 | 0.000000e+00 | 1.700000e+01 | Inf 1550.14/1550.19 c 1550s|710000 | 2129 | 7660k| 10.8 | 57M| 86 | 26 |1973 | 15k|1973 |1712 | 62k| 928k|9527 | 0.000000e+00 | 1.700000e+01 | Inf 1569.54/1569.53 c 1570s|720000 | 2115 | 7760k| 10.8 | 58M| 86 | - |1973 | 16k| 0 | 0 | 63k| 941k|9544 | 0.000000e+00 | 1.700000e+01 | Inf 1589.64/1589.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1589.64/1589.68 c 1590s|730000 | 2128 | 7862k| 10.8 | 60M| 86 | 22 |1973 | 20k|1973 |1707 | 64k| 954k|9651 | 0.000000e+00 | 1.700000e+01 | Inf 1610.64/1610.67 c 1611s|740000 | 2160 | 7964k| 10.8 | 61M| 86 | 16 |1973 | 23k|1973 |1707 | 64k| 968k|9689 | 0.000000e+00 | 1.700000e+01 | Inf 1633.44/1633.50 c 1633s|750000 | 2253 | 8073k| 10.8 | 63M| 86 | 24 |1973 | 26k|1973 |1707 | 65k| 981k|9784 | 0.000000e+00 | 1.700000e+01 | Inf 1656.84/1656.86 c 1657s|760000 | 2244 | 8178k| 10.8 | 64M| 86 | - |1973 | 27k|1973 |1716 | 65k| 995k|9837 | 0.000000e+00 | 1.700000e+01 | Inf 1678.04/1678.02 c 1678s|770000 | 2388 | 8263k| 10.7 | 65M| 86 | 27 |1973 | 27k|1973 |1707 | 66k|1008k|9882 | 0.000000e+00 | 1.700000e+01 | Inf 1699.84/1699.87 c 1700s|780000 | 2404 | 8352k| 10.7 | 66M| 86 | 13 |1973 | 27k|1973 |1707 | 66k|1022k|9931 | 0.000000e+00 | 1.700000e+01 | Inf 1721.64/1721.61 c 1722s|790000 | 2605 | 8439k| 10.7 | 68M| 86 | 23 |1973 | 30k|1973 |1707 | 67k|1035k|9972 | 0.000000e+00 | 1.700000e+01 | Inf 1744.14/1744.13 c 1744s|800000 | 2594 | 8533k| 10.7 | 68M| 86 | - |1973 | 29k| 0 | 0 | 67k|1049k| 10k| 0.000000e+00 | 1.700000e+01 | Inf 1766.84/1766.86 c 1767s|810000 | 2556 | 8630k| 10.7 | 69M| 86 | - |1973 | 29k| 0 | 0 | 68k|1063k| 10k| 0.000000e+00 | 1.700000e+01 | Inf 1788.85/1788.87 c 1789s|820000 | 2648 | 8717k| 10.6 | 70M| 86 | 28 |1973 | 31k|1973 |1707 | 69k|1077k| 10k| 0.000000e+00 | 1.700000e+01 | 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.98 1790.05/1790.00 c Solving Nodes : 820491 1790.05/1790.00 c Primal Bound : +1.70000000000000e+01 (117 solutions) 1790.05/1790.00 c Dual Bound : +0.00000000000000e+00 1790.05/1790.00 c Gap : infinite 1790.05/1790.01 s SATISFIABLE 1790.05/1790.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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 1790.05/1790.01 v -x1 1790.05/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1790.05/1790.01 c Solving Time : 1789.98 1790.05/1790.01 c Original Problem : 1790.05/1790.01 c Problem name : HOME/instance-2705555-1278572956.wbo 1790.05/1790.01 c Variables : 2085 (1158 binary, 0 integer, 927 implicit integer, 0 continuous) 1790.05/1790.01 c Constraints : 3635 initial, 3635 maximal 1790.05/1790.01 c Presolved Problem : 1790.05/1790.01 c Problem name : t_HOME/instance-2705555-1278572956.wbo 1790.05/1790.01 c Variables : 1973 (1102 binary, 0 integer, 871 implicit integer, 0 continuous) 1790.05/1790.01 c Constraints : 3416 initial, 37895 maximal 1790.05/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.05/1790.01 c trivial : 0.00 56 0 0 0 0 0 0 0 1790.05/1790.01 c dualfix : 0.00 56 0 0 0 0 0 0 0 1790.05/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0 1790.05/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.01 c setppc : 0.00 0 0 0 0 0 49 0 0 1790.05/1790.01 c linear : 0.05 0 0 0 929 0 114 56 0 1790.05/1790.01 c indicator : 0.00 0 0 0 0 0 56 0 0 1790.05/1790.01 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.05/1790.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.01 c root node : - 1464 - - 1464 - - - - 1790.05/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.05/1790.01 c integral : 0 0 0 454924 0 249 2143 0 0 878082 1790.05/1790.01 c knapsack : 1 6 4120983 13889 1 39881 11613707 0 0 0 1790.05/1790.01 c setppc : 72 6 4093522 13928 1 71748 2384262 0 0 0 1790.05/1790.01 c linear : 871 6 4022896 14015 1 72550 3629698 69026 0 0 1790.05/1790.01 c indicator : 871 0 3942753 14008 1 1740 3403620 0 0 0 1790.05/1790.01 c logicor : 1601+ 6 1833503 2499 1 143398 6415757 0 0 0 1790.05/1790.01 c bounddisjunction : 0+ 0 444721 0 0 51 1523 0 0 0 1790.05/1790.01 c countsols : 0 0 0 2499 1 0 0 0 0 0 1790.05/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.05/1790.01 c integral : 36.67 0.00 0.00 36.67 0.00 1790.05/1790.01 c knapsack : 38.58 0.00 38.57 0.01 0.00 1790.05/1790.01 c setppc : 15.09 0.00 15.08 0.01 0.00 1790.05/1790.01 c linear : 46.46 0.00 46.07 0.39 0.00 1790.05/1790.01 c indicator : 26.04 0.01 25.59 0.44 0.00 1790.05/1790.01 c logicor : 242.80 0.00 242.78 0.02 0.00 1790.05/1790.01 c bounddisjunction : 1.16 0.00 1.16 0.00 0.00 1790.05/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.05/1790.01 c Propagators : Time Calls Cutoffs DomReds 1790.05/1790.01 c vbounds : 0.67 32495 0 631 1790.05/1790.01 c rootredcost : 0.60 25 0 732 1790.05/1790.01 c pseudoobj : 64.28 4146729 12274 3822675 1790.05/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.05/1790.01 c propagation : 13.01 339902 339395 2020400 26.2 10170 23.8 - 1790.05/1790.01 c infeasible LP : 15.66 89047 89042 696725 42.1 860 17.0 0 1790.05/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.05/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.05/1790.01 c pseudo solution : 0.00 1 1 9 17.7 0 0.0 - 1790.05/1790.01 c applied globally : - - - 1077901 24.7 - - - 1790.05/1790.01 c applied locally : - - - 0 0.0 - - - 1790.05/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.05/1790.01 c cut pool : 0.00 5 - - 28 - (maximal pool size: 475) 1790.05/1790.01 c redcost : 18.01 457058 0 40415 0 0 1790.05/1790.01 c impliedbounds : 0.00 6 0 0 0 0 1790.05/1790.01 c intobj : 0.00 0 0 0 0 0 1790.05/1790.01 c cgmip : 0.00 0 0 0 0 0 1790.05/1790.02 c gomory : 0.16 6 0 0 1507 0 1790.05/1790.02 c strongcg : 0.15 6 0 0 2326 0 1790.05/1790.02 c cmir : 0.03 6 0 0 0 0 1790.05/1790.02 c flowcover : 0.05 6 0 0 0 0 1790.05/1790.02 c clique : 0.00 6 0 0 0 0 1790.05/1790.02 c zerohalf : 0.00 0 0 0 0 0 1790.05/1790.02 c mcf : 0.00 1 0 0 0 0 1790.05/1790.02 c rapidlearning : 0.05 1 0 0 0 0 1790.05/1790.02 c Pricers : Time Calls Vars 1790.05/1790.02 c problem variables: 0.00 0 0 1790.05/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.05/1790.02 c relpscost : 36.33 440888 249 2143 0 0 878082 1790.05/1790.02 c pscost : 0.00 0 0 0 0 0 0 1790.05/1790.02 c inference : 0.37 2476 0 0 0 0 4954 1790.05/1790.02 c mostinf : 0.00 0 0 0 0 0 0 1790.05/1790.02 c leastinf : 0.00 0 0 0 0 0 0 1790.05/1790.02 c fullstrong : 0.00 0 0 0 0 0 0 1790.05/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0 1790.05/1790.02 c random : 0.00 0 0 0 0 0 0 1790.05/1790.02 c Primal Heuristics : Time Calls Found 1790.05/1790.02 c LP solutions : 0.02 - 24 1790.05/1790.02 c pseudo solutions : 0.00 - 0 1790.05/1790.02 c intshifting : 0.01 0 0 1790.05/1790.02 c feaspump : 0.02 1 0 1790.05/1790.02 c oneopt : 0.29 23 0 1790.05/1790.02 c crossover : 0.78 25 0 1790.05/1790.02 c linesearchdiving : 0.43 136 0 1790.05/1790.02 c guideddiving : 0.55 136 0 1790.05/1790.02 c pscostdiving : 0.44 137 0 1790.05/1790.02 c coefdiving : 0.65 137 0 1790.05/1790.02 c fracdiving : 0.54 137 0 1790.05/1790.02 c veclendiving : 0.43 137 0 1790.05/1790.02 c objpscostdiving : 0.31 69 0 1790.05/1790.02 c rootsoldiving : 0.48 69 0 1790.05/1790.02 c trivial : 0.00 2 0 1790.05/1790.02 c simplerounding : 0.55 441104 0 1790.05/1790.02 c zirounding : 0.24 1000 0 1790.05/1790.02 c rounding : 0.84 9395 0 1790.05/1790.02 c shifting : 0.83 2948 0 1790.05/1790.02 c twoopt : 0.00 0 0 1790.05/1790.02 c fixandinfer : 0.00 0 0 1790.05/1790.02 c intdiving : 0.00 0 0 1790.05/1790.02 c actconsdiving : 0.00 0 0 1790.05/1790.02 c octane : 0.00 0 0 1790.05/1790.02 c rens : 0.05 1 0 1790.05/1790.02 c rins : 0.00 0 0 1790.05/1790.02 c localbranching : 0.00 0 0 1790.05/1790.02 c mutation : 0.00 0 0 1790.05/1790.02 c dins : 0.00 0 0 1790.05/1790.02 c undercover : 0.00 0 0 1790.05/1790.02 c nlp : 0.13 0 0 1790.05/1790.02 c trysol : 0.24 181 93 1790.05/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec 1790.05/1790.02 c primal LP : 0.00 0 0 0.00 - 1790.05/1790.02 c dual LP : 885.93 540701 8707094 16.10 9828.23 1790.05/1790.02 c lex dual LP : 0.00 0 0 0.00 - 1790.05/1790.02 c barrier LP : 0.00 0 0 0.00 - 1790.05/1790.02 c diving/probing LP: 2.38 2013 13673 6.79 5746.98 1790.05/1790.02 c strong branching : 32.14 10126 345242 34.09 10742.06 1790.05/1790.02 c (at root node) : - 16 7870 491.88 - 1790.05/1790.02 c conflict analysis: 0.00 0 0 0.00 - 1790.05/1790.02 c B&B Tree : 1790.05/1790.02 c number of runs : 1 1790.05/1790.02 c nodes : 820491 1790.05/1790.02 c nodes (total) : 820491 1790.05/1790.02 c nodes left : 2658 1790.05/1790.02 c max depth : 86 1790.05/1790.02 c max depth (total): 86 1790.05/1790.02 c backtracks : 91772 (11.2%) 1790.05/1790.02 c delayed cutoffs : 57097 1790.05/1790.02 c repropagations : 1792453 (5470003 domain reductions, 50570 cutoffs) 1790.05/1790.02 c avg switch length: 5.92 1790.05/1790.02 c switching time : 215.24 1790.05/1790.02 c Solution : 1790.05/1790.02 c Solutions found : 117 (25 improvements) 1790.05/1790.02 c First Solution : +4.29620000000000e+04 (in run 1, after 37 nodes, 5.15 seconds, depth 24, found by <trysol>) 1790.05/1790.02 c Primal Bound : +1.70000000000000e+01 (in run 1, after 334623 nodes, 671.56 seconds, depth 35, found by <relaxation>) 1790.05/1790.02 c Dual Bound : +0.00000000000000e+00 1790.05/1790.02 c Gap : infinite 1790.05/1790.02 c Root Dual Bound : +0.00000000000000e+00 1790.05/1790.02 c Root Iterations : 567 1790.15/1790.10 c Time complete: 1790.16.
OK 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705555-1278572956/watcher-2705555-1278572956 -o /tmp/evaluation-result-2705555-1278572956/solver-2705555-1278572956 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705555-1278572956.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: 0.29 0.08 0.02 2/173 24515 /proc/meminfo: memFree=29226424/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=12336 CPUtime=0 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 1925 0 0 0 0 0 0 0 21 0 1 0 25509672 12632064 1844 4089446400 4194304 10345943 140733781397808 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24515/statm: 3084 1847 429 1502 0 1577 0 [startup+0.0115701 s] /proc/loadavg: 0.29 0.08 0.02 2/173 24515 /proc/meminfo: memFree=29226424/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=13924 CPUtime=0.01 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 2316 0 0 0 1 0 0 0 21 0 1 0 25509672 14258176 2235 4089446400 4194304 10345943 140733781397808 18446744073709551615 9191984 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24515/statm: 3481 2235 429 1502 0 1974 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13924 [startup+0.100552 s] /proc/loadavg: 0.29 0.08 0.02 2/173 24515 /proc/meminfo: memFree=29226424/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=27492 CPUtime=0.09 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 5925 0 0 0 9 0 0 0 21 0 1 0 25509672 28151808 5490 4089446400 4194304 10345943 140733781397808 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 6873 5491 561 1502 0 5366 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27492 [startup+0.300475 s] /proc/loadavg: 0.29 0.08 0.02 2/173 24515 /proc/meminfo: memFree=29226424/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=37524 CPUtime=0.29 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 12463 0 0 0 28 1 0 0 21 0 1 0 25509672 38424576 7820 4089446400 4194304 10345943 140733781397808 18446744073709551615 5849694 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 9381 7820 761 1502 0 7874 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37524 [startup+0.700438 s] /proc/loadavg: 0.29 0.08 0.02 2/173 24515 /proc/meminfo: memFree=29226424/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=57808 CPUtime=0.69 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 17356 0 0 0 67 2 0 0 22 0 1 0 25509672 59195392 12693 4089446400 4194304 10345943 140733781397808 18446744073709551615 4288149 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 14452 12693 767 1502 0 12945 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 57808 [startup+1.50032 s] /proc/loadavg: 0.29 0.08 0.02 3/179 24526 /proc/meminfo: memFree=29143804/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=45848 CPUtime=1.49 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 18206 0 0 0 147 2 0 0 25 0 1 0 25509672 46948352 9472 4089446400 4194304 10345943 140733781397808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 11462 9472 782 1502 0 9955 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45848 [startup+3.10102 s] /proc/loadavg: 0.43 0.11 0.03 3/179 24526 /proc/meminfo: memFree=29141216/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=46144 CPUtime=3.09 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 21466 0 0 0 305 4 0 0 25 0 1 0 25509672 47251456 9416 4089446400 4194304 10345943 140733781397808 18446744073709551615 7568783 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 11536 9416 782 1502 0 10029 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46144 [startup+6.30045 s] /proc/loadavg: 0.43 0.11 0.03 3/179 24526 /proc/meminfo: memFree=29141240/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=43840 CPUtime=6.29 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 25105 0 0 0 621 8 0 0 25 0 1 0 25509672 44892160 9513 4089446400 4194304 10345943 140733781397808 18446744073709551615 5586865 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 10960 9513 786 1502 0 9453 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43840 [startup+12.7003 s] /proc/loadavg: 0.67 0.17 0.05 3/179 24526 /proc/meminfo: memFree=29136616/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=53784 CPUtime=12.69 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 49840 0 0 0 1254 15 0 0 25 0 1 0 25509672 55074816 11325 4089446400 4194304 10345943 140733781397808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 13446 11325 793 1502 0 11939 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53784 [startup+25.5009 s] /proc/loadavg: 0.87 0.23 0.07 3/179 24527 /proc/meminfo: memFree=29113796/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=71076 CPUtime=25.49 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 81041 0 0 0 2525 24 0 0 25 0 1 0 25509672 72781824 15779 4089446400 4194304 10345943 140733781397808 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 17769 15779 805 1502 0 16262 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71076 [startup+51.1002 s] /proc/loadavg: 1.33 0.39 0.13 3/179 24528 /proc/meminfo: memFree=29075008/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=104728 CPUtime=51.1 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 113184 0 0 0 5074 36 0 0 25 0 1 0 25509672 107241472 24701 4089446400 4194304 10345943 140733781397808 18446744073709551615 4967954 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 26182 24701 805 1502 0 24675 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 104728 [startup+102.307 s] /proc/loadavg: 1.73 0.66 0.23 3/179 24529 /proc/meminfo: memFree=29059012/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=118204 CPUtime=102.3 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 131211 0 0 0 10168 62 0 0 25 0 1 0 25509672 121040896 27601 4089446400 4194304 10345943 140733781397808 18446744073709551615 6804110 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 29551 27601 805 1502 0 28044 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 118204 [startup+162.301 s] /proc/loadavg: 1.90 0.90 0.34 3/179 24530 /proc/meminfo: memFree=29043064/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=127664 CPUtime=162.3 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 160101 0 0 0 16136 94 0 0 25 0 1 0 25509672 130727936 29756 4089446400 4194304 10345943 140733781397808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 31916 29756 805 1502 0 30409 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 127664 [startup+222.301 s] /proc/loadavg: 1.96 1.10 0.44 3/179 24532 /proc/meminfo: memFree=29031728/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=131776 CPUtime=222.3 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 174651 0 0 0 22106 124 0 0 25 0 1 0 25509672 134938624 31123 4089446400 4194304 10345943 140733781397808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 32944 31123 805 1502 0 31437 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 131776 [startup+282.301 s] /proc/loadavg: 2.02 1.27 0.54 3/179 24534 /proc/meminfo: memFree=29024208/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=136048 CPUtime=282.3 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 186859 0 0 0 28076 154 0 0 25 0 1 0 25509672 139313152 32189 4089446400 4194304 10345943 140733781397808 18446744073709551615 6070772 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 34012 32189 805 1502 0 32505 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 136048 [startup+342.301 s] /proc/loadavg: 2.00 1.40 0.63 3/179 24536 /proc/meminfo: memFree=29021400/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=138536 CPUtime=342.3 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 201856 0 0 0 34045 185 0 0 25 0 1 0 25509672 141860864 32673 4089446400 4194304 10345943 140733781397808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 34634 32673 805 1502 0 33127 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 138536 [startup+402.301 s] /proc/loadavg: 2.00 1.50 0.71 3/179 24537 /proc/meminfo: memFree=29019608/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=139872 CPUtime=402.3 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 212965 0 0 0 40016 214 0 0 25 0 1 0 25509672 143228928 33177 4089446400 4194304 10345943 140733781397808 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 34968 33177 805 1502 0 33461 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 139872 [startup+462.301 s] /proc/loadavg: 2.00 1.59 0.79 3/179 24538 /proc/meminfo: memFree=29003196/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=144544 CPUtime=462.31 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 223493 0 0 0 45993 238 0 0 25 0 1 0 25509672 148013056 34206 4089446400 4194304 10345943 140733781397808 18446744073709551615 9099867 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 36136 34206 805 1502 0 34629 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 144544 [startup+522.301 s] /proc/loadavg: 2.00 1.66 0.86 3/179 24540 /proc/meminfo: memFree=29000916/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=146500 CPUtime=522.3 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 236968 0 0 0 51962 268 0 0 25 0 1 0 25509672 150016000 34756 4089446400 4194304 10345943 140733781397808 18446744073709551615 6068924 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 36625 34756 805 1502 0 35118 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 146500 [startup+582.301 s] /proc/loadavg: 2.00 1.72 0.93 3/179 24545 /proc/meminfo: memFree=28998004/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=148988 CPUtime=582.31 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 249370 0 0 0 57932 299 0 0 25 0 1 0 25509672 152563712 35143 4089446400 4194304 10345943 140733781397808 18446744073709551615 9107500 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 37247 35143 805 1502 0 35740 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 148988 [startup+642.301 s] /proc/loadavg: 2.00 1.77 1.00 3/179 24547 /proc/meminfo: memFree=28998012/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=147916 CPUtime=642.32 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 259017 0 0 0 63906 326 0 0 25 0 1 0 25509672 151465984 35161 4089446400 4194304 10345943 140733781397808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 36979 35161 805 1502 0 35472 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 147916 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=28990168/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=156348 CPUtime=1002.32 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 325784 0 0 0 99729 503 0 0 25 0 1 0 25509672 160100352 37058 4089446400 4194304 10345943 140733781397808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 39087 37058 805 1502 0 37580 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 156348 [startup+1062.3 s] /proc/loadavg: 2.00 1.93 1.34 3/179 24557 /proc/meminfo: memFree=28986996/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=159532 CPUtime=1062.32 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 331528 0 0 0 105703 529 0 0 25 0 1 0 25509672 163360768 37942 4089446400 4194304 10345943 140733781397808 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 39883 37942 805 1502 0 38376 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 159532 [startup+1122.3 s] /proc/loadavg: 2.00 1.94 1.38 3/179 24559 /proc/meminfo: memFree=28984704/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=163900 CPUtime=1122.32 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 335212 0 0 0 111676 556 0 0 25 0 1 0 25509672 167833600 38557 4089446400 4194304 10345943 140733781397808 18446744073709551615 8160832 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 40975 38557 805 1502 0 39468 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 163900 [startup+1182.3 s] /proc/loadavg: 2.00 1.95 1.41 3/179 24561 /proc/meminfo: memFree=28981540/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=166024 CPUtime=1182.32 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 337545 0 0 0 117652 580 0 0 25 0 1 0 25509672 170008576 39160 4089446400 4194304 10345943 140733781397808 18446744073709551615 7524703 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 41506 39160 805 1502 0 39999 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 166024 [startup+1242.3 s] /proc/loadavg: 2.00 1.95 1.45 3/179 24563 /proc/meminfo: memFree=28978480/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=165516 CPUtime=1242.33 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 343046 0 0 0 123626 607 0 0 25 0 1 0 25509672 169488384 39358 4089446400 4194304 10345943 140733781397808 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 41379 39358 805 1502 0 39872 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 165516 [startup+1302.3 s] /proc/loadavg: 2.07 1.98 1.49 3/179 24564 /proc/meminfo: memFree=28975176/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=169060 CPUtime=1302.34 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 347248 0 0 0 129606 628 0 0 25 0 1 0 25509672 173117440 40049 4089446400 4194304 10345943 140733781397808 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 42265 40049 805 1502 0 40758 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 169060 [startup+1362.3 s] /proc/loadavg: 2.02 1.98 1.52 3/179 24565 /proc/meminfo: memFree=28973756/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=170120 CPUtime=1362.33 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 350261 0 0 0 135579 654 0 0 25 0 1 0 25509672 174202880 40139 4089446400 4194304 10345943 140733781397808 18446744073709551615 4471452 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 42530 40139 805 1502 0 41023 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 170120 [startup+1422.31 s] /proc/loadavg: 2.01 1.98 1.55 3/179 24567 /proc/meminfo: memFree=28971972/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=169196 CPUtime=1422.34 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 355158 0 0 0 141557 677 0 0 25 0 1 0 25509672 173256704 40268 4089446400 4194304 10345943 140733781397808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 42299 40268 805 1502 0 40792 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 169196 [startup+1482.3 s] /proc/loadavg: 2.00 1.98 1.57 3/179 24569 /proc/meminfo: memFree=28971788/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=170316 CPUtime=1482.34 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 358765 0 0 0 147531 703 0 0 25 0 1 0 25509672 174403584 40256 4089446400 4194304 10345943 140733781397808 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 42579 40256 805 1502 0 41072 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 170316 [startup+1542.3 s] /proc/loadavg: 2.00 1.98 1.59 3/179 24571 /proc/meminfo: memFree=28967624/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=170320 CPUtime=1542.34 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 362522 0 0 0 153502 732 0 0 25 0 1 0 25509672 174407680 40348 4089446400 4194304 10345943 140733781397808 18446744073709551615 6068911 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 42580 40348 805 1502 0 41073 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 170320 [startup+1602.3 s] /proc/loadavg: 2.00 1.98 1.62 3/179 24572 /proc/meminfo: memFree=28962736/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=171696 CPUtime=1602.34 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 365491 0 0 0 159478 756 0 0 25 0 1 0 25509672 175816704 40752 4089446400 4194304 10345943 140733781397808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 42924 40752 805 1502 0 41417 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 171696 [startup+1662.3 s] /proc/loadavg: 2.08 1.99 1.64 3/179 24573 /proc/meminfo: memFree=28962052/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=172584 CPUtime=1662.34 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 369822 0 0 0 165455 779 0 0 25 0 1 0 25509672 176726016 40861 4089446400 4194304 10345943 140733781397808 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 43146 40861 805 1502 0 41639 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 172584 [startup+1722.3 s] /proc/loadavg: 2.03 1.99 1.66 3/179 24575 /proc/meminfo: memFree=28961236/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=173292 CPUtime=1722.34 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 372368 0 0 0 171434 800 0 0 25 0 1 0 25509672 177451008 41070 4089446400 4194304 10345943 140733781397808 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 43323 41070 805 1502 0 41816 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 173292 [startup+1782.3 s] /proc/loadavg: 2.01 1.99 1.68 3/179 24577 /proc/meminfo: memFree=28960176/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=173408 CPUtime=1782.35 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 376359 0 0 0 177411 824 0 0 25 0 1 0 25509672 177569792 41119 4089446400 4194304 10345943 140733781397808 18446744073709551615 9106037 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 43352 41119 805 1502 0 41845 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 173408 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 1.99 1.68 3/179 24577 /proc/meminfo: memFree=28960296/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=173412 CPUtime=1785.54 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 376610 0 0 0 177729 825 0 0 25 0 1 0 25509672 177573888 41143 4089446400 4194304 10345943 140733781397808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 43353 41143 805 1502 0 41846 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 173412 [startup+1788.7 s] /proc/loadavg: 2.01 1.99 1.68 3/179 24577 /proc/meminfo: memFree=28960172/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=172572 CPUtime=1788.74 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 376667 0 0 0 178048 826 0 0 25 0 1 0 25509672 176713728 41121 4089446400 4194304 10345943 140733781397808 18446744073709551615 6119686 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 43143 41121 805 1502 0 41636 0 Current children cumulated CPU time (s) 1788.74 Current children cumulated vsize (KiB) 172572 [startup+1789.5 s] /proc/loadavg: 2.01 1.99 1.68 3/179 24577 /proc/meminfo: memFree=28960172/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=173412 CPUtime=1789.55 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 376678 0 0 0 178128 827 0 0 25 0 1 0 25509672 177573888 41132 4089446400 4194304 10345943 140733781397808 18446744073709551615 4212613 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 43353 41132 805 1502 0 41846 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (KiB) 173412 [startup+1789.9 s] /proc/loadavg: 2.01 1.99 1.68 3/179 24577 /proc/meminfo: memFree=28960172/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=173412 CPUtime=1789.95 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 376683 0 0 0 178168 827 0 0 25 0 1 0 25509672 177573888 41137 4089446400 4194304 10345943 140733781397808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24515/statm: 43353 41137 805 1502 0 41846 0 Current children cumulated CPU time (s) 1789.95 Current children cumulated vsize (KiB) 173412 [startup+1790.1 s] /proc/loadavg: 2.01 1.99 1.68 3/179 24577 /proc/meminfo: memFree=28960172/32951124 swapFree=67111528/67111528 [pid=24515] ppid=24513 vsize=156040 CPUtime=1790.15 /proc/24515/stat : 24515 (pbscip.linux.x8) R 24513 24515 24309 0 -1 4202496 376791 0 0 0 178188 827 0 0 25 0 1 0 25509672 159784960 31219 4089446400 4194304 10345943 140733781397808 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24515/statm: 39010 30707 806 1502 0 37503 0 Current children cumulated CPU time (s) 1790.15 Current children cumulated vsize (KiB) 156040 Child status: 0 Real time (s): 1790.11 CPU time (s): 1790.16 CPU user time (s): 1781.88 CPU system time (s): 8.28074 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 174832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.88 system time used= 8.28074 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 376794 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= 20828 runsolver used 2.79657 second user time and 5.46417 second system time The end
Begin job on node109 at 2010-07-08 09:09:16 IDJOB=2705555 IDBENCH=78920 IDSOLVER=1214 FILE ID=node109/2705555-1278572956 PBS_JOBID= 11240235 Free space on /tmp= 73772 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.1900568186--soft-66-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-2705555-1278572956/watcher-2705555-1278572956 -o /tmp/evaluation-result-2705555-1278572956/solver-2705555-1278572956 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705555-1278572956.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 105b60f6fd410ca15d025f7b690efafc RANDOM SEED=820752671 node109.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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.82 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.817 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.817 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.817 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.75 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.817 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.817 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.817 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29226716 kB Buffers: 157812 kB Cached: 3357256 kB SwapCached: 0 kB Active: 1981896 kB Inactive: 1595288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29226716 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12916 kB Writeback: 0 kB AnonPages: 62816 kB Mapped: 14428 kB Slab: 82392 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 181960 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= 73744 MiB End job on node109 at 2010-07-08 09:39:06