Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1800.17 | 1800.12 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo |
MD5SUM | 98ba7b6540ae93cc2daebc624abceb03 |
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 | 29.5945 |
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 | 1777 |
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 | 90281 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90280 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 761 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2693469-1277905837.wbo> 0.00/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints 0.00/0.03 c problem read 0.00/0.03 c presolving settings loaded 0.02/0.05 c presolving: 0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs 0.02/0.08 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs 0.09/0.10 c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs 0.09/0.11 c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs 0.09/0.12 c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs 0.09/0.17 c (0.1s) probing: 101/1943 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.17 c presolving (6 rounds): 0.09/0.17 c 130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients 0.09/0.17 c 1913 implications, 7 cliques 0.09/0.17 c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints 0.09/0.17 c 1712 constraints of type <indicator> 0.09/0.17 c 7 constraints of type <setppc> 0.09/0.17 c 1712 constraints of type <linear> 0.09/0.17 c 898 constraints of type <logicor> 0.09/0.17 c transformed objective value is always integral (scale: 1) 0.09/0.17 c Presolving Time: 0.12 0.09/0.17 c - non default parameters ---------------------------------------------------------------------- 0.09/0.17 c # SCIP version 1.2.1.2 0.09/0.17 c 0.09/0.17 c # frequency for displaying node information lines 0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.17 c display/freq = 10000 0.09/0.17 c 0.09/0.17 c # maximal time in seconds to run 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/time = 1799.98 0.09/0.17 c 0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/memory = 3420 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify inequalities 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/linear/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify knapsacks 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.17 c separating/rapidlearning/freq = 0 0.09/0.17 c 0.09/0.17 c ----------------------------------------------------------------------------------------------- 0.09/0.17 c start solving 0.09/0.17 c 0.09/0.18 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.18 c 0.1s| 1 | 0 | 18 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.19 o 86784 0.09/0.19 c y 0.1s| 1 | 0 | 18 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf 0.19/0.21 c 0.2s| 1 | 0 | 55 | - | 13M| 0 | 25 |3655 |4329 |3655 | 926 | 21 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf 0.19/0.26 c 0.2s| 1 | 0 | 107 | - | 13M| 0 | 31 |3655 |4329 |3655 | 947 | 42 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf 0.29/0.30 c 0.3s| 1 | 0 | 155 | - | 14M| 0 | 39 |3655 |4329 |3655 | 956 | 51 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf 0.29/0.36 c 0.3s| 1 | 0 | 185 | - | 14M| 0 | 47 |3655 |4329 |3655 | 965 | 60 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf 0.39/0.43 c 0.4s| 1 | 0 | 212 | - | 14M| 0 | 46 |3655 |4329 |3655 | 970 | 65 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf 0.39/0.49 c 0.5s| 1 | 0 | 217 | - | 14M| 0 | 46 |3655 |4329 |3655 | 974 | 69 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf 0.99/1.06 c 1.0s| 1 | 2 | 217 | - | 14M| 0 | 46 |3655 |4329 |3655 | 974 | 69 | 0 | 33 | 0.000000e+00 | 8.678400e+04 | Inf 3.59/3.68 o 1017 3.59/3.68 c * 3.6s| 1200 | 1133 | 931 | 0.6 | 17M|1199 | - |3655 |4329 |3655 |1024 | 123 | 0 | 196 | 0.000000e+00 | 1.017000e+03 | Inf 7.09/7.11 o 762 7.09/7.11 c * 6.9s| 1475 | 1067 | 3959 | 2.5 | 18M|1199 | - |3655 |4392 |3655 | 978 | 378 | 63 | 882 | 0.000000e+00 | 7.620000e+02 | Inf 7.49/7.54 o 675 7.49/7.54 c * 7.3s| 1520 | 1062 | 4695 | 2.9 | 18M|1199 | - |3655 |4430 |3655 |1000 | 428 | 101 | 973 | 0.000000e+00 | 6.750000e+02 | Inf 8.59/8.66 o 625 8.59/8.66 c * 8.4s| 1748 | 1187 | 7473 | 4.2 | 19M|1199 | - |3655 |4624 |3655 | 996 | 740 | 295 |1188 | 0.000000e+00 | 6.250000e+02 | Inf 8.59/8.67 o 555 8.59/8.67 c * 8.4s| 1750 | 1133 | 7479 | 4.2 | 19M|1199 | - |3655 |4624 |3655 | 996 | 740 | 295 |1188 | 0.000000e+00 | 5.550000e+02 | Inf 8.89/8.90 o 392 8.89/8.90 c * 8.6s| 1824 | 1105 | 8116 | 4.3 | 20M|1199 | - |3655 |4629 |3655 |1004 | 796 | 300 |1214 | 0.000000e+00 | 3.920000e+02 | Inf 9.49/9.52 o 386 9.49/9.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 9.49/9.52 c * 9.2s| 2113 | 1298 | 9059 | 4.2 | 21M|1199 | - |3655 |4823 |3655 |1005 | 905 | 494 |1262 | 0.000000e+00 | 3.860000e+02 | Inf 10.00/10.06 o 325 10.00/10.06 c * 9.8s| 2318 | 1298 | 10493 | 4.4 | 21M|1199 | - |3655 |4996 |3655 | 980 |1039 | 667 |1300 | 0.000000e+00 | 3.250000e+02 | Inf 10.00/10.06 o 231 10.00/10.06 c * 9.8s| 2319 | 1220 | 10493 | 4.4 | 21M|1199 | - |3655 |4996 |3655 | 980 |1039 | 667 |1300 | 0.000000e+00 | 2.310000e+02 | Inf 10.09/10.15 o 227 10.09/10.15 c * 9.8s| 2362 | 1233 | 10722 | 4.4 | 21M|1199 | - |3655 |5041 |3655 | 981 |1050 | 712 |1303 | 0.000000e+00 | 2.270000e+02 | Inf 10.59/10.61 o 212 10.59/10.61 c *10.3s| 2558 | 1298 | 11618 | 4.5 | 23M|1199 | - |3655 |5317 |3655 | 995 |1154 | 999 |1319 | 0.000000e+00 | 2.120000e+02 | Inf 12.29/12.33 o 209 12.29/12.33 c *12.0s| 3151 | 1501 | 16031 | 5.0 | 25M|1199 | - |3655 |5726 |3655 | 995 |1635 |1789 |1409 | 0.000000e+00 | 2.090000e+02 | Inf 13.29/13.31 o 200 13.29/13.31 c *12.9s| 3564 | 1602 | 18248 | 5.1 | 25M|1199 | - |3655 |6075 |3655 |1010 |1840 |2337 |1465 | 0.000000e+00 | 2.000000e+02 | Inf 13.79/13.80 o 193 13.79/13.80 c *13.4s| 3783 | 1667 | 19805 | 5.2 | 26M|1199 | - |3655 |6326 |3655 |1018 |1994 |2705 |1469 | 0.000000e+00 | 1.930000e+02 | Inf 13.79/13.81 o 165 13.79/13.81 c *13.4s| 3784 | 1610 | 19805 | 5.2 | 26M|1199 | - |3655 |6324 |3655 |1018 |1994 |2705 |1469 | 0.000000e+00 | 1.650000e+02 | Inf 13.79/13.86 o 148 13.79/13.86 c *13.5s| 3802 | 1572 | 19964 | 5.2 | 25M|1199 | - |3655 |6319 |3655 |1005 |2004 |2705 |1473 | 0.000000e+00 | 1.480000e+02 | Inf 13.79/13.87 o 120 13.79/13.87 c *13.5s| 3803 | 1469 | 19964 | 5.2 | 25M|1199 | - |3655 |6319 |3655 |1005 |2004 |2705 |1473 | 0.000000e+00 | 1.200000e+02 | Inf 13.99/14.03 o 118 13.99/14.03 c *13.6s| 3857 | 1493 | 20387 | 5.2 | 25M|1199 | - |3655 |6293 |3655 | 997 |2034 |2737 |1473 | 0.000000e+00 | 1.180000e+02 | Inf 13.99/14.03 o 90 13.99/14.03 c *13.6s| 3858 | 1287 | 20387 | 5.2 | 24M|1199 | - |3655 |6293 |3655 | 997 |2034 |2737 |1473 | 0.000000e+00 | 9.000000e+01 | Inf 13.99/14.08 o 88 13.99/14.08 c *13.7s| 3866 | 1267 | 20499 | 5.2 | 25M|1199 | - |3655 |6060 |3655 |1013 |2052 |2740 |1473 | 0.000000e+00 | 8.800000e+01 | Inf 14.09/14.10 o 86 14.09/14.10 c *13.7s| 3868 | 1229 | 20509 | 5.2 | 24M|1199 | - |3655 |5999 |3655 |1013 |2052 |2740 |1473 | 0.000000e+00 | 8.600000e+01 | Inf 14.09/14.11 o 82 14.09/14.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 14.09/14.11 c *13.7s| 3869 | 1067 | 20511 | 5.2 | 24M|1199 | - |3655 |5996 |3655 |1013 |2052 |2740 |1473 | 0.000000e+00 | 8.200000e+01 | Inf 24.89/24.96 o 78 24.89/24.96 c *24.3s| 7867 | 1276 | 63040 | 8.0 | 27M|1199 | - |3655 |5986 |3655 | 979 |3603 |7723 |1588 | 0.000000e+00 | 7.800000e+01 | Inf 30.29/30.35 c 29.5s| 10000 | 1390 | 81910 | 8.2 | 28M|1199 | - |3655 |5911 | 0 | 0 |4627 | 10k|1651 | 0.000000e+00 | 7.800000e+01 | Inf 44.20/44.27 o 63 44.20/44.27 c *43.1s| 15737 | 1537 |133607 | 8.5 | 33M|1199 | - |3655 |7059 |3655 | 986 |6976 | 17k|1659 | 0.000000e+00 | 6.300000e+01 | Inf 44.20/44.27 o 57 44.20/44.27 c *43.1s| 15738 | 1423 |133611 | 8.5 | 32M|1199 | - |3655 |7059 |3655 | 986 |6976 | 17k|1659 | 0.000000e+00 | 5.700000e+01 | Inf 52.49/52.52 o 55 52.49/52.52 c *51.1s| 19896 | 1497 |155980 | 7.8 | 33M|1199 | - |3655 |7242 |3655 |1000 |8181 | 22k|1659 | 0.000000e+00 | 5.500000e+01 | Inf 52.70/52.78 c 51.4s| 20000 | 1494 |156841 | 7.8 | 33M|1199 | - |3655 |6941 | 0 | 0 |8200 | 22k|1659 | 0.000000e+00 | 5.500000e+01 | Inf 54.29/54.36 o 50 54.29/54.36 c *52.9s| 20805 | 1438 |160403 | 7.7 | 33M|1199 | - |3655 |6647 |3655 |1001 |8416 | 24k|1659 | 0.000000e+00 | 5.000000e+01 | Inf 56.69/56.72 o 45 56.69/56.72 c *55.2s| 21958 | 1395 |166498 | 7.6 | 33M|1199 | - |3655 |5694 |3655 | 992 |8686 | 25k|1659 | 0.000000e+00 | 4.500000e+01 | Inf 73.09/73.18 c 71.2s| 30000 | 1446 |221011 | 7.4 | 36M|1199 | - |3655 |7279 | 0 | 0 | 10k| 35k|1659 | 0.000000e+00 | 4.500000e+01 | Inf 92.40/92.46 c 90.1s| 40000 | 1498 |267983 | 6.7 | 39M|1199 | - |3655 |8815 | 0 | 0 | 12k| 48k|1659 | 0.000000e+00 | 4.500000e+01 | Inf 95.49/95.55 o 40 95.49/95.55 c *93.1s| 41657 | 1423 |274885 | 6.6 | 39M|1199 | - |3655 | 10k|3655 | 998 | 12k| 50k|1659 | 0.000000e+00 | 4.000000e+01 | Inf 111.40/111.41 c 108s| 50000 | 1395 |316038 | 6.3 | 39M|1199 | 1 |3655 |8386 |3655 | 988 | 14k| 60k|1669 | 0.000000e+00 | 4.000000e+01 | Inf 131.40/131.43 c 128s| 60000 | 1504 |376058 | 6.3 | 41M|1199 | 1 |3655 | 10k|3655 | 985 | 15k| 73k|1745 | 0.000000e+00 | 4.000000e+01 | Inf 151.39/151.43 c 147s| 70000 | 1583 |428151 | 6.1 | 43M|1199 | 14 |3655 | 11k|3655 | 985 | 17k| 85k|1840 | 0.000000e+00 | 4.000000e+01 | Inf 163.90/163.97 o 33 163.90/163.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 163.90/163.97 c * 160s| 75978 | 1630 |462182 | 6.1 | 43M|1199 | - |3655 | 11k|3655 | 996 | 19k| 93k|1899 | 0.000000e+00 | 3.300000e+01 | Inf 172.70/172.70 c 168s| 80000 | 1643 |490803 | 6.1 | 43M|1199 | - |3655 |9201 | 0 | 0 | 19k| 98k|1962 | 0.000000e+00 | 3.300000e+01 | Inf 188.20/188.29 o 32 188.20/188.29 c * 183s| 87695 | 1566 |536375 | 6.1 | 44M|1199 | - |3655 | 10k|3655 |1004 | 21k| 108k|2080 | 0.000000e+00 | 3.200000e+01 | Inf 190.20/190.28 o 17 190.20/190.28 c * 185s| 88608 | 1286 |541988 | 6.1 | 39M|1199 | - |3655 |9481 |3655 | 997 | 21k| 109k|2103 | 0.000000e+00 | 1.700000e+01 | Inf 192.99/193.09 c 188s| 90000 | 1221 |550709 | 6.1 | 37M|1199 | - |3655 |7423 | 0 | 0 | 21k| 111k|2113 | 0.000000e+00 | 1.700000e+01 | Inf 212.20/212.30 c 207s|100000 | 1147 |626436 | 6.3 | 37M|1199 | - |3655 |8028 | 0 | 0 | 24k| 124k|2313 | 0.000000e+00 | 1.700000e+01 | Inf 218.10/218.16 o 12 218.10/218.16 c * 212s|103135 | 1042 |648044 | 6.3 | 36M|1199 | - |3655 |9514 |3655 | 985 | 25k| 128k|2344 | 0.000000e+00 | 1.200000e+01 | Inf 230.39/230.44 c 224s|110000 | 1061 |689013 | 6.3 | 37M|1199 | - |3655 | 11k| 0 | 0 | 27k| 137k|2449 | 0.000000e+00 | 1.200000e+01 | Inf 233.90/233.97 o 4 233.90/233.97 c * 228s|111800 | 898 |703700 | 6.3 | 35M|1199 | - |3655 | 11k|3655 | 978 | 28k| 139k|2456 | 0.000000e+00 | 4.000000e+00 | Inf 249.30/249.33 c 243s|120000 | 914 |758329 | 6.3 | 36M|1199 | 26 |3655 | 13k|3655 | 994 | 32k| 151k|2567 | 0.000000e+00 | 4.000000e+00 | Inf 268.41/268.41 c 261s|130000 | 864 |826644 | 6.4 | 36M|1199 | - |3655 | 11k|3655 | 995 | 35k| 165k|2661 | 0.000000e+00 | 4.000000e+00 | Inf 287.60/287.67 c 280s|140000 | 828 |902057 | 6.4 | 36M|1199 | 26 |3655 | 11k|3655 | 970 | 39k| 178k|2805 | 0.000000e+00 | 4.000000e+00 | Inf 306.80/306.89 c 299s|150000 | 837 |977377 | 6.5 | 37M|1199 | 8 |3655 | 14k|3655 | 973 | 41k| 191k|3005 | 0.000000e+00 | 4.000000e+00 | Inf 327.00/327.00 c 318s|160000 | 816 | 1050k| 6.6 | 37M|1199 | - |3655 | 13k| 0 | 0 | 43k| 204k|3101 | 0.000000e+00 | 4.000000e+00 | Inf 346.20/346.22 c 337s|170000 | 783 | 1122k| 6.6 | 38M|1199 | - |3655 | 16k| 0 | 0 | 47k| 218k|3274 | 0.000000e+00 | 4.000000e+00 | Inf 367.10/367.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 367.10/367.18 c 357s|180000 | 893 | 1199k| 6.7 | 40M|1199 | 35 |3655 | 19k|3655 | 999 | 50k| 232k|3362 | 0.000000e+00 | 4.000000e+00 | Inf 388.40/388.47 c 378s|190000 | 813 | 1269k| 6.7 | 39M|1199 | - |3655 | 18k| 0 | 0 | 54k| 246k|3482 | 0.000000e+00 | 4.000000e+00 | Inf 407.90/407.97 c 397s|200000 | 743 | 1338k| 6.7 | 37M|1199 | - |3655 | 13k| 0 | 0 | 56k| 259k|3622 | 0.000000e+00 | 4.000000e+00 | Inf 427.70/427.72 c 416s|210000 | 805 | 1411k| 6.7 | 38M|1199 | - |3655 | 15k| 0 | 0 | 58k| 272k|3724 | 0.000000e+00 | 4.000000e+00 | Inf 447.41/447.44 c 435s|220000 | 729 | 1482k| 6.7 | 37M|1199 | 18 |3655 | 13k|3655 | 988 | 59k| 285k|3832 | 0.000000e+00 | 4.000000e+00 | Inf 467.60/467.65 c 455s|230000 | 786 | 1558k| 6.8 | 39M|1199 | 25 |3655 | 18k|3655 | 983 | 63k| 298k|3947 | 0.000000e+00 | 4.000000e+00 | Inf 490.41/490.43 c 477s|240000 | 770 | 1642k| 6.8 | 40M|1199 | 13 |3655 | 19k|3655 | 972 | 67k| 311k|4046 | 0.000000e+00 | 4.000000e+00 | Inf 511.81/511.80 c 498s|250000 | 679 | 1717k| 6.9 | 38M|1199 | 10 |3655 | 14k|3655 | 981 | 70k| 324k|4191 | 0.000000e+00 | 4.000000e+00 | Inf 532.61/532.60 c 518s|260000 | 632 | 1803k| 6.9 | 37M|1199 | - |3655 | 14k| 0 | 0 | 74k| 337k|4299 | 0.000000e+00 | 4.000000e+00 | Inf 554.11/554.13 c 539s|270000 | 673 | 1884k| 7.0 | 39M|1199 | 17 |3655 | 17k|3655 | 991 | 78k| 351k|4431 | 0.000000e+00 | 4.000000e+00 | Inf 576.31/576.37 c 561s|280000 | 693 | 1964k| 7.0 | 40M|1199 | 24 |3655 | 20k|3655 | 982 | 82k| 365k|4505 | 0.000000e+00 | 4.000000e+00 | Inf 599.91/599.98 c 584s|290000 | 675 | 2051k| 7.1 | 40M|1199 | 1 |3655 | 21k|3655 | 988 | 86k| 379k|4597 | 0.000000e+00 | 4.000000e+00 | Inf 621.51/621.54 c 605s|300000 | 643 | 2125k| 7.1 | 39M|1199 | - |3655 | 18k| 0 | 0 | 88k| 392k|4697 | 0.000000e+00 | 4.000000e+00 | Inf 644.21/644.28 c 627s|310000 | 682 | 2204k| 7.1 | 40M|1199 | 13 |3655 | 21k|3655 |1010 | 90k| 406k|4793 | 0.000000e+00 | 4.000000e+00 | Inf 666.62/666.61 c 649s|320000 | 784 | 2271k| 7.1 | 43M|1199 | - |3655 | 26k| 0 | 0 | 92k| 421k|4875 | 0.000000e+00 | 4.000000e+00 | Inf 689.01/689.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 689.01/689.05 c 671s|330000 | 868 | 2340k| 7.1 | 42M|1199 | - |3655 | 20k| 0 | 0 | 94k| 435k|4963 | 0.000000e+00 | 4.000000e+00 | Inf 709.31/709.32 c 691s|340000 | 862 | 2400k| 7.1 | 43M|1199 | 17 |3655 | 22k|3655 |1013 | 96k| 449k|5025 | 0.000000e+00 | 4.000000e+00 | Inf 710.31/710.30 o 1 710.31/710.30 c * 692s|340474 | 720 | 2402k| 7.1 | 42M|1199 | - |3655 | 22k|3655 |1026 | 96k| 450k|5034 | 0.000000e+00 | 1.000000e-00 | Inf 731.71/731.72 c 713s|350000 | 736 | 2472k| 7.1 | 43M|1199 | - |3655 | 25k| 0 | 0 | 98k| 463k|5102 | 0.000000e+00 | 1.000000e-00 | Inf 755.21/755.29 c 736s|360000 | 778 | 2544k| 7.1 | 43M|1199 | - |3655 | 22k| 0 | 0 | 99k| 478k|5190 | 0.000000e+00 | 1.000000e-00 | Inf 778.82/778.81 c 759s|370000 | 828 | 2620k| 7.1 | 44M|1199 | - |3655 | 24k| 0 | 0 | 100k| 493k|5276 | 0.000000e+00 | 1.000000e-00 | Inf 802.21/802.20 c 782s|380000 | 818 | 2697k| 7.1 | 44M|1199 | 24 |3655 | 24k|3655 |1003 | 102k| 507k|5352 | 0.000000e+00 | 1.000000e-00 | Inf 828.01/828.00 c 807s|390000 | 839 | 2788k| 7.1 | 45M|1199 | - |3655 | 26k| 0 | 0 | 104k| 521k|5433 | 0.000000e+00 | 1.000000e-00 | Inf 852.21/852.23 c 830s|400000 | 878 | 2871k| 7.2 | 46M|1199 | 24 |3655 | 27k|3655 |1010 | 105k| 536k|5506 | 0.000000e+00 | 1.000000e-00 | Inf 876.22/876.26 c 854s|410000 | 848 | 2942k| 7.2 | 45M|1199 | - |3655 | 26k| 0 | 0 | 107k| 552k|5575 | 0.000000e+00 | 1.000000e-00 | Inf 900.31/900.31 c 877s|420000 | 926 | 3018k| 7.2 | 47M|1199 | 21 |3655 | 29k|3655 |1003 | 109k| 566k|5641 | 0.000000e+00 | 1.000000e-00 | Inf 924.11/924.17 c 901s|430000 | 962 | 3078k| 7.2 | 48M|1199 | 1 |3655 | 30k|3655 |1003 | 111k| 582k|5701 | 0.000000e+00 | 1.000000e-00 | Inf 949.51/949.56 c 926s|440000 | 976 | 3151k| 7.2 | 49M|1199 | - |3655 | 32k| 0 | 0 | 112k| 597k|5760 | 0.000000e+00 | 1.000000e-00 | Inf 975.42/975.46 c 951s|450000 | 906 | 3219k| 7.2 | 49M|1199 | 27 |3655 | 33k|3655 |1019 | 114k| 611k|5816 | 0.000000e+00 | 1.000000e-00 | Inf 1002.42/1002.43 c 977s|460000 | 966 | 3296k| 7.2 | 50M|1199 | 29 |3655 | 34k|3655 |1003 | 115k| 627k|5877 | 0.000000e+00 | 1.000000e-00 | Inf 1029.02/1029.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1029.02/1029.01 c 1003s|470000 | 975 | 3370k| 7.2 | 51M|1199 | 22 |3655 | 37k|3655 |1015 | 117k| 642k|5934 | 0.000000e+00 | 1.000000e-00 | Inf 1057.13/1057.15 c 1031s|480000 | 948 | 3449k| 7.2 | 51M|1199 | - |3655 | 35k| 0 | 0 | 118k| 658k|5997 | 0.000000e+00 | 1.000000e-00 | Inf 1083.92/1083.91 c 1057s|490000 | 889 | 3520k| 7.2 | 48M|1199 | - |3655 | 31k|3655 |1025 | 120k| 673k|6037 | 0.000000e+00 | 1.000000e-00 | Inf 1109.32/1109.38 c 1082s|500000 | 928 | 3594k| 7.2 | 49M|1199 | - |3655 | 30k| 0 | 0 | 122k| 688k|6088 | 0.000000e+00 | 1.000000e-00 | Inf 1135.42/1135.44 c 1108s|510000 | 898 | 3673k| 7.2 | 48M|1199 | - |3655 | 28k| 0 | 0 | 124k| 703k|6151 | 0.000000e+00 | 1.000000e-00 | Inf 1160.72/1160.77 c 1132s|520000 | 868 | 3747k| 7.2 | 47M|1199 | 16 |3655 | 28k|3655 |1015 | 125k| 717k|6198 | 0.000000e+00 | 1.000000e-00 | Inf 1185.32/1185.31 c 1156s|530000 | 801 | 3829k| 7.2 | 45M|1199 | 1 |3655 | 22k|3655 |1023 | 127k| 731k|6260 | 0.000000e+00 | 1.000000e-00 | Inf 1209.62/1209.69 c 1180s|540000 | 796 | 3920k| 7.3 | 45M|1199 | 1 |3655 | 21k|3655 |1003 | 129k| 745k|6319 | 0.000000e+00 | 1.000000e-00 | Inf 1232.72/1232.76 c 1203s|550000 | 749 | 3993k| 7.3 | 44M|1199 | 22 |3655 | 20k|3655 | 995 | 131k| 758k|6387 | 0.000000e+00 | 1.000000e-00 | Inf 1254.52/1254.54 c 1224s|560000 | 711 | 4068k| 7.3 | 44M|1199 | - |3655 | 23k| 0 | 0 | 133k| 772k|6445 | 0.000000e+00 | 1.000000e-00 | Inf 1278.14/1278.18 c 1247s|570000 | 693 | 4143k| 7.3 | 44M|1199 | 8 |3655 | 21k|3655 |1003 | 135k| 786k|6521 | 0.000000e+00 | 1.000000e-00 | Inf 1302.03/1302.03 c 1270s|580000 | 704 | 4226k| 7.3 | 45M|1199 | 18 |3655 | 24k|3655 |1018 | 137k| 801k|6585 | 0.000000e+00 | 1.000000e-00 | Inf 1324.63/1324.65 c 1293s|590000 | 627 | 4308k| 7.3 | 43M|1199 | 13 |3655 | 22k|3655 |1006 | 139k| 814k|6789 | 0.000000e+00 | 1.000000e-00 | Inf 1346.73/1346.70 c 1314s|600000 | 587 | 4384k| 7.3 | 43M|1199 | - |3655 | 24k| 0 | 0 | 142k| 828k|6796 | 0.000000e+00 | 1.000000e-00 | Inf 1370.23/1370.28 c 1337s|610000 | 625 | 4470k| 7.3 | 44M|1199 | 12 |3655 | 25k|3655 | 979 | 145k| 841k|7038 | 0.000000e+00 | 1.000000e-00 | Inf 1393.33/1393.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1393.33/1393.34 c 1360s|620000 | 663 | 4541k| 7.3 | 45M|1199 | - |3655 | 27k| 0 | 0 | 147k| 855k|7048 | 0.000000e+00 | 1.000000e-00 | Inf 1417.43/1417.41 c 1383s|630000 | 671 | 4620k| 7.3 | 45M|1199 | 15 |3655 | 27k|3655 | 970 | 150k| 869k|7102 | 0.000000e+00 | 1.000000e-00 | Inf 1441.23/1441.27 c 1407s|640000 | 689 | 4697k| 7.3 | 46M|1199 | 6 |3655 | 29k|3655 | 995 | 153k| 883k|7164 | 0.000000e+00 | 1.000000e-00 | Inf 1467.43/1467.41 c 1432s|650000 | 706 | 4781k| 7.4 | 46M|1199 | 9 |3655 | 29k|3655 | 978 | 156k| 897k|7214 | 0.000000e+00 | 1.000000e-00 | Inf 1491.73/1491.73 c 1456s|660000 | 679 | 4850k| 7.3 | 46M|1199 | - |3655 | 29k|3655 |1006 | 158k| 911k|7241 | 0.000000e+00 | 1.000000e-00 | Inf 1516.44/1516.42 c 1480s|670000 | 648 | 4921k| 7.3 | 47M|1199 | 24 |3655 | 30k|3655 | 997 | 160k| 925k|7292 | 0.000000e+00 | 1.000000e-00 | Inf 1543.54/1543.53 c 1507s|680000 | 665 | 4994k| 7.3 | 47M|1199 | 9 |3655 | 33k|3655 | 982 | 162k| 938k|7350 | 0.000000e+00 | 1.000000e-00 | Inf 1571.33/1571.31 c 1534s|690000 | 791 | 5078k| 7.4 | 49M|1199 | 20 |3655 | 35k|3655 |1000 | 166k| 953k|7408 | 0.000000e+00 | 1.000000e-00 | Inf 1598.94/1598.95 c 1561s|700000 | 810 | 5155k| 7.4 | 50M|1199 | 1 |3655 | 35k|3655 | 998 | 168k| 967k|7453 | 0.000000e+00 | 1.000000e-00 | Inf 1626.54/1626.59 c 1588s|710000 | 818 | 5231k| 7.4 | 50M|1199 | - |3655 | 36k| 0 | 0 | 169k| 982k|7485 | 0.000000e+00 | 1.000000e-00 | Inf 1652.74/1652.76 c 1614s|720000 | 814 | 5295k| 7.4 | 51M|1199 | 17 |3655 | 37k|3655 | 991 | 172k| 996k|7530 | 0.000000e+00 | 1.000000e-00 | Inf 1679.64/1679.69 c 1640s|730000 | 760 | 5364k| 7.3 | 50M|1199 | 28 |3655 | 36k|3655 | 991 | 173k|1011k|7593 | 0.000000e+00 | 1.000000e-00 | Inf 1704.83/1704.86 c 1665s|740000 | 738 | 5428k| 7.3 | 50M|1199 | 24 |3655 | 38k|3655 | 991 | 175k|1025k|7623 | 0.000000e+00 | 1.000000e-00 | Inf 1734.14/1734.19 c 1694s|750000 | 728 | 5500k| 7.3 | 50M|1199 | 12 |3655 | 37k|3655 | 989 | 176k|1040k|7645 | 0.000000e+00 | 1.000000e-00 | Inf 1762.03/1762.05 c 1721s|760000 | 677 | 5570k| 7.3 | 50M|1199 | 12 |3655 | 38k|3655 | 982 | 178k|1055k|7693 | 0.000000e+00 | 1.000000e-00 | Inf 1790.94/1790.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1790.94/1790.93 c 1750s|770000 | 681 | 5657k| 7.3 | 50M|1199 | - |3655 | 38k| 0 | 0 | 180k|1069k|7752 | 0.000000e+00 | 1.000000e-00 | Inf 1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.01 c 1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.01 c Solving Time (sec) : 1758.52 1800.04/1800.01 c Solving Nodes : 773447 1800.04/1800.01 c Primal Bound : +1.00000000000000e-00 (295 solutions) 1800.04/1800.01 c Dual Bound : +0.00000000000000e+00 1800.04/1800.01 c Gap : infinite 1800.04/1800.04 s SATISFIABLE 1800.04/1800.04 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 1800.04/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 1800.04/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1800.04/1800.04 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 x147 1800.04/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 1800.04/1800.04 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 1800.04/1800.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 1800.04/1800.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 1800.04/1800.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 1800.04/1800.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 1800.04/1800.04 v -x1 1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.04 c Solving Time : 1758.52 1800.04/1800.04 c Original Problem : 1800.04/1800.04 c Problem name : HOME/instance-2693469-1277905837.wbo 1800.04/1800.04 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous) 1800.04/1800.04 c Constraints : 4485 initial, 4485 maximal 1800.04/1800.04 c Presolved Problem : 1800.04/1800.04 c Problem name : t_HOME/instance-2693469-1277905837.wbo 1800.04/1800.04 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous) 1800.04/1800.04 c Constraints : 4329 initial, 40470 maximal 1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.04 c trivial : 0.00 65 0 0 0 0 0 0 0 1800.04/1800.04 c dualfix : 0.00 65 0 0 0 0 0 0 0 1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0 1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 65 0 0 1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.04 c linear : 0.06 0 0 0 1789 0 91 76 0 1800.04/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.04 c root node : - 1712 - - 3424 - - - - 1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.04 c integral : 0 0 0 440605 0 61 770 0 0 828062 1800.04/1800.04 c indicator : 1712 0 1803481 14984 0 373 2191952 0 0 0 1800.04/1800.04 c setppc : 7 6 4052083 25472 0 25236 897676 0 0 0 1800.04/1800.04 c linear : 1712 6 4035647 25892 0 152607 18021896 181291 0 0 1800.04/1800.04 c logicor : 898+ 6 1502998 2901 0 191561 3917682 0 0 0 1800.04/1800.04 c bounddisjunction : 0+ 0 31461 0 0 0 7 0 0 0 1800.04/1800.04 c countsols : 0 0 0 2901 0 0 0 0 0 0 1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.04 c integral : 22.84 0.00 0.00 22.84 0.00 1800.04/1800.04 c indicator : 8.89 0.01 8.23 0.65 0.00 1800.04/1800.04 c setppc : 8.63 0.00 8.60 0.03 0.00 1800.04/1800.04 c linear : 139.83 0.00 138.12 1.71 0.00 1800.04/1800.04 c logicor : 302.51 0.00 302.49 0.02 0.00 1800.04/1800.04 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00 1800.04/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.04 c vbounds : 1.05 2 0 0 1800.04/1800.04 c rootredcost : 0.87 36 0 1712 1800.04/1800.04 c pseudoobj : 130.32 4067180 5920 1585319 1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.04 c propagation : 18.54 375324 375117 2284440 28.2 14498 22.0 - 1800.04/1800.04 c infeasible LP : 9.62 35226 35225 282054 44.9 543 14.2 0 1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.04 c pseudo solution : 0.02 107 107 635 20.0 83 5.3 - 1800.04/1800.04 c applied globally : - - - 1074668 23.2 - - - 1800.04/1800.04 c applied locally : - - - 0 0.0 - - - 1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.04 c cut pool : 0.00 5 - - 17 - (maximal pool size: 124) 1800.04/1800.04 c redcost : 21.86 443051 0 574491 0 0 1800.04/1800.04 c impliedbounds : 0.00 6 0 0 0 0 1800.04/1800.04 c intobj : 0.00 0 0 0 0 0 1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.04 c gomory : 0.10 6 0 0 844 0 1800.04/1800.04 c strongcg : 0.06 6 0 0 142 0 1800.04/1800.04 c cmir : 0.02 6 0 0 0 0 1800.04/1800.04 c flowcover : 0.06 6 0 0 0 0 1800.04/1800.04 c clique : 0.00 6 0 0 0 0 1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.04 c mcf : 0.00 1 0 0 0 0 1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0 1800.04/1800.04 c Pricers : Time Calls Vars 1800.04/1800.04 c problem variables: 0.00 0 0 1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.04 c relpscost : 22.52 414692 61 770 0 0 828062 1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.04 c inference : 0.35 2866 0 0 0 0 5732 1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.04 c random : 0.00 0 0 0 0 0 0 1800.04/1800.04 c Primal Heuristics : Time Calls Found 1800.04/1800.04 c LP solutions : 0.01 - 35 1800.04/1800.04 c pseudo solutions : 0.00 - 0 1800.04/1800.04 c feaspump : 0.03 1 0 1800.04/1800.04 c oneopt : 0.45 30 0 1800.04/1800.04 c intshifting : 0.01 7 0 1800.04/1800.04 c linesearchdiving : 0.02 15 0 1800.04/1800.04 c guideddiving : 0.03 15 0 1800.04/1800.04 c fracdiving : 0.07 15 0 1800.04/1800.04 c veclendiving : 0.03 15 0 1800.04/1800.04 c coefdiving : 0.08 15 0 1800.04/1800.04 c rootsoldiving : 0.07 8 0 1800.04/1800.04 c pscostdiving : 0.01 16 0 1800.04/1800.04 c objpscostdiving : 0.05 9 0 1800.04/1800.04 c crossover : 1.08 32 0 1800.04/1800.04 c trivial : 0.01 2 0 1800.04/1800.04 c simplerounding : 0.86 415676 0 1800.04/1800.04 c zirounding : 0.54 1000 0 1800.04/1800.04 c rounding : 1.94 9034 0 1800.04/1800.04 c shifting : 1.27 2843 0 1800.04/1800.04 c twoopt : 0.00 0 0 1800.04/1800.04 c fixandinfer : 0.00 0 0 1800.04/1800.04 c intdiving : 0.00 0 0 1800.04/1800.04 c actconsdiving : 0.00 0 0 1800.04/1800.04 c octane : 0.00 0 0 1800.04/1800.04 c rens : 0.02 1 0 1800.04/1800.04 c rins : 0.00 0 0 1800.04/1800.04 c localbranching : 0.00 0 0 1800.04/1800.04 c mutation : 0.00 0 0 1800.04/1800.04 c dins : 0.00 0 0 1800.04/1800.04 c undercover : 0.00 0 0 1800.04/1800.04 c nlp : 0.22 0 0 1800.04/1800.04 c trysol : 2.14 3796 260 1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.04 c primal LP : 0.00 0 0 0.00 - 1800.04/1800.04 c dual LP : 629.52 473590 5678255 11.99 9019.98 1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.04 c diving/probing LP: 0.20 150 1691 11.27 8455.00 1800.04/1800.04 c strong branching : 18.72 7752 211881 27.33 11318.43 1800.04/1800.04 c (at root node) : - 33 7035 213.18 - 1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.04 c B&B Tree : 1800.04/1800.04 c number of runs : 1 1800.04/1800.04 c nodes : 773447 1800.04/1800.04 c nodes (total) : 773447 1800.04/1800.04 c nodes left : 673 1800.04/1800.04 c max depth : 1199 1800.04/1800.04 c max depth (total): 1199 1800.04/1800.04 c backtracks : 74617 (9.6%) 1800.04/1800.04 c delayed cutoffs : 56684 1800.04/1800.04 c repropagations : 2067704 (4477633 domain reductions, 54393 cutoffs) 1800.04/1800.04 c avg switch length: 6.98 1800.04/1800.04 c switching time : 261.82 1800.04/1800.04 c Solution : 1800.04/1800.04 c Solutions found : 295 (36 improvements) 1800.04/1800.04 c First Solution : +8.67840000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>) 1800.04/1800.04 c Primal Bound : +1.00000000000000e-00 (in run 1, after 340474 nodes, 691.65 seconds, depth 38, found by <relaxation>) 1800.04/1800.04 c Dual Bound : +0.00000000000000e+00 1800.04/1800.04 c Gap : infinite 1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.04 c Root Iterations : 217 1800.14/1800.12 c Time complete: 1800.16.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693469-1277905837/watcher-2693469-1277905837 -o /tmp/evaluation-result-2693469-1277905837/solver-2693469-1277905837 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693469-1277905837.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: 2.01 2.30 2.37 4/178 14180 /proc/meminfo: memFree=30676744/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=11120 CPUtime=0 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 1707 0 0 0 0 0 0 0 25 0 1 0 131878880 11386880 1628 4089446400 4194304 9819077 140734297443232 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14180/statm: 2780 1632 392 1374 0 1401 0 [startup+0.0315639 s] /proc/loadavg: 2.01 2.30 2.37 4/178 14180 /proc/meminfo: memFree=30676744/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=16100 CPUtime=0.02 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 3338 0 0 0 2 0 0 0 25 0 1 0 131878880 16486400 2905 4089446400 4194304 9819077 140734297443232 18446744073709551615 6180033 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 4025 2905 394 1374 0 2646 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16100 [startup+0.10055 s] /proc/loadavg: 2.01 2.30 2.37 4/178 14180 /proc/meminfo: memFree=30676744/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=30424 CPUtime=0.09 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 7503 0 0 0 9 0 0 0 25 0 1 0 131878880 31154176 6299 4089446400 4194304 9819077 140734297443232 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 7606 6299 498 1374 0 6227 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30424 [startup+0.300518 s] /proc/loadavg: 2.01 2.30 2.37 4/178 14180 /proc/meminfo: memFree=30676744/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=39904 CPUtime=0.29 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 12252 0 0 0 27 2 0 0 25 0 1 0 131878880 40861696 8400 4089446400 4194304 9819077 140734297443232 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 9976 8400 681 1374 0 8597 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 39904 [startup+0.700444 s] /proc/loadavg: 2.01 2.30 2.37 4/178 14180 /proc/meminfo: memFree=30676744/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=42724 CPUtime=0.69 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 18598 0 0 0 66 3 0 0 25 0 1 0 131878880 43749376 9473 4089446400 4194304 9819077 140734297443232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 10681 9473 709 1374 0 9302 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42724 [startup+1.5003 s] /proc/loadavg: 2.01 2.30 2.37 3/179 14181 /proc/meminfo: memFree=30639784/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=42724 CPUtime=1.49 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 18783 0 0 0 146 3 0 0 25 0 1 0 131878880 43749376 9498 4089446400 4194304 9819077 140734297443232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 10681 9498 712 1374 0 9302 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42724 [startup+3.10101 s] /proc/loadavg: 2.01 2.30 2.37 3/179 14181 /proc/meminfo: memFree=30639036/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=45364 CPUtime=3.09 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 29525 0 0 0 303 6 0 0 25 0 1 0 131878880 46452736 9688 4089446400 4194304 9819077 140734297443232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 11341 9688 714 1374 0 9962 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45364 [startup+6.30045 s] /proc/loadavg: 2.01 2.30 2.37 3/179 14181 /proc/meminfo: memFree=30632720/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=48744 CPUtime=6.29 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 61702 0 0 0 615 14 0 0 25 0 1 0 131878880 49913856 10422 4089446400 4194304 9819077 140734297443232 18446744073709551615 7324493 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 12186 10422 714 1374 0 10807 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48744 [startup+12.7003 s] /proc/loadavg: 2.01 2.29 2.37 3/179 14182 /proc/meminfo: memFree=30618840/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=57848 CPUtime=12.69 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 137728 0 0 0 1235 34 0 0 25 0 1 0 131878880 59236352 12706 4089446400 4194304 9819077 140734297443232 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 14462 12706 721 1374 0 13083 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57848 [startup+25.501 s] /proc/loadavg: 2.00 2.28 2.36 3/179 14182 /proc/meminfo: memFree=30590792/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=80460 CPUtime=25.49 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 226660 0 0 0 2483 66 0 0 25 0 1 0 131878880 82391040 18268 4089446400 4194304 9819077 140734297443232 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 20115 18293 728 1374 0 18736 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 80460 [startup+51.1004 s] /proc/loadavg: 2.00 2.25 2.35 3/179 14182 /proc/meminfo: memFree=30518020/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=102136 CPUtime=51.09 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 383863 0 0 0 4977 132 0 0 25 0 1 0 131878880 104587264 23710 4089446400 4194304 9819077 140734297443232 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 25534 23710 728 1374 0 24155 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 102136 [startup+102.306 s] /proc/loadavg: 2.00 2.21 2.33 3/179 14184 /proc/meminfo: memFree=30356904/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=130044 CPUtime=102.3 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 655043 0 0 0 9963 267 0 0 25 0 1 0 131878880 133165056 30249 4089446400 4194304 9819077 140734297443232 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 32511 30249 728 1374 0 31132 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 130044 [startup+162.3 s] /proc/loadavg: 1.93 2.15 2.30 3/197 14231 /proc/meminfo: memFree=30960476/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=141292 CPUtime=162.29 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 949663 0 0 0 15809 420 0 0 25 0 1 0 131878880 144683008 32901 4089446400 4194304 9819077 140734297443232 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 35323 32901 728 1374 0 33944 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 141292 [startup+222.301 s] /proc/loadavg: 1.97 2.12 2.28 3/197 14232 /proc/meminfo: memFree=30909852/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=147344 CPUtime=222.3 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 1342600 0 0 0 21643 587 0 0 25 0 1 0 131878880 150880256 34298 4089446400 4194304 9819077 140734297443232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 36836 34298 742 1374 0 35457 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 147344 [startup+282.301 s] /proc/loadavg: 1.99 2.10 2.26 3/197 14233 /proc/meminfo: memFree=30881036/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=148616 CPUtime=282.3 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 1761692 0 0 0 27464 766 0 0 25 0 1 0 131878880 152182784 34615 4089446400 4194304 9819077 140734297443232 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 37154 34615 742 1374 0 35775 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 148616 [startup+342.3 s] /proc/loadavg: 1.99 2.08 2.24 3/197 14235 /proc/meminfo: memFree=30851496/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=149584 CPUtime=342.3 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 2115987 0 0 0 33304 926 0 0 25 0 1 0 131878880 153174016 34877 4089446400 4194304 9819077 140734297443232 18446744073709551615 6003233 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 37396 34877 742 1374 0 36017 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 149584 [startup+402.3 s] /proc/loadavg: 1.99 2.06 2.22 3/197 14237 /proc/meminfo: memFree=30839416/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=152388 CPUtime=402.31 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 2450648 0 0 0 39149 1082 0 0 25 0 1 0 131878880 156045312 35544 4089446400 4194304 9819077 140734297443232 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 38097 35544 742 1374 0 36718 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 152388 [startup+462.301 s] /proc/loadavg: 1.99 2.05 2.21 3/197 14239 /proc/meminfo: memFree=30813440/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=153212 CPUtime=462.31 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 2808886 0 0 0 44989 1242 0 0 25 0 1 0 131878880 156889088 35706 4089446400 4194304 9819077 140734297443232 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 38303 35706 742 1374 0 36924 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 153212 [startup+522.301 s] /proc/loadavg: 1.99 2.04 2.19 3/197 14240 /proc/meminfo: memFree=30784376/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=153476 CPUtime=522.3 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 3156683 0 0 0 50825 1405 0 0 25 0 1 0 131878880 157159424 35787 4089446400 4194304 9819077 140734297443232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 38369 35789 742 1374 0 36990 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 153476 [startup+582.301 s] /proc/loadavg: 1.99 2.03 2.17 3/197 14241 /proc/meminfo: memFree=30752460/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=154080 CPUtime=582.3 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 3500377 0 0 0 56675 1555 0 0 25 0 1 0 131878880 157777920 35879 4089446400 4194304 9819077 140734297443232 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 38520 35879 742 1374 0 37141 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 154080 [startup+642.3 s] /proc/loadavg: 1.99 2.02 2.16 3/197 14252 /proc/meminfo: memFree=30728720/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=155072 CPUtime=642.32 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 3784687 0 0 0 62529 1703 0 0 25 0 1 0 131878880 158793728 36137 4089446400 4194304 9819077 140734297443232 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 38768 36137 742 1374 0 37389 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 155072 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.99 2.00 2.12 3/197 14258 /proc/meminfo: memFree=30649796/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=159036 CPUtime=882.32 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 4947002 0 0 0 85983 2249 0 0 25 0 1 0 131878880 162852864 37186 4089446400 4194304 9819077 140734297443232 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 39759 37186 742 1374 0 38380 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 159036 [startup+942.301 s] /proc/loadavg: 1.99 2.00 2.10 3/197 14260 /proc/meminfo: memFree=30627956/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=161232 CPUtime=942.31 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 5219648 0 0 0 91848 2383 0 0 25 0 1 0 131878880 165101568 37823 4089446400 4194304 9819077 140734297443232 18446744073709551615 4223102 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 40308 37823 742 1374 0 38929 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 161232 [startup+1002.3 s] /proc/loadavg: 1.99 2.00 2.09 3/197 14262 /proc/meminfo: memFree=30615896/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=163400 CPUtime=1002.32 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 5457174 0 0 0 97721 2511 0 0 25 0 1 0 131878880 167321600 38184 4089446400 4194304 9819077 140734297443232 18446744073709551615 4224263 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 40850 38184 742 1374 0 39471 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 163400 [startup+1062.3 s] /proc/loadavg: 1.99 2.00 2.09 3/197 14264 /proc/meminfo: memFree=30594168/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=166116 CPUtime=1062.32 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 5707531 0 0 0 103600 2632 0 0 25 0 1 0 131878880 170102784 38807 4089446400 4194304 9819077 140734297443232 18446744073709551615 6590264 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 41194 38798 742 1374 0 39815 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 166116 [startup+1122.3 s] /proc/loadavg: 1.99 2.00 2.08 3/197 14265 /proc/meminfo: memFree=30573532/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=166608 CPUtime=1122.32 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 5968973 0 0 0 109467 2765 0 0 25 0 1 0 131878880 170606592 38865 4089446400 4194304 9819077 140734297443232 18446744073709551615 6003308 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 41652 38865 742 1374 0 40273 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 166608 [startup+1182.3 s] /proc/loadavg: 1.99 2.00 2.07 3/197 14266 /proc/meminfo: memFree=30567656/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=167188 CPUtime=1182.32 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 6239277 0 0 0 115339 2893 0 0 25 0 1 0 131878880 171200512 39066 4089446400 4194304 9819077 140734297443232 18446744073709551615 5000303 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 41797 39066 742 1374 0 40418 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 167188 [startup+1242.3 s] /proc/loadavg: 2.16 2.07 2.09 3/197 14268 /proc/meminfo: memFree=30566496/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=167640 CPUtime=1242.32 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 6500284 0 0 0 121206 3026 0 0 25 0 1 0 131878880 171663360 39137 4089446400 4194304 9819077 140734297443232 18446744073709551615 6180688 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 41910 39137 742 1374 0 40531 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 167640 [startup+1302.3 s] /proc/loadavg: 2.06 2.05 2.08 3/197 14270 /proc/meminfo: memFree=30566324/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=167404 CPUtime=1302.33 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 6766118 0 0 0 127070 3163 0 0 25 0 1 0 131878880 171421696 39147 4089446400 4194304 9819077 140734297443232 18446744073709551615 6209887 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 41851 39149 742 1374 0 40472 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 167404 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.08 3/197 14272 /proc/meminfo: memFree=30565672/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=168564 CPUtime=1362.33 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 7049380 0 0 0 132928 3305 0 0 25 0 1 0 131878880 172609536 39247 4089446400 4194304 9819077 140734297443232 18446744073709551615 4999667 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 42141 39247 742 1374 0 40762 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 168564 [startup+1422.31 s] /proc/loadavg: 2.00 2.03 2.07 3/197 14273 /proc/meminfo: memFree=30565628/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=168592 CPUtime=1422.33 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 7290853 0 0 0 138795 3438 0 0 25 0 1 0 131878880 172638208 39256 4089446400 4194304 9819077 140734297443232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 42148 39256 742 1374 0 40769 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 168592 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.07 3/197 14274 /proc/meminfo: memFree=30564848/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=169472 CPUtime=1482.33 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 7520670 0 0 0 144678 3555 0 0 25 0 1 0 131878880 173539328 39439 4089446400 4194304 9819077 140734297443232 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 42368 39439 742 1374 0 40989 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 169472 [startup+1542.3 s] /proc/loadavg: 2.30 2.11 2.09 3/197 14276 /proc/meminfo: memFree=30564492/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=170216 CPUtime=1542.33 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 7739103 0 0 0 150557 3676 0 0 25 0 1 0 131878880 174301184 39598 4089446400 4194304 9819077 140734297443232 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 42554 39598 742 1374 0 41175 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 170216 [startup+1602.3 s] /proc/loadavg: 2.11 2.08 2.08 3/197 14278 /proc/meminfo: memFree=30563712/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=170488 CPUtime=1602.33 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 7955075 0 0 0 156441 3792 0 0 25 0 1 0 131878880 174579712 39688 4089446400 4194304 9819077 140734297443232 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 42622 39688 742 1374 0 41243 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 170488 [startup+1662.3 s] /proc/loadavg: 2.07 2.08 2.08 3/197 14280 /proc/meminfo: memFree=30563556/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=170584 CPUtime=1662.34 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 8159909 0 0 0 162330 3904 0 0 25 0 1 0 131878880 174678016 39751 4089446400 4194304 9819077 140734297443232 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 42646 39751 742 1374 0 41267 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 170584 [startup+1722.3 s] /proc/loadavg: 2.02 2.06 2.08 3/197 14281 /proc/meminfo: memFree=30560796/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=170632 CPUtime=1722.33 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 8360786 0 0 0 168224 4009 0 0 25 0 1 0 131878880 174727168 39753 4089446400 4194304 9819077 140734297443232 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 42658 39753 742 1374 0 41279 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 170632 [startup+1782.3 s] /proc/loadavg: 2.01 2.05 2.07 3/197 14282 /proc/meminfo: memFree=30550324/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=170188 CPUtime=1782.34 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 8567120 0 0 0 174115 4119 0 0 25 0 1 0 131878880 174272512 39764 4089446400 4194304 9819077 140734297443232 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 42547 39766 742 1374 0 41168 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 170188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.05 2.07 3/197 14283 /proc/meminfo: memFree=30547452/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=170836 CPUtime=1800.04 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 8626681 0 0 0 175853 4151 0 0 25 0 1 0 131878880 174936064 39778 4089446400 4194304 9819077 140734297443232 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14180/statm: 42709 39778 742 1374 0 41330 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 170836 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.00 2.05 2.07 3/197 14283 /proc/meminfo: memFree=30547452/32951124 swapFree=67111528/67111528 [pid=14180] ppid=14178 vsize=166720 CPUtime=1800.14 /proc/14180/stat : 14180 (pbscip.linux.x8) R 14178 14180 13296 0 -1 4202496 8626759 0 0 0 175863 4151 0 0 18 0 1 0 131878880 170721280 38739 4089446400 4194304 9819077 140734297443232 18446744073709551615 6180018 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14180/statm: 41680 38739 743 1374 0 40301 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 166720 Child status: 0 Real time (s): 1800.12 CPU time (s): 1800.17 CPU user time (s): 1758.65 CPU system time (s): 41.5237 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 172692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1758.65 system time used= 41.5237 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8626763 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 18914 runsolver used 3.04854 second user time and 6.40603 second system time The end
Begin job on node145 at 2010-06-30 15:50:37 IDJOB=2693469 IDBENCH=78933 IDSOLVER=1205 FILE ID=node145/2693469-1277905837 PBS_JOBID= 11197204 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135--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-2693469-1277905837/watcher-2693469-1277905837 -o /tmp/evaluation-result-2693469-1277905837/solver-2693469-1277905837 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693469-1277905837.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 98ba7b6540ae93cc2daebc624abceb03 RANDOM SEED=163803437 node145.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.851 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.70 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.851 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.851 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.851 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.851 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.82 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.851 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.67 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.851 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.851 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30677272 kB Buffers: 190800 kB Cached: 1267976 kB SwapCached: 0 kB Active: 1155616 kB Inactive: 973024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30677272 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6252 kB Writeback: 0 kB AnonPages: 669612 kB Mapped: 15284 kB Slab: 79640 kB PageTables: 6084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 817120 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node145 at 2010-06-30 16:20:39