Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1790.12 | 1790.08 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo |
MD5SUM | f1c7b8b76066043f2c00dac441c2cac6 |
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 | 190.536 |
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 | 906 |
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 | 44555 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44554 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 761 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2705019-1278574752.wbo> 0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 906 impl, 0 cont) and 3614 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.02/0.03 c presolving: 0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 210 impls, 14 clqs 0.02/0.06 c (round 2) 0 del vars, 113 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 210 impls, 14 clqs 0.02/0.07 c (round 3) 52 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 210 impls, 14 clqs 0.02/0.08 c (round 4) 104 del vars, 233 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 210 impls, 14 clqs 0.09/0.12 c (0.1s) probing: 101/1085 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.12 c presolving (5 rounds): 0.09/0.12 c 104 deleted vars, 233 deleted constraints, 906 tightened bounds, 0 added holes, 52 changed sides, 0 changed coefficients 0.09/0.12 c 1910 implications, 14 cliques 0.09/0.12 c presolved problem has 1939 variables (1085 bin, 0 int, 854 impl, 0 cont) and 3381 constraints 0.09/0.12 c 1 constraints of type <knapsack> 0.09/0.12 c 51 constraints of type <setppc> 0.09/0.12 c 854 constraints of type <linear> 0.09/0.12 c 854 constraints of type <indicator> 0.09/0.12 c 1621 constraints of type <logicor> 0.09/0.12 c transformed objective value is always integral (scale: 1) 0.09/0.12 c Presolving Time: 0.09 0.09/0.12 c - non default parameters ---------------------------------------------------------------------- 0.09/0.12 c # SCIP version 1.2.1.3 0.09/0.12 c 0.09/0.12 c # frequency for displaying node information lines 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.12 c display/freq = 10000 0.09/0.12 c 0.09/0.12 c # maximal time in seconds to run 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/time = 1789.98 0.09/0.12 c 0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/memory = 3420 0.09/0.12 c 0.09/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.12 c # [type: int, range: [1,2], default: 1] 0.09/0.12 c timing/clocktype = 2 0.09/0.12 c 0.09/0.12 c # should presolving try to simplify inequalities 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/linear/simplifyinequalities = TRUE 0.09/0.12 c 0.09/0.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/indicator/addCouplingCons = TRUE 0.09/0.12 c 0.09/0.12 c # should presolving try to simplify knapsacks 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.12 c 0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c separating/rapidlearning/freq = 0 0.09/0.12 c 0.09/0.12 c ----------------------------------------------------------------------------------------------- 0.09/0.12 c start solving 0.09/0.12 c 0.09/0.13 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.13 c 0.1s| 1 | 0 | 34 | - |8862k| 0 | 18 |1939 |3381 |1939 |1673 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.24 c 0.2s| 1 | 0 | 51 | - |8894k| 0 | 20 |1939 |3387 |1939 |1683 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.27 c 0.3s| 1 | 0 | 65 | - |8992k| 0 | 21 |1939 |3387 |1939 |1689 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.32 c 0.3s| 1 | 0 | 78 | - |9297k| 0 | 23 |1939 |3387 |1939 |1692 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.38 c 0.4s| 1 | 0 | 99 | - |9719k| 0 | 26 |1939 |3387 |1939 |1695 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.43 c 0.4s| 1 | 0 | 108 | - |9871k| 0 | 24 |1939 |3387 |1939 |1700 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.49 c 0.5s| 1 | 0 | 149 | - | 10M| 0 | 42 |1939 |3387 |1939 |1702 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.64 c 0.6s| 1 | 2 | 149 | - | 10M| 0 | 42 |1939 |3387 |1939 |1702 | 29 | 0 | 11 | 0.000000e+00 | -- | Inf 1.09/1.14 o 42102 1.09/1.14 c y 1.1s| 19 | 18 | 446 | 16.5 | 10M| 17 | - |1939 |3387 | 0 | 0 | 36 | 0 | 104 | 0.000000e+00 | 4.210200e+04 | Inf 1.19/1.28 o 517 1.19/1.28 c * 1.3s| 29 | 28 | 573 | 15.1 | 10M| 17 | - |1939 |3387 |1939 |1704 | 38 | 0 | 172 | 0.000000e+00 | 5.170000e+02 | Inf 2.28/2.37 o 441 2.28/2.37 c * 2.3s| 187 | 131 | 1856 | 9.2 | 10M| 36 | - |1939 |3467 |1939 |1705 | 101 | 80 | 507 | 0.000000e+00 | 4.410000e+02 | Inf 2.28/2.37 o 437 2.28/2.37 c * 2.3s| 188 | 130 | 1856 | 9.1 | 11M| 36 | - |1939 |3467 |1939 |1705 | 101 | 80 | 507 | 0.000000e+00 | 4.370000e+02 | Inf 2.38/2.42 o 425 2.38/2.42 c * 2.4s| 206 | 141 | 1935 | 8.7 | 11M| 36 | - |1939 |3474 |1939 |1705 | 108 | 87 | 522 | 0.000000e+00 | 4.250000e+02 | Inf 2.58/2.67 o 412 2.58/2.67 c * 2.7s| 292 | 186 | 2259 | 7.3 | 11M| 36 | - |1939 |3517 |1939 |1704 | 148 | 130 | 589 | 0.000000e+00 | 4.120000e+02 | Inf 2.68/2.71 o 389 2.68/2.71 c * 2.7s| 307 | 195 | 2290 | 7.0 | 11M| 36 | - |1939 |3521 |1939 |1710 | 154 | 134 | 589 | 0.000000e+00 | 3.890000e+02 | Inf 2.68/2.74 o 367 2.68/2.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2.68/2.74 c * 2.7s| 338 | 205 | 2307 | 6.4 | 11M| 36 | - |1939 |3541 |1939 |1705 | 156 | 154 | 589 | 0.000000e+00 | 3.670000e+02 | Inf 3.08/3.13 o 331 3.08/3.13 c * 3.1s| 503 | 309 | 2873 | 5.4 | 12M| 36 | - |1939 |3596 |1939 |1708 | 214 | 209 | 676 | 0.000000e+00 | 3.310000e+02 | Inf 3.08/3.17 o 256 3.08/3.17 c * 3.1s| 536 | 302 | 2933 | 5.2 | 12M| 42 | - |1939 |3596 |1939 |1705 | 217 | 209 | 676 | 0.000000e+00 | 2.560000e+02 | Inf 3.29/3.33 o 191 3.29/3.33 c * 3.3s| 669 | 376 | 3178 | 4.5 | 12M| 51 | - |1939 |3616 |1939 |1707 | 233 | 229 | 676 | 0.000000e+00 | 1.910000e+02 | Inf 3.58/3.66 o 184 3.58/3.66 c * 3.6s| 860 | 490 | 3622 | 4.0 | 13M| 52 | - |1939 |3697 |1939 |1713 | 283 | 316 | 712 | 0.000000e+00 | 1.840000e+02 | Inf 3.58/3.66 o 173 3.58/3.66 c * 3.6s| 861 | 479 | 3622 | 4.0 | 13M| 52 | - |1939 |3697 |1939 |1713 | 283 | 316 | 712 | 0.000000e+00 | 1.730000e+02 | Inf 4.39/4.43 o 172 4.39/4.43 c * 4.4s| 1269 | 688 | 4633 | 3.5 | 14M| 61 | - |1939 |3885 |1939 |1706 | 346 | 559 | 809 | 0.000000e+00 | 1.720000e+02 | Inf 4.49/4.55 o 155 4.49/4.55 c * 4.5s| 1307 | 615 | 4872 | 3.6 | 13M| 61 | - |1939 |3939 |1939 |1709 | 362 | 619 | 822 | 0.000000e+00 | 1.550000e+02 | Inf 5.58/5.67 o 140 5.58/5.67 c * 5.6s| 1562 | 637 | 6827 | 4.3 | 14M| 61 | - |1939 |4081 |1939 |1702 | 466 | 888 |1139 | 0.000000e+00 | 1.400000e+02 | Inf 6.88/6.99 o 119 6.88/6.99 c * 7.0s| 1977 | 730 | 9630 | 4.8 | 14M| 61 | - |1939 |4188 |1939 |1702 | 668 |1250 |1431 | 0.000000e+00 | 1.190000e+02 | Inf 10.38/10.42 o 108 10.38/10.42 c *10.4s| 3626 | 1117 | 18542 | 5.1 | 18M| 68 | - |1939 |5098 |1939 |1704 |1207 |2744 |1810 | 0.000000e+00 | 1.080000e+02 | Inf 12.78/12.82 o 105 12.78/12.82 c *12.8s| 4871 | 1359 | 26338 | 5.4 | 20M| 72 | - |1939 |5441 |1939 |1706 |1462 |4011 |1915 | 0.000000e+00 | 1.050000e+02 | Inf 13.29/13.38 o 100 13.29/13.38 c *13.4s| 5238 | 1454 | 27470 | 5.2 | 21M| 72 | - |1939 |5557 |1939 |1706 |1556 |4292 |1920 | 0.000000e+00 | 1.000000e+02 | Inf 13.49/13.54 o 76 13.49/13.54 c *13.5s| 5336 | 1209 | 27951 | 5.2 | 19M| 72 | - |1939 |5556 |1939 |1712 |1599 |4378 |1924 | 0.000000e+00 | 7.600000e+01 | Inf 14.88/14.99 o 69 14.88/14.99 c *15.0s| 5958 | 1269 | 35383 | 5.9 | 20M| 72 | - |1939 |5182 |1939 |1709 |1734 |5031 |1967 | 0.000000e+00 | 6.900000e+01 | Inf 15.39/15.44 o 65 15.39/15.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 15.39/15.44 c *15.4s| 6155 | 1305 | 37851 | 6.1 | 20M| 72 | - |1939 |4857 |1939 |1708 |1787 |5234 |1979 | 0.000000e+00 | 6.500000e+01 | Inf 15.48/15.51 o 47 15.48/15.51 c *15.5s| 6197 | 1265 | 38233 | 6.1 | 20M| 72 | - |1939 |4797 |1939 |1702 |1791 |5288 |1980 | 0.000000e+00 | 4.700000e+01 | Inf 16.69/16.78 o 24 16.69/16.78 c *16.8s| 6799 | 1052 | 45746 | 6.7 | 18M| 72 | - |1939 |4652 |1939 |1704 |1949 |6034 |1997 | 0.000000e+00 | 2.400000e+01 | Inf 22.18/22.29 c 22.3s| 10000 | 1254 | 81180 | 8.1 | 19M| 72 | - |1939 |6482 |1939 |1704 |2927 |9893 |2040 | 0.000000e+00 | 2.400000e+01 | Inf 31.39/31.44 o 15 31.39/31.44 c *31.4s| 15235 | 1225 |138470 | 9.1 | 21M| 72 | - |1939 |8211 |1939 |1698 |4119 | 16k|2040 | 0.000000e+00 | 1.500000e+01 | Inf 38.79/38.81 o 14 38.79/38.81 c *38.8s| 19186 | 1319 |188018 | 9.8 | 22M| 72 | - |1939 |9683 |1939 |1698 |4676 | 21k|2152 | 0.000000e+00 | 1.400000e+01 | Inf 40.49/40.51 c 40.5s| 20000 | 1330 |198190 | 9.9 | 22M| 72 | 20 |1939 |9996 |1939 |1698 |4866 | 22k|2236 | 0.000000e+00 | 1.400000e+01 | Inf 40.49/40.53 o 4 40.49/40.53 c *40.5s| 20006 | 1146 |198235 | 9.9 | 21M| 72 | - |1939 |9999 |1939 |1698 |4866 | 22k|2239 | 0.000000e+00 | 4.000000e+00 | Inf 59.29/59.38 c 59.4s| 30000 | 1056 |316759 | 10.6 | 21M| 72 | 1 |1939 | 10k|1939 |1698 |6466 | 35k|2841 | 0.000000e+00 | 4.000000e+00 | Inf 78.10/78.16 c 78.1s| 40000 | 1408 |437180 | 10.9 | 25M| 72 | 12 |1939 | 15k|1939 |1708 |8180 | 48k|3321 | 0.000000e+00 | 4.000000e+00 | Inf 98.29/98.32 c 98.3s| 50000 | 1495 |563057 | 11.3 | 26M| 72 | 22 |1939 | 15k|1939 |1698 | 10k| 61k|3769 | 0.000000e+00 | 4.000000e+00 | Inf 111.79/111.80 o 3 111.79/111.80 c * 112s| 56647 | 1454 |649975 | 11.5 | 27M| 72 | - |1939 | 16k|1939 |1715 | 11k| 70k|4000 | 0.000000e+00 | 3.000000e+00 | Inf 118.49/118.54 c 119s| 60000 | 1429 |694018 | 11.6 | 26M| 72 | - |1939 | 14k|1939 |1698 | 12k| 75k|4100 | 0.000000e+00 | 3.000000e+00 | Inf 138.29/138.34 c 138s| 70000 | 1394 |818646 | 11.7 | 27M| 72 | - |1939 | 16k| 0 | 0 | 13k| 88k|4480 | 0.000000e+00 | 3.000000e+00 | Inf 150.29/150.30 o 2 150.29/150.30 c * 150s| 75988 | 1371 |894034 | 11.8 | 27M| 72 | - |1939 | 16k|1939 |1698 | 15k| 96k|4702 | 0.000000e+00 | 2.000000e+00 | Inf 158.19/158.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 158.19/158.28 c 158s| 80000 | 1353 |944268 | 11.8 | 27M| 72 | 8 |1939 | 17k|1939 |1698 | 16k| 101k|4798 | 0.000000e+00 | 2.000000e+00 | Inf 177.90/177.93 c 178s| 90000 | 1308 | 1070k| 11.9 | 27M| 72 | 34 |1939 | 16k|1939 |1698 | 17k| 115k|5059 | 0.000000e+00 | 2.000000e+00 | Inf 198.69/198.78 c 199s|100000 | 1262 | 1204k| 12.0 | 28M| 72 | 14 |1939 | 19k|1939 |1698 | 19k| 128k|5356 | 0.000000e+00 | 2.000000e+00 | Inf 219.40/219.44 c 219s|110000 | 1174 | 1329k| 12.1 | 26M| 72 | 23 |1939 | 13k|1939 |1698 | 21k| 142k|5651 | 0.000000e+00 | 2.000000e+00 | Inf 239.29/239.39 c 239s|120000 | 1281 | 1453k| 12.1 | 28M| 72 | 13 |1939 | 17k|1939 |1698 | 22k| 155k|5922 | 0.000000e+00 | 2.000000e+00 | Inf 260.09/260.16 c 260s|130000 | 1335 | 1581k| 12.2 | 29M| 72 | 16 |1939 | 20k|1939 |1698 | 24k| 168k|6142 | 0.000000e+00 | 2.000000e+00 | Inf 282.49/282.50 c 282s|140000 | 1401 | 1728k| 12.3 | 30M| 72 | 23 |1939 | 21k|1939 |1698 | 25k| 182k|6372 | 0.000000e+00 | 2.000000e+00 | Inf 304.10/304.15 c 304s|150000 | 1386 | 1864k| 12.4 | 30M| 72 | 10 |1939 | 20k|1939 |1698 | 27k| 195k|6608 | 0.000000e+00 | 2.000000e+00 | Inf 324.80/324.86 c 325s|160000 | 1490 | 1992k| 12.4 | 32M| 72 | 18 |1939 | 23k|1939 |1698 | 28k| 209k|6752 | 0.000000e+00 | 2.000000e+00 | Inf 346.09/346.11 c 346s|170000 | 1466 | 2115k| 12.4 | 33M| 72 | - |1939 | 25k| 0 | 0 | 30k| 223k|6987 | 0.000000e+00 | 2.000000e+00 | Inf 367.70/367.79 c 368s|180000 | 1410 | 2245k| 12.5 | 33M| 72 | 13 |1939 | 24k|1939 |1698 | 32k| 236k|7150 | 0.000000e+00 | 2.000000e+00 | Inf 389.70/389.79 c 390s|190000 | 1342 | 2375k| 12.5 | 32M| 72 | 20 |1939 | 24k|1939 |1698 | 33k| 250k|7332 | 0.000000e+00 | 2.000000e+00 | Inf 411.49/411.56 c 412s|200000 | 1339 | 2503k| 12.5 | 32M| 72 | 13 |1939 | 25k|1939 |1698 | 35k| 263k|7542 | 0.000000e+00 | 2.000000e+00 | Inf 434.90/434.95 c 435s|210000 | 1282 | 2647k| 12.6 | 33M| 72 | 23 |1939 | 27k|1939 |1698 | 36k| 277k|7750 | 0.000000e+00 | 2.000000e+00 | Inf 458.10/458.11 c 458s|220000 | 1120 | 2780k| 12.6 | 29M| 72 | 12 |1939 | 18k|1939 |1698 | 38k| 291k|7974 | 0.000000e+00 | 2.000000e+00 | Inf 479.70/479.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 479.70/479.70 c 480s|230000 | 1092 | 2913k| 12.7 | 29M| 72 | 24 |1939 | 20k|1939 |1698 | 39k| 305k|8126 | 0.000000e+00 | 2.000000e+00 | Inf 501.30/501.30 c 501s|240000 | 989 | 3043k| 12.7 | 28M| 72 | - |1939 | 16k| 0 | 0 | 41k| 318k|8400 | 0.000000e+00 | 2.000000e+00 | Inf 521.31/521.34 c 521s|250000 | 1058 | 3171k| 12.7 | 29M| 72 | - |1939 | 18k| 0 | 0 | 42k| 331k|8536 | 0.000000e+00 | 2.000000e+00 | Inf 540.91/540.94 c 541s|260000 | 1140 | 3285k| 12.6 | 30M| 72 | - |1939 | 22k| 0 | 0 | 44k| 344k|8682 | 0.000000e+00 | 2.000000e+00 | Inf 562.31/562.35 c 562s|270000 | 1258 | 3414k| 12.6 | 32M| 72 | 20 |1939 | 24k|1939 |1698 | 45k| 357k|8805 | 0.000000e+00 | 2.000000e+00 | Inf 584.70/584.71 c 585s|280000 | 1219 | 3552k| 12.7 | 32M| 72 | - |1939 | 23k|1939 |1698 | 46k| 370k|8980 | 0.000000e+00 | 2.000000e+00 | Inf 606.30/606.38 c 606s|290000 | 1287 | 3681k| 12.7 | 33M| 72 | 14 |1939 | 24k|1939 |1698 | 48k| 383k|9125 | 0.000000e+00 | 2.000000e+00 | Inf 628.50/628.54 c 629s|300000 | 1073 | 3812k| 12.7 | 31M| 72 | - |1939 | 23k|1939 |1698 | 50k| 396k|9286 | 0.000000e+00 | 2.000000e+00 | Inf 649.11/649.16 c 649s|310000 | 1005 | 3935k| 12.7 | 30M| 72 | - |1939 | 22k|1939 |1698 | 51k| 410k|9435 | 0.000000e+00 | 2.000000e+00 | Inf 670.20/670.25 c 670s|320000 | 847 | 4064k| 12.7 | 29M| 72 | 15 |1939 | 19k|1939 |1698 | 53k| 423k|9600 | 0.000000e+00 | 2.000000e+00 | Inf 691.01/691.07 c 691s|330000 | 778 | 4200k| 12.7 | 30M| 72 | - |1939 | 23k|1939 |1698 | 54k| 436k|9719 | 0.000000e+00 | 2.000000e+00 | Inf 712.71/712.74 c 713s|340000 | 788 | 4330k| 12.7 | 31M| 72 | - |1939 | 25k| 0 | 0 | 56k| 449k|9869 | 0.000000e+00 | 2.000000e+00 | Inf 735.41/735.49 c 735s|350000 | 632 | 4461k| 12.7 | 29M| 72 | - |1939 | 22k| 0 | 0 | 58k| 463k|9983 | 0.000000e+00 | 2.000000e+00 | Inf 756.01/756.07 c 756s|360000 | 844 | 4580k| 12.7 | 29M| 72 | 11 |1939 | 19k|1939 |1698 | 60k| 475k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 776.21/776.21 c 776s|370000 | 939 | 4698k| 12.7 | 30M| 72 | - |1939 | 23k|1939 |1698 | 61k| 488k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 796.51/796.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 796.51/796.56 c 797s|380000 | 1073 | 4819k| 12.7 | 32M| 72 | - |1939 | 25k|1939 |1698 | 63k| 501k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 817.31/817.34 o 1 817.31/817.34 c * 817s|389869 | 1145 | 4937k| 12.7 | 33M| 72 | - |1939 | 27k|1939 |1698 | 65k| 514k| 10k| 0.000000e+00 | 1.000000e+00 | Inf 817.61/817.66 c 818s|390000 | 1138 | 4938k| 12.7 | 33M| 72 | - |1939 | 26k| 0 | 0 | 65k| 515k| 10k| 0.000000e+00 | 1.000000e+00 | Inf 838.41/838.49 c 838s|400000 | 1113 | 5059k| 12.6 | 32M| 72 | - |1939 | 23k|1939 |1698 | 67k| 528k| 10k| 0.000000e+00 | 1.000000e+00 | Inf 859.51/859.55 c 860s|410000 | 1096 | 5187k| 12.7 | 33M| 72 | 17 |1939 | 24k|1939 |1698 | 68k| 542k| 10k| 0.000000e+00 | 1.000000e+00 | Inf 882.01/882.04 c 882s|420000 | 1082 | 5324k| 12.7 | 33M| 72 | - |1939 | 26k| 0 | 0 | 69k| 555k| 10k| 0.000000e+00 | 1.000000e+00 | Inf 903.71/903.70 c 904s|430000 | 1119 | 5445k| 12.7 | 34M| 72 | 26 |1939 | 27k|1939 |1698 | 71k| 569k| 10k| 0.000000e+00 | 1.000000e+00 | Inf 925.81/925.81 c 926s|440000 | 1124 | 5569k| 12.7 | 35M| 72 | - |1939 | 30k|1939 |1698 | 72k| 583k| 10k| 0.000000e+00 | 1.000000e+00 | Inf 950.52/950.58 c 951s|450000 | 1215 | 5720k| 12.7 | 36M| 72 | 27 |1939 | 30k|1939 |1698 | 73k| 596k| 11k| 0.000000e+00 | 1.000000e+00 | Inf 976.82/976.87 c 977s|460000 | 1375 | 5885k| 12.8 | 38M| 72 | 16 |1939 | 33k|1939 |1698 | 74k| 610k| 11k| 0.000000e+00 | 1.000000e+00 | Inf 1002.51/1002.57 c 1003s|470000 | 1410 | 6042k| 12.9 | 39M| 72 | - |1939 | 35k| 0 | 0 | 76k| 624k| 11k| 0.000000e+00 | 1.000000e+00 | Inf 1027.62/1027.63 c 1028s|480000 | 1387 | 6188k| 12.9 | 39M| 72 | - |1939 | 34k| 0 | 0 | 77k| 638k| 11k| 0.000000e+00 | 1.000000e+00 | Inf 1054.11/1054.18 c 1054s|490000 | 1311 | 6348k| 13.0 | 38M| 72 | - |1939 | 32k| 0 | 0 | 78k| 652k| 11k| 0.000000e+00 | 1.000000e+00 | Inf 1079.81/1079.83 c 1080s|500000 | 1399 | 6504k| 13.0 | 37M| 72 | 19 |1939 | 29k|1939 |1698 | 80k| 666k| 11k| 0.000000e+00 | 1.000000e+00 | Inf 1104.11/1104.16 c 1104s|510000 | 1694 | 6634k| 13.0 | 41M| 72 | 27 |1939 | 35k|1939 |1698 | 81k| 679k| 11k| 0.000000e+00 | 1.000000e+00 | Inf 1129.02/1129.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1129.02/1129.01 c 1129s|520000 | 1739 | 6759k| 13.0 | 41M| 72 | 23 |1939 | 35k|1939 |1698 | 82k| 694k| 11k| 0.000000e+00 | 1.000000e+00 | Inf 1153.62/1153.61 c 1154s|530000 | 1877 | 6887k| 13.0 | 42M| 72 | 29 |1939 | 36k|1939 |1698 | 83k| 707k| 11k| 0.000000e+00 | 1.000000e+00 | Inf 1177.62/1177.65 c 1178s|540000 | 1900 | 7008k| 13.0 | 43M| 72 | 25 |1939 | 35k|1939 |1698 | 84k| 721k| 11k| 0.000000e+00 | 1.000000e+00 | Inf 1203.22/1203.24 c 1203s|550000 | 1997 | 7150k| 13.0 | 44M| 72 | 16 |1939 | 36k|1939 |1710 | 86k| 735k| 11k| 0.000000e+00 | 1.000000e+00 | Inf 1228.52/1228.50 c 1228s|560000 | 1986 | 7288k| 13.0 | 44M| 72 | - |1939 | 36k|1939 |1712 | 87k| 749k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1253.82/1253.89 c 1254s|570000 | 1960 | 7429k| 13.0 | 43M| 72 | 16 |1939 | 33k|1939 |1698 | 88k| 764k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1276.82/1276.81 c 1277s|580000 | 1972 | 7556k| 13.0 | 44M| 72 | - |1939 | 36k|1939 |1707 | 90k| 778k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1302.82/1302.80 c 1303s|590000 | 1933 | 7693k| 13.0 | 43M| 72 | - |1939 | 33k| 0 | 0 | 91k| 792k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1326.82/1326.80 c 1327s|600000 | 2072 | 7826k| 13.0 | 45M| 72 | 12 |1939 | 38k|1939 |1705 | 92k| 806k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1351.92/1351.94 c 1352s|610000 | 1993 | 7962k| 13.1 | 45M| 72 | 26 |1939 | 38k|1939 |1698 | 94k| 821k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1377.32/1377.33 c 1377s|620000 | 1961 | 8098k| 13.1 | 45M| 72 | 29 |1939 | 37k|1939 |1707 | 95k| 835k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1401.83/1401.86 c 1402s|630000 | 1917 | 8229k| 13.1 | 45M| 72 | 8 |1939 | 39k|1939 |1698 | 96k| 849k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1425.92/1425.92 c 1426s|640000 | 2099 | 8345k| 13.0 | 46M| 72 | - |1939 | 39k| 0 | 0 | 98k| 862k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1451.53/1451.58 c 1452s|650000 | 2099 | 8474k| 13.0 | 46M| 72 | 7 |1939 | 39k|1939 |1698 | 99k| 875k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1476.93/1476.91 c 1477s|660000 | 2020 | 8601k| 13.0 | 46M| 72 | - |1939 | 39k|1939 |1698 | 101k| 889k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1502.53/1502.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1502.53/1502.60 c 1503s|670000 | 1957 | 8731k| 13.0 | 45M| 72 | 20 |1939 | 35k|1939 |1698 | 102k| 903k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1527.33/1527.30 c 1527s|680000 | 1991 | 8873k| 13.0 | 45M| 72 | 21 |1939 | 35k|1939 |1698 | 104k| 916k| 12k| 0.000000e+00 | 1.000000e+00 | Inf 1552.03/1552.04 c 1552s|690000 | 1888 | 9014k| 13.1 | 44M| 72 | 15 |1939 | 33k|1939 |1698 | 105k| 930k| 13k| 0.000000e+00 | 1.000000e+00 | Inf 1576.23/1576.28 c 1576s|700000 | 1869 | 9146k| 13.1 | 44M| 72 | - |1939 | 34k|1939 |1698 | 107k| 944k| 13k| 0.000000e+00 | 1.000000e+00 | Inf 1600.63/1600.61 c 1601s|710000 | 1843 | 9281k| 13.1 | 44M| 72 | - |1939 | 35k| 0 | 0 | 108k| 958k| 13k| 0.000000e+00 | 1.000000e+00 | Inf 1624.43/1624.45 c 1624s|720000 | 1818 | 9410k| 13.1 | 44M| 72 | 21 |1939 | 35k|1939 |1704 | 109k| 972k| 13k| 0.000000e+00 | 1.000000e+00 | Inf 1649.83/1649.81 c 1650s|730000 | 1820 | 9551k| 13.1 | 44M| 72 | - |1939 | 34k|1939 |1698 | 111k| 986k| 13k| 0.000000e+00 | 1.000000e+00 | Inf 1676.63/1676.66 c 1677s|740000 | 1768 | 9719k| 13.1 | 43M| 72 | - |1939 | 32k| 0 | 0 | 113k|1000k| 13k| 0.000000e+00 | 1.000000e+00 | Inf 1701.43/1701.49 c 1701s|750000 | 1874 | 9861k| 13.1 | 45M| 72 | - |1939 | 36k|1939 |1698 | 114k|1013k| 13k| 0.000000e+00 | 1.000000e+00 | Inf 1726.83/1726.90 c 1727s|760000 | 2058 | 10002k| 13.2 | 48M| 72 | 14 |1939 | 41k|1939 |1698 | 116k|1027k| 13k| 0.000000e+00 | 1.000000e+00 | Inf 1752.63/1752.64 c 1753s|770000 | 1965 | 10137k| 13.2 | 47M| 72 | 28 |1939 | 40k|1939 |1707 | 118k|1042k| 13k| 0.000000e+00 | 1.000000e+00 | Inf 1779.03/1779.02 c 1779s|780000 | 1969 | 10290k| 13.2 | 47M| 72 | - |1939 | 40k|1939 |1715 | 120k|1056k| 13k| 0.000000e+00 | 1.000000e+00 | Inf 1790.03/1790.00 c 1790.03/1790.00 c SCIP Status : solving was interrupted [time limit reached] 1790.03/1790.00 c Solving Time (sec) : 1789.98 1790.03/1790.00 c Solving Nodes : 784218 1790.03/1790.00 c Primal Bound : +1.00000000000000e+00 (85 solutions) 1790.03/1790.00 c Dual Bound : +0.00000000000000e+00 1790.03/1790.00 c Gap : infinite 1790.03/1790.01 s SATISFIABLE 1790.03/1790.01 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1790.03/1790.01 v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 1790.03/1790.01 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 1790.03/1790.01 v -x167 -x166 -x165 -x164 x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 1790.03/1790.01 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 1790.03/1790.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 1790.03/1790.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 1790.03/1790.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 1790.03/1790.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 1790.03/1790.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 1790.03/1790.01 v -x1 1790.03/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1790.03/1790.01 c Solving Time : 1789.98 1790.03/1790.01 c Original Problem : 1790.03/1790.01 c Problem name : HOME/instance-2705019-1278574752.wbo 1790.03/1790.01 c Variables : 2043 (1137 binary, 0 integer, 906 implicit integer, 0 continuous) 1790.03/1790.01 c Constraints : 3614 initial, 3614 maximal 1790.03/1790.01 c Presolved Problem : 1790.03/1790.01 c Problem name : t_HOME/instance-2705019-1278574752.wbo 1790.03/1790.01 c Variables : 1939 (1085 binary, 0 integer, 854 implicit integer, 0 continuous) 1790.03/1790.01 c Constraints : 3381 initial, 42860 maximal 1790.03/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.03/1790.01 c trivial : 0.00 52 0 0 0 0 0 0 0 1790.03/1790.01 c dualfix : 0.00 52 0 0 0 0 0 0 0 1790.03/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0 1790.03/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.01 c setppc : 0.00 0 0 0 0 0 68 0 0 1790.03/1790.01 c linear : 0.04 0 0 0 906 0 113 52 0 1790.03/1790.01 c indicator : 0.00 0 0 0 0 0 52 0 0 1790.03/1790.01 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.03/1790.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.03/1790.01 c root node : - 1708 - - 1708 - - - - 1790.03/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.03/1790.01 c integral : 0 0 0 441019 0 448 5088 0 0 826642 1790.03/1790.01 c knapsack : 1 6 3319590 23121 2 42227 7385160 0 0 0 1790.03/1790.01 c setppc : 51 6 3281370 23012 2 54199 2750847 0 0 0 1790.03/1790.01 c linear : 854+ 7 3227840 23146 2 54374 4095295 121543 0 0 1790.03/1790.01 c indicator : 854 0 1557091 13546 0 154 337785 0 0 0 1790.03/1790.01 c logicor : 1621+ 6 1736637 2065 2 91008 6154286 0 0 0 1790.03/1790.01 c bounddisjunction : 0+ 0 258481 0 0 331 1093 0 0 0 1790.03/1790.01 c countsols : 0 0 0 2065 1 0 0 0 0 0 1790.03/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.03/1790.01 c integral : 36.11 0.00 0.00 36.11 0.00 1790.03/1790.01 c knapsack : 29.38 0.00 29.37 0.01 0.00 1790.03/1790.01 c setppc : 18.21 0.00 18.19 0.02 0.00 1790.03/1790.01 c linear : 44.22 0.00 43.58 0.64 0.00 1790.03/1790.01 c indicator : 2.33 0.01 2.12 0.20 0.00 1790.03/1790.01 c logicor : 244.44 0.00 244.42 0.02 0.00 1790.03/1790.01 c bounddisjunction : 0.40 0.00 0.40 0.00 0.00 1790.03/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.03/1790.01 c Propagators : Time Calls Cutoffs DomReds 1790.03/1790.01 c vbounds : 0.52 4263 0 170 1790.03/1790.01 c rootredcost : 0.50 31 0 854 1790.03/1790.01 c pseudoobj : 40.56 3325268 1044 352437 1790.03/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.03/1790.01 c propagation : 8.57 243183 242528 1403964 25.9 7458 23.3 - 1790.03/1790.01 c infeasible LP : 28.76 168243 168234 1249105 46.7 1329 16.2 0 1790.03/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.03/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.03/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.03/1790.01 c applied globally : - - - 1062210 30.6 - - - 1790.03/1790.01 c applied locally : - - - 0 0.0 - - - 1790.03/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.03/1790.01 c cut pool : 0.00 5 - - 76 - (maximal pool size: 438) 1790.03/1790.01 c redcost : 14.12 441393 0 9768 0 0 1790.03/1790.01 c impliedbounds : 0.00 6 0 0 0 0 1790.03/1790.01 c intobj : 0.00 0 0 0 0 0 1790.03/1790.01 c cgmip : 0.00 0 0 0 0 0 1790.03/1790.01 c gomory : 0.11 6 0 0 1870 0 1790.03/1790.01 c strongcg : 0.10 6 0 0 2313 0 1790.03/1790.01 c cmir : 0.01 6 0 0 0 0 1790.03/1790.01 c flowcover : 0.03 6 0 0 0 0 1790.03/1790.01 c clique : 0.00 6 0 0 0 0 1790.03/1790.01 c zerohalf : 0.00 0 0 0 0 0 1790.03/1790.01 c mcf : 0.00 1 0 0 0 0 1790.03/1790.01 c rapidlearning : 0.07 1 0 0 0 6 1790.03/1790.01 c Pricers : Time Calls Vars 1790.03/1790.01 c problem variables: 0.00 0 0 1790.03/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.03/1790.01 c relpscost : 35.79 417842 448 5088 0 0 826642 1790.03/1790.01 c pscost : 0.00 0 0 0 0 0 0 1790.03/1790.01 c inference : 0.30 2036 0 0 0 0 4078 1790.03/1790.01 c mostinf : 0.00 0 0 0 0 0 0 1790.03/1790.01 c leastinf : 0.00 0 0 0 0 0 0 1790.03/1790.01 c fullstrong : 0.00 0 0 0 0 0 0 1790.03/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0 1790.03/1790.01 c random : 0.00 0 0 0 0 0 0 1790.03/1790.01 c Primal Heuristics : Time Calls Found 1790.03/1790.01 c LP solutions : 0.01 - 30 1790.03/1790.01 c pseudo solutions : 0.00 - 0 1790.03/1790.01 c feaspump : 0.03 1 0 1790.03/1790.01 c oneopt : 0.27 29 0 1790.03/1790.01 c crossover : 0.64 17 0 1790.03/1790.01 c pscostdiving : 0.34 119 0 1790.03/1790.01 c fracdiving : 0.36 119 0 1790.03/1790.01 c veclendiving : 0.35 119 0 1790.03/1790.01 c linesearchdiving : 0.33 119 0 1790.03/1790.01 c guideddiving : 0.38 119 0 1790.03/1790.01 c objpscostdiving : 0.22 60 0 1790.03/1790.01 c rootsoldiving : 0.43 60 0 1790.03/1790.01 c coefdiving : 0.38 120 0 1790.03/1790.01 c trivial : 0.00 2 0 1790.03/1790.01 c simplerounding : 0.51 417838 0 1790.03/1790.01 c zirounding : 0.21 1000 0 1790.03/1790.01 c rounding : 0.77 9102 0 1790.03/1790.01 c shifting : 0.75 2854 0 1790.03/1790.01 c intshifting : 0.02 0 0 1790.03/1790.01 c twoopt : 0.00 0 0 1790.03/1790.01 c fixandinfer : 0.00 0 0 1790.03/1790.01 c intdiving : 0.00 0 0 1790.03/1790.01 c actconsdiving : 0.00 0 0 1790.03/1790.01 c octane : 0.00 0 0 1790.03/1790.01 c rens : 0.02 1 0 1790.03/1790.01 c rins : 0.00 0 0 1790.03/1790.01 c localbranching : 0.00 0 0 1790.03/1790.01 c mutation : 0.00 0 0 1790.03/1790.01 c dins : 0.00 0 0 1790.03/1790.01 c undercover : 0.00 0 0 1790.03/1790.01 c nlp : 0.11 0 0 1790.03/1790.01 c trysol : 0.21 75 55 1790.03/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec 1790.03/1790.01 c primal LP : 0.00 0 0 0.00 - 1790.03/1790.01 c dual LP : 952.80 604176 10338921 17.11 10851.06 1790.03/1790.01 c lex dual LP : 0.00 0 0 0.00 - 1790.03/1790.01 c barrier LP : 0.00 0 0 0.00 - 1790.03/1790.01 c diving/probing LP: 1.72 1155 11168 9.67 6476.85 1790.03/1790.01 c strong branching : 31.98 13785 341863 24.80 10688.54 1790.03/1790.01 c (at root node) : - 11 1418 128.91 - 1790.03/1790.01 c conflict analysis: 0.00 0 0 0.00 - 1790.03/1790.01 c B&B Tree : 1790.03/1790.01 c number of runs : 1 1790.03/1790.01 c nodes : 784218 1790.03/1790.01 c nodes (total) : 784218 1790.03/1790.01 c nodes left : 1909 1790.03/1790.01 c max depth : 72 1790.03/1790.01 c max depth (total): 72 1790.03/1790.01 c backtracks : 116658 (14.9%) 1790.03/1790.01 c delayed cutoffs : 43367 1790.03/1790.01 c repropagations : 1208176 (3814340 domain reductions, 41954 cutoffs) 1790.03/1790.01 c avg switch length: 4.74 1790.03/1790.01 c switching time : 211.11 1790.03/1790.01 c Solution : 1790.03/1790.01 c Solutions found : 85 (31 improvements) 1790.03/1790.01 c First Solution : +4.21020000000000e+04 (in run 1, after 18 nodes, 1.11 seconds, depth 18, found by <trysol>) 1790.03/1790.01 c Primal Bound : +1.00000000000000e+00 (in run 1, after 389869 nodes, 817.32 seconds, depth 15, found by <relaxation>) 1790.03/1790.01 c Dual Bound : +0.00000000000000e+00 1790.03/1790.01 c Gap : infinite 1790.03/1790.01 c Root Dual Bound : +0.00000000000000e+00 1790.03/1790.01 c Root Iterations : 149 1790.03/1790.08 c Time complete: 1790.12.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705019-1278574752/watcher-2705019-1278574752 -o /tmp/evaluation-result-2705019-1278574752/solver-2705019-1278574752 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705019-1278574752.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.84 1.97 1.68 4/178 23381 /proc/meminfo: memFree=29633060/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=12552 CPUtime=0 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 1981 0 0 0 0 0 0 0 24 0 1 0 25688738 12853248 1899 4089446400 4194304 10345943 140733289541088 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/23381/statm: 3138 1899 429 1502 0 1631 0 [startup+0.036877 s] /proc/loadavg: 1.84 1.97 1.68 4/178 23381 /proc/meminfo: memFree=29633060/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=25112 CPUtime=0.02 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 5306 0 0 0 2 0 0 0 24 0 1 0 25688738 25714688 4870 4089446400 4194304 10345943 140733289541088 18446744073709551615 4871407 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 6278 4870 509 1502 0 4771 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 25112 [startup+0.100866 s] /proc/loadavg: 1.84 1.97 1.68 4/178 23381 /proc/meminfo: memFree=29633060/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=27564 CPUtime=0.09 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 5975 0 0 0 9 0 0 0 24 0 1 0 25688738 28225536 5539 4089446400 4194304 10345943 140733289541088 18446744073709551615 5085997 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 6891 5539 570 1502 0 5384 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27564 [startup+0.300831 s] /proc/loadavg: 1.84 1.97 1.68 4/178 23381 /proc/meminfo: memFree=29633060/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=51856 CPUtime=0.29 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 11783 0 0 0 27 2 0 0 25 0 1 0 25688738 53100544 11346 4089446400 4194304 10345943 140733289541088 18446744073709551615 5931086 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 12964 11346 762 1502 0 11457 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 51856 [startup+0.700759 s] /proc/loadavg: 1.84 1.97 1.68 4/178 23381 /proc/meminfo: memFree=29633060/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=53276 CPUtime=0.69 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 12435 0 0 0 67 2 0 0 25 0 1 0 25688738 54554624 11998 4089446400 4194304 10345943 140733289541088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 13319 11998 778 1502 0 11812 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 53276 [startup+1.50062 s] /proc/loadavg: 1.84 1.97 1.68 3/179 23382 /proc/meminfo: memFree=29587172/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=53276 CPUtime=1.49 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 12493 0 0 0 146 3 0 0 25 0 1 0 25688738 54554624 12056 4089446400 4194304 10345943 140733289541088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 13319 12056 781 1502 0 11812 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 53276 [startup+3.10033 s] /proc/loadavg: 1.85 1.97 1.68 4/179 23382 /proc/meminfo: memFree=29584644/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=53276 CPUtime=3.08 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 12522 0 0 0 305 3 0 0 25 0 1 0 25688738 54554624 12085 4089446400 4194304 10345943 140733289541088 18446744073709551615 6785523 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 13319 12085 784 1502 0 11812 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 53276 [startup+6.30076 s] /proc/loadavg: 1.85 1.97 1.68 3/179 23382 /proc/meminfo: memFree=29579788/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=57832 CPUtime=6.29 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 17094 0 0 0 624 5 0 0 25 0 1 0 25688738 59219968 13349 4089446400 4194304 10345943 140733289541088 18446744073709551615 7569520 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 14458 13349 789 1502 0 12951 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 57832 [startup+12.7006 s] /proc/loadavg: 1.87 1.97 1.68 3/179 23382 /proc/meminfo: memFree=29564284/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=60288 CPUtime=12.68 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 18166 0 0 0 1261 7 0 0 25 0 1 0 25688738 61734912 13658 4089446400 4194304 10345943 140733289541088 18446744073709551615 6757651 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 15072 13658 801 1502 0 13565 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 60288 [startup+25.5003 s] /proc/loadavg: 1.89 1.97 1.68 3/179 23382 /proc/meminfo: memFree=29541340/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=66972 CPUtime=25.49 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 44275 0 0 0 2532 17 0 0 25 0 1 0 25688738 68579328 15220 4089446400 4194304 10345943 140733289541088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 16743 15220 801 1502 0 15236 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 66972 [startup+51.1008 s] /proc/loadavg: 1.93 1.97 1.69 3/179 23383 /proc/meminfo: memFree=29496048/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=69028 CPUtime=51.09 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 71867 0 0 0 5076 33 0 0 25 0 1 0 25688738 70684672 15826 4089446400 4194304 10345943 140733289541088 18446744073709551615 7588155 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 17257 15826 801 1502 0 15750 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 69028 [startup+102.307 s] /proc/loadavg: 1.97 1.97 1.71 3/179 23384 /proc/meminfo: memFree=29471936/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=76352 CPUtime=102.29 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 111281 0 0 0 10168 61 0 0 25 0 1 0 25688738 78184448 17632 4089446400 4194304 10345943 140733289541088 18446744073709551615 6864737 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 19088 17632 802 1502 0 17581 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 76352 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.72 3/179 23386 /proc/meminfo: memFree=29465676/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=78188 CPUtime=162.29 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 154047 0 0 0 16140 89 0 0 25 0 1 0 25688738 80064512 18042 4089446400 4194304 10345943 140733289541088 18446744073709551615 6777176 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 19547 18042 802 1502 0 18040 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 78188 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.74 3/179 23388 /proc/meminfo: memFree=29457204/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=84452 CPUtime=222.3 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 175504 0 0 0 22111 119 0 0 25 0 1 0 25688738 86478848 19074 4089446400 4194304 10345943 140733289541088 18446744073709551615 6519530 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 21113 19074 802 1502 0 19606 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 84452 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.75 3/179 23389 /proc/meminfo: memFree=29452936/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=87444 CPUtime=282.29 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 182358 0 0 0 28084 145 0 0 25 0 1 0 25688738 89542656 19733 4089446400 4194304 10345943 140733289541088 18446744073709551615 5089580 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 21861 19733 802 1502 0 20354 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 87444 [startup+342.301 s] /proc/loadavg: 1.99 1.97 1.76 3/179 23391 /proc/meminfo: memFree=29451544/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=86368 CPUtime=342.3 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 188613 0 0 0 34060 170 0 0 25 0 1 0 25688738 88440832 19812 4089446400 4194304 10345943 140733289541088 18446744073709551615 7569467 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 21592 19812 802 1502 0 20085 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 86368 [startup+402.301 s] /proc/loadavg: 1.99 1.97 1.77 3/179 23392 /proc/meminfo: memFree=29448908/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=87504 CPUtime=402.3 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 201690 0 0 0 40034 196 0 0 25 0 1 0 25688738 89604096 20064 4089446400 4194304 10345943 140733289541088 18446744073709551615 6526182 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 21876 20064 802 1502 0 20369 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 87504 [startup+462.3 s] /proc/loadavg: 2.03 1.99 1.79 4/179 23394 /proc/meminfo: memFree=29446140/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=89412 CPUtime=462.3 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 210830 0 0 0 46007 223 0 0 25 0 1 0 25688738 91557888 20534 4089446400 4194304 10345943 140733289541088 18446744073709551615 5027259 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 22353 20534 802 1502 0 20846 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 89412 [startup+522.301 s] /proc/loadavg: 2.01 1.99 1.80 4/179 23396 /proc/meminfo: memFree=29444476/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=91556 CPUtime=522.3 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 232009 0 0 0 51975 255 0 0 25 0 1 0 25688738 93753344 20663 4089446400 4194304 10345943 140733289541088 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 22889 20663 802 1502 0 21382 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 91556 [startup+582.301 s] /proc/loadavg: 2.00 1.99 1.81 3/179 23397 /proc/meminfo: memFree=29443808/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=91588 CPUtime=582.31 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 241825 0 0 0 57951 280 0 0 25 0 1 0 25688738 93786112 20702 4089446400 4194304 10345943 140733289541088 18446744073709551615 6702733 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 22897 20702 802 1502 0 21390 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 91588 [startup+642.3 s] /proc/loadavg: 2.00 1.99 1.82 3/179 23399 /proc/meminfo: memFree=29442896/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=91752 CPUtime=642.31 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 255530 0 0 0 63924 307 0 0 25 0 1 0 25688738 93954048 20740 4089446400 4194304 10345943 140733289541088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 22938 20740 802 1502 0 21431 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 91752 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29425456/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=97052 CPUtime=1062.32 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 301119 0 0 0 105752 480 0 0 25 0 1 0 25688738 99381248 22458 4089446400 4194304 10345943 140733289541088 18446744073709551615 6022400 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 24263 22458 802 1502 0 22756 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 97052 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.87 3/179 23412 /proc/meminfo: memFree=29423444/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=97904 CPUtime=1122.32 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 308220 0 0 0 111726 506 0 0 25 0 1 0 25688738 100253696 22674 4089446400 4194304 10345943 140733289541088 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 24476 22674 804 1502 0 22969 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 97904 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 23413 /proc/meminfo: memFree=29418052/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=101460 CPUtime=1182.32 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 309890 0 0 0 117707 525 0 0 25 0 1 0 25688738 103895040 23277 4089446400 4194304 10345943 140733289541088 18446744073709551615 6307378 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 25365 23277 804 1502 0 23858 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 101460 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 23415 /proc/meminfo: memFree=29414036/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=103232 CPUtime=1242.32 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 312126 0 0 0 123682 550 0 0 25 0 1 0 25688738 105709568 23713 4089446400 4194304 10345943 140733289541088 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 25808 23713 804 1502 0 24301 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 103232 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.89 4/179 23416 /proc/meminfo: memFree=29413384/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=103076 CPUtime=1302.33 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 314753 0 0 0 129662 571 0 0 25 0 1 0 25688738 105549824 23703 4089446400 4194304 10345943 140733289541088 18446744073709551615 6120562 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23381/statm: 25769 23703 804 1502 0 24262 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 103076 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.90 4/179 23427 /proc/meminfo: memFree=29411184/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=104764 CPUtime=1362.33 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 321755 0 0 0 135641 592 0 0 25 0 1 0 25688738 107278336 23965 4089446400 4194304 10345943 140733289541088 18446744073709551615 4714753 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 26191 23965 804 1502 0 24684 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 104764 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.90 3/179 23429 /proc/meminfo: memFree=29408864/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=106096 CPUtime=1422.33 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 324721 0 0 0 141618 615 0 0 25 0 1 0 25688738 108642304 24451 4089446400 4194304 10345943 140733289541088 18446744073709551615 7794300 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 26524 24451 804 1502 0 25017 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 106096 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23430 /proc/meminfo: memFree=29407708/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=106896 CPUtime=1482.33 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 326914 0 0 0 147597 636 0 0 25 0 1 0 25688738 109461504 24602 4089446400 4194304 10345943 140733289541088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 26724 24602 804 1502 0 25217 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 106896 [startup+1542.3 s] /proc/loadavg: 2.06 2.01 1.91 4/179 23432 /proc/meminfo: memFree=29407288/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=106004 CPUtime=1542.32 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 330989 0 0 0 153573 659 0 0 25 0 1 0 25688738 108548096 24694 4089446400 4194304 10345943 140733289541088 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 26501 24694 804 1502 0 24994 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 106004 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 1.91 3/179 23433 /proc/meminfo: memFree=29406576/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=108472 CPUtime=1602.33 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 334160 0 0 0 159550 683 0 0 25 0 1 0 25688738 111075328 24863 4089446400 4194304 10345943 140733289541088 18446744073709551615 7546931 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 27118 24863 804 1502 0 25611 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 108472 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23435 /proc/meminfo: memFree=29406528/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=109028 CPUtime=1662.33 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 337205 0 0 0 165527 706 0 0 25 0 1 0 25688738 111644672 24908 4089446400 4194304 10345943 140733289541088 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 27257 24908 804 1502 0 25750 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 109028 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23437 /proc/meminfo: memFree=29406328/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=108884 CPUtime=1722.34 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 340542 0 0 0 171502 732 0 0 25 0 1 0 25688738 111497216 24920 4089446400 4194304 10345943 140733289541088 18446744073709551615 4995703 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 27221 24920 804 1502 0 25714 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 108884 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 4/179 23438 /proc/meminfo: memFree=29404172/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=110752 CPUtime=1782.34 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 342056 0 0 0 177479 755 0 0 25 0 1 0 25688738 113410048 25249 4089446400 4194304 10345943 140733289541088 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 27688 25249 804 1502 0 26181 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 110752 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23439 /proc/meminfo: memFree=29404168/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=110752 CPUtime=1785.54 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 342057 0 0 0 177798 756 0 0 25 0 1 0 25688738 113410048 25250 4089446400 4194304 10345943 140733289541088 18446744073709551615 7570056 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 27688 25250 804 1502 0 26181 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 110752 [startup+1787.1 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23439 /proc/meminfo: memFree=29404168/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=110752 CPUtime=1787.14 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 342057 0 0 0 177958 756 0 0 25 0 1 0 25688738 113410048 25250 4089446400 4194304 10345943 140733289541088 18446744073709551615 6929859 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 27688 25250 804 1502 0 26181 0 Current children cumulated CPU time (s) 1787.14 Current children cumulated vsize (KiB) 110752 [startup+1788.7 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23466 /proc/meminfo: memFree=29511608/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=110752 CPUtime=1788.73 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 342068 0 0 0 178117 756 0 0 25 0 1 0 25688738 113410048 25261 4089446400 4194304 10345943 140733289541088 18446744073709551615 7569440 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 27688 25261 804 1502 0 26181 0 Current children cumulated CPU time (s) 1788.73 Current children cumulated vsize (KiB) 110752 [startup+1789.5 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23466 /proc/meminfo: memFree=29511608/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=110752 CPUtime=1789.53 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 342068 0 0 0 178197 756 0 0 25 0 1 0 25688738 113410048 25261 4089446400 4194304 10345943 140733289541088 18446744073709551615 4471493 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 27688 25261 804 1502 0 26181 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (KiB) 110752 [startup+1789.9 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23466 /proc/meminfo: memFree=29495908/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=110752 CPUtime=1789.93 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 342068 0 0 0 178237 756 0 0 25 0 1 0 25688738 113410048 25261 4089446400 4194304 10345943 140733289541088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 27688 25261 804 1502 0 26181 0 Current children cumulated CPU time (s) 1789.93 Current children cumulated vsize (KiB) 110752 [startup+1790 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23466 /proc/meminfo: memFree=29495908/32950928 swapFree=67111528/67111528 [pid=23381] ppid=23379 vsize=110752 CPUtime=1790.03 /proc/23381/stat : 23381 (pbscip.linux.x8) R 23379 23381 23101 0 -1 4202496 342068 0 0 0 178247 756 0 0 25 0 1 0 25688738 113410048 25261 4089446400 4194304 10345943 140733289541088 18446744073709551615 4245895 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23381/statm: 27688 25261 804 1502 0 26181 0 Current children cumulated CPU time (s) 1790.03 Current children cumulated vsize (KiB) 110752 Child status: 0 Real time (s): 1790.08 CPU time (s): 1790.12 CPU user time (s): 1782.55 CPU system time (s): 7.57385 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 110760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.55 system time used= 7.57385 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 342185 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= 1477 runsolver used 3.34649 second user time and 5.94909 second system time The end
Begin job on node122 at 2010-07-08 09:39:12 IDJOB=2705019 IDBENCH=78997 IDSOLVER=1214 FILE ID=node122/2705019-1278574752 PBS_JOBID= 11240210 Free space on /tmp= 73396 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132--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-2705019-1278574752/watcher-2705019-1278574752 -o /tmp/evaluation-result-2705019-1278574752/solver-2705019-1278574752 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705019-1278574752.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f1c7b8b76066043f2c00dac441c2cac6 RANDOM SEED=1608957129 node122.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.839 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.67 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.839 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 : 5226.16 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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.81 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.839 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.76 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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.839 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: 32950928 kB MemFree: 29633588 kB Buffers: 160384 kB Cached: 2885772 kB SwapCached: 0 kB Active: 1168964 kB Inactive: 1981212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29633588 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 25816 kB Writeback: 0 kB AnonPages: 104028 kB Mapped: 17816 kB Slab: 103456 kB PageTables: 4764 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 250852 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= 73384 MiB End job on node122 at 2010-07-08 10:09:02