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.12 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo |
MD5SUM | ccbb2f2628d7a379eab2ad56e88b2a24 |
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 | 11 |
Best CPU time to get the best result obtained on this benchmark | 268.492 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 927 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 45360 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45359 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 745 |
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-2693557-1277910410.wbo> 0.01/0.02 c original problem has 2085 variables (1158 bin, 0 int, 0 impl, 927 cont) and 3635 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, 1141 impls, 14 clqs 0.01/0.07 c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs 0.01/0.08 c (round 3) 54 del vars, 168 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs 0.01/0.09 c (round 4) 110 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs 0.09/0.11 c (round 5) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs 0.09/0.15 c (0.1s) probing: 101/1102 (9.2%) - 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 112 deleted vars, 170 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients 0.09/0.15 c 1141 implications, 14 cliques 0.09/0.15 c presolved problem has 1973 variables (1102 bin, 0 int, 0 impl, 871 cont) and 3465 constraints 0.09/0.15 c 871 constraints of type <indicator> 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 14 constraints of type <setppc> 0.09/0.15 c 871 constraints of type <linear> 0.09/0.15 c 1708 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.09 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.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.16 c 0.1s| 1 | 0 | 38 | - |8863k| 0 | 24 |1973 |3465 |1973 |1723 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.22 c 0.2s| 1 | 0 | 67 | - |9047k| 0 | 29 |1973 |3465 |1973 |1736 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.28 c 0.2s| 1 | 0 | 103 | - |9376k| 0 | 39 |1973 |3465 |1973 |1745 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.35 c 0.3s| 1 | 0 | 151 | - |9385k| 0 | 50 |1973 |3465 |1973 |1756 | 33 | 0 | 0 | 0.000000e+00 | -- | Inf 0.38/0.42 c 0.4s| 1 | 0 | 156 | - |9387k| 0 | 50 |1973 |3465 |1973 |1761 | 38 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.35 c 1.3s| 1 | 2 | 156 | - |9391k| 0 | 50 |1973 |3465 |1973 |1761 | 38 | 0 | 33 | 0.000000e+00 | -- | Inf 2.08/2.18 o 42962 2.08/2.18 c y 2.0s| 10 | 9 | 329 | 19.2 |9506k| 9 | 14 |1973 |3465 |1973 |1758 | 38 | 0 | 220 | 0.000000e+00 | 4.296200e+04 | Inf 2.19/2.21 o 654 2.19/2.21 c * 2.1s| 11 | 10 | 343 | 18.7 |9553k| 10 | - |1973 |3465 |1973 |1759 | 39 | 0 | 234 | 0.000000e+00 | 6.540000e+02 | Inf 2.19/2.25 o 546 2.19/2.25 c * 2.1s| 16 | 11 | 359 | 13.5 |9693k| 13 | - |1973 |3467 |1973 |1760 | 41 | 2 | 247 | 0.000000e+00 | 5.460000e+02 | Inf 2.28/2.35 o 513 2.28/2.35 c * 2.2s| 23 | 14 | 435 | 12.7 | 10M| 13 | - |1973 |3467 |1973 |1762 | 45 | 2 | 288 | 0.000000e+00 | 5.130000e+02 | Inf 3.29/3.34 o 435 3.29/3.34 c * 3.1s| 151 | 103 | 1386 | 8.2 | 10M| 23 | - |1973 |3518 |1973 |1768 | 111 | 53 | 613 | 0.000000e+00 | 4.350000e+02 | Inf 3.78/3.85 o 397 3.78/3.85 c * 3.6s| 263 | 169 | 2053 | 7.2 | 11M| 24 | - |1973 |3579 |1973 |1773 | 174 | 114 | 752 | 0.000000e+00 | 3.970000e+02 | Inf 3.88/3.93 o 396 3.88/3.93 c * 3.7s| 310 | 198 | 2116 | 6.3 | 11M| 31 | - |1973 |3608 |1973 |1768 | 189 | 143 | 757 | 0.000000e+00 | 3.960000e+02 | Inf 3.97/4.09 o 368 3.97/4.09 c * 3.8s| 331 | 198 | 2406 | 6.8 | 11M| 31 | - |1973 |3614 |1973 |1765 | 196 | 149 | 798 | 0.000000e+00 | 3.680000e+02 | Inf 6.59/6.62 o 364 6.59/6.62 c * 6.2s| 1128 | 553 | 6711 | 5.8 | 15M| 36 | - |1973 |4132 |1973 |1786 | 688 | 761 |1281 | 0.000000e+00 | 3.640000e+02 | Inf 7.47/7.51 o 286 7.47/7.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 7.47/7.51 c * 7.0s| 1521 | 684 | 8119 | 5.2 | 15M| 40 | - |1973 |4312 |1973 |1762 | 867 |1037 |1404 | 0.000000e+00 | 2.860000e+02 | Inf 8.37/8.40 o 279 8.37/8.40 c * 7.9s| 1860 | 859 | 9688 | 5.1 | 16M| 40 | - |1973 |4473 |1973 |1770 |1033 |1333 |1537 | 0.000000e+00 | 2.790000e+02 | Inf 8.48/8.54 o 257 8.48/8.54 c * 8.0s| 1949 | 848 | 9916 | 5.0 | 15M| 40 | - |1973 |4506 |1973 |1772 |1055 |1392 |1540 | 0.000000e+00 | 2.570000e+02 | Inf 8.68/8.77 o 179 8.68/8.77 c * 8.2s| 2056 | 743 | 10377 | 5.0 | 15M| 40 | - |1973 |4551 |1973 |1779 |1104 |1471 |1566 | 0.000000e+00 | 1.790000e+02 | Inf 9.98/10.01 o 172 9.98/10.01 c * 9.4s| 2637 | 956 | 12623 | 4.7 | 16M| 44 | - |1973 |4780 |1973 |1770 |1272 |2031 |1680 | 0.000000e+00 | 1.720000e+02 | Inf 13.28/13.37 o 144 13.28/13.37 c *12.6s| 4274 | 1254 | 20301 | 4.7 | 18M| 44 | - |1973 |5059 |1973 |1765 |1870 |3592 |1909 | 0.000000e+00 | 1.440000e+02 | Inf 20.17/20.21 o 143 20.17/20.21 c *19.0s| 7786 | 1816 | 41579 | 5.3 | 22M| 52 | - |1973 |6050 |1973 |1761 |2618 |7370 |2025 | 0.000000e+00 | 1.430000e+02 | Inf 23.98/24.06 c 22.6s| 10000 | 2250 | 51519 | 5.1 | 25M| 66 | 5 |1973 |6852 |1973 |1758 |3143 |9615 |2028 | 0.000000e+00 | 1.430000e+02 | Inf 27.88/27.97 o 138 27.88/27.97 c *26.3s| 12369 | 2807 | 58689 | 4.7 | 29M| 66 | - |1973 |7394 |1973 |1778 |3703 | 11k|2030 | 0.000000e+00 | 1.380000e+02 | Inf 33.98/34.05 o 135 33.98/34.05 c *31.9s| 15940 | 3455 | 72651 | 4.5 | 33M| 66 | - |1973 |7961 |1973 |1769 |4498 | 15k|2031 | 0.000000e+00 | 1.350000e+02 | Inf 35.19/35.23 o 127 35.19/35.23 c *33.1s| 16562 | 3508 | 75683 | 4.6 | 34M| 66 | - |1973 |7980 |1973 |1767 |4619 | 16k|2031 | 0.000000e+00 | 1.270000e+02 | Inf 35.19/35.23 o 114 35.19/35.23 c *33.1s| 16563 | 3442 | 75683 | 4.6 | 33M| 66 | - |1973 |7980 |1973 |1767 |4619 | 16k|2031 | 0.000000e+00 | 1.140000e+02 | Inf 35.58/35.61 o 104 35.58/35.61 c *33.4s| 16764 | 3406 | 76370 | 4.5 | 33M| 66 | - |1973 |8095 |1973 |1764 |4678 | 16k|2031 | 0.000000e+00 | 1.040000e+02 | Inf 35.87/35.97 o 98 35.87/35.97 c *33.8s| 16994 | 3364 | 76978 | 4.5 | 33M| 66 | - |1973 |8298 |1973 |1769 |4732 | 17k|2031 | 0.000000e+00 | 9.800000e+01 | Inf 35.87/35.98 o 92 35.87/35.98 c *33.8s| 16995 | 3309 | 76978 | 4.5 | 33M| 66 | - |1973 |8298 |1973 |1769 |4732 | 17k|2031 | 0.000000e+00 | 9.200000e+01 | Inf 36.37/36.40 o 75 36.37/36.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 36.37/36.40 c *34.2s| 17243 | 2946 | 77617 | 4.5 | 30M| 66 | - |1973 |8299 |1973 |1777 |4811 | 17k|2031 | 0.000000e+00 | 7.500000e+01 | Inf 41.18/41.25 c 38.8s| 20000 | 3079 | 92864 | 4.6 | 32M| 66 | - |1973 |8161 | 0 | 0 |5310 | 20k|2031 | 0.000000e+00 | 7.500000e+01 | Inf 43.18/43.28 o 68 43.18/43.28 c *40.7s| 21255 | 2972 | 98119 | 4.6 | 31M| 66 | - |1973 |8576 |1973 |1777 |5496 | 21k|2031 | 0.000000e+00 | 6.800000e+01 | Inf 43.18/43.29 o 63 43.18/43.29 c *40.7s| 21256 | 2858 | 98119 | 4.6 | 30M| 66 | - |1973 |8576 |1973 |1777 |5496 | 21k|2031 | 0.000000e+00 | 6.300000e+01 | Inf 46.88/46.95 o 59 46.88/46.95 c *44.1s| 23213 | 2648 |111072 | 4.8 | 29M| 66 | - |1973 |9114 |1973 |1777 |5806 | 24k|2031 | 0.000000e+00 | 5.900000e+01 | Inf 48.88/48.99 o 45 48.88/48.99 c *46.0s| 24268 | 2226 |118070 | 4.9 | 25M| 66 | - |1973 |6924 |1973 |1772 |5992 | 25k|2031 | 0.000000e+00 | 4.500000e+01 | Inf 55.38/55.46 o 31 55.38/55.46 c *52.1s| 27339 | 1516 |150256 | 5.5 | 24M| 66 | - |1973 |6353 |1973 |1758 |6550 | 30k|2034 | 0.000000e+00 | 3.100000e+01 | Inf 58.88/58.91 o 21 58.88/58.91 c *55.3s| 29294 | 1350 |167223 | 5.7 | 23M| 66 | - |1973 |7127 |1973 |1764 |6733 | 32k|2034 | 0.000000e+00 | 2.100000e+01 | Inf 60.18/60.23 c 56.6s| 30000 | 1349 |174259 | 5.8 | 23M| 66 | - |1973 |7375 | 0 | 0 |6798 | 33k|2034 | 0.000000e+00 | 2.100000e+01 | Inf 80.68/80.75 c 75.8s| 40000 | 807 |279488 | 7.0 | 23M| 66 | 14 |1973 |9194 |1973 |1767 |8152 | 46k|2456 | 0.000000e+00 | 2.100000e+01 | Inf 100.68/100.73 c 94.6s| 50000 | 864 |380432 | 7.6 | 26M| 66 | - |1973 | 14k| 0 | 0 |9692 | 60k|2822 | 0.000000e+00 | 2.100000e+01 | Inf 121.38/121.46 c 114s| 60000 | 1077 |476043 | 7.9 | 29M| 66 | 1 |1973 | 18k|1973 |1758 | 11k| 73k|3189 | 0.000000e+00 | 2.100000e+01 | Inf 141.98/142.09 c 134s| 70000 | 1055 |559879 | 8.0 | 30M| 66 | - |1973 | 19k| 0 | 0 | 13k| 87k|3379 | 0.000000e+00 | 2.100000e+01 | Inf 163.88/163.92 c 154s| 80000 | 1009 |649568 | 8.1 | 31M| 66 | - |1973 | 21k| 0 | 0 | 16k| 100k|3654 | 0.000000e+00 | 2.100000e+01 | Inf 186.48/186.52 c 176s| 90000 | 1044 |746370 | 8.3 | 32M| 66 | - |1973 | 23k| 0 | 0 | 17k| 113k|3907 | 0.000000e+00 | 2.100000e+01 | Inf 209.78/209.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 209.78/209.85 c 198s|100000 | 984 |841603 | 8.4 | 32M| 66 | - |1973 | 23k| 0 | 0 | 18k| 127k|4111 | 0.000000e+00 | 2.100000e+01 | Inf 233.28/233.30 c 220s|110000 | 1040 |938005 | 8.5 | 34M| 66 | - |1973 | 25k| 0 | 0 | 19k| 140k|4309 | 0.000000e+00 | 2.100000e+01 | Inf 259.09/259.10 c 245s|120000 | 1112 | 1051k| 8.8 | 35M| 66 | 13 |1973 | 28k|1973 |1758 | 20k| 154k|4523 | 0.000000e+00 | 2.100000e+01 | Inf 282.98/283.04 c 268s|130000 | 1228 | 1146k| 8.8 | 37M| 66 | - |1973 | 29k| 0 | 0 | 21k| 168k|4774 | 0.000000e+00 | 2.100000e+01 | Inf 306.89/306.93 c 290s|140000 | 1399 | 1244k| 8.9 | 39M| 66 | - |1973 | 29k|1973 |1758 | 22k| 182k|4961 | 0.000000e+00 | 2.100000e+01 | Inf 330.28/330.32 c 313s|150000 | 1386 | 1328k| 8.9 | 40M| 66 | - |1973 | 31k| 0 | 0 | 22k| 195k|5161 | 0.000000e+00 | 2.100000e+01 | Inf 355.39/355.45 c 336s|160000 | 1411 | 1420k| 8.9 | 41M| 66 | 1 |1973 | 31k|1973 |1775 | 24k| 209k|5289 | 0.000000e+00 | 2.100000e+01 | Inf 380.88/380.96 c 361s|170000 | 1491 | 1517k| 8.9 | 43M| 66 | - |1973 | 35k|1973 |1758 | 25k| 223k|5480 | 0.000000e+00 | 2.100000e+01 | Inf 406.49/406.58 c 386s|180000 | 1591 | 1607k| 8.9 | 45M| 66 | - |1973 | 36k| 0 | 0 | 26k| 237k|5633 | 0.000000e+00 | 2.100000e+01 | Inf 432.49/432.59 c 411s|190000 | 1643 | 1696k| 8.9 | 46M| 66 | 19 |1973 | 36k|1973 |1758 | 27k| 251k|5745 | 0.000000e+00 | 2.100000e+01 | Inf 458.59/458.68 c 436s|200000 | 1735 | 1782k| 8.9 | 49M| 66 | - |1973 | 40k| 0 | 0 | 28k| 265k|5896 | 0.000000e+00 | 2.100000e+01 | Inf 486.19/486.23 c 462s|210000 | 1769 | 1869k| 8.9 | 51M| 66 | 14 |1973 | 43k|1973 |1758 | 30k| 279k|6048 | 0.000000e+00 | 2.100000e+01 | Inf 515.09/515.11 c 490s|220000 | 1776 | 1961k| 8.9 | 51M| 66 | - |1973 | 41k| 0 | 0 | 31k| 293k|6195 | 0.000000e+00 | 2.100000e+01 | Inf 543.30/543.32 c 517s|230000 | 1776 | 2052k| 8.9 | 53M| 66 | 13 |1973 | 45k|1973 |1770 | 33k| 307k|6314 | 0.000000e+00 | 2.100000e+01 | Inf 573.19/573.20 c 545s|240000 | 1791 | 2142k| 8.9 | 53M| 66 | 14 |1973 | 43k|1973 |1758 | 34k| 320k|6469 | 0.000000e+00 | 2.100000e+01 | Inf 602.59/602.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 602.59/602.63 c 573s|250000 | 1841 | 2237k| 8.9 | 55M| 66 | 27 |1973 | 46k|1973 |1758 | 35k| 334k|6576 | 0.000000e+00 | 2.100000e+01 | Inf 632.40/632.41 c 602s|260000 | 1913 | 2327k| 9.0 | 58M| 66 | 1 |1973 | 51k|1973 |1764 | 37k| 348k|6681 | 0.000000e+00 | 2.100000e+01 | Inf 662.90/662.98 c 632s|270000 | 1894 | 2415k| 8.9 | 56M| 66 | - |1973 | 45k| 0 | 0 | 38k| 362k|6804 | 0.000000e+00 | 2.100000e+01 | Inf 693.80/693.82 c 661s|280000 | 1961 | 2503k| 8.9 | 59M| 66 | - |1973 | 49k| 0 | 0 | 39k| 375k|6931 | 0.000000e+00 | 2.100000e+01 | Inf 727.19/727.25 c 693s|290000 | 2012 | 2599k| 9.0 | 59M| 66 | - |1973 | 48k| 0 | 0 | 41k| 389k|7108 | 0.000000e+00 | 2.100000e+01 | Inf 758.60/758.61 c 724s|300000 | 2058 | 2704k| 9.0 | 57M| 66 | 26 |1973 | 40k|1973 |1766 | 42k| 403k|7307 | 0.000000e+00 | 2.100000e+01 | Inf 787.30/787.39 c 751s|310000 | 2128 | 2790k| 9.0 | 60M| 66 | - |1973 | 45k| 0 | 0 | 44k| 417k|7394 | 0.000000e+00 | 2.100000e+01 | Inf 816.80/816.87 c 779s|320000 | 2264 | 2878k| 9.0 | 62M| 69 | 1 |1973 | 47k|1973 |1781 | 46k| 431k|7484 | 0.000000e+00 | 2.100000e+01 | Inf 847.10/847.14 c 809s|330000 | 2250 | 2966k| 9.0 | 63M| 73 | - |1973 | 48k| 0 | 0 | 47k| 446k|7554 | 0.000000e+00 | 2.100000e+01 | Inf 877.80/877.89 c 838s|340000 | 2222 | 3065k| 9.0 | 61M| 73 | - |1973 | 43k|1973 |1768 | 48k| 460k|7736 | 0.000000e+00 | 2.100000e+01 | Inf 907.80/907.82 c 867s|350000 | 2240 | 3165k| 9.0 | 60M| 73 | 1 |1973 | 40k|1973 |1781 | 50k| 473k|7838 | 0.000000e+00 | 2.100000e+01 | Inf 938.20/938.20 c 896s|360000 | 2285 | 3271k| 9.1 | 62M| 73 | 1 |1973 | 44k|1973 |1768 | 52k| 486k|7918 | 0.000000e+00 | 2.100000e+01 | Inf 969.20/969.28 c 926s|370000 | 2324 | 3378k| 9.1 | 64M| 73 | 1 |1973 | 48k|1973 |1768 | 53k| 499k|8016 | 0.000000e+00 | 2.100000e+01 | Inf 1001.91/1001.95 c 957s|380000 | 2347 | 3484k| 9.2 | 66M| 73 | - |1973 | 53k|1973 |1768 | 55k| 513k|8130 | 0.000000e+00 | 2.100000e+01 | Inf 1035.80/1035.87 c 990s|390000 | 2432 | 3589k| 9.2 | 66M| 73 | - |1973 | 51k| 0 | 0 | 56k| 526k|8234 | 0.000000e+00 | 2.100000e+01 | Inf 1068.21/1068.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1068.21/1068.26 c 1021s|400000 | 2420 | 3686k| 9.2 | 67M| 73 | 19 |1973 | 51k|1973 |1768 | 58k| 539k|8310 | 0.000000e+00 | 2.100000e+01 | Inf 1101.70/1101.77 c 1053s|410000 | 2371 | 3786k| 9.2 | 68M| 73 | 20 |1973 | 55k|1973 |1772 | 59k| 553k|8388 | 0.000000e+00 | 2.100000e+01 | Inf 1135.21/1135.20 c 1086s|420000 | 2438 | 3882k| 9.2 | 70M| 73 | 9 |1973 | 59k|1973 |1768 | 61k| 566k|8497 | 0.000000e+00 | 2.100000e+01 | Inf 1171.71/1171.75 c 1121s|430000 | 2430 | 3985k| 9.3 | 70M| 73 | 11 |1973 | 59k|1973 |1768 | 63k| 579k|8601 | 0.000000e+00 | 2.100000e+01 | Inf 1208.41/1208.43 c 1156s|440000 | 2459 | 4090k| 9.3 | 70M| 73 | 11 |1973 | 58k|1973 |1768 | 64k| 592k|8696 | 0.000000e+00 | 2.100000e+01 | Inf 1243.50/1243.50 c 1190s|450000 | 2549 | 4188k| 9.3 | 72M| 73 | 16 |1973 | 59k|1973 |1768 | 66k| 605k|8774 | 0.000000e+00 | 2.100000e+01 | Inf 1279.61/1279.62 c 1225s|460000 | 2575 | 4298k| 9.3 | 73M| 73 | - |1973 | 60k| 0 | 0 | 67k| 619k|8868 | 0.000000e+00 | 2.100000e+01 | Inf 1314.61/1314.61 c 1259s|470000 | 2614 | 4401k| 9.4 | 74M| 73 | 20 |1973 | 61k|1973 |1768 | 68k| 633k|8949 | 0.000000e+00 | 2.100000e+01 | Inf 1350.81/1350.82 c 1294s|480000 | 2647 | 4508k| 9.4 | 75M| 73 | - |1973 | 63k| 0 | 0 | 70k| 646k|9036 | 0.000000e+00 | 2.100000e+01 | Inf 1387.01/1387.07 c 1329s|490000 | 2649 | 4609k| 9.4 | 76M| 73 | 6 |1973 | 64k|1973 |1777 | 71k| 660k|9113 | 0.000000e+00 | 2.100000e+01 | Inf 1425.11/1425.19 c 1365s|500000 | 2623 | 4719k| 9.4 | 76M| 73 | - |1973 | 65k| 0 | 0 | 73k| 674k|9201 | 0.000000e+00 | 2.100000e+01 | Inf 1463.02/1463.04 c 1402s|510000 | 2665 | 4829k| 9.5 | 76M| 73 | - |1973 | 65k| 0 | 0 | 74k| 687k|9281 | 0.000000e+00 | 2.100000e+01 | Inf 1499.71/1499.71 c 1437s|520000 | 2545 | 4928k| 9.5 | 73M| 73 | - |1973 | 59k| 0 | 0 | 75k| 701k|9344 | 0.000000e+00 | 2.100000e+01 | Inf 1536.51/1536.59 c 1473s|530000 | 2553 | 5038k| 9.5 | 75M| 73 | 14 |1973 | 63k|1973 |1768 | 77k| 714k|9421 | 0.000000e+00 | 2.100000e+01 | Inf 1575.31/1575.39 c 1511s|540000 | 2267 | 5134k| 9.5 | 70M| 73 | 21 |1973 | 54k|1973 |1758 | 79k| 728k|9602 | 0.000000e+00 | 2.100000e+01 | Inf 1606.21/1606.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1606.21/1606.23 c 1540s|550000 | 2277 | 5229k| 9.5 | 70M| 73 | 26 |1973 | 53k|1973 |1758 | 81k| 741k|9650 | 0.000000e+00 | 2.100000e+01 | Inf 1637.42/1637.47 c 1570s|560000 | 2330 | 5326k| 9.5 | 71M| 73 | - |1973 | 55k| 0 | 0 | 83k| 755k|9756 | 0.000000e+00 | 2.100000e+01 | Inf 1670.52/1670.55 c 1602s|570000 | 2247 | 5416k| 9.5 | 67M| 73 | 1 |1973 | 45k|1973 |1758 | 85k| 768k|9903 | 0.000000e+00 | 2.100000e+01 | Inf 1699.82/1699.84 c 1630s|580000 | 2378 | 5506k| 9.5 | 68M| 73 | - |1973 | 46k| 0 | 0 | 86k| 781k| 10k| 0.000000e+00 | 2.100000e+01 | Inf 1706.82/1706.84 o 19 1706.82/1706.84 c *1637s|582584 | 2292 | 5527k| 9.5 | 67M| 73 | - |1973 | 47k|1973 |1768 | 87k| 785k| 10k| 0.000000e+00 | 1.900000e+01 | Inf 1728.92/1728.91 c 1658s|590000 | 2354 | 5598k| 9.5 | 67M| 73 | - |1973 | 46k| 0 | 0 | 88k| 795k| 10k| 0.000000e+00 | 1.900000e+01 | Inf 1758.42/1758.49 c 1687s|600000 | 2391 | 5696k| 9.5 | 68M| 73 | 18 |1973 | 48k|1973 |1767 | 90k| 808k| 10k| 0.000000e+00 | 1.900000e+01 | Inf 1789.03/1789.05 c 1716s|610000 | 2506 | 5796k| 9.5 | 70M| 73 | 30 |1973 | 48k|1973 |1758 | 92k| 822k| 10k| 0.000000e+00 | 1.900000e+01 | 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) : 1726.52 1800.02/1800.00 c Solving Nodes : 613516 1800.02/1800.00 c Primal Bound : +1.90000000000000e+01 (197 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 1800.02/1800.01 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 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 1800.02/1800.01 v -x2 x1 1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.01 c Solving Time : 1726.52 1800.02/1800.01 c Original Problem : 1800.02/1800.01 c Problem name : HOME/instance-2693557-1277910410.wbo 1800.02/1800.01 c Variables : 2085 (1158 binary, 0 integer, 0 implicit integer, 927 continuous) 1800.02/1800.01 c Constraints : 3635 initial, 3635 maximal 1800.02/1800.01 c Presolved Problem : 1800.02/1800.01 c Problem name : t_HOME/instance-2693557-1277910410.wbo 1800.02/1800.01 c Variables : 1973 (1102 binary, 0 integer, 0 implicit integer, 871 continuous) 1800.02/1800.01 c Constraints : 3465 initial, 67020 maximal 1800.02/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.01 c trivial : 0.00 56 0 0 0 0 0 0 0 1800.02/1800.01 c dualfix : 0.00 56 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 56 0 0 1800.02/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c linear : 0.05 0 0 0 929 0 114 56 0 1800.02/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.02/1800.01 c root node : - 708 - - 1416 - - - - 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 348008 0 194 2426 0 0 648978 1800.02/1800.01 c indicator : 871 0 2815491 21468 0 578 2133116 0 0 0 1800.02/1800.01 c knapsack : 1 5 2811232 21246 0 31094 8310704 0 0 0 1800.02/1800.01 c setppc : 14 5 2785900 21238 0 41861 1737773 0 0 0 1800.02/1800.01 c linear : 871 5 2745917 21454 0 36632 2624349 92731 0 0 1800.02/1800.01 c logicor : 1708+ 5 1368096 4411 0 121166 4872777 0 0 0 1800.02/1800.01 c countsols : 0 0 0 4411 0 0 0 0 0 0 1800.02/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.01 c integral : 28.52 0.00 0.00 28.52 0.00 1800.02/1800.01 c indicator : 8.82 0.00 8.09 0.73 0.00 1800.02/1800.01 c knapsack : 35.51 0.00 35.51 0.00 0.00 1800.02/1800.01 c setppc : 12.92 0.00 12.92 0.00 0.00 1800.02/1800.01 c linear : 37.58 0.00 36.91 0.67 0.00 1800.02/1800.01 c logicor : 402.75 0.00 402.73 0.02 0.00 1800.02/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.01 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.01 c vbounds : 0.03 2 0 0 1800.02/1800.01 c rootredcost : 0.00 31 0 708 1800.02/1800.01 c pseudoobj : 55.96 2824647 5136 1829804 1800.02/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.01 c propagation : 10.03 235889 235279 1527006 27.0 8227 21.5 - 1800.02/1800.01 c infeasible LP : 17.26 85261 85261 713025 40.8 971 16.0 0 1800.02/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.01 c pseudo solution : 0.00 75 75 518 20.7 11 14.2 - 1800.02/1800.01 c applied globally : - - - 826932 25.9 - - - 1800.02/1800.01 c applied locally : - - - 0 0.0 - - - 1800.02/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.01 c cut pool : 0.00 4 - - 9 - (maximal pool size: 178) 1800.02/1800.01 c redcost : 10.89 350514 0 268466 0 0 1800.02/1800.01 c impliedbounds : 0.00 5 0 0 0 0 1800.02/1800.01 c intobj : 0.00 0 0 0 0 0 1800.02/1800.01 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.01 c gomory : 0.12 5 0 0 883 0 1800.02/1800.01 c strongcg : 0.12 5 0 0 883 0 1800.02/1800.01 c cmir : 0.02 5 0 0 0 0 1800.02/1800.01 c flowcover : 0.04 5 0 0 0 0 1800.02/1800.01 c clique : 0.00 5 0 0 0 0 1800.02/1800.01 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.01 c mcf : 0.00 1 0 0 0 0 1800.02/1800.01 c rapidlearning : 0.00 0 0 0 0 0 1800.02/1800.01 c Pricers : Time Calls Vars 1800.02/1800.01 c problem variables: 0.00 0 0 1800.02/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.01 c relpscost : 28.42 326525 194 2426 0 0 648978 1800.02/1800.01 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.01 c inference : 0.41 4381 0 0 0 0 8762 1800.02/1800.01 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.01 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.01 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.01 c random : 0.00 0 0 0 0 0 0 1800.02/1800.01 c Primal Heuristics : Time Calls Found 1800.02/1800.01 c LP solutions : 0.01 - 30 1800.02/1800.01 c pseudo solutions : 0.00 - 0 1800.02/1800.01 c feaspump : 0.01 1 0 1800.02/1800.01 c oneopt : 0.08 28 0 1800.02/1800.01 c intshifting : 0.00 19 0 1800.02/1800.01 c crossover : 0.38 21 0 1800.02/1800.01 c guideddiving : 0.35 182 0 1800.02/1800.01 c coefdiving : 0.29 183 0 1800.02/1800.01 c fracdiving : 0.38 183 0 1800.02/1800.01 c pscostdiving : 0.30 183 0 1800.02/1800.01 c veclendiving : 0.40 183 0 1800.02/1800.01 c linesearchdiving : 0.37 183 0 1800.02/1800.01 c objpscostdiving : 0.19 117 0 1800.02/1800.01 c rootsoldiving : 0.34 117 0 1800.02/1800.01 c trivial : 0.00 2 0 1800.02/1800.01 c simplerounding : 0.41 327370 0 1800.02/1800.01 c zirounding : 0.22 1000 0 1800.02/1800.01 c rounding : 0.93 8077 0 1800.02/1800.01 c shifting : 0.89 2524 0 1800.02/1800.01 c twoopt : 0.00 0 0 1800.02/1800.01 c fixandinfer : 0.00 0 0 1800.02/1800.01 c intdiving : 0.00 0 0 1800.02/1800.01 c actconsdiving : 0.00 0 0 1800.02/1800.01 c octane : 0.00 0 0 1800.02/1800.01 c rens : 0.03 1 0 1800.02/1800.01 c rins : 0.00 0 0 1800.02/1800.01 c localbranching : 0.00 0 0 1800.02/1800.01 c mutation : 0.00 0 0 1800.02/1800.01 c dins : 0.00 0 0 1800.02/1800.01 c undercover : 0.00 0 0 1800.02/1800.01 c nlp : 0.00 0 0 1800.02/1800.01 c trysol : 0.39 2266 167 1800.02/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.01 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.01 c dual LP : 666.70 429272 5826702 13.57 8739.62 1800.02/1800.01 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.01 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.01 c diving/probing LP: 1.44 1082 7565 6.99 5253.47 1800.02/1800.01 c strong branching : 24.66 10238 239620 23.40 9716.95 1800.02/1800.01 c (at root node) : - 33 7327 222.03 - 1800.02/1800.01 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.01 c B&B Tree : 1800.02/1800.01 c number of runs : 1 1800.02/1800.01 c nodes : 613516 1800.02/1800.01 c nodes (total) : 613516 1800.02/1800.01 c nodes left : 2559 1800.02/1800.01 c max depth : 73 1800.02/1800.01 c max depth (total): 73 1800.02/1800.01 c backtracks : 77219 (12.6%) 1800.02/1800.01 c delayed cutoffs : 38688 1800.02/1800.01 c repropagations : 1124311 (3768433 domain reductions, 36325 cutoffs) 1800.02/1800.01 c avg switch length: 5.23 1800.02/1800.01 c switching time : 262.89 1800.02/1800.01 c Solution : 1800.02/1800.01 c Solutions found : 197 (31 improvements) 1800.02/1800.01 c First Solution : +4.29620000000000e+04 (in run 1, after 10 nodes, 2.05 seconds, depth 9, found by <trysol>) 1800.02/1800.01 c Primal Bound : +1.90000000000000e+01 (in run 1, after 582584 nodes, 1637.13 seconds, depth 36, found by <relaxation>) 1800.02/1800.01 c Dual Bound : +0.00000000000000e+00 1800.02/1800.01 c Gap : infinite 1800.02/1800.01 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.01 c Root Iterations : 156 1800.12/1800.12 c Time complete: 1800.14.
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693557-1277910410/watcher-2693557-1277910410 -o /tmp/evaluation-result-2693557-1277910410/solver-2693557-1277910410 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693557-1277910410.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.08 2.10 2.20 3/196 13380 /proc/meminfo: memFree=30920712/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=10868 CPUtime=0 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 1665 0 0 0 0 0 0 0 22 0 1 0 132336403 11128832 1586 4089446400 4194304 9819077 140735950025600 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13380/statm: 2717 1586 392 1374 0 1338 0 [startup+0.019107 s] /proc/loadavg: 2.08 2.10 2.20 3/196 13380 /proc/meminfo: memFree=30920712/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=13380 CPUtime=0.01 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 2274 0 0 0 1 0 0 0 22 0 1 0 132336403 13701120 2195 4089446400 4194304 9819077 140735950025600 18446744073709551615 5649207 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13380/statm: 3345 2195 392 1374 0 1966 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13380 [startup+0.101128 s] /proc/loadavg: 2.08 2.10 2.20 3/196 13380 /proc/meminfo: memFree=30920712/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=25880 CPUtime=0.09 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 7668 0 0 0 7 2 0 0 22 0 1 0 132336403 26501120 5179 4089446400 4194304 9819077 140735950025600 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13380/statm: 6470 5179 512 1374 0 5091 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25880 [startup+0.301108 s] /proc/loadavg: 2.08 2.10 2.20 3/196 13380 /proc/meminfo: memFree=30920712/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=37104 CPUtime=0.29 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 12124 0 0 0 26 3 0 0 18 0 1 0 132336403 37994496 7736 4089446400 4194304 9819077 140735950025600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13380/statm: 9276 7736 691 1374 0 7897 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37104 [startup+0.701001 s] /proc/loadavg: 2.08 2.10 2.20 3/196 13380 /proc/meminfo: memFree=30920712/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=39888 CPUtime=0.69 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 23957 0 0 0 64 5 0 0 18 0 1 0 132336403 40845312 7985 4089446400 4194304 9819077 140735950025600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13380/statm: 9972 7985 736 1374 0 8593 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39888 [startup+1.50085 s] /proc/loadavg: 2.08 2.10 2.20 3/197 13381 /proc/meminfo: memFree=30890808/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=39824 CPUtime=1.49 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 31222 0 0 0 142 7 0 0 19 0 1 0 132336403 40779776 7941 4089446400 4194304 9819077 140735950025600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13380/statm: 9956 7941 736 1374 0 8577 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39824 [startup+3.10061 s] /proc/loadavg: 2.08 2.10 2.20 3/197 13381 /proc/meminfo: memFree=30889444/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=41168 CPUtime=3.07 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 66710 0 0 0 292 15 0 0 25 0 1 0 132336403 42156032 8216 4089446400 4194304 9819077 140735950025600 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13380/statm: 10292 8216 739 1374 0 8913 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 41168 [startup+6.30098 s] /proc/loadavg: 2.07 2.10 2.20 3/197 13381 /proc/meminfo: memFree=30883832/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=47300 CPUtime=6.28 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 140412 0 0 0 592 36 0 0 25 0 1 0 132336403 48435200 9815 4089446400 4194304 9819077 140735950025600 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 11825 9815 742 1374 0 10446 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 47300 [startup+12.7009 s] /proc/loadavg: 2.07 2.10 2.20 3/197 13381 /proc/meminfo: memFree=30873548/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=53676 CPUtime=12.68 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 244461 0 0 0 1195 73 0 0 25 0 1 0 132336403 54964224 11792 4089446400 4194304 9819077 140735950025600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 13419 11792 743 1374 0 12040 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 53676 [startup+25.5005 s] /proc/loadavg: 2.05 2.09 2.19 3/197 13381 /proc/meminfo: memFree=30851004/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=71640 CPUtime=25.48 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 410501 0 0 0 2398 150 0 0 25 0 1 0 132336403 73359360 16202 4089446400 4194304 9819077 140735950025600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 17910 16202 743 1374 0 16531 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 71640 [startup+51.1009 s] /proc/loadavg: 2.03 2.08 2.19 3/197 13383 /proc/meminfo: memFree=30819052/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=93492 CPUtime=51.08 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 658725 0 0 0 4804 304 0 0 25 0 1 0 132336403 95735808 21379 4089446400 4194304 9819077 140735950025600 18446744073709551615 8655917 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 23373 21379 743 1374 0 21994 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 93492 [startup+102.307 s] /proc/loadavg: 2.01 2.07 2.17 3/197 13384 /proc/meminfo: memFree=30790864/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=99560 CPUtime=102.29 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 1286993 0 0 0 9614 615 0 0 25 0 1 0 132336403 101949440 22865 4089446400 4194304 9819077 140735950025600 18446744073709551615 4209998 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 24890 22865 743 1374 0 23511 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 99560 [startup+162.301 s] /proc/loadavg: 2.00 2.05 2.16 3/197 13385 /proc/meminfo: memFree=30758596/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=103500 CPUtime=162.28 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 1891960 0 0 0 15289 939 0 0 25 0 1 0 132336403 105984000 23907 4089446400 4194304 9819077 140735950025600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 25875 23907 743 1374 0 24496 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 103500 [startup+222.301 s] /proc/loadavg: 2.51 2.23 2.22 3/197 13387 /proc/meminfo: memFree=30736720/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=105840 CPUtime=222.29 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 2461087 0 0 0 20980 1249 0 0 25 0 1 0 132336403 108380160 24431 4089446400 4194304 9819077 140735950025600 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 26460 24431 743 1374 0 25081 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 105840 [startup+282.301 s] /proc/loadavg: 2.19 2.18 2.20 3/197 13389 /proc/meminfo: memFree=30711008/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=109508 CPUtime=282.28 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 3007939 0 0 0 26691 1537 0 0 25 0 1 0 132336403 112136192 25255 4089446400 4194304 9819077 140735950025600 18446744073709551615 4208934 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 27377 25255 743 1374 0 25998 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 109508 [startup+342.3 s] /proc/loadavg: 2.47 2.25 2.21 3/197 13390 /proc/meminfo: memFree=30676232/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=114072 CPUtime=342.29 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 3530764 0 0 0 32395 1834 0 0 25 0 1 0 132336403 116809728 26360 4089446400 4194304 9819077 140735950025600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 28518 26360 743 1374 0 27139 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 114072 [startup+402.3 s] /proc/loadavg: 2.51 2.30 2.23 3/197 13392 /proc/meminfo: memFree=30644712/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=118768 CPUtime=402.28 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 4029481 0 0 0 38145 2083 0 0 25 0 1 0 132336403 121618432 27501 4089446400 4194304 9819077 140735950025600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 29692 27501 743 1374 0 28313 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 118768 [startup+462.301 s] /proc/loadavg: 2.19 2.25 2.22 3/197 13393 /proc/meminfo: memFree=30625084/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=123972 CPUtime=462.29 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 4494919 0 0 0 43903 2326 0 0 25 0 1 0 132336403 126947328 28764 4089446400 4194304 9819077 140735950025600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 30993 28764 743 1374 0 29614 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 123972 [startup+522.301 s] /proc/loadavg: 2.10 2.21 2.20 3/197 13395 /proc/meminfo: memFree=30611532/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=126284 CPUtime=522.29 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 4943707 0 0 0 49649 2580 0 0 25 0 1 0 132336403 129314816 29320 4089446400 4194304 9819077 140735950025600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 31571 29320 743 1374 0 30192 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 126284 [startup+582.301 s] /proc/loadavg: 2.04 2.17 2.19 3/197 13397 /proc/meminfo: memFree=30584196/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=132260 CPUtime=582.3 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 5387391 0 0 0 55390 2840 0 0 25 0 1 0 132336403 135434240 30624 4089446400 4194304 9819077 140735950025600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 33065 30624 743 1374 0 31686 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 132260 [startup+642.3 s] /proc/loadavg: 2.01 2.14 2.17 3/197 13398 /proc/meminfo: memFree=30564196/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=134680 CPUtime=642.3 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 5794792 0 0 0 61174 3056 0 0 25 0 1 0 132336403 137912320 31259 4089446400 4194304 9819077 140735950025600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 33670 31259 743 1374 0 32291 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 134680 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.03 2.12 2.16 3/197 13405 /proc/meminfo: memFree=30459492/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=144880 CPUtime=882.3 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 7349302 0 0 0 84237 3993 0 0 25 0 1 0 132336403 148357120 33533 4089446400 4194304 9819077 140735950025600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 36220 33535 743 1374 0 34841 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 144880 [startup+942.301 s] /proc/loadavg: 2.01 2.09 2.15 3/197 13406 /proc/meminfo: memFree=30458600/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=145380 CPUtime=942.3 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 7798768 0 0 0 89996 4234 0 0 25 0 1 0 132336403 148869120 33711 4089446400 4194304 9819077 140735950025600 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 36345 33711 743 1374 0 34966 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 145380 [startup+1002.3 s] /proc/loadavg: 2.00 2.07 2.13 3/197 13408 /proc/meminfo: memFree=30456356/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=147356 CPUtime=1002.3 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 8250337 0 0 0 95758 4472 0 0 25 0 1 0 132336403 150892544 34163 4089446400 4194304 9819077 140735950025600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 36839 34163 743 1374 0 35460 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 147356 [startup+1062.3 s] /proc/loadavg: 2.05 2.07 2.13 3/197 13409 /proc/meminfo: memFree=30455584/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=148296 CPUtime=1062.31 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 8673591 0 0 0 101545 4686 0 0 25 0 1 0 132336403 151855104 34388 4089446400 4194304 9819077 140735950025600 18446744073709551615 4210590 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 37074 34388 743 1374 0 35695 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 148296 [startup+1122.3 s] /proc/loadavg: 2.02 2.06 2.12 3/197 13411 /proc/meminfo: memFree=30451824/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=151916 CPUtime=1122.31 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 9093858 0 0 0 107318 4913 0 0 25 0 1 0 132336403 155561984 35275 4089446400 4194304 9819077 140735950025600 18446744073709551615 4210705 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 37979 35275 743 1374 0 36600 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 151916 [startup+1182.3 s] /proc/loadavg: 2.00 2.04 2.10 3/197 13413 /proc/meminfo: memFree=30449196/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=153920 CPUtime=1182.31 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 9491877 0 0 0 113110 5121 0 0 25 0 1 0 132336403 157614080 35856 4089446400 4194304 9819077 140735950025600 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 38579 35858 743 1374 0 37200 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 153920 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.09 3/197 13414 /proc/meminfo: memFree=30448180/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=155288 CPUtime=1242.31 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 9884742 0 0 0 118911 5320 0 0 25 0 1 0 132336403 159014912 36016 4089446400 4194304 9819077 140735950025600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13380/statm: 38822 36016 743 1374 0 37443 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 155288 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.09 3/179 13446 /proc/meminfo: memFree=31076752/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=156956 CPUtime=1302.31 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 10268167 0 0 0 124695 5536 0 0 25 0 1 0 132336403 160722944 36383 4089446400 4194304 9819077 140735950025600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13380/statm: 39239 36383 743 1374 0 37860 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 156956 [startup+1362.3 s] /proc/loadavg: 2.06 2.03 2.09 3/179 13447 /proc/meminfo: memFree=30904232/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=158124 CPUtime=1362.31 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 10657070 0 0 0 130476 5755 0 0 25 0 1 0 132336403 161918976 36672 4089446400 4194304 9819077 140735950025600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13380/statm: 39531 36672 743 1374 0 38152 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 158124 [startup+1422.31 s] /proc/loadavg: 2.02 2.03 2.08 3/179 13449 /proc/meminfo: memFree=30748836/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=159216 CPUtime=1422.31 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 11027802 0 0 0 136271 5960 0 0 25 0 1 0 132336403 163037184 36929 4089446400 4194304 9819077 140735950025600 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13380/statm: 39838 36930 743 1374 0 38459 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 159216 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.07 3/179 13451 /proc/meminfo: memFree=30599624/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=160368 CPUtime=1482.32 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 11386756 0 0 0 142068 6164 0 0 25 0 1 0 132336403 164216832 37203 4089446400 4194304 9819077 140735950025600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13380/statm: 40092 37203 743 1374 0 38713 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 160368 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.07 3/179 13455 /proc/meminfo: memFree=30428632/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=160736 CPUtime=1542.32 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 11762473 0 0 0 147862 6370 0 0 25 0 1 0 132336403 164593664 37448 4089446400 4194304 9819077 140735950025600 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13380/statm: 40184 37448 743 1374 0 38805 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 160736 [startup+1602.3 s] /proc/loadavg: 2.38 2.10 2.09 4/200 13550 /proc/meminfo: memFree=30919376/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=165112 CPUtime=1602.32 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 12141627 0 0 0 153660 6572 0 0 25 0 1 0 132336403 169074688 38155 4089446400 4194304 9819077 140735950025600 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13380/statm: 41278 38155 743 1374 0 39899 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 165112 [startup+1662.3 s] /proc/loadavg: 2.98 2.33 2.17 4/200 13551 /proc/meminfo: memFree=30897856/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=165628 CPUtime=1662.32 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 12544325 0 0 0 159430 6802 0 0 25 0 1 0 132336403 169603072 38244 4089446400 4194304 9819077 140735950025600 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13380/statm: 41407 38244 743 1374 0 40028 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 165628 [startup+1722.3 s] /proc/loadavg: 2.88 2.41 2.21 4/200 13553 /proc/meminfo: memFree=30890040/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=167348 CPUtime=1722.32 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 12981223 0 0 0 165203 7029 0 0 25 0 1 0 132336403 171364352 38591 4089446400 4194304 9819077 140735950025600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13380/statm: 41837 38591 743 1374 0 40458 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 167348 [startup+1782.3 s] /proc/loadavg: 2.96 2.52 2.25 4/200 13555 /proc/meminfo: memFree=30880432/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=167852 CPUtime=1782.32 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 13417756 0 0 0 170962 7270 0 0 25 0 1 0 132336403 171880448 38691 4089446400 4194304 9819077 140735950025600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13380/statm: 41963 38691 743 1374 0 40584 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 167852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.97 2.55 2.27 3/200 13555 /proc/meminfo: memFree=30877684/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=167600 CPUtime=1800.02 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 13546238 0 0 0 172654 7348 0 0 25 0 1 0 132336403 171622400 38689 4089446400 4194304 9819077 140735950025600 18446744073709551615 4854304 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13380/statm: 41900 38689 743 1374 0 40521 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 167600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.97 2.55 2.27 3/200 13555 /proc/meminfo: memFree=30877684/32951124 swapFree=67111528/67111528 [pid=13380] ppid=13378 vsize=166440 CPUtime=1800.12 /proc/13380/stat : 13380 (pbscip.linux.x8) R 13378 13380 12083 0 -1 4202496 13546239 0 0 0 172664 7348 0 0 25 0 1 0 132336403 170434560 38400 4089446400 4194304 9819077 140735950025600 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13380/statm: 41610 38400 744 1374 0 40231 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 166440 Child status: 0 Real time (s): 1800.12 CPU time (s): 1800.15 CPU user time (s): 1726.66 CPU system time (s): 73.4968 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 170096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1726.66 system time used= 73.4968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13546243 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1183 runsolver used 3.11453 second user time and 6.21406 second system time The end
Begin job on node137 at 2010-06-30 17:06:50 IDJOB=2693557 IDBENCH=78977 IDSOLVER=1205 FILE ID=node137/2693557-1277910410 PBS_JOBID= 11197239 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--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-2693557-1277910410/watcher-2693557-1277910410 -o /tmp/evaluation-result-2693557-1277910410/solver-2693557-1277910410 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693557-1277910410.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ccbb2f2628d7a379eab2ad56e88b2a24 RANDOM SEED=288979894 node137.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.876 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.75 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.876 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.876 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.74 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 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.83 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.876 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.74 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.876 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30921116 kB Buffers: 196548 kB Cached: 1262608 kB SwapCached: 0 kB Active: 972476 kB Inactive: 913604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30921116 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6344 kB Writeback: 0 kB AnonPages: 427188 kB Mapped: 20164 kB Slab: 80052 kB PageTables: 5488 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1659900 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node137 at 2010-06-30 17:36:52