Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1800.15 | 1800.09 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo |
MD5SUM | 8222df718f0c39737e94bfab6b6fa003 |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 29.2616 |
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 | 719 |
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2693564-1277910848.wbo> 0.00/0.02 c original problem has 2085 variables (1158 bin, 0 int, 0 impl, 927 cont) and 3635 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.03/0.04 c presolving: 0.03/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs 0.03/0.07 c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs 0.03/0.08 c (round 3) 54 del vars, 168 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs 0.03/0.09 c (round 4) 110 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs 0.09/0.11 c (round 5) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs 0.09/0.15 c (0.1s) probing: 101/1102 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.15 c presolving (6 rounds): 0.09/0.15 c 112 deleted vars, 170 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients 0.09/0.15 c 1141 implications, 14 cliques 0.09/0.15 c presolved problem has 1973 variables (1102 bin, 0 int, 0 impl, 871 cont) and 3465 constraints 0.09/0.15 c 871 constraints of type <indicator> 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 14 constraints of type <setppc> 0.09/0.15 c 871 constraints of type <linear> 0.09/0.15 c 1708 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.09 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.98 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 3420 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.16 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.16 c 0.1s| 1 | 0 | 30 | - |8863k| 0 | 17 |1973 |3465 |1973 |1723 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.17 o 42962 0.09/0.17 c y 0.1s| 1 | 0 | 30 | - |8899k| 0 | 17 |1973 |3465 |1973 |1723 | 0 | 0 | 0 | 0.000000e+00 | 4.296200e+04 | Inf 0.19/0.20 c 0.1s| 1 | 0 | 48 | - |8943k| 0 | 21 |1973 |3465 |1973 |1738 | 15 | 0 | 0 | 0.000000e+00 | 4.296200e+04 | Inf 0.19/0.25 c 0.2s| 1 | 0 | 71 | - |9098k| 0 | 20 |1973 |3465 |1973 |1745 | 22 | 0 | 0 | 0.000000e+00 | 4.296200e+04 | Inf 0.19/0.28 c 0.2s| 1 | 0 | 85 | - |9178k| 0 | 19 |1973 |3465 |1973 |1748 | 25 | 0 | 0 | 0.000000e+00 | 4.296200e+04 | Inf 0.29/0.33 c 0.3s| 1 | 0 | 92 | - |9366k| 0 | 22 |1973 |3465 |1973 |1751 | 28 | 0 | 0 | 0.000000e+00 | 4.296200e+04 | Inf 0.29/0.37 c 0.3s| 1 | 0 | 122 | - |9543k| 0 | 30 |1973 |3465 |1973 |1753 | 30 | 0 | 0 | 0.000000e+00 | 4.296200e+04 | Inf 0.39/0.44 c 0.4s| 1 | 0 | 135 | - |9576k| 0 | 34 |1973 |3465 |1973 |1754 | 31 | 0 | 0 | 0.000000e+00 | 4.296200e+04 | Inf 0.79/0.83 c 0.7s| 1 | 2 | 135 | - |9579k| 0 | 34 |1973 |3465 |1973 |1754 | 31 | 0 | 33 | 0.000000e+00 | 4.296200e+04 | Inf 4.29/4.33 o 446 4.29/4.33 c * 4.1s| 37 | 17 | 1404 | 35.2 |9871k| 18 | - |1973 |3483 |1973 |1750 | 41 | 18 | 428 | 0.000000e+00 | 4.460000e+02 | Inf 4.69/4.72 o 284 4.69/4.72 c * 4.5s| 66 | 22 | 1605 | 22.6 | 10M| 23 | - |1973 |3522 |1973 |1751 | 50 | 57 | 509 | 0.000000e+00 | 2.840000e+02 | Inf 4.69/4.73 o 264 4.69/4.73 c * 4.5s| 67 | 21 | 1605 | 22.3 | 10M| 23 | - |1973 |3522 |1973 |1751 | 50 | 57 | 509 | 0.000000e+00 | 2.640000e+02 | Inf 8.39/8.42 o 251 8.39/8.42 c * 8.0s| 765 | 187 | 6753 | 8.7 | 13M| 38 | - |1973 |4283 |1973 |1762 | 244 | 914 |1318 | 0.000000e+00 | 2.510000e+02 | Inf 9.69/9.78 o 235 9.69/9.78 c * 9.2s| 1366 | 348 | 10479 | 7.6 | 14M| 56 | - |1973 |4627 |1973 |1751 | 346 |1586 |1419 | 0.000000e+00 | 2.350000e+02 | Inf 9.69/9.78 o 231 9.69/9.78 c * 9.2s| 1367 | 346 | 10487 | 7.6 | 14M| 56 | - |1973 |4627 |1973 |1751 | 346 |1586 |1419 | 0.000000e+00 | 2.310000e+02 | Inf 9.99/10.00 o 196 9.99/10.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 9.99/10.00 c * 9.5s| 1511 | 436 | 10804 | 7.1 | 15M| 56 | - |1973 |4669 |1973 |1752 | 371 |1651 |1433 | 0.000000e+00 | 1.960000e+02 | Inf 10.19/10.29 o 188 10.19/10.29 c * 9.7s| 1668 | 528 | 11201 | 6.6 | 15M| 57 | - |1973 |4736 |1973 |1753 | 395 |1753 |1463 | 0.000000e+00 | 1.880000e+02 | Inf 10.59/10.63 o 171 10.59/10.63 c *10.1s| 1870 | 598 | 12045 | 6.4 | 15M| 57 | - |1973 |4779 |1973 |1749 | 417 |1939 |1475 | 0.000000e+00 | 1.710000e+02 | Inf 11.49/11.50 o 169 11.49/11.50 c *10.8s| 2210 | 738 | 14115 | 6.3 | 16M| 57 | - |1973 |4877 |1973 |1762 | 566 |2279 |1560 | 0.000000e+00 | 1.690000e+02 | Inf 11.49/11.52 o 154 11.49/11.52 c *10.9s| 2217 | 717 | 14205 | 6.3 | 16M| 57 | - |1973 |4873 |1973 |1761 | 566 |2286 |1560 | 0.000000e+00 | 1.540000e+02 | Inf 12.29/12.36 o 146 12.29/12.36 c *11.7s| 2674 | 871 | 15848 | 5.9 | 16M| 57 | - |1973 |5158 |1973 |1757 | 639 |2734 |1616 | 0.000000e+00 | 1.460000e+02 | Inf 13.19/13.22 o 136 13.19/13.22 c *12.5s| 3084 | 905 | 17595 | 5.7 | 17M| 57 | - |1973 |5098 |1973 |1757 | 724 |3182 |1674 | 0.000000e+00 | 1.360000e+02 | Inf 13.29/13.34 o 110 13.29/13.34 c *12.6s| 3149 | 850 | 17784 | 5.6 | 16M| 57 | - |1973 |5142 |1973 |1756 | 725 |3258 |1684 | 0.000000e+00 | 1.100000e+02 | Inf 16.89/16.93 o 82 16.89/16.93 c *15.9s| 4862 | 884 | 26925 | 5.5 | 17M| 69 | - |1973 |5228 |1973 |1759 |1296 |5152 |1933 | 0.000000e+00 | 8.200000e+01 | Inf 26.09/26.10 c 24.5s| 10000 | 1336 | 53160 | 5.3 | 21M| 69 | 9 |1973 |6549 |1973 |1754 |2302 | 10k|2030 | 0.000000e+00 | 8.200000e+01 | Inf 34.29/34.32 o 80 34.29/34.32 c *32.2s| 14384 | 1777 | 76854 | 5.3 | 26M| 69 | - |1973 |7855 |1973 |1749 |3539 | 15k|2086 | 0.000000e+00 | 8.000000e+01 | Inf 34.29/34.33 o 77 34.29/34.33 c *32.2s| 14385 | 1714 | 76854 | 5.3 | 25M| 69 | - |1973 |7855 |1973 |1749 |3539 | 15k|2086 | 0.000000e+00 | 7.700000e+01 | Inf 36.60/36.61 o 69 36.60/36.61 c *34.4s| 15617 | 1703 | 83601 | 5.3 | 25M| 69 | - |1973 |7879 |1973 |1762 |3900 | 17k|2086 | 0.000000e+00 | 6.900000e+01 | Inf 44.49/44.50 c 41.7s| 20000 | 2013 |109832 | 5.5 | 27M| 69 | 18 |1973 |7036 |1973 |1759 |4886 | 22k|2087 | 0.000000e+00 | 6.900000e+01 | Inf 48.89/49.00 o 58 48.89/49.00 c *46.0s| 22537 | 2015 |124866 | 5.5 | 28M| 69 | - |1973 |7344 |1973 |1765 |5368 | 25k|2087 | 0.000000e+00 | 5.800000e+01 | Inf 49.99/50.05 o 41 49.99/50.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 49.99/50.05 c *47.0s| 23147 | 1929 |127633 | 5.5 | 27M| 69 | - |1973 |7470 |1973 |1766 |5575 | 26k|2087 | 0.000000e+00 | 4.100000e+01 | Inf 63.89/63.97 c 60.1s| 30000 | 2133 |196554 | 6.5 | 29M| 69 | 10 |1973 |8594 |1973 |1752 |6870 | 34k|2088 | 0.000000e+00 | 4.100000e+01 | Inf 70.19/70.22 o 38 70.19/70.22 c *66.0s| 33078 | 2022 |225325 | 6.8 | 29M| 69 | - |1973 |7975 |1973 |1763 |7405 | 38k|2088 | 0.000000e+00 | 3.800000e+01 | Inf 76.19/76.25 o 36 76.19/76.25 c *71.6s| 36076 | 1962 |254370 | 7.0 | 29M| 69 | - |1973 |8092 |1973 |1756 |8065 | 42k|2088 | 0.000000e+00 | 3.600000e+01 | Inf 83.60/83.68 c 78.6s| 40000 | 2115 |289033 | 7.2 | 31M| 69 | - |1973 |9851 |1973 |1758 |9201 | 47k|2113 | 0.000000e+00 | 3.600000e+01 | Inf 103.89/103.92 c 97.6s| 50000 | 2309 |383717 | 7.7 | 35M| 69 | - |1973 | 13k| 0 | 0 | 11k| 60k|2308 | 0.000000e+00 | 3.600000e+01 | Inf 124.69/124.71 c 117s| 60000 | 2319 |475190 | 7.9 | 36M| 69 | - |1973 | 11k| 0 | 0 | 13k| 73k|2682 | 0.000000e+00 | 3.600000e+01 | Inf 144.30/144.38 c 136s| 70000 | 2491 |560238 | 8.0 | 39M| 69 | 9 |1973 | 13k|1973 |1751 | 15k| 86k|2881 | 0.000000e+00 | 3.600000e+01 | Inf 145.80/145.88 o 32 145.80/145.88 c * 137s| 70789 | 2466 |566992 | 8.0 | 38M| 69 | - |1973 | 13k|1973 |1753 | 15k| 87k|2883 | 0.000000e+00 | 3.200000e+01 | Inf 146.00/146.09 o 16 146.00/146.09 c * 137s| 70920 | 2222 |567589 | 8.0 | 33M| 69 | - |1973 | 13k|1973 |1748 | 15k| 87k|2883 | 0.000000e+00 | 1.600000e+01 | Inf 165.10/165.10 c 155s| 80000 | 2222 |666545 | 8.3 | 34M| 69 | 28 |1973 | 12k|1973 |1748 | 16k| 99k|3136 | 0.000000e+00 | 1.600000e+01 | Inf 185.59/185.67 c 175s| 90000 | 2292 |770419 | 8.6 | 36M| 69 | 29 |1973 | 14k|1973 |1748 | 18k| 111k|3376 | 0.000000e+00 | 1.600000e+01 | Inf 205.80/205.89 o 14 205.80/205.89 c * 194s| 99288 | 2347 |873356 | 8.8 | 38M| 69 | - |1973 | 17k|1973 |1748 | 19k| 123k|3576 | 0.000000e+00 | 1.400000e+01 | Inf 207.39/207.40 c 195s|100000 | 2358 |880767 | 8.8 | 38M| 69 | 6 |1973 | 17k|1973 |1748 | 19k| 124k|3576 | 0.000000e+00 | 1.400000e+01 | Inf 221.90/221.91 o 13 221.90/221.91 c * 209s|106689 | 2343 |953387 | 8.9 | 38M| 69 | - |1973 | 16k|1973 |1759 | 20k| 133k|3726 | 0.000000e+00 | 1.300000e+01 | Inf 229.29/229.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 229.29/229.36 c 216s|110000 | 2454 |993219 | 9.0 | 38M| 69 | 19 |1973 | 15k|1973 |1748 | 21k| 137k|3775 | 0.000000e+00 | 1.300000e+01 | Inf 251.70/251.74 c 237s|120000 | 2371 | 1107k| 9.2 | 39M| 69 | 19 |1973 | 15k|1973 |1748 | 22k| 151k|3982 | 0.000000e+00 | 1.300000e+01 | Inf 254.60/254.69 o 12 254.60/254.69 c * 240s|121472 | 2282 | 1122k| 9.2 | 38M| 69 | - |1973 | 16k|1973 |1748 | 22k| 153k|4016 | 0.000000e+00 | 1.200000e+01 | Inf 274.10/274.10 c 258s|130000 | 1966 | 1224k| 9.4 | 33M| 69 | 12 |1973 |7840 |1973 |1748 | 23k| 164k|4275 | 0.000000e+00 | 1.200000e+01 | Inf 293.90/293.94 c 277s|140000 | 2042 | 1333k| 9.5 | 36M| 69 | - |1973 | 12k|1973 |1748 | 24k| 177k|4402 | 0.000000e+00 | 1.200000e+01 | Inf 315.00/315.02 c 297s|150000 | 2245 | 1442k| 9.6 | 38M| 69 | - |1973 | 15k|1973 |1758 | 25k| 190k|4596 | 0.000000e+00 | 1.200000e+01 | Inf 335.70/335.75 c 316s|160000 | 2397 | 1542k| 9.6 | 41M| 69 | 22 |1973 | 18k|1973 |1748 | 25k| 202k|4725 | 0.000000e+00 | 1.200000e+01 | Inf 357.70/357.76 c 337s|170000 | 2309 | 1651k| 9.7 | 40M| 69 | 24 |1973 | 16k|1973 |1748 | 26k| 215k|4875 | 0.000000e+00 | 1.200000e+01 | Inf 379.41/379.48 c 358s|180000 | 2211 | 1760k| 9.8 | 39M| 69 | 10 |1973 | 15k|1973 |1754 | 27k| 228k|5038 | 0.000000e+00 | 1.200000e+01 | Inf 402.40/402.41 c 379s|190000 | 2141 | 1878k| 9.9 | 39M| 69 | - |1973 | 17k|1973 |1748 | 29k| 241k|5244 | 0.000000e+00 | 1.200000e+01 | Inf 404.81/404.85 o 10 404.81/404.85 c * 382s|190970 | 1975 | 1891k| 9.9 | 37M| 69 | - |1973 | 16k|1973 |1748 | 29k| 243k|5248 | 0.000000e+00 | 1.000000e+01 | Inf 423.51/423.52 c 399s|200000 | 1701 | 1989k| 9.9 | 34M| 69 | - |1973 | 11k| 0 | 0 | 30k| 255k|5412 | 0.000000e+00 | 1.000000e+01 | Inf 441.80/441.81 c 416s|210000 | 1769 | 2078k| 9.9 | 36M| 69 | - |1973 | 13k| 0 | 0 | 31k| 267k|5492 | 0.000000e+00 | 1.000000e+01 | Inf 461.92/461.99 c 435s|220000 | 1608 | 2184k| 9.9 | 34M| 69 | 5 |1973 | 12k|1973 |1748 | 32k| 280k|5629 | 0.000000e+00 | 1.000000e+01 | Inf 484.01/484.08 c 456s|230000 | 1472 | 2301k| 10.0 | 32M| 69 | 27 |1973 | 10k|1973 |1748 | 33k| 294k|5779 | 0.000000e+00 | 1.000000e+01 | Inf 506.11/506.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 506.11/506.13 c 477s|240000 | 1864 | 2423k| 10.1 | 35M| 69 | 12 |1973 | 13k|1973 |1748 | 34k| 307k|5941 | 0.000000e+00 | 1.000000e+01 | Inf 527.41/527.42 c 497s|250000 | 1863 | 2538k| 10.2 | 35M| 70 | 23 |1973 | 12k|1973 |1748 | 35k| 320k|6027 | 0.000000e+00 | 1.000000e+01 | Inf 550.51/550.51 c 519s|260000 | 2009 | 2670k| 10.3 | 37M| 70 | - |1973 | 13k| 0 | 0 | 36k| 333k|6153 | 0.000000e+00 | 1.000000e+01 | Inf 571.01/571.00 c 538s|270000 | 2018 | 2777k| 10.3 | 38M| 70 | 1 |1973 | 13k|1973 |1748 | 37k| 347k|6284 | 0.000000e+00 | 1.000000e+01 | Inf 591.82/591.83 c 558s|280000 | 1988 | 2886k| 10.3 | 38M| 71 | 26 |1973 | 13k|1973 |1748 | 38k| 360k|6404 | 0.000000e+00 | 1.000000e+01 | Inf 612.32/612.34 c 577s|290000 | 2013 | 2990k| 10.3 | 40M| 71 | 12 |1973 | 15k|1973 |1748 | 39k| 374k|6476 | 0.000000e+00 | 1.000000e+01 | Inf 634.62/634.67 c 598s|300000 | 1985 | 3108k| 10.4 | 38M| 71 | - |1973 | 12k| 0 | 0 | 39k| 388k|6598 | 0.000000e+00 | 1.000000e+01 | Inf 656.92/656.95 c 620s|310000 | 1974 | 3226k| 10.4 | 39M| 71 | 26 |1973 | 14k|1973 |1748 | 40k| 401k|6694 | 0.000000e+00 | 1.000000e+01 | Inf 678.52/678.59 c 640s|320000 | 2019 | 3337k| 10.4 | 41M| 71 | 13 |1973 | 17k|1973 |1748 | 41k| 415k|6780 | 0.000000e+00 | 1.000000e+01 | Inf 701.02/701.03 c 661s|330000 | 1954 | 3452k| 10.5 | 41M| 71 | - |1973 | 17k| 0 | 0 | 42k| 428k|6893 | 0.000000e+00 | 1.000000e+01 | Inf 722.92/722.90 c 682s|340000 | 1966 | 3558k| 10.5 | 41M| 71 | - |1973 | 18k| 0 | 0 | 43k| 442k|6996 | 0.000000e+00 | 1.000000e+01 | Inf 744.02/744.06 c 702s|350000 | 1954 | 3657k| 10.4 | 42M| 71 | 21 |1973 | 19k|1973 |1748 | 43k| 456k|7097 | 0.000000e+00 | 1.000000e+01 | Inf 766.12/766.18 c 723s|360000 | 1882 | 3762k| 10.5 | 42M| 71 | 1 |1973 | 19k|1973 |1748 | 44k| 470k|7229 | 0.000000e+00 | 1.000000e+01 | Inf 789.22/789.26 c 745s|370000 | 1972 | 3887k| 10.5 | 43M| 71 | - |1973 | 20k|1973 |1754 | 45k| 483k|7333 | 0.000000e+00 | 1.000000e+01 | Inf 811.42/811.43 c 766s|380000 | 1865 | 3996k| 10.5 | 42M| 71 | - |1973 | 18k| 0 | 0 | 46k| 498k|7479 | 0.000000e+00 | 1.000000e+01 | Inf 832.52/832.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 832.52/832.52 c 785s|390000 | 1870 | 4097k| 10.5 | 43M| 71 | - |1973 | 20k|1973 |1748 | 47k| 511k|7518 | 0.000000e+00 | 1.000000e+01 | Inf 855.02/855.01 c 807s|400000 | 1827 | 4210k| 10.5 | 42M| 71 | - |1973 | 18k|1973 |1748 | 48k| 524k|7617 | 0.000000e+00 | 1.000000e+01 | Inf 876.43/876.45 c 827s|410000 | 1944 | 4311k| 10.5 | 45M| 71 | - |1973 | 22k| 0 | 0 | 48k| 538k|7703 | 0.000000e+00 | 1.000000e+01 | Inf 898.13/898.17 c 848s|420000 | 1853 | 4405k| 10.5 | 44M| 71 | - |1973 | 20k| 0 | 0 | 50k| 553k|7782 | 0.000000e+00 | 1.000000e+01 | Inf 920.82/920.89 c 869s|430000 | 1862 | 4517k| 10.5 | 44M| 71 | 17 |1973 | 20k|1973 |1755 | 50k| 566k|7895 | 0.000000e+00 | 1.000000e+01 | Inf 943.93/943.97 c 891s|440000 | 1727 | 4623k| 10.5 | 42M| 71 | 33 |1973 | 17k|1973 |1748 | 51k| 579k|7994 | 0.000000e+00 | 1.000000e+01 | Inf 965.63/965.60 c 912s|450000 | 1513 | 4727k| 10.5 | 41M| 71 | - |1973 | 20k| 0 | 0 | 52k| 593k|8064 | 0.000000e+00 | 1.000000e+01 | Inf 988.32/988.35 c 933s|460000 | 1570 | 4837k| 10.5 | 42M| 71 | - |1973 | 23k| 0 | 0 | 53k| 607k|8138 | 0.000000e+00 | 1.000000e+01 | Inf 1012.62/1012.63 c 956s|470000 | 1507 | 4955k| 10.5 | 42M| 71 | - |1973 | 23k|1973 |1748 | 55k| 620k|8215 | 0.000000e+00 | 1.000000e+01 | Inf 1037.43/1037.42 c 980s|480000 | 1475 | 5075k| 10.6 | 42M| 71 | 22 |1973 | 25k|1973 |1748 | 55k| 634k|8296 | 0.000000e+00 | 1.000000e+01 | Inf 1061.03/1061.01 c 1002s|490000 | 1190 | 5183k| 10.6 | 36M| 71 | - |1973 | 17k| 0 | 0 | 56k| 647k|8458 | 0.000000e+00 | 1.000000e+01 | Inf 1082.93/1082.99 c 1023s|500000 | 1294 | 5292k| 10.6 | 38M| 71 | 1 |1973 | 21k|1973 |1748 | 57k| 660k|8511 | 0.000000e+00 | 1.000000e+01 | Inf 1099.63/1099.65 o 7 1099.63/1099.65 c *1039s|507417 | 1160 | 5369k| 10.6 | 36M| 71 | - |1973 | 21k|1973 |1755 | 58k| 670k|8544 | 0.000000e+00 | 7.000000e+00 | Inf 1105.63/1105.60 c 1044s|510000 | 1105 | 5398k| 10.6 | 35M| 71 | 21 |1973 | 19k|1973 |1748 | 58k| 673k|8571 | 0.000000e+00 | 7.000000e+00 | Inf 1127.44/1127.43 c 1065s|520000 | 1253 | 5518k| 10.6 | 33M| 71 | - |1973 | 13k| 0 | 0 | 59k| 687k|8644 | 0.000000e+00 | 7.000000e+00 | Inf 1148.63/1148.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1148.63/1148.65 c 1085s|530000 | 1472 | 5640k| 10.6 | 35M| 71 | - |1973 | 14k|1973 |1753 | 61k| 700k|8722 | 0.000000e+00 | 7.000000e+00 | Inf 1169.14/1169.12 c 1104s|540000 | 1672 | 5750k| 10.6 | 36M| 71 | - |1973 | 15k|1973 |1748 | 62k| 713k|8809 | 0.000000e+00 | 7.000000e+00 | Inf 1189.63/1189.68 c 1124s|550000 | 1670 | 5857k| 10.7 | 37M| 71 | 21 |1973 | 16k|1973 |1748 | 63k| 727k|8902 | 0.000000e+00 | 7.000000e+00 | Inf 1210.64/1210.67 c 1144s|560000 | 1810 | 5968k| 10.7 | 39M| 71 | 21 |1973 | 17k|1973 |1754 | 64k| 740k|8981 | 0.000000e+00 | 7.000000e+00 | Inf 1232.54/1232.51 c 1164s|570000 | 1874 | 6084k| 10.7 | 39M| 71 | 19 |1973 | 18k|1973 |1748 | 65k| 754k|9064 | 0.000000e+00 | 7.000000e+00 | Inf 1253.83/1253.81 c 1184s|580000 | 1967 | 6194k| 10.7 | 40M| 71 | - |1973 | 17k| 0 | 0 | 66k| 767k|9131 | 0.000000e+00 | 7.000000e+00 | Inf 1275.34/1275.34 c 1205s|590000 | 2014 | 6304k| 10.7 | 41M| 71 | - |1973 | 18k| 0 | 0 | 68k| 781k|9182 | 0.000000e+00 | 7.000000e+00 | Inf 1296.74/1296.77 c 1225s|600000 | 2149 | 6414k| 10.7 | 42M| 71 | 17 |1973 | 18k|1973 |1748 | 69k| 794k|9251 | 0.000000e+00 | 7.000000e+00 | Inf 1318.64/1318.63 c 1246s|610000 | 2127 | 6524k| 10.7 | 43M| 71 | 18 |1973 | 18k|1973 |1748 | 70k| 807k|9355 | 0.000000e+00 | 7.000000e+00 | Inf 1339.94/1339.97 c 1266s|620000 | 2076 | 6631k| 10.7 | 43M| 71 | - |1973 | 18k| 0 | 0 | 71k| 821k|9435 | 0.000000e+00 | 7.000000e+00 | Inf 1361.34/1361.32 c 1286s|630000 | 2036 | 6738k| 10.7 | 43M| 71 | 1 |1973 | 19k|1973 |1748 | 72k| 834k|9480 | 0.000000e+00 | 7.000000e+00 | Inf 1383.24/1383.21 c 1307s|640000 | 1991 | 6852k| 10.7 | 43M| 71 | 22 |1973 | 19k|1973 |1754 | 73k| 848k|9538 | 0.000000e+00 | 7.000000e+00 | Inf 1404.84/1404.83 c 1327s|650000 | 1955 | 6962k| 10.7 | 44M| 71 | 1 |1973 | 21k|1973 |1748 | 75k| 862k|9620 | 0.000000e+00 | 7.000000e+00 | Inf 1427.55/1427.52 c 1349s|660000 | 1768 | 7079k| 10.7 | 42M| 71 | - |1973 | 19k| 0 | 0 | 76k| 875k|9708 | 0.000000e+00 | 7.000000e+00 | Inf 1448.75/1448.75 c 1369s|670000 | 1711 | 7185k| 10.7 | 42M| 71 | - |1973 | 21k| 0 | 0 | 77k| 889k|9757 | 0.000000e+00 | 7.000000e+00 | Inf 1472.64/1472.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1472.64/1472.65 c 1391s|680000 | 1789 | 7310k| 10.8 | 43M| 71 | - |1973 | 21k| 0 | 0 | 78k| 903k|9814 | 0.000000e+00 | 7.000000e+00 | Inf 1495.74/1495.77 c 1413s|690000 | 1530 | 7429k| 10.8 | 40M| 71 | - |1973 | 17k| 0 | 0 | 79k| 917k|9902 | 0.000000e+00 | 7.000000e+00 | Inf 1517.15/1517.15 c 1433s|700000 | 1114 | 7538k| 10.8 | 36M| 71 | - |1973 | 16k| 0 | 0 | 81k| 931k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1538.55/1538.59 c 1454s|710000 | 1354 | 7647k| 10.8 | 37M| 71 | 25 |1973 | 16k|1973 |1748 | 82k| 944k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1559.25/1559.23 c 1473s|720000 | 1513 | 7751k| 10.8 | 38M| 71 | 19 |1973 | 18k|1973 |1748 | 83k| 957k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1581.95/1581.97 c 1495s|730000 | 1717 | 7866k| 10.8 | 40M| 71 | 24 |1973 | 19k|1973 |1748 | 84k| 971k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1604.25/1604.24 c 1516s|740000 | 1996 | 7977k| 10.8 | 42M| 71 | - |1973 | 19k| 0 | 0 | 85k| 984k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1625.15/1625.12 c 1535s|750000 | 2122 | 8076k| 10.8 | 43M| 71 | 17 |1973 | 21k|1973 |1754 | 86k| 998k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1646.95/1646.90 c 1556s|760000 | 2241 | 8177k| 10.8 | 44M| 71 | - |1973 | 22k|1973 |1748 | 87k|1011k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1668.46/1668.48 c 1576s|770000 | 2275 | 8279k| 10.8 | 45M| 71 | 21 |1973 | 20k|1973 |1754 | 88k|1025k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1690.15/1690.17 c 1597s|780000 | 2335 | 8382k| 10.7 | 46M| 71 | 20 |1973 | 22k|1973 |1748 | 89k|1038k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1713.05/1713.01 c 1619s|790000 | 2409 | 8493k| 10.8 | 47M| 71 | - |1973 | 23k| 0 | 0 | 89k|1052k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1734.46/1734.43 c 1639s|800000 | 2517 | 8592k| 10.7 | 48M| 71 | - |1973 | 24k| 0 | 0 | 90k|1065k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1756.56/1756.52 o 6 1756.56/1756.52 c *1660s|809275 | 2539 | 8701k| 10.8 | 48M| 71 | - |1973 | 24k|1973 |1759 | 91k|1078k| 10k| 0.000000e+00 | 6.000000e+00 | Inf 1758.05/1758.08 c 1661s|810000 | 2524 | 8707k| 10.8 | 47M| 71 | - |1973 | 21k| 0 | 0 | 92k|1079k| 10k| 0.000000e+00 | 6.000000e+00 | Inf 1779.76/1779.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1779.76/1779.78 c 1682s|820000 | 2728 | 8804k| 10.7 | 49M| 71 | - |1973 | 22k| 0 | 0 | 93k|1092k| 10k| 0.000000e+00 | 6.000000e+00 | Inf 1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.06/1800.00 c 1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.00 c Solving Time (sec) : 1701.00 1800.06/1800.00 c Solving Nodes : 829150 1800.06/1800.00 c Primal Bound : +6.00000000000000e+00 (315 solutions) 1800.06/1800.00 c Dual Bound : +0.00000000000000e+00 1800.06/1800.00 c Gap : infinite 1800.06/1800.02 s SATISFIABLE 1800.06/1800.02 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 1800.06/1800.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 1800.06/1800.02 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 1800.06/1800.02 v x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.06/1800.02 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 1800.06/1800.02 v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 1800.06/1800.02 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 1800.06/1800.02 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 -x54 1800.06/1800.02 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 1800.06/1800.02 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 1800.06/1800.02 v -x1 1800.06/1800.02 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.02 c Solving Time : 1701.00 1800.06/1800.02 c Original Problem : 1800.06/1800.02 c Problem name : HOME/instance-2693564-1277910848.wbo 1800.06/1800.02 c Variables : 2085 (1158 binary, 0 integer, 0 implicit integer, 927 continuous) 1800.06/1800.02 c Constraints : 3635 initial, 3635 maximal 1800.06/1800.02 c Presolved Problem : 1800.06/1800.02 c Problem name : t_HOME/instance-2693564-1277910848.wbo 1800.06/1800.02 c Variables : 1973 (1102 binary, 0 integer, 0 implicit integer, 871 continuous) 1800.06/1800.02 c Constraints : 3465 initial, 26399 maximal 1800.06/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.06/1800.02 c trivial : 0.00 56 0 0 0 0 0 0 0 1800.06/1800.02 c dualfix : 0.00 56 0 0 0 0 0 0 0 1800.06/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0 1800.06/1800.02 c indicator : 0.00 0 0 0 0 0 56 0 0 1800.06/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.02 c linear : 0.04 0 0 0 929 0 114 56 0 1800.06/1800.02 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.06/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.02 c root node : - 829 - - 1658 - - - - 1800.06/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.06/1800.02 c integral : 0 0 0 463054 0 264 2603 0 0 881676 1800.06/1800.02 c indicator : 871 0 3837872 20067 0 466 1835395 0 0 0 1800.06/1800.02 c knapsack : 1 6 3835379 20038 0 42236 10068989 0 0 0 1800.06/1800.02 c setppc : 14 6 3796322 19868 0 43080 2167747 0 0 0 1800.06/1800.02 c linear : 871 6 3755617 20066 0 76616 4205098 93603 0 0 1800.06/1800.02 c logicor : 1708+ 6 1847961 3589 0 163708 6575287 0 0 0 1800.06/1800.02 c bounddisjunction : 0+ 0 6785 0 0 0 0 0 0 0 1800.06/1800.02 c countsols : 0 0 0 3589 0 0 0 0 0 0 1800.06/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.06/1800.02 c integral : 36.58 0.00 0.00 36.58 0.00 1800.06/1800.02 c indicator : 5.66 0.00 5.20 0.46 0.00 1800.06/1800.02 c knapsack : 37.96 0.00 37.96 0.00 0.00 1800.06/1800.02 c setppc : 11.30 0.00 11.30 0.00 0.00 1800.06/1800.02 c linear : 47.10 0.00 46.60 0.50 0.00 1800.06/1800.02 c logicor : 187.79 0.00 187.77 0.02 0.00 1800.06/1800.02 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 1800.06/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.06/1800.02 c Propagators : Time Calls Cutoffs DomReds 1800.06/1800.02 c vbounds : 0.00 2 0 0 1800.06/1800.02 c rootredcost : 0.00 31 0 829 1800.06/1800.02 c pseudoobj : 65.93 3846737 5327 1610473 1800.06/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.06/1800.02 c propagation : 12.06 330967 330427 1947508 25.8 10422 22.0 - 1800.06/1800.02 c infeasible LP : 18.78 104338 104337 806444 44.5 1067 15.1 0 1800.06/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.02 c pseudo solution : 0.01 29 29 196 17.5 11 10.1 - 1800.06/1800.02 c applied globally : - - - 1104805 25.9 - - - 1800.06/1800.02 c applied locally : - - - 0 0.0 - - - 1800.06/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.06/1800.02 c cut pool : 0.00 5 - - 81 - (maximal pool size: 253) 1800.06/1800.02 c redcost : 13.24 465327 0 196920 0 0 1800.06/1800.02 c impliedbounds : 0.00 6 0 0 0 0 1800.06/1800.02 c intobj : 0.00 0 0 0 0 0 1800.06/1800.02 c cgmip : 0.00 0 0 0 0 0 1800.06/1800.02 c gomory : 0.10 6 0 0 2216 0 1800.06/1800.02 c strongcg : 0.09 6 0 0 1505 0 1800.06/1800.02 c cmir : 0.00 6 0 0 2 0 1800.06/1800.02 c flowcover : 0.03 6 0 0 3 0 1800.06/1800.02 c clique : 0.00 6 0 0 0 0 1800.06/1800.02 c zerohalf : 0.00 0 0 0 0 0 1800.06/1800.02 c mcf : 0.00 1 0 0 0 0 1800.06/1800.02 c rapidlearning : 0.00 0 0 0 0 0 1800.06/1800.02 c Pricers : Time Calls Vars 1800.06/1800.02 c problem variables: 0.00 0 0 1800.06/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.06/1800.02 c relpscost : 36.48 442965 264 2603 0 0 881676 1800.06/1800.02 c pscost : 0.00 0 0 0 0 0 0 1800.06/1800.02 c inference : 0.28 3559 0 0 0 0 7118 1800.06/1800.02 c mostinf : 0.00 0 0 0 0 0 0 1800.06/1800.02 c leastinf : 0.00 0 0 0 0 0 0 1800.06/1800.02 c fullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.02 c random : 0.00 0 0 0 0 0 0 1800.06/1800.02 c Primal Heuristics : Time Calls Found 1800.06/1800.02 c LP solutions : 0.00 - 30 1800.06/1800.02 c pseudo solutions : 0.00 - 0 1800.06/1800.02 c feaspump : 0.01 1 0 1800.06/1800.02 c oneopt : 0.07 28 0 1800.06/1800.02 c intshifting : 0.01 15 0 1800.06/1800.02 c guideddiving : 0.16 82 0 1800.06/1800.02 c linesearchdiving : 0.15 82 0 1800.06/1800.02 c coefdiving : 0.19 82 0 1800.06/1800.02 c pscostdiving : 0.22 82 0 1800.06/1800.02 c fracdiving : 0.19 82 0 1800.06/1800.02 c veclendiving : 0.24 82 0 1800.06/1800.02 c objpscostdiving : 0.17 42 0 1800.06/1800.02 c rootsoldiving : 0.32 42 0 1800.06/1800.02 c crossover : 0.62 38 0 1800.06/1800.02 c trivial : 0.00 2 0 1800.06/1800.02 c simplerounding : 0.41 443541 0 1800.06/1800.02 c zirounding : 0.29 1000 0 1800.06/1800.02 c rounding : 0.93 9384 0 1800.06/1800.02 c shifting : 0.89 2901 0 1800.06/1800.02 c twoopt : 0.00 0 0 1800.06/1800.02 c fixandinfer : 0.00 0 0 1800.06/1800.02 c intdiving : 0.00 0 0 1800.06/1800.02 c actconsdiving : 0.00 0 0 1800.06/1800.02 c octane : 0.00 0 0 1800.06/1800.02 c rens : 0.03 1 0 1800.06/1800.02 c rins : 0.00 0 0 1800.06/1800.02 c localbranching : 0.00 0 0 1800.06/1800.02 c mutation : 0.00 0 0 1800.06/1800.02 c dins : 0.00 0 0 1800.06/1800.02 c undercover : 0.00 0 0 1800.06/1800.02 c nlp : 0.00 0 0 1800.06/1800.02 c trysol : 0.50 2672 285 1800.06/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec 1800.06/1800.02 c primal LP : 0.01 0 0 0.00 0.00 1800.06/1800.02 c dual LP : 944.87 563446 8891069 15.78 9409.83 1800.06/1800.02 c lex dual LP : 0.00 0 0 0.00 - 1800.06/1800.02 c barrier LP : 0.00 0 0 0.00 - 1800.06/1800.02 c diving/probing LP: 1.10 729 7184 9.85 6530.91 1800.06/1800.02 c strong branching : 31.71 10852 314419 28.97 9915.45 1800.06/1800.02 c (at root node) : - 33 3804 115.27 - 1800.06/1800.02 c conflict analysis: 0.00 0 0 0.00 - 1800.06/1800.02 c B&B Tree : 1800.06/1800.02 c number of runs : 1 1800.06/1800.02 c nodes : 829150 1800.06/1800.02 c nodes (total) : 829150 1800.06/1800.02 c nodes left : 3032 1800.06/1800.02 c max depth : 71 1800.06/1800.02 c max depth (total): 71 1800.06/1800.02 c backtracks : 102384 (12.3%) 1800.06/1800.02 c delayed cutoffs : 55011 1800.06/1800.02 c repropagations : 1573481 (4640507 domain reductions, 50470 cutoffs) 1800.06/1800.02 c avg switch length: 5.42 1800.06/1800.02 c switching time : 181.02 1800.06/1800.02 c Solution : 1800.06/1800.02 c Solutions found : 315 (31 improvements) 1800.06/1800.02 c First Solution : +4.29620000000000e+04 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>) 1800.06/1800.02 c Primal Bound : +6.00000000000000e+00 (in run 1, after 809275 nodes, 1659.76 seconds, depth 39, found by <relaxation>) 1800.06/1800.02 c Dual Bound : +0.00000000000000e+00 1800.06/1800.02 c Gap : infinite 1800.06/1800.02 c Root Dual Bound : +0.00000000000000e+00 1800.06/1800.02 c Root Iterations : 135 1800.06/1800.08 c Time complete: 1800.14.
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693564-1277910848/watcher-2693564-1277910848 -o /tmp/evaluation-result-2693564-1277910848/solver-2693564-1277910848 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693564-1277910848.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.92 1.98 1.99 3/196 15980 /proc/meminfo: memFree=31320304/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=10868 CPUtime=0 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 1666 0 0 0 0 0 0 0 22 0 1 0 132380019 11128832 1586 4089446400 4194304 9819077 140736195486352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15980/statm: 2717 1586 392 1374 0 1338 0 [startup+0.0379919 s] /proc/loadavg: 1.92 1.98 1.99 3/196 15980 /proc/meminfo: memFree=31320304/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=22032 CPUtime=0.03 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 4874 0 0 0 3 0 0 0 22 0 1 0 132380019 22560768 4440 4089446400 4194304 9819077 140736195486352 18446744073709551615 4561363 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 5508 4440 452 1374 0 4129 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 22032 [startup+0.100974 s] /proc/loadavg: 1.92 1.98 1.99 3/196 15980 /proc/meminfo: memFree=31320304/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=25880 CPUtime=0.09 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 7669 0 0 0 8 1 0 0 22 0 1 0 132380019 26501120 5179 4089446400 4194304 9819077 140736195486352 18446744073709551615 4333569 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 6470 5179 512 1374 0 5091 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25880 [startup+0.300936 s] /proc/loadavg: 1.92 1.98 1.99 3/196 15980 /proc/meminfo: memFree=31320304/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=34880 CPUtime=0.29 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 11578 0 0 0 26 3 0 0 22 0 1 0 132380019 35717120 7161 4089446400 4194304 9819077 140736195486352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 8720 7161 690 1374 0 7341 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 34880 [startup+0.700868 s] /proc/loadavg: 1.92 1.98 1.99 3/196 15980 /proc/meminfo: memFree=31320304/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=38880 CPUtime=0.69 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 28826 0 0 0 63 6 0 0 24 0 1 0 132380019 39813120 7591 4089446400 4194304 9819077 140736195486352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 9720 7591 722 1374 0 8341 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38880 [startup+1.50071 s] /proc/loadavg: 1.92 1.98 1.99 3/197 15981 /proc/meminfo: memFree=31292396/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=38892 CPUtime=1.49 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 37486 0 0 0 141 8 0 0 25 0 1 0 132380019 39825408 7641 4089446400 4194304 9819077 140736195486352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 9723 7641 722 1374 0 8344 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38892 [startup+3.10041 s] /proc/loadavg: 1.92 1.98 1.99 3/197 15981 /proc/meminfo: memFree=31292272/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=37232 CPUtime=3.09 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 56601 0 0 0 295 14 0 0 25 0 1 0 132380019 38125568 7695 4089446400 4194304 9819077 140736195486352 18446744073709551615 6519440 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 9308 7695 722 1374 0 7929 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37232 [startup+6.3008 s] /proc/loadavg: 1.93 1.98 1.99 3/197 15981 /proc/meminfo: memFree=31292600/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=42500 CPUtime=6.29 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 129845 0 0 0 599 30 0 0 25 0 1 0 132380019 43520000 8446 4089446400 4194304 9819077 140736195486352 18446744073709551615 6519535 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 10625 8446 726 1374 0 9246 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42500 [startup+12.7006 s] /proc/loadavg: 1.93 1.98 1.99 3/197 15982 /proc/meminfo: memFree=31284664/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=47600 CPUtime=12.7 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 241461 0 0 0 1202 68 0 0 25 0 1 0 132380019 48742400 10230 4089446400 4194304 9819077 140736195486352 18446744073709551615 8875210 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 11900 10230 727 1374 0 10521 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 47600 [startup+25.5002 s] /proc/loadavg: 1.95 1.98 1.99 3/197 15982 /proc/meminfo: memFree=31270308/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=63128 CPUtime=25.49 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 414319 0 0 0 2394 155 0 0 25 0 1 0 132380019 64643072 14052 4089446400 4194304 9819077 140736195486352 18446744073709551615 4208934 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 15782 14052 727 1374 0 14403 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 63128 [startup+51.1003 s] /proc/loadavg: 1.96 1.98 1.99 3/197 15982 /proc/meminfo: memFree=31247884/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=84464 CPUtime=51.1 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 695663 0 0 0 4797 313 0 0 25 0 1 0 132380019 86491136 19291 4089446400 4194304 9819077 140736195486352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 20918 19283 743 1374 0 19539 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 84464 [startup+102.307 s] /proc/loadavg: 1.98 1.98 1.99 3/197 15984 /proc/meminfo: memFree=31233400/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=97868 CPUtime=102.3 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 1269415 0 0 0 9609 621 0 0 25 0 1 0 132380019 100216832 22773 4089446400 4194304 9819077 140736195486352 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 24566 22775 744 1374 0 23187 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 97868 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 15985 /proc/meminfo: memFree=31226384/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=105212 CPUtime=162.29 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 1903024 0 0 0 15263 966 0 0 25 0 1 0 132380019 107737088 24517 4089446400 4194304 9819077 140736195486352 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 26303 24519 744 1374 0 24924 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 105212 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.99 3/197 15987 /proc/meminfo: memFree=31220112/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=113416 CPUtime=222.3 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 2586330 0 0 0 20928 1302 0 0 25 0 1 0 132380019 116137984 26037 4089446400 4194304 9819077 140736195486352 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 28354 26040 744 1374 0 26975 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 113416 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.99 3/197 15988 /proc/meminfo: memFree=31217180/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=114408 CPUtime=282.3 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 3296952 0 0 0 26580 1650 0 0 25 0 1 0 132380019 117153792 26620 4089446400 4194304 9819077 140736195486352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 28602 26620 744 1374 0 27223 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 114408 [startup+342.3 s] /proc/loadavg: 2.06 2.00 2.00 3/197 15990 /proc/meminfo: memFree=31214620/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=117540 CPUtime=342.3 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 3898334 0 0 0 32247 1983 0 0 25 0 1 0 132380019 120360960 27322 4089446400 4194304 9819077 140736195486352 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 29385 27322 744 1374 0 28006 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 117540 [startup+402.301 s] /proc/loadavg: 2.02 2.00 2.00 3/197 15992 /proc/meminfo: memFree=31213688/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=118492 CPUtime=402.31 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 4510812 0 0 0 37923 2308 0 0 25 0 1 0 132380019 121335808 27505 4089446400 4194304 9819077 140736195486352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 29623 27505 744 1374 0 28244 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 118492 [startup+462.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 16022 /proc/meminfo: memFree=31283600/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=118708 CPUtime=462.31 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 5196708 0 0 0 43568 2663 0 0 25 0 1 0 132380019 121556992 27571 4089446400 4194304 9819077 140736195486352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 29248 27553 744 1374 0 27869 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 118708 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16023 /proc/meminfo: memFree=31283204/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=119060 CPUtime=522.31 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 5863371 0 0 0 49226 3005 0 0 25 0 1 0 132380019 121917440 27654 4089446400 4194304 9819077 140736195486352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 29765 27654 744 1374 0 28386 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 119060 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16024 /proc/meminfo: memFree=31282420/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=119544 CPUtime=582.32 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 6527320 0 0 0 54896 3336 0 0 25 0 1 0 132380019 122413056 27768 4089446400 4194304 9819077 140736195486352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 29886 27768 744 1374 0 28507 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 119544 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16026 /proc/meminfo: memFree=31281280/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=120124 CPUtime=642.32 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 7155695 0 0 0 60566 3666 0 0 25 0 1 0 132380019 123006976 27943 4089446400 4194304 9819077 140736195486352 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 30031 27943 744 1374 0 28652 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 120124 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16031 /proc/meminfo: memFree=31278044/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=124288 CPUtime=822.32 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 9007730 0 0 0 77582 4650 0 0 25 0 1 0 132380019 127270912 28889 4089446400 4194304 9819077 140736195486352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 31072 28889 744 1374 0 29693 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 124288 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16032 /proc/meminfo: memFree=31277264/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=123940 CPUtime=882.33 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 9583014 0 0 0 83256 4977 0 0 25 0 1 0 132380019 126914560 28977 4089446400 4194304 9819077 140736195486352 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 30985 28977 744 1374 0 29606 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 123940 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16034 /proc/meminfo: memFree=31276976/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=124992 CPUtime=942.33 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 10101725 0 0 0 88944 5289 0 0 25 0 1 0 132380019 127991808 29124 4089446400 4194304 9819077 140736195486352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 31248 29124 744 1374 0 29869 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 124992 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16036 /proc/meminfo: memFree=31277060/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=125184 CPUtime=1002.33 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 10621113 0 0 0 94638 5595 0 0 25 0 1 0 132380019 128188416 29164 4089446400 4194304 9819077 140736195486352 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 31296 29164 744 1374 0 29917 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 125184 [startup+1062.3 s] /proc/loadavg: 2.13 2.03 2.01 3/179 16040 /proc/meminfo: memFree=31274876/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=126152 CPUtime=1062.33 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 11158825 0 0 0 100328 5905 0 0 25 0 1 0 132380019 129179648 29395 4089446400 4194304 9819077 140736195486352 18446744073709551615 6372722 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 31538 29395 744 1374 0 30159 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 126152 [startup+1122.3 s] /proc/loadavg: 2.05 2.02 2.00 3/179 16042 /proc/meminfo: memFree=31274768/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=126320 CPUtime=1122.33 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 11716520 0 0 0 106015 6218 0 0 25 0 1 0 132380019 129351680 29410 4089446400 4194304 9819077 140736195486352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 31580 29410 744 1374 0 30201 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 126320 [startup+1182.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 16043 /proc/meminfo: memFree=31274868/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=126304 CPUtime=1182.33 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 12360049 0 0 0 111678 6555 0 0 25 0 1 0 132380019 129335296 29476 4089446400 4194304 9819077 140736195486352 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 31576 29476 744 1374 0 30197 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 126304 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 16045 /proc/meminfo: memFree=31274564/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=126920 CPUtime=1242.34 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 12974666 0 0 0 117354 6880 0 0 25 0 1 0 132380019 129966080 29488 4089446400 4194304 9819077 140736195486352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 31730 29488 744 1374 0 30351 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 126920 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 16047 /proc/meminfo: memFree=31274160/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=127568 CPUtime=1302.34 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 13602613 0 0 0 123027 7207 0 0 25 0 1 0 132380019 130629632 29648 4089446400 4194304 9819077 140736195486352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 31892 29648 744 1374 0 30513 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 127568 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16048 /proc/meminfo: memFree=31274236/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=127616 CPUtime=1362.34 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 14233156 0 0 0 128694 7540 0 0 25 0 1 0 132380019 130678784 29647 4089446400 4194304 9819077 140736195486352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 31904 29647 744 1374 0 30525 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 127616 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 2.00 3/179 16050 /proc/meminfo: memFree=31274072/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=128296 CPUtime=1422.35 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 14853984 0 0 0 134364 7871 0 0 25 0 1 0 132380019 131375104 29769 4089446400 4194304 9819077 140736195486352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 32074 29769 744 1374 0 30695 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 128296 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16051 /proc/meminfo: memFree=31273908/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=128240 CPUtime=1482.35 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 15457413 0 0 0 140046 8189 0 0 25 0 1 0 132380019 131317760 29806 4089446400 4194304 9819077 140736195486352 18446744073709551615 6513008 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 32060 29806 744 1374 0 30681 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 128240 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16053 /proc/meminfo: memFree=31273632/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=129132 CPUtime=1542.34 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 16084592 0 0 0 145706 8528 0 0 25 0 1 0 132380019 132231168 29877 4089446400 4194304 9819077 140736195486352 18446744073709551615 6161955 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 32283 29877 744 1374 0 30904 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 129132 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16055 /proc/meminfo: memFree=31273324/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=129032 CPUtime=1602.35 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 16683443 0 0 0 151388 8847 0 0 25 0 1 0 132380019 132128768 29873 4089446400 4194304 9819077 140736195486352 18446744073709551615 4210552 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 32258 29873 744 1374 0 30879 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 129032 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16057 /proc/meminfo: memFree=31273540/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=128408 CPUtime=1662.35 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 17279616 0 0 0 157062 9173 0 0 25 0 1 0 132380019 131489792 29878 4089446400 4194304 9819077 140736195486352 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 32102 29879 744 1374 0 30723 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 128408 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16058 /proc/meminfo: memFree=31273132/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=129800 CPUtime=1722.36 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 17872052 0 0 0 162737 9499 0 0 25 0 1 0 132380019 132915200 30029 4089446400 4194304 9819077 140736195486352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 32450 30029 744 1374 0 31071 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 129800 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16059 /proc/meminfo: memFree=31271360/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=131156 CPUtime=1782.35 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 18456546 0 0 0 168419 9816 0 0 25 0 1 0 132380019 134303744 30412 4089446400 4194304 9819077 140736195486352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 32789 30412 744 1374 0 31410 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 131156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16060 /proc/meminfo: memFree=31269848/32951124 swapFree=67111528/67111528 [pid=15980] ppid=15978 vsize=132924 CPUtime=1800.06 /proc/15980/stat : 15980 (pbscip.linux.x8) R 15978 15980 14808 0 -1 4202496 18614747 0 0 0 170102 9904 0 0 25 0 1 0 132380019 136114176 30847 4089446400 4194304 9819077 140736195486352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15980/statm: 33231 30847 744 1374 0 31852 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 132924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.09 CPU time (s): 1800.15 CPU user time (s): 1701.1 CPU system time (s): 99.0539 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 135076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1701.1 system time used= 99.0539 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18614798 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= 3 involuntary context switches= 2719 runsolver used 2.45063 second user time and 5.75012 second system time The end
Begin job on node141 at 2010-06-30 17:14:08 IDJOB=2693564 IDBENCH=78981 IDSOLVER=1205 FILE ID=node141/2693564-1277910848 PBS_JOBID= 11197221 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 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.1900563801--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-2693564-1277910848/watcher-2693564-1277910848 -o /tmp/evaluation-result-2693564-1277910848/solver-2693564-1277910848 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693564-1277910848.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8222df718f0c39737e94bfab6b6fa003 RANDOM SEED=156425661 node141.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.788 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.57 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.788 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.68 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.788 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.83 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.788 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.75 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.788 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.80 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.788 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.75 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.788 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31321080 kB Buffers: 194668 kB Cached: 1143980 kB SwapCached: 0 kB Active: 718496 kB Inactive: 767156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31321080 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6292 kB Writeback: 0 kB AnonPages: 147668 kB Mapped: 20272 kB Slab: 79232 kB PageTables: 4656 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1654176 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= 74204 MiB End job on node141 at 2010-06-30 17:44:10