Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1800.18 | 1800.12 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo |
MD5SUM | a1fa880e8620ee0c5e9a297708544854 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 374.282 |
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 | 899 |
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 | 46330 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46329 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 625 |
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: SoPlex 1.4.2] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2692771-1277902720.wbo> 0.00/0.02 c original problem has 2029 variables (1130 bin, 0 int, 0 impl, 899 cont) and 3607 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.04 c presolving: 0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.00/0.07 c (round 2) 0 del vars, 110 del conss, 899 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.00/0.09 c (round 3) 51 del vars, 242 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.09/0.10 c (round 4) 118 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs 0.09/0.11 c (round 5) 134 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs 0.09/0.15 c (0.1s) probing: 101/1063 (9.5%) - 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 134 deleted vars, 258 deleted constraints, 915 tightened bounds, 0 added holes, 132 changed sides, 0 changed coefficients 0.09/0.15 c 1117 implications, 11 cliques 0.09/0.15 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3349 constraints 0.09/0.15 c 832 constraints of type <indicator> 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 11 constraints of type <setppc> 0.09/0.15 c 832 constraints of type <linear> 0.09/0.15 c 1673 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.10 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 | 51 | - |8646k| 0 | 33 |1895 |3349 |1895 |1685 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.17 o 42674 0.09/0.17 c y 0.1s| 1 | 0 | 104 | - |8676k| 0 | 33 |1895 |3349 |1895 |1685 | 0 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf 0.19/0.22 c 0.2s| 1 | 0 | 140 | - |8856k| 0 | 44 |1895 |3349 |1895 |1703 | 18 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf 0.19/0.29 c 0.2s| 1 | 0 | 197 | - |9245k| 0 | 49 |1895 |3349 |1895 |1711 | 26 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf 0.39/0.41 c 0.4s| 1 | 0 | 209 | - |9250k| 0 | 51 |1895 |3349 |1895 |1715 | 30 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf 0.49/0.53 c 0.5s| 1 | 0 | 239 | - |9253k| 0 | 52 |1895 |3349 |1895 |1718 | 33 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf 0.59/0.64 c 0.6s| 1 | 0 | 250 | - |9256k| 0 | 53 |1895 |3349 |1895 |1720 | 35 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf 0.69/0.76 c 0.7s| 1 | 0 | 255 | - |9288k| 0 | 53 |1895 |3349 |1895 |1724 | 39 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf 1.39/1.43 c 1.3s| 1 | 2 | 255 | - |9316k| 0 | 53 |1895 |3349 |1895 |1724 | 39 | 0 | 33 | 0.000000e+00 | 4.267400e+04 | Inf 15.19/15.24 o 904 15.19/15.24 c *14.7s| 1424 | 1219 | 14342 | 9.9 | 14M| 57 | - |1895 |3482 |1895 |1723 | 474 | 135 |1392 | 0.000000e+00 | 9.040000e+02 | Inf 15.19/15.24 o 835 15.19/15.24 c *14.8s| 1425 | 1182 | 14342 | 9.9 | 14M| 57 | - |1895 |3482 |1895 |1723 | 474 | 135 |1392 | 0.000000e+00 | 8.350000e+02 | Inf 15.29/15.31 o 818 15.29/15.31 c *14.8s| 1453 | 1200 | 14572 | 9.9 | 14M| 57 | - |1895 |3489 |1895 |1733 | 490 | 142 |1396 | 0.000000e+00 | 8.180000e+02 | Inf 15.29/15.37 o 804 15.29/15.37 c *14.9s| 1478 | 1210 | 14770 | 9.8 | 14M| 57 | - |1895 |3506 |1895 |1735 | 504 | 159 |1396 | 0.000000e+00 | 8.040000e+02 | Inf 15.69/15.79 o 797 15.69/15.79 c *15.3s| 1726 | 1431 | 15565 | 8.9 | 15M| 57 | - |1895 |3530 |1895 |1737 | 584 | 184 |1406 | 0.000000e+00 | 7.970000e+02 | Inf 15.69/15.79 o 792 15.69/15.79 c *15.3s| 1727 | 1428 | 15565 | 8.9 | 15M| 57 | - |1895 |3530 |1895 |1737 | 584 | 184 |1406 | 0.000000e+00 | 7.920000e+02 | Inf 17.99/18.03 o 766 17.99/18.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 17.99/18.03 c *17.4s| 2439 | 1966 | 23421 | 9.5 | 16M| 57 | - |1895 |3702 |1895 |1727 | 847 | 383 |1473 | 0.000000e+00 | 7.660000e+02 | Inf 18.19/18.27 o 477 18.19/18.27 c *17.7s| 2550 | 1189 | 24154 | 9.4 | 15M| 57 | - |1895 |3745 |1895 |1730 | 916 | 437 |1476 | 0.000000e+00 | 4.770000e+02 | Inf 18.49/18.52 o 471 18.49/18.52 c *17.9s| 2679 | 1238 | 24667 | 9.1 | 15M| 57 | - |1895 |3805 |1895 |1727 | 953 | 518 |1486 | 0.000000e+00 | 4.710000e+02 | Inf 18.89/18.91 o 456 18.89/18.91 c *18.3s| 2829 | 1272 | 26414 | 9.2 | 15M| 57 | - |1895 |3897 |1895 |1721 |1010 | 644 |1491 | 0.000000e+00 | 4.560000e+02 | Inf 19.20/19.27 o 438 19.20/19.27 c *18.6s| 2984 | 1306 | 27661 | 9.2 | 16M| 57 | - |1895 |3984 |1895 |1733 |1088 | 774 |1497 | 0.000000e+00 | 4.380000e+02 | Inf 19.60/19.60 o 410 19.60/19.60 c *18.9s| 3103 | 1272 | 28902 | 9.2 | 16M| 57 | - |1895 |4042 |1895 |1731 |1128 | 874 |1503 | 0.000000e+00 | 4.100000e+02 | Inf 19.60/19.66 o 398 19.60/19.66 c *19.0s| 3127 | 1224 | 29233 | 9.3 | 16M| 57 | - |1895 |4074 |1895 |1734 |1141 | 911 |1504 | 0.000000e+00 | 3.980000e+02 | Inf 19.80/19.88 o 385 19.80/19.88 c *19.2s| 3228 | 1200 | 29985 | 9.2 | 16M| 57 | - |1895 |4144 |1895 |1725 |1151 |1013 |1508 | 0.000000e+00 | 3.850000e+02 | Inf 19.99/20.05 o 363 19.99/20.05 c *19.4s| 3324 | 1172 | 30378 | 9.1 | 16M| 57 | - |1895 |4181 |1895 |1728 |1218 |1063 |1508 | 0.000000e+00 | 3.630000e+02 | Inf 20.10/20.13 o 361 20.10/20.13 c *19.5s| 3360 | 1185 | 30655 | 9.1 | 16M| 57 | - |1895 |4203 |1895 |1737 |1255 |1096 |1509 | 0.000000e+00 | 3.610000e+02 | Inf 20.10/20.13 o 333 20.10/20.13 c *19.5s| 3361 | 1070 | 30655 | 9.0 | 15M| 57 | - |1895 |4203 |1895 |1737 |1255 |1096 |1509 | 0.000000e+00 | 3.330000e+02 | Inf 20.90/20.95 o 321 20.90/20.95 c *20.2s| 3702 | 1157 | 34044 | 9.1 | 16M| 57 | - |1895 |4448 |1895 |1730 |1302 |1531 |1525 | 0.000000e+00 | 3.210000e+02 | Inf 20.99/21.04 o 318 20.99/21.04 c *20.3s| 3750 | 1157 | 34286 | 9.1 | 16M| 57 | - |1895 |4501 |1895 |1724 |1312 |1620 |1529 | 0.000000e+00 | 3.180000e+02 | Inf 21.09/21.11 o 313 21.09/21.11 c *20.4s| 3773 | 1166 | 34536 | 9.1 | 16M| 57 | - |1895 |4497 |1895 |1725 |1329 |1620 |1530 | 0.000000e+00 | 3.130000e+02 | Inf 22.59/22.64 o 300 22.59/22.64 c l21.9s| 4223 | 1294 | 41911 | 9.9 | 16M| 57 | - |1895 |4565 |1895 |1734 |1407 |2104 |1540 | 0.000000e+00 | 3.000000e+02 | Inf 24.59/24.64 o 286 24.59/24.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 24.59/24.64 c *23.8s| 4925 | 1564 | 49479 | 10.0 | 17M| 57 | - |1895 |4785 |1895 |1725 |1660 |2911 |1592 | 0.000000e+00 | 2.860000e+02 | Inf 24.89/24.94 o 247 24.89/24.94 c *24.1s| 5052 | 1540 | 50372 | 9.9 | 17M| 57 | - |1895 |4888 |1895 |1724 |1718 |3131 |1597 | 0.000000e+00 | 2.470000e+02 | Inf 24.89/24.97 o 237 24.89/24.97 c *24.1s| 5062 | 1520 | 50498 | 9.9 | 17M| 57 | - |1895 |4896 |1895 |1721 |1718 |3142 |1598 | 0.000000e+00 | 2.370000e+02 | Inf 24.89/24.98 o 224 24.89/24.98 c *24.1s| 5064 | 1471 | 50499 | 9.9 | 17M| 57 | - |1895 |4895 |1895 |1721 |1718 |3142 |1598 | 0.000000e+00 | 2.240000e+02 | Inf 26.49/26.56 o 212 26.49/26.56 c f25.6s| 5578 | 1668 | 57424 | 10.3 | 18M| 57 | - |1895 |4636 |1895 |1731 |1831 |3697 |1620 | 0.000000e+00 | 2.120000e+02 | Inf 27.09/27.18 o 201 27.09/27.18 c *26.2s| 5720 | 1715 | 60608 | 10.6 | 18M| 57 | - |1895 |4548 |1895 |1727 |1893 |3782 |1625 | 0.000000e+00 | 2.010000e+02 | Inf 27.19/27.21 o 194 27.19/27.21 c *26.2s| 5735 | 1677 | 60649 | 10.5 | 18M| 57 | - |1895 |4555 |1895 |1727 |1899 |3796 |1625 | 0.000000e+00 | 1.940000e+02 | Inf 29.49/29.57 o 167 29.49/29.57 c *28.5s| 6385 | 1793 | 70296 | 11.0 | 18M| 57 | - |1895 |5138 |1895 |1727 |2051 |4891 |1632 | 0.000000e+00 | 1.670000e+02 | Inf 31.19/31.23 o 165 31.19/31.23 c *30.1s| 7073 | 1985 | 76437 | 10.8 | 19M| 57 | - |1895 |5190 |1895 |1721 |2174 |5809 |1632 | 0.000000e+00 | 1.650000e+02 | Inf 31.19/31.29 o 161 31.19/31.29 c c30.2s| 7111 | 1980 | 76655 | 10.7 | 19M| 57 | - |1895 |5194 |1895 |1721 |2174 |5857 |1632 | 0.000000e+00 | 1.610000e+02 | Inf 31.49/31.59 o 159 31.49/31.59 c *30.4s| 7282 | 1989 | 77642 | 10.6 | 19M| 57 | - |1895 |5225 |1895 |1725 |2236 |6029 |1632 | 0.000000e+00 | 1.590000e+02 | Inf 31.99/32.08 o 147 31.99/32.08 c *30.9s| 7509 | 1965 | 79458 | 10.5 | 19M| 57 | - |1895 |5190 |1895 |1725 |2316 |6307 |1632 | 0.000000e+00 | 1.470000e+02 | Inf 42.39/42.41 c 40.9s| 10000 | 2813 |126439 | 12.6 | 25M| 57 | 17 |1895 |5886 |1895 |1730 |2707 |9503 |1774 | 0.000000e+00 | 1.470000e+02 | Inf 43.00/43.06 o 139 43.00/43.06 c *41.5s| 10219 | 2851 |129188 | 12.6 | 25M| 57 | - |1895 |6005 |1895 |1732 |2743 |9846 |1775 | 0.000000e+00 | 1.390000e+02 | Inf 43.09/43.11 o 135 43.09/43.11 c *41.5s| 10240 | 2840 |129287 | 12.6 | 25M| 57 | - |1895 |5979 |1895 |1729 |2751 |9873 |1775 | 0.000000e+00 | 1.350000e+02 | Inf 43.09/43.16 o 111 43.09/43.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 43.09/43.16 c *41.6s| 10270 | 2671 |129347 | 12.6 | 24M| 57 | - |1895 |5998 |1895 |1729 |2751 |9903 |1775 | 0.000000e+00 | 1.110000e+02 | Inf 43.09/43.19 o 109 43.09/43.19 c *41.6s| 10285 | 2660 |129363 | 12.6 | 24M| 57 | - |1895 |6007 |1895 |1729 |2753 |9914 |1775 | 0.000000e+00 | 1.090000e+02 | Inf 44.49/44.52 o 101 44.49/44.52 c l42.9s| 10540 | 2683 |135909 | 12.9 | 24M| 57 | - |1895 |5942 |1895 |1721 |2801 | 10k|1776 | 0.000000e+00 | 1.010000e+02 | Inf 48.89/48.93 o 86 48.89/48.93 c *47.2s| 11608 | 2782 |157766 | 13.6 | 26M| 57 | - |1895 |6132 |1895 |1721 |2900 | 11k|1777 | 0.000000e+00 | 8.600000e+01 | Inf 50.09/50.13 o 83 50.09/50.13 c p48.3s| 11855 | 2875 |163597 | 13.8 | 27M| 57 | - |1895 |6020 |1895 |1721 |2907 | 12k|1777 | 0.000000e+00 | 8.300000e+01 | Inf 54.49/54.54 o 76 54.49/54.54 c *52.6s| 13108 | 2938 |183876 | 14.0 | 28M| 62 | - |1895 |5231 |1895 |1721 |3003 | 13k|1777 | 0.000000e+00 | 7.600000e+01 | Inf 55.60/55.69 o 74 55.60/55.69 c *53.7s| 13641 | 2864 |188221 | 13.8 | 27M| 62 | - |1895 |5431 |1895 |1721 |3074 | 14k|1777 | 0.000000e+00 | 7.400000e+01 | Inf 58.00/58.02 o 50 58.00/58.02 c *55.9s| 14428 | 2525 |197733 | 13.7 | 25M| 62 | - |1895 |4421 |1895 |1722 |3216 | 15k|1778 | 0.000000e+00 | 5.000000e+01 | Inf 59.30/59.38 o 48 59.30/59.38 c *57.2s| 14928 | 2517 |203403 | 13.6 | 25M| 62 | - |1895 |4091 |1895 |1725 |3250 | 16k|1780 | 0.000000e+00 | 4.800000e+01 | Inf 59.39/59.44 o 45 59.39/59.44 c *57.3s| 14952 | 2497 |203623 | 13.6 | 25M| 62 | - |1895 |4085 |1895 |1725 |3250 | 16k|1780 | 0.000000e+00 | 4.500000e+01 | Inf 59.80/59.87 o 44 59.80/59.87 c *57.7s| 15142 | 2516 |205557 | 13.6 | 25M| 62 | - |1895 |4295 |1895 |1733 |3276 | 16k|1780 | 0.000000e+00 | 4.400000e+01 | Inf 61.60/61.66 o 39 61.60/61.66 c *59.4s| 16104 | 2460 |212067 | 13.2 | 25M| 70 | - |1895 |5394 |1895 |1725 |3372 | 18k|1780 | 0.000000e+00 | 3.900000e+01 | Inf 67.90/67.94 o 11 67.90/67.94 c *65.4s| 19085 | 1708 |235903 | 12.3 | 21M| 189 | - |1895 |5450 |1895 |1721 |3565 | 23k|1780 | 0.000000e+00 | 1.100000e+01 | Inf 70.00/70.04 c 67.3s| 20000 | 1635 |245508 | 12.3 | 20M| 189 | - |1895 |3987 | 0 | 0 |3654 | 25k|1783 | 0.000000e+00 | 1.100000e+01 | Inf 89.29/89.38 c 85.8s| 30000 | 1531 |330914 | 11.0 | 23M| 189 | 20 |1895 |9173 |1895 |1721 |4331 | 39k|1785 | 0.000000e+00 | 1.100000e+01 | Inf 106.99/107.08 o 7 106.99/107.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 106.99/107.08 c * 103s| 38673 | 1452 |404814 | 10.5 | 24M| 189 | - |1895 | 12k|1895 |1722 |5138 | 51k|1926 | 0.000000e+00 | 7.000000e+00 | Inf 109.69/109.78 c 105s| 40000 | 1447 |416185 | 10.4 | 24M| 189 | - |1895 | 12k| 0 | 0 |5315 | 53k|1931 | 0.000000e+00 | 7.000000e+00 | Inf 126.90/126.98 o 1 126.90/126.98 c * 121s| 48372 | 1449 |482364 | 10.0 | 25M| 189 | - |1895 | 13k|1895 |1721 |5908 | 65k|2193 | 0.000000e+00 | 1.000000e+00 | Inf 129.89/129.99 c 124s| 50000 | 1496 |493948 | 9.9 | 25M| 189 | - |1895 | 14k| 0 | 0 |6056 | 67k|2205 | 0.000000e+00 | 1.000000e+00 | Inf 150.29/150.36 c 144s| 60000 | 1518 |569003 | 9.5 | 27M| 189 | 8 |1895 | 18k|1895 |1721 |6756 | 80k|2396 | 0.000000e+00 | 1.000000e+00 | Inf 170.89/170.92 c 163s| 70000 | 1573 |636042 | 9.1 | 30M| 189 | 20 |1895 | 24k|1895 |1721 |7715 | 93k|2583 | 0.000000e+00 | 1.000000e+00 | Inf 192.50/192.50 c 184s| 80000 | 1694 |700706 | 8.8 | 33M| 189 | 21 |1895 | 28k|1895 |1721 |8439 | 107k|2684 | 0.000000e+00 | 1.000000e+00 | Inf 215.29/215.35 c 206s| 90000 | 1604 |765299 | 8.5 | 33M| 189 | - |1895 | 29k| 0 | 0 |9257 | 121k|2886 | 0.000000e+00 | 1.000000e+00 | Inf 239.20/239.21 c 229s|100000 | 1387 |838168 | 8.4 | 27M| 189 | 25 |1895 | 14k|1895 |1721 | 10k| 135k|3105 | 0.000000e+00 | 1.000000e+00 | Inf 258.70/258.77 c 247s|110000 | 1424 |906608 | 8.2 | 29M| 189 | - |1895 | 18k|1895 |1721 | 10k| 148k|3379 | 0.000000e+00 | 1.000000e+00 | Inf 280.80/280.86 c 269s|120000 | 1501 |984239 | 8.2 | 31M| 189 | 31 |1895 | 24k|1895 |1721 | 11k| 161k|3608 | 0.000000e+00 | 1.000000e+00 | Inf 304.40/304.46 c 291s|130000 | 1451 | 1061k| 8.2 | 32M| 189 | - |1895 | 26k| 0 | 0 | 12k| 175k|3716 | 0.000000e+00 | 1.000000e+00 | Inf 327.30/327.37 c 313s|140000 | 1367 | 1136k| 8.1 | 29M| 189 | - |1895 | 18k|1895 |1721 | 13k| 188k|3925 | 0.000000e+00 | 1.000000e+00 | Inf 350.00/350.00 c 335s|150000 | 1389 | 1214k| 8.1 | 32M| 189 | 25 |1895 | 23k|1895 |1721 | 14k| 201k|4130 | 0.000000e+00 | 1.000000e+00 | Inf 373.40/373.48 c 357s|160000 | 1291 | 1292k| 8.1 | 29M| 189 | - |1895 | 18k| 0 | 0 | 15k| 215k|4321 | 0.000000e+00 | 1.000000e+00 | Inf 396.80/396.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 396.80/396.87 c 379s|170000 | 1218 | 1383k| 8.1 | 29M| 189 | - |1895 | 17k|1895 |1730 | 16k| 229k|4472 | 0.000000e+00 | 1.000000e+00 | Inf 416.71/416.77 c 398s|180000 | 1205 | 1450k| 8.1 | 32M| 189 | 17 |1895 | 26k|1895 |1721 | 16k| 243k|4564 | 0.000000e+00 | 1.000000e+00 | Inf 439.00/439.02 c 419s|190000 | 1213 | 1517k| 8.0 | 34M| 189 | - |1895 | 30k| 0 | 0 | 17k| 256k|4664 | 0.000000e+00 | 1.000000e+00 | Inf 464.01/464.03 c 444s|200000 | 1255 | 1591k| 8.0 | 37M| 189 | 13 |1895 | 36k|1895 |1721 | 18k| 269k|4796 | 0.000000e+00 | 1.000000e+00 | Inf 490.30/490.37 c 469s|210000 | 1193 | 1661k| 7.9 | 36M| 189 | 29 |1895 | 34k|1895 |1721 | 18k| 283k|4924 | 0.000000e+00 | 1.000000e+00 | Inf 515.81/515.88 c 493s|220000 | 1305 | 1733k| 7.9 | 37M| 189 | 13 |1895 | 37k|1895 |1721 | 19k| 296k|5096 | 0.000000e+00 | 1.000000e+00 | Inf 542.71/542.77 c 519s|230000 | 1235 | 1809k| 7.9 | 39M| 189 | 18 |1895 | 41k|1895 |1721 | 20k| 309k|5197 | 0.000000e+00 | 1.000000e+00 | Inf 569.82/569.86 c 545s|240000 | 1216 | 1885k| 7.9 | 40M| 189 | 16 |1895 | 43k|1895 |1721 | 21k| 322k|5312 | 0.000000e+00 | 1.000000e+00 | Inf 596.81/596.86 c 571s|250000 | 1202 | 1958k| 7.8 | 41M| 189 | - |1895 | 47k| 0 | 0 | 21k| 335k|5428 | 0.000000e+00 | 1.000000e+00 | Inf 625.61/625.61 c 599s|260000 | 1233 | 2029k| 7.8 | 44M| 189 | 15 |1895 | 54k|1895 |1721 | 22k| 349k|5536 | 0.000000e+00 | 1.000000e+00 | Inf 655.81/655.89 c 629s|270000 | 1310 | 2100k| 7.8 | 47M| 189 | - |1895 | 60k| 0 | 0 | 23k| 363k|5643 | 0.000000e+00 | 1.000000e+00 | Inf 687.01/687.08 c 659s|280000 | 1219 | 2168k| 7.7 | 46M| 189 | 26 |1895 | 57k|1895 |1721 | 23k| 377k|5732 | 0.000000e+00 | 1.000000e+00 | Inf 718.91/718.93 c 690s|290000 | 1212 | 2242k| 7.7 | 46M| 189 | 17 |1895 | 58k|1895 |1721 | 24k| 390k|5886 | 0.000000e+00 | 1.000000e+00 | Inf 750.91/750.96 c 721s|300000 | 1234 | 2311k| 7.7 | 47M| 189 | - |1895 | 62k|1895 |1721 | 25k| 404k|5992 | 0.000000e+00 | 1.000000e+00 | Inf 784.71/784.79 c 754s|310000 | 1352 | 2379k| 7.7 | 50M| 189 | 29 |1895 | 67k|1895 |1721 | 26k| 418k|6085 | 0.000000e+00 | 1.000000e+00 | Inf 818.32/818.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 818.32/818.37 c 786s|320000 | 1220 | 2442k| 7.6 | 49M| 189 | - |1895 | 66k| 0 | 0 | 26k| 432k|6181 | 0.000000e+00 | 1.000000e+00 | Inf 852.82/852.84 c 820s|330000 | 1254 | 2513k| 7.6 | 49M| 189 | - |1895 | 65k| 0 | 0 | 27k| 445k|6326 | 0.000000e+00 | 1.000000e+00 | Inf 888.72/888.78 c 855s|340000 | 1238 | 2594k| 7.6 | 50M| 189 | 3 |1895 | 69k|1895 |1721 | 28k| 458k|6439 | 0.000000e+00 | 1.000000e+00 | Inf 926.72/926.78 c 892s|350000 | 1218 | 2672k| 7.6 | 51M| 189 | 32 |1895 | 70k|1895 |1721 | 29k| 472k|6527 | 0.000000e+00 | 1.000000e+00 | Inf 966.12/966.19 c 930s|360000 | 1383 | 2754k| 7.6 | 53M| 189 | - |1895 | 75k| 0 | 0 | 30k| 485k|6628 | 0.000000e+00 | 1.000000e+00 | Inf 1006.32/1006.36 c 969s|370000 | 1584 | 2840k| 7.7 | 57M| 189 | 21 |1895 | 80k|1895 |1721 | 30k| 498k|6727 | 0.000000e+00 | 1.000000e+00 | Inf 1046.23/1046.28 c 1008s|380000 | 1586 | 2924k| 7.7 | 57M| 189 | - |1895 | 80k| 0 | 0 | 31k| 513k|6800 | 0.000000e+00 | 1.000000e+00 | Inf 1084.72/1084.74 c 1046s|390000 | 1713 | 3000k| 7.7 | 60M| 189 | 9 |1895 | 85k|1895 |1721 | 32k| 527k|6871 | 0.000000e+00 | 1.000000e+00 | Inf 1123.13/1123.11 c 1083s|400000 | 1732 | 3074k| 7.7 | 60M| 189 | - |1895 | 84k| 0 | 0 | 33k| 542k|6957 | 0.000000e+00 | 1.000000e+00 | Inf 1164.83/1164.83 c 1123s|410000 | 1714 | 3155k| 7.7 | 60M| 189 | - |1895 | 83k|1895 |1721 | 34k| 556k|7035 | 0.000000e+00 | 1.000000e+00 | Inf 1205.83/1205.86 c 1163s|420000 | 1627 | 3227k| 7.7 | 60M| 189 | 14 |1895 | 83k|1895 |1721 | 34k| 570k|7110 | 0.000000e+00 | 1.000000e+00 | Inf 1248.22/1248.27 c 1205s|430000 | 1560 | 3310k| 7.7 | 59M| 189 | - |1895 | 82k|1895 |1721 | 35k| 584k|7186 | 0.000000e+00 | 1.000000e+00 | Inf 1290.43/1290.45 c 1246s|440000 | 1557 | 3393k| 7.7 | 59M| 189 | - |1895 | 82k| 0 | 0 | 36k| 598k|7255 | 0.000000e+00 | 1.000000e+00 | Inf 1331.73/1331.73 c 1286s|450000 | 1410 | 3474k| 7.7 | 57M| 189 | 35 |1895 | 80k|1895 |1721 | 37k| 612k|7334 | 0.000000e+00 | 1.000000e+00 | Inf 1371.93/1371.91 c 1325s|460000 | 1359 | 3551k| 7.7 | 58M| 189 | 18 |1895 | 83k|1895 |1721 | 38k| 627k|7385 | 0.000000e+00 | 1.000000e+00 | Inf 1412.44/1412.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1412.44/1412.47 c 1365s|470000 | 1311 | 3626k| 7.7 | 58M| 189 | - |1895 | 84k| 0 | 0 | 39k| 641k|7436 | 0.000000e+00 | 1.000000e+00 | Inf 1456.73/1456.79 c 1408s|480000 | 1332 | 3708k| 7.7 | 59M| 189 | - |1895 | 86k| 0 | 0 | 40k| 654k|7514 | 0.000000e+00 | 1.000000e+00 | Inf 1500.23/1500.27 c 1450s|490000 | 1412 | 3781k| 7.7 | 59M| 189 | 22 |1895 | 85k|1895 |1721 | 40k| 668k|7599 | 0.000000e+00 | 1.000000e+00 | Inf 1542.74/1542.73 c 1492s|500000 | 1320 | 3847k| 7.7 | 59M| 189 | - |1895 | 85k| 0 | 0 | 41k| 682k|7679 | 0.000000e+00 | 1.000000e+00 | Inf 1584.54/1584.50 c 1532s|510000 | 1283 | 3917k| 7.7 | 60M| 189 | 16 |1895 | 88k|1895 |1721 | 42k| 697k|7745 | 0.000000e+00 | 1.000000e+00 | Inf 1625.64/1625.67 c 1572s|520000 | 1304 | 3987k| 7.7 | 59M| 189 | - |1895 | 86k| 0 | 0 | 43k| 710k|7781 | 0.000000e+00 | 1.000000e+00 | Inf 1665.74/1665.79 c 1612s|530000 | 1431 | 4064k| 7.7 | 61M| 189 | 19 |1895 | 90k|1895 |1721 | 43k| 724k|7867 | 0.000000e+00 | 1.000000e+00 | Inf 1705.84/1705.85 c 1651s|540000 | 1418 | 4140k| 7.7 | 60M| 189 | - |1895 | 88k| 0 | 0 | 44k| 739k|7936 | 0.000000e+00 | 1.000000e+00 | Inf 1746.35/1746.30 c 1690s|550000 | 1408 | 4215k| 7.7 | 62M| 189 | - |1895 | 91k| 0 | 0 | 45k| 753k|8005 | 0.000000e+00 | 1.000000e+00 | Inf 1786.74/1786.72 c 1729s|560000 | 1273 | 4288k| 7.7 | 61M| 189 | 23 |1895 | 90k|1895 |1721 | 46k| 767k|8083 | 0.000000e+00 | 1.000000e+00 | Inf 1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.00 c 1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.00 c Solving Time (sec) : 1742.21 1800.05/1800.00 c Solving Nodes : 563061 1800.05/1800.00 c Primal Bound : +1.00000000000000e+00 (188 solutions) 1800.05/1800.00 c Dual Bound : +0.00000000000000e+00 1800.05/1800.00 c Gap : infinite 1800.05/1800.01 s SATISFIABLE 1800.05/1800.01 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 1800.05/1800.01 v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1800.05/1800.01 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 1800.05/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 1800.05/1800.01 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 1800.05/1800.01 v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 1800.05/1800.01 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.05/1800.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 -x54 1800.05/1800.01 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.05/1800.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 1800.05/1800.01 v -x1 1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.01 c Solving Time : 1742.21 1800.05/1800.01 c Original Problem : 1800.05/1800.01 c Problem name : HOME/instance-2692771-1277902720.wbo 1800.05/1800.01 c Variables : 2029 (1130 binary, 0 integer, 0 implicit integer, 899 continuous) 1800.05/1800.01 c Constraints : 3607 initial, 3607 maximal 1800.05/1800.01 c Presolved Problem : 1800.05/1800.01 c Problem name : t_HOME/instance-2692771-1277902720.wbo 1800.05/1800.01 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous) 1800.05/1800.01 c Constraints : 3349 initial, 92501 maximal 1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.01 c trivial : 0.00 67 0 0 0 0 0 0 0 1800.05/1800.01 c dualfix : 0.00 67 0 0 0 0 0 0 0 1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0 1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 67 0 0 1800.05/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c linear : 0.04 0 0 0 915 0 191 132 0 1800.05/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c root node : - 832 - - 1664 - - - - 1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.01 c integral : 0 0 0 322744 0 92 1980 0 0 619416 1800.05/1800.01 c indicator : 832 0 221351 3681 0 173 671071 0 0 0 1800.05/1800.01 c knapsack : 1 6 2545700 9461 0 54914 5276292 0 0 0 1800.05/1800.01 c setppc : 11 6 2495236 9781 0 21970 1442138 0 0 0 1800.05/1800.01 c linear : 832 6 2475764 10612 0 67985 3624597 46849 0 0 1800.05/1800.01 c logicor : 1673+ 6 1376702 2512 0 96341 5287602 0 0 0 1800.05/1800.01 c bounddisjunction : 0+ 0 3005 0 0 0 2 0 0 0 1800.05/1800.01 c countsols : 0 0 0 2512 0 0 0 0 0 0 1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.01 c integral : 34.24 0.00 0.00 34.24 0.00 1800.05/1800.01 c indicator : 1.23 0.00 1.13 0.10 0.00 1800.05/1800.01 c knapsack : 34.46 0.00 34.45 0.01 0.00 1800.05/1800.01 c setppc : 9.42 0.00 9.42 0.00 0.00 1800.05/1800.01 c linear : 41.62 0.00 41.45 0.17 0.00 1800.05/1800.01 c logicor : 462.09 0.00 462.06 0.03 0.00 1800.05/1800.01 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.01 c vbounds : 0.00 2 0 0 1800.05/1800.01 c rootredcost : 0.01 51 0 832 1800.05/1800.01 c pseudoobj : 40.12 2555625 1894 533390 1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.01 c propagation : 10.48 243104 242391 1594593 29.4 6792 24.5 - 1800.05/1800.01 c infeasible LP : 12.03 62704 62702 504350 41.7 538 17.1 0 1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.01 c pseudo solution : 0.01 54 54 443 21.0 14 9.4 - 1800.05/1800.01 c applied globally : - - - 771254 26.5 - - - 1800.05/1800.01 c applied locally : - - - 0 0.0 - - - 1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.01 c cut pool : 0.00 5 - - 113 - (maximal pool size: 253) 1800.05/1800.01 c redcost : 7.69 323602 0 128107 0 0 1800.05/1800.01 c impliedbounds : 0.00 6 0 0 0 0 1800.05/1800.01 c intobj : 0.00 0 0 0 0 0 1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.01 c gomory : 0.26 6 0 0 1130 0 1800.05/1800.01 c strongcg : 0.21 6 0 0 876 0 1800.05/1800.01 c cmir : 0.02 6 0 0 0 0 1800.05/1800.01 c flowcover : 0.06 6 0 0 1 0 1800.05/1800.01 c clique : 0.00 6 0 0 0 0 1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.01 c mcf : 0.00 1 0 0 0 0 1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0 1800.05/1800.01 c Pricers : Time Calls Vars 1800.05/1800.01 c problem variables: 0.00 0 0 1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.01 c relpscost : 34.17 311372 92 1980 0 0 619416 1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.01 c inference : 0.15 2467 0 0 0 0 4934 1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.01 c random : 0.00 0 0 0 0 0 0 1800.05/1800.01 c Primal Heuristics : Time Calls Found 1800.05/1800.01 c LP solutions : 0.02 - 45 1800.05/1800.01 c pseudo solutions : 0.00 - 0 1800.05/1800.01 c feaspump : 0.02 1 0 1800.05/1800.01 c oneopt : 0.23 48 0 1800.05/1800.01 c crossover : 0.42 23 0 1800.05/1800.01 c pscostdiving : 0.44 235 1 1800.05/1800.01 c fracdiving : 0.43 235 1 1800.05/1800.01 c veclendiving : 0.45 235 0 1800.05/1800.01 c linesearchdiving : 0.36 235 2 1800.05/1800.01 c guideddiving : 0.56 235 0 1800.05/1800.01 c coefdiving : 0.57 236 1 1800.05/1800.01 c rootsoldiving : 0.85 163 0 1800.05/1800.01 c objpscostdiving : 0.34 164 0 1800.05/1800.01 c trivial : 0.00 2 0 1800.05/1800.01 c simplerounding : 0.28 311672 0 1800.05/1800.01 c zirounding : 0.10 1000 0 1800.05/1800.01 c rounding : 0.83 7797 0 1800.05/1800.01 c shifting : 0.75 2429 0 1800.05/1800.01 c intshifting : 0.01 18 0 1800.05/1800.01 c twoopt : 0.00 0 0 1800.05/1800.01 c fixandinfer : 0.00 0 0 1800.05/1800.01 c intdiving : 0.00 0 0 1800.05/1800.01 c actconsdiving : 0.00 0 0 1800.05/1800.01 c octane : 0.00 0 0 1800.05/1800.01 c rens : 0.03 1 0 1800.05/1800.01 c rins : 0.00 0 0 1800.05/1800.01 c localbranching : 0.00 0 0 1800.05/1800.01 c mutation : 0.00 0 0 1800.05/1800.01 c dins : 0.00 0 0 1800.05/1800.01 c undercover : 0.00 0 0 1800.05/1800.01 c nlp : 0.00 0 0 1800.05/1800.01 c trysol : 0.18 1143 138 1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.01 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.01 c dual LP : 597.99 382155 4299001 11.25 7189.09 1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.01 c diving/probing LP: 2.18 1828 12630 6.91 5793.58 1800.05/1800.01 c strong branching : 30.69 8102 213995 26.41 6972.79 1800.05/1800.01 c (at root node) : - 33 4333 131.30 - 1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.01 c B&B Tree : 1800.05/1800.01 c number of runs : 1 1800.05/1800.01 c nodes : 563061 1800.05/1800.01 c nodes (total) : 563061 1800.05/1800.01 c nodes left : 1278 1800.05/1800.01 c max depth : 189 1800.05/1800.01 c max depth (total): 189 1800.05/1800.01 c backtracks : 84274 (15.0%) 1800.05/1800.01 c delayed cutoffs : 55497 1800.05/1800.01 c repropagations : 897398 (3679964 domain reductions, 54303 cutoffs) 1800.05/1800.01 c avg switch length: 4.64 1800.05/1800.01 c switching time : 285.46 1800.05/1800.01 c Solution : 1800.05/1800.01 c Solutions found : 188 (51 improvements) 1800.05/1800.01 c First Solution : +4.26740000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>) 1800.05/1800.01 c Primal Bound : +1.00000000000000e+00 (in run 1, after 48372 nodes, 121.35 seconds, depth 32, found by <relaxation>) 1800.05/1800.01 c Dual Bound : +0.00000000000000e+00 1800.05/1800.01 c Gap : infinite 1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.01 c Root Iterations : 255 1800.15/1800.12 c Time complete: 1800.17.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692771-1277902720/watcher-2692771-1277902720 -o /tmp/evaluation-result-2692771-1277902720/solver-2692771-1277902720 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692771-1277902720.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.93 1.99 1.99 3/196 15787 /proc/meminfo: memFree=30992940/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=9304 CPUtime=0 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1619 0 0 0 0 0 0 0 21 0 1 0 131567473 9527296 1539 4089446400 4194304 8223781 140735942638800 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15787/statm: 2326 1539 369 984 0 1339 0 [startup+0.0977251 s] /proc/loadavg: 1.93 1.99 1.99 3/196 15787 /proc/meminfo: memFree=30992940/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=23428 CPUtime=0.09 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 6574 0 0 0 8 1 0 0 21 0 1 0 131567473 23990272 4845 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 5893 4849 457 984 0 4906 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23428 [startup+0.100733 s] /proc/loadavg: 1.93 1.99 1.99 3/196 15787 /proc/meminfo: memFree=30992940/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=23572 CPUtime=0.09 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 6836 0 0 0 8 1 0 0 21 0 1 0 131567473 24137728 4850 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 5893 4850 458 984 0 4906 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23572 [startup+0.300688 s] /proc/loadavg: 1.93 1.99 1.99 3/196 15787 /proc/meminfo: memFree=30992940/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=31332 CPUtime=0.29 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 11342 0 0 0 27 2 0 0 18 0 1 0 131567473 32083968 6960 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 7833 6960 582 984 0 6846 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31332 [startup+0.700613 s] /proc/loadavg: 1.93 1.99 1.99 3/196 15787 /proc/meminfo: memFree=30992940/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=31936 CPUtime=0.69 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 11507 0 0 0 65 4 0 0 18 0 1 0 131567473 32702464 7118 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 7984 7118 583 984 0 6997 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31936 [startup+1.50047 s] /proc/loadavg: 1.93 1.99 1.99 3/197 15788 /proc/meminfo: memFree=30965776/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=32068 CPUtime=1.49 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 26050 0 0 0 141 8 0 0 19 0 1 0 131567473 32837632 7177 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 8017 7177 600 984 0 7030 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32068 [startup+3.10018 s] /proc/loadavg: 1.93 1.99 1.99 3/197 15788 /proc/meminfo: memFree=30965404/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=32068 CPUtime=3.09 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 26202 0 0 0 297 12 0 0 24 0 1 0 131567473 32837632 7177 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 8017 7177 600 984 0 7030 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32068 [startup+6.30059 s] /proc/loadavg: 1.94 1.99 1.99 3/197 15788 /proc/meminfo: memFree=30965816/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=32220 CPUtime=6.29 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 29926 0 0 0 610 19 0 0 25 0 1 0 131567473 32993280 7230 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 8055 7230 603 984 0 7068 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32220 [startup+12.7004 s] /proc/loadavg: 1.94 1.99 1.99 3/197 15788 /proc/meminfo: memFree=30965200/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=34616 CPUtime=12.69 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 57176 0 0 0 1232 37 0 0 25 0 1 0 131567473 35446784 7693 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 8654 7693 604 984 0 7667 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34616 [startup+25.5011 s] /proc/loadavg: 1.95 1.99 1.99 3/197 15788 /proc/meminfo: memFree=30954616/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=46168 CPUtime=25.49 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 112656 0 0 0 2462 87 0 0 25 0 1 0 131567473 47276032 10516 4089446400 4194304 8223781 140735942638800 18446744073709551615 4660267 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 11542 10516 607 984 0 10555 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46168 [startup+51.1004 s] /proc/loadavg: 1.97 1.99 1.99 3/197 15789 /proc/meminfo: memFree=30933500/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=67884 CPUtime=51.09 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 191337 0 0 0 4927 182 0 0 25 0 1 0 131567473 69513216 15818 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 16971 15818 607 984 0 15984 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 67884 [startup+102.306 s] /proc/loadavg: 1.98 1.99 1.99 3/197 15790 /proc/meminfo: memFree=30918300/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=82520 CPUtime=102.3 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 322334 0 0 0 9804 426 0 0 25 0 1 0 131567473 84500480 19438 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 20630 19438 607 984 0 19643 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 82520 [startup+162.301 s] /proc/loadavg: 1.99 1.99 1.99 3/197 15801 /proc/meminfo: memFree=30909180/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=90448 CPUtime=162.3 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 420687 0 0 0 15514 716 0 0 25 0 1 0 131567473 92618752 21411 4089446400 4194304 8223781 140735942638800 18446744073709551615 6592846 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 22626 21417 607 984 0 21639 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 90448 [startup+222.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 15803 /proc/meminfo: memFree=30904012/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=95688 CPUtime=222.29 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 495019 0 0 0 21260 969 0 0 25 0 1 0 131567473 97984512 22670 4089446400 4194304 8223781 140735942638800 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 23922 22670 607 984 0 22935 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 95688 [startup+282.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 15804 /proc/meminfo: memFree=30902824/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=96440 CPUtime=282.29 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 579269 0 0 0 26992 1237 0 0 25 0 1 0 131567473 98754560 22860 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 24110 22860 607 984 0 23123 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 96440 [startup+342.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 15805 /proc/meminfo: memFree=30901264/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=99304 CPUtime=342.3 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 659933 0 0 0 32729 1501 0 0 25 0 1 0 131567473 101687296 23263 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 24826 23263 607 984 0 23839 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 99304 [startup+402.3 s] /proc/loadavg: 2.07 2.01 2.00 3/197 15807 /proc/meminfo: memFree=30900836/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=99312 CPUtime=402.31 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 811518 0 0 0 38445 1786 0 0 25 0 1 0 131567473 101695488 23283 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 24828 23283 607 984 0 23841 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 99312 [startup+462.3 s] /proc/loadavg: 2.02 2.00 2.00 3/197 15809 /proc/meminfo: memFree=30898916/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=101380 CPUtime=462.3 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 917597 0 0 0 44185 2045 0 0 25 0 1 0 131567473 103813120 23855 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 25345 23855 607 984 0 24358 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 101380 [startup+522.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 15810 /proc/meminfo: memFree=30895124/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=105936 CPUtime=522.3 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 941904 0 0 0 49964 2266 0 0 25 0 1 0 131567473 108478464 24810 4089446400 4194304 8223781 140735942638800 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 26484 24810 607 984 0 25497 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 105936 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15812 /proc/meminfo: memFree=30893320/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=107456 CPUtime=582.31 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 978410 0 0 0 55745 2486 0 0 25 0 1 0 131567473 110034944 25192 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 26864 25192 607 984 0 25877 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 107456 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15813 /proc/meminfo: memFree=30890276/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=109856 CPUtime=642.31 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1032099 0 0 0 61538 2693 0 0 25 0 1 0 131567473 112492544 25870 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 27464 25870 607 984 0 26477 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 109856 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15850 /proc/meminfo: memFree=30951224/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=120488 CPUtime=882.32 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1217835 0 0 0 84828 3404 0 0 25 0 1 0 131567473 123379712 28411 4089446400 4194304 8223781 140735942638800 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 30122 28411 607 984 0 29135 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 120488 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15851 /proc/meminfo: memFree=30949568/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=123060 CPUtime=942.32 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1220421 0 0 0 90681 3551 0 0 25 0 1 0 131567473 126013440 28861 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 30765 28861 607 984 0 29778 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 123060 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15853 /proc/meminfo: memFree=30946052/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=126480 CPUtime=1002.32 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1222417 0 0 0 96529 3703 0 0 25 0 1 0 131567473 129515520 29684 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 31620 29684 607 984 0 30633 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 126480 [startup+1062.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 15855 /proc/meminfo: memFree=30944536/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=128280 CPUtime=1062.33 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1276880 0 0 0 102366 3867 0 0 25 0 1 0 131567473 131358720 30169 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 32070 30169 607 984 0 31083 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 128280 [startup+1122.3 s] /proc/loadavg: 2.10 2.03 2.01 3/179 15857 /proc/meminfo: memFree=30941772/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=130600 CPUtime=1122.33 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1305814 0 0 0 108211 4022 0 0 25 0 1 0 131567473 133734400 30787 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 32650 30787 607 984 0 31663 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 130600 [startup+1182.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 15858 /proc/meminfo: memFree=30940964/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=131196 CPUtime=1182.32 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1352740 0 0 0 114049 4183 0 0 25 0 1 0 131567473 134344704 30944 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 32799 30944 607 984 0 31812 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 131196 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 15859 /proc/meminfo: memFree=30940056/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=131920 CPUtime=1242.33 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1413373 0 0 0 119892 4341 0 0 25 0 1 0 131567473 135086080 31029 4089446400 4194304 8223781 140735942638800 18446744073709551615 4431706 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 32980 31029 607 984 0 31993 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 131920 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15861 /proc/meminfo: memFree=30939888/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=131952 CPUtime=1302.33 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1482760 0 0 0 125735 4498 0 0 25 0 1 0 131567473 135118848 31099 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 32988 31099 607 984 0 32001 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 131952 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15863 /proc/meminfo: memFree=30939500/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=131920 CPUtime=1362.33 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1550258 0 0 0 131572 4661 0 0 25 0 1 0 131567473 135086080 31093 4089446400 4194304 8223781 140735942638800 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 32980 31093 607 984 0 31993 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 131920 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15865 /proc/meminfo: memFree=30938968/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=132060 CPUtime=1422.34 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1621603 0 0 0 137412 4822 0 0 25 0 1 0 131567473 135229440 31159 4089446400 4194304 8223781 140735942638800 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 33015 31159 607 984 0 32028 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 132060 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15866 /proc/meminfo: memFree=30939068/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=132092 CPUtime=1482.33 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1689723 0 0 0 143265 4968 0 0 25 0 1 0 131567473 135262208 31209 4089446400 4194304 8223781 140735942638800 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 33023 31209 607 984 0 32036 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 132092 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15867 /proc/meminfo: memFree=30938792/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=132928 CPUtime=1542.33 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1750065 0 0 0 149123 5110 0 0 25 0 1 0 131567473 136118272 31277 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 33232 31277 607 984 0 32245 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 132928 [startup+1602.3 s] /proc/loadavg: 2.08 2.02 2.01 3/179 15869 /proc/meminfo: memFree=30938640/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=132928 CPUtime=1602.34 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1825796 0 0 0 154970 5264 0 0 25 0 1 0 131567473 136118272 31309 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 33232 31309 607 984 0 32245 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 132928 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 15871 /proc/meminfo: memFree=30938488/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=132952 CPUtime=1662.34 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1902347 0 0 0 160815 5419 0 0 25 0 1 0 131567473 136142848 31370 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 33238 31370 607 984 0 32251 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 132952 [startup+1722.3 s] /proc/loadavg: 2.05 2.02 2.00 3/179 15873 /proc/meminfo: memFree=30937592/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=133788 CPUtime=1722.34 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 1981552 0 0 0 166660 5574 0 0 25 0 1 0 131567473 136998912 31583 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 33447 31583 607 984 0 32460 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 133788 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 15874 /proc/meminfo: memFree=30936944/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=134012 CPUtime=1782.35 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 2063505 0 0 0 172496 5739 0 0 25 0 1 0 131567473 137228288 31668 4089446400 4194304 8223781 140735942638800 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 33503 31668 607 984 0 32516 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 134012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.01 2.00 3/179 15875 /proc/meminfo: memFree=30936936/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=134012 CPUtime=1800.05 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 2085693 0 0 0 174223 5782 0 0 25 0 1 0 131567473 137228288 31668 4089446400 4194304 8223781 140735942638800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15787/statm: 33503 31668 607 984 0 32516 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 134012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.01 2.01 2.00 3/179 15875 /proc/meminfo: memFree=30936936/32951124 swapFree=67111528/67111528 [pid=15787] ppid=15785 vsize=133300 CPUtime=1800.15 /proc/15787/stat : 15787 (pbscip.linux.x8) R 15785 15787 15584 0 -1 4202496 2085797 0 0 0 174233 5782 0 0 18 0 1 0 131567473 136499200 31482 4089446400 4194304 8223781 140735942638800 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15787/statm: 33325 31482 609 984 0 32338 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 133300 Child status: 0 Real time (s): 1800.12 CPU time (s): 1800.18 CPU user time (s): 1742.34 CPU system time (s): 57.8362 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 134312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1742.34 system time used= 57.8362 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2085801 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= 4 involuntary context switches= 968 runsolver used 2.69859 second user time and 5.50516 second system time The end
Begin job on node139 at 2010-06-30 14:58:40 IDJOB=2692771 IDBENCH=78904 IDSOLVER=1204 FILE ID=node139/2692771-1277902720 PBS_JOBID= 11197246 Free space on /tmp= 74124 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692771-1277902720/watcher-2692771-1277902720 -o /tmp/evaluation-result-2692771-1277902720/solver-2692771-1277902720 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692771-1277902720.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a1fa880e8620ee0c5e9a297708544854 RANDOM SEED=492850741 node139.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.840 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.68 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.840 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.75 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.840 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.82 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.840 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.840 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.78 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.840 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.840 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.840 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: 30993344 kB Buffers: 191412 kB Cached: 1471824 kB SwapCached: 0 kB Active: 819464 kB Inactive: 991412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30993344 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4720 kB Writeback: 0 kB AnonPages: 147824 kB Mapped: 20288 kB Slab: 82660 kB PageTables: 5412 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1656352 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= 74120 MiB End job on node139 at 2010-06-30 15:28:42