Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1800.15 | 1800.09 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-66-100-0.wbo |
MD5SUM | 187986d7f99d984dce20251cf704622a |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 320.534 |
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 | 911 |
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 | 46278 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46277 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 715 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2693409-1277902604.wbo> 0.01/0.02 c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints 0.01/0.02 c problem read 0.01/0.02 c presolving settings loaded 0.01/0.04 c presolving: 0.01/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.01/0.07 c (round 2) 0 del vars, 104 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.01/0.09 c (round 3) 50 del vars, 246 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.09/0.10 c (round 4) 120 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs 0.09/0.11 c (round 5) 140 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs 0.09/0.15 c (0.1s) probing: 101/1072 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.15 c presolving (6 rounds): 0.09/0.15 c 140 deleted vars, 266 deleted constraints, 931 tightened bounds, 0 added holes, 142 changed sides, 0 changed coefficients 0.09/0.15 c 1117 implications, 11 cliques 0.09/0.15 c presolved problem has 1913 variables (1072 bin, 0 int, 0 impl, 841 cont) and 3353 constraints 0.09/0.15 c 841 constraints of type <indicator> 0.09/0.15 c 11 constraints of type <setppc> 0.09/0.15 c 841 constraints of type <linear> 0.09/0.15 c 1660 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.11 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.98 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 3420 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.15 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.15 c 0.1s| 1 | 0 | 25 | - |8700k| 0 | 18 |1913 |3353 |1913 |1671 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.20 c 0.2s| 1 | 0 | 86 | - |8756k| 0 | 43 |1913 |3353 |1913 |1686 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.25 c 0.2s| 1 | 0 | 123 | - |9014k| 0 | 47 |1913 |3353 |1913 |1700 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.36 c 0.3s| 1 | 0 | 337 | - |9037k| 0 | 17 |1913 |3353 |1913 |1711 | 40 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.44 c 0.4s| 1 | 0 | 544 | - |9253k| 0 | 40 |1913 |3353 |1913 |1718 | 47 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.57 c 0.5s| 1 | 0 | 949 | - |9297k| 0 | 22 |1913 |3353 |1913 |1723 | 52 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.57 o 42417 0.49/0.57 c y 0.5s| 1 | 0 | 949 | - |9326k| 0 | 22 |1913 |3353 |1913 |1723 | 52 | 0 | 0 | 0.000000e+00 | 4.241700e+04 | Inf 0.59/0.67 c 0.6s| 1 | 0 | 1238 | - |9517k| 0 | 19 |1913 |3353 |1913 |1727 | 56 | 0 | 0 | 0.000000e+00 | 4.241700e+04 | Inf 0.69/0.76 c 0.7s| 1 | 0 | 1580 | - |9825k| 0 | 0 |1913 |3353 |1913 |1731 | 60 | 0 | 0 | 0.000000e+00 | 4.241700e+04 | Inf 0.69/0.76 c 0.7s| 1 | 2 | 1580 | - |9826k| 0 | 0 |1913 |3353 |1913 |1731 | 60 | 0 | 0 | 0.000000e+00 | 4.241700e+04 | Inf 4.89/4.92 o 621 4.89/4.92 c * 4.8s| 752 | 500 | 3020 | 1.9 | 11M| 751 | - |1913 |3353 |1913 |1743 | 83 | 0 | 140 | 0.000000e+00 | 6.210000e+02 | Inf 9.49/9.56 o 535 9.49/9.56 c * 9.3s| 928 | 575 | 5033 | 3.7 | 11M| 751 | - |1913 |3390 |1913 |1740 | 182 | 37 | 534 | 0.000000e+00 | 5.350000e+02 | Inf 9.80/9.81 o 415 9.80/9.81 c * 9.6s| 950 | 507 | 5341 | 4.0 | 11M| 751 | - |1913 |3403 |1913 |1737 | 199 | 50 | 557 | 0.000000e+00 | 4.150000e+02 | Inf 11.00/11.08 o 281 11.00/11.08 c *10.8s| 972 | 467 | 6369 | 4.9 | 11M| 751 | - |1913 |3425 |1913 |1734 | 229 | 72 | 655 | 0.000000e+00 | 2.810000e+02 | Inf 11.99/12.04 o 226 11.99/12.04 c *11.7s| 1066 | 480 | 8120 | 6.1 | 12M| 751 | - |1913 |3543 |1913 |1744 | 303 | 190 | 747 | 0.000000e+00 | 2.260000e+02 | Inf 23.69/23.75 o 221 23.69/23.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 23.69/23.75 c *23.2s| 4640 | 1035 | 66029 | 13.9 | 17M| 751 | - |1913 |5185 |1913 |1722 |1133 |5384 |1074 | 0.000000e+00 | 2.210000e+02 | Inf 23.99/24.06 o 213 23.99/24.06 c *23.5s| 4709 | 1064 | 67641 | 14.0 | 17M| 751 | - |1913 |5154 |1913 |1742 |1138 |5442 |1079 | 0.000000e+00 | 2.130000e+02 | Inf 24.29/24.37 o 202 24.29/24.37 c *23.8s| 4791 | 1116 | 69063 | 14.1 | 17M| 751 | - |1913 |5119 |1913 |1727 |1145 |5479 |1083 | 0.000000e+00 | 2.020000e+02 | Inf 24.29/24.38 o 201 24.29/24.38 c *23.8s| 4793 | 1116 | 69078 | 14.1 | 17M| 751 | - |1913 |5119 |1913 |1728 |1146 |5479 |1083 | 0.000000e+00 | 2.010000e+02 | Inf 24.29/24.38 o 197 24.29/24.38 c *23.8s| 4794 | 1112 | 69078 | 14.1 | 17M| 751 | - |1913 |5119 |1913 |1728 |1146 |5479 |1083 | 0.000000e+00 | 1.970000e+02 | Inf 26.40/26.46 o 187 26.40/26.46 c *25.8s| 5011 | 1181 | 82152 | 16.1 | 18M| 751 | - |1913 |5118 |1913 |1731 |1215 |5765 |1099 | 0.000000e+00 | 1.870000e+02 | Inf 26.99/27.04 o 186 26.99/27.04 c *26.4s| 5070 | 1199 | 85733 | 16.6 | 18M| 751 | - |1913 |5062 |1913 |1731 |1233 |5810 |1099 | 0.000000e+00 | 1.860000e+02 | Inf 27.99/28.09 o 163 27.99/28.09 c *27.4s| 5300 | 1280 | 91945 | 17.1 | 18M| 751 | - |1913 |5026 |1913 |1731 |1273 |5909 |1099 | 0.000000e+00 | 1.630000e+02 | Inf 27.99/28.09 o 146 27.99/28.09 c *27.4s| 5301 | 1243 | 91947 | 17.1 | 18M| 751 | - |1913 |5026 |1913 |1731 |1273 |5909 |1099 | 0.000000e+00 | 1.460000e+02 | Inf 28.19/28.26 o 110 28.19/28.26 c *27.6s| 5335 | 1169 | 92943 | 17.1 | 17M| 751 | - |1913 |5018 |1913 |1741 |1294 |5911 |1099 | 0.000000e+00 | 1.100000e+02 | Inf 28.19/28.26 o 87 28.19/28.26 c *27.6s| 5336 | 925 | 92946 | 17.1 | 16M| 751 | - |1913 |5018 |1913 |1741 |1294 |5911 |1099 | 0.000000e+00 | 8.700000e+01 | Inf 28.29/28.39 o 85 28.29/28.39 c *27.7s| 5354 | 885 | 93602 | 17.2 | 16M| 751 | - |1913 |4883 |1913 |1731 |1305 |5917 |1099 | 0.000000e+00 | 8.500000e+01 | Inf 28.49/28.55 o 57 28.49/28.55 c *27.8s| 5425 | 745 | 94235 | 17.1 | 16M| 751 | - |1913 |4779 |1913 |1721 |1306 |5917 |1099 | 0.000000e+00 | 5.700000e+01 | Inf 28.49/28.55 o 54 28.49/28.55 c *27.8s| 5426 | 699 | 94235 | 17.1 | 16M| 751 | - |1913 |4779 |1913 |1721 |1306 |5917 |1099 | 0.000000e+00 | 5.400000e+01 | Inf 28.69/28.70 o 45 28.69/28.70 c *28.0s| 5436 | 650 | 95126 | 17.2 | 16M| 751 | - |1913 |4385 |1913 |1731 |1317 |5922 |1099 | 0.000000e+00 | 4.500000e+01 | Inf 28.69/28.72 o 13 28.69/28.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 28.69/28.72 c *28.0s| 5440 | 444 | 95153 | 17.2 | 15M| 751 | - |1913 |4281 |1913 |1734 |1320 |5927 |1099 | 0.000000e+00 | 1.300000e+01 | Inf 28.79/28.89 o 9 28.79/28.89 c *28.2s| 5465 | 409 | 96237 | 17.3 | 15M| 751 | - |1913 |3713 |1913 |1728 |1320 |5965 |1099 | 0.000000e+00 | 9.000000e+00 | Inf 43.69/43.73 c 42.5s| 10000 | 484 |187228 | 18.6 | 17M| 751 | 21 |1913 |6846 |1913 |1731 |2061 | 12k|1397 | 0.000000e+00 | 9.000000e+00 | Inf 58.89/58.95 o 7 58.89/58.95 c *57.2s| 16989 | 541 |277784 | 16.3 | 18M| 751 | - |1913 |8747 |1913 |1720 |3030 | 21k|1636 | 0.000000e+00 | 7.000000e+00 | Inf 62.39/62.48 o 4 62.39/62.48 c *60.6s| 18624 | 479 |297311 | 15.9 | 18M| 751 | - |1913 |8780 |1913 |1720 |3268 | 23k|1732 | 0.000000e+00 | 4.000000e+00 | Inf 65.09/65.19 c 63.3s| 20000 | 474 |314219 | 15.6 | 18M| 751 | 12 |1913 |9329 |1913 |1720 |3398 | 25k|1735 | 0.000000e+00 | 4.000000e+00 | Inf 86.99/87.01 c 84.3s| 30000 | 437 |456239 | 15.2 | 19M| 751 | 18 |1913 |9232 |1913 |1731 |4734 | 38k|1780 | 0.000000e+00 | 4.000000e+00 | Inf 111.99/112.05 c 108s| 40000 | 459 |627537 | 15.6 | 20M| 751 | 27 |1913 | 12k|1913 |1720 |5865 | 52k|2032 | 0.000000e+00 | 4.000000e+00 | Inf 135.40/135.45 c 131s| 50000 | 534 |772222 | 15.4 | 23M| 751 | - |1913 | 18k| 0 | 0 |7433 | 65k|2302 | 0.000000e+00 | 4.000000e+00 | Inf 161.00/161.04 c 156s| 60000 | 512 |928251 | 15.4 | 23M| 751 | 25 |1913 | 18k|1913 |1720 |9067 | 79k|2626 | 0.000000e+00 | 4.000000e+00 | Inf 187.20/187.27 c 181s| 70000 | 515 | 1091k| 15.6 | 25M| 751 | - |1913 | 21k| 0 | 0 | 10k| 93k|2945 | 0.000000e+00 | 4.000000e+00 | Inf 211.60/211.60 c 205s| 80000 | 594 | 1229k| 15.3 | 26M| 751 | - |1913 | 24k| 0 | 0 | 11k| 106k|3124 | 0.000000e+00 | 4.000000e+00 | Inf 223.09/223.17 o 2 223.09/223.17 c * 216s| 84798 | 540 | 1289k| 15.2 | 27M| 751 | - |1913 | 26k|1913 |1723 | 12k| 113k|3173 | 0.000000e+00 | 2.000000e+00 | Inf 236.00/236.08 c 228s| 90000 | 521 | 1356k| 15.1 | 27M| 751 | - |1913 | 25k|1913 |1727 | 14k| 121k|3284 | 0.000000e+00 | 2.000000e+00 | Inf 262.60/262.68 c 254s|100000 | 580 | 1504k| 15.0 | 29M| 751 | 26 |1913 | 28k|1913 |1720 | 15k| 135k|3467 | 0.000000e+00 | 2.000000e+00 | Inf 289.50/289.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 289.50/289.51 c 280s|110000 | 626 | 1653k| 15.0 | 29M| 751 | 20 |1913 | 28k|1913 |1732 | 17k| 148k|3672 | 0.000000e+00 | 2.000000e+00 | Inf 317.70/317.72 c 307s|120000 | 650 | 1815k| 15.1 | 29M| 751 | 19 |1913 | 28k|1913 |1720 | 19k| 162k|3863 | 0.000000e+00 | 2.000000e+00 | Inf 346.70/346.71 c 335s|130000 | 713 | 1984k| 15.3 | 30M| 751 | 10 |1913 | 30k|1913 |1720 | 20k| 176k|4028 | 0.000000e+00 | 2.000000e+00 | Inf 374.70/374.75 c 363s|140000 | 745 | 2141k| 15.3 | 31M| 751 | - |1913 | 30k|1913 |1720 | 22k| 190k|4167 | 0.000000e+00 | 2.000000e+00 | Inf 402.00/402.01 c 389s|150000 | 834 | 2290k| 15.3 | 33M| 751 | - |1913 | 34k| 0 | 0 | 23k| 204k|4318 | 0.000000e+00 | 2.000000e+00 | Inf 429.50/429.51 c 416s|160000 | 1009 | 2434k| 15.2 | 36M| 751 | - |1913 | 38k| 0 | 0 | 24k| 219k|4448 | 0.000000e+00 | 2.000000e+00 | Inf 458.01/458.05 c 444s|170000 | 1007 | 2572k| 15.1 | 37M| 751 | 19 |1913 | 38k|1913 |1720 | 26k| 233k|4588 | 0.000000e+00 | 2.000000e+00 | Inf 486.11/486.16 c 471s|180000 | 923 | 2708k| 15.0 | 36M| 751 | - |1913 | 38k| 0 | 0 | 28k| 248k|4689 | 0.000000e+00 | 2.000000e+00 | Inf 513.41/513.49 c 498s|190000 | 617 | 2841k| 14.9 | 32M| 751 | - |1913 | 31k|1913 |1720 | 29k| 262k|4835 | 0.000000e+00 | 2.000000e+00 | Inf 539.01/539.01 c 522s|200000 | 601 | 2973k| 14.9 | 30M| 751 | - |1913 | 28k| 0 | 0 | 31k| 276k|4960 | 0.000000e+00 | 2.000000e+00 | Inf 565.32/565.39 c 548s|210000 | 502 | 3121k| 14.9 | 25M| 751 | - |1913 | 15k| 0 | 0 | 32k| 291k|5167 | 0.000000e+00 | 2.000000e+00 | Inf 590.31/590.38 c 572s|220000 | 585 | 3280k| 14.9 | 26M| 751 | - |1913 | 17k| 0 | 0 | 33k| 305k|5311 | 0.000000e+00 | 2.000000e+00 | Inf 615.31/615.36 c 596s|230000 | 757 | 3436k| 14.9 | 28M| 751 | - |1913 | 20k| 0 | 0 | 34k| 318k|5418 | 0.000000e+00 | 2.000000e+00 | Inf 639.91/639.91 c 620s|240000 | 812 | 3579k| 14.9 | 29M| 751 | 27 |1913 | 20k|1913 |1720 | 35k| 332k|5510 | 0.000000e+00 | 2.000000e+00 | Inf 664.71/664.75 c 644s|250000 | 953 | 3721k| 14.9 | 30M| 751 | - |1913 | 22k|1913 |1720 | 37k| 346k|5599 | 0.000000e+00 | 2.000000e+00 | Inf 689.31/689.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 689.31/689.31 c 668s|260000 | 1081 | 3855k| 14.8 | 33M| 751 | - |1913 | 25k| 0 | 0 | 38k| 361k|5737 | 0.000000e+00 | 2.000000e+00 | Inf 715.72/715.74 c 693s|270000 | 1093 | 4000k| 14.8 | 33M| 751 | 26 |1913 | 25k|1913 |1728 | 39k| 375k|5835 | 0.000000e+00 | 2.000000e+00 | Inf 742.81/742.81 c 720s|280000 | 1107 | 4162k| 14.9 | 33M| 751 | 24 |1913 | 24k|1913 |1720 | 40k| 389k|5929 | 0.000000e+00 | 2.000000e+00 | Inf 768.32/768.39 c 744s|290000 | 1128 | 4306k| 14.8 | 34M| 751 | 27 |1913 | 24k|1913 |1720 | 41k| 403k|6015 | 0.000000e+00 | 2.000000e+00 | Inf 795.92/795.93 c 771s|300000 | 1216 | 4471k| 14.9 | 35M| 751 | 21 |1913 | 26k|1913 |1720 | 42k| 417k|6148 | 0.000000e+00 | 2.000000e+00 | Inf 821.82/821.87 c 796s|310000 | 1253 | 4620k| 14.9 | 35M| 751 | 21 |1913 | 24k|1913 |1720 | 43k| 431k|6253 | 0.000000e+00 | 2.000000e+00 | Inf 847.91/847.97 c 822s|320000 | 1353 | 4773k| 14.9 | 37M| 751 | - |1913 | 27k| 0 | 0 | 44k| 445k|6334 | 0.000000e+00 | 2.000000e+00 | Inf 875.53/875.52 c 848s|330000 | 1404 | 4935k| 15.0 | 36M| 751 | 1 |1913 | 24k|1913 |1720 | 45k| 460k|6413 | 0.000000e+00 | 2.000000e+00 | Inf 903.62/903.67 c 876s|340000 | 1407 | 5102k| 15.0 | 36M| 751 | 30 |1913 | 23k|1913 |1729 | 47k| 474k|6545 | 0.000000e+00 | 2.000000e+00 | Inf 930.92/930.98 c 902s|350000 | 1362 | 5263k| 15.0 | 36M| 751 | 29 |1913 | 24k|1913 |1720 | 48k| 488k|6648 | 0.000000e+00 | 2.000000e+00 | Inf 958.23/958.23 c 929s|360000 | 1340 | 5416k| 15.0 | 37M| 751 | 9 |1913 | 25k|1913 |1720 | 48k| 503k|6738 | 0.000000e+00 | 2.000000e+00 | Inf 983.52/983.53 c 953s|370000 | 1361 | 5555k| 15.0 | 37M| 751 | 1 |1913 | 25k|1913 |1720 | 50k| 517k|6869 | 0.000000e+00 | 2.000000e+00 | Inf 1007.93/1007.96 c 977s|380000 | 1268 | 5678k| 14.9 | 37M| 751 | - |1913 | 25k|1913 |1720 | 51k| 531k|6935 | 0.000000e+00 | 2.000000e+00 | Inf 1035.42/1035.49 c 1003s|390000 | 1388 | 5851k| 15.0 | 36M| 751 | 24 |1913 | 21k|1913 |1720 | 52k| 544k|7070 | 0.000000e+00 | 2.000000e+00 | Inf 1065.23/1065.26 c 1032s|400000 | 1623 | 6045k| 15.1 | 38M| 751 | 26 |1913 | 22k|1913 |1720 | 53k| 559k|7179 | 0.000000e+00 | 2.000000e+00 | Inf 1091.63/1091.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1091.63/1091.67 c 1058s|410000 | 1742 | 6202k| 15.1 | 39M| 751 | - |1913 | 23k|1913 |1720 | 54k| 573k|7274 | 0.000000e+00 | 2.000000e+00 | Inf 1118.53/1118.54 c 1084s|420000 | 1747 | 6367k| 15.2 | 40M| 751 | 24 |1913 | 25k|1913 |1726 | 55k| 587k|7375 | 0.000000e+00 | 2.000000e+00 | Inf 1144.52/1144.58 c 1109s|430000 | 1566 | 6523k| 15.2 | 38M| 751 | 34 |1913 | 20k|1913 |1720 | 56k| 602k|7475 | 0.000000e+00 | 2.000000e+00 | Inf 1171.54/1171.50 c 1135s|440000 | 1529 | 6694k| 15.2 | 39M| 751 | - |1913 | 23k|1913 |1720 | 57k| 616k|7582 | 0.000000e+00 | 2.000000e+00 | Inf 1198.63/1198.64 c 1161s|450000 | 1631 | 6858k| 15.2 | 41M| 751 | 24 |1913 | 27k|1913 |1720 | 58k| 630k|7673 | 0.000000e+00 | 2.000000e+00 | Inf 1224.93/1224.94 c 1187s|460000 | 1560 | 7006k| 15.2 | 39M| 751 | - |1913 | 23k| 0 | 0 | 59k| 644k|7766 | 0.000000e+00 | 2.000000e+00 | Inf 1251.03/1251.05 c 1212s|470000 | 1609 | 7153k| 15.2 | 40M| 751 | - |1913 | 24k| 0 | 0 | 60k| 658k|7839 | 0.000000e+00 | 2.000000e+00 | Inf 1278.53/1278.59 c 1239s|480000 | 1680 | 7307k| 15.2 | 42M| 751 | - |1913 | 28k|1913 |1720 | 62k| 672k|7913 | 0.000000e+00 | 2.000000e+00 | Inf 1306.93/1306.95 c 1266s|490000 | 1637 | 7465k| 15.2 | 42M| 751 | 22 |1913 | 29k|1913 |1720 | 63k| 687k|8000 | 0.000000e+00 | 2.000000e+00 | Inf 1334.74/1334.70 c 1293s|500000 | 1584 | 7612k| 15.2 | 42M| 751 | 22 |1913 | 30k|1913 |1720 | 64k| 701k|8080 | 0.000000e+00 | 2.000000e+00 | Inf 1361.64/1361.66 c 1320s|510000 | 1590 | 7749k| 15.2 | 43M| 751 | - |1913 | 32k| 0 | 0 | 65k| 716k|8139 | 0.000000e+00 | 2.000000e+00 | Inf 1389.24/1389.25 c 1346s|520000 | 1592 | 7894k| 15.2 | 44M| 751 | 18 |1913 | 33k|1913 |1720 | 67k| 729k|8202 | 0.000000e+00 | 2.000000e+00 | Inf 1418.43/1418.40 c 1375s|530000 | 1553 | 8053k| 15.2 | 42M| 751 | - |1913 | 30k|1913 |1720 | 68k| 743k|8280 | 0.000000e+00 | 2.000000e+00 | Inf 1443.83/1443.86 c 1399s|540000 | 1573 | 8181k| 15.1 | 44M| 751 | 23 |1913 | 35k|1913 |1720 | 69k| 757k|8347 | 0.000000e+00 | 2.000000e+00 | Inf 1471.94/1471.96 c 1427s|550000 | 1532 | 8323k| 15.1 | 41M| 751 | 15 |1913 | 29k|1913 |1720 | 71k| 771k|8477 | 0.000000e+00 | 2.000000e+00 | Inf 1501.54/1501.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1501.54/1501.58 c 1455s|560000 | 1532 | 8492k| 15.2 | 41M| 751 | 23 |1913 | 27k|1913 |1720 | 71k| 784k|8556 | 0.000000e+00 | 2.000000e+00 | Inf 1531.74/1531.74 c 1485s|570000 | 1639 | 8665k| 15.2 | 43M| 751 | 38 |1913 | 33k|1913 |1720 | 72k| 798k|8625 | 0.000000e+00 | 2.000000e+00 | Inf 1565.14/1565.11 c 1517s|580000 | 1718 | 8852k| 15.3 | 45M| 751 | 1 |1913 | 35k|1913 |1720 | 73k| 812k|8708 | 0.000000e+00 | 2.000000e+00 | Inf 1597.84/1597.80 c 1549s|590000 | 1690 | 9030k| 15.3 | 45M| 751 | - |1913 | 34k| 0 | 0 | 74k| 826k|8795 | 0.000000e+00 | 2.000000e+00 | Inf 1629.74/1629.71 c 1580s|600000 | 1579 | 9198k| 15.3 | 44M| 751 | - |1913 | 33k| 0 | 0 | 75k| 840k|8855 | 0.000000e+00 | 2.000000e+00 | Inf 1660.95/1660.91 c 1611s|610000 | 1485 | 9364k| 15.3 | 42M| 751 | - |1913 | 32k|1913 |1726 | 76k| 854k|8937 | 0.000000e+00 | 2.000000e+00 | Inf 1689.94/1689.98 c 1639s|620000 | 1523 | 9531k| 15.4 | 43M| 751 | 17 |1913 | 33k|1913 |1720 | 77k| 868k|9011 | 0.000000e+00 | 2.000000e+00 | Inf 1720.55/1720.55 c 1669s|630000 | 1757 | 9708k| 15.4 | 45M| 751 | 26 |1913 | 37k|1913 |1720 | 78k| 881k|9079 | 0.000000e+00 | 2.000000e+00 | Inf 1752.85/1752.87 c 1700s|640000 | 1846 | 9896k| 15.5 | 47M| 751 | 11 |1913 | 38k|1913 |1725 | 79k| 895k|9147 | 0.000000e+00 | 2.000000e+00 | Inf 1785.15/1785.12 c 1731s|650000 | 1843 | 10088k| 15.5 | 47M| 751 | 37 |1913 | 38k|1913 |1720 | 80k| 909k|9222 | 0.000000e+00 | 2.000000e+00 | Inf 1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.01 c 1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.01 c Solving Time (sec) : 1745.92 1800.05/1800.01 c Solving Nodes : 654121 1800.05/1800.01 c Primal Bound : +2.00000000000000e+00 (127 solutions) 1800.05/1800.01 c Dual Bound : +0.00000000000000e+00 1800.05/1800.01 c Gap : infinite 1800.05/1800.02 s SATISFIABLE 1800.05/1800.02 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 1800.05/1800.02 v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1800.05/1800.02 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 1800.05/1800.02 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.05/1800.02 v -x146 -x145 -x144 -x143 x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 1800.05/1800.02 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 1800.05/1800.02 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.05/1800.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 -x54 1800.05/1800.02 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 1800.05/1800.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 1800.05/1800.02 v -x1 1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.02 c Solving Time : 1745.92 1800.05/1800.02 c Original Problem : 1800.05/1800.02 c Problem name : HOME/instance-2693409-1277902604.wbo 1800.05/1800.02 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous) 1800.05/1800.02 c Constraints : 3619 initial, 3619 maximal 1800.05/1800.02 c Presolved Problem : 1800.05/1800.02 c Problem name : t_HOME/instance-2693409-1277902604.wbo 1800.05/1800.02 c Variables : 1913 (1072 binary, 0 integer, 0 implicit integer, 841 continuous) 1800.05/1800.02 c Constraints : 3353 initial, 40864 maximal 1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.02 c trivial : 0.00 70 0 0 0 0 0 0 0 1800.05/1800.02 c dualfix : 0.00 70 0 0 0 0 0 0 0 1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0 1800.05/1800.02 c indicator : 0.00 0 0 0 0 0 70 0 0 1800.05/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.02 c linear : 0.07 0 0 0 931 0 196 142 0 1800.05/1800.02 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.05/1800.02 c root node : - 832 - - 1664 - - - - 1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.02 c integral : 0 0 0 364741 0 245 2724 0 0 694300 1800.05/1800.02 c indicator : 841 0 2837448 15153 0 54 116503 0 0 0 1800.05/1800.02 c setppc : 11 8 2837951 14605 0 31927 1611087 0 0 0 1800.05/1800.02 c linear : 841 8 2807118 14932 0 91506 9683696 80748 0 0 1800.05/1800.02 c logicor : 1660+ 8 1451236 1492 0 95847 5311481 0 0 0 1800.05/1800.02 c countsols : 0 0 0 1492 0 0 0 0 0 0 1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.02 c integral : 42.25 0.00 0.00 42.25 0.00 1800.05/1800.02 c indicator : 1.17 0.02 1.09 0.06 0.00 1800.05/1800.02 c setppc : 11.26 0.00 11.25 0.01 0.00 1800.05/1800.02 c linear : 62.28 0.00 61.88 0.40 0.00 1800.05/1800.02 c logicor : 220.72 0.00 220.65 0.07 0.00 1800.05/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.02 c vbounds : 0.70 2 0 0 1800.05/1800.02 c rootredcost : 0.60 26 0 832 1800.05/1800.02 c pseudoobj : 45.45 2839629 470 68535 1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.02 c propagation : 10.35 219750 219712 1340197 27.4 6060 23.6 - 1800.05/1800.02 c infeasible LP : 22.66 123930 123930 951044 44.8 1234 15.7 0 1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.02 c pseudo solution : 0.01 38 38 246 20.7 14 5.3 - 1800.05/1800.02 c applied globally : - - - 915742 29.4 - - - 1800.05/1800.02 c applied locally : - - - 0 0.0 - - - 1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.02 c cut pool : 0.01 7 - - 98 - (maximal pool size: 407) 1800.05/1800.02 c redcost : 9.14 365152 0 43648 0 0 1800.05/1800.02 c impliedbounds : 0.00 7 0 0 0 0 1800.05/1800.02 c intobj : 0.00 0 0 0 0 0 1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.02 c gomory : 0.15 7 0 0 1592 0 1800.05/1800.02 c strongcg : 0.11 7 0 0 786 0 1800.05/1800.02 c cmir : 0.04 7 0 0 1 0 1800.05/1800.02 c flowcover : 0.06 7 0 0 2 0 1800.05/1800.02 c clique : 0.00 7 0 0 0 0 1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.02 c mcf : 0.00 1 0 0 0 0 1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0 1800.05/1800.02 c Pricers : Time Calls Vars 1800.05/1800.02 c problem variables: 0.00 0 0 1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.02 c relpscost : 41.94 349577 245 2724 0 0 694300 1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.02 c inference : 0.05 1467 0 0 0 0 2934 1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.02 c random : 0.00 0 0 0 0 0 0 1800.05/1800.02 c Primal Heuristics : Time Calls Found 1800.05/1800.02 c LP solutions : 0.00 - 25 1800.05/1800.02 c pseudo solutions : 0.00 - 0 1800.05/1800.02 c feaspump : 0.06 1 0 1800.05/1800.02 c oneopt : 0.50 22 0 1800.05/1800.02 c crossover : 0.41 8 0 1800.05/1800.02 c fracdiving : 0.18 32 0 1800.05/1800.02 c veclendiving : 0.13 32 0 1800.05/1800.02 c linesearchdiving : 0.10 33 0 1800.05/1800.02 c guideddiving : 0.15 33 0 1800.05/1800.02 c coefdiving : 0.17 33 0 1800.05/1800.02 c pscostdiving : 0.12 33 0 1800.05/1800.02 c rootsoldiving : 0.20 17 0 1800.05/1800.02 c objpscostdiving : 0.12 17 0 1800.05/1800.02 c trivial : 0.00 2 0 1800.05/1800.02 c simplerounding : 0.69 349715 0 1800.05/1800.02 c zirounding : 0.30 1000 0 1800.05/1800.02 c rounding : 1.00 8282 0 1800.05/1800.02 c shifting : 0.61 2554 0 1800.05/1800.02 c intshifting : 0.00 12 0 1800.05/1800.02 c twoopt : 0.00 0 0 1800.05/1800.02 c fixandinfer : 0.00 0 0 1800.05/1800.02 c intdiving : 0.00 0 0 1800.05/1800.02 c actconsdiving : 0.00 0 0 1800.05/1800.02 c octane : 0.00 0 0 1800.05/1800.02 c rens : 0.00 0 0 1800.05/1800.02 c rins : 0.00 0 0 1800.05/1800.02 c localbranching : 0.00 0 0 1800.05/1800.02 c mutation : 0.00 0 0 1800.05/1800.02 c dins : 0.00 0 0 1800.05/1800.02 c undercover : 0.00 0 0 1800.05/1800.02 c nlp : 0.17 0 0 1800.05/1800.02 c trysol : 0.70 2208 102 1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.02 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.02 c dual LP : 1011.51 485334 10174501 20.96 10058.73 1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.02 c diving/probing LP: 0.97 581 6618 11.39 6822.68 1800.05/1800.02 c strong branching : 38.76 9223 391536 42.45 10101.55 1800.05/1800.02 c (at root node) : - 0 0 0.00 - 1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.02 c B&B Tree : 1800.05/1800.02 c number of runs : 1 1800.05/1800.02 c nodes : 654121 1800.05/1800.02 c nodes (total) : 654121 1800.05/1800.02 c nodes left : 1857 1800.05/1800.02 c max depth : 751 1800.05/1800.02 c max depth (total): 751 1800.05/1800.02 c backtracks : 92887 (14.2%) 1800.05/1800.02 c delayed cutoffs : 39556 1800.05/1800.02 c repropagations : 1061616 (3094488 domain reductions, 38113 cutoffs) 1800.05/1800.02 c avg switch length: 4.83 1800.05/1800.02 c switching time : 176.16 1800.05/1800.02 c Solution : 1800.05/1800.02 c Solutions found : 127 (26 improvements) 1800.05/1800.02 c First Solution : +4.24170000000000e+04 (in run 1, after 1 nodes, 0.53 seconds, depth 0, found by <trysol>) 1800.05/1800.02 c Primal Bound : +2.00000000000000e+00 (in run 1, after 84798 nodes, 215.87 seconds, depth 415, found by <relaxation>) 1800.05/1800.02 c Dual Bound : +0.00000000000000e+00 1800.05/1800.02 c Gap : infinite 1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.02 c Root Iterations : 1580 1800.05/1800.09 c Time complete: 1800.14.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693409-1277902604/watcher-2693409-1277902604 -o /tmp/evaluation-result-2693409-1277902604/solver-2693409-1277902604 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693409-1277902604.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 2.00 4/178 16964 /proc/meminfo: memFree=30904188/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=10868 CPUtime=0 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 1666 0 0 0 0 0 0 0 25 0 1 0 131555554 11128832 1586 4089446400 4194304 9819077 140734768612608 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/16964/statm: 2717 1586 392 1374 0 1338 0 [startup+0.0118509 s] /proc/loadavg: 2.02 2.01 2.00 4/178 16964 /proc/meminfo: memFree=30904188/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=12356 CPUtime=0.01 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 2043 0 0 0 1 0 0 0 25 0 1 0 131555554 12652544 1963 4089446400 4194304 9819077 140734768612608 18446744073709551615 6178175 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/16964/statm: 3089 1963 392 1374 0 1710 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12356 [startup+0.100835 s] /proc/loadavg: 2.02 2.01 2.00 4/178 16964 /proc/meminfo: memFree=30904188/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=25916 CPUtime=0.09 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 6881 0 0 0 9 0 0 0 25 0 1 0 131555554 26537984 5162 4089446400 4194304 9819077 140734768612608 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16964/statm: 6479 4905 503 1374 0 5100 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25916 [startup+0.300798 s] /proc/loadavg: 2.02 2.01 2.00 4/178 16964 /proc/meminfo: memFree=30904188/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=33356 CPUtime=0.29 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 10611 0 0 0 28 1 0 0 25 0 1 0 131555554 34156544 6734 4089446400 4194304 9819077 140734768612608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16964/statm: 8339 6734 679 1374 0 6960 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33356 [startup+0.700722 s] /proc/loadavg: 2.02 2.01 2.00 4/178 16964 /proc/meminfo: memFree=30904188/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=35248 CPUtime=0.69 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 12274 0 0 0 68 1 0 0 25 0 1 0 131555554 36093952 7181 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16964/statm: 8812 7181 680 1374 0 7433 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35248 [startup+1.50058 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16965 /proc/meminfo: memFree=30877180/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=39028 CPUtime=1.49 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 15881 0 0 0 146 3 0 0 25 0 1 0 131555554 39964672 7621 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16964/statm: 9757 7621 695 1374 0 8378 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39028 [startup+3.10028 s] /proc/loadavg: 2.01 2.01 2.00 2/177 16966 /proc/meminfo: memFree=31017440/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=39164 CPUtime=3.09 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 28126 0 0 0 304 5 0 0 25 0 1 0 131555554 40103936 7646 4089446400 4194304 9819077 140734768612608 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16964/statm: 9791 7646 695 1374 0 8412 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39164 [startup+6.30069 s] /proc/loadavg: 2.01 2.01 2.00 3/179 16993 /proc/meminfo: memFree=30994612/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=39632 CPUtime=6.29 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 57431 0 0 0 618 11 0 0 25 0 1 0 131555554 40583168 7726 4089446400 4194304 9819077 140734768612608 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 9908 7729 695 1374 0 8529 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39632 [startup+12.7005 s] /proc/loadavg: 2.01 2.00 2.00 3/179 16993 /proc/meminfo: memFree=30972792/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=40852 CPUtime=12.69 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 139008 0 0 0 1238 31 0 0 25 0 1 0 131555554 41832448 8416 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 10213 8416 700 1374 0 8834 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40852 [startup+25.5001 s] /proc/loadavg: 2.01 2.00 2.00 3/179 16994 /proc/meminfo: memFree=30925052/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=48584 CPUtime=25.49 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 243864 0 0 0 2488 61 0 0 25 0 1 0 131555554 49750016 10366 4089446400 4194304 9819077 140734768612608 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 12146 10366 715 1374 0 10767 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48584 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16995 /proc/meminfo: memFree=30870644/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=52788 CPUtime=51.1 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 541150 0 0 0 4969 141 0 0 25 0 1 0 131555554 54054912 11505 4089446400 4194304 9819077 140734768612608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 13197 11505 732 1374 0 11818 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 52788 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16996 /proc/meminfo: memFree=30747576/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=54816 CPUtime=102.29 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 1149033 0 0 0 9911 318 0 0 25 0 1 0 131555554 56131584 12192 4089446400 4194304 9819077 140734768612608 18446744073709551615 7263146 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 13771 12194 732 1374 0 12392 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 54816 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16997 /proc/meminfo: memFree=30658236/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=61780 CPUtime=162.29 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 1860551 0 0 0 15697 532 0 0 25 0 1 0 131555554 63262720 13758 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 15445 13758 732 1374 0 14066 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 61780 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16999 /proc/meminfo: memFree=30604844/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=66552 CPUtime=222.3 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 2507070 0 0 0 21504 726 0 0 25 0 1 0 131555554 68149248 14890 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 16638 14891 732 1374 0 15259 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 66552 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17010 /proc/meminfo: memFree=30568124/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=67860 CPUtime=282.3 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 3145100 0 0 0 27314 916 0 0 25 0 1 0 131555554 69488640 15377 4089446400 4194304 9819077 140734768612608 18446744073709551615 7263146 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 17032 15379 739 1374 0 15653 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 67860 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17012 /proc/meminfo: memFree=30532496/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=70524 CPUtime=342.3 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 3752979 0 0 0 33120 1110 0 0 25 0 1 0 131555554 72216576 15884 4089446400 4194304 9819077 140734768612608 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 17631 15884 739 1374 0 16252 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 70524 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17013 /proc/meminfo: memFree=30466836/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=72756 CPUtime=402.3 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 4303256 0 0 0 38947 1283 0 0 25 0 1 0 131555554 74502144 16400 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 18189 16400 739 1374 0 16810 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 72756 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17014 /proc/meminfo: memFree=30402268/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=77768 CPUtime=462.31 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 4778024 0 0 0 44788 1443 0 0 25 0 1 0 131555554 79634432 17645 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 19442 17645 739 1374 0 18063 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 77768 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17016 /proc/meminfo: memFree=30353728/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=78032 CPUtime=522.3 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 5300703 0 0 0 50612 1618 0 0 25 0 1 0 131555554 79904768 17741 4089446400 4194304 9819077 140734768612608 18446744073709551615 7816419 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 19508 17741 739 1374 0 18129 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 78032 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17018 /proc/meminfo: memFree=30324544/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=78588 CPUtime=582.31 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 5918181 0 0 0 56419 1812 0 0 25 0 1 0 131555554 80474112 17812 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 19647 17812 739 1374 0 18268 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 78588 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17020 /proc/meminfo: memFree=30283824/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=78964 CPUtime=642.32 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 6555757 0 0 0 62228 2004 0 0 25 0 1 0 131555554 80859136 17899 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 19741 17899 739 1374 0 18362 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 78964 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17024 /proc/meminfo: memFree=30171948/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=82224 CPUtime=822.31 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 8332211 0 0 0 79679 2552 0 0 25 0 1 0 131555554 84197376 18586 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 20556 18588 739 1374 0 19177 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 82224 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17026 /proc/meminfo: memFree=30138188/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=83268 CPUtime=882.32 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 8896066 0 0 0 85500 2732 0 0 25 0 1 0 131555554 85266432 18893 4089446400 4194304 9819077 140734768612608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 20817 18893 739 1374 0 19438 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 83268 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17028 /proc/meminfo: memFree=30091756/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=83924 CPUtime=942.32 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 9459649 0 0 0 91321 2911 0 0 25 0 1 0 131555554 85938176 18987 4089446400 4194304 9819077 140734768612608 18446744073709551615 6519265 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 20981 18987 739 1374 0 19602 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 83924 [startup+1002.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 17029 /proc/meminfo: memFree=30027808/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=84120 CPUtime=1002.32 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 10072712 0 0 0 97135 3097 0 0 25 0 1 0 131555554 86138880 19020 4089446400 4194304 9819077 140734768612608 18446744073709551615 4651867 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 21030 19020 739 1374 0 19651 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 84120 [startup+1062.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 17030 /proc/meminfo: memFree=30011884/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=84568 CPUtime=1062.33 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 10714110 0 0 0 102946 3287 0 0 25 0 1 0 131555554 86597632 19109 4089446400 4194304 9819077 140734768612608 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 21142 19109 739 1374 0 19763 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 84568 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 17032 /proc/meminfo: memFree=30002144/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=85584 CPUtime=1122.33 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 11351260 0 0 0 108753 3480 0 0 25 0 1 0 131555554 87638016 19406 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 21396 19406 739 1374 0 20017 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 85584 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17034 /proc/meminfo: memFree=29997144/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=86096 CPUtime=1182.33 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 11994504 0 0 0 114558 3675 0 0 25 0 1 0 131555554 88162304 19468 4089446400 4194304 9819077 140734768612608 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 21524 19468 739 1374 0 20145 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 86096 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17036 /proc/meminfo: memFree=29982952/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=87104 CPUtime=1242.33 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 12603078 0 0 0 120365 3868 0 0 25 0 1 0 131555554 89194496 19726 4089446400 4194304 9819077 140734768612608 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 21776 19726 739 1374 0 20397 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 87104 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17037 /proc/meminfo: memFree=29974112/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=88540 CPUtime=1302.34 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 13191238 0 0 0 126190 4044 0 0 25 0 1 0 131555554 90664960 19946 4089446400 4194304 9819077 140734768612608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 22135 19946 739 1374 0 20756 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 88540 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17038 /proc/meminfo: memFree=29966140/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=89332 CPUtime=1362.33 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 13769563 0 0 0 132017 4216 0 0 25 0 1 0 131555554 91475968 20140 4089446400 4194304 9819077 140734768612608 18446744073709551615 6669957 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 22333 20140 739 1374 0 20954 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 89332 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 2.00 3/179 17040 /proc/meminfo: memFree=29961156/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=90424 CPUtime=1422.34 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 14379128 0 0 0 137838 4396 0 0 25 0 1 0 131555554 92594176 20366 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 22606 20366 739 1374 0 21227 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 90424 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 17042 /proc/meminfo: memFree=29957280/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=92376 CPUtime=1482.33 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 14900785 0 0 0 143675 4558 0 0 25 0 1 0 131555554 94593024 20720 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 23094 20720 739 1374 0 21715 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 92376 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17044 /proc/meminfo: memFree=29955380/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=93224 CPUtime=1542.34 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 15386705 0 0 0 149513 4721 0 0 25 0 1 0 131555554 95461376 20897 4089446400 4194304 9819077 140734768612608 18446744073709551615 4210294 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 23306 20897 739 1374 0 21927 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 93224 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 17045 /proc/meminfo: memFree=29926424/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=93920 CPUtime=1602.34 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 15844855 0 0 0 155357 4877 0 0 25 0 1 0 131555554 96174080 21075 4089446400 4194304 9819077 140734768612608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 23480 21075 739 1374 0 22101 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 93920 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 17046 /proc/meminfo: memFree=29879372/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=94604 CPUtime=1662.35 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 16302053 0 0 0 161207 5028 0 0 25 0 1 0 131555554 96874496 21244 4089446400 4194304 9819077 140734768612608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 23651 21246 739 1374 0 22272 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 94604 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17048 /proc/meminfo: memFree=29847604/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=96080 CPUtime=1722.35 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 16822615 0 0 0 167043 5192 0 0 25 0 1 0 131555554 98385920 21559 4089446400 4194304 9819077 140734768612608 18446744073709551615 6361835 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 24020 21559 739 1374 0 22641 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 96080 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17050 /proc/meminfo: memFree=29822880/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=97248 CPUtime=1782.35 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 17374731 0 0 0 172871 5364 0 0 25 0 1 0 131555554 99581952 21845 4089446400 4194304 9819077 140734768612608 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 24312 21845 739 1374 0 22933 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 97248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17050 /proc/meminfo: memFree=29817292/32951124 swapFree=67111528/67111528 [pid=16964] ppid=16962 vsize=97392 CPUtime=1800.05 /proc/16964/stat : 16964 (pbscip.linux.x8) R 16962 16964 16587 0 -1 4202496 17522975 0 0 0 174593 5412 0 0 25 0 1 0 131555554 99729408 21873 4089446400 4194304 9819077 140734768612608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16964/statm: 24348 21873 739 1374 0 22969 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 97392 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.15 CPU user time (s): 1746.02 CPU system time (s): 54.1318 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 99628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1746.02 system time used= 54.1318 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17523108 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= 1 involuntary context switches= 930 runsolver used 2.44563 second user time and 5.75512 second system time The end
Begin job on node147 at 2010-06-30 14:56:44 IDJOB=2693409 IDBENCH=78903 IDSOLVER=1205 FILE ID=node147/2693409-1277902604 PBS_JOBID= 11197205 Free space on /tmp= 74192 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553647--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-2693409-1277902604/watcher-2693409-1277902604 -o /tmp/evaluation-result-2693409-1277902604/solver-2693409-1277902604 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693409-1277902604.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 187986d7f99d984dce20251cf704622a RANDOM SEED=468725031 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.822 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.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.822 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.822 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.84 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.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 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.822 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.75 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.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30904716 kB Buffers: 188340 kB Cached: 1508144 kB SwapCached: 0 kB Active: 695576 kB Inactive: 1206612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30904716 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6264 kB Writeback: 0 kB AnonPages: 206356 kB Mapped: 17424 kB Slab: 80800 kB PageTables: 4848 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 357520 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= 74188 MiB End job on node147 at 2010-06-30 15:26:46