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.18 | 1800.14 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo |
MD5SUM | b8c059b75f42fac4cec7408dc4fcfe67 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 262.865 |
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 | 1802 |
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 | 91108 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91107 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
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-2693419-1277903176.wbo> 0.00/0.03 c original problem has 3835 variables (2033 bin, 0 int, 0 impl, 1802 cont) and 4510 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, 1950 impls, 9 clqs 0.05/0.09 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs 0.05/0.09 c (round 3) 53 del vars, 138 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs 0.09/0.11 c (round 4) 114 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs 0.09/0.12 c (round 5) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs 0.09/0.17 c (0.1s) probing: 101/1972 (5.1%) - 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 122 deleted vars, 146 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients 0.09/0.17 c 1950 implications, 9 cliques 0.09/0.17 c presolved problem has 3713 variables (1972 bin, 0 int, 0 impl, 1741 cont) and 4364 constraints 0.09/0.17 c 1741 constraints of type <indicator> 0.09/0.17 c 9 constraints of type <setppc> 0.09/0.17 c 1741 constraints of type <linear> 0.09/0.17 c 873 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 | 15 | - | 13M| 0 | 7 |3713 |4364 |3713 | 882 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.19 o 87754 0.09/0.19 c y 0.1s| 1 | 0 | 15 | - | 13M| 0 | 7 |3713 |4364 |3713 | 882 | 0 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.19/0.21 c 0.2s| 1 | 0 | 72 | - | 13M| 0 | 27 |3713 |4364 |3713 | 897 | 15 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.19/0.25 c 0.2s| 1 | 0 | 120 | - | 14M| 0 | 36 |3713 |4364 |3713 | 914 | 32 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.29/0.30 c 0.2s| 1 | 0 | 150 | - | 14M| 0 | 27 |3713 |4364 |3713 | 922 | 40 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.29/0.35 c 0.3s| 1 | 0 | 232 | - | 14M| 0 | 43 |3713 |4364 |3713 | 932 | 50 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.39/0.42 c 0.4s| 1 | 0 | 296 | - | 15M| 0 | 44 |3713 |4364 |3713 | 942 | 60 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.39/0.49 c 0.4s| 1 | 0 | 354 | - | 15M| 0 | 48 |3713 |4364 |3713 | 949 | 67 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.89/0.94 c 0.9s| 1 | 2 | 354 | - | 15M| 0 | 48 |3713 |4364 |3713 | 949 | 67 | 0 | 33 | 0.000000e+00 | 8.775400e+04 | Inf 10.59/10.67 o 227 10.59/10.67 c *10.3s| 6670 | 4508 | 6292 | 0.9 | 27M| 903 | - |3713 |4364 |3713 | 968 |1129 | 0 | 928 | 0.000000e+00 | 2.270000e+02 | Inf 11.89/11.97 o 219 11.89/11.97 c *11.5s| 7273 | 4897 | 8278 | 1.1 | 30M| 903 | - |3713 |4603 |3713 | 979 |1548 | 239 |1016 | 0.000000e+00 | 2.190000e+02 | Inf 12.19/12.20 o 203 12.19/12.20 c *11.7s| 7342 | 4754 | 8692 | 1.1 | 30M| 903 | - |3713 |4644 |3713 | 987 |1636 | 280 |1038 | 0.000000e+00 | 2.030000e+02 | Inf 12.49/12.53 o 193 12.49/12.53 c *12.0s| 7456 | 4722 | 9324 | 1.2 | 31M| 903 | - |3713 |4728 |3713 |1008 |1743 | 364 |1073 | 0.000000e+00 | 1.930000e+02 | Inf 13.79/13.89 o 189 13.79/13.89 c *13.3s| 8040 | 4955 | 10792 | 1.3 | 32M| 903 | - |3713 |5237 |3713 | 980 |1902 | 876 |1159 | 0.000000e+00 | 1.890000e+02 | Inf 14.20/14.23 o 181 14.20/14.23 c *13.7s| 8183 | 4919 | 11253 | 1.3 | 32M| 903 | - |3713 |5402 |3713 | 980 |1957 |1074 |1172 | 0.000000e+00 | 1.810000e+02 | Inf 14.39/14.45 o 167 14.39/14.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 14.39/14.45 c *13.9s| 8309 | 4722 | 11530 | 1.3 | 32M| 903 | - |3713 |5500 |3713 | 983 |1986 |1188 |1176 | 0.000000e+00 | 1.670000e+02 | Inf 14.49/14.54 o 164 14.49/14.54 c *14.0s| 8323 | 4671 | 11753 | 1.4 | 32M| 903 | - |3713 |5485 |3713 | 992 |2009 |1202 |1180 | 0.000000e+00 | 1.640000e+02 | Inf 15.59/15.66 o 155 15.59/15.66 c *15.0s| 8741 | 4780 | 13714 | 1.5 | 33M| 903 | - |3713 |5668 |3713 | 974 |2350 |1558 |1251 | 0.000000e+00 | 1.550000e+02 | Inf 15.89/15.91 o 152 15.89/15.91 c *15.3s| 8840 | 4764 | 13985 | 1.5 | 33M| 903 | - |3713 |5728 |3713 | 973 |2360 |1654 |1265 | 0.000000e+00 | 1.520000e+02 | Inf 16.19/16.22 o 94 16.19/16.22 c *15.6s| 9080 | 2835 | 14041 | 1.5 | 29M| 903 | - |3713 |5728 |3713 | 968 |2370 |1659 |1265 | 0.000000e+00 | 9.400000e+01 | Inf 16.29/16.30 o 75 16.29/16.30 c *15.7s| 9124 | 2040 | 14108 | 1.5 | 27M| 903 | - |3713 |5583 |3713 | 958 |2374 |1660 |1266 | 0.000000e+00 | 7.500000e+01 | Inf 16.69/16.78 o 55 16.69/16.78 c *16.1s| 9254 | 1269 | 15031 | 1.6 | 26M| 903 | - |3713 |5103 |3713 |1005 |2507 |1814 |1307 | 0.000000e+00 | 5.500000e+01 | Inf 16.69/16.79 o 50 16.69/16.79 c *16.1s| 9255 | 918 | 15031 | 1.6 | 24M| 903 | - |3713 |5103 |3713 |1005 |2507 |1814 |1307 | 0.000000e+00 | 5.000000e+01 | Inf 18.69/18.78 o 40 18.69/18.78 c *18.0s| 9963 | 839 | 19760 | 1.9 | 25M| 903 | - |3713 |4995 |3713 | 968 |2869 |2745 |1462 | 0.000000e+00 | 4.000000e+01 | Inf 18.79/18.86 c 18.1s| 10000 | 839 | 19848 | 1.9 | 25M| 903 | 11 |3713 |4848 |3713 | 971 |2872 |2818 |1463 | 0.000000e+00 | 4.000000e+01 | Inf 18.89/18.92 o 33 18.89/18.92 c *18.1s| 10033 | 725 | 19966 | 2.0 | 24M| 903 | - |3713 |4875 |3713 | 961 |2875 |2854 |1464 | 0.000000e+00 | 3.300000e+01 | Inf 27.99/28.03 o 24 27.99/28.03 c *26.8s| 14792 | 635 | 45584 | 3.1 | 26M| 903 | - |3713 |5631 |3713 | 963 |4000 |9019 |1754 | 0.000000e+00 | 2.400000e+01 | Inf 27.99/28.03 o 18 27.99/28.03 c *26.8s| 14793 | 528 | 45588 | 3.1 | 26M| 903 | - |3713 |5631 |3713 | 962 |4000 |9019 |1754 | 0.000000e+00 | 1.800000e+01 | Inf 36.39/36.45 c 34.7s| 20000 | 533 | 72137 | 3.6 | 27M| 903 | 6 |3713 |6209 |3713 | 972 |5123 | 15k|1766 | 0.000000e+00 | 1.800000e+01 | Inf 52.39/52.44 c 49.8s| 30000 | 637 |120878 | 4.0 | 29M| 903 | 7 |3713 |7184 |3713 | 939 |7489 | 28k|1781 | 0.000000e+00 | 1.800000e+01 | Inf 68.99/69.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 68.99/69.07 c 65.5s| 40000 | 803 |174742 | 4.4 | 31M| 903 | - |3713 |7890 | 0 | 0 |9752 | 41k|1874 | 0.000000e+00 | 1.800000e+01 | Inf 85.69/85.77 c 81.3s| 50000 | 864 |225589 | 4.5 | 33M| 903 | - |3713 |9679 | 0 | 0 | 12k| 54k|2082 | 0.000000e+00 | 1.800000e+01 | Inf 102.69/102.77 c 97.4s| 60000 | 876 |276348 | 4.6 | 34M| 903 | - |3713 |9366 | 0 | 0 | 14k| 67k|2280 | 0.000000e+00 | 1.800000e+01 | Inf 120.09/120.12 c 114s| 70000 | 889 |329102 | 4.7 | 35M| 903 | - |3713 |9015 | 0 | 0 | 16k| 81k|2484 | 0.000000e+00 | 1.800000e+01 | Inf 137.39/137.49 c 130s| 80000 | 982 |386846 | 4.8 | 36M| 903 | 17 |3713 |8337 |3713 | 946 | 19k| 95k|2712 | 0.000000e+00 | 1.800000e+01 | Inf 154.59/154.64 c 146s| 90000 | 971 |439583 | 4.9 | 37M| 903 | - |3713 |8883 | 0 | 0 | 21k| 108k|2907 | 0.000000e+00 | 1.800000e+01 | Inf 171.89/171.91 c 163s|100000 | 1030 |490731 | 4.9 | 38M| 903 | - |3713 |9679 | 0 | 0 | 23k| 121k|3039 | 0.000000e+00 | 1.800000e+01 | Inf 189.29/189.33 c 179s|110000 | 1034 |541709 | 4.9 | 39M| 903 | 1 |3713 |9696 |3713 | 962 | 26k| 134k|3186 | 0.000000e+00 | 1.800000e+01 | Inf 206.19/206.21 c 195s|120000 | 1085 |586134 | 4.9 | 40M| 903 | 13 |3713 | 10k|3713 | 960 | 29k| 147k|3348 | 0.000000e+00 | 1.800000e+01 | Inf 223.39/223.44 c 212s|130000 | 1083 |632764 | 4.9 | 41M| 903 | 1 |3713 | 11k|3713 | 951 | 31k| 160k|3451 | 0.000000e+00 | 1.800000e+01 | Inf 240.99/241.03 c 228s|140000 | 1065 |682827 | 4.9 | 42M| 903 | - |3713 | 10k| 0 | 0 | 33k| 174k|3603 | 0.000000e+00 | 1.800000e+01 | Inf 258.79/258.89 c 245s|150000 | 1052 |735716 | 4.9 | 42M| 903 | 22 |3713 | 10k|3713 | 971 | 35k| 187k|3760 | 0.000000e+00 | 1.800000e+01 | Inf 274.89/274.94 o 14 274.89/274.94 c * 260s|159146 | 862 |780953 | 4.9 | 39M| 903 | - |3713 |9168 |3713 | 972 | 38k| 199k|3929 | 0.000000e+00 | 1.400000e+01 | Inf 276.39/276.44 c 262s|160000 | 867 |784699 | 4.9 | 39M| 903 | 1 |3713 |8633 |3713 | 982 | 38k| 200k|3991 | 0.000000e+00 | 1.400000e+01 | Inf 292.79/292.83 c 277s|170000 | 888 |833963 | 4.9 | 41M| 903 | - |3713 | 10k| 0 | 0 | 40k| 213k|4083 | 0.000000e+00 | 1.400000e+01 | Inf 309.29/309.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 309.29/309.34 c 293s|180000 | 991 |880122 | 4.9 | 42M| 903 | - |3713 | 10k| 0 | 0 | 42k| 226k|4174 | 0.000000e+00 | 1.400000e+01 | Inf 325.89/325.92 c 309s|190000 | 1055 |927384 | 4.9 | 43M| 903 | 13 |3713 | 10k|3713 | 950 | 44k| 239k|4240 | 0.000000e+00 | 1.400000e+01 | Inf 342.89/342.99 c 325s|200000 | 1086 |977777 | 4.9 | 44M| 903 | 11 |3713 | 12k|3713 | 947 | 47k| 252k|4363 | 0.000000e+00 | 1.400000e+01 | Inf 360.49/360.53 c 342s|210000 | 1169 | 1027k| 4.9 | 46M| 903 | 16 |3713 | 13k|3713 | 970 | 49k| 266k|4424 | 0.000000e+00 | 1.400000e+01 | Inf 377.89/377.90 c 358s|220000 | 1227 | 1073k| 4.9 | 48M| 903 | 9 |3713 | 15k|3713 | 956 | 51k| 279k|4507 | 0.000000e+00 | 1.400000e+01 | Inf 395.79/395.84 c 375s|230000 | 1233 | 1121k| 4.9 | 48M| 903 | 1 |3713 | 14k|3713 | 939 | 53k| 292k|4589 | 0.000000e+00 | 1.400000e+01 | Inf 413.89/413.98 c 392s|240000 | 1301 | 1168k| 4.9 | 48M| 903 | 1 |3713 | 10k|3713 | 954 | 56k| 305k|4897 | 0.000000e+00 | 1.400000e+01 | Inf 431.69/431.72 c 409s|250000 | 1423 | 1222k| 4.9 | 51M| 903 | 11 |3713 | 11k|3713 | 961 | 58k| 318k|4995 | 0.000000e+00 | 1.400000e+01 | Inf 449.19/449.27 c 426s|260000 | 1476 | 1272k| 4.9 | 52M| 903 | - |3713 | 13k|3713 | 962 | 59k| 331k|5019 | 0.000000e+00 | 1.400000e+01 | Inf 467.60/467.63 c 443s|270000 | 1531 | 1324k| 4.9 | 54M| 903 | 19 |3713 | 13k|3713 | 958 | 61k| 344k|5120 | 0.000000e+00 | 1.400000e+01 | Inf 486.39/486.44 c 461s|280000 | 1570 | 1380k| 4.9 | 54M| 903 | - |3713 | 13k| 0 | 0 | 63k| 357k|5192 | 0.000000e+00 | 1.400000e+01 | Inf 503.99/504.03 c 478s|290000 | 1630 | 1426k| 4.9 | 55M| 903 | - |3713 | 13k| 0 | 0 | 65k| 370k|5258 | 0.000000e+00 | 1.400000e+01 | Inf 521.70/521.70 c 494s|300000 | 1665 | 1469k| 4.9 | 56M| 903 | 1 |3713 | 14k|3713 | 977 | 67k| 383k|5330 | 0.000000e+00 | 1.400000e+01 | Inf 540.01/540.09 c 512s|310000 | 1690 | 1520k| 4.9 | 57M| 903 | 1 |3713 | 15k|3713 | 966 | 69k| 396k|5405 | 0.000000e+00 | 1.400000e+01 | Inf 558.60/558.67 c 530s|320000 | 1773 | 1572k| 4.9 | 58M| 903 | - |3713 | 16k| 0 | 0 | 71k| 410k|5466 | 0.000000e+00 | 1.400000e+01 | Inf 576.90/576.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 576.90/576.95 c 547s|330000 | 1766 | 1618k| 4.9 | 59M| 903 | - |3713 | 17k| 0 | 0 | 72k| 423k|5541 | 0.000000e+00 | 1.400000e+01 | Inf 595.40/595.40 o 11 595.40/595.40 c * 564s|339413 | 1712 | 1667k| 4.9 | 56M| 903 | - |3713 | 18k|3713 | 994 | 74k| 436k|5603 | 0.000000e+00 | 1.100000e+01 | Inf 596.50/596.50 c 566s|340000 | 1723 | 1670k| 4.9 | 56M| 903 | - |3713 | 17k| 0 | 0 | 74k| 437k|5603 | 0.000000e+00 | 1.100000e+01 | Inf 614.60/614.66 c 583s|350000 | 1753 | 1717k| 4.9 | 57M| 903 | - |3713 | 17k| 0 | 0 | 76k| 452k|5667 | 0.000000e+00 | 1.100000e+01 | Inf 633.40/633.43 c 601s|360000 | 1847 | 1771k| 4.9 | 58M| 903 | 1 |3713 | 17k|3713 | 958 | 79k| 466k|5736 | 0.000000e+00 | 1.100000e+01 | Inf 652.00/652.01 c 618s|370000 | 1902 | 1823k| 4.9 | 59M| 903 | 14 |3713 | 16k|3713 | 958 | 81k| 480k|5803 | 0.000000e+00 | 1.100000e+01 | Inf 670.10/670.18 c 635s|380000 | 1891 | 1871k| 4.9 | 59M| 903 | 18 |3713 | 17k|3713 | 971 | 83k| 493k|5871 | 0.000000e+00 | 1.100000e+01 | Inf 688.51/688.53 c 653s|390000 | 1894 | 1920k| 4.9 | 59M| 903 | - |3713 | 17k| 0 | 0 | 85k| 507k|5935 | 0.000000e+00 | 1.100000e+01 | Inf 707.10/707.14 c 671s|400000 | 2062 | 1972k| 4.9 | 61M| 903 | 1 |3713 | 18k|3713 | 989 | 87k| 521k|6002 | 0.000000e+00 | 1.100000e+01 | Inf 725.91/725.98 c 689s|410000 | 2171 | 2020k| 4.9 | 62M| 903 | 20 |3713 | 19k|3713 | 992 | 88k| 535k|6055 | 0.000000e+00 | 1.100000e+01 | Inf 741.51/741.58 o 10 741.51/741.58 c * 703s|418329 | 2197 | 2061k| 4.9 | 63M| 903 | - |3713 | 20k|3713 | 983 | 90k| 547k|6100 | 0.000000e+00 | 1.000000e+01 | Inf 744.91/744.93 c 707s|420000 | 2195 | 2070k| 4.9 | 62M| 903 | - |3713 | 19k| 0 | 0 | 90k| 549k|6113 | 0.000000e+00 | 1.000000e+01 | Inf 764.30/764.30 c 725s|430000 | 2274 | 2124k| 4.9 | 63M| 903 | 1 |3713 | 19k|3713 | 979 | 93k| 564k|6186 | 0.000000e+00 | 1.000000e+01 | Inf 783.01/783.08 c 743s|440000 | 2302 | 2175k| 4.9 | 64M| 903 | - |3713 | 20k| 0 | 0 | 95k| 578k|6250 | 0.000000e+00 | 1.000000e+01 | Inf 802.40/802.47 c 761s|450000 | 2330 | 2225k| 4.9 | 65M| 903 | - |3713 | 21k| 0 | 0 | 97k| 594k|6308 | 0.000000e+00 | 1.000000e+01 | Inf 821.61/821.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 821.61/821.64 c 780s|460000 | 2362 | 2277k| 4.9 | 64M| 903 | 24 |3713 | 18k|3713 | 977 | 99k| 608k|6372 | 0.000000e+00 | 1.000000e+01 | Inf 840.32/840.40 c 798s|470000 | 2302 | 2329k| 5.0 | 64M| 903 | 1 |3713 | 19k|3713 | 993 | 101k| 623k|6435 | 0.000000e+00 | 1.000000e+01 | Inf 858.61/858.68 c 815s|480000 | 2286 | 2374k| 4.9 | 65M| 903 | 11 |3713 | 20k|3713 | 984 | 103k| 638k|6493 | 0.000000e+00 | 1.000000e+01 | Inf 878.21/878.24 c 834s|490000 | 2312 | 2427k| 5.0 | 66M| 903 | - |3713 | 21k| 0 | 0 | 105k| 652k|6551 | 0.000000e+00 | 1.000000e+01 | Inf 897.91/897.95 c 852s|500000 | 2307 | 2483k| 5.0 | 65M| 903 | 20 |3713 | 17k|3713 | 968 | 108k| 667k|6608 | 0.000000e+00 | 1.000000e+01 | Inf 916.11/916.14 c 870s|510000 | 2328 | 2530k| 5.0 | 66M| 903 | 1 |3713 | 17k|3713 | 969 | 109k| 682k|6663 | 0.000000e+00 | 1.000000e+01 | Inf 934.61/934.69 c 887s|520000 | 2353 | 2581k| 5.0 | 67M| 903 | 18 |3713 | 19k|3713 | 984 | 112k| 697k|6723 | 0.000000e+00 | 1.000000e+01 | Inf 953.51/953.50 c 905s|530000 | 2305 | 2632k| 5.0 | 66M| 903 | 13 |3713 | 18k|3713 | 968 | 114k| 711k|6783 | 0.000000e+00 | 1.000000e+01 | Inf 973.71/973.77 c 924s|540000 | 2313 | 2691k| 5.0 | 66M| 903 | 12 |3713 | 17k|3713 | 979 | 116k| 726k|6847 | 0.000000e+00 | 1.000000e+01 | Inf 994.01/994.02 c 944s|550000 | 2364 | 2747k| 5.0 | 68M| 903 | - |3713 | 19k| 0 | 0 | 118k| 740k|6905 | 0.000000e+00 | 1.000000e+01 | Inf 1014.41/1014.48 c 963s|560000 | 2362 | 2804k| 5.0 | 68M| 903 | 1 |3713 | 20k|3713 | 986 | 120k| 755k|6967 | 0.000000e+00 | 1.000000e+01 | Inf 1034.41/1034.40 c 982s|570000 | 2395 | 2855k| 5.0 | 69M| 903 | - |3713 | 21k| 0 | 0 | 123k| 769k|7002 | 0.000000e+00 | 1.000000e+01 | Inf 1054.21/1054.23 c 1001s|580000 | 2405 | 2904k| 5.0 | 70M| 903 | - |3713 | 24k| 0 | 0 | 125k| 783k|7045 | 0.000000e+00 | 1.000000e+01 | Inf 1074.51/1074.55 c 1021s|590000 | 2340 | 2956k| 5.0 | 69M| 903 | - |3713 | 20k| 0 | 0 | 128k| 798k|7092 | 0.000000e+00 | 1.000000e+01 | Inf 1095.01/1095.04 c 1040s|600000 | 2328 | 3011k| 5.0 | 70M| 903 | - |3713 | 22k| 0 | 0 | 130k| 812k|7181 | 0.000000e+00 | 1.000000e+01 | Inf 1114.91/1114.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1114.91/1114.97 c 1059s|610000 | 2326 | 3062k| 5.0 | 69M| 903 | 1 |3713 | 20k|3713 | 968 | 132k| 826k|7239 | 0.000000e+00 | 1.000000e+01 | Inf 1134.82/1134.85 c 1078s|620000 | 2318 | 3115k| 5.0 | 70M| 903 | 1 |3713 | 22k|3713 | 968 | 134k| 840k|7291 | 0.000000e+00 | 1.000000e+01 | Inf 1155.22/1155.22 c 1098s|630000 | 2333 | 3160k| 5.0 | 71M| 903 | - |3713 | 23k| 0 | 0 | 137k| 854k|7312 | 0.000000e+00 | 1.000000e+01 | Inf 1175.72/1175.70 c 1117s|640000 | 2344 | 3212k| 5.0 | 70M| 903 | 12 |3713 | 21k|3713 | 977 | 139k| 868k|7366 | 0.000000e+00 | 1.000000e+01 | Inf 1196.21/1196.22 c 1137s|650000 | 2324 | 3270k| 5.0 | 69M| 903 | 23 |3713 | 18k|3713 | 977 | 141k| 882k|7424 | 0.000000e+00 | 1.000000e+01 | Inf 1214.52/1214.56 c 1154s|660000 | 2305 | 3317k| 5.0 | 69M| 903 | 1 |3713 | 17k|3713 | 968 | 143k| 897k|7484 | 0.000000e+00 | 1.000000e+01 | Inf 1233.92/1233.98 c 1173s|670000 | 2280 | 3371k| 5.0 | 69M| 903 | - |3713 | 17k| 0 | 0 | 145k| 911k|7585 | 0.000000e+00 | 1.000000e+01 | Inf 1252.93/1252.93 c 1191s|680000 | 2252 | 3423k| 5.0 | 69M| 903 | - |3713 | 15k| 0 | 0 | 147k| 924k|7749 | 0.000000e+00 | 1.000000e+01 | Inf 1271.12/1271.14 c 1208s|690000 | 2197 | 3475k| 5.0 | 69M| 903 | - |3713 | 16k| 0 | 0 | 149k| 938k|7769 | 0.000000e+00 | 1.000000e+01 | Inf 1290.02/1290.04 c 1226s|700000 | 2203 | 3523k| 5.0 | 70M| 903 | 20 |3713 | 18k|3713 | 972 | 152k| 952k|7787 | 0.000000e+00 | 1.000000e+01 | Inf 1309.52/1309.59 c 1244s|710000 | 2268 | 3572k| 5.0 | 71M| 903 | - |3713 | 19k| 0 | 0 | 153k| 966k|7818 | 0.000000e+00 | 1.000000e+01 | Inf 1329.12/1329.19 c 1263s|720000 | 2242 | 3621k| 5.0 | 71M| 903 | 14 |3713 | 21k|3713 | 973 | 155k| 981k|7870 | 0.000000e+00 | 1.000000e+01 | Inf 1349.72/1349.73 c 1283s|730000 | 2205 | 3676k| 5.0 | 69M| 903 | 25 |3713 | 15k|3713 | 965 | 157k| 995k|7952 | 0.000000e+00 | 1.000000e+01 | Inf 1369.02/1369.03 c 1301s|740000 | 2254 | 3727k| 5.0 | 71M| 903 | 1 |3713 | 17k|3713 | 978 | 159k|1009k|7979 | 0.000000e+00 | 1.000000e+01 | Inf 1387.82/1387.82 c 1319s|750000 | 2281 | 3774k| 5.0 | 72M| 903 | 20 |3713 | 18k|3713 | 965 | 161k|1024k|8019 | 0.000000e+00 | 1.000000e+01 | Inf 1407.02/1407.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1407.02/1407.01 c 1337s|760000 | 2267 | 3820k| 5.0 | 72M| 903 | 1 |3713 | 20k|3713 | 980 | 162k|1038k|8063 | 0.000000e+00 | 1.000000e+01 | Inf 1426.32/1426.33 c 1356s|770000 | 2319 | 3871k| 5.0 | 73M| 903 | - |3713 | 20k| 0 | 0 | 164k|1053k|8099 | 0.000000e+00 | 1.000000e+01 | Inf 1445.63/1445.61 c 1374s|780000 | 2277 | 3918k| 5.0 | 72M| 903 | - |3713 | 16k| 0 | 0 | 166k|1068k|8128 | 0.000000e+00 | 1.000000e+01 | Inf 1464.22/1464.20 c 1392s|790000 | 2367 | 3976k| 5.0 | 72M| 903 | - |3713 | 15k| 0 | 0 | 168k|1082k|8204 | 0.000000e+00 | 1.000000e+01 | Inf 1482.42/1482.45 c 1409s|800000 | 2323 | 4032k| 5.0 | 73M| 903 | 1 |3713 | 17k|3713 | 974 | 170k|1096k|8253 | 0.000000e+00 | 1.000000e+01 | Inf 1501.33/1501.36 c 1427s|810000 | 2296 | 4084k| 5.0 | 72M| 903 | - |3713 | 14k| 0 | 0 | 172k|1109k|8299 | 0.000000e+00 | 1.000000e+01 | Inf 1520.24/1520.21 c 1445s|820000 | 2265 | 4137k| 5.0 | 72M| 903 | - |3713 | 14k| 0 | 0 | 174k|1123k|8389 | 0.000000e+00 | 1.000000e+01 | Inf 1539.52/1539.54 c 1463s|830000 | 2265 | 4191k| 5.0 | 72M| 903 | 1 |3713 | 15k|3713 | 942 | 176k|1136k|8414 | 0.000000e+00 | 1.000000e+01 | Inf 1559.23/1559.29 c 1482s|840000 | 2335 | 4242k| 5.1 | 73M| 903 | - |3713 | 16k| 0 | 0 | 177k|1152k|8479 | 0.000000e+00 | 1.000000e+01 | Inf 1579.03/1579.06 c 1501s|850000 | 2281 | 4293k| 5.1 | 73M| 903 | - |3713 | 14k| 0 | 0 | 179k|1167k|8526 | 0.000000e+00 | 1.000000e+01 | Inf 1597.93/1597.97 c 1519s|860000 | 2327 | 4347k| 5.1 | 74M| 903 | 19 |3713 | 16k|3713 | 958 | 181k|1180k|8555 | 0.000000e+00 | 1.000000e+01 | Inf 1617.53/1617.54 c 1537s|870000 | 2348 | 4395k| 5.1 | 75M| 903 | 8 |3713 | 18k|3713 | 958 | 183k|1194k|8602 | 0.000000e+00 | 1.000000e+01 | Inf 1638.53/1638.53 c 1557s|880000 | 2360 | 4450k| 5.1 | 75M| 903 | 1 |3713 | 19k|3713 | 968 | 185k|1207k|8649 | 0.000000e+00 | 1.000000e+01 | Inf 1658.73/1658.79 c 1577s|890000 | 2323 | 4501k| 5.1 | 75M| 903 | - |3713 | 18k| 0 | 0 | 187k|1221k|8669 | 0.000000e+00 | 1.000000e+01 | Inf 1678.23/1678.28 c 1595s|900000 | 2337 | 4553k| 5.1 | 74M| 903 | 1 |3713 | 13k|3713 | 953 | 188k|1234k|8761 | 0.000000e+00 | 1.000000e+01 | Inf 1696.14/1696.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1696.14/1696.15 c 1612s|910000 | 2429 | 4605k| 5.1 | 75M| 903 | 1 |3713 | 15k|3713 | 985 | 190k|1248k|8778 | 0.000000e+00 | 1.000000e+01 | Inf 1714.34/1714.32 c 1629s|920000 | 2485 | 4654k| 5.1 | 76M| 903 | - |3713 | 16k| 0 | 0 | 191k|1262k|8822 | 0.000000e+00 | 1.000000e+01 | Inf 1733.33/1733.35 c 1647s|930000 | 2565 | 4701k| 5.1 | 78M| 903 | 15 |3713 | 16k|3713 | 953 | 193k|1275k|8872 | 0.000000e+00 | 1.000000e+01 | Inf 1751.94/1751.96 c 1665s|940000 | 2589 | 4752k| 5.1 | 79M| 903 | 1 |3713 | 16k|3713 | 953 | 194k|1289k|8884 | 0.000000e+00 | 1.000000e+01 | Inf 1771.44/1771.48 c 1684s|950000 | 2647 | 4806k| 5.1 | 80M| 903 | 1 |3713 | 17k|3713 | 953 | 196k|1302k|8942 | 0.000000e+00 | 1.000000e+01 | Inf 1790.43/1790.49 c 1702s|960000 | 2692 | 4854k| 5.1 | 82M| 903 | 24 |3713 | 20k|3713 | 995 | 198k|1317k|8978 | 0.000000e+00 | 1.000000e+01 | Inf 1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.00 c 1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.00 c Solving Time (sec) : 1710.73 1800.04/1800.00 c Solving Nodes : 965041 1800.04/1800.00 c Primal Bound : +1.00000000000000e+01 (159 solutions) 1800.04/1800.00 c Dual Bound : +0.00000000000000e+00 1800.04/1800.00 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 1800.04/1800.04 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 1800.04/1800.04 v -x104 -x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 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 1800.04/1800.04 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 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 1800.04/1800.04 v -x2 -x1 1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.04 c Solving Time : 1710.73 1800.04/1800.04 c Original Problem : 1800.04/1800.04 c Problem name : HOME/instance-2693419-1277903176.wbo 1800.04/1800.04 c Variables : 3835 (2033 binary, 0 integer, 0 implicit integer, 1802 continuous) 1800.04/1800.04 c Constraints : 4510 initial, 4510 maximal 1800.04/1800.04 c Presolved Problem : 1800.04/1800.04 c Problem name : t_HOME/instance-2693419-1277903176.wbo 1800.04/1800.04 c Variables : 3713 (1972 binary, 0 integer, 0 implicit integer, 1741 continuous) 1800.04/1800.04 c Constraints : 4364 initial, 24790 maximal 1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.04 c trivial : 0.00 61 0 0 0 0 0 0 0 1800.04/1800.04 c dualfix : 0.01 61 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.05 0 0 0 0 0 0 0 0 1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 61 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.03 0 0 0 1810 0 85 67 0 1800.04/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.04 c root node : - 1590 - - 3180 - - - - 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 547661 0 52 690 0 0 1024988 1800.04/1800.04 c indicator : 1741 0 5534147 34434 0 951 2459326 0 0 0 1800.04/1800.04 c setppc : 9 6 5560197 33944 0 16191 1021760 0 0 0 1800.04/1800.04 c linear : 1741 6 5551360 34566 0 236078 23248782 198927 0 0 1800.04/1800.04 c logicor : 873+ 6 1765553 8689 0 222406 4276903 0 0 0 1800.04/1800.04 c countsols : 0 0 0 8689 0 0 0 0 0 0 1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.04 c integral : 20.15 0.00 0.00 20.15 0.00 1800.04/1800.04 c indicator : 15.36 0.00 13.84 1.52 0.00 1800.04/1800.04 c setppc : 5.93 0.00 5.93 0.00 0.00 1800.04/1800.04 c linear : 153.50 0.00 151.77 1.73 0.00 1800.04/1800.04 c logicor : 226.71 0.00 226.62 0.09 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 : 0.00 2 0 0 1800.04/1800.04 c rootredcost : 0.00 22 0 1590 1800.04/1800.04 c pseudoobj : 186.72 5575992 7605 2017258 1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.04 c propagation : 23.75 482280 482028 3056672 28.5 16873 24.4 - 1800.04/1800.04 c infeasible LP : 6.59 24753 24753 208665 43.6 289 16.4 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.00 56 56 291 17.7 30 6.5 - 1800.04/1800.04 c applied globally : - - - 1324913 22.4 - - - 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 - - 30 - (maximal pool size: 405) 1800.04/1800.04 c redcost : 27.04 552133 0 342023 0 0 1800.04/1800.04 c impliedbounds : 0.01 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.09 6 0 0 1739 0 1800.04/1800.04 c strongcg : 0.04 6 0 0 130 0 1800.04/1800.04 c cmir : 0.03 6 0 0 0 0 1800.04/1800.04 c flowcover : 0.05 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 : 20.10 513089 52 690 0 0 1024988 1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.04 c inference : 0.91 8668 0 0 0 0 17336 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.02 - 21 1800.04/1800.04 c pseudo solutions : 0.00 - 0 1800.04/1800.04 c oneopt : 0.08 20 0 1800.04/1800.04 c feaspump : 0.01 1 0 1800.04/1800.04 c intshifting : 0.00 7 0 1800.04/1800.04 c pscostdiving : 0.03 50 0 1800.04/1800.04 c fracdiving : 0.03 50 0 1800.04/1800.04 c veclendiving : 0.03 51 0 1800.04/1800.04 c linesearchdiving : 0.02 51 0 1800.04/1800.04 c guideddiving : 0.08 51 0 1800.04/1800.04 c coefdiving : 0.11 51 0 1800.04/1800.04 c crossover : 0.49 18 0 1800.04/1800.04 c objpscostdiving : 0.11 40 0 1800.04/1800.04 c rootsoldiving : 0.15 40 0 1800.04/1800.04 c trivial : 0.00 2 0 1800.04/1800.04 c simplerounding : 0.45 514670 0 1800.04/1800.04 c zirounding : 0.38 1000 0 1800.04/1800.04 c rounding : 1.74 10118 0 1800.04/1800.04 c shifting : 1.24 3171 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.00 0 0 1800.04/1800.04 c trysol : 2.18 7520 138 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 : 618.18 565226 4874105 8.62 7884.60 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.23 125 1157 9.26 5030.43 1800.04/1800.04 c strong branching : 16.32 9002 162127 18.01 9934.25 1800.04/1800.04 c (at root node) : - 33 5193 157.36 - 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 : 965041 1800.04/1800.04 c nodes (total) : 965041 1800.04/1800.04 c nodes left : 2735 1800.04/1800.04 c max depth : 903 1800.04/1800.04 c max depth (total): 903 1800.04/1800.04 c backtracks : 78387 (8.1%) 1800.04/1800.04 c delayed cutoffs : 66334 1800.04/1800.04 c repropagations : 2966753 (5864926 domain reductions, 63996 cutoffs) 1800.04/1800.04 c avg switch length: 7.60 1800.04/1800.04 c switching time : 236.20 1800.04/1800.04 c Solution : 1800.04/1800.04 c Solutions found : 159 (22 improvements) 1800.04/1800.04 c First Solution : +8.77540000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>) 1800.04/1800.04 c Primal Bound : +1.00000000000000e+01 (in run 1, after 418329 nodes, 703.41 seconds, depth 53, 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 : 354 1800.14/1800.13 c Time complete: 1800.16.
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693419-1277903176/watcher-2693419-1277903176 -o /tmp/evaluation-result-2693419-1277903176/solver-2693419-1277903176 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693419-1277903176.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.07 2.11 2.19 4/182 12381 /proc/meminfo: memFree=31566296/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=11124 CPUtime=0 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 1712 0 0 0 0 0 0 0 21 0 1 0 131613181 11390976 1632 4089446400 4194304 9819077 140733448125408 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12381/statm: 2781 1632 392 1374 0 1402 0 [startup+0.0699051 s] /proc/loadavg: 2.07 2.11 2.19 4/182 12381 /proc/meminfo: memFree=31566296/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=30420 CPUtime=0.05 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 7230 0 0 0 5 0 0 0 21 0 1 0 131613181 31150080 6282 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 7605 6282 492 1374 0 6226 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 30420 [startup+0.100905 s] /proc/loadavg: 2.07 2.11 2.19 4/182 12381 /proc/meminfo: memFree=31566296/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=30420 CPUtime=0.09 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 7759 0 0 0 8 1 0 0 21 0 1 0 131613181 31150080 6297 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 7605 6297 498 1374 0 6226 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30420 [startup+0.300865 s] /proc/loadavg: 2.07 2.11 2.19 4/182 12381 /proc/meminfo: memFree=31566296/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=40204 CPUtime=0.29 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 12111 0 0 0 27 2 0 0 18 0 1 0 131613181 41168896 8504 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 10051 8504 680 1374 0 8672 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 40204 [startup+0.70077 s] /proc/loadavg: 2.07 2.11 2.19 4/182 12381 /proc/meminfo: memFree=31566296/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=48172 CPUtime=0.69 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 18745 0 0 0 65 4 0 0 18 0 1 0 131613181 49328128 10768 4089446400 4194304 9819077 140733448125408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 12043 10768 703 1374 0 10664 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 48172 [startup+1.50065 s] /proc/loadavg: 2.07 2.11 2.19 3/183 12382 /proc/meminfo: memFree=31525368/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=48172 CPUtime=1.49 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 18829 0 0 0 144 5 0 0 19 0 1 0 131613181 49328128 10818 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 12043 10818 709 1374 0 10664 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48172 [startup+3.10037 s] /proc/loadavg: 2.07 2.11 2.19 3/183 12382 /proc/meminfo: memFree=31524500/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=51012 CPUtime=3.09 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 34591 0 0 0 298 11 0 0 24 0 1 0 131613181 52236288 11091 4089446400 4194304 9819077 140733448125408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 12753 11091 711 1374 0 11374 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51012 [startup+6.30078 s] /proc/loadavg: 2.06 2.11 2.19 3/183 12382 /proc/meminfo: memFree=31521316/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=54188 CPUtime=6.29 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 50115 0 0 0 607 22 0 0 25 0 1 0 131613181 55488512 12107 4089446400 4194304 9819077 140733448125408 18446744073709551615 4819829 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 13547 12107 711 1374 0 12168 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54188 [startup+12.7006 s] /proc/loadavg: 2.06 2.11 2.19 3/183 12382 /proc/meminfo: memFree=31507532/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=69712 CPUtime=12.69 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 95301 0 0 0 1222 47 0 0 25 0 1 0 131613181 71385088 15703 4089446400 4194304 9819077 140733448125408 18446744073709551615 4903061 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 17428 15703 715 1374 0 16049 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 69712 [startup+25.5003 s] /proc/loadavg: 2.04 2.10 2.18 3/183 12382 /proc/meminfo: memFree=31488520/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=89328 CPUtime=25.49 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 212242 0 0 0 2435 114 0 0 25 0 1 0 131613181 91471872 20511 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 22332 20511 716 1374 0 20953 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89328 [startup+51.1006 s] /proc/loadavg: 2.03 2.09 2.18 3/183 12383 /proc/meminfo: memFree=31479760/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=98000 CPUtime=51.09 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 361041 0 0 0 4857 252 0 0 25 0 1 0 131613181 100352000 22694 4089446400 4194304 9819077 140733448125408 18446744073709551615 8655834 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 24500 22695 716 1374 0 23121 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 98000 [startup+102.307 s] /proc/loadavg: 2.01 2.08 2.17 3/183 12384 /proc/meminfo: memFree=31471920/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=105212 CPUtime=102.3 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 677179 0 0 0 9696 534 0 0 25 0 1 0 131613181 107737088 24410 4089446400 4194304 9819077 140733448125408 18446744073709551615 7289309 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 26303 24410 725 1374 0 24924 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 105212 [startup+162.3 s] /proc/loadavg: 2.00 2.06 2.16 3/183 12386 /proc/meminfo: memFree=31466308/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=110884 CPUtime=162.29 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 1032817 0 0 0 15369 860 0 0 25 0 1 0 131613181 113545216 25762 4089446400 4194304 9819077 140733448125408 18446744073709551615 4210331 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12381/statm: 27721 25762 739 1374 0 26342 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 110884 [startup+222.3 s] /proc/loadavg: 2.00 2.05 2.14 3/183 12388 /proc/meminfo: memFree=31461312/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=116292 CPUtime=222.29 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 1364030 0 0 0 21046 1183 0 0 25 0 1 0 131613181 119083008 27124 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 29073 27124 739 1374 0 27694 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 116292 [startup+282.301 s] /proc/loadavg: 2.00 2.04 2.13 3/183 12389 /proc/meminfo: memFree=31454220/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=121380 CPUtime=282.29 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 1679662 0 0 0 26739 1490 0 0 25 0 1 0 131613181 124293120 28712 4089446400 4194304 9819077 140733448125408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 30345 28712 739 1374 0 28966 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 121380 [startup+342.301 s] /proc/loadavg: 2.00 2.03 2.12 3/183 12391 /proc/meminfo: memFree=31454200/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=123364 CPUtime=342.3 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 1859581 0 0 0 32442 1788 0 0 25 0 1 0 131613181 126324736 28818 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 30841 28818 739 1374 0 29462 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 123364 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.11 3/183 12392 /proc/meminfo: memFree=31449592/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=128464 CPUtime=402.3 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 2153824 0 0 0 38131 2099 0 0 25 0 1 0 131613181 131547136 30126 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 32116 30126 740 1374 0 30737 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 128464 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.10 3/183 12394 /proc/meminfo: memFree=31445472/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=133124 CPUtime=462.3 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 2459403 0 0 0 43817 2413 0 0 25 0 1 0 131613181 136318976 31172 4089446400 4194304 9819077 140733448125408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 33173 31170 740 1374 0 31794 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 133124 [startup+522.301 s] /proc/loadavg: 2.07 2.03 2.09 3/183 12396 /proc/meminfo: memFree=31441716/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=136848 CPUtime=522.3 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 2744252 0 0 0 49500 2730 0 0 25 0 1 0 131613181 140132352 32076 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 34212 32076 740 1374 0 32833 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 136848 [startup+582.301 s] /proc/loadavg: 2.07 2.03 2.09 3/183 12397 /proc/meminfo: memFree=31437476/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=141072 CPUtime=582.3 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 3027032 0 0 0 55200 3030 0 0 25 0 1 0 131613181 144457728 33087 4089446400 4194304 9819077 140733448125408 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 35268 33087 740 1374 0 33889 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 141072 [startup+642.301 s] /proc/loadavg: 2.02 2.02 2.08 3/183 12399 /proc/meminfo: memFree=31434336/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=144080 CPUtime=642.31 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 3327260 0 0 0 60902 3329 0 0 25 0 1 0 131613181 147537920 33830 4089446400 4194304 9819077 140733448125408 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 36020 33830 740 1374 0 34641 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 144080 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.05 2.03 2.07 3/183 12433 /proc/meminfo: memFree=31051848/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=155180 CPUtime=882.3 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 4491620 0 0 0 83743 4487 0 0 25 0 1 0 131613181 158904320 36560 4089446400 4194304 9819077 140733448125408 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 38795 36560 740 1374 0 37416 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 155180 [startup+942.3 s] /proc/loadavg: 2.02 2.02 2.06 3/183 12435 /proc/meminfo: memFree=30983572/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=156364 CPUtime=942.31 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 4777371 0 0 0 89446 4785 0 0 25 0 1 0 131613181 160116736 36862 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 39091 36862 740 1374 0 37712 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 156364 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.06 3/183 12436 /proc/meminfo: memFree=30887788/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=157128 CPUtime=1002.32 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 5049103 0 0 0 95162 5070 0 0 25 0 1 0 131613181 160899072 37028 4089446400 4194304 9819077 140733448125408 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 39282 37028 740 1374 0 37903 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 157128 [startup+1062.3 s] /proc/loadavg: 2.07 2.04 2.06 3/183 12438 /proc/meminfo: memFree=30794116/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=159284 CPUtime=1062.31 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 5324500 0 0 0 100891 5340 0 0 25 0 1 0 131613181 163106816 37585 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 39821 37585 740 1374 0 38442 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 159284 [startup+1122.3 s] /proc/loadavg: 2.08 2.04 2.06 3/183 12440 /proc/meminfo: memFree=30749924/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=160644 CPUtime=1122.31 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 5585763 0 0 0 106614 5617 0 0 25 0 1 0 131613181 164499456 37925 4089446400 4194304 9819077 140733448125408 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 40161 37925 740 1374 0 38782 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 160644 [startup+1182.3 s] /proc/loadavg: 2.16 2.07 2.07 3/183 12441 /proc/meminfo: memFree=30732276/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=162116 CPUtime=1182.32 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 5831402 0 0 0 112342 5890 0 0 25 0 1 0 131613181 166006784 38293 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 40529 38293 740 1374 0 39150 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 162116 [startup+1242.3 s] /proc/loadavg: 2.06 2.05 2.06 3/183 12443 /proc/meminfo: memFree=30724412/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=162848 CPUtime=1242.31 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 6125713 0 0 0 118047 6184 0 0 25 0 1 0 131613181 166756352 38421 4089446400 4194304 9819077 140733448125408 18446744073709551615 6581246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 40685 38421 740 1374 0 39306 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 162848 [startup+1302.3 s] /proc/loadavg: 2.02 2.04 2.06 3/183 12444 /proc/meminfo: memFree=30723496/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=163688 CPUtime=1302.33 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 6370665 0 0 0 123749 6484 0 0 25 0 1 0 131613181 167616512 38658 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 40922 38658 740 1374 0 39543 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 163688 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.05 3/183 12446 /proc/meminfo: memFree=30677936/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=163952 CPUtime=1362.32 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 6627829 0 0 0 129469 6763 0 0 25 0 1 0 131613181 167886848 38735 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 40988 38735 740 1374 0 39609 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 163952 [startup+1422.31 s] /proc/loadavg: 2.00 2.02 2.04 3/183 12448 /proc/meminfo: memFree=30594176/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=165924 CPUtime=1422.33 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 6889458 0 0 0 135172 7061 0 0 25 0 1 0 131613181 169906176 39225 4089446400 4194304 9819077 140733448125408 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 41481 39225 740 1374 0 40102 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 165924 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.04 3/183 12449 /proc/meminfo: memFree=30526412/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=166752 CPUtime=1482.32 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 7172596 0 0 0 140875 7357 0 0 25 0 1 0 131613181 170754048 39417 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 41688 39417 740 1374 0 40309 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 166752 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.03 3/183 12454 /proc/meminfo: memFree=30473504/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=166944 CPUtime=1542.32 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 7455788 0 0 0 146578 7654 0 0 25 0 1 0 131613181 170950656 39460 4089446400 4194304 9819077 140733448125408 18446744073709551615 7816437 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 41736 39460 740 1374 0 40357 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 166944 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.03 3/183 12455 /proc/meminfo: memFree=30426148/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=167204 CPUtime=1602.33 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 7743051 0 0 0 152280 7953 0 0 25 0 1 0 131613181 171216896 39546 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 41801 39546 740 1374 0 40422 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 167204 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.02 3/183 12457 /proc/meminfo: memFree=30393484/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=168472 CPUtime=1662.33 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 8004009 0 0 0 158002 8231 0 0 25 0 1 0 131613181 172515328 39804 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 42118 39804 740 1374 0 40739 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 168472 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 2.02 3/183 12459 /proc/meminfo: memFree=30371992/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=169652 CPUtime=1722.33 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 8282517 0 0 0 163697 8536 0 0 25 0 1 0 131613181 173723648 40082 4089446400 4194304 9819077 140733448125408 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 42413 40082 740 1374 0 41034 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 169652 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.02 3/183 12460 /proc/meminfo: memFree=30308452/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=172012 CPUtime=1782.33 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 8542465 0 0 0 169396 8837 0 0 25 0 1 0 131613181 176140288 40650 4089446400 4194304 9819077 140733448125408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 43003 40652 740 1374 0 41624 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 172012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.00 2.01 3/183 12461 /proc/meminfo: memFree=30290212/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=173024 CPUtime=1800.04 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 8616513 0 0 0 171075 8929 0 0 25 0 1 0 131613181 177176576 40879 4089446400 4194304 9819077 140733448125408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12381/statm: 43256 40879 740 1374 0 41877 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 173024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.01 2.00 2.01 3/183 12461 /proc/meminfo: memFree=30290212/32951124 swapFree=67111528/67111528 [pid=12381] ppid=12379 vsize=171940 CPUtime=1800.14 /proc/12381/stat : 12381 (pbscip.linux.x8) R 12379 12381 11955 0 -1 4202496 8616530 0 0 0 171085 8929 0 0 25 0 1 0 131613181 176066560 40613 4089446400 4194304 9819077 140733448125408 18446744073709551615 4997767 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12381/statm: 42985 40613 741 1374 0 41606 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 171940 Child status: 0 Real time (s): 1800.14 CPU time (s): 1800.18 CPU user time (s): 1710.88 CPU system time (s): 89.3004 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 174380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1710.88 system time used= 89.3004 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8616534 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= 19573 runsolver used 3.39148 second user time and 6.24705 second system time The end
Begin job on node133 at 2010-06-30 15:06:16 IDJOB=2693419 IDBENCH=78908 IDSOLVER=1205 FILE ID=node133/2693419-1277903176 PBS_JOBID= 11197223 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.1900553812--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-2693419-1277903176/watcher-2693419-1277903176 -o /tmp/evaluation-result-2693419-1277903176/solver-2693419-1277903176 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693419-1277903176.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b8c059b75f42fac4cec7408dc4fcfe67 RANDOM SEED=204002671 node133.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.821 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.64 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.821 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.821 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.821 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 : 7296.74 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.821 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.74 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.821 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.74 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.821 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.74 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.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31566452 kB Buffers: 183276 kB Cached: 980684 kB SwapCached: 0 kB Active: 606360 kB Inactive: 636612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31566452 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6264 kB Writeback: 0 kB AnonPages: 79392 kB Mapped: 15632 kB Slab: 78436 kB PageTables: 5380 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 221792 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node133 at 2010-06-30 15:36:18