Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1790.18 | 1790.13 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-33-100-0.wbo |
MD5SUM | 48958fa57d6f8cd954d04b46fdc5f897 |
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 | 185.162 |
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 | 1848 |
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 | 94973 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 94972 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 649 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2705571-1278572956.wbo> 0.00/0.03 c original problem has 3927 variables (2079 bin, 0 int, 1848 impl, 0 cont) and 4556 constraints 0.00/0.03 c problem read 0.00/0.03 c presolving settings loaded 0.00/0.05 c presolving: 0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs 0.06/0.08 c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs 0.06/0.09 c (round 3) 46 del vars, 191 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs 0.09/0.10 c (round 4) 156 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs 0.09/0.11 c (round 5) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 124 impls, 8 clqs 0.09/0.11 c (round 6) 160 del vars, 216 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 124 impls, 8 clqs 0.09/0.16 c (0.1s) probing: 101/1999 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.16 c presolving (7 rounds): 0.09/0.16 c 160 deleted vars, 216 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients 0.09/0.16 c 3645 implications, 8 cliques 0.09/0.16 c presolved problem has 3767 variables (1999 bin, 0 int, 1768 impl, 0 cont) and 4340 constraints 0.09/0.16 c 28 constraints of type <setppc> 0.09/0.16 c 1768 constraints of type <linear> 0.09/0.16 c 1768 constraints of type <indicator> 0.09/0.16 c 776 constraints of type <logicor> 0.09/0.16 c transformed objective value is always integral (scale: 1) 0.09/0.16 c Presolving Time: 0.12 0.09/0.16 c - non default parameters ---------------------------------------------------------------------- 0.09/0.16 c # SCIP version 1.2.1.3 0.09/0.16 c 0.09/0.16 c # frequency for displaying node information lines 0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.16 c display/freq = 10000 0.09/0.16 c 0.09/0.16 c # maximal time in seconds to run 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/time = 1789.98 0.09/0.16 c 0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/memory = 3420 0.09/0.16 c 0.09/0.16 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.16 c # [type: int, range: [1,2], default: 1] 0.09/0.16 c timing/clocktype = 2 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify inequalities 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/linear/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/indicator/addCouplingCons = TRUE 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify knapsacks 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.16 c separating/rapidlearning/freq = 0 0.09/0.16 c 0.09/0.16 c ----------------------------------------------------------------------------------------------- 0.09/0.16 c start solving 0.09/0.16 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 31 | - | 14M| 0 | 25 |3767 |4340 |3767 | 804 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.28 c 0.3s| 1 | 0 | 63 | - | 14M| 0 | 22 |3767 |4340 |3767 | 838 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.31 c 0.3s| 1 | 0 | 99 | - | 14M| 0 | 27 |3767 |4340 |3767 | 854 | 50 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.36 c 0.3s| 1 | 0 | 111 | - | 15M| 0 | 23 |3767 |4340 |3767 | 866 | 62 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.41 c 0.4s| 1 | 0 | 146 | - | 15M| 0 | 24 |3767 |4340 |3767 | 868 | 64 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.45 c 0.4s| 1 | 0 | 182 | - | 15M| 0 | 33 |3767 |4340 |3767 | 875 | 71 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.50 c 0.5s| 1 | 0 | 226 | - | 15M| 0 | 39 |3767 |4340 |3767 | 879 | 75 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.66 c 0.6s| 1 | 2 | 226 | - | 15M| 0 | 39 |3767 |4340 |3767 | 879 | 75 | 0 | 17 | 0.000000e+00 | -- | Inf 0.99/1.07 o 91089 0.99/1.07 c y 1.0s| 20 | 19 | 494 | 14.1 | 15M| 18 | - |3767 |4340 | 0 | 0 | 104 | 0 | 155 | 0.000000e+00 | 9.108900e+04 | Inf 2.99/3.00 o 267 2.99/3.00 c * 3.0s| 1406 | 1118 | 995 | 0.5 | 18M|1360 | - |3767 |4347 |3767 | 894 | 145 | 7 | 332 | 0.000000e+00 | 2.670000e+02 | Inf 3.20/3.23 o 236 3.20/3.23 c * 3.2s| 1467 | 1072 | 1257 | 0.7 | 18M|1360 | - |3767 |4364 |3767 | 922 | 185 | 24 | 403 | 0.000000e+00 | 2.360000e+02 | Inf 5.70/5.78 o 233 5.70/5.78 c * 5.8s| 2247 | 1643 | 5311 | 2.3 | 22M|1360 | - |3767 |4672 |3767 | 901 | 715 | 333 | 910 | 0.000000e+00 | 2.330000e+02 | Inf 5.90/5.92 o 231 5.90/5.92 c * 5.9s| 2295 | 1662 | 5565 | 2.3 | 22M|1360 | - |3767 |4690 |3767 | 903 | 746 | 351 | 933 | 0.000000e+00 | 2.310000e+02 | Inf 6.39/6.46 o 229 6.39/6.46 c * 6.4s| 2417 | 1690 | 6497 | 2.6 | 23M|1360 | - |3767 |4784 |3767 | 919 | 888 | 447 |1058 | 0.000000e+00 | 2.290000e+02 | Inf 7.29/7.39 o 222 7.29/7.39 c * 7.4s| 2629 | 1759 | 8075 | 3.0 | 24M|1360 | - |3767 |4934 |3767 | 912 |1185 | 598 |1261 | 0.000000e+00 | 2.220000e+02 | Inf 7.39/7.49 o 219 7.39/7.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 7.39/7.49 c * 7.5s| 2649 | 1731 | 8338 | 3.1 | 24M|1360 | - |3767 |4947 |3767 | 901 |1202 | 611 |1267 | 0.000000e+00 | 2.190000e+02 | Inf 8.30/8.34 o 209 8.30/8.34 c * 8.3s| 2834 | 1760 | 10331 | 3.6 | 25M|1360 | - |3767 |5088 |3767 | 907 |1461 | 765 |1436 | 0.000000e+00 | 2.090000e+02 | Inf 9.50/9.53 o 194 9.50/9.53 c * 9.5s| 3283 | 2011 | 12434 | 3.7 | 27M|1360 | - |3767 |5274 |3767 | 895 |1773 | 991 |1527 | 0.000000e+00 | 1.940000e+02 | Inf 11.89/11.97 o 189 11.89/11.97 c *11.9s| 4229 | 2568 | 18226 | 4.3 | 30M|1360 | - |3767 |5830 |3767 | 915 |2659 |1610 |1648 | 0.000000e+00 | 1.890000e+02 | Inf 11.89/12.00 o 180 11.89/12.00 c *12.0s| 4232 | 2343 | 18284 | 4.3 | 28M|1360 | - |3767 |5829 |3767 | 928 |2664 |1610 |1648 | 0.000000e+00 | 1.800000e+02 | Inf 12.39/12.49 o 163 12.39/12.49 c *12.5s| 4524 | 2431 | 18677 | 4.1 | 27M|1360 | - |3767 |5867 |3767 | 931 |2727 |1653 |1658 | 0.000000e+00 | 1.630000e+02 | Inf 12.49/12.50 o 162 12.49/12.50 c *12.5s| 4525 | 2424 | 18678 | 4.1 | 27M|1360 | - |3767 |5867 |3767 | 931 |2727 |1653 |1658 | 0.000000e+00 | 1.620000e+02 | Inf 12.59/12.69 o 100 12.59/12.69 c *12.7s| 4609 | 1863 | 18865 | 4.0 | 25M|1360 | - |3767 |5930 |3767 | 922 |2754 |1719 |1662 | 0.000000e+00 | 1.000000e+02 | Inf 12.79/12.81 o 84 12.79/12.81 c *12.8s| 4642 | 1369 | 19063 | 4.1 | 24M|1360 | - |3767 |5915 |3767 | 920 |2754 |1748 |1664 | 0.000000e+00 | 8.400000e+01 | Inf 13.59/13.64 o 68 13.59/13.64 c *13.6s| 4944 | 1177 | 19895 | 4.0 | 24M|1360 | - |3767 |5871 |3767 | 920 |2866 |2141 |1670 | 0.000000e+00 | 6.800000e+01 | Inf 13.69/13.72 o 64 13.69/13.72 c *13.7s| 4967 | 1129 | 19989 | 4.0 | 24M|1360 | - |3767 |5529 |3767 | 929 |2869 |2163 |1672 | 0.000000e+00 | 6.400000e+01 | Inf 13.69/13.78 o 58 13.69/13.78 c *13.8s| 4979 | 1031 | 20104 | 4.0 | 24M|1360 | - |3767 |5437 |3767 | 926 |2881 |2191 |1675 | 0.000000e+00 | 5.800000e+01 | Inf 13.79/13.84 o 38 13.79/13.84 c *13.8s| 4993 | 796 | 20177 | 4.0 | 23M|1360 | - |3767 |5298 |3767 | 918 |2884 |2194 |1676 | 0.000000e+00 | 3.800000e+01 | Inf 13.79/13.84 o 26 13.79/13.84 c *13.8s| 4994 | 603 | 20186 | 4.0 | 23M|1360 | - |3767 |5298 |3767 | 918 |2884 |2194 |1676 | 0.000000e+00 | 2.600000e+01 | Inf 15.59/15.63 o 23 15.59/15.63 c *15.6s| 5979 | 616 | 26924 | 4.5 | 23M|1360 | - |3767 |5287 |3767 | 905 |3260 |3536 |1738 | 0.000000e+00 | 2.300000e+01 | Inf 15.59/15.63 o 19 15.59/15.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 15.59/15.63 c *15.6s| 5980 | 562 | 26926 | 4.5 | 23M|1360 | - |3767 |5287 |3767 | 905 |3260 |3536 |1738 | 0.000000e+00 | 1.900000e+01 | Inf 15.69/15.78 o 11 15.69/15.78 c *15.7s| 6060 | 470 | 27362 | 4.5 | 23M|1360 | - |3767 |5067 |3767 | 909 |3278 |3658 |1741 | 0.000000e+00 | 1.100000e+01 | Inf 16.40/16.45 o 3 16.40/16.45 c *16.4s| 6492 | 336 | 30585 | 4.7 | 22M|1360 | - |3767 |5044 |3767 | 905 |3428 |4215 |1750 | 0.000000e+00 | 3.000000e+00 | Inf 21.79/21.90 c 21.9s| 10000 | 456 | 59361 | 5.9 | 24M|1360 | - |3767 |5861 | 0 | 0 |5130 |8609 |1822 | 0.000000e+00 | 3.000000e+00 | Inf 36.20/36.24 o 1 36.20/36.24 c *36.2s| 19538 | 640 |129574 | 6.6 | 26M|1360 | - |3767 |9159 |3767 | 913 |9187 | 20k|1829 | 0.000000e+00 | 1.000000e+00 | Inf 36.89/36.91 c 36.9s| 20000 | 649 |132681 | 6.6 | 26M|1360 | 15 |3767 |9155 |3767 | 922 |9385 | 21k|1829 | 0.000000e+00 | 1.000000e+00 | Inf 52.40/52.40 c 52.4s| 30000 | 741 |202341 | 6.7 | 28M|1360 | 19 |3767 | 10k|3767 | 902 | 13k| 34k|2069 | 0.000000e+00 | 1.000000e+00 | Inf 68.09/68.15 c 68.1s| 40000 | 807 |271362 | 6.8 | 29M|1360 | - |3767 | 11k| 0 | 0 | 16k| 47k|2388 | 0.000000e+00 | 1.000000e+00 | Inf 84.20/84.21 c 84.2s| 50000 | 774 |338483 | 6.8 | 30M|1360 | 15 |3767 | 12k|3767 | 887 | 18k| 61k|2627 | 0.000000e+00 | 1.000000e+00 | Inf 100.79/100.88 c 101s| 60000 | 715 |411811 | 6.9 | 30M|1360 | 21 |3767 | 11k|3767 | 905 | 21k| 74k|2993 | 0.000000e+00 | 1.000000e+00 | Inf 117.09/117.17 c 117s| 70000 | 851 |482787 | 6.9 | 32M|1360 | 9 |3767 | 14k|3767 | 918 | 24k| 87k|3161 | 0.000000e+00 | 1.000000e+00 | Inf 134.10/134.14 c 134s| 80000 | 849 |555054 | 6.9 | 33M|1360 | - |3767 | 14k| 0 | 0 | 26k| 100k|3381 | 0.000000e+00 | 1.000000e+00 | Inf 150.60/150.67 c 151s| 90000 | 807 |621531 | 6.9 | 33M|1360 | 9 |3767 | 15k|3767 | 903 | 28k| 114k|3551 | 0.000000e+00 | 1.000000e+00 | Inf 167.40/167.43 c 167s|100000 | 889 |688348 | 6.9 | 35M|1360 | - |3767 | 18k| 0 | 0 | 32k| 127k|3679 | 0.000000e+00 | 1.000000e+00 | Inf 185.49/185.56 c 186s|110000 | 887 |762646 | 6.9 | 35M|1360 | - |3767 | 18k| 0 | 0 | 36k| 140k|3856 | 0.000000e+00 | 1.000000e+00 | Inf 204.80/204.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 204.80/204.81 c 205s|120000 | 944 |838736 | 7.0 | 37M|1360 | - |3767 | 22k| 0 | 0 | 41k| 153k|4024 | 0.000000e+00 | 1.000000e+00 | Inf 224.60/224.62 c 225s|130000 | 1217 |908586 | 7.0 | 40M|1360 | 19 |3767 | 25k|3767 | 903 | 44k| 167k|4171 | 0.000000e+00 | 1.000000e+00 | Inf 244.00/244.07 c 244s|140000 | 1325 |972886 | 6.9 | 41M|1360 | - |3767 | 27k| 0 | 0 | 46k| 180k|4288 | 0.000000e+00 | 1.000000e+00 | Inf 264.90/264.91 c 265s|150000 | 1353 | 1046k| 7.0 | 41M|1360 | 1 |3767 | 26k|3767 | 920 | 50k| 194k|4419 | 0.000000e+00 | 1.000000e+00 | Inf 286.70/286.74 c 287s|160000 | 1483 | 1127k| 7.0 | 44M|1360 | - |3767 | 30k| 0 | 0 | 53k| 208k|4554 | 0.000000e+00 | 1.000000e+00 | Inf 308.10/308.16 c 308s|170000 | 1521 | 1199k| 7.1 | 44M|1360 | 21 |3767 | 28k|3767 | 907 | 55k| 222k|4671 | 0.000000e+00 | 1.000000e+00 | Inf 329.80/329.81 c 330s|180000 | 1526 | 1273k| 7.1 | 45M|1360 | - |3767 | 29k| 0 | 0 | 58k| 235k|4777 | 0.000000e+00 | 1.000000e+00 | Inf 351.41/351.49 c 351s|190000 | 1526 | 1348k| 7.1 | 45M|1360 | - |3767 | 29k| 0 | 0 | 61k| 249k|4870 | 0.000000e+00 | 1.000000e+00 | Inf 373.91/373.92 c 374s|200000 | 1581 | 1423k| 7.1 | 45M|1360 | - |3767 | 29k| 0 | 0 | 64k| 263k|4963 | 0.000000e+00 | 1.000000e+00 | Inf 395.60/395.61 c 396s|210000 | 1507 | 1497k| 7.1 | 45M|1360 | 15 |3767 | 27k|3767 | 910 | 67k| 277k|5049 | 0.000000e+00 | 1.000000e+00 | Inf 417.70/417.72 c 418s|220000 | 1547 | 1575k| 7.2 | 46M|1360 | - |3767 | 30k| 0 | 0 | 70k| 291k|5147 | 0.000000e+00 | 1.000000e+00 | Inf 441.01/441.00 c 441s|230000 | 1754 | 1652k| 7.2 | 49M|1360 | 23 |3767 | 33k|3767 | 929 | 72k| 305k|5235 | 0.000000e+00 | 1.000000e+00 | Inf 464.01/464.00 c 464s|240000 | 1767 | 1728k| 7.2 | 49M|1360 | 7 |3767 | 32k|3767 | 920 | 75k| 320k|5347 | 0.000000e+00 | 1.000000e+00 | Inf 487.31/487.37 c 487s|250000 | 1767 | 1803k| 7.2 | 50M|1360 | - |3767 | 33k| 0 | 0 | 78k| 335k|5450 | 0.000000e+00 | 1.000000e+00 | Inf 511.60/511.62 c 512s|260000 | 1696 | 1884k| 7.2 | 49M|1360 | 11 |3767 | 31k|3767 | 932 | 80k| 351k|5534 | 0.000000e+00 | 1.000000e+00 | Inf 534.01/534.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 534.01/534.02 c 534s|270000 | 1700 | 1959k| 7.3 | 49M|1360 | 21 |3767 | 30k|3767 | 907 | 84k| 365k|5597 | 0.000000e+00 | 1.000000e+00 | Inf 556.30/556.30 c 556s|280000 | 1837 | 2031k| 7.3 | 51M|1360 | 1 |3767 | 33k|3767 | 892 | 88k| 378k|5681 | 0.000000e+00 | 1.000000e+00 | Inf 579.81/579.80 c 580s|290000 | 1757 | 2100k| 7.2 | 51M|1360 | - |3767 | 33k| 0 | 0 | 91k| 392k|5773 | 0.000000e+00 | 1.000000e+00 | Inf 603.81/603.83 c 604s|300000 | 1757 | 2187k| 7.3 | 51M|1360 | 12 |3767 | 34k|3767 | 928 | 96k| 406k|5862 | 0.000000e+00 | 1.000000e+00 | Inf 627.51/627.59 c 628s|310000 | 1753 | 2263k| 7.3 | 50M|1360 | 9 |3767 | 30k|3767 | 923 | 100k| 420k|5932 | 0.000000e+00 | 1.000000e+00 | Inf 648.81/648.80 c 649s|320000 | 1654 | 2334k| 7.3 | 49M|1360 | 6 |3767 | 28k|3767 | 928 | 103k| 435k|6020 | 0.000000e+00 | 1.000000e+00 | Inf 670.02/670.00 c 670s|330000 | 1561 | 2405k| 7.3 | 49M|1360 | - |3767 | 29k| 0 | 0 | 106k| 449k|6073 | 0.000000e+00 | 1.000000e+00 | Inf 692.71/692.74 c 693s|340000 | 1524 | 2487k| 7.3 | 50M|1360 | - |3767 | 32k| 0 | 0 | 109k| 463k|6158 | 0.000000e+00 | 1.000000e+00 | Inf 715.21/715.25 c 715s|350000 | 1311 | 2561k| 7.3 | 46M|1360 | 1 |3767 | 26k|3767 | 918 | 113k| 478k|6232 | 0.000000e+00 | 1.000000e+00 | Inf 738.71/738.77 c 739s|360000 | 1360 | 2642k| 7.3 | 46M|1360 | 1 |3767 | 25k|3767 | 910 | 115k| 491k|7197 | 0.000000e+00 | 1.000000e+00 | Inf 760.92/760.94 c 761s|370000 | 1430 | 2724k| 7.4 | 47M|1360 | 1 |3767 | 25k|3767 | 907 | 117k| 504k|7207 | 0.000000e+00 | 1.000000e+00 | Inf 783.41/783.40 c 783s|380000 | 1482 | 2804k| 7.4 | 48M|1360 | 1 |3767 | 27k|3767 | 928 | 119k| 517k|7213 | 0.000000e+00 | 1.000000e+00 | Inf 806.82/806.86 c 807s|390000 | 1636 | 2886k| 7.4 | 51M|1360 | - |3767 | 31k| 0 | 0 | 121k| 531k|7218 | 0.000000e+00 | 1.000000e+00 | Inf 831.53/831.57 c 832s|400000 | 1658 | 2971k| 7.4 | 51M|1360 | 15 |3767 | 26k|3767 | 925 | 123k| 544k|7226 | 0.000000e+00 | 1.000000e+00 | Inf 851.92/851.95 c 852s|410000 | 1356 | 3042k| 7.4 | 45M|1360 | - |3767 | 18k| 0 | 0 | 127k| 558k|7237 | 0.000000e+00 | 1.000000e+00 | Inf 870.13/870.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 870.13/870.13 c 870s|420000 | 1577 | 3109k| 7.4 | 48M|1360 | - |3767 | 23k| 0 | 0 | 129k| 571k|7244 | 0.000000e+00 | 1.000000e+00 | Inf 889.62/889.68 c 890s|430000 | 1496 | 3180k| 7.4 | 48M|1360 | 1 |3767 | 23k|3767 | 915 | 133k| 585k|7297 | 0.000000e+00 | 1.000000e+00 | Inf 909.82/909.81 c 910s|440000 | 1689 | 3252k| 7.4 | 50M|1360 | 8 |3767 | 24k|3767 | 894 | 135k| 598k|7329 | 0.000000e+00 | 1.000000e+00 | Inf 930.32/930.36 c 930s|450000 | 1666 | 3321k| 7.4 | 50M|1360 | 1 |3767 | 25k|3767 | 920 | 138k| 611k|7374 | 0.000000e+00 | 1.000000e+00 | Inf 950.72/950.79 c 951s|460000 | 1718 | 3392k| 7.4 | 52M|1360 | - |3767 | 27k| 0 | 0 | 141k| 625k|7436 | 0.000000e+00 | 1.000000e+00 | Inf 972.62/972.67 c 973s|470000 | 1907 | 3466k| 7.4 | 54M|1360 | 9 |3767 | 29k|3767 | 917 | 144k| 637k|7472 | 0.000000e+00 | 1.000000e+00 | Inf 994.92/994.98 c 995s|480000 | 1914 | 3539k| 7.4 | 54M|1360 | 27 |3767 | 30k|3767 | 923 | 147k| 651k|7527 | 0.000000e+00 | 1.000000e+00 | Inf 1018.22/1018.26 c 1018s|490000 | 2264 | 3620k| 7.4 | 58M|1360 | - |3767 | 32k| 0 | 0 | 149k| 664k|7587 | 0.000000e+00 | 1.000000e+00 | Inf 1041.22/1041.28 c 1041s|500000 | 2465 | 3695k| 7.4 | 60M|1360 | - |3767 | 33k| 0 | 0 | 152k| 678k|7624 | 0.000000e+00 | 1.000000e+00 | Inf 1064.33/1064.35 c 1064s|510000 | 2522 | 3769k| 7.4 | 61M|1360 | 19 |3767 | 33k|3767 | 912 | 155k| 692k|7688 | 0.000000e+00 | 1.000000e+00 | Inf 1088.02/1088.02 c 1088s|520000 | 2702 | 3852k| 7.4 | 63M|1360 | 13 |3767 | 35k|3767 | 927 | 158k| 706k|7740 | 0.000000e+00 | 1.000000e+00 | Inf 1113.52/1113.58 c 1114s|530000 | 2867 | 3933k| 7.4 | 64M|1360 | 8 |3767 | 36k|3767 | 916 | 160k| 721k|7802 | 0.000000e+00 | 1.000000e+00 | Inf 1137.33/1137.37 c 1137s|540000 | 2828 | 4013k| 7.4 | 64M|1360 | 26 |3767 | 33k|3767 | 911 | 163k| 736k|7839 | 0.000000e+00 | 1.000000e+00 | Inf 1161.73/1161.70 c 1162s|550000 | 2874 | 4095k| 7.4 | 65M|1360 | - |3767 | 33k| 0 | 0 | 166k| 750k|7879 | 0.000000e+00 | 1.000000e+00 | Inf 1185.03/1185.08 c 1185s|560000 | 2944 | 4171k| 7.4 | 66M|1360 | 15 |3767 | 34k|3767 | 923 | 168k| 764k|7944 | 0.000000e+00 | 1.000000e+00 | Inf 1210.22/1210.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1210.22/1210.21 c 1210s|570000 | 2953 | 4257k| 7.5 | 67M|1360 | - |3767 | 35k| 0 | 0 | 172k| 777k|8002 | 0.000000e+00 | 1.000000e+00 | Inf 1234.03/1234.00 c 1234s|580000 | 2933 | 4333k| 7.5 | 67M|1360 | - |3767 | 35k| 0 | 0 | 175k| 792k|8044 | 0.000000e+00 | 1.000000e+00 | Inf 1258.23/1258.23 c 1258s|590000 | 2925 | 4412k| 7.5 | 67M|1360 | 25 |3767 | 35k|3767 | 921 | 178k| 806k|8113 | 0.000000e+00 | 1.000000e+00 | Inf 1283.34/1283.30 c 1283s|600000 | 2994 | 4498k| 7.5 | 69M|1360 | - |3767 | 36k| 0 | 0 | 180k| 820k|8159 | 0.000000e+00 | 1.000000e+00 | Inf 1307.84/1307.87 c 1308s|610000 | 2793 | 4578k| 7.5 | 67M|1360 | - |3767 | 33k|3767 | 914 | 183k| 834k|8195 | 0.000000e+00 | 1.000000e+00 | Inf 1332.04/1332.02 c 1332s|620000 | 2816 | 4659k| 7.5 | 68M|1360 | 24 |3767 | 37k|3767 | 932 | 186k| 849k|8262 | 0.000000e+00 | 1.000000e+00 | Inf 1357.23/1357.26 c 1357s|630000 | 2622 | 4740k| 7.5 | 65M|1360 | - |3767 | 33k| 0 | 0 | 190k| 864k|8301 | 0.000000e+00 | 1.000000e+00 | Inf 1380.74/1380.74 c 1381s|640000 | 1827 | 4818k| 7.5 | 56M|1360 | 12 |3767 | 28k|3767 | 931 | 193k| 878k|8343 | 0.000000e+00 | 1.000000e+00 | Inf 1402.54/1402.59 c 1403s|650000 | 1583 | 4897k| 7.5 | 52M|1360 | 16 |3767 | 24k|3767 | 900 | 196k| 892k|8520 | 0.000000e+00 | 1.000000e+00 | Inf 1422.63/1422.67 c 1423s|660000 | 1466 | 4974k| 7.5 | 49M|1360 | 7 |3767 | 22k|3767 | 910 | 199k| 905k|8577 | 0.000000e+00 | 1.000000e+00 | Inf 1441.94/1441.99 c 1442s|670000 | 1531 | 5044k| 7.5 | 51M|1360 | - |3767 | 26k|3767 | 929 | 202k| 918k|8608 | 0.000000e+00 | 1.000000e+00 | Inf 1462.84/1462.82 c 1463s|680000 | 1307 | 5118k| 7.5 | 47M|1360 | 8 |3767 | 21k|3767 | 912 | 205k| 932k|8707 | 0.000000e+00 | 1.000000e+00 | Inf 1483.24/1483.20 c 1483s|690000 | 1525 | 5202k| 7.5 | 50M|1360 | 9 |3767 | 23k|3767 | 909 | 208k| 945k|8757 | 0.000000e+00 | 1.000000e+00 | Inf 1503.94/1503.95 c 1504s|700000 | 1748 | 5277k| 7.5 | 52M|1360 | 30 |3767 | 27k|3767 | 924 | 211k| 959k|8806 | 0.000000e+00 | 1.000000e+00 | Inf 1524.84/1524.86 c 1525s|710000 | 1883 | 5352k| 7.5 | 54M|1360 | - |3767 | 28k| 0 | 0 | 214k| 972k|8852 | 0.000000e+00 | 1.000000e+00 | Inf 1546.34/1546.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1546.34/1546.30 c 1546s|720000 | 2052 | 5433k| 7.5 | 55M|1360 | - |3767 | 29k| 0 | 0 | 216k| 986k|8883 | 0.000000e+00 | 1.000000e+00 | Inf 1567.55/1567.55 c 1568s|730000 | 2143 | 5510k| 7.5 | 55M|1360 | 1 |3767 | 26k|3767 | 915 | 219k|1000k|8915 | 0.000000e+00 | 1.000000e+00 | Inf 1588.64/1588.60 c 1589s|740000 | 2216 | 5593k| 7.6 | 57M|1360 | - |3767 | 27k| 0 | 0 | 223k|1014k|8961 | 0.000000e+00 | 1.000000e+00 | Inf 1609.74/1609.76 c 1610s|750000 | 2238 | 5670k| 7.6 | 56M|1360 | - |3767 | 25k| 0 | 0 | 225k|1028k|9011 | 0.000000e+00 | 1.000000e+00 | Inf 1630.55/1630.55 c 1631s|760000 | 2258 | 5752k| 7.6 | 57M|1360 | - |3767 | 27k| 0 | 0 | 228k|1042k|9043 | 0.000000e+00 | 1.000000e+00 | Inf 1651.65/1651.61 c 1652s|770000 | 2204 | 5830k| 7.6 | 57M|1360 | - |3767 | 26k| 0 | 0 | 231k|1056k|9076 | 0.000000e+00 | 1.000000e+00 | Inf 1672.05/1672.06 c 1672s|780000 | 2185 | 5908k| 7.6 | 58M|1360 | 11 |3767 | 28k|3767 | 918 | 235k|1070k|9114 | 0.000000e+00 | 1.000000e+00 | Inf 1693.55/1693.54 c 1694s|790000 | 2178 | 5991k| 7.6 | 59M|1360 | 24 |3767 | 29k|3767 | 927 | 237k|1084k|9162 | 0.000000e+00 | 1.000000e+00 | Inf 1716.25/1716.27 c 1716s|800000 | 2191 | 6076k| 7.6 | 59M|1360 | - |3767 | 28k| 0 | 0 | 240k|1099k|9209 | 0.000000e+00 | 1.000000e+00 | Inf 1737.85/1737.83 c 1738s|810000 | 2178 | 6165k| 7.6 | 59M|1360 | - |3767 | 28k|3767 | 904 | 244k|1114k|9250 | 0.000000e+00 | 1.000000e+00 | Inf 1760.45/1760.47 c 1760s|820000 | 2124 | 6251k| 7.6 | 59M|1360 | - |3767 | 28k| 0 | 0 | 247k|1128k|9289 | 0.000000e+00 | 1.000000e+00 | Inf 1781.84/1781.83 c 1782s|830000 | 2118 | 6333k| 7.6 | 59M|1360 | - |3767 | 28k| 0 | 0 | 250k|1142k|9331 | 0.000000e+00 | 1.000000e+00 | Inf 1790.05/1790.01 c 1790.05/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1790.05/1790.01 c Solving Time (sec) : 1789.98 1790.05/1790.01 c Solving Nodes : 833725 1790.05/1790.01 c Primal Bound : +1.00000000000000e+00 (63 solutions) 1790.05/1790.01 c Dual Bound : +0.00000000000000e+00 1790.05/1790.01 c Gap : infinite 1790.05/1790.04 s SATISFIABLE 1790.05/1790.04 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1790.05/1790.04 v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 1790.05/1790.04 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 1790.05/1790.04 v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 1790.05/1790.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 1790.05/1790.04 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 1790.05/1790.04 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 1790.05/1790.04 v -x79 x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 1790.05/1790.04 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 1790.05/1790.04 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 1790.05/1790.04 v -x1 1790.05/1790.04 c SCIP Status : solving was interrupted [time limit reached] 1790.05/1790.04 c Solving Time : 1789.98 1790.05/1790.04 c Original Problem : 1790.05/1790.04 c Problem name : HOME/instance-2705571-1278572956.wbo 1790.05/1790.04 c Variables : 3927 (2079 binary, 0 integer, 1848 implicit integer, 0 continuous) 1790.05/1790.04 c Constraints : 4556 initial, 4556 maximal 1790.05/1790.04 c Presolved Problem : 1790.05/1790.04 c Problem name : t_HOME/instance-2705571-1278572956.wbo 1790.05/1790.04 c Variables : 3767 (1999 binary, 0 integer, 1768 implicit integer, 0 continuous) 1790.05/1790.04 c Constraints : 4340 initial, 39610 maximal 1790.05/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.05/1790.04 c trivial : 0.00 80 0 0 0 0 0 0 0 1790.05/1790.04 c dualfix : 0.00 80 0 0 0 0 0 0 0 1790.05/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0 1790.05/1790.04 c setppc : 0.00 0 0 0 0 0 21 0 0 1790.05/1790.04 c linear : 0.06 0 0 0 1882 0 115 101 0 1790.05/1790.04 c indicator : 0.00 0 0 0 0 0 80 0 0 1790.05/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.05/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.04 c root node : - 3536 - - 3536 - - - - 1790.05/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.05/1790.04 c integral : 0 0 0 499892 0 63 1263 0 0 914680 1790.05/1790.04 c setppc : 28 6 3838007 41205 1 31499 1274824 0 0 0 1790.05/1790.04 c linear : 1768 6 3808286 41438 1 201609 17691333 251472 0 0 1790.05/1790.04 c indicator : 1768 0 81189 4971 0 29 279088 0 0 0 1790.05/1790.04 c logicor : 776+ 6 1764092 3462 1 162022 4428075 0 0 0 1790.05/1790.04 c bounddisjunction : 0+ 0 474908 0 0 372 2177 0 0 0 1790.05/1790.04 c countsols : 0 0 0 3462 1 0 0 0 0 0 1790.05/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.05/1790.04 c integral : 20.19 0.00 0.00 20.19 0.00 1790.05/1790.04 c setppc : 12.36 0.00 12.32 0.03 0.00 1790.05/1790.04 c linear : 138.69 0.00 136.27 2.41 0.00 1790.05/1790.04 c indicator : 1.48 0.00 1.04 0.44 0.00 1790.05/1790.04 c logicor : 332.46 0.00 332.42 0.04 0.00 1790.05/1790.04 c bounddisjunction : 2.92 0.00 2.92 0.00 0.00 1790.05/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.05/1790.04 c Propagators : Time Calls Cutoffs DomReds 1790.05/1790.04 c vbounds : 0.61 2720 0 268 1790.05/1790.04 c rootredcost : 0.57 26 0 1768 1790.05/1790.04 c pseudoobj : 90.77 3840247 499 261219 1790.05/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.05/1790.04 c propagation : 18.31 396001 395309 2383799 27.4 11154 24.5 - 1790.05/1790.04 c infeasible LP : 14.52 56274 56273 436377 45.2 487 17.2 0 1790.05/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.05/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.05/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.05/1790.04 c applied globally : - - - 1148288 24.3 - - - 1790.05/1790.04 c applied locally : - - - 0 0.0 - - - 1790.05/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.05/1790.04 c cut pool : 0.00 5 - - 78 - (maximal pool size: 438) 1790.05/1790.04 c redcost : 30.05 500176 0 17437 0 0 1790.05/1790.04 c impliedbounds : 0.00 6 0 0 0 0 1790.05/1790.04 c intobj : 0.00 0 0 0 0 0 1790.05/1790.04 c cgmip : 0.00 0 0 0 0 0 1790.05/1790.04 c gomory : 0.08 6 0 0 1087 0 1790.05/1790.04 c strongcg : 0.07 6 0 0 1132 0 1790.05/1790.04 c cmir : 0.02 6 0 0 1 0 1790.05/1790.04 c flowcover : 0.06 6 0 0 3 0 1790.05/1790.04 c clique : 0.00 6 0 0 0 0 1790.05/1790.04 c zerohalf : 0.00 0 0 0 0 0 1790.05/1790.04 c mcf : 0.00 1 0 0 0 0 1790.05/1790.04 c rapidlearning : 0.07 1 0 0 0 0 1790.05/1790.04 c Pricers : Time Calls Vars 1790.05/1790.04 c problem variables: 0.00 0 0 1790.05/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.05/1790.04 c relpscost : 19.76 458440 63 1263 0 0 914680 1790.05/1790.04 c pscost : 0.00 0 0 0 0 0 0 1790.05/1790.04 c inference : 0.78 3438 0 0 0 0 6950 1790.05/1790.04 c mostinf : 0.00 0 0 0 0 0 0 1790.05/1790.04 c leastinf : 0.00 0 0 0 0 0 0 1790.05/1790.04 c fullstrong : 0.00 0 0 0 0 0 0 1790.05/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0 1790.05/1790.04 c random : 0.00 0 0 0 0 0 0 1790.05/1790.04 c Primal Heuristics : Time Calls Found 1790.05/1790.04 c LP solutions : 0.01 - 25 1790.05/1790.04 c pseudo solutions : 0.00 - 0 1790.05/1790.04 c feaspump : 0.02 1 0 1790.05/1790.04 c oneopt : 0.32 23 0 1790.05/1790.04 c rootsoldiving : 0.06 9 0 1790.05/1790.04 c fracdiving : 0.04 18 0 1790.05/1790.04 c coefdiving : 0.04 18 0 1790.05/1790.04 c guideddiving : 0.04 18 0 1790.05/1790.04 c pscostdiving : 0.04 18 0 1790.05/1790.04 c veclendiving : 0.05 18 0 1790.05/1790.04 c linesearchdiving : 0.04 18 0 1790.05/1790.04 c objpscostdiving : 0.04 10 0 1790.05/1790.04 c crossover : 0.51 7 0 1790.05/1790.04 c trivial : 0.01 2 0 1790.05/1790.04 c simplerounding : 0.75 458426 0 1790.05/1790.04 c zirounding : 0.30 1000 0 1790.05/1790.04 c rounding : 1.02 9582 0 1790.05/1790.04 c shifting : 0.71 2953 0 1790.05/1790.04 c intshifting : 0.01 0 0 1790.05/1790.04 c twoopt : 0.00 0 0 1790.05/1790.04 c fixandinfer : 0.00 0 0 1790.05/1790.04 c intdiving : 0.00 0 0 1790.05/1790.04 c actconsdiving : 0.00 0 0 1790.05/1790.04 c octane : 0.00 0 0 1790.05/1790.04 c rens : 0.03 1 0 1790.05/1790.04 c rins : 0.00 0 0 1790.05/1790.04 c localbranching : 0.00 0 0 1790.05/1790.04 c mutation : 0.00 0 0 1790.05/1790.04 c dins : 0.00 0 0 1790.05/1790.04 c undercover : 0.00 0 0 1790.05/1790.04 c nlp : 0.17 0 0 1790.05/1790.04 c trysol : 0.23 102 38 1790.05/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec 1790.05/1790.04 c primal LP : 0.00 0 0 0.00 - 1790.05/1790.04 c dual LP : 625.40 550805 6364284 11.55 10176.32 1790.05/1790.04 c lex dual LP : 0.00 0 0 0.00 - 1790.05/1790.04 c barrier LP : 0.00 0 0 0.00 - 1790.05/1790.04 c diving/probing LP: 0.17 90 1232 13.69 7367.28 1790.05/1790.04 c strong branching : 15.69 9361 168532 18.00 10740.34 1790.05/1790.04 c (at root node) : - 17 1890 111.18 - 1790.05/1790.04 c conflict analysis: 0.00 0 0 0.00 - 1790.05/1790.04 c B&B Tree : 1790.05/1790.04 c number of runs : 1 1790.05/1790.04 c nodes : 833725 1790.05/1790.04 c nodes (total) : 833725 1790.05/1790.04 c nodes left : 2125 1790.05/1790.04 c max depth : 1360 1790.05/1790.04 c max depth (total): 1360 1790.05/1790.04 c backtracks : 112920 (13.5%) 1790.05/1790.04 c delayed cutoffs : 82350 1790.05/1790.04 c repropagations : 1526971 (5050756 domain reductions, 79285 cutoffs) 1790.05/1790.04 c avg switch length: 5.23 1790.05/1790.04 c switching time : 289.47 1790.05/1790.04 c Solution : 1790.05/1790.04 c Solutions found : 63 (26 improvements) 1790.05/1790.04 c First Solution : +9.10890000000000e+04 (in run 1, after 19 nodes, 1.03 seconds, depth 19, found by <trysol>) 1790.05/1790.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 19538 nodes, 36.21 seconds, depth 27, found by <relaxation>) 1790.05/1790.04 c Dual Bound : +0.00000000000000e+00 1790.05/1790.04 c Gap : infinite 1790.05/1790.04 c Root Dual Bound : +0.00000000000000e+00 1790.05/1790.04 c Root Iterations : 226 1790.15/1790.12 c Time complete: 1790.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-2705571-1278572956/watcher-2705571-1278572956 -o /tmp/evaluation-result-2705571-1278572956/solver-2705571-1278572956 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705571-1278572956.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.13 0.03 0.01 3/178 22962 /proc/meminfo: memFree=29398280/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=12692 CPUtime=0 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 2009 0 0 0 0 0 0 0 25 0 1 0 25508613 12996608 1927 4089446400 4194304 10345943 140735148574608 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/22962/statm: 3173 1927 429 1502 0 1666 0 [startup+0.068186 s] /proc/loadavg: 0.13 0.03 0.01 3/178 22962 /proc/meminfo: memFree=29398280/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=33424 CPUtime=0.06 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 7360 0 0 0 6 0 0 0 25 0 1 0 25508613 34226176 6924 4089446400 4194304 10345943 140735148574608 18446744073709551615 5017672 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 8356 6924 534 1502 0 6849 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 33424 [startup+0.101164 s] /proc/loadavg: 0.13 0.03 0.01 3/178 22962 /proc/meminfo: memFree=29398280/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=33424 CPUtime=0.09 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 7375 0 0 0 9 0 0 0 25 0 1 0 25508613 34226176 6939 4089446400 4194304 10345943 140735148574608 18446744073709551615 5017692 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 8356 6939 542 1502 0 6849 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33424 [startup+0.301126 s] /proc/loadavg: 0.13 0.03 0.01 3/178 22962 /proc/meminfo: memFree=29398280/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=41988 CPUtime=0.29 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 14403 0 0 0 27 2 0 0 25 0 1 0 25508613 42995712 8969 4089446400 4194304 10345943 140735148574608 18446744073709551615 5931069 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 10497 8969 751 1502 0 8990 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 41988 [startup+0.701045 s] /proc/loadavg: 0.13 0.03 0.01 3/178 22962 /proc/meminfo: memFree=29398280/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=46964 CPUtime=0.69 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 19528 0 0 0 66 3 0 0 25 0 1 0 25508613 48091136 10283 4089446400 4194304 10345943 140735148574608 18446744073709551615 6715432 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 11741 10283 777 1502 0 10234 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46964 [startup+1.5009 s] /proc/loadavg: 0.13 0.03 0.01 3/179 22963 /proc/meminfo: memFree=29350284/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=47500 CPUtime=1.49 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 20017 0 0 0 145 4 0 0 25 0 1 0 25508613 48640000 9999 4089446400 4194304 10345943 140735148574608 18446744073709551615 6923482 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 11875 9999 779 1502 0 10368 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47500 [startup+3.1006 s] /proc/loadavg: 0.28 0.06 0.02 3/179 22963 /proc/meminfo: memFree=29349688/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=53472 CPUtime=3.09 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 27169 0 0 0 304 5 0 0 25 0 1 0 25508613 54755328 11334 4089446400 4194304 10345943 140735148574608 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 13368 11334 783 1502 0 11861 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 53472 [startup+6.30102 s] /proc/loadavg: 0.28 0.06 0.02 3/179 22963 /proc/meminfo: memFree=29337436/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=61596 CPUtime=6.29 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 35252 0 0 0 622 7 0 0 25 0 1 0 25508613 63074304 13263 4089446400 4194304 10345943 140735148574608 18446744073709551615 6847789 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 15399 13263 786 1502 0 13892 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61596 [startup+12.7008 s] /proc/loadavg: 0.42 0.10 0.03 3/179 22964 /proc/meminfo: memFree=29311984/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=75736 CPUtime=12.69 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 56152 0 0 0 1257 12 0 0 25 0 1 0 25508613 77553664 16993 4089446400 4194304 10345943 140735148574608 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 18934 16993 786 1502 0 17427 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75736 [startup+25.5005 s] /proc/loadavg: 0.77 0.19 0.06 3/179 22964 /proc/meminfo: memFree=29297792/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=81696 CPUtime=25.49 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 80669 0 0 0 2529 20 0 0 25 0 1 0 25508613 83656704 18833 4089446400 4194304 10345943 140735148574608 18446744073709551615 4217965 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 20424 18833 786 1502 0 18917 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 81696 [startup+51.1008 s] /proc/loadavg: 1.19 0.33 0.11 3/179 22965 /proc/meminfo: memFree=29290848/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=87496 CPUtime=51.09 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 98149 0 0 0 5072 37 0 0 25 0 1 0 25508613 89595904 19989 4089446400 4194304 10345943 140735148574608 18446744073709551615 5614624 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 21874 19989 786 1502 0 20367 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 87496 [startup+102.307 s] /proc/loadavg: 1.73 0.62 0.22 3/179 22966 /proc/meminfo: memFree=29282436/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=90288 CPUtime=102.3 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 110898 0 0 0 10168 62 0 0 25 0 1 0 25508613 92454912 20615 4089446400 4194304 10345943 140735148574608 18446744073709551615 6776993 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 22572 20615 786 1502 0 21065 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 90288 [startup+162.301 s] /proc/loadavg: 1.89 0.85 0.32 3/179 22968 /proc/meminfo: memFree=29269844/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=93752 CPUtime=162.3 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 120624 0 0 0 16142 88 0 0 25 0 1 0 25508613 96002048 21655 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 23438 21655 786 1502 0 21931 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 93752 [startup+222.301 s] /proc/loadavg: 1.96 1.07 0.43 3/179 22969 /proc/meminfo: memFree=29259236/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=102124 CPUtime=222.3 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 125982 0 0 0 22118 112 0 0 25 0 1 0 25508613 104574976 23431 4089446400 4194304 10345943 140735148574608 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 25531 23431 786 1502 0 24024 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 102124 [startup+282.301 s] /proc/loadavg: 1.98 1.23 0.52 3/179 22971 /proc/meminfo: memFree=29248748/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=106464 CPUtime=282.3 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 127749 0 0 0 28096 134 0 0 25 0 1 0 25508613 109019136 24593 4089446400 4194304 10345943 140735148574608 18446744073709551615 6804117 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 26616 24593 786 1502 0 25109 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 106464 [startup+342.301 s] /proc/loadavg: 1.99 1.37 0.61 3/179 22973 /proc/meminfo: memFree=29243976/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=108948 CPUtime=342.3 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 130952 0 0 0 34073 157 0 0 25 0 1 0 25508613 111562752 25103 4089446400 4194304 10345943 140735148574608 18446744073709551615 6785389 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 27237 25103 797 1502 0 25730 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 108948 [startup+402.301 s] /proc/loadavg: 1.99 1.48 0.69 3/179 22974 /proc/meminfo: memFree=29239092/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=109072 CPUtime=402.3 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 134152 0 0 0 40051 179 0 0 25 0 1 0 25508613 111689728 25197 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 27268 25197 797 1502 0 25761 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 109072 [startup+462.301 s] /proc/loadavg: 1.99 1.57 0.77 3/179 22976 /proc/meminfo: memFree=29228636/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=113332 CPUtime=462.31 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 141746 0 0 0 46028 203 0 0 25 0 1 0 25508613 116051968 26441 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 28333 26441 797 1502 0 26826 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 113332 [startup+522.301 s] /proc/loadavg: 1.99 1.65 0.85 3/179 22977 /proc/meminfo: memFree=29225132/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=116012 CPUtime=522.31 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 145502 0 0 0 52009 222 0 0 25 0 1 0 25508613 118796288 26952 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 29003 26952 797 1502 0 27496 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 116012 [startup+582.301 s] /proc/loadavg: 1.99 1.71 0.92 3/179 22982 /proc/meminfo: memFree=29217868/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=120004 CPUtime=582.3 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 146919 0 0 0 57990 240 0 0 25 0 1 0 25508613 122884096 27657 4089446400 4194304 10345943 140735148574608 18446744073709551615 5086821 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 30001 27657 797 1502 0 28494 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 120004 [startup+642.301 s] /proc/loadavg: 1.99 1.76 0.99 3/179 22984 /proc/meminfo: memFree=29214016/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=120928 CPUtime=642.31 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 147509 0 0 0 63970 261 0 0 25 0 1 0 25508613 123830272 28247 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 30232 28247 797 1502 0 28725 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 120928 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29194784/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=124672 CPUtime=1002.32 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 154166 0 0 0 99844 388 0 0 25 0 1 0 25508613 127664128 29420 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 31168 29420 797 1502 0 29661 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 124672 [startup+1062.3 s] /proc/loadavg: 2.01 1.94 1.34 3/179 22995 /proc/meminfo: memFree=29187912/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=131536 CPUtime=1062.33 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 157295 0 0 0 105823 410 0 0 25 0 1 0 25508613 134692864 30815 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 32884 30815 797 1502 0 31377 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 131536 [startup+1122.3 s] /proc/loadavg: 2.00 1.95 1.38 3/179 22996 /proc/meminfo: memFree=29181544/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=134948 CPUtime=1122.32 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 160515 0 0 0 111801 431 0 0 25 0 1 0 25508613 138186752 31887 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 33737 31887 797 1502 0 32230 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 134948 [startup+1182.3 s] /proc/loadavg: 2.00 1.95 1.41 3/179 22998 /proc/meminfo: memFree=29179532/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=134252 CPUtime=1182.33 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 165565 0 0 0 117779 454 0 0 25 0 1 0 25508613 137474048 31875 4089446400 4194304 10345943 140735148574608 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 33563 31875 797 1502 0 32056 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 134252 [startup+1242.3 s] /proc/loadavg: 2.00 1.96 1.45 3/179 23000 /proc/meminfo: memFree=29176512/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=138756 CPUtime=1242.33 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 169978 0 0 0 123759 474 0 0 25 0 1 0 25508613 142086144 32548 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085392 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 34689 32548 797 1502 0 33182 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 138756 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.48 3/179 23001 /proc/meminfo: memFree=29172512/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=140528 CPUtime=1302.34 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 171706 0 0 0 129739 495 0 0 25 0 1 0 25508613 143900672 33124 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35132 33124 797 1502 0 33625 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 140528 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.51 3/179 23003 /proc/meminfo: memFree=29170728/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=139236 CPUtime=1362.33 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 172171 0 0 0 135717 516 0 0 25 0 1 0 25508613 142577664 32959 4089446400 4194304 10345943 140735148574608 18446744073709551615 6068911 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 34809 32959 797 1502 0 33302 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 139236 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.54 3/179 23004 /proc/meminfo: memFree=29167720/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=142388 CPUtime=1422.34 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174004 0 0 0 141693 541 0 0 25 0 1 0 25508613 145805312 33415 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35597 33415 797 1502 0 34090 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 142388 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.56 3/179 23006 /proc/meminfo: memFree=29166308/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=142520 CPUtime=1482.34 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174107 0 0 0 147671 563 0 0 25 0 1 0 25508613 145940480 33518 4089446400 4194304 10345943 140735148574608 18446744073709551615 5614786 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35630 33518 797 1502 0 34123 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 142520 [startup+1542.3 s] /proc/loadavg: 2.05 1.99 1.59 3/179 23008 /proc/meminfo: memFree=29165892/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=142520 CPUtime=1542.33 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174151 0 0 0 153651 582 0 0 25 0 1 0 25508613 145940480 33562 4089446400 4194304 10345943 140735148574608 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35630 33562 797 1502 0 34123 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 142520 [startup+1602.3 s] /proc/loadavg: 2.02 1.99 1.62 3/179 23009 /proc/meminfo: memFree=29164740/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=142520 CPUtime=1602.34 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174177 0 0 0 159629 605 0 0 25 0 1 0 25508613 145940480 33588 4089446400 4194304 10345943 140735148574608 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35630 33588 797 1502 0 34123 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 142520 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.64 3/179 23011 /proc/meminfo: memFree=29162940/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=142728 CPUtime=1662.34 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174195 0 0 0 165606 628 0 0 25 0 1 0 25508613 146153472 33606 4089446400 4194304 10345943 140735148574608 18446744073709551615 6702848 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35682 33606 797 1502 0 34175 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 142728 [startup+1722.3 s] /proc/loadavg: 2.07 2.00 1.66 3/179 23012 /proc/meminfo: memFree=29162256/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=142728 CPUtime=1722.35 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174293 0 0 0 171582 653 0 0 25 0 1 0 25508613 146153472 33704 4089446400 4194304 10345943 140735148574608 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35682 33704 797 1502 0 34175 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 142728 [startup+1782.3 s] /proc/loadavg: 2.02 2.00 1.68 3/179 23014 /proc/meminfo: memFree=29161592/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=143004 CPUtime=1782.34 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174325 0 0 0 177559 675 0 0 25 0 1 0 25508613 146436096 33735 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085437 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35751 33735 797 1502 0 34244 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 143004 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.02 2.00 1.68 3/179 23014 /proc/meminfo: memFree=29161840/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=143004 CPUtime=1785.55 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174336 0 0 0 177878 677 0 0 25 0 1 0 25508613 146436096 33746 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35751 33746 797 1502 0 34244 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 143004 [startup+1788.7 s] /proc/loadavg: 2.02 2.00 1.68 3/179 23014 /proc/meminfo: memFree=29161716/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=143004 CPUtime=1788.75 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174343 0 0 0 178197 678 0 0 25 0 1 0 25508613 146436096 33753 4089446400 4194304 10345943 140735148574608 18446744073709551615 6068933 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35751 33753 797 1502 0 34244 0 Current children cumulated CPU time (s) 1788.75 Current children cumulated vsize (KiB) 143004 [startup+1789.5 s] /proc/loadavg: 2.02 2.00 1.68 3/179 23014 /proc/meminfo: memFree=29161716/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=143004 CPUtime=1789.55 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174344 0 0 0 178277 678 0 0 25 0 1 0 25508613 146436096 33754 4089446400 4194304 10345943 140735148574608 18446744073709551615 6897027 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35751 33754 797 1502 0 34244 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (KiB) 143004 [startup+1789.9 s] /proc/loadavg: 2.02 2.00 1.68 3/179 23014 /proc/meminfo: memFree=29161708/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=143004 CPUtime=1789.95 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174344 0 0 0 178317 678 0 0 25 0 1 0 25508613 146436096 33754 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22962/statm: 35751 33754 797 1502 0 34244 0 Current children cumulated CPU time (s) 1789.95 Current children cumulated vsize (KiB) 143004 [startup+1790.1 s] /proc/loadavg: 2.02 2.00 1.68 3/179 23014 /proc/meminfo: memFree=29161708/32951124 swapFree=67111528/67111528 [pid=22962] ppid=22960 vsize=143004 CPUtime=1790.15 /proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174345 0 0 0 178337 678 0 0 18 0 1 0 25508613 146436096 33755 4089446400 4194304 10345943 140735148574608 18446744073709551615 6324968 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/22962/statm: 35751 33755 798 1502 0 34244 0 Current children cumulated CPU time (s) 1790.15 Current children cumulated vsize (KiB) 143004 Child status: 0 Real time (s): 1790.13 CPU time (s): 1790.18 CPU user time (s): 1783.39 CPU system time (s): 6.78897 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 143004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.39 system time used= 6.78897 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 174348 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= 5 involuntary context switches= 1636 runsolver used 3.17852 second user time and 6.595 second system time The end
Begin job on node142 at 2010-07-08 09:09:17 IDJOB=2705571 IDBENCH=78928 IDSOLVER=1214 FILE ID=node142/2705571-1278572956 PBS_JOBID= 11240170 Free space on /tmp= 73320 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558739--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705571-1278572956/watcher-2705571-1278572956 -o /tmp/evaluation-result-2705571-1278572956/solver-2705571-1278572956 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705571-1278572956.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 48958fa57d6f8cd954d04b46fdc5f897 RANDOM SEED=1915077510 node142.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.874 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.74 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.874 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.874 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 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.79 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.874 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 : 5311.06 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.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29399056 kB Buffers: 153076 kB Cached: 3132664 kB SwapCached: 0 kB Active: 1044432 kB Inactive: 2337752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29399056 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 25896 kB Writeback: 0 kB AnonPages: 96300 kB Mapped: 17512 kB Slab: 105468 kB PageTables: 4880 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 237876 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= 73320 MiB End job on node142 at 2010-07-08 09:39:07