Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1800.1 | 1800.09 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo |
MD5SUM | d542ebd8fdf9cdf1064a589ed9ad7045 |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 341.652 |
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 | 930 |
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 | 46532 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46531 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 801 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2692921-1277910653.wbo> 0.00/0.02 c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.04 c presolving: 0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs 0.05/0.07 c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs 0.05/0.08 c (round 3) 57 del vars, 168 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs 0.05/0.09 c (round 4) 115 del vars, 229 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs 0.09/0.10 c (round 5) 132 del vars, 266 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs 0.09/0.11 c (round 6) 155 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs 0.09/0.12 c (round 7) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs 0.09/0.16 c (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.16 c presolving (8 rounds): 0.09/0.16 c 162 deleted vars, 273 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients 0.09/0.16 c 1142 implications, 14 cliques 0.09/0.16 c presolved problem has 1929 variables (1080 bin, 0 int, 0 impl, 849 cont) and 3365 constraints 0.09/0.16 c 849 constraints of type <indicator> 0.09/0.16 c 1 constraints of type <knapsack> 0.09/0.16 c 14 constraints of type <setppc> 0.09/0.16 c 849 constraints of type <linear> 0.09/0.16 c 1652 constraints of type <logicor> 0.09/0.16 c transformed objective value is always integral (scale: 1) 0.09/0.16 c Presolving Time: 0.10 0.09/0.16 c - non default parameters ---------------------------------------------------------------------- 0.09/0.16 c # SCIP version 1.2.1.2 0.09/0.16 c 0.09/0.16 c # frequency for displaying node information lines 0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.16 c display/freq = 10000 0.09/0.16 c 0.09/0.16 c # maximal time in seconds to run 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/time = 1799.98 0.09/0.16 c 0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/memory = 3420 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify inequalities 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/linear/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify knapsacks 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.16 c separating/rapidlearning/freq = 0 0.09/0.16 c 0.09/0.16 c ----------------------------------------------------------------------------------------------- 0.09/0.16 c start solving 0.09/0.16 c 0.09/0.17 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.17 c 0.1s| 1 | 0 | 30 | - |8814k| 0 | 16 |1929 |3365 |1929 |1667 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.24 c 0.2s| 1 | 0 | 350 | - |8840k| 0 | 34 |1929 |3365 |1929 |1683 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.31 c 0.2s| 1 | 0 | 396 | - |9213k| 0 | 39 |1929 |3365 |1929 |1692 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.42 c 0.3s| 1 | 0 | 451 | - |9222k| 0 | 47 |1929 |3365 |1929 |1703 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.5s| 1 | 0 | 497 | - |9231k| 0 | 46 |1929 |3365 |1929 |1708 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.67 c 0.6s| 1 | 0 | 541 | - |9232k| 0 | 47 |1929 |3365 |1929 |1710 | 43 | 0 | 0 | 0.000000e+00 | -- | Inf 1.59/1.60 c 1.5s| 1 | 2 | 541 | - |9237k| 0 | 47 |1929 |3365 |1929 |1710 | 43 | 0 | 33 | 0.000000e+00 | -- | Inf 3.89/3.97 o 42682 3.89/3.97 c y 3.8s| 7 | 6 | 957 | 69.3 |9319k| 6 | 1 |1929 |3365 |1929 |1706 | 43 | 0 | 151 | 0.000000e+00 | 4.268200e+04 | Inf 6.19/6.27 o 559 6.19/6.27 c * 6.0s| 70 | 54 | 2144 | 23.2 |9709k| 21 | - |1929 |3365 |1929 |1706 | 59 | 0 | 441 | 0.000000e+00 | 5.590000e+02 | Inf 6.19/6.28 o 402 6.19/6.28 c * 6.0s| 74 | 29 | 2151 | 22.1 |9734k| 21 | - |1929 |3365 |1929 |1707 | 60 | 0 | 443 | 0.000000e+00 | 4.020000e+02 | Inf 6.19/6.28 o 319 6.19/6.28 c * 6.0s| 75 | 21 | 2151 | 21.8 |9832k| 21 | - |1929 |3365 |1929 |1707 | 60 | 0 | 443 | 0.000000e+00 | 3.190000e+02 | Inf 8.69/8.74 o 308 8.69/8.74 c * 8.5s| 335 | 99 | 3957 | 10.2 | 11M| 38 | - |1929 |3617 |1929 |1706 | 83 | 252 | 832 | 0.000000e+00 | 3.080000e+02 | Inf 8.89/8.91 o 291 8.89/8.91 c * 8.6s| 341 | 99 | 4065 | 10.4 | 11M| 38 | - |1929 |3619 |1929 |1706 | 83 | 254 | 864 | 0.000000e+00 | 2.910000e+02 | Inf 9.49/9.58 o 223 9.49/9.58 c * 9.3s| 422 | 88 | 4549 | 9.5 | 11M| 38 | - |1929 |3699 |1929 |1714 | 111 | 340 |1000 | 0.000000e+00 | 2.230000e+02 | Inf 13.49/13.54 o 208 13.49/13.54 c *13.2s| 997 | 185 | 9401 | 8.9 | 13M| 38 | - |1929 |4142 |1929 |1706 | 172 | 987 |1625 | 0.000000e+00 | 2.080000e+02 | Inf 13.59/13.60 o 181 13.59/13.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 13.59/13.60 c *13.2s| 1025 | 180 | 9472 | 8.7 | 13M| 38 | - |1929 |4165 |1929 |1706 | 178 |1011 |1626 | 0.000000e+00 | 1.810000e+02 | Inf 13.59/13.62 o 170 13.59/13.62 c *13.3s| 1033 | 175 | 9492 | 8.7 | 13M| 38 | - |1929 |4173 |1929 |1706 | 178 |1020 |1626 | 0.000000e+00 | 1.700000e+02 | Inf 18.79/18.81 o 147 18.79/18.81 c *18.4s| 3313 | 377 | 23482 | 6.9 | 15M| 53 | - |1929 |5168 |1929 |1706 | 371 |3398 |1831 | 0.000000e+00 | 1.470000e+02 | Inf 18.89/18.99 o 135 18.89/18.99 c *18.5s| 3403 | 392 | 23916 | 6.9 | 15M| 53 | - |1929 |5205 |1929 |1706 | 377 |3513 |1832 | 0.000000e+00 | 1.350000e+02 | Inf 27.69/27.71 o 122 27.69/27.71 c *27.1s| 7596 | 763 | 50605 | 6.6 | 18M| 54 | - |1929 |5998 |1929 |1706 | 744 |7695 |1909 | 0.000000e+00 | 1.220000e+02 | Inf 31.99/32.01 o 120 31.99/32.01 c *31.3s| 9637 | 861 | 62684 | 6.4 | 19M| 54 | - |1929 |6165 |1929 |1706 | 940 |9832 |1978 | 0.000000e+00 | 1.200000e+02 | Inf 32.69/32.71 o 78 32.69/32.71 c *32.0s| 9950 | 808 | 64447 | 6.4 | 18M| 54 | - |1929 |6092 |1929 |1708 | 960 | 10k|1997 | 0.000000e+00 | 7.800000e+01 | Inf 32.89/32.91 c 32.2s| 10000 | 795 | 65128 | 6.5 | 18M| 54 | - |1929 |5610 |1929 |1706 | 966 | 10k|2001 | 0.000000e+00 | 7.800000e+01 | Inf 33.49/33.54 o 65 33.49/33.54 c *32.8s| 10275 | 780 | 67037 | 6.5 | 18M| 54 | - |1929 |5465 |1929 |1706 | 987 | 10k|2002 | 0.000000e+00 | 6.500000e+01 | Inf 41.59/41.60 o 33 41.59/41.60 c *40.7s| 13553 | 525 | 95005 | 7.0 | 17M| 54 | - |1929 |5962 |1929 |1706 |1344 | 14k|2031 | 0.000000e+00 | 3.300000e+01 | Inf 57.10/57.13 c 56.0s| 20000 | 731 |156885 | 7.8 | 20M| 54 | - |1929 |7831 | 0 | 0 |1674 | 22k|2031 | 0.000000e+00 | 3.300000e+01 | Inf 73.60/73.69 o 24 73.60/73.69 c *72.3s| 27336 | 715 |217606 | 7.9 | 21M| 54 | - |1929 | 10k|1929 |1706 |2034 | 32k|2031 | 0.000000e+00 | 2.400000e+01 | Inf 73.70/73.72 o 22 73.70/73.72 c *72.3s| 27342 | 713 |217679 | 7.9 | 21M| 54 | - |1929 | 10k|1929 |1706 |2034 | 32k|2031 | 0.000000e+00 | 2.200000e+01 | Inf 80.49/80.50 c 79.0s| 30000 | 798 |244181 | 8.1 | 21M| 54 | - |1929 |8801 | 0 | 0 |2220 | 35k|2031 | 0.000000e+00 | 2.200000e+01 | Inf 103.18/103.23 c 101s| 40000 | 899 |339316 | 8.5 | 24M| 54 | 25 |1929 | 12k|1929 |1706 |2872 | 48k|2177 | 0.000000e+00 | 2.200000e+01 | Inf 122.29/122.32 o 15 122.29/122.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 122.29/122.32 c * 120s| 47635 | 811 |418124 | 8.8 | 23M| 56 | - |1929 | 12k|1929 |1706 |3340 | 59k|2472 | 0.000000e+00 | 1.500000e+01 | Inf 127.49/127.56 c 125s| 50000 | 787 |440446 | 8.8 | 22M| 56 | 26 |1929 | 10k|1929 |1706 |3459 | 62k|2483 | 0.000000e+00 | 1.500000e+01 | Inf 149.08/149.10 c 146s| 60000 | 818 |522921 | 8.7 | 24M| 56 | 39 |1929 | 15k|1929 |1706 |3847 | 75k|2769 | 0.000000e+00 | 1.500000e+01 | Inf 170.79/170.83 c 168s| 70000 | 868 |600926 | 8.6 | 26M| 56 | 21 |1929 | 17k|1929 |1706 |4598 | 89k|2988 | 0.000000e+00 | 1.500000e+01 | Inf 194.78/194.83 c 192s| 80000 | 1036 |688815 | 8.6 | 27M| 57 | 22 |1929 | 16k|1929 |1706 |5171 | 103k|3268 | 0.000000e+00 | 1.500000e+01 | Inf 207.29/207.39 o 14 207.29/207.39 c * 204s| 84905 | 1147 |740668 | 8.7 | 28M| 61 | - |1929 | 18k|1929 |1706 |5493 | 110k|3398 | 0.000000e+00 | 1.400000e+01 | Inf 219.89/219.98 c 216s| 90000 | 1200 |792654 | 8.8 | 30M| 61 | - |1929 | 21k| 0 | 0 |5951 | 117k|3502 | 0.000000e+00 | 1.400000e+01 | Inf 245.69/245.76 c 242s|100000 | 1194 |896285 | 9.0 | 28M| 66 | 24 |1929 | 14k|1929 |1706 |6594 | 130k|3765 | 0.000000e+00 | 1.400000e+01 | Inf 269.49/269.50 c 265s|110000 | 1296 |989540 | 9.0 | 31M| 66 | 13 |1929 | 21k|1929 |1706 |7277 | 144k|3928 | 0.000000e+00 | 1.400000e+01 | Inf 295.99/296.06 c 291s|120000 | 1412 | 1092k| 9.1 | 34M| 66 | 18 |1929 | 25k|1929 |1706 |7839 | 158k|4174 | 0.000000e+00 | 1.400000e+01 | Inf 323.40/323.43 c 318s|130000 | 1429 | 1198k| 9.2 | 33M| 68 | - |1929 | 19k|1929 |1706 |8529 | 172k|4409 | 0.000000e+00 | 1.400000e+01 | Inf 349.19/349.23 c 343s|140000 | 1415 | 1304k| 9.3 | 33M| 68 | - |1929 | 19k|1929 |1706 |9125 | 186k|4580 | 0.000000e+00 | 1.400000e+01 | Inf 364.89/364.90 o 10 364.89/364.90 c * 359s|146352 | 1370 | 1367k| 9.3 | 33M| 68 | - |1929 | 20k|1929 |1706 |9671 | 195k|4710 | 0.000000e+00 | 1.000000e+01 | Inf 373.90/373.94 c 368s|150000 | 1373 | 1403k| 9.4 | 32M| 68 | - |1929 | 17k| 0 | 0 |9858 | 200k|4769 | 0.000000e+00 | 1.000000e+01 | Inf 398.59/398.64 c 392s|160000 | 1353 | 1504k| 9.4 | 33M| 68 | - |1929 | 19k|1929 |1706 | 10k| 214k|5004 | 0.000000e+00 | 1.000000e+01 | Inf 423.08/423.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 423.08/423.10 c 416s|170000 | 1316 | 1599k| 9.4 | 32M| 68 | - |1929 | 18k|1929 |1706 | 11k| 228k|5151 | 0.000000e+00 | 1.000000e+01 | Inf 447.59/447.66 c 440s|180000 | 1206 | 1695k| 9.4 | 32M| 68 | - |1929 | 18k|1929 |1706 | 11k| 242k|5292 | 0.000000e+00 | 1.000000e+01 | Inf 472.19/472.29 c 464s|190000 | 1215 | 1792k| 9.4 | 32M| 68 | - |1929 | 17k| 0 | 0 | 12k| 255k|5437 | 0.000000e+00 | 1.000000e+01 | Inf 496.99/497.01 c 489s|200000 | 1318 | 1886k| 9.4 | 35M| 68 | 22 |1929 | 23k|1929 |1706 | 12k| 269k|5597 | 0.000000e+00 | 1.000000e+01 | Inf 520.79/520.84 c 512s|210000 | 1268 | 1965k| 9.4 | 35M| 72 | - |1929 | 22k|1929 |1706 | 13k| 283k|5720 | 0.000000e+00 | 1.000000e+01 | Inf 545.69/545.75 c 536s|220000 | 1305 | 2055k| 9.3 | 35M| 72 | - |1929 | 23k| 0 | 0 | 13k| 296k|5866 | 0.000000e+00 | 1.000000e+01 | Inf 571.79/571.81 c 562s|230000 | 1262 | 2153k| 9.4 | 33M| 72 | - |1929 | 17k| 0 | 0 | 14k| 310k|6019 | 0.000000e+00 | 1.000000e+01 | Inf 595.79/595.89 c 586s|240000 | 1266 | 2242k| 9.3 | 34M| 72 | 32 |1929 | 20k|1929 |1706 | 14k| 323k|6164 | 0.000000e+00 | 1.000000e+01 | Inf 620.18/620.28 c 610s|250000 | 1204 | 2334k| 9.3 | 35M| 72 | 22 |1929 | 21k|1929 |1706 | 14k| 336k|6328 | 0.000000e+00 | 1.000000e+01 | Inf 644.99/645.04 c 634s|260000 | 1195 | 2425k| 9.3 | 35M| 72 | - |1929 | 22k| 0 | 0 | 15k| 350k|6466 | 0.000000e+00 | 1.000000e+01 | Inf 667.69/667.71 c 656s|270000 | 1167 | 2500k| 9.3 | 35M| 72 | 19 |1929 | 20k|1929 |1706 | 15k| 364k|6611 | 0.000000e+00 | 1.000000e+01 | Inf 690.29/690.37 c 679s|280000 | 1215 | 2577k| 9.2 | 36M| 72 | 34 |1929 | 23k|1929 |1706 | 16k| 377k|6709 | 0.000000e+00 | 1.000000e+01 | Inf 691.79/691.87 o 8 691.79/691.87 c * 680s|280640 | 1190 | 2582k| 9.2 | 36M| 72 | - |1929 | 23k|1929 |1706 | 16k| 378k|6724 | 0.000000e+00 | 8.000000e+00 | Inf 713.49/713.54 c 702s|290000 | 1136 | 2653k| 9.1 | 35M| 72 | - |1929 | 21k| 0 | 0 | 17k| 392k|6786 | 0.000000e+00 | 8.000000e+00 | Inf 734.60/734.60 c 722s|300000 | 1120 | 2727k| 9.1 | 32M| 72 | 33 |1929 | 15k|1929 |1706 | 17k| 405k|6883 | 0.000000e+00 | 8.000000e+00 | Inf 755.49/755.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 755.49/755.57 c 743s|310000 | 1108 | 2797k| 9.0 | 33M| 72 | - |1929 | 17k| 0 | 0 | 18k| 419k|7011 | 0.000000e+00 | 8.000000e+00 | Inf 778.79/778.80 c 766s|320000 | 1115 | 2884k| 9.0 | 34M| 72 | - |1929 | 19k|1929 |1706 | 18k| 432k|7123 | 0.000000e+00 | 8.000000e+00 | Inf 802.09/802.18 c 789s|330000 | 1130 | 2965k| 9.0 | 36M| 72 | - |1929 | 24k| 0 | 0 | 18k| 446k|7205 | 0.000000e+00 | 8.000000e+00 | Inf 827.20/827.21 c 813s|340000 | 1162 | 3053k| 9.0 | 37M| 72 | 29 |1929 | 25k|1929 |1706 | 19k| 460k|7297 | 0.000000e+00 | 8.000000e+00 | Inf 851.59/851.69 c 837s|350000 | 1178 | 3134k| 9.0 | 38M| 72 | 25 |1929 | 26k|1929 |1706 | 19k| 474k|7366 | 0.000000e+00 | 8.000000e+00 | Inf 877.69/877.74 c 863s|360000 | 1177 | 3221k| 8.9 | 39M| 72 | 28 |1929 | 29k|1929 |1706 | 20k| 488k|7468 | 0.000000e+00 | 8.000000e+00 | Inf 903.69/903.76 c 889s|370000 | 1176 | 3306k| 8.9 | 39M| 72 | 18 |1929 | 29k|1929 |1706 | 20k| 502k|7586 | 0.000000e+00 | 8.000000e+00 | Inf 929.50/929.52 c 914s|380000 | 1179 | 3389k| 8.9 | 40M| 73 | - |1929 | 29k| 0 | 0 | 21k| 517k|7762 | 0.000000e+00 | 8.000000e+00 | Inf 956.10/956.11 c 940s|390000 | 1183 | 3474k| 8.9 | 41M| 73 | - |1929 | 30k|1929 |1706 | 21k| 531k|7859 | 0.000000e+00 | 8.000000e+00 | Inf 979.39/979.45 c 963s|400000 | 1238 | 3538k| 8.8 | 41M| 73 | 17 |1929 | 30k|1929 |1706 | 22k| 544k|7934 | 0.000000e+00 | 8.000000e+00 | Inf 1004.10/1004.11 c 987s|410000 | 1128 | 3613k| 8.8 | 34M| 73 | - |1929 | 14k| 0 | 0 | 22k| 558k|8021 | 0.000000e+00 | 8.000000e+00 | Inf 1026.09/1026.15 c 1008s|420000 | 1064 | 3694k| 8.8 | 34M| 73 | - |1929 | 15k| 0 | 0 | 23k| 572k|8123 | 0.000000e+00 | 8.000000e+00 | Inf 1048.39/1048.48 c 1029s|430000 | 1084 | 3780k| 8.8 | 35M| 73 | 21 |1929 | 17k|1929 |1706 | 23k| 585k|8283 | 0.000000e+00 | 8.000000e+00 | Inf 1068.69/1068.78 c 1048s|440000 | 1139 | 3846k| 8.7 | 36M| 73 | - |1929 | 19k| 0 | 0 | 24k| 599k|8302 | 0.000000e+00 | 8.000000e+00 | Inf 1090.50/1090.55 c 1069s|450000 | 1211 | 3915k| 8.7 | 37M| 73 | - |1929 | 20k|1929 |1706 | 24k| 613k|8411 | 0.000000e+00 | 8.000000e+00 | Inf 1112.70/1112.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1112.70/1112.77 c 1090s|460000 | 1247 | 3990k| 8.7 | 38M| 73 | 23 |1929 | 21k|1929 |1706 | 24k| 627k|8497 | 0.000000e+00 | 8.000000e+00 | Inf 1134.70/1134.72 c 1111s|470000 | 1356 | 4064k| 8.6 | 41M| 73 | - |1929 | 25k| 0 | 0 | 25k| 642k|8543 | 0.000000e+00 | 8.000000e+00 | Inf 1158.70/1158.70 c 1134s|480000 | 1356 | 4140k| 8.6 | 41M| 73 | 36 |1929 | 24k|1929 |1706 | 25k| 657k|8671 | 0.000000e+00 | 8.000000e+00 | Inf 1182.10/1182.17 c 1156s|490000 | 1338 | 4218k| 8.6 | 40M| 73 | - |1929 | 23k| 0 | 0 | 25k| 671k|8749 | 0.000000e+00 | 8.000000e+00 | Inf 1205.70/1205.71 c 1179s|500000 | 1326 | 4297k| 8.6 | 42M| 73 | 19 |1929 | 26k|1929 |1706 | 26k| 685k|8794 | 0.000000e+00 | 8.000000e+00 | Inf 1229.70/1229.80 c 1202s|510000 | 1285 | 4376k| 8.6 | 41M| 73 | - |1929 | 26k|1929 |1706 | 26k| 699k|8900 | 0.000000e+00 | 8.000000e+00 | Inf 1254.69/1254.77 c 1226s|520000 | 1253 | 4452k| 8.6 | 42M| 73 | - |1929 | 28k|1929 |1712 | 27k| 713k|8987 | 0.000000e+00 | 8.000000e+00 | Inf 1280.00/1280.01 c 1250s|530000 | 1043 | 4537k| 8.6 | 35M| 73 | 29 |1929 | 13k|1929 |1706 | 27k| 727k|9103 | 0.000000e+00 | 8.000000e+00 | Inf 1303.80/1303.83 c 1273s|540000 | 1131 | 4632k| 8.6 | 37M| 73 | - |1929 | 16k| 0 | 0 | 28k| 739k|9210 | 0.000000e+00 | 8.000000e+00 | Inf 1329.50/1329.52 c 1297s|550000 | 1129 | 4731k| 8.6 | 38M| 73 | 25 |1929 | 19k|1929 |1706 | 28k| 753k|9269 | 0.000000e+00 | 8.000000e+00 | Inf 1354.90/1354.91 c 1322s|560000 | 1152 | 4821k| 8.6 | 39M| 73 | - |1929 | 21k| 0 | 0 | 29k| 766k|9367 | 0.000000e+00 | 8.000000e+00 | Inf 1382.00/1382.05 c 1348s|570000 | 1115 | 4917k| 8.6 | 40M| 73 | 20 |1929 | 22k|1929 |1706 | 29k| 779k|9497 | 0.000000e+00 | 8.000000e+00 | Inf 1407.70/1407.77 c 1372s|580000 | 1100 | 5005k| 8.6 | 40M| 73 | - |1929 | 23k|1929 |1706 | 29k| 793k|9544 | 0.000000e+00 | 8.000000e+00 | Inf 1434.41/1434.47 c 1398s|590000 | 979 | 5100k| 8.6 | 35M| 73 | 14 |1929 | 12k|1929 |1706 | 30k| 806k|9754 | 0.000000e+00 | 8.000000e+00 | Inf 1457.01/1457.07 c 1419s|600000 | 1000 | 5191k| 8.7 | 36M| 73 | - |1929 | 15k| 0 | 0 | 30k| 819k|9756 | 0.000000e+00 | 8.000000e+00 | Inf 1480.90/1480.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1480.90/1480.90 c 1442s|610000 | 1032 | 5271k| 8.6 | 38M| 73 | 27 |1929 | 18k|1929 |1706 | 30k| 833k|9898 | 0.000000e+00 | 8.000000e+00 | Inf 1505.60/1505.60 c 1466s|620000 | 1102 | 5358k| 8.6 | 40M| 73 | 25 |1929 | 22k|1929 |1706 | 31k| 846k|9932 | 0.000000e+00 | 8.000000e+00 | Inf 1531.81/1531.83 c 1491s|630000 | 1110 | 5444k| 8.6 | 41M| 73 | 28 |1929 | 23k|1929 |1706 | 31k| 860k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1558.30/1558.37 c 1516s|640000 | 1116 | 5534k| 8.6 | 42M| 73 | 16 |1929 | 26k|1929 |1706 | 31k| 874k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1584.80/1584.85 c 1541s|650000 | 1093 | 5615k| 8.6 | 40M| 78 | 24 |1929 | 21k|1929 |1706 | 32k| 888k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1608.30/1608.36 c 1564s|660000 | 1097 | 5701k| 8.6 | 38M| 78 | 24 |1929 | 16k|1929 |1706 | 32k| 902k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1630.91/1630.97 c 1585s|670000 | 1138 | 5788k| 8.6 | 40M| 78 | - |1929 | 19k|1929 |1706 | 32k| 915k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1653.11/1653.13 c 1606s|680000 | 1178 | 5867k| 8.6 | 41M| 78 | 29 |1929 | 20k|1929 |1706 | 33k| 929k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1675.91/1675.98 c 1628s|690000 | 1204 | 5948k| 8.6 | 41M| 78 | 18 |1929 | 19k|1929 |1706 | 33k| 943k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1700.20/1700.21 c 1651s|700000 | 1241 | 6040k| 8.6 | 41M| 78 | - |1929 | 19k|1929 |1706 | 34k| 957k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1723.81/1723.81 c 1674s|710000 | 1288 | 6128k| 8.6 | 43M| 78 | 11 |1929 | 22k|1929 |1706 | 34k| 971k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1748.11/1748.12 c 1697s|720000 | 1298 | 6217k| 8.6 | 43M| 78 | - |1929 | 23k| 0 | 0 | 35k| 985k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1772.81/1772.83 c 1721s|730000 | 1398 | 6303k| 8.6 | 43M| 78 | - |1929 | 21k|1929 |1706 | 35k| 999k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1796.71/1796.77 c 1744s|740000 | 1443 | 6387k| 8.6 | 44M| 78 | 23 |1929 | 23k|1929 |1706 | 36k|1013k| 10k| 0.000000e+00 | 8.000000e+00 | Inf 1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.00 c 1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.00 c Solving Time (sec) : 1746.64 1800.02/1800.00 c Solving Nodes : 741281 1800.02/1800.00 c Primal Bound : +8.00000000000000e+00 (132 solutions) 1800.02/1800.00 c Dual Bound : +0.00000000000000e+00 1800.02/1800.00 c Gap : infinite 1800.02/1800.01 s SATISFIABLE 1800.02/1800.01 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 1800.02/1800.01 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 1800.02/1800.01 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1800.02/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 1800.02/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 1800.02/1800.01 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 1800.02/1800.01 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 1800.02/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 1800.02/1800.01 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 1800.02/1800.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1800.02/1800.01 v -x1 1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.01 c Solving Time : 1746.64 1800.02/1800.01 c Original Problem : 1800.02/1800.01 c Problem name : HOME/instance-2692921-1277910653.wbo 1800.02/1800.01 c Variables : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous) 1800.02/1800.01 c Constraints : 3638 initial, 3638 maximal 1800.02/1800.01 c Presolved Problem : 1800.02/1800.01 c Problem name : t_HOME/instance-2692921-1277910653.wbo 1800.02/1800.01 c Variables : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous) 1800.02/1800.01 c Constraints : 3365 initial, 32753 maximal 1800.02/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.01 c trivial : 0.00 81 0 0 0 0 0 0 0 1800.02/1800.01 c dualfix : 0.00 81 0 0 0 0 0 0 0 1800.02/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0 1800.02/1800.01 c indicator : 0.00 0 0 0 0 0 81 0 0 1800.02/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.02/1800.01 c linear : 0.05 0 0 0 954 0 192 139 0 1800.02/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c root node : - 794 - - 1588 - - - - 1800.02/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.01 c integral : 0 0 0 406628 0 156 2547 0 0 795290 1800.02/1800.01 c indicator : 849 0 3488153 6992 0 455 1015698 0 0 0 1800.02/1800.01 c knapsack : 1 6 3482392 6920 0 48979 9795175 2 0 0 1800.02/1800.01 c setppc : 14 6 3437888 6904 0 54734 2094084 0 0 0 1800.02/1800.01 c linear : 849 6 3384465 6956 0 60855 4216192 36208 0 0 1800.02/1800.01 c logicor : 1652+ 6 1622281 483 0 129047 6131142 0 0 0 1800.02/1800.01 c countsols : 0 0 0 483 0 0 0 0 0 0 1800.02/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.01 c integral : 47.60 0.00 0.00 47.60 0.00 1800.02/1800.01 c indicator : 5.25 0.00 5.11 0.14 0.00 1800.02/1800.01 c knapsack : 39.71 0.00 39.71 0.00 0.00 1800.02/1800.02 c setppc : 12.65 0.00 12.65 0.00 0.00 1800.02/1800.02 c linear : 45.68 0.00 45.54 0.14 0.00 1800.02/1800.02 c logicor : 222.93 0.00 222.93 0.00 0.00 1800.02/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.02 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.02 c vbounds : 0.32 2 0 0 1800.02/1800.02 c rootredcost : 0.55 23 0 794 1800.02/1800.02 c pseudoobj : 60.53 3492710 4042 873463 1800.02/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.02 c propagation : 12.11 297657 297318 1789772 30.1 11453 26.3 - 1800.02/1800.02 c infeasible LP : 18.61 96736 96735 755247 43.6 501 25.5 0 1800.02/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.02 c pseudo solution : 0.01 35 35 237 20.0 9 11.2 - 1800.02/1800.02 c applied globally : - - - 1015021 27.1 - - - 1800.02/1800.02 c applied locally : - - - 0 0.0 - - - 1800.02/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.02 c cut pool : 0.00 5 - - 19 - (maximal pool size: 132) 1800.02/1800.02 c redcost : 10.93 408357 0 110952 0 0 1800.02/1800.02 c impliedbounds : 0.00 6 0 0 0 0 1800.02/1800.02 c intobj : 0.00 0 0 0 0 0 1800.02/1800.02 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.02 c gomory : 0.25 6 0 0 910 0 1800.02/1800.02 c strongcg : 0.17 6 0 0 522 0 1800.02/1800.02 c cmir : 0.01 6 0 0 0 0 1800.02/1800.02 c flowcover : 0.07 6 0 0 0 0 1800.02/1800.02 c clique : 0.00 6 0 0 0 0 1800.02/1800.02 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.02 c mcf : 0.00 1 0 0 0 0 1800.02/1800.02 c rapidlearning : 0.00 0 0 0 0 0 1800.02/1800.02 c Pricers : Time Calls Vars 1800.02/1800.02 c problem variables: 0.00 0 0 1800.02/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.02 c relpscost : 47.39 399634 156 2547 0 0 795290 1800.02/1800.02 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.02 c inference : 0.03 461 0 0 0 0 922 1800.02/1800.02 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.02 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.02 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.02 c random : 0.00 0 0 0 0 0 0 1800.02/1800.02 c Primal Heuristics : Time Calls Found 1800.02/1800.02 c LP solutions : 0.01 - 22 1800.02/1800.02 c pseudo solutions : 0.00 - 0 1800.02/1800.02 c feaspump : 0.06 1 0 1800.02/1800.02 c oneopt : 0.23 22 0 1800.02/1800.02 c intshifting : 0.02 16 0 1800.02/1800.02 c veclendiving : 0.19 53 0 1800.02/1800.02 c linesearchdiving : 0.19 53 0 1800.02/1800.02 c guideddiving : 0.14 53 0 1800.02/1800.02 c rootsoldiving : 0.58 27 0 1800.02/1800.02 c pscostdiving : 0.18 54 0 1800.02/1800.02 c coefdiving : 0.17 54 0 1800.02/1800.02 c fracdiving : 0.24 54 0 1800.02/1800.02 c objpscostdiving : 0.17 28 0 1800.02/1800.02 c crossover : 0.60 21 0 1800.02/1800.02 c trivial : 0.00 2 0 1800.02/1800.02 c simplerounding : 0.47 400141 0 1800.02/1800.02 c zirounding : 0.26 1000 0 1800.02/1800.02 c rounding : 0.91 8905 0 1800.02/1800.02 c shifting : 1.32 2813 0 1800.02/1800.02 c twoopt : 0.00 0 0 1800.02/1800.02 c fixandinfer : 0.00 0 0 1800.02/1800.02 c intdiving : 0.00 0 0 1800.02/1800.02 c actconsdiving : 0.00 0 0 1800.02/1800.02 c octane : 0.00 0 0 1800.02/1800.02 c rens : 0.02 1 0 1800.02/1800.02 c rins : 0.00 0 0 1800.02/1800.02 c localbranching : 0.00 0 0 1800.02/1800.02 c mutation : 0.00 0 0 1800.02/1800.02 c dins : 0.00 0 0 1800.02/1800.02 c undercover : 0.00 0 0 1800.02/1800.02 c nlp : 0.07 0 0 1800.02/1800.02 c trysol : 0.47 1807 110 1800.02/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.02 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.02 c dual LP : 892.56 501968 6391251 12.73 7160.58 1800.02/1800.02 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.02 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.02 c diving/probing LP: 1.23 844 7437 8.81 6046.34 1800.02/1800.02 c strong branching : 42.98 10875 286808 26.37 6673.06 1800.02/1800.02 c (at root node) : - 33 5277 159.91 - 1800.02/1800.02 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.02 c B&B Tree : 1800.02/1800.02 c number of runs : 1 1800.02/1800.02 c nodes : 741281 1800.02/1800.02 c nodes (total) : 741281 1800.02/1800.02 c nodes left : 1442 1800.02/1800.02 c max depth : 78 1800.02/1800.02 c max depth (total): 78 1800.02/1800.02 c backtracks : 92922 (12.5%) 1800.02/1800.02 c delayed cutoffs : 52831 1800.02/1800.02 c repropagations : 1435539 (4425774 domain reductions, 51284 cutoffs) 1800.02/1800.02 c avg switch length: 5.36 1800.02/1800.02 c switching time : 204.44 1800.02/1800.02 c Solution : 1800.02/1800.02 c Solutions found : 132 (23 improvements) 1800.02/1800.02 c First Solution : +4.26820000000000e+04 (in run 1, after 7 nodes, 3.77 seconds, depth 6, found by <trysol>) 1800.02/1800.02 c Primal Bound : +8.00000000000000e+00 (in run 1, after 280640 nodes, 680.22 seconds, depth 48, found by <relaxation>) 1800.02/1800.02 c Dual Bound : +0.00000000000000e+00 1800.02/1800.02 c Gap : infinite 1800.02/1800.02 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.02 c Root Iterations : 541 1800.02/1800.08 c Time complete: 1800.09.
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692921-1277910653/watcher-2692921-1277910653 -o /tmp/evaluation-result-2692921-1277910653/solver-2692921-1277910653 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692921-1277910653.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.92 1.98 1.99 3/176 13439 /proc/meminfo: memFree=31327880/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=9288 CPUtime=0 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 1645 0 0 0 0 0 0 0 21 0 1 0 132361625 9510912 1565 4089446400 4194304 8223781 140733336987056 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13439/statm: 2322 1565 369 984 0 1335 0 [startup+0.059409 s] /proc/loadavg: 1.92 1.98 1.99 3/176 13439 /proc/meminfo: memFree=31327880/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=22768 CPUtime=0.05 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 5617 0 0 0 4 1 0 0 21 0 1 0 132361625 23314432 4659 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13439/statm: 5692 4659 446 984 0 4705 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 22768 [startup+0.100403 s] /proc/loadavg: 1.92 1.98 1.99 3/176 13439 /proc/meminfo: memFree=31327880/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=22768 CPUtime=0.09 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 6910 0 0 0 7 2 0 0 21 0 1 0 132361625 23314432 4667 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13439/statm: 5692 4667 452 984 0 4705 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22768 [startup+0.30038 s] /proc/loadavg: 1.92 1.98 1.99 3/176 13439 /proc/meminfo: memFree=31327880/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=30376 CPUtime=0.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 12206 0 0 0 24 5 0 0 18 0 1 0 132361625 31105024 6731 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13439/statm: 7594 6731 582 984 0 6607 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30376 [startup+0.700309 s] /proc/loadavg: 1.92 1.98 1.99 3/176 13439 /proc/meminfo: memFree=31327880/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=31804 CPUtime=0.69 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 12566 0 0 0 62 7 0 0 18 0 1 0 132361625 32567296 7060 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13439/statm: 7951 7060 583 984 0 6964 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31804 [startup+1.50017 s] /proc/loadavg: 1.92 1.98 1.99 3/177 13440 /proc/meminfo: memFree=31301092/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=31804 CPUtime=1.49 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 20462 0 0 0 138 11 0 0 19 0 1 0 132361625 32567296 7088 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13439/statm: 7951 7088 600 984 0 6964 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31804 [startup+3.10089 s] /proc/loadavg: 1.92 1.98 1.99 3/177 13440 /proc/meminfo: memFree=31301380/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=31804 CPUtime=3.1 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 20965 0 0 0 294 16 0 0 24 0 1 0 132361625 32567296 7088 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13439/statm: 7951 7088 600 984 0 6964 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 31804 [startup+6.30034 s] /proc/loadavg: 1.93 1.98 1.99 3/177 13440 /proc/meminfo: memFree=31301244/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=32360 CPUtime=6.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 24724 0 0 0 608 21 0 0 25 0 1 0 132361625 33136640 7231 4089446400 4194304 8223781 140733336987056 18446744073709551615 6445097 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13439/statm: 8090 7231 601 984 0 7103 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32360 [startup+12.7002 s] /proc/loadavg: 1.93 1.98 1.99 3/177 13440 /proc/meminfo: memFree=31297044/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=38664 CPUtime=12.69 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 41704 0 0 0 1239 30 0 0 25 0 1 0 132361625 39591936 8590 4089446400 4194304 8223781 140733336987056 18446744073709551615 6482896 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13439/statm: 9666 8590 605 984 0 8679 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38664 [startup+25.501 s] /proc/loadavg: 1.95 1.98 1.99 3/177 13440 /proc/meminfo: memFree=31286176/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=47504 CPUtime=25.49 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 79850 0 0 0 2491 58 0 0 25 0 1 0 132361625 48644096 10929 4089446400 4194304 8223781 140733336987056 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13439/statm: 11876 10929 607 984 0 10889 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 47504 [startup+51.1006 s] /proc/loadavg: 1.96 1.98 1.99 3/177 13440 /proc/meminfo: memFree=31274856/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=58116 CPUtime=51.09 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 158256 0 0 0 5006 103 0 0 25 0 1 0 132361625 59510784 13574 4089446400 4194304 8223781 140733336987056 18446744073709551615 6446858 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13439/statm: 14529 13574 606 984 0 13542 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 58116 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.99 3/177 13442 /proc/meminfo: memFree=31263664/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=66004 CPUtime=102.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 192456 0 0 0 10048 181 0 0 25 0 1 0 132361625 67588096 15552 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 16501 15552 606 984 0 15514 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 66004 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 13444 /proc/meminfo: memFree=31256936/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=70328 CPUtime=162.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 231009 0 0 0 15951 278 0 0 25 0 1 0 132361625 72015872 16592 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 17582 16592 606 984 0 16595 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 70328 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.99 3/177 13444 /proc/meminfo: memFree=31246860/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=76312 CPUtime=222.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 303831 0 0 0 21854 375 0 0 25 0 1 0 132361625 78143488 18088 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 19078 18088 606 984 0 18091 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 76312 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.99 3/177 13446 /proc/meminfo: memFree=31238888/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=78972 CPUtime=282.28 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 381878 0 0 0 27758 470 0 0 25 0 1 0 132361625 80867328 18707 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 19743 18707 606 984 0 18756 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 78972 [startup+342.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 13448 /proc/meminfo: memFree=31229308/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=83820 CPUtime=342.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 483837 0 0 0 33660 569 0 0 25 0 1 0 132361625 85831680 19937 4089446400 4194304 8223781 140733336987056 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 20955 19937 606 984 0 19968 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 83820 [startup+402.301 s] /proc/loadavg: 2.05 2.00 2.00 3/177 13450 /proc/meminfo: memFree=31224940/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=84460 CPUtime=402.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 607326 0 0 0 39551 678 0 0 25 0 1 0 132361625 86487040 20108 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 21115 20108 606 984 0 20128 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 84460 [startup+462.3 s] /proc/loadavg: 2.02 2.00 2.00 3/177 13452 /proc/meminfo: memFree=31220204/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=84820 CPUtime=462.28 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 723454 0 0 0 45452 776 0 0 25 0 1 0 132361625 86855680 20196 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 21205 20196 606 984 0 20218 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 84820 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13452 /proc/meminfo: memFree=31215220/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=85952 CPUtime=522.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 855136 0 0 0 51348 881 0 0 25 0 1 0 132361625 88014848 20406 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 21488 20406 606 984 0 20501 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 85952 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13454 /proc/meminfo: memFree=31208868/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=86936 CPUtime=582.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 987272 0 0 0 57242 987 0 0 25 0 1 0 132361625 89022464 20576 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 21734 20576 606 984 0 20747 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 86936 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13456 /proc/meminfo: memFree=31203384/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=87928 CPUtime=642.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 1061577 0 0 0 63142 1087 0 0 25 0 1 0 132361625 90038272 20754 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 21982 20754 606 984 0 20995 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 87928 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13460 /proc/meminfo: memFree=31184944/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=90252 CPUtime=822.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 1344950 0 0 0 80839 1390 0 0 25 0 1 0 132361625 92418048 21290 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 22563 21290 606 984 0 21576 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 90252 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13462 /proc/meminfo: memFree=31180928/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=90996 CPUtime=882.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 1450141 0 0 0 86742 1487 0 0 25 0 1 0 132361625 93179904 21498 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 22749 21498 606 984 0 21762 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 90996 [startup+942.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 13464 /proc/meminfo: memFree=31170108/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=93268 CPUtime=942.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 1542718 0 0 0 92647 1582 0 0 25 0 1 0 132361625 95506432 21999 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13439/statm: 23317 21999 606 984 0 22330 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 93268 [startup+1002.3 s] /proc/loadavg: 1.91 1.98 1.99 3/177 13515 /proc/meminfo: memFree=31408404/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=95584 CPUtime=1002.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 1623236 0 0 0 98525 1704 0 0 25 0 1 0 132361625 97878016 22475 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 23896 22475 606 984 0 22909 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 95584 [startup+1062.3 s] /proc/loadavg: 1.96 1.98 1.99 3/177 13517 /proc/meminfo: memFree=31390644/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=95948 CPUtime=1062.29 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 1754919 0 0 0 104224 2005 0 0 25 0 1 0 132361625 98250752 22551 4089446400 4194304 8223781 140733336987056 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 23960 22546 606 984 0 22973 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 95948 [startup+1122.3 s] /proc/loadavg: 1.98 1.98 1.99 3/177 13517 /proc/meminfo: memFree=31386892/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=96780 CPUtime=1122.3 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 1865547 0 0 0 109937 2293 0 0 25 0 1 0 132361625 99102720 22798 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 24195 22798 606 984 0 23208 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 96780 [startup+1182.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 13519 /proc/meminfo: memFree=31382880/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=97624 CPUtime=1182.3 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 1965409 0 0 0 115664 2566 0 0 25 0 1 0 132361625 99966976 23012 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 24406 23012 606 984 0 23419 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 97624 [startup+1242.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 13521 /proc/meminfo: memFree=31380116/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=97932 CPUtime=1242.3 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 2063608 0 0 0 121390 2840 0 0 25 0 1 0 132361625 100282368 23091 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 24483 23091 606 984 0 23496 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 97932 [startup+1302.3 s] /proc/loadavg: 2.04 2.00 2.00 3/177 13523 /proc/meminfo: memFree=31377728/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=99120 CPUtime=1302.3 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 2114965 0 0 0 127123 3107 0 0 25 0 1 0 132361625 101498880 23222 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 24780 23222 606 984 0 23793 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 99120 [startup+1362.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 13528 /proc/meminfo: memFree=31375008/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=99932 CPUtime=1362.3 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 2126112 0 0 0 132870 3360 0 0 25 0 1 0 132361625 102330368 23527 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 24983 23527 710 984 0 23996 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 99932 [startup+1422.31 s] /proc/loadavg: 2.02 2.00 2.00 3/177 13528 /proc/meminfo: memFree=31372496/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=100504 CPUtime=1422.3 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 2185201 0 0 0 138611 3619 0 0 25 0 1 0 132361625 102916096 23652 4089446400 4194304 8223781 140733336987056 18446744073709551615 7256943 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 25126 23652 710 984 0 24139 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 100504 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13530 /proc/meminfo: memFree=31370724/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=100852 CPUtime=1482.3 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 2234616 0 0 0 144332 3898 0 0 25 0 1 0 132361625 103272448 23748 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 25213 23748 710 984 0 24226 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 100852 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13532 /proc/meminfo: memFree=31368592/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=101540 CPUtime=1542.3 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 2327803 0 0 0 150077 4153 0 0 25 0 1 0 132361625 103976960 23918 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 25385 23918 710 984 0 24398 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 101540 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13534 /proc/meminfo: memFree=31366688/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=101784 CPUtime=1602.31 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 2438581 0 0 0 155807 4424 0 0 25 0 1 0 132361625 104226816 24004 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 25446 24004 710 984 0 24459 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 101784 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13536 /proc/meminfo: memFree=31365272/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=102012 CPUtime=1662.3 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 2543273 0 0 0 161517 4713 0 0 25 0 1 0 132361625 104460288 24052 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 25503 24052 710 984 0 24516 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 102012 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13536 /proc/meminfo: memFree=31364112/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=102348 CPUtime=1722.31 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 2602127 0 0 0 167243 4988 0 0 25 0 1 0 132361625 104804352 24161 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 25587 24161 710 984 0 24600 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 102348 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13538 /proc/meminfo: memFree=31361720/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=102976 CPUtime=1782.31 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 2680730 0 0 0 172979 5252 0 0 25 0 1 0 132361625 105447424 24330 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 25744 24330 710 984 0 24757 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 102976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13540 /proc/meminfo: memFree=31361964/32951132 swapFree=67111528/67111528 [pid=13439] ppid=13437 vsize=103032 CPUtime=1800.02 /proc/13439/stat : 13439 (pbscip.linux.x8) R 13437 13439 11876 0 -1 4202496 2709764 0 0 0 174666 5336 0 0 25 0 1 0 132361625 105504768 24345 4089446400 4194304 8223781 140733336987056 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13439/statm: 25758 24345 710 984 0 24771 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 103032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.09 CPU time (s): 1800.1 CPU user time (s): 1746.74 CPU system time (s): 53.3669 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 106028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1746.74 system time used= 53.3669 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2709766 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= 3 involuntary context switches= 10410 runsolver used 2.42263 second user time and 5.77312 second system time The end
Begin job on node128 at 2010-06-30 17:10:53 IDJOB=2692921 IDBENCH=78979 IDSOLVER=1204 FILE ID=node128/2692921-1277910653 PBS_JOBID= 11197202 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692921-1277910653/watcher-2692921-1277910653 -o /tmp/evaluation-result-2692921-1277910653/solver-2692921-1277910653 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692921-1277910653.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d542ebd8fdf9cdf1064a589ed9ad7045 RANDOM SEED=2062517156 node128.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.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 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.83 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.853 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 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.853 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.853 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: 32951132 kB MemFree: 31328656 kB Buffers: 196616 kB Cached: 1015496 kB SwapCached: 0 kB Active: 688228 kB Inactive: 792256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31328656 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4732 kB Writeback: 0 kB AnonPages: 268152 kB Mapped: 17160 kB Slab: 77632 kB PageTables: 4876 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 436864 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node128 at 2010-06-30 17:40:55