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.12 | 1800.09 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo |
MD5SUM | 75cdbfdf3c0702d95dd33d3fc3f86ad3 |
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 | 256.623 |
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 | 904 |
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 | 44120 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44119 |
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-2693553-1277910210.wbo> 0.00/0.02 c original problem has 2039 variables (1135 bin, 0 int, 0 impl, 904 cont) and 3612 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.04 c presolving: 0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs 0.05/0.08 c (round 2) 0 del vars, 115 del conss, 904 chg bounds, 43 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs 0.05/0.09 c (round 3) 43 del vars, 285 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs 0.09/0.10 c (round 4) 115 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs 0.09/0.11 c (round 5) 144 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs 0.09/0.15 c (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.15 c presolving (6 rounds): 0.09/0.15 c 144 deleted vars, 314 deleted constraints, 933 tightened bounds, 0 added holes, 170 changed sides, 0 changed coefficients 0.09/0.15 c 1114 implications, 18 cliques 0.09/0.15 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3298 constraints 0.09/0.15 c 832 constraints of type <indicator> 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 18 constraints of type <setppc> 0.09/0.15 c 832 constraints of type <linear> 0.09/0.15 c 1615 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.10 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.98 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 3420 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.16 c 0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.16 c 0.1s| 1 | 0 | 39 | - |8646k| 0 | 26 |1895 |3298 |1895 |1634 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.20/0.21 c 0.2s| 1 | 0 | 61 | - |8700k| 0 | 34 |1895 |3298 |1895 |1642 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf 0.20/0.27 c 0.2s| 1 | 0 | 103 | - |8989k| 0 | 42 |1895 |3298 |1895 |1648 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.35 c 0.3s| 1 | 0 | 185 | - |9093k| 0 | 40 |1895 |3298 |1895 |1653 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.51 c 0.5s| 1 | 0 | 651 | - |9860k| 0 | 50 |1895 |3298 |1895 |1655 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.62 c 0.6s| 1 | 0 | 692 | - |9867k| 0 | 55 |1895 |3298 |1895 |1661 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.74 c 0.7s| 1 | 0 | 695 | - |9869k| 0 | 56 |1895 |3298 |1895 |1664 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf 2.39/2.48 c 2.4s| 1 | 2 | 695 | - |9898k| 0 | 56 |1895 |3298 |1895 |1664 | 30 | 0 | 33 | 0.000000e+00 | -- | Inf 2.39/2.48 o 40432 2.39/2.48 c y 2.4s| 2 | 1 | 695 | 0.0 |9927k| 1 | - |1895 |3298 | 0 | 0 | 30 | 0 | 33 | 0.000000e+00 | 4.043200e+04 | Inf 9.39/9.44 o 658 9.39/9.44 c * 9.1s| 121 | 99 | 3155 | 20.5 | 10M| 27 | - |1895 |3302 |1895 |1655 | 75 | 4 | 634 | 0.000000e+00 | 6.580000e+02 | Inf 9.39/9.47 o 589 9.39/9.47 c * 9.2s| 125 | 95 | 3242 | 20.5 | 10M| 27 | - |1895 |3306 |1895 |1655 | 75 | 8 | 641 | 0.000000e+00 | 5.890000e+02 | Inf 10.40/10.44 o 567 10.40/10.44 c *10.1s| 216 | 131 | 4847 | 19.3 | 11M| 27 | - |1895 |3372 |1895 |1658 | 120 | 74 | 805 | 0.000000e+00 | 5.670000e+02 | Inf 10.40/10.47 o 537 10.40/10.47 c *10.1s| 227 | 131 | 4987 | 19.0 | 11M| 27 | - |1895 |3378 |1895 |1664 | 129 | 80 | 805 | 0.000000e+00 | 5.370000e+02 | Inf 11.09/11.11 o 522 11.09/11.11 c *10.8s| 322 | 192 | 6786 | 19.0 | 12M| 27 | - |1895 |3428 |1895 |1657 | 193 | 130 | 892 | 0.000000e+00 | 5.220000e+02 | Inf 11.09/11.15 o 475 11.09/11.15 c *10.8s| 328 | 182 | 6906 | 19.0 | 12M| 27 | - |1895 |3428 |1895 |1655 | 193 | 130 | 898 | 0.000000e+00 | 4.750000e+02 | Inf 11.29/11.31 o 422 11.29/11.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 11.29/11.31 c *10.9s| 375 | 184 | 7204 | 17.4 | 12M| 27 | - |1895 |3471 |1895 |1664 | 200 | 173 | 913 | 0.000000e+00 | 4.220000e+02 | Inf 12.30/12.35 o 410 12.30/12.35 c *11.9s| 658 | 288 | 10427 | 14.8 | 13M| 28 | - |1895 |3718 |1895 |1655 | 307 | 446 |1031 | 0.000000e+00 | 4.100000e+02 | Inf 12.30/12.39 o 404 12.30/12.39 c *11.9s| 677 | 291 | 10473 | 14.5 | 13M| 32 | - |1895 |3751 |1895 |1657 | 309 | 479 |1031 | 0.000000e+00 | 4.040000e+02 | Inf 12.59/12.65 o 338 12.59/12.65 c *12.2s| 823 | 298 | 11112 | 12.7 | 14M| 40 | - |1895 |3920 |1895 |1664 | 345 | 670 |1043 | 0.000000e+00 | 3.380000e+02 | Inf 13.10/13.15 o 329 13.10/13.15 c *12.7s| 1089 | 384 | 12353 | 10.7 | 14M| 42 | - |1895 |4276 |1895 |1661 | 393 |1057 |1065 | 0.000000e+00 | 3.290000e+02 | Inf 13.10/13.17 o 327 13.10/13.17 c *12.7s| 1097 | 388 | 12371 | 10.7 | 14M| 42 | - |1895 |4285 |1895 |1662 | 394 |1066 |1065 | 0.000000e+00 | 3.270000e+02 | Inf 13.10/13.19 o 263 13.10/13.19 c *12.7s| 1118 | 362 | 12428 | 10.5 | 14M| 46 | - |1895 |4301 |1895 |1662 | 395 |1083 |1065 | 0.000000e+00 | 2.630000e+02 | Inf 13.50/13.51 o 223 13.50/13.51 c *13.0s| 1309 | 370 | 13066 | 9.5 | 14M| 46 | - |1895 |4461 |1895 |1666 | 439 |1303 |1078 | 0.000000e+00 | 2.230000e+02 | Inf 14.29/14.36 o 220 14.29/14.36 c *13.8s| 1730 | 472 | 15870 | 8.8 | 15M| 46 | - |1895 |4572 |1895 |1667 | 514 |1779 |1113 | 0.000000e+00 | 2.200000e+02 | Inf 14.69/14.78 o 190 14.69/14.78 c *14.2s| 1934 | 490 | 17596 | 8.7 | 15M| 46 | - |1895 |4551 |1895 |1665 | 576 |2055 |1120 | 0.000000e+00 | 1.900000e+02 | Inf 17.09/17.12 o 177 17.09/17.12 c *16.4s| 3213 | 744 | 25969 | 7.9 | 16M| 46 | - |1895 |4804 |1895 |1668 | 802 |3374 |1218 | 0.000000e+00 | 1.770000e+02 | Inf 17.49/17.59 o 156 17.49/17.59 c *16.9s| 3448 | 747 | 27423 | 7.8 | 16M| 46 | - |1895 |4863 |1895 |1655 | 890 |3616 |1239 | 0.000000e+00 | 1.560000e+02 | Inf 17.59/17.62 o 146 17.59/17.62 c *16.9s| 3464 | 745 | 27487 | 7.7 | 16M| 46 | - |1895 |4867 |1895 |1663 | 898 |3627 |1241 | 0.000000e+00 | 1.460000e+02 | Inf 22.79/22.84 o 132 22.79/22.84 c f21.8s| 6110 | 1101 | 51065 | 8.2 | 18M| 46 | - |1895 |5508 |1895 |1660 |1368 |6711 |1319 | 0.000000e+00 | 1.320000e+02 | Inf 23.39/23.41 o 109 23.39/23.41 c *22.4s| 6374 | 1102 | 53333 | 8.3 | 19M| 46 | - |1895 |5438 |1895 |1664 |1426 |7047 |1325 | 0.000000e+00 | 1.090000e+02 | Inf 27.49/27.51 o 64 27.49/27.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 27.49/27.51 c *26.2s| 8756 | 1019 | 68777 | 7.8 | 19M| 54 | - |1895 |5898 |1895 |1655 |1782 |9819 |1345 | 0.000000e+00 | 6.400000e+01 | Inf 28.29/28.36 o 40 28.29/28.36 c *27.0s| 9218 | 993 | 72253 | 7.8 | 19M| 54 | - |1895 |5504 |1895 |1655 |1860 | 10k|1347 | 0.000000e+00 | 4.000000e+01 | Inf 29.79/29.83 c 28.4s| 10000 | 970 | 79231 | 7.9 | 19M| 54 | 22 |1895 |4612 |1895 |1655 |1954 | 11k|1348 | 0.000000e+00 | 4.000000e+01 | Inf 31.49/31.59 o 38 31.49/31.59 c *30.1s| 10768 | 1001 | 88053 | 8.1 | 19M| 54 | - |1895 |4887 |1895 |1658 |2012 | 12k|1411 | 0.000000e+00 | 3.800000e+01 | Inf 33.09/33.10 o 25 33.09/33.10 c p31.5s| 11436 | 921 | 96648 | 8.4 | 19M| 54 | - |1895 |4713 |1895 |1655 |2089 | 13k|1422 | 0.000000e+00 | 2.500000e+01 | Inf 33.09/33.14 o 21 33.09/33.14 c *31.6s| 11460 | 921 | 96740 | 8.4 | 19M| 54 | - |1895 |4599 |1895 |1656 |2090 | 13k|1423 | 0.000000e+00 | 2.100000e+01 | Inf 49.99/50.08 c 47.5s| 20000 | 1172 |191952 | 9.6 | 22M| 54 | 16 |1895 |8120 |1895 |1655 |3065 | 24k|1640 | 0.000000e+00 | 2.100000e+01 | Inf 51.50/51.51 o 20 51.50/51.51 c *48.9s| 20811 | 1216 |199891 | 9.6 | 23M| 54 | - |1895 |8692 |1895 |1661 |3188 | 25k|1640 | 0.000000e+00 | 2.000000e+01 | Inf 51.60/51.61 o 18 51.60/51.61 c *49.0s| 20871 | 1211 |200266 | 9.6 | 23M| 54 | - |1895 |8655 |1895 |1658 |3191 | 25k|1640 | 0.000000e+00 | 1.800000e+01 | Inf 59.69/59.80 o 3 59.69/59.80 c *56.7s| 25369 | 1198 |244759 | 9.6 | 23M| 54 | - |1895 |9601 |1895 |1655 |3741 | 31k|1640 | 0.000000e+00 | 3.000000e+00 | Inf 67.69/67.75 c 64.2s| 30000 | 1161 |287418 | 9.6 | 23M| 56 | - |1895 |9909 | 0 | 0 |4344 | 37k|1643 | 0.000000e+00 | 3.000000e+00 | Inf 83.00/83.08 o 2 83.00/83.08 c *78.7s| 38395 | 1175 |375272 | 9.8 | 23M| 57 | - |1895 |9017 |1895 |1660 |5110 | 49k|1648 | 0.000000e+00 | 2.000000e+00 | Inf 86.29/86.30 c 81.8s| 40000 | 1255 |395026 | 9.9 | 24M| 57 | 18 |1895 | 10k|1895 |1655 |5189 | 51k|1648 | 0.000000e+00 | 2.000000e+00 | Inf 106.00/106.00 c 101s| 50000 | 1273 |505340 | 10.1 | 26M| 61 | - |1895 | 12k| 0 | 0 |5791 | 67k|1811 | 0.000000e+00 | 2.000000e+00 | Inf 126.09/126.15 c 120s| 60000 | 1347 |617182 | 10.3 | 28M| 61 | 6 |1895 | 16k|1895 |1655 |6512 | 81k|2092 | 0.000000e+00 | 2.000000e+00 | Inf 148.29/148.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 148.29/148.36 c 141s| 70000 | 1341 |744115 | 10.6 | 28M| 61 | 20 |1895 | 15k|1895 |1655 |7358 | 95k|2335 | 0.000000e+00 | 2.000000e+00 | Inf 167.89/167.98 c 159s| 80000 | 1410 |846580 | 10.6 | 30M| 61 | 17 |1895 | 19k|1895 |1655 |8258 | 109k|2518 | 0.000000e+00 | 2.000000e+00 | Inf 188.39/188.48 c 179s| 90000 | 1621 |953720 | 10.6 | 30M| 61 | 21 |1895 | 16k|1895 |1655 |9181 | 123k|2726 | 0.000000e+00 | 2.000000e+00 | Inf 208.60/208.64 c 198s|100000 | 1867 | 1058k| 10.6 | 33M| 61 | - |1895 | 19k| 0 | 0 |9980 | 137k|2882 | 0.000000e+00 | 2.000000e+00 | Inf 229.80/229.87 c 218s|110000 | 1908 | 1168k| 10.6 | 34M| 61 | 22 |1895 | 21k|1895 |1655 | 10k| 151k|3064 | 0.000000e+00 | 2.000000e+00 | Inf 250.60/250.67 c 238s|120000 | 1924 | 1271k| 10.6 | 35M| 66 | - |1895 | 21k|1895 |1655 | 11k| 165k|3259 | 0.000000e+00 | 2.000000e+00 | Inf 271.19/271.20 c 258s|130000 | 1958 | 1373k| 10.6 | 36M| 71 | 15 |1895 | 23k|1895 |1655 | 12k| 180k|3369 | 0.000000e+00 | 2.000000e+00 | Inf 291.69/291.72 c 277s|140000 | 1914 | 1473k| 10.5 | 36M| 71 | 36 |1895 | 22k|1895 |1655 | 12k| 194k|3537 | 0.000000e+00 | 2.000000e+00 | Inf 312.60/312.66 c 297s|150000 | 1892 | 1574k| 10.5 | 37M| 71 | - |1895 | 23k| 0 | 0 | 13k| 208k|3649 | 0.000000e+00 | 2.000000e+00 | Inf 333.70/333.72 c 317s|160000 | 1866 | 1672k| 10.4 | 38M| 71 | 15 |1895 | 25k|1895 |1655 | 14k| 222k|3821 | 0.000000e+00 | 2.000000e+00 | Inf 355.10/355.16 c 338s|170000 | 1882 | 1768k| 10.4 | 38M| 71 | 1 |1895 | 26k|1895 |1655 | 15k| 236k|3923 | 0.000000e+00 | 2.000000e+00 | Inf 376.20/376.21 c 358s|180000 | 1883 | 1863k| 10.3 | 39M| 71 | 17 |1895 | 26k|1895 |1662 | 16k| 251k|4024 | 0.000000e+00 | 2.000000e+00 | Inf 397.59/397.62 c 378s|190000 | 1796 | 1963k| 10.3 | 38M| 72 | - |1895 | 25k| 0 | 0 | 17k| 266k|4172 | 0.000000e+00 | 2.000000e+00 | Inf 419.50/419.57 c 399s|200000 | 1846 | 2063k| 10.3 | 39M| 72 | - |1895 | 26k|1895 |1655 | 17k| 280k|4278 | 0.000000e+00 | 2.000000e+00 | Inf 441.01/441.05 c 420s|210000 | 1735 | 2160k| 10.3 | 38M| 72 | 13 |1895 | 23k|1895 |1655 | 18k| 294k|4373 | 0.000000e+00 | 2.000000e+00 | Inf 463.50/463.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 463.50/463.57 c 441s|220000 | 1729 | 2274k| 10.3 | 39M| 72 | - |1895 | 25k| 0 | 0 | 19k| 308k|4541 | 0.000000e+00 | 2.000000e+00 | Inf 485.30/485.30 c 462s|230000 | 1696 | 2374k| 10.3 | 39M| 73 | - |1895 | 26k| 0 | 0 | 20k| 323k|4652 | 0.000000e+00 | 2.000000e+00 | Inf 506.80/506.83 c 482s|240000 | 1743 | 2479k| 10.3 | 39M| 73 | 20 |1895 | 26k|1895 |1661 | 21k| 337k|4723 | 0.000000e+00 | 2.000000e+00 | Inf 528.70/528.76 c 503s|250000 | 1569 | 2585k| 10.3 | 35M| 73 | 25 |1895 | 19k|1895 |1655 | 21k| 351k|4867 | 0.000000e+00 | 2.000000e+00 | Inf 549.90/549.96 c 523s|260000 | 1546 | 2690k| 10.3 | 36M| 73 | 25 |1895 | 21k|1895 |1655 | 22k| 365k|4988 | 0.000000e+00 | 2.000000e+00 | Inf 570.81/570.90 c 543s|270000 | 1544 | 2790k| 10.3 | 35M| 73 | - |1895 | 20k| 0 | 0 | 23k| 379k|5117 | 0.000000e+00 | 2.000000e+00 | Inf 591.60/591.63 c 562s|280000 | 1534 | 2884k| 10.3 | 36M| 73 | - |1895 | 22k| 0 | 0 | 24k| 393k|5214 | 0.000000e+00 | 2.000000e+00 | Inf 612.61/612.62 c 582s|290000 | 1664 | 2987k| 10.3 | 35M| 73 | 22 |1895 | 20k|1895 |1655 | 25k| 408k|5328 | 0.000000e+00 | 2.000000e+00 | Inf 634.00/634.03 c 603s|300000 | 1832 | 3097k| 10.3 | 37M| 73 | 19 |1895 | 20k|1895 |1655 | 26k| 422k|5425 | 0.000000e+00 | 2.000000e+00 | Inf 655.10/655.14 c 623s|310000 | 2021 | 3200k| 10.3 | 38M| 73 | - |1895 | 21k| 0 | 0 | 27k| 436k|5496 | 0.000000e+00 | 2.000000e+00 | Inf 675.31/675.32 c 642s|320000 | 2214 | 3295k| 10.3 | 40M| 73 | - |1895 | 21k| 0 | 0 | 28k| 450k|5566 | 0.000000e+00 | 2.000000e+00 | Inf 694.80/694.86 c 661s|330000 | 2385 | 3385k| 10.3 | 41M| 73 | - |1895 | 21k|1895 |1663 | 29k| 464k|5622 | 0.000000e+00 | 2.000000e+00 | Inf 715.90/715.96 c 681s|340000 | 2431 | 3493k| 10.3 | 41M| 73 | - |1895 | 22k| 0 | 0 | 30k| 478k|5724 | 0.000000e+00 | 2.000000e+00 | Inf 736.31/736.35 c 700s|350000 | 2514 | 3588k| 10.3 | 42M| 81 | - |1895 | 21k| 0 | 0 | 31k| 493k|5809 | 0.000000e+00 | 2.000000e+00 | Inf 756.21/756.22 c 719s|360000 | 2698 | 3682k| 10.2 | 44M| 81 | 28 |1895 | 23k|1895 |1661 | 31k| 507k|5870 | 0.000000e+00 | 2.000000e+00 | Inf 777.21/777.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 777.21/777.21 c 739s|370000 | 2778 | 3777k| 10.2 | 45M| 81 | 18 |1895 | 24k|1895 |1655 | 32k| 522k|5937 | 0.000000e+00 | 2.000000e+00 | Inf 798.21/798.30 c 759s|380000 | 2821 | 3875k| 10.2 | 43M| 81 | 20 |1895 | 19k|1895 |1655 | 33k| 537k|6002 | 0.000000e+00 | 2.000000e+00 | Inf 818.10/818.15 c 778s|390000 | 3015 | 3969k| 10.2 | 46M| 81 | 22 |1895 | 22k|1895 |1661 | 33k| 551k|6073 | 0.000000e+00 | 2.000000e+00 | Inf 838.91/838.96 c 798s|400000 | 3034 | 4064k| 10.2 | 47M| 81 | 24 |1895 | 24k|1895 |1663 | 34k| 565k|6134 | 0.000000e+00 | 2.000000e+00 | Inf 859.90/859.91 c 818s|410000 | 2980 | 4163k| 10.2 | 47M| 81 | 16 |1895 | 23k|1895 |1655 | 35k| 580k|6207 | 0.000000e+00 | 2.000000e+00 | Inf 879.00/879.09 c 836s|420000 | 2989 | 4249k| 10.1 | 47M| 81 | - |1895 | 22k| 0 | 0 | 36k| 595k|6261 | 0.000000e+00 | 2.000000e+00 | Inf 900.92/900.93 c 857s|430000 | 3064 | 4362k| 10.1 | 48M| 81 | 14 |1895 | 24k|1895 |1663 | 37k| 609k|6316 | 0.000000e+00 | 2.000000e+00 | Inf 923.31/923.36 c 878s|440000 | 3044 | 4476k| 10.2 | 48M| 81 | - |1895 | 23k| 0 | 0 | 38k| 624k|6371 | 0.000000e+00 | 2.000000e+00 | Inf 944.41/944.42 c 898s|450000 | 3151 | 4578k| 10.2 | 50M| 81 | - |1895 | 24k| 0 | 0 | 38k| 638k|6426 | 0.000000e+00 | 2.000000e+00 | Inf 965.91/965.90 c 919s|460000 | 3119 | 4681k| 10.2 | 50M| 81 | - |1895 | 25k| 0 | 0 | 39k| 653k|6501 | 0.000000e+00 | 2.000000e+00 | Inf 988.31/988.37 c 940s|470000 | 3214 | 4794k| 10.2 | 52M| 81 | 19 |1895 | 28k|1895 |1655 | 41k| 667k|6574 | 0.000000e+00 | 2.000000e+00 | Inf 1010.31/1010.38 c 961s|480000 | 3204 | 4895k| 10.2 | 51M| 81 | 1 |1895 | 24k|1895 |1655 | 41k| 682k|6640 | 0.000000e+00 | 2.000000e+00 | Inf 1031.61/1031.68 c 982s|490000 | 3180 | 5001k| 10.2 | 49M| 81 | 7 |1895 | 22k|1895 |1655 | 42k| 697k|6714 | 0.000000e+00 | 2.000000e+00 | Inf 1052.61/1052.67 c 1002s|500000 | 3180 | 5104k| 10.2 | 50M| 81 | - |1895 | 23k| 0 | 0 | 43k| 711k|6785 | 0.000000e+00 | 2.000000e+00 | Inf 1074.51/1074.53 c 1023s|510000 | 3201 | 5209k| 10.2 | 52M| 81 | - |1895 | 25k|1895 |1655 | 44k| 726k|6846 | 0.000000e+00 | 2.000000e+00 | Inf 1096.71/1096.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1096.71/1096.76 c 1044s|520000 | 3255 | 5314k| 10.2 | 51M| 81 | 30 |1895 | 22k|1895 |1663 | 45k| 740k|6906 | 0.000000e+00 | 2.000000e+00 | Inf 1117.71/1117.70 c 1064s|530000 | 3256 | 5408k| 10.2 | 51M| 81 | 24 |1895 | 23k|1895 |1655 | 46k| 756k|6955 | 0.000000e+00 | 2.000000e+00 | Inf 1140.32/1140.40 c 1085s|540000 | 3244 | 5516k| 10.2 | 51M| 81 | - |1895 | 21k| 0 | 0 | 47k| 770k|7016 | 0.000000e+00 | 2.000000e+00 | Inf 1160.81/1160.87 c 1105s|550000 | 3240 | 5619k| 10.2 | 52M| 81 | 25 |1895 | 23k|1895 |1655 | 48k| 785k|7084 | 0.000000e+00 | 2.000000e+00 | Inf 1181.32/1181.32 c 1124s|560000 | 3194 | 5717k| 10.2 | 52M| 81 | 20 |1895 | 23k|1895 |1655 | 49k| 800k|7134 | 0.000000e+00 | 2.000000e+00 | Inf 1203.51/1203.58 c 1146s|570000 | 3196 | 5830k| 10.2 | 52M| 81 | - |1895 | 24k| 0 | 0 | 50k| 814k|7207 | 0.000000e+00 | 2.000000e+00 | Inf 1225.32/1225.38 c 1166s|580000 | 3149 | 5937k| 10.2 | 52M| 81 | - |1895 | 24k| 0 | 0 | 51k| 829k|7266 | 0.000000e+00 | 2.000000e+00 | Inf 1250.01/1250.02 c 1190s|590000 | 3188 | 6073k| 10.3 | 53M| 81 | 28 |1895 | 24k|1895 |1663 | 51k| 843k|7353 | 0.000000e+00 | 2.000000e+00 | Inf 1271.31/1271.36 c 1210s|600000 | 3092 | 6176k| 10.3 | 52M| 81 | 14 |1895 | 23k|1895 |1660 | 52k| 858k|7419 | 0.000000e+00 | 2.000000e+00 | Inf 1294.41/1294.44 c 1232s|610000 | 3105 | 6299k| 10.3 | 53M| 81 | - |1895 | 23k|1895 |1670 | 53k| 872k|7487 | 0.000000e+00 | 2.000000e+00 | Inf 1318.21/1318.25 c 1255s|620000 | 3167 | 6420k| 10.4 | 54M| 81 | 18 |1895 | 25k|1895 |1663 | 54k| 886k|7552 | 0.000000e+00 | 2.000000e+00 | Inf 1341.11/1341.13 c 1277s|630000 | 3209 | 6533k| 10.4 | 55M| 81 | - |1895 | 26k|1895 |1663 | 55k| 901k|7621 | 0.000000e+00 | 2.000000e+00 | Inf 1363.01/1363.03 c 1298s|640000 | 3128 | 6638k| 10.4 | 53M| 81 | - |1895 | 24k|1895 |1663 | 56k| 916k|7668 | 0.000000e+00 | 2.000000e+00 | Inf 1384.92/1384.94 c 1319s|650000 | 3134 | 6742k| 10.4 | 53M| 81 | - |1895 | 24k| 0 | 0 | 57k| 930k|7708 | 0.000000e+00 | 2.000000e+00 | Inf 1408.22/1408.25 c 1341s|660000 | 3095 | 6863k| 10.4 | 53M| 81 | - |1895 | 23k| 0 | 0 | 58k| 944k|7782 | 0.000000e+00 | 2.000000e+00 | Inf 1431.02/1431.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1431.02/1431.03 c 1363s|670000 | 3337 | 6975k| 10.4 | 56M| 81 | - |1895 | 27k| 0 | 0 | 59k| 958k|7831 | 0.000000e+00 | 2.000000e+00 | Inf 1453.41/1453.44 c 1384s|680000 | 3392 | 7084k| 10.4 | 55M| 81 | - |1895 | 24k| 0 | 0 | 60k| 972k|7877 | 0.000000e+00 | 2.000000e+00 | Inf 1475.32/1475.35 c 1405s|690000 | 3353 | 7192k| 10.4 | 55M| 81 | 23 |1895 | 23k|1895 |1655 | 61k| 986k|7926 | 0.000000e+00 | 2.000000e+00 | Inf 1497.42/1497.49 c 1426s|700000 | 3274 | 7303k| 10.4 | 55M| 81 | 18 |1895 | 23k|1895 |1655 | 62k|1001k|7981 | 0.000000e+00 | 2.000000e+00 | Inf 1519.82/1519.84 c 1448s|710000 | 3235 | 7414k| 10.4 | 55M| 81 | - |1895 | 24k|1895 |1664 | 63k|1015k|8062 | 0.000000e+00 | 2.000000e+00 | Inf 1541.42/1541.40 c 1468s|720000 | 3203 | 7517k| 10.4 | 55M| 81 | - |1895 | 23k|1895 |1663 | 64k|1029k|8126 | 0.000000e+00 | 2.000000e+00 | Inf 1563.31/1563.34 c 1489s|730000 | 3290 | 7623k| 10.4 | 55M| 81 | - |1895 | 23k| 0 | 0 | 65k|1043k|8181 | 0.000000e+00 | 2.000000e+00 | Inf 1585.03/1585.08 c 1510s|740000 | 3359 | 7721k| 10.4 | 57M| 81 | 27 |1895 | 26k|1895 |1655 | 65k|1059k|8224 | 0.000000e+00 | 2.000000e+00 | Inf 1606.62/1606.65 c 1530s|750000 | 3373 | 7814k| 10.4 | 57M| 81 | - |1895 | 26k| 0 | 0 | 66k|1075k|8249 | 0.000000e+00 | 2.000000e+00 | Inf 1629.03/1629.01 c 1552s|760000 | 3295 | 7915k| 10.4 | 57M| 81 | 30 |1895 | 25k|1895 |1655 | 67k|1091k|8310 | 0.000000e+00 | 2.000000e+00 | Inf 1651.02/1651.09 c 1573s|770000 | 3290 | 8017k| 10.4 | 56M| 81 | - |1895 | 23k|1895 |1662 | 68k|1106k|8366 | 0.000000e+00 | 2.000000e+00 | Inf 1673.02/1673.06 c 1594s|780000 | 3313 | 8117k| 10.4 | 57M| 81 | 13 |1895 | 26k|1895 |1655 | 70k|1120k|8432 | 0.000000e+00 | 2.000000e+00 | Inf 1695.12/1695.14 c 1615s|790000 | 3301 | 8216k| 10.4 | 59M| 81 | - |1895 | 29k|1895 |1655 | 71k|1135k|8476 | 0.000000e+00 | 2.000000e+00 | Inf 1719.23/1719.26 c 1638s|800000 | 3280 | 8328k| 10.4 | 57M| 81 | 18 |1895 | 25k|1895 |1655 | 72k|1149k|8513 | 0.000000e+00 | 2.000000e+00 | Inf 1741.12/1741.17 c 1658s|810000 | 3292 | 8424k| 10.4 | 58M| 81 | 27 |1895 | 27k|1895 |1662 | 73k|1163k|8552 | 0.000000e+00 | 2.000000e+00 | Inf 1764.22/1764.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1764.22/1764.23 c 1680s|820000 | 3300 | 8536k| 10.4 | 57M| 81 | - |1895 | 24k| 0 | 0 | 73k|1179k|8604 | 0.000000e+00 | 2.000000e+00 | Inf 1786.12/1786.18 c 1701s|830000 | 3226 | 8637k| 10.4 | 56M| 81 | - |1895 | 22k| 0 | 0 | 74k|1193k|8672 | 0.000000e+00 | 2.000000e+00 | Inf 1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.00 c 1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.00 c Solving Time (sec) : 1714.37 1800.02/1800.00 c Solving Nodes : 836447 1800.02/1800.00 c Primal Bound : +2.00000000000000e+00 (136 solutions) 1800.02/1800.00 c Dual Bound : +0.00000000000000e+00 1800.02/1800.00 c Gap : infinite 1800.02/1800.01 s SATISFIABLE 1800.02/1800.01 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 1800.02/1800.01 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1800.02/1800.01 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1800.02/1800.01 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.02/1800.01 v -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 1800.02/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 1800.02/1800.01 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 1800.02/1800.01 v -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 1800.02/1800.01 v -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 1800.02/1800.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1800.02/1800.01 v -x1 1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.01 c Solving Time : 1714.37 1800.02/1800.01 c Original Problem : 1800.02/1800.01 c Problem name : HOME/instance-2693553-1277910210.wbo 1800.02/1800.01 c Variables : 2039 (1135 binary, 0 integer, 0 implicit integer, 904 continuous) 1800.02/1800.01 c Constraints : 3612 initial, 3612 maximal 1800.02/1800.01 c Presolved Problem : 1800.02/1800.01 c Problem name : t_HOME/instance-2693553-1277910210.wbo 1800.02/1800.01 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous) 1800.02/1800.01 c Constraints : 3298 initial, 31053 maximal 1800.02/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.01 c trivial : 0.00 72 0 0 0 0 0 0 0 1800.02/1800.01 c dualfix : 0.01 72 0 0 0 0 0 0 0 1800.02/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0 1800.02/1800.01 c indicator : 0.00 0 0 0 0 0 72 0 0 1800.02/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c linear : 0.05 0 0 0 933 0 242 170 0 1800.02/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.02/1800.01 c root node : - 824 - - 1648 - - - - 1800.02/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.01 c integral : 0 0 0 467702 0 279 2379 0 0 902644 1800.02/1800.01 c indicator : 832 0 3727814 14089 0 140 440972 0 0 0 1800.02/1800.01 c knapsack : 1 6 3729676 14035 0 62285 9223869 0 0 0 1800.02/1800.01 c setppc : 18 6 3670901 14043 0 71816 3056325 0 0 0 1800.02/1800.01 c linear : 832 6 3599724 14103 0 67420 4564990 75236 0 0 1800.02/1800.01 c logicor : 1615+ 6 1885302 1159 0 131723 7061918 0 0 0 1800.02/1800.01 c countsols : 0 0 0 1159 0 0 0 0 0 0 1800.02/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.01 c integral : 33.56 0.00 0.00 33.56 0.00 1800.02/1800.01 c indicator : 0.98 0.00 0.85 0.13 0.00 1800.02/1800.01 c knapsack : 39.45 0.00 39.45 0.00 0.00 1800.02/1800.01 c setppc : 18.44 0.00 18.43 0.01 0.00 1800.02/1800.01 c linear : 47.55 0.00 47.16 0.39 0.00 1800.02/1800.01 c logicor : 229.36 0.00 229.33 0.03 0.00 1800.02/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.01 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.01 c vbounds : 0.01 2 0 0 1800.02/1800.01 c rootredcost : 0.00 31 0 824 1800.02/1800.01 c pseudoobj : 57.27 3735534 1546 342922 1800.02/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.01 c propagation : 14.72 334790 334169 1944108 34.3 11609 29.7 - 1800.02/1800.01 c infeasible LP : 20.62 111857 111857 857724 51.2 1263 18.7 0 1800.02/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.01 c pseudo solution : 0.00 32 32 251 20.2 8 7.8 - 1800.02/1800.01 c applied globally : - - - 1203330 32.2 - - - 1800.02/1800.01 c applied locally : - - - 0 0.0 - - - 1800.02/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.01 c cut pool : 0.00 5 - - 0 - (maximal pool size: 395) 1800.02/1800.01 c redcost : 11.16 468419 0 91134 0 0 1800.02/1800.01 c impliedbounds : 0.00 6 0 0 0 0 1800.02/1800.01 c intobj : 0.00 0 0 0 0 0 1800.02/1800.01 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.01 c gomory : 0.21 6 0 0 1681 0 1800.02/1800.01 c strongcg : 0.17 6 0 0 1599 0 1800.02/1800.01 c cmir : 0.02 6 0 0 0 0 1800.02/1800.01 c flowcover : 0.05 6 0 0 0 0 1800.02/1800.01 c clique : 0.00 6 0 0 0 0 1800.02/1800.01 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.01 c mcf : 0.00 1 0 0 0 0 1800.02/1800.01 c rapidlearning : 0.00 0 0 0 0 0 1800.02/1800.01 c Pricers : Time Calls Vars 1800.02/1800.01 c problem variables: 0.00 0 0 1800.02/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.01 c relpscost : 33.41 453574 279 2379 0 0 902644 1800.02/1800.01 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.01 c inference : 0.08 1131 0 0 0 0 2262 1800.02/1800.01 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.01 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.01 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.01 c random : 0.00 0 0 0 0 0 0 1800.02/1800.01 c Primal Heuristics : Time Calls Found 1800.02/1800.01 c LP solutions : 0.00 - 28 1800.02/1800.01 c pseudo solutions : 0.00 - 0 1800.02/1800.01 c feaspump : 0.00 1 0 1800.02/1800.01 c oneopt : 0.13 31 0 1800.02/1800.01 c intshifting : 0.01 23 0 1800.02/1800.01 c crossover : 0.33 18 0 1800.02/1800.01 c rootsoldiving : 0.35 50 0 1800.02/1800.01 c pscostdiving : 0.37 100 1 1800.02/1800.01 c fracdiving : 0.33 100 1 1800.02/1800.01 c linesearchdiving : 0.22 100 0 1800.02/1800.01 c guideddiving : 0.37 100 0 1800.02/1800.01 c coefdiving : 0.32 100 0 1800.02/1800.01 c veclendiving : 0.29 100 0 1800.02/1800.01 c objpscostdiving : 0.14 51 0 1800.02/1800.01 c trivial : 0.00 2 0 1800.02/1800.01 c simplerounding : 0.34 453740 0 1800.02/1800.01 c zirounding : 0.26 1000 0 1800.02/1800.01 c rounding : 0.86 9488 0 1800.02/1800.01 c shifting : 0.84 2935 0 1800.02/1800.01 c twoopt : 0.00 0 0 1800.02/1800.01 c fixandinfer : 0.00 0 0 1800.02/1800.01 c intdiving : 0.00 0 0 1800.02/1800.01 c actconsdiving : 0.00 0 0 1800.02/1800.01 c octane : 0.00 0 0 1800.02/1800.01 c rens : 0.02 1 0 1800.02/1800.01 c rins : 0.00 0 0 1800.02/1800.01 c localbranching : 0.00 0 0 1800.02/1800.01 c mutation : 0.00 0 0 1800.02/1800.01 c dins : 0.00 0 0 1800.02/1800.01 c undercover : 0.00 0 0 1800.02/1800.01 c nlp : 0.00 0 0 1800.02/1800.01 c trysol : 0.17 2274 106 1800.02/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.01 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.01 c dual LP : 894.27 576797 8695997 15.08 9724.13 1800.02/1800.01 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.01 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.01 c diving/probing LP: 1.49 1290 8810 6.83 5912.75 1800.02/1800.01 c strong branching : 29.12 8689 287175 33.05 9861.78 1800.02/1800.01 c (at root node) : - 33 14442 437.64 - 1800.02/1800.01 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.01 c B&B Tree : 1800.02/1800.01 c number of runs : 1 1800.02/1800.01 c nodes : 836447 1800.02/1800.01 c nodes (total) : 836447 1800.02/1800.01 c nodes left : 3206 1800.02/1800.01 c max depth : 81 1800.02/1800.01 c max depth (total): 81 1800.02/1800.01 c backtracks : 112481 (13.4%) 1800.02/1800.01 c delayed cutoffs : 64138 1800.02/1800.01 c repropagations : 1426946 (4860913 domain reductions, 62101 cutoffs) 1800.02/1800.01 c avg switch length: 4.95 1800.02/1800.01 c switching time : 203.93 1800.02/1800.01 c Solution : 1800.02/1800.01 c Solutions found : 136 (31 improvements) 1800.02/1800.01 c First Solution : +4.04320000000000e+04 (in run 1, after 1 nodes, 0.69 seconds, depth 0, found by <trysol>) 1800.02/1800.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 38395 nodes, 78.74 seconds, depth 35, found by <relaxation>) 1800.02/1800.01 c Dual Bound : +0.00000000000000e+00 1800.02/1800.01 c Gap : infinite 1800.02/1800.01 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.01 c Root Iterations : 695 1800.02/1800.08 c Time complete: 1800.11.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693553-1277910210/watcher-2693553-1277910210 -o /tmp/evaluation-result-2693553-1277910210/solver-2693553-1277910210 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693553-1277910210.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.73 2.78 2.51 4/196 12299 /proc/meminfo: memFree=31519820/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=11004 CPUtime=0 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 1676 0 0 0 0 0 0 0 25 0 1 0 132317125 11268096 1597 4089446400 4194304 9819077 140735427416352 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12299/statm: 2751 1597 392 1374 0 1372 0 [startup+0.058062 s] /proc/loadavg: 2.73 2.78 2.51 4/196 12299 /proc/meminfo: memFree=31519820/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=24064 CPUtime=0.05 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 5640 0 0 0 4 1 0 0 25 0 1 0 132317125 24641536 4693 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 6016 4693 492 1374 0 4637 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 24064 [startup+0.101061 s] /proc/loadavg: 2.73 2.78 2.51 4/196 12299 /proc/meminfo: memFree=31519820/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=24820 CPUtime=0.09 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 6614 0 0 0 8 1 0 0 25 0 1 0 132317125 25415680 4896 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 6205 4896 503 1374 0 4826 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24820 [startup+0.301036 s] /proc/loadavg: 2.73 2.78 2.51 4/196 12299 /proc/meminfo: memFree=31519820/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=34968 CPUtime=0.29 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 11518 0 0 0 26 3 0 0 25 0 1 0 132317125 35807232 7120 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 8742 7120 689 1374 0 7363 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 34968 [startup+0.700948 s] /proc/loadavg: 2.73 2.78 2.51 4/196 12299 /proc/meminfo: memFree=31519820/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=40116 CPUtime=0.69 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 13427 0 0 0 65 4 0 0 25 0 1 0 132317125 41078784 8378 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 10029 8378 691 1374 0 8650 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40116 [startup+1.50084 s] /proc/loadavg: 2.73 2.78 2.51 3/197 12300 /proc/meminfo: memFree=31488688/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=42640 CPUtime=1.5 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 27229 0 0 0 144 6 0 0 25 0 1 0 132317125 43663360 8528 4089446400 4194304 9819077 140735427416352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 10660 8528 719 1374 0 9281 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 42640 [startup+3.10059 s] /proc/loadavg: 2.73 2.78 2.51 3/197 12300 /proc/meminfo: memFree=31488196/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=42676 CPUtime=3.09 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 39422 0 0 0 301 8 0 0 25 0 1 0 132317125 43700224 8477 4089446400 4194304 9819077 140735427416352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 10669 8477 721 1374 0 9290 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42676 [startup+6.30104 s] /proc/loadavg: 2.67 2.76 2.51 3/197 12300 /proc/meminfo: memFree=31488444/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=42516 CPUtime=6.3 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 74078 0 0 0 614 16 0 0 25 0 1 0 132317125 43536384 8508 4089446400 4194304 9819077 140735427416352 18446744073709551615 7298818 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 10629 8508 722 1374 0 9250 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 42516 [startup+12.701 s] /proc/loadavg: 2.61 2.75 2.51 3/197 12300 /proc/meminfo: memFree=31484392/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=46700 CPUtime=12.7 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 184470 0 0 0 1226 44 0 0 25 0 1 0 132317125 47820800 10010 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 11675 10010 727 1374 0 10296 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 46700 [startup+25.5008 s] /proc/loadavg: 2.48 2.71 2.50 3/197 12300 /proc/meminfo: memFree=31470708/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=59932 CPUtime=25.49 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 361755 0 0 0 2435 114 0 0 25 0 1 0 132317125 61370368 13350 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 14983 13350 727 1374 0 13604 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59932 [startup+51.1005 s] /proc/loadavg: 2.31 2.66 2.48 3/197 12302 /proc/meminfo: memFree=31459324/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=71584 CPUtime=51.09 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 671111 0 0 0 4850 259 0 0 25 0 1 0 132317125 73302016 16050 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 17896 16050 741 1374 0 16517 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 71584 [startup+102.306 s] /proc/loadavg: 2.13 2.55 2.45 3/197 12302 /proc/meminfo: memFree=31453904/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=76508 CPUtime=102.3 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 1232829 0 0 0 9703 527 0 0 25 0 1 0 132317125 78344192 17236 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 19127 17236 742 1374 0 17748 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 76508 [startup+162.301 s] /proc/loadavg: 2.05 2.45 2.42 3/197 12304 /proc/meminfo: memFree=31447760/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=82368 CPUtime=162.29 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 1853428 0 0 0 15411 818 0 0 25 0 1 0 132317125 84344832 18725 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 20592 18725 742 1374 0 19213 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 82368 [startup+222.301 s] /proc/loadavg: 2.02 2.36 2.39 3/197 12306 /proc/meminfo: memFree=31443740/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=85544 CPUtime=222.3 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 2447193 0 0 0 21121 1109 0 0 25 0 1 0 132317125 87597056 19606 4089446400 4194304 9819077 140735427416352 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 21386 19606 742 1374 0 20007 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 85544 [startup+282.301 s] /proc/loadavg: 2.00 2.30 2.37 3/197 12308 /proc/meminfo: memFree=31440216/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=89844 CPUtime=282.29 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 2981086 0 0 0 26845 1384 0 0 25 0 1 0 132317125 92000256 20537 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 22461 20537 742 1374 0 21082 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 89844 [startup+342.3 s] /proc/loadavg: 2.04 2.25 2.35 3/197 12308 /proc/meminfo: memFree=31436552/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=93736 CPUtime=342.3 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 3525634 0 0 0 32569 1661 0 0 25 0 1 0 132317125 95985664 21451 4089446400 4194304 9819077 140735427416352 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 23434 21451 742 1374 0 22055 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 93736 [startup+402.3 s] /proc/loadavg: 2.07 2.22 2.33 3/197 12310 /proc/meminfo: memFree=31434736/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=95112 CPUtime=402.29 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 4041176 0 0 0 38295 1934 0 0 25 0 1 0 132317125 97394688 21802 4089446400 4194304 9819077 140735427416352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 23778 21802 742 1374 0 22399 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 95112 [startup+462.301 s] /proc/loadavg: 2.02 2.18 2.31 3/197 12312 /proc/meminfo: memFree=31434184/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=94912 CPUtime=462.3 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 4570365 0 0 0 43993 2237 0 0 25 0 1 0 132317125 97189888 21901 4089446400 4194304 9819077 140735427416352 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 23728 21901 742 1374 0 22349 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 94912 [startup+522.301 s] /proc/loadavg: 2.01 2.14 2.28 3/197 12362 /proc/meminfo: memFree=31452784/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=95752 CPUtime=522.3 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 5106906 0 0 0 49690 2540 0 0 25 0 1 0 132317125 98050048 21930 4089446400 4194304 9819077 140735427416352 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 23938 21930 742 1374 0 22559 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 95752 [startup+582.301 s] /proc/loadavg: 2.00 2.11 2.26 3/197 12364 /proc/meminfo: memFree=31450484/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=96260 CPUtime=582.3 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 5658813 0 0 0 55369 2861 0 0 25 0 1 0 132317125 98570240 22076 4089446400 4194304 9819077 140735427416352 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 24065 22076 742 1374 0 22686 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 96260 [startup+642.301 s] /proc/loadavg: 2.00 2.09 2.24 3/197 12364 /proc/meminfo: memFree=31448940/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=97136 CPUtime=642.3 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 6192670 0 0 0 61063 3167 0 0 25 0 1 0 132317125 99467264 22211 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 24284 22211 742 1374 0 22905 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 97136 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.04 2.19 3/197 12370 /proc/meminfo: memFree=31441352/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=102676 CPUtime=822.3 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 7727293 0 0 0 78196 4034 0 0 25 0 1 0 132317125 105140224 23659 4089446400 4194304 9819077 140735427416352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 25669 23659 742 1374 0 24290 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 102676 [startup+882.3 s] /proc/loadavg: 2.00 2.03 2.18 3/197 12372 /proc/meminfo: memFree=31439308/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=104572 CPUtime=882.3 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 8232460 0 0 0 83923 4307 0 0 25 0 1 0 132317125 107081728 24143 4089446400 4194304 9819077 140735427416352 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 26143 24143 742 1374 0 24764 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 104572 [startup+942.3 s] /proc/loadavg: 2.00 2.02 2.16 3/197 12372 /proc/meminfo: memFree=31436024/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=107876 CPUtime=942.31 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 8764859 0 0 0 89643 4588 0 0 25 0 1 0 132317125 110465024 24827 4089446400 4194304 9819077 140735427416352 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 26969 24827 742 1374 0 25590 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 107876 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.15 3/197 12374 /proc/meminfo: memFree=31434700/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=108584 CPUtime=1002.31 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 9287080 0 0 0 95367 4864 0 0 25 0 1 0 132317125 111190016 25056 4089446400 4194304 9819077 140735427416352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 27146 25056 742 1374 0 25767 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 108584 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.14 3/197 12376 /proc/meminfo: memFree=31434292/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=109044 CPUtime=1062.31 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 9780339 0 0 0 101088 5143 0 0 25 0 1 0 132317125 111661056 25168 4089446400 4194304 9819077 140735427416352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 27129 25144 742 1374 0 25750 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 109044 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.13 3/197 12378 /proc/meminfo: memFree=31433460/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=109452 CPUtime=1122.31 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 10268946 0 0 0 106814 5417 0 0 25 0 1 0 132317125 112078848 25281 4089446400 4194304 9819077 140735427416352 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 27363 25281 742 1374 0 25984 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 109452 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.12 3/197 12380 /proc/meminfo: memFree=31432656/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=110068 CPUtime=1182.31 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 10789395 0 0 0 112528 5703 0 0 25 0 1 0 132317125 112709632 25426 4089446400 4194304 9819077 140735427416352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 27517 25426 742 1374 0 26138 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 110068 [startup+1242.3 s] /proc/loadavg: 2.05 2.01 2.11 3/197 12380 /proc/meminfo: memFree=31431720/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=109888 CPUtime=1242.32 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 11294000 0 0 0 118268 5964 0 0 25 0 1 0 132317125 112525312 25520 4089446400 4194304 9819077 140735427416352 18446744073709551615 7212342 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 27539 25522 742 1374 0 26160 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 109888 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 2.10 3/197 12382 /proc/meminfo: memFree=31431152/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=110752 CPUtime=1302.32 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 11857046 0 0 0 123984 6248 0 0 25 0 1 0 132317125 113410048 25591 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 27688 25591 742 1374 0 26309 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 110752 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.09 3/197 12384 /proc/meminfo: memFree=31430124/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=111668 CPUtime=1362.31 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 12382632 0 0 0 129720 6511 0 0 25 0 1 0 132317125 114348032 25847 4089446400 4194304 9819077 140735427416352 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 27917 25847 742 1374 0 26538 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 111668 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.08 3/197 12386 /proc/meminfo: memFree=31429308/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=112228 CPUtime=1422.32 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 12931986 0 0 0 135445 6787 0 0 25 0 1 0 132317125 114921472 25967 4089446400 4194304 9819077 140735427416352 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 28057 25967 742 1374 0 26678 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 112228 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.08 3/197 12388 /proc/meminfo: memFree=31427752/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=113276 CPUtime=1482.31 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 13434788 0 0 0 141175 7056 0 0 25 0 1 0 132317125 115994624 26304 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 28319 26304 742 1374 0 26940 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 113276 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.07 3/197 12388 /proc/meminfo: memFree=31427544/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=113992 CPUtime=1542.32 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 13967051 0 0 0 146903 7329 0 0 25 0 1 0 132317125 116727808 26378 4089446400 4194304 9819077 140735427416352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 28498 26378 742 1374 0 27119 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 113992 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.07 3/197 12390 /proc/meminfo: memFree=31424884/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=116264 CPUtime=1602.32 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 14456307 0 0 0 152632 7600 0 0 25 0 1 0 132317125 119054336 26977 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 29066 26977 742 1374 0 27687 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 116264 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.06 3/197 12392 /proc/meminfo: memFree=31422208/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=117664 CPUtime=1662.32 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 14948537 0 0 0 158350 7882 0 0 25 0 1 0 132317125 120487936 27295 4089446400 4194304 9819077 140735427416352 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 29416 27295 742 1374 0 28037 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 117664 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 2.06 3/197 12397 /proc/meminfo: memFree=31419808/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=118904 CPUtime=1722.32 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 15471626 0 0 0 164054 8178 0 0 25 0 1 0 132317125 121757696 27626 4089446400 4194304 9819077 140735427416352 18446744073709551615 4660122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 29726 27626 742 1374 0 28347 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 118904 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.05 3/197 12399 /proc/meminfo: memFree=31418996/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=119376 CPUtime=1782.33 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 15970781 0 0 0 169763 8470 0 0 25 0 1 0 132317125 122241024 27766 4089446400 4194304 9819077 140735427416352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 29844 27766 742 1374 0 28465 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 119376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.01 2.05 3/197 12399 /proc/meminfo: memFree=31418968/32951124 swapFree=67111528/67111528 [pid=12299] ppid=12297 vsize=119376 CPUtime=1800.02 /proc/12299/stat : 12299 (pbscip.linux.x8) R 12297 12299 10768 0 -1 4202496 16117432 0 0 0 171438 8564 0 0 25 0 1 0 132317125 122241024 27768 4089446400 4194304 9819077 140735427416352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12299/statm: 29844 27768 742 1374 0 28465 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 119376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.09 CPU time (s): 1800.12 CPU user time (s): 1714.47 CPU system time (s): 85.652 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 121248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1714.47 system time used= 85.652 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16117464 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= 1056 runsolver used 2.66859 second user time and 5.68914 second system time The end
Begin job on node130 at 2010-06-30 17:03:31 IDJOB=2693553 IDBENCH=78975 IDSOLVER=1205 FILE ID=node130/2693553-1277910210 PBS_JOBID= 11197193 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693553-1277910210/watcher-2693553-1277910210 -o /tmp/evaluation-result-2693553-1277910210/solver-2693553-1277910210 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693553-1277910210.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75cdbfdf3c0702d95dd33d3fc3f86ad3 RANDOM SEED=160222022 node130.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.796 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.59 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.796 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.67 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.796 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.796 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.72 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.796 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.796 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.63 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.796 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.796 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 : 5237.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31520348 kB Buffers: 195636 kB Cached: 967360 kB SwapCached: 0 kB Active: 595032 kB Inactive: 694220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31520348 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6324 kB Writeback: 0 kB AnonPages: 126596 kB Mapped: 20516 kB Slab: 78292 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1653696 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 node130 at 2010-06-30 17:33:33