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.16 | 1790.1 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo |
MD5SUM | 8222df718f0c39737e94bfab6b6fa003 |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 29.2616 |
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 | 927 |
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 | 45360 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45359 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 719 |
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-2705676-1278574750.wbo> 0.00/0.02 c original problem has 2085 variables (1158 bin, 0 int, 927 impl, 0 cont) and 3635 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.03 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, 214 impls, 14 clqs 0.05/0.07 c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs 0.05/0.07 c (round 3) 54 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs 0.05/0.08 c (round 4) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 214 impls, 14 clqs 0.05/0.09 c (round 5) 112 del vars, 219 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 214 impls, 14 clqs 0.09/0.13 c (0.1s) probing: 101/1102 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.13 c presolving (6 rounds): 0.09/0.13 c 112 deleted vars, 219 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients 0.09/0.13 c 1948 implications, 14 cliques 0.09/0.13 c presolved problem has 1973 variables (1102 bin, 0 int, 871 impl, 0 cont) and 3416 constraints 0.09/0.13 c 1 constraints of type <knapsack> 0.09/0.13 c 72 constraints of type <setppc> 0.09/0.13 c 871 constraints of type <linear> 0.09/0.13 c 871 constraints of type <indicator> 0.09/0.13 c 1601 constraints of type <logicor> 0.09/0.13 c transformed objective value is always integral (scale: 1) 0.09/0.13 c Presolving Time: 0.10 0.09/0.13 c - non default parameters ---------------------------------------------------------------------- 0.09/0.13 c # SCIP version 1.2.1.3 0.09/0.13 c 0.09/0.13 c # frequency for displaying node information lines 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.13 c display/freq = 10000 0.09/0.13 c 0.09/0.13 c # maximal time in seconds to run 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/time = 1789.98 0.09/0.13 c 0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/memory = 3420 0.09/0.13 c 0.09/0.13 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.13 c # [type: int, range: [1,2], default: 1] 0.09/0.13 c timing/clocktype = 2 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify inequalities 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/linear/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/indicator/addCouplingCons = TRUE 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify knapsacks 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c separating/rapidlearning/freq = 0 0.09/0.13 c 0.09/0.13 c ----------------------------------------------------------------------------------------------- 0.09/0.13 c start solving 0.09/0.13 c 0.09/0.14 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.14 c 0.1s| 1 | 0 | 32 | - |8991k| 0 | 23 |1973 |3416 |1973 |1674 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.25 c 0.2s| 1 | 0 | 176 | - |9122k| 0 | 70 |1973 |3416 |1973 |1689 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.38 c 0.4s| 1 | 0 | 337 | - |9928k| 0 | 99 |1973 |3416 |1973 |1707 | 33 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.60 c 0.6s| 1 | 0 | 912 | - | 10M| 0 | 59 |1973 |3416 |1973 |1719 | 45 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.73 c 0.7s| 1 | 0 | 1298 | - | 11M| 0 | 82 |1973 |3416 |1973 |1730 | 56 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.84 c 0.8s| 1 | 0 | 1569 | - | 11M| 0 | 88 |1973 |3416 |1973 |1738 | 64 | 0 | 0 | 0.000000e+00 | -- | Inf 0.99/1.08 c 1.1s| 1 | 0 | 2263 | - | 12M| 0 | 79 |1973 |3416 |1973 |1743 | 69 | 0 | 0 | 0.000000e+00 | -- | Inf 2.19/2.25 c 2.2s| 1 | 2 | 2263 | - | 12M| 0 | 79 |1973 |3416 |1973 |1743 | 69 | 0 | 15 | 0.000000e+00 | -- | Inf 6.50/6.51 o 42962 6.50/6.51 c y 6.5s| 19 | 18 | 3619 | 75.3 | 12M| 17 | - |1973 |3416 | 0 | 0 | 75 | 0 | 197 | 0.000000e+00 | 4.296200e+04 | Inf 11.29/11.32 o 583 11.29/11.32 c *11.3s| 148 | 120 | 6997 | 32.2 | 12M| 29 | - |1973 |3430 |1973 |1729 | 128 | 14 | 610 | 0.000000e+00 | 5.830000e+02 | Inf 11.29/11.38 o 578 11.29/11.38 c *11.4s| 164 | 131 | 7123 | 29.8 | 13M| 29 | - |1973 |3436 |1973 |1729 | 130 | 20 | 618 | 0.000000e+00 | 5.780000e+02 | Inf 11.39/11.45 o 398 11.39/11.45 c *11.4s| 202 | 111 | 7266 | 24.9 | 13M| 33 | - |1973 |3483 |1973 |1737 | 163 | 67 | 624 | 0.000000e+00 | 3.980000e+02 | Inf 11.39/11.47 o 395 11.39/11.47 c *11.4s| 209 | 112 | 7289 | 24.2 | 13M| 33 | - |1973 |3492 |1973 |1729 | 163 | 76 | 624 | 0.000000e+00 | 3.950000e+02 | Inf 13.09/13.12 o 389 13.09/13.12 c *13.1s| 373 | 172 | 9894 | 20.5 | 14M| 35 | - |1973 |3653 |1973 |1734 | 216 | 237 | 751 | 0.000000e+00 | 3.890000e+02 | Inf 13.49/13.57 o 366 13.49/13.57 c *13.6s| 552 | 285 | 10815 | 15.5 | 14M| 44 | - |1973 |3749 |1973 |1740 | 269 | 337 | 787 | 0.000000e+00 | 3.660000e+02 | Inf 13.49/13.58 o 273 13.49/13.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 13.49/13.58 c *13.6s| 553 | 224 | 10815 | 15.5 | 14M| 44 | - |1973 |3749 |1973 |1740 | 269 | 337 | 787 | 0.000000e+00 | 2.730000e+02 | Inf 13.59/13.62 o 271 13.59/13.62 c *13.6s| 580 | 241 | 10851 | 14.8 | 14M| 44 | - |1973 |3768 |1973 |1737 | 270 | 356 | 787 | 0.000000e+00 | 2.710000e+02 | Inf 13.59/13.63 o 228 13.59/13.63 c *13.6s| 581 | 213 | 10851 | 14.8 | 14M| 44 | - |1973 |3768 |1973 |1737 | 270 | 356 | 787 | 0.000000e+00 | 2.280000e+02 | Inf 13.59/13.64 o 182 13.59/13.64 c *13.6s| 584 | 188 | 10887 | 14.8 | 14M| 44 | - |1973 |3770 |1973 |1735 | 271 | 358 | 787 | 0.000000e+00 | 1.820000e+02 | Inf 14.69/14.78 o 157 14.69/14.78 c *14.8s| 1071 | 251 | 14649 | 11.6 | 15M| 44 | - |1973 |4146 |1973 |1729 | 373 | 837 | 852 | 0.000000e+00 | 1.570000e+02 | Inf 14.79/14.87 o 137 14.79/14.87 c *14.8s| 1122 | 256 | 14896 | 11.3 | 15M| 44 | - |1973 |4183 |1973 |1734 | 373 | 879 | 854 | 0.000000e+00 | 1.370000e+02 | Inf 19.19/19.28 o 128 19.19/19.28 c *19.3s| 2910 | 534 | 36357 | 11.7 | 18M| 49 | - |1973 |4966 |1973 |1733 | 643 |2698 | 934 | 0.000000e+00 | 1.280000e+02 | Inf 19.39/19.49 o 116 19.39/19.49 c *19.5s| 3022 | 538 | 37220 | 11.6 | 18M| 49 | - |1973 |5047 |1973 |1736 | 654 |2816 | 934 | 0.000000e+00 | 1.160000e+02 | Inf 34.49/34.52 c 34.5s| 10000 | 1257 |108473 | 10.6 | 27M| 61 | 13 |1973 |5883 |1973 |1729 |1788 |9945 |1078 | 0.000000e+00 | 1.160000e+02 | Inf 34.79/34.81 o 100 34.79/34.81 c R34.8s| 10190 | 1260 |109203 | 10.5 | 27M| 61 | - |1973 |5973 |1973 |1729 |1804 | 10k|1079 | 0.000000e+00 | 1.000000e+02 | Inf 52.39/52.41 c 52.4s| 20000 | 1828 |161175 | 7.9 | 35M| 62 | 0 |1973 |6646 |1973 |1741 |3448 | 20k|1165 | 0.000000e+00 | 1.000000e+02 | Inf 57.69/57.74 o 68 57.69/57.74 c *57.7s| 22496 | 1860 |178550 | 7.8 | 36M| 73 | - |1973 |6578 |1973 |1742 |3974 | 23k|1234 | 0.000000e+00 | 6.800000e+01 | Inf 74.49/74.50 c 74.5s| 30000 | 1968 |253778 | 8.4 | 39M| 73 | 1 |1973 |6762 |1973 |1729 |5299 | 32k|1325 | 0.000000e+00 | 6.800000e+01 | Inf 92.89/92.99 c 93.0s| 40000 | 2110 |317700 | 7.9 | 43M| 73 | - |1973 |9824 | 0 | 0 |6970 | 44k|1325 | 0.000000e+00 | 6.800000e+01 | Inf 111.49/111.50 c 111s| 50000 | 2374 |378018 | 7.5 | 47M| 73 | - |1973 | 10k| 0 | 0 |8452 | 57k|1325 | 0.000000e+00 | 6.800000e+01 | Inf 124.69/124.70 o 63 124.69/124.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 124.69/124.70 c * 125s| 56539 | 2371 |424772 | 7.5 | 47M| 73 | - |1973 |9435 |1973 |1748 |9288 | 65k|1325 | 0.000000e+00 | 6.300000e+01 | Inf 131.69/131.80 c 132s| 60000 | 2427 |452712 | 7.5 | 48M| 73 | - |1973 |8545 |1973 |1741 |9721 | 70k|1325 | 0.000000e+00 | 6.300000e+01 | Inf 133.39/133.40 o 55 133.39/133.40 c * 133s| 60808 | 2322 |459202 | 7.5 | 46M| 73 | - |1973 |8566 |1973 |1729 |9810 | 71k|1325 | 0.000000e+00 | 5.500000e+01 | Inf 134.99/135.04 o 47 134.99/135.04 c * 135s| 61559 | 2278 |466292 | 7.5 | 45M| 73 | - |1973 |8288 |1973 |1739 |9930 | 71k|1340 | 0.000000e+00 | 4.700000e+01 | Inf 153.20/153.25 c 153s| 70000 | 2343 |551571 | 7.8 | 47M| 73 | 23 |1973 |9863 |1973 |1735 | 10k| 82k|1487 | 0.000000e+00 | 4.700000e+01 | Inf 178.20/178.24 c 178s| 80000 | 2404 |677390 | 8.4 | 48M| 73 | - |1973 |8551 | 0 | 0 | 11k| 95k|1737 | 0.000000e+00 | 4.700000e+01 | Inf 202.00/202.06 c 202s| 90000 | 2247 |795397 | 8.8 | 49M| 73 | 18 |1973 |9894 |1973 |1729 | 12k| 108k|1940 | 0.000000e+00 | 4.700000e+01 | Inf 226.09/226.18 c 226s|100000 | 2160 |916203 | 9.1 | 50M| 73 | - |1973 | 10k| 0 | 0 | 13k| 120k|2119 | 0.000000e+00 | 4.700000e+01 | Inf 239.59/239.66 o 41 239.59/239.66 c * 240s|106367 | 2225 |974167 | 9.1 | 50M| 73 | - |1973 | 11k|1973 |1733 | 14k| 128k|2210 | 0.000000e+00 | 4.100000e+01 | Inf 245.49/245.52 o 29 245.49/245.52 c * 245s|109094 | 1853 |998516 | 9.1 | 42M| 73 | - |1973 | 11k|1973 |1737 | 15k| 132k|2303 | 0.000000e+00 | 2.900000e+01 | Inf 247.40/247.46 c 247s|110000 | 1863 | 1008k| 9.1 | 42M| 73 | 11 |1973 | 11k|1973 |1734 | 15k| 133k|2304 | 0.000000e+00 | 2.900000e+01 | Inf 259.90/259.94 o 24 259.90/259.94 c * 260s|115950 | 1832 | 1068k| 9.2 | 42M| 73 | - |1973 | 12k|1973 |1740 | 16k| 141k|2399 | 0.000000e+00 | 2.400000e+01 | Inf 267.90/267.90 c 268s|120000 | 1810 | 1106k| 9.2 | 42M| 73 | 11 |1973 | 11k|1973 |1734 | 16k| 146k|2461 | 0.000000e+00 | 2.400000e+01 | Inf 276.00/276.05 o 12 276.00/276.05 c * 276s|123674 | 1278 | 1149k| 9.3 | 35M| 73 | - |1973 | 12k|1973 |1729 | 17k| 151k|2487 | 0.000000e+00 | 1.200000e+01 | Inf 291.20/291.24 c 291s|130000 | 1304 | 1238k| 9.5 | 35M| 73 | 21 |1973 | 11k|1973 |1729 | 17k| 160k|2641 | 0.000000e+00 | 1.200000e+01 | Inf 314.70/314.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 314.70/314.74 c 315s|140000 | 1458 | 1375k| 9.8 | 36M| 73 | - |1973 | 12k| 0 | 0 | 18k| 174k|2814 | 0.000000e+00 | 1.200000e+01 | Inf 338.10/338.16 c 338s|150000 | 1529 | 1512k| 10.1 | 37M| 73 | 9 |1973 | 12k|1973 |1729 | 19k| 187k|2975 | 0.000000e+00 | 1.200000e+01 | Inf 365.90/365.97 c 366s|160000 | 1804 | 1692k| 10.6 | 39M| 79 | - |1973 | 13k| 0 | 0 | 20k| 201k|3227 | 0.000000e+00 | 1.200000e+01 | Inf 392.20/392.24 c 392s|170000 | 1865 | 1855k| 10.9 | 40M| 79 | - |1973 | 13k|1973 |1729 | 21k| 214k|3396 | 0.000000e+00 | 1.200000e+01 | Inf 418.40/418.47 c 418s|180000 | 1776 | 2020k| 11.2 | 40M| 79 | 22 |1973 | 13k|1973 |1729 | 21k| 228k|3595 | 0.000000e+00 | 1.200000e+01 | Inf 443.60/443.67 c 444s|190000 | 1848 | 2176k| 11.4 | 42M| 79 | - |1973 | 14k| 0 | 0 | 22k| 242k|3799 | 0.000000e+00 | 1.200000e+01 | Inf 467.30/467.40 c 467s|200000 | 1837 | 2316k| 11.6 | 42M| 79 | 11 |1973 | 15k|1973 |1729 | 23k| 255k|3955 | 0.000000e+00 | 1.200000e+01 | Inf 493.30/493.33 c 493s|210000 | 1796 | 2471k| 11.8 | 43M| 79 | 13 |1973 | 15k|1973 |1729 | 24k| 269k|4104 | 0.000000e+00 | 1.200000e+01 | Inf 517.80/517.80 c 518s|220000 | 1749 | 2608k| 11.8 | 43M| 79 | 24 |1973 | 15k|1973 |1739 | 25k| 283k|4276 | 0.000000e+00 | 1.200000e+01 | Inf 543.31/543.35 c 543s|230000 | 1687 | 2757k| 12.0 | 43M| 79 | - |1973 | 17k|1973 |1729 | 26k| 296k|4401 | 0.000000e+00 | 1.200000e+01 | Inf 568.51/568.57 c 569s|240000 | 1503 | 2898k| 12.1 | 41M| 79 | 24 |1973 | 15k|1973 |1729 | 27k| 310k|4535 | 0.000000e+00 | 1.200000e+01 | Inf 594.71/594.79 c 595s|250000 | 1497 | 3051k| 12.2 | 41M| 79 | 19 |1973 | 16k|1973 |1729 | 27k| 323k|4688 | 0.000000e+00 | 1.200000e+01 | Inf 619.71/619.77 c 620s|260000 | 1475 | 3190k| 12.3 | 42M| 79 | 22 |1973 | 18k|1973 |1729 | 28k| 336k|4827 | 0.000000e+00 | 1.200000e+01 | Inf 643.81/643.81 c 644s|270000 | 1404 | 3315k| 12.3 | 42M| 79 | - |1973 | 19k| 0 | 0 | 29k| 349k|4954 | 0.000000e+00 | 1.200000e+01 | Inf 668.21/668.26 c 668s|280000 | 1361 | 3441k| 12.3 | 42M| 79 | - |1973 | 21k| 0 | 0 | 30k| 363k|5061 | 0.000000e+00 | 1.200000e+01 | Inf 695.91/695.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 695.91/695.97 c 696s|290000 | 1246 | 3578k| 12.3 | 39M| 79 | 10 |1973 | 16k|1973 |1729 | 31k| 376k|5826 | 0.000000e+00 | 1.200000e+01 | Inf 718.91/718.96 c 719s|300000 | 1291 | 3694k| 12.3 | 41M| 79 | 28 |1973 | 20k|1973 |1729 | 32k| 389k|5832 | 0.000000e+00 | 1.200000e+01 | Inf 743.62/743.65 c 744s|310000 | 1252 | 3821k| 12.3 | 42M| 79 | 1 |1973 | 22k|1973 |1729 | 33k| 403k|5832 | 0.000000e+00 | 1.200000e+01 | Inf 769.21/769.22 c 769s|320000 | 725 | 3952k| 12.3 | 33M| 79 | 23 |1973 | 12k|1973 |1729 | 33k| 416k|6005 | 0.000000e+00 | 1.200000e+01 | Inf 797.42/797.47 c 797s|330000 | 1108 | 4122k| 12.5 | 36M| 79 | - |1973 | 14k| 0 | 0 | 34k| 430k|6081 | 0.000000e+00 | 1.200000e+01 | Inf 823.51/823.59 c 824s|340000 | 1108 | 4271k| 12.6 | 37M| 79 | 18 |1973 | 14k|1973 |1729 | 35k| 443k|6189 | 0.000000e+00 | 1.200000e+01 | Inf 848.42/848.43 c 848s|350000 | 1190 | 4412k| 12.6 | 39M| 79 | 15 |1973 | 17k|1973 |1729 | 35k| 456k|6285 | 0.000000e+00 | 1.200000e+01 | Inf 873.11/873.17 c 873s|360000 | 1324 | 4549k| 12.6 | 41M| 79 | 22 |1973 | 18k|1973 |1736 | 36k| 470k|6372 | 0.000000e+00 | 1.200000e+01 | Inf 898.31/898.35 c 898s|370000 | 1129 | 4685k| 12.7 | 39M| 79 | - |1973 | 16k|1973 |1729 | 37k| 484k|6452 | 0.000000e+00 | 1.200000e+01 | Inf 923.93/923.95 c 924s|380000 | 1287 | 4826k| 12.7 | 41M| 79 | 24 |1973 | 19k|1973 |1738 | 37k| 498k|6537 | 0.000000e+00 | 1.200000e+01 | Inf 949.32/949.31 c 949s|390000 | 1563 | 4964k| 12.7 | 44M| 79 | - |1973 | 20k| 0 | 0 | 38k| 512k|6629 | 0.000000e+00 | 1.200000e+01 | Inf 974.42/974.46 c 974s|400000 | 1740 | 5104k| 12.8 | 45M| 79 | 32 |1973 | 19k|1973 |1729 | 39k| 525k|6706 | 0.000000e+00 | 1.200000e+01 | Inf 999.52/999.56 c 1000s|410000 | 1793 | 5240k| 12.8 | 46M| 79 | 19 |1973 | 20k|1973 |1729 | 39k| 540k|6778 | 0.000000e+00 | 1.200000e+01 | Inf 1025.72/1025.74 c 1026s|420000 | 1807 | 5383k| 12.8 | 47M| 79 | 26 |1973 | 19k|1973 |1729 | 40k| 554k|6865 | 0.000000e+00 | 1.200000e+01 | Inf 1052.03/1052.06 c 1052s|430000 | 1788 | 5530k| 12.9 | 47M| 79 | 24 |1973 | 20k|1973 |1729 | 41k| 568k|6968 | 0.000000e+00 | 1.200000e+01 | Inf 1080.53/1080.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1080.53/1080.51 c 1080s|440000 | 1744 | 5695k| 12.9 | 47M| 79 | 16 |1973 | 19k|1973 |1729 | 42k| 582k|7061 | 0.000000e+00 | 1.200000e+01 | Inf 1106.83/1106.89 c 1107s|450000 | 1937 | 5840k| 13.0 | 50M| 79 | 22 |1973 | 22k|1973 |1729 | 42k| 596k|7159 | 0.000000e+00 | 1.200000e+01 | Inf 1136.43/1136.48 c 1136s|460000 | 1938 | 6009k| 13.1 | 51M| 79 | - |1973 | 22k| 0 | 0 | 43k| 611k|7236 | 0.000000e+00 | 1.200000e+01 | Inf 1163.33/1163.33 c 1163s|470000 | 1865 | 6151k| 13.1 | 51M| 79 | 22 |1973 | 22k|1973 |1729 | 44k| 625k|7327 | 0.000000e+00 | 1.200000e+01 | Inf 1189.33/1189.36 c 1189s|480000 | 1893 | 6288k| 13.1 | 52M| 79 | - |1973 | 25k| 0 | 0 | 45k| 640k|7409 | 0.000000e+00 | 1.200000e+01 | Inf 1217.33/1217.34 c 1217s|490000 | 1879 | 6443k| 13.1 | 52M| 79 | - |1973 | 22k| 0 | 0 | 46k| 654k|7505 | 0.000000e+00 | 1.200000e+01 | Inf 1245.23/1245.29 c 1245s|500000 | 2021 | 6600k| 13.2 | 52M| 79 | - |1973 | 17k| 0 | 0 | 47k| 667k|7672 | 0.000000e+00 | 1.200000e+01 | Inf 1272.64/1272.61 c 1273s|510000 | 2082 | 6756k| 13.2 | 54M| 79 | - |1973 | 19k| 0 | 0 | 48k| 681k|7754 | 0.000000e+00 | 1.200000e+01 | Inf 1299.53/1299.57 c 1300s|520000 | 2248 | 6905k| 13.3 | 55M| 79 | - |1973 | 18k| 0 | 0 | 48k| 696k|7840 | 0.000000e+00 | 1.200000e+01 | Inf 1327.23/1327.25 c 1327s|530000 | 2378 | 7060k| 13.3 | 57M| 79 | 20 |1973 | 21k|1973 |1729 | 49k| 709k|7911 | 0.000000e+00 | 1.200000e+01 | Inf 1356.24/1356.24 c 1356s|540000 | 2515 | 7227k| 13.4 | 58M| 79 | - |1973 | 18k|1973 |1729 | 49k| 723k|7997 | 0.000000e+00 | 1.200000e+01 | Inf 1384.74/1384.70 c 1385s|550000 | 2599 | 7395k| 13.4 | 60M| 79 | 21 |1973 | 19k|1973 |1729 | 51k| 737k|8109 | 0.000000e+00 | 1.200000e+01 | Inf 1414.93/1414.94 c 1415s|560000 | 2723 | 7574k| 13.5 | 61M| 79 | - |1973 | 19k| 0 | 0 | 51k| 750k|8213 | 0.000000e+00 | 1.200000e+01 | Inf 1443.93/1443.93 c 1444s|570000 | 2858 | 7741k| 13.6 | 63M| 87 | 23 |1973 | 20k|1973 |1729 | 52k| 765k|8306 | 0.000000e+00 | 1.200000e+01 | Inf 1471.44/1471.49 c 1471s|580000 | 2878 | 7897k| 13.6 | 64M| 87 | - |1973 | 20k| 0 | 0 | 53k| 779k|8361 | 0.000000e+00 | 1.200000e+01 | Inf 1499.24/1499.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1499.24/1499.24 c 1499s|590000 | 2876 | 8057k| 13.7 | 65M| 87 | - |1973 | 20k| 0 | 0 | 54k| 793k|8420 | 0.000000e+00 | 1.200000e+01 | Inf 1526.14/1526.14 c 1526s|600000 | 2891 | 8206k| 13.7 | 66M| 87 | 33 |1973 | 22k|1973 |1729 | 54k| 807k|8533 | 0.000000e+00 | 1.200000e+01 | Inf 1554.84/1554.83 c 1555s|610000 | 2839 | 8366k| 13.7 | 66M| 87 | - |1973 | 21k| 0 | 0 | 55k| 821k|8623 | 0.000000e+00 | 1.200000e+01 | Inf 1582.04/1582.05 c 1582s|620000 | 2693 | 8522k| 13.7 | 64M| 87 | - |1973 | 18k| 0 | 0 | 56k| 835k|8695 | 0.000000e+00 | 1.200000e+01 | Inf 1611.94/1611.95 c 1612s|630000 | 2740 | 8703k| 13.8 | 64M| 87 | 21 |1973 | 17k|1973 |1738 | 57k| 849k|8765 | 0.000000e+00 | 1.200000e+01 | Inf 1640.44/1640.46 c 1640s|640000 | 2817 | 8871k| 13.9 | 65M| 87 | - |1973 | 17k| 0 | 0 | 58k| 862k|8849 | 0.000000e+00 | 1.200000e+01 | Inf 1668.04/1668.04 c 1668s|650000 | 2863 | 9031k| 13.9 | 66M| 87 | 21 |1973 | 18k|1973 |1743 | 59k| 876k|8973 | 0.000000e+00 | 1.200000e+01 | Inf 1694.84/1694.82 c 1695s|660000 | 2841 | 9185k| 13.9 | 67M| 87 | - |1973 | 20k| 0 | 0 | 60k| 891k|9013 | 0.000000e+00 | 1.200000e+01 | Inf 1723.54/1723.55 c 1724s|670000 | 2712 | 9338k| 13.9 | 65M| 87 | - |1973 | 19k| 0 | 0 | 61k| 905k|9072 | 0.000000e+00 | 1.200000e+01 | Inf 1749.75/1749.72 c 1750s|680000 | 2410 | 9484k| 13.9 | 61M| 87 | - |1973 | 18k| 0 | 0 | 62k| 919k|9168 | 0.000000e+00 | 1.200000e+01 | Inf 1776.35/1776.35 c 1776s|690000 | 2500 | 9636k| 14.0 | 62M| 87 | 18 |1973 | 17k|1973 |1729 | 63k| 932k|9235 | 0.000000e+00 | 1.200000e+01 | Inf 1790.05/1790.00 c 1790.05/1790.00 c SCIP Status : solving was interrupted [time limit reached] 1790.05/1790.00 c Solving Time (sec) : 1789.98 1790.05/1790.00 c Solving Nodes : 695294 1790.05/1790.00 c Primal Bound : +1.20000000000000e+01 (207 solutions) 1790.05/1790.00 c Dual Bound : +0.00000000000000e+00 1790.05/1790.00 c Gap : infinite 1790.05/1790.02 s SATISFIABLE 1790.05/1790.02 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 1790.05/1790.02 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1790.05/1790.02 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1790.05/1790.02 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1790.05/1790.02 v -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 1790.05/1790.02 v -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 1790.05/1790.02 v -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 1790.05/1790.02 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 1790.05/1790.02 v x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 1790.05/1790.02 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1790.05/1790.02 v -x1 1790.05/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1790.05/1790.02 c Solving Time : 1789.98 1790.05/1790.02 c Original Problem : 1790.05/1790.02 c Problem name : HOME/instance-2705676-1278574750.wbo 1790.05/1790.02 c Variables : 2085 (1158 binary, 0 integer, 927 implicit integer, 0 continuous) 1790.05/1790.02 c Constraints : 3635 initial, 3635 maximal 1790.05/1790.02 c Presolved Problem : 1790.05/1790.02 c Problem name : t_HOME/instance-2705676-1278574750.wbo 1790.05/1790.02 c Variables : 1973 (1102 binary, 0 integer, 871 implicit integer, 0 continuous) 1790.05/1790.02 c Constraints : 3416 initial, 25600 maximal 1790.05/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.05/1790.02 c trivial : 0.00 56 0 0 0 0 0 0 0 1790.05/1790.02 c dualfix : 0.00 56 0 0 0 0 0 0 0 1790.05/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.02 c probing : 0.03 0 0 0 0 0 0 0 0 1790.05/1790.02 c knapsack : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.02 c setppc : 0.00 0 0 0 0 0 49 0 0 1790.05/1790.02 c linear : 0.05 0 0 0 929 0 114 56 0 1790.05/1790.02 c indicator : 0.00 0 0 0 0 0 56 0 0 1790.05/1790.02 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.05/1790.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.05/1790.02 c root node : - 1540 - - 1540 - - - - 1790.05/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.05/1790.02 c integral : 0 0 0 386757 0 218 1810 0 0 744568 1790.05/1790.02 c knapsack : 1 6 3340687 12775 9 33188 8937881 0 0 0 1790.05/1790.02 c setppc : 72 6 3312181 12752 9 43781 2161393 0 0 0 1790.05/1790.02 c linear : 871 6 3270493 12896 7 54683 3242324 64290 0 0 1790.05/1790.02 c indicator : 871 0 3175923 12761 9 2374 3737598 0 0 0 1790.05/1790.02 c logicor : 1601+ 6 1581634 1905 7 136864 5553180 0 0 0 1790.05/1790.02 c bounddisjunction : 0+ 0 322411 0 0 608 3063 0 0 0 1790.05/1790.02 c countsols : 0 0 0 1905 1 0 0 0 0 0 1790.05/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.05/1790.02 c integral : 45.83 0.00 0.00 45.83 0.00 1790.05/1790.02 c knapsack : 33.37 0.00 33.36 0.01 0.00 1790.05/1790.02 c setppc : 13.20 0.00 13.19 0.01 0.00 1790.05/1790.02 c linear : 43.37 0.00 43.00 0.37 0.00 1790.05/1790.02 c indicator : 23.54 0.01 23.12 0.41 0.00 1790.05/1790.02 c logicor : 177.58 0.00 177.56 0.02 0.00 1790.05/1790.02 c bounddisjunction : 0.87 0.00 0.87 0.00 0.00 1790.05/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.05/1790.02 c Propagators : Time Calls Cutoffs DomReds 1790.05/1790.02 c vbounds : 0.65 51714 1 1284 1790.05/1790.02 c rootredcost : 0.55 24 0 770 1790.05/1790.02 c pseudoobj : 56.89 3362119 14769 4053048 1790.05/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.05/1790.02 c propagation : 11.73 283893 283674 1708687 27.6 9449 24.6 - 1790.05/1790.02 c infeasible LP : 15.76 79772 79769 641922 46.1 692 17.5 0 1790.05/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.05/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.05/1790.02 c pseudo solution : 0.00 2 2 22 23.0 0 0.0 - 1790.05/1790.02 c applied globally : - - - 939484 26.9 - - - 1790.05/1790.02 c applied locally : - - - 0 0.0 - - - 1790.05/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.05/1790.02 c cut pool : 0.00 5 - - 13 - (maximal pool size: 908) 1790.05/1790.02 c redcost : 16.41 389177 0 43625 0 0 1790.05/1790.02 c impliedbounds : 0.00 6 0 0 0 0 1790.05/1790.02 c intobj : 0.00 0 0 0 0 0 1790.05/1790.02 c cgmip : 0.00 0 0 0 0 0 1790.05/1790.02 c gomory : 0.25 6 0 0 1931 0 1790.05/1790.02 c strongcg : 0.18 6 0 0 3000 0 1790.05/1790.02 c cmir : 0.04 6 0 0 0 0 1790.05/1790.02 c flowcover : 0.05 6 0 0 0 0 1790.05/1790.02 c clique : 0.00 6 0 0 0 0 1790.05/1790.02 c zerohalf : 0.00 0 0 0 0 0 1790.05/1790.02 c mcf : 0.00 1 0 0 0 0 1790.05/1790.02 c rapidlearning : 0.05 1 0 0 0 0 1790.05/1790.02 c Pricers : Time Calls Vars 1790.05/1790.02 c problem variables: 0.00 0 0 1790.05/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.05/1790.02 c relpscost : 45.53 373847 218 1810 0 0 744568 1790.05/1790.02 c pscost : 0.00 0 0 0 0 0 0 1790.05/1790.02 c inference : 0.31 1884 0 0 0 0 3768 1790.05/1790.02 c mostinf : 0.00 0 0 0 0 0 0 1790.05/1790.02 c leastinf : 0.00 0 0 0 0 0 0 1790.05/1790.02 c fullstrong : 0.00 0 0 0 0 0 0 1790.05/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0 1790.05/1790.02 c random : 0.00 0 0 0 0 0 0 1790.05/1790.02 c Primal Heuristics : Time Calls Found 1790.05/1790.02 c LP solutions : 0.02 - 22 1790.05/1790.02 c pseudo solutions : 0.00 - 0 1790.05/1790.02 c feaspump : 0.02 1 0 1790.05/1790.02 c oneopt : 0.28 22 0 1790.05/1790.02 c crossover : 0.81 26 0 1790.05/1790.02 c coefdiving : 0.39 94 0 1790.05/1790.02 c veclendiving : 0.26 94 0 1790.05/1790.02 c pscostdiving : 0.26 94 0 1790.05/1790.02 c fracdiving : 0.36 94 0 1790.05/1790.02 c linesearchdiving : 0.32 95 0 1790.05/1790.02 c guideddiving : 0.26 95 0 1790.05/1790.02 c objpscostdiving : 0.30 48 0 1790.05/1790.02 c rootsoldiving : 0.68 48 0 1790.05/1790.02 c trivial : 0.00 2 0 1790.05/1790.02 c simplerounding : 0.48 374189 0 1790.05/1790.02 c zirounding : 0.22 1000 0 1790.05/1790.02 c rounding : 2.69 29148 1 1790.05/1790.02 c shifting : 0.77 2677 0 1790.05/1790.02 c intshifting : 0.01 0 0 1790.05/1790.02 c twoopt : 0.00 0 0 1790.05/1790.02 c fixandinfer : 0.00 0 0 1790.05/1790.02 c intdiving : 0.00 0 0 1790.05/1790.02 c actconsdiving : 0.00 0 0 1790.05/1790.02 c octane : 0.00 0 0 1790.05/1790.02 c rens : 0.06 1 0 1790.05/1790.02 c rins : 0.00 0 0 1790.05/1790.02 c localbranching : 0.00 0 0 1790.05/1790.02 c mutation : 0.00 0 0 1790.05/1790.02 c dins : 0.00 0 0 1790.05/1790.02 c undercover : 0.00 0 0 1790.05/1790.02 c nlp : 0.10 0 0 1790.05/1790.02 c trysol : 0.30 338 184 1790.05/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec 1790.05/1790.02 c primal LP : 0.00 0 0 0.00 - 1790.05/1790.02 c dual LP : 1031.05 464451 9702102 20.89 9409.96 1790.05/1790.02 c lex dual LP : 0.00 0 0 0.00 - 1790.05/1790.02 c barrier LP : 0.00 0 0 0.00 - 1790.05/1790.02 c diving/probing LP: 1.86 1060 11386 10.74 6114.55 1790.05/1790.02 c strong branching : 41.84 9267 417346 45.04 9973.98 1790.05/1790.02 c (at root node) : - 15 7488 499.20 - 1790.05/1790.02 c conflict analysis: 0.00 0 0 0.00 - 1790.05/1790.02 c B&B Tree : 1790.05/1790.02 c number of runs : 1 1790.05/1790.02 c nodes : 695294 1790.05/1790.02 c nodes (total) : 695294 1790.05/1790.02 c nodes left : 2617 1790.05/1790.02 c max depth : 87 1790.05/1790.02 c max depth (total): 87 1790.05/1790.02 c backtracks : 84519 (12.2%) 1790.05/1790.02 c delayed cutoffs : 48722 1790.05/1790.02 c repropagations : 1388455 (5152374 domain reductions, 44093 cutoffs) 1790.05/1790.02 c avg switch length: 5.68 1790.05/1790.02 c switching time : 174.17 1790.05/1790.02 c Solution : 1790.05/1790.02 c Solutions found : 207 (24 improvements) 1790.05/1790.02 c First Solution : +4.29620000000000e+04 (in run 1, after 18 nodes, 6.48 seconds, depth 18, found by <trysol>) 1790.05/1790.02 c Primal Bound : +1.20000000000000e+01 (in run 1, after 123674 nodes, 276.02 seconds, depth 24, found by <relaxation>) 1790.05/1790.02 c Dual Bound : +0.00000000000000e+00 1790.05/1790.02 c Gap : infinite 1790.05/1790.02 c Root Dual Bound : +0.00000000000000e+00 1790.05/1790.02 c Root Iterations : 2263 1790.05/1790.09 c Time complete: 1790.15.
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705676-1278574750/watcher-2705676-1278574750 -o /tmp/evaluation-result-2705676-1278574750/solver-2705676-1278574750 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705676-1278574750.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.85 1.94 1.67 4/178 21532 /proc/meminfo: memFree=30406968/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=12344 CPUtime=0 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 1949 0 0 0 0 0 0 0 24 0 1 0 25687327 12640256 1868 4089446400 4194304 10345943 140736737941824 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21532/statm: 3139 1869 429 1502 0 1632 0 [startup+0.061168 s] /proc/loadavg: 1.85 1.94 1.67 4/178 21532 /proc/meminfo: memFree=30406968/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=26476 CPUtime=0.05 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 5641 0 0 0 5 0 0 0 24 0 1 0 25687327 27111424 5206 4089446400 4194304 10345943 140736737941824 18446744073709551615 5019029 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21532/statm: 6619 5206 534 1502 0 5112 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 26476 [startup+0.101159 s] /proc/loadavg: 1.85 1.94 1.67 4/178 21532 /proc/meminfo: memFree=30406968/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=27500 CPUtime=0.09 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 5957 0 0 0 9 0 0 0 24 0 1 0 25687327 28160000 5522 4089446400 4194304 10345943 140736737941824 18446744073709551615 5093392 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21532/statm: 6875 5522 561 1502 0 5368 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27500 [startup+0.301124 s] /proc/loadavg: 1.85 1.94 1.67 4/178 21532 /proc/meminfo: memFree=30406968/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=35896 CPUtime=0.29 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 12025 0 0 0 28 1 0 0 25 0 1 0 25687327 36757504 7379 4089446400 4194304 10345943 140736737941824 18446744073709551615 6153759 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21532/statm: 8974 7379 760 1502 0 7467 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35896 [startup+0.701062 s] /proc/loadavg: 1.85 1.94 1.67 4/178 21532 /proc/meminfo: memFree=30406968/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=42920 CPUtime=0.69 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 13763 0 0 0 68 1 0 0 25 0 1 0 25687327 43950080 9117 4089446400 4194304 10345943 140736737941824 18446744073709551615 6566256 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21532/statm: 10730 9117 762 1502 0 9223 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42920 [startup+1.50091 s] /proc/loadavg: 1.85 1.94 1.67 3/179 21534 /proc/meminfo: memFree=30368768/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=49264 CPUtime=1.49 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 18719 0 0 0 147 2 0 0 25 0 1 0 25687327 50446336 10455 4089446400 4194304 10345943 140736737941824 18446744073709551615 7569524 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21532/statm: 12316 10455 800 1502 0 10809 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49264 [startup+3.10062 s] /proc/loadavg: 1.85 1.94 1.67 3/179 21534 /proc/meminfo: memFree=30368028/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=49052 CPUtime=3.09 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 18932 0 0 0 306 3 0 0 25 0 1 0 25687327 50229248 10414 4089446400 4194304 10345943 140736737941824 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21532/statm: 12263 10414 800 1502 0 10756 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49052 [startup+6.30101 s] /proc/loadavg: 1.86 1.94 1.67 3/179 21534 /proc/meminfo: memFree=30367284/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=48844 CPUtime=6.29 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 20066 0 0 0 625 4 0 0 25 0 1 0 25687327 50016256 10675 4089446400 4194304 10345943 140736737941824 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21532/statm: 12211 10675 800 1502 0 10704 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48844 [startup+12.7008 s] /proc/loadavg: 1.87 1.94 1.67 3/179 21534 /proc/meminfo: memFree=30365684/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=52084 CPUtime=12.69 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 24069 0 0 0 1260 9 0 0 25 0 1 0 25687327 53334016 11002 4089446400 4194304 10345943 140736737941824 18446744073709551615 7569554 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21532/statm: 13021 11002 804 1502 0 11514 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52084 [startup+25.5005 s] /proc/loadavg: 1.90 1.94 1.68 3/179 21534 /proc/meminfo: memFree=30349496/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=66452 CPUtime=25.49 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 51219 0 0 0 2531 18 0 0 25 0 1 0 25687327 68046848 15094 4089446400 4194304 10345943 140736737941824 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21532/statm: 16613 15094 809 1502 0 15106 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 66452 [startup+51.1007 s] /proc/loadavg: 1.93 1.94 1.68 3/179 21562 /proc/meminfo: memFree=30490088/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=96532 CPUtime=51.09 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 79274 0 0 0 5078 31 0 0 25 0 1 0 25687327 98848768 22391 4089446400 4194304 10345943 140736737941824 18446744073709551615 5614807 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 24133 22391 809 1502 0 22626 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 96532 [startup+102.306 s] /proc/loadavg: 1.97 1.95 1.70 3/179 21563 /proc/meminfo: memFree=30434060/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=122920 CPUtime=102.3 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 107534 0 0 0 10183 47 0 0 25 0 1 0 25687327 125870080 28797 4089446400 4194304 10345943 140736737941824 18446744073709551615 6864944 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 30730 28797 809 1502 0 29223 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 122920 [startup+162.3 s] /proc/loadavg: 1.99 1.96 1.72 3/179 21565 /proc/meminfo: memFree=30373236/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=135564 CPUtime=162.29 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 139974 0 0 0 16156 73 0 0 25 0 1 0 25687327 138817536 31694 4089446400 4194304 10345943 140736737941824 18446744073709551615 6864702 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 33891 31694 809 1502 0 32384 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 135564 [startup+222.3 s] /proc/loadavg: 1.99 1.96 1.73 3/179 21566 /proc/meminfo: memFree=30318364/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=139304 CPUtime=222.29 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 163080 0 0 0 22130 99 0 0 25 0 1 0 25687327 142647296 32693 4089446400 4194304 10345943 140736737941824 18446744073709551615 7602993 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 34826 32693 809 1502 0 33319 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 139304 [startup+282.301 s] /proc/loadavg: 2.07 1.98 1.75 3/179 21568 /proc/meminfo: memFree=30269592/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=139948 CPUtime=282.3 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 202490 0 0 0 28106 124 0 0 25 0 1 0 25687327 143306752 33224 4089446400 4194304 10345943 140736737941824 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 34987 33224 809 1502 0 33480 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 139948 [startup+342.301 s] /proc/loadavg: 2.03 1.98 1.76 3/179 21570 /proc/meminfo: memFree=30215616/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=141084 CPUtime=342.3 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 229563 0 0 0 34077 153 0 0 25 0 1 0 25687327 144470016 33375 4089446400 4194304 10345943 140736737941824 18446744073709551615 9104952 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 35271 33375 809 1502 0 33764 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 141084 [startup+402.301 s] /proc/loadavg: 2.01 1.98 1.77 3/179 21571 /proc/meminfo: memFree=30162876/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=145064 CPUtime=402.3 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 241868 0 0 0 40045 185 0 0 25 0 1 0 25687327 148545536 34185 4089446400 4194304 10345943 140736737941824 18446744073709551615 7569508 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 36266 34185 809 1502 0 34759 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 145064 [startup+462.301 s] /proc/loadavg: 2.00 1.98 1.78 3/179 21573 /proc/meminfo: memFree=30112376/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=144952 CPUtime=462.3 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 256834 0 0 0 46016 214 0 0 25 0 1 0 25687327 148430848 34324 4089446400 4194304 10345943 140736737941824 18446744073709551615 6566396 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 36238 34324 809 1502 0 34731 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 144952 [startup+522.301 s] /proc/loadavg: 2.00 1.98 1.80 3/179 21574 /proc/meminfo: memFree=30063324/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=148840 CPUtime=522.31 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 262483 0 0 0 51990 241 0 0 25 0 1 0 25687327 152412160 35029 4089446400 4194304 10345943 140736737941824 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 37210 35029 809 1502 0 35703 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 148840 [startup+582.301 s] /proc/loadavg: 2.00 1.98 1.81 3/179 21576 /proc/meminfo: memFree=30006976/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=148856 CPUtime=582.31 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 270449 0 0 0 57960 271 0 0 25 0 1 0 25687327 152428544 35346 4089446400 4194304 10345943 140736737941824 18446744073709551615 6119608 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 37214 35346 809 1502 0 35707 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 148856 [startup+642.301 s] /proc/loadavg: 2.00 1.98 1.82 3/179 21578 /proc/meminfo: memFree=29955720/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=151244 CPUtime=642.31 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 276329 0 0 0 63935 296 0 0 25 0 1 0 25687327 154873856 35504 4089446400 4194304 10345943 140736737941824 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 37811 35504 809 1502 0 36304 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 151244 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29604280/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=156324 CPUtime=1062.32 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 345460 0 0 0 105755 477 0 0 25 0 1 0 25687327 160075776 37122 4089446400 4194304 10345943 140736737941824 18446744073709551615 6346028 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 39081 37122 809 1502 0 37574 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 156324 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.87 3/179 21590 /proc/meminfo: memFree=29552036/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=157444 CPUtime=1122.33 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 350119 0 0 0 111732 501 0 0 25 0 1 0 25687327 161222656 37530 4089446400 4194304 10345943 140736737941824 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 39361 37530 809 1502 0 37854 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 157444 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 21592 /proc/meminfo: memFree=29498928/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=159356 CPUtime=1182.33 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 355684 0 0 0 117710 523 0 0 25 0 1 0 25687327 163180544 37880 4089446400 4194304 10345943 140736737941824 18446744073709551615 7577587 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 39839 37880 809 1502 0 38332 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 159356 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 21594 /proc/meminfo: memFree=29447432/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=161520 CPUtime=1242.33 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 365229 0 0 0 123683 550 0 0 25 0 1 0 25687327 165396480 38452 4089446400 4194304 10345943 140736737941824 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 40380 38452 809 1502 0 38873 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 161520 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 21595 /proc/meminfo: memFree=29397496/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=162824 CPUtime=1302.34 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 372789 0 0 0 129657 577 0 0 25 0 1 0 25687327 166731776 38740 4089446400 4194304 10345943 140736737941824 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 40706 38740 809 1502 0 39199 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 162824 [startup+1362.3 s] /proc/loadavg: 2.06 2.02 1.90 3/179 21606 /proc/meminfo: memFree=29344528/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=168164 CPUtime=1362.34 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 378299 0 0 0 135632 602 0 0 25 0 1 0 25687327 172199936 39756 4089446400 4194304 10345943 140736737941824 18446744073709551615 6802864 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 42041 39756 809 1502 0 40534 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 168164 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 1.91 3/179 21607 /proc/meminfo: memFree=29294876/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=169864 CPUtime=1422.34 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 386930 0 0 0 141607 627 0 0 25 0 1 0 25687327 173940736 40466 4089446400 4194304 10345943 140736737941824 18446744073709551615 7794848 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 42466 40466 809 1502 0 40959 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 169864 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 1.91 3/179 21609 /proc/meminfo: memFree=29241372/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=171576 CPUtime=1482.34 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 391051 0 0 0 147583 651 0 0 25 0 1 0 25687327 175693824 40803 4089446400 4194304 10345943 140736737941824 18446744073709551615 6757663 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 42894 40803 809 1502 0 41387 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 171576 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21611 /proc/meminfo: memFree=29187000/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=175644 CPUtime=1542.34 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 395555 0 0 0 153559 675 0 0 25 0 1 0 25687327 179859456 41683 4089446400 4194304 10345943 140736737941824 18446744073709551615 5085432 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 43911 41683 809 1502 0 42404 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 175644 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21612 /proc/meminfo: memFree=29137464/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=176764 CPUtime=1602.34 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 401095 0 0 0 159531 703 0 0 25 0 1 0 25687327 181006336 41977 4089446400 4194304 10345943 140736737941824 18446744073709551615 6336316 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 44191 41977 809 1502 0 42684 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 176764 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21614 /proc/meminfo: memFree=29084828/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=179872 CPUtime=1662.34 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 405070 0 0 0 165504 730 0 0 25 0 1 0 25687327 184188928 42256 4089446400 4194304 10345943 140736737941824 18446744073709551615 9194672 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 44968 42256 809 1502 0 43461 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 179872 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21615 /proc/meminfo: memFree=29033932/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=179644 CPUtime=1722.35 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 408464 0 0 0 171479 756 0 0 25 0 1 0 25687327 183955456 42644 4089446400 4194304 10345943 140736737941824 18446744073709551615 6342069 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 44911 42644 809 1502 0 43404 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 179644 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21617 /proc/meminfo: memFree=28983516/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=181224 CPUtime=1782.34 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 414332 0 0 0 177454 780 0 0 25 0 1 0 25687327 185573376 42803 4089446400 4194304 10345943 140736737941824 18446744073709551615 4715321 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 45306 42803 809 1502 0 43799 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 181224 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 21617 /proc/meminfo: memFree=28979424/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=180248 CPUtime=1785.54 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 414734 0 0 0 177773 781 0 0 25 0 1 0 25687327 184573952 42803 4089446400 4194304 10345943 140736737941824 18446744073709551615 6566329 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 45062 42803 809 1502 0 43555 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 180248 [startup+1787.1 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21617 /proc/meminfo: memFree=28978676/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=181224 CPUtime=1787.15 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 414750 0 0 0 177933 782 0 0 25 0 1 0 25687327 185573376 42819 4089446400 4194304 10345943 140736737941824 18446744073709551615 7569984 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 45306 42819 809 1502 0 43799 0 Current children cumulated CPU time (s) 1787.15 Current children cumulated vsize (KiB) 181224 [startup+1788.7 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21617 /proc/meminfo: memFree=28975948/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=181224 CPUtime=1788.74 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 414758 0 0 0 178092 782 0 0 25 0 1 0 25687327 185573376 42827 4089446400 4194304 10345943 140736737941824 18446744073709551615 7581744 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 45306 42827 809 1502 0 43799 0 Current children cumulated CPU time (s) 1788.74 Current children cumulated vsize (KiB) 181224 [startup+1789.5 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21617 /proc/meminfo: memFree=28975948/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=181224 CPUtime=1789.54 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 414758 0 0 0 178172 782 0 0 25 0 1 0 25687327 185573376 42827 4089446400 4194304 10345943 140736737941824 18446744073709551615 9134608 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 45306 42827 809 1502 0 43799 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (KiB) 181224 [startup+1789.9 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21617 /proc/meminfo: memFree=28974700/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=181224 CPUtime=1789.95 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 414758 0 0 0 178212 783 0 0 25 0 1 0 25687327 185573376 42827 4089446400 4194304 10345943 140736737941824 18446744073709551615 4218202 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 45306 42827 809 1502 0 43799 0 Current children cumulated CPU time (s) 1789.95 Current children cumulated vsize (KiB) 181224 [startup+1790 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21617 /proc/meminfo: memFree=28974700/32951124 swapFree=67111528/67111528 [pid=21532] ppid=21530 vsize=181224 CPUtime=1790.05 /proc/21532/stat : 21532 (pbscip.linux.x8) R 21530 21532 21280 0 -1 4202496 414758 0 0 0 178222 783 0 0 25 0 1 0 25687327 185573376 42827 4089446400 4194304 10345943 140736737941824 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21532/statm: 45306 42827 809 1502 0 43799 0 Current children cumulated CPU time (s) 1790.05 Current children cumulated vsize (KiB) 181224 Child status: 0 Real time (s): 1790.1 CPU time (s): 1790.16 CPU user time (s): 1782.31 CPU system time (s): 7.84181 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 182532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.31 system time used= 7.84181 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 414762 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= 4 involuntary context switches= 2302 runsolver used 3.24351 second user time and 6.02508 second system time The end
Begin job on node147 at 2010-07-08 09:39:10 IDJOB=2705676 IDBENCH=78981 IDSOLVER=1214 FILE ID=node147/2705676-1278574750 PBS_JOBID= 11240161 Free space on /tmp= 73816 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.1900563801--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-2705676-1278574750/watcher-2705676-1278574750 -o /tmp/evaluation-result-2705676-1278574750/solver-2705676-1278574750 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705676-1278574750.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8222df718f0c39737e94bfab6b6fa003 RANDOM SEED=1105313403 node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30407496 kB Buffers: 153004 kB Cached: 1944796 kB SwapCached: 0 kB Active: 1136260 kB Inactive: 1256148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30407496 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12936 kB Writeback: 0 kB AnonPages: 294140 kB Mapped: 17704 kB Slab: 88196 kB PageTables: 5128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 443472 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= 73804 MiB End job on node147 at 2010-07-08 10:09:01