Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1800.21 | 1800.18 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo |
MD5SUM | 9fdf6a24194e0c0ae14212c193866ebe |
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 | 403.22 |
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 | 1830 |
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 | 92327 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 92326 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 683 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2692869-1277907872.wbo> 0.00/0.03 c original problem has 3891 variables (2061 bin, 0 int, 0 impl, 1830 cont) and 4538 constraints 0.00/0.03 c problem read 0.00/0.03 c presolving settings loaded 0.00/0.05 c presolving: 0.00/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs 0.00/0.09 c (round 2) 0 del vars, 63 del conss, 1830 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs 0.09/0.10 c (round 3) 48 del vars, 129 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs 0.09/0.11 c (round 4) 107 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs 0.09/0.12 c (round 5) 118 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs 0.09/0.17 c (0.1s) probing: 101/2002 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.17 c presolving (6 rounds): 0.09/0.17 c 118 deleted vars, 140 deleted constraints, 1841 tightened bounds, 0 added holes, 66 changed sides, 0 changed coefficients 0.09/0.17 c 1960 implications, 7 cliques 0.09/0.17 c presolved problem has 3773 variables (2002 bin, 0 int, 0 impl, 1771 cont) and 4398 constraints 0.09/0.17 c 1771 constraints of type <indicator> 0.09/0.17 c 7 constraints of type <setppc> 0.09/0.17 c 1771 constraints of type <linear> 0.09/0.17 c 849 constraints of type <logicor> 0.09/0.17 c transformed objective value is always integral (scale: 1) 0.09/0.17 c Presolving Time: 0.13 0.09/0.17 c - non default parameters ---------------------------------------------------------------------- 0.09/0.17 c # SCIP version 1.2.1.2 0.09/0.17 c 0.09/0.17 c # frequency for displaying node information lines 0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.17 c display/freq = 10000 0.09/0.17 c 0.09/0.17 c # maximal time in seconds to run 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/time = 1799.98 0.09/0.17 c 0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/memory = 3420 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify inequalities 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/linear/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify knapsacks 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.17 c separating/rapidlearning/freq = 0 0.09/0.17 c 0.09/0.17 c ----------------------------------------------------------------------------------------------- 0.09/0.17 c start solving 0.09/0.18 c 0.09/0.19 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.19 c 0.1s| 1 | 0 | 8 | - | 13M| 0 | 7 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.19 o 89215 0.09/0.19 c y 0.1s| 1 | 0 | 13 | - | 14M| 0 | 7 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf 0.19/0.21 c 0.2s| 1 | 0 | 58 | - | 14M| 0 | 11 |3773 |4398 |3773 | 877 | 21 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf 0.19/0.24 c 0.2s| 1 | 0 | 119 | - | 14M| 0 | 31 |3773 |4398 |3773 | 895 | 39 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf 0.29/0.30 c 0.3s| 1 | 0 | 153 | - | 14M| 0 | 41 |3773 |4398 |3773 | 912 | 56 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf 0.29/0.36 c 0.3s| 1 | 0 | 165 | - | 14M| 0 | 39 |3773 |4398 |3773 | 917 | 61 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf 0.39/0.42 c 0.4s| 1 | 0 | 212 | - | 14M| 0 | 42 |3773 |4398 |3773 | 920 | 64 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf 0.39/0.49 c 0.5s| 1 | 0 | 274 | - | 14M| 0 | 48 |3773 |4398 |3773 | 927 | 71 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf 0.89/0.90 c 0.8s| 1 | 2 | 274 | - | 14M| 0 | 48 |3773 |4398 |3773 | 927 | 71 | 0 | 33 | 0.000000e+00 | 8.921500e+04 | Inf 16.09/16.12 c 15.9s| 10000 | 10001 | 2437 | 0.2 | 33M| 815 | 0 |3773 |4398 |3773 | 968 | 500 | 0 | 677 | 0.000000e+00 | 8.921500e+04 | Inf 31.10/31.12 c 30.7s| 20000 | 19997 | 8522 | 0.4 | 53M| 815 | 0 |3773 |4412 |3773 | 973 |1038 | 14 |1204 | 0.000000e+00 | 8.921500e+04 | Inf 35.39/35.43 o 470 35.39/35.43 c *35.0s| 22883 | 8971 | 10745 | 0.5 | 36M| 815 | - |3773 |4421 |3773 | 943 |1165 | 23 |1284 | 0.000000e+00 | 4.700000e+02 | Inf 36.09/36.14 o 460 36.09/36.14 c *35.7s| 23231 | 8891 | 11830 | 0.5 | 36M| 815 | - |3773 |4458 |3773 | 948 |1235 | 60 |1296 | 0.000000e+00 | 4.600000e+02 | Inf 40.79/40.83 o 445 40.79/40.83 c *40.3s| 24744 | 9363 | 23801 | 1.0 | 38M| 815 | - |3773 |5092 |3773 | 963 |2017 | 773 |1578 | 0.000000e+00 | 4.450000e+02 | Inf 47.49/47.54 o 441 47.49/47.54 c *46.9s| 27302 | 11273 | 43636 | 1.6 | 44M| 815 | - |3773 |5527 |3773 | 970 |3334 |1902 |1636 | 0.000000e+00 | 4.410000e+02 | Inf 48.59/48.62 o 438 48.59/48.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 48.59/48.62 c *48.0s| 27819 | 11566 | 45394 | 1.6 | 45M| 815 | - |3773 |5596 |3773 | 946 |3439 |2115 |1659 | 0.000000e+00 | 4.380000e+02 | Inf 51.30/51.37 o 417 51.30/51.37 c *50.7s| 28835 | 11398 | 52619 | 1.8 | 45M| 815 | - |3773 |5654 |3773 | 968 |4145 |2600 |1709 | 0.000000e+00 | 4.170000e+02 | Inf 51.30/51.37 o 413 51.30/51.37 c *50.7s| 28836 | 11259 | 52619 | 1.8 | 45M| 815 | - |3773 |5654 |3773 | 968 |4145 |2600 |1709 | 0.000000e+00 | 4.130000e+02 | Inf 52.19/52.24 o 399 52.19/52.24 c *51.5s| 29140 | 10939 | 54849 | 1.9 | 45M| 815 | - |3773 |5672 |3773 | 940 |4400 |2785 |1719 | 0.000000e+00 | 3.990000e+02 | Inf 52.29/52.38 o 393 52.29/52.38 c *51.7s| 29190 | 10734 | 55142 | 1.9 | 44M| 815 | - |3773 |5663 |3773 | 958 |4428 |2786 |1719 | 0.000000e+00 | 3.930000e+02 | Inf 52.80/52.81 o 337 52.80/52.81 c *52.1s| 29400 | 8893 | 55709 | 1.9 | 40M| 815 | - |3773 |5669 |3773 | 939 |4476 |2841 |1719 | 0.000000e+00 | 3.370000e+02 | Inf 52.99/53.06 o 333 52.99/53.06 c *52.3s| 29519 | 8882 | 55929 | 1.9 | 40M| 815 | - |3773 |5679 |3773 | 967 |4540 |2872 |1719 | 0.000000e+00 | 3.330000e+02 | Inf 53.09/53.15 o 320 53.09/53.15 c *52.4s| 29549 | 8340 | 56154 | 1.9 | 39M| 815 | - |3773 |5679 |3773 | 944 |4551 |2892 |1722 | 0.000000e+00 | 3.200000e+02 | Inf 53.09/53.16 o 319 53.09/53.16 c *52.4s| 29550 | 8294 | 56154 | 1.9 | 38M| 815 | - |3773 |5679 |3773 | 944 |4551 |2892 |1722 | 0.000000e+00 | 3.190000e+02 | Inf 53.49/53.58 o 255 53.49/53.58 c *52.9s| 29750 | 5933 | 56742 | 1.9 | 34M| 815 | - |3773 |5648 |3773 | 948 |4653 |2923 |1728 | 0.000000e+00 | 2.550000e+02 | Inf 53.69/53.80 o 252 53.69/53.80 c *53.1s| 29848 | 5897 | 57041 | 1.9 | 34M| 815 | - |3773 |5621 |3773 | 948 |4703 |2923 |1728 | 0.000000e+00 | 2.520000e+02 | Inf 53.80/53.88 o 247 53.80/53.88 c *53.2s| 29879 | 5693 | 57175 | 1.9 | 34M| 815 | - |3773 |5631 |3773 | 948 |4738 |2946 |1728 | 0.000000e+00 | 2.470000e+02 | Inf 54.19/54.24 c 53.5s| 30000 | 5724 | 57779 | 1.9 | 34M| 815 | - |3773 |5822 | 0 | 0 |4816 |3226 |1733 | 0.000000e+00 | 2.470000e+02 | Inf 54.49/54.52 o 215 54.49/54.52 c *53.8s| 30148 | 4392 | 58063 | 1.9 | 32M| 815 | - |3773 |6011 |3773 | 939 |4839 |3434 |1733 | 0.000000e+00 | 2.150000e+02 | Inf 54.49/54.53 o 202 54.49/54.53 c *53.8s| 30149 | 3923 | 58063 | 1.9 | 31M| 815 | - |3773 |6011 |3773 | 939 |4839 |3434 |1733 | 0.000000e+00 | 2.020000e+02 | Inf 54.59/54.68 o 181 54.59/54.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 54.59/54.68 c *53.9s| 30206 | 3310 | 58257 | 1.9 | 30M| 815 | - |3773 |6020 |3773 | 937 |4869 |3475 |1733 | 0.000000e+00 | 1.810000e+02 | Inf 58.99/59.06 o 170 58.99/59.06 c *58.2s| 31622 | 3483 | 72193 | 2.3 | 32M| 815 | - |3773 |6035 |3773 | 946 |5942 |4824 |1747 | 0.000000e+00 | 1.700000e+02 | Inf 60.00/60.00 o 169 60.00/60.00 c *59.2s| 31951 | 3581 | 74955 | 2.3 | 33M| 815 | - |3773 |6145 |3773 | 952 |6256 |5172 |1748 | 0.000000e+00 | 1.690000e+02 | Inf 60.49/60.52 o 166 60.49/60.52 c *59.7s| 32173 | 3624 | 75729 | 2.3 | 33M| 815 | - |3773 |6127 |3773 | 949 |6350 |5303 |1749 | 0.000000e+00 | 1.660000e+02 | Inf 60.49/60.57 o 164 60.49/60.57 c *59.7s| 32186 | 3574 | 75847 | 2.3 | 33M| 815 | - |3773 |6125 |3773 | 938 |6356 |5312 |1749 | 0.000000e+00 | 1.640000e+02 | Inf 60.49/60.57 o 160 60.49/60.57 c *59.8s| 32187 | 3454 | 75847 | 2.3 | 32M| 815 | - |3773 |6125 |3773 | 938 |6356 |5312 |1749 | 0.000000e+00 | 1.600000e+02 | Inf 60.99/61.04 o 146 60.99/61.04 c *60.2s| 32334 | 3148 | 77288 | 2.4 | 32M| 815 | - |3773 |6130 |3773 | 954 |6461 |5431 |1749 | 0.000000e+00 | 1.460000e+02 | Inf 60.99/61.06 o 100 60.99/61.06 c *60.2s| 32340 | 2291 | 77298 | 2.4 | 29M| 815 | - |3773 |6130 |3773 | 954 |6461 |5431 |1749 | 0.000000e+00 | 1.000000e+02 | Inf 62.60/62.63 o 94 62.60/62.63 c *61.8s| 32893 | 2278 | 79946 | 2.4 | 29M| 815 | - |3773 |5747 |3773 | 929 |6671 |6017 |1750 | 0.000000e+00 | 9.400000e+01 | Inf 62.60/62.64 o 77 62.60/62.64 c *61.8s| 32894 | 2004 | 79946 | 2.4 | 28M| 815 | - |3773 |5747 |3773 | 929 |6671 |6017 |1750 | 0.000000e+00 | 7.700000e+01 | Inf 62.90/62.90 o 76 62.90/62.90 c *62.0s| 32977 | 2000 | 80580 | 2.4 | 29M| 815 | - |3773 |5130 |3773 | 940 |6703 |6091 |1750 | 0.000000e+00 | 7.600000e+01 | Inf 62.90/62.92 o 74 62.90/62.92 c *62.1s| 32979 | 1980 | 80580 | 2.4 | 29M| 815 | - |3773 |5085 |3773 | 940 |6703 |6091 |1750 | 0.000000e+00 | 7.400000e+01 | Inf 62.90/62.92 o 73 62.90/62.92 c *62.1s| 32980 | 1962 | 80580 | 2.4 | 28M| 815 | - |3773 |5085 |3773 | 940 |6703 |6091 |1750 | 0.000000e+00 | 7.300000e+01 | Inf 62.90/62.99 o 71 62.90/62.99 c *62.1s| 32997 | 1479 | 80748 | 2.4 | 27M| 815 | - |3773 |4989 |3773 | 935 |6731 |6101 |1750 | 0.000000e+00 | 7.100000e+01 | Inf 80.89/80.96 o 60 80.89/80.96 c *79.8s| 39711 | 1652 |121629 | 3.1 | 36M| 815 | - |3773 |7065 |3773 | 930 |8841 | 14k|1761 | 0.000000e+00 | 6.000000e+01 | Inf 81.70/81.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 81.70/81.78 c 80.7s| 40000 | 1677 |123462 | 3.1 | 36M| 815 | 4 |3773 |6333 |3773 | 930 |8894 | 14k|1761 | 0.000000e+00 | 6.000000e+01 | Inf 84.39/84.42 o 55 84.39/84.42 c *83.2s| 41142 | 1609 |128170 | 3.1 | 36M| 815 | - |3773 |6668 |3773 | 932 |9176 | 16k|1761 | 0.000000e+00 | 5.500000e+01 | Inf 88.60/88.67 o 49 88.60/88.67 c *87.4s| 42896 | 1598 |135335 | 3.1 | 37M| 815 | - |3773 |6620 |3773 | 937 |9735 | 18k|1795 | 0.000000e+00 | 4.900000e+01 | Inf 99.19/99.23 o 46 99.19/99.23 c *97.8s| 47249 | 1584 |153728 | 3.2 | 39M| 815 | - |3773 |6684 |3773 | 930 | 10k| 24k|1873 | 0.000000e+00 | 4.600000e+01 | Inf 99.29/99.32 o 40 99.29/99.32 c *97.9s| 47297 | 1345 |153792 | 3.2 | 38M| 815 | - |3773 |6568 |3773 | 933 | 10k| 24k|1873 | 0.000000e+00 | 4.000000e+01 | Inf 105.49/105.52 c 104s| 50000 | 1354 |163934 | 3.3 | 39M| 815 | 1 |3773 |6340 |3773 | 930 | 11k| 27k|1939 | 0.000000e+00 | 4.000000e+01 | Inf 121.69/121.71 o 32 121.69/121.71 c * 120s| 57009 | 1401 |194465 | 3.4 | 41M| 815 | - |3773 |7951 |3773 | 945 | 12k| 37k|2098 | 0.000000e+00 | 3.200000e+01 | Inf 122.00/122.03 o 27 122.00/122.03 c * 120s| 57143 | 1258 |194975 | 3.4 | 38M| 815 | - |3773 |7592 |3773 | 930 | 12k| 37k|2104 | 0.000000e+00 | 2.700000e+01 | Inf 124.89/124.95 o 17 124.89/124.95 c * 123s| 58590 | 1141 |201170 | 3.4 | 36M| 815 | - |3773 |7628 |3773 | 930 | 13k| 39k|2115 | 0.000000e+00 | 1.700000e+01 | Inf 125.60/125.64 o 15 125.60/125.64 c * 124s| 58957 | 1140 |202837 | 3.4 | 36M| 815 | - |3773 |7640 |3773 | 933 | 13k| 39k|2117 | 0.000000e+00 | 1.500000e+01 | Inf 125.60/125.66 o 13 125.60/125.66 c * 124s| 58959 | 1107 |202848 | 3.4 | 35M| 815 | - |3773 |7495 |3773 | 933 | 13k| 39k|2117 | 0.000000e+00 | 1.300000e+01 | Inf 125.60/125.66 o 10 125.60/125.66 c * 124s| 58960 | 1072 |202851 | 3.4 | 35M| 815 | - |3773 |7495 |3773 | 933 | 13k| 39k|2117 | 0.000000e+00 | 1.000000e+01 | Inf 127.79/127.80 c 126s| 60000 | 1045 |207858 | 3.5 | 35M| 815 | - |3773 |6881 | 0 | 0 | 13k| 41k|2162 | 0.000000e+00 | 1.000000e+01 | Inf 130.99/131.05 o 4 130.99/131.05 c * 129s| 61657 | 829 |215430 | 3.5 | 32M| 815 | - |3773 |7121 |3773 | 930 | 13k| 43k|2194 | 0.000000e+00 | 4.000000e+00 | Inf 147.00/147.08 c 145s| 70000 | 672 |257254 | 3.7 | 32M| 815 | 26 |3773 |7912 |3773 | 930 | 15k| 54k|2420 | 0.000000e+00 | 4.000000e+00 | Inf 168.89/168.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 168.89/168.95 c 166s| 80000 | 778 |315604 | 3.9 | 34M| 815 | - |3773 |9756 | 0 | 0 | 20k| 66k|2717 | 0.000000e+00 | 4.000000e+00 | Inf 189.59/189.60 c 187s| 90000 | 694 |365301 | 4.1 | 35M| 815 | - |3773 | 12k| 0 | 0 | 23k| 79k|2923 | 0.000000e+00 | 4.000000e+00 | Inf 210.79/210.83 c 208s|100000 | 669 |409621 | 4.1 | 36M| 815 | - |3773 | 16k| 0 | 0 | 24k| 93k|3104 | 0.000000e+00 | 4.000000e+00 | Inf 232.39/232.49 c 229s|110000 | 700 |452131 | 4.1 | 38M| 815 | 7 |3773 | 20k|3773 | 932 | 26k| 106k|3249 | 0.000000e+00 | 4.000000e+00 | Inf 250.59/250.61 o 3 250.59/250.61 c * 247s|117737 | 646 |486972 | 4.1 | 38M| 815 | - |3773 | 22k|3773 | 941 | 27k| 116k|3387 | 0.000000e+00 | 3.000000e+00 | Inf 255.70/255.70 c 252s|120000 | 656 |495707 | 4.1 | 38M| 815 | - |3773 | 23k| 0 | 0 | 27k| 119k|3437 | 0.000000e+00 | 3.000000e+00 | Inf 280.00/280.00 c 276s|130000 | 660 |539592 | 4.1 | 39M| 815 | 9 |3773 | 24k|3773 | 932 | 29k| 133k|3575 | 0.000000e+00 | 3.000000e+00 | Inf 304.40/304.47 c 300s|140000 | 667 |582402 | 4.2 | 40M| 815 | 1 |3773 | 26k|3773 | 932 | 30k| 147k|3720 | 0.000000e+00 | 3.000000e+00 | Inf 326.71/326.79 c 323s|150000 | 669 |620449 | 4.1 | 42M| 815 | - |3773 | 28k| 0 | 0 | 31k| 161k|3818 | 0.000000e+00 | 3.000000e+00 | Inf 349.20/349.21 c 345s|160000 | 613 |667309 | 4.2 | 38M| 815 | - |3773 | 20k|3773 | 944 | 33k| 174k|4016 | 0.000000e+00 | 3.000000e+00 | Inf 371.70/371.79 c 367s|170000 | 611 |719803 | 4.2 | 38M| 815 | 21 |3773 | 17k|3773 | 923 | 37k| 187k|4210 | 0.000000e+00 | 3.000000e+00 | Inf 390.70/390.79 c 386s|180000 | 524 |766724 | 4.3 | 36M| 815 | 1 |3773 | 13k|3773 | 930 | 38k| 201k|4301 | 0.000000e+00 | 3.000000e+00 | Inf 394.80/394.82 o 1 394.80/394.82 c * 390s|182161 | 531 |777277 | 4.3 | 36M| 815 | - |3773 | 15k|3773 | 930 | 38k| 204k|4365 | 0.000000e+00 | 1.000000e+00 | Inf 409.11/409.14 c 404s|190000 | 549 |809979 | 4.3 | 37M| 815 | 19 |3773 | 18k|3773 | 930 | 39k| 215k|4446 | 0.000000e+00 | 1.000000e+00 | Inf 428.50/428.54 c 423s|200000 | 596 |853916 | 4.3 | 39M| 815 | - |3773 | 20k| 0 | 0 | 40k| 229k|4556 | 0.000000e+00 | 1.000000e+00 | Inf 448.39/448.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 448.39/448.44 c 443s|210000 | 671 |896263 | 4.3 | 41M| 815 | 12 |3773 | 24k|3773 | 930 | 41k| 243k|4631 | 0.000000e+00 | 1.000000e+00 | Inf 470.20/470.24 c 464s|220000 | 638 |937558 | 4.3 | 42M| 815 | 20 |3773 | 26k|3773 | 930 | 43k| 258k|4751 | 0.000000e+00 | 1.000000e+00 | Inf 491.00/491.02 c 485s|230000 | 495 |983253 | 4.3 | 38M| 815 | 20 |3773 | 18k|3773 | 924 | 44k| 272k|4909 | 0.000000e+00 | 1.000000e+00 | Inf 513.10/513.19 c 507s|240000 | 514 | 1036k| 4.3 | 39M| 815 | 20 |3773 | 23k|3773 | 940 | 47k| 285k|5036 | 0.000000e+00 | 1.000000e+00 | Inf 536.59/536.67 c 530s|250000 | 604 | 1086k| 4.3 | 42M| 815 | - |3773 | 29k| 0 | 0 | 51k| 298k|5145 | 0.000000e+00 | 1.000000e+00 | Inf 563.60/563.64 c 557s|260000 | 642 | 1138k| 4.4 | 45M| 815 | 22 |3773 | 34k|3773 | 923 | 58k| 312k|5256 | 0.000000e+00 | 1.000000e+00 | Inf 591.90/591.92 c 585s|270000 | 552 | 1190k| 4.4 | 43M| 815 | 29 |3773 | 30k|3773 | 932 | 64k| 326k|5375 | 0.000000e+00 | 1.000000e+00 | Inf 617.20/617.23 c 610s|280000 | 488 | 1237k| 4.4 | 42M| 815 | 15 |3773 | 29k|3773 | 930 | 67k| 339k|5506 | 0.000000e+00 | 1.000000e+00 | Inf 640.50/640.50 c 633s|290000 | 499 | 1281k| 4.4 | 44M| 815 | 13 |3773 | 35k|3773 | 930 | 68k| 352k|5577 | 0.000000e+00 | 1.000000e+00 | Inf 666.30/666.32 c 658s|300000 | 516 | 1324k| 4.4 | 45M| 815 | 23 |3773 | 39k|3773 | 938 | 69k| 366k|5650 | 0.000000e+00 | 1.000000e+00 | Inf 691.50/691.59 c 683s|310000 | 485 | 1369k| 4.4 | 45M| 815 | 14 |3773 | 37k|3773 | 930 | 71k| 380k|5704 | 0.000000e+00 | 1.000000e+00 | Inf 721.51/721.52 c 713s|320000 | 510 | 1424k| 4.5 | 46M| 815 | 16 |3773 | 39k|3773 | 923 | 76k| 394k|5803 | 0.000000e+00 | 1.000000e+00 | Inf 754.01/754.09 c 745s|330000 | 495 | 1480k| 4.5 | 47M| 815 | 13 |3773 | 43k|3773 | 944 | 83k| 408k|5942 | 0.000000e+00 | 1.000000e+00 | Inf 786.30/786.39 c 777s|340000 | 527 | 1532k| 4.5 | 49M| 815 | 9 |3773 | 48k|3773 | 930 | 90k| 422k|6019 | 0.000000e+00 | 1.000000e+00 | Inf 821.51/821.50 c 812s|350000 | 562 | 1586k| 4.5 | 51M| 815 | - |3773 | 52k| 0 | 0 | 97k| 436k|6138 | 0.000000e+00 | 1.000000e+00 | Inf 857.90/857.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 857.90/857.90 c 848s|360000 | 506 | 1634k| 4.5 | 50M| 815 | - |3773 | 50k| 0 | 0 | 103k| 450k|6208 | 0.000000e+00 | 1.000000e+00 | Inf 895.31/895.34 c 886s|370000 | 494 | 1688k| 4.6 | 51M| 815 | 26 |3773 | 52k|3773 | 944 | 108k| 463k|6317 | 0.000000e+00 | 1.000000e+00 | Inf 936.81/936.88 c 927s|380000 | 541 | 1739k| 4.6 | 53M| 815 | - |3773 | 57k| 0 | 0 | 113k| 477k|6405 | 0.000000e+00 | 1.000000e+00 | Inf 979.01/979.04 c 969s|390000 | 502 | 1790k| 4.6 | 53M| 815 | - |3773 | 58k| 0 | 0 | 119k| 491k|6503 | 0.000000e+00 | 1.000000e+00 | Inf 1023.70/1023.75 c 1013s|400000 | 527 | 1846k| 4.6 | 55M| 815 | 1 |3773 | 62k|3773 | 940 | 125k| 505k|6622 | 0.000000e+00 | 1.000000e+00 | Inf 1071.01/1071.02 c 1060s|410000 | 494 | 1898k| 4.6 | 56M| 815 | 12 |3773 | 64k|3773 | 942 | 130k| 520k|6684 | 0.000000e+00 | 1.000000e+00 | Inf 1116.51/1116.57 c 1105s|420000 | 536 | 1949k| 4.6 | 58M| 815 | - |3773 | 70k| 0 | 0 | 136k| 534k|6744 | 0.000000e+00 | 1.000000e+00 | Inf 1163.01/1163.06 c 1152s|430000 | 531 | 1997k| 4.6 | 59M| 815 | 24 |3773 | 72k|3773 | 932 | 142k| 548k|6824 | 0.000000e+00 | 1.000000e+00 | Inf 1212.61/1212.68 c 1201s|440000 | 501 | 2051k| 4.7 | 58M| 815 | 28 |3773 | 70k|3773 | 944 | 148k| 562k|6950 | 0.000000e+00 | 1.000000e+00 | Inf 1265.91/1265.94 c 1254s|450000 | 542 | 2109k| 4.7 | 60M| 815 | 11 |3773 | 74k|3773 | 923 | 155k| 576k|7022 | 0.000000e+00 | 1.000000e+00 | Inf 1316.51/1316.55 c 1304s|460000 | 492 | 2162k| 4.7 | 60M| 815 | 11 |3773 | 74k|3773 | 929 | 162k| 590k|7114 | 0.000000e+00 | 1.000000e+00 | Inf 1372.82/1372.86 c 1360s|470000 | 644 | 2222k| 4.7 | 61M| 815 | 22 |3773 | 74k|3773 | 923 | 169k| 604k|7189 | 0.000000e+00 | 1.000000e+00 | Inf 1429.42/1429.44 c 1416s|480000 | 642 | 2280k| 4.8 | 62M| 815 | 17 |3773 | 76k|3773 | 923 | 176k| 619k|7278 | 0.000000e+00 | 1.000000e+00 | Inf 1486.42/1486.42 c 1473s|490000 | 496 | 2337k| 4.8 | 60M| 815 | 16 |3773 | 75k|3773 | 923 | 183k| 633k|7381 | 0.000000e+00 | 1.000000e+00 | Inf 1538.82/1538.82 c 1525s|500000 | 542 | 2393k| 4.8 | 63M| 815 | - |3773 | 79k| 0 | 0 | 190k| 647k|7457 | 0.000000e+00 | 1.000000e+00 | Inf 1594.12/1594.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1594.12/1594.13 c 1580s|510000 | 558 | 2451k| 4.8 | 63M| 815 | - |3773 | 81k| 0 | 0 | 197k| 662k|7547 | 0.000000e+00 | 1.000000e+00 | Inf 1651.62/1651.62 c 1638s|520000 | 623 | 2505k| 4.8 | 65M| 815 | 21 |3773 | 83k|3773 | 931 | 205k| 676k|7616 | 0.000000e+00 | 1.000000e+00 | Inf 1710.21/1710.28 c 1696s|530000 | 853 | 2560k| 4.8 | 68M| 815 | 11 |3773 | 86k|3773 | 935 | 214k| 691k|7678 | 0.000000e+00 | 1.000000e+00 | Inf 1768.22/1768.24 c 1754s|540000 | 931 | 2614k| 4.8 | 69M| 815 | 22 |3773 | 88k|3773 | 940 | 222k| 706k|7782 | 0.000000e+00 | 1.000000e+00 | Inf 1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.01 c 1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.01 c Solving Time (sec) : 1785.21 1800.02/1800.01 c Solving Nodes : 545682 1800.02/1800.01 c Primal Bound : +1.00000000000000e+00 (211 solutions) 1800.02/1800.01 c Dual Bound : +0.00000000000000e+00 1800.02/1800.01 c Gap : infinite 1800.02/1800.05 s SATISFIABLE 1800.02/1800.05 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.05 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.05 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.05 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.05 v x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 1800.02/1800.05 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 1800.02/1800.05 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 1800.02/1800.05 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.02/1800.05 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.02/1800.05 v -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 1800.02/1800.05 v -x1 1800.02/1800.05 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.05 c Solving Time : 1785.21 1800.02/1800.05 c Original Problem : 1800.02/1800.05 c Problem name : HOME/instance-2692869-1277907872.wbo 1800.02/1800.05 c Variables : 3891 (2061 binary, 0 integer, 0 implicit integer, 1830 continuous) 1800.02/1800.05 c Constraints : 4538 initial, 4538 maximal 1800.02/1800.05 c Presolved Problem : 1800.02/1800.05 c Problem name : t_HOME/instance-2692869-1277907872.wbo 1800.02/1800.05 c Variables : 3773 (2002 binary, 0 integer, 0 implicit integer, 1771 continuous) 1800.02/1800.05 c Constraints : 4398 initial, 88587 maximal 1800.02/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.05 c trivial : 0.00 59 0 0 0 0 0 0 0 1800.02/1800.05 c dualfix : 0.00 59 0 0 0 0 0 0 0 1800.02/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.05 c probing : 0.05 0 0 0 0 0 0 0 0 1800.02/1800.05 c indicator : 0.00 0 0 0 0 0 59 0 0 1800.02/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.05 c linear : 0.06 0 0 0 1841 0 81 66 0 1800.02/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.02/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.05 c root node : - 1771 - - 3542 - - - - 1800.02/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.05 c integral : 0 0 0 349295 0 13 556 0 0 575614 1800.02/1800.05 c indicator : 1771 0 794959 33871 0 199 1687348 0 0 0 1800.02/1800.05 c setppc : 7 6 2530562 46517 0 7138 875002 0 0 0 1800.02/1800.05 c linear : 1771 6 2548572 56413 0 179046 13296400 227253 0 0 1800.02/1800.05 c logicor : 849+ 6 1104986 28682 0 78297 2919529 0 0 0 1800.02/1800.05 c bounddisjunction : 0+ 0 38011 0 0 0 4 0 0 0 1800.02/1800.05 c countsols : 0 0 0 28682 0 0 0 0 0 0 1800.02/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.05 c integral : 20.80 0.00 0.00 20.80 0.00 1800.02/1800.05 c indicator : 9.03 0.01 4.89 4.13 0.00 1800.02/1800.05 c setppc : 7.91 0.00 7.90 0.01 0.00 1800.02/1800.05 c linear : 133.25 0.00 130.85 2.40 0.00 1800.02/1800.05 c logicor : 495.86 0.00 495.52 0.34 0.00 1800.02/1800.05 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00 1800.02/1800.05 c countsols : 0.02 0.00 0.00 0.02 0.00 1800.02/1800.05 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.05 c vbounds : 0.77 2 0 0 1800.02/1800.05 c rootredcost : 0.63 47 0 1771 1800.02/1800.05 c pseudoobj : 90.28 2564937 3711 1050138 1800.02/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.05 c propagation : 15.15 268192 267861 1813346 29.0 8424 21.1 - 1800.02/1800.05 c infeasible LP : 5.11 16076 16076 141950 41.5 88 18.8 0 1800.02/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.05 c pseudo solution : 0.01 115 115 517 11.9 73 6.0 - 1800.02/1800.05 c applied globally : - - - 714566 23.2 - - - 1800.02/1800.05 c applied locally : - - - 0 0.0 - - - 1800.02/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.05 c cut pool : 0.00 5 - - 24 - (maximal pool size: 124) 1800.02/1800.05 c redcost : 17.87 351531 0 595804 0 0 1800.02/1800.05 c impliedbounds : 0.00 6 0 0 0 0 1800.02/1800.05 c intobj : 0.00 0 0 0 0 0 1800.02/1800.05 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.05 c gomory : 0.11 6 0 0 747 0 1800.02/1800.05 c strongcg : 0.05 6 0 0 87 0 1800.02/1800.05 c cmir : 0.02 6 0 0 0 0 1800.02/1800.06 c flowcover : 0.06 6 0 0 0 0 1800.02/1800.06 c clique : 0.00 6 0 0 0 0 1800.02/1800.06 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.06 c mcf : 0.00 1 0 0 0 0 1800.02/1800.06 c rapidlearning : 0.00 0 0 0 0 0 1800.02/1800.06 c Pricers : Time Calls Vars 1800.02/1800.06 c problem variables: 0.00 0 0 1800.02/1800.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.06 c relpscost : 20.47 288251 13 556 0 0 575614 1800.02/1800.06 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.06 c inference : 4.03 28636 0 0 0 0 57272 1800.02/1800.06 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.06 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.06 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.06 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.06 c random : 0.00 0 0 0 0 0 0 1800.02/1800.06 c Primal Heuristics : Time Calls Found 1800.02/1800.06 c LP solutions : 0.06 - 46 1800.02/1800.06 c pseudo solutions : 0.00 - 0 1800.02/1800.06 c feaspump : 0.01 1 0 1800.02/1800.06 c oneopt : 0.55 40 0 1800.02/1800.06 c intshifting : 0.00 5 0 1800.02/1800.06 c linesearchdiving : 0.10 92 0 1800.02/1800.06 c guideddiving : 0.09 93 0 1800.02/1800.06 c coefdiving : 0.10 93 0 1800.02/1800.06 c pscostdiving : 0.12 93 0 1800.02/1800.06 c fracdiving : 0.10 93 0 1800.02/1800.06 c veclendiving : 0.04 93 0 1800.02/1800.06 c crossover : 1.19 41 0 1800.02/1800.06 c rootsoldiving : 0.18 90 0 1800.02/1800.06 c objpscostdiving : 0.13 91 0 1800.02/1800.06 c trivial : 0.00 2 0 1800.02/1800.06 c simplerounding : 0.57 288952 0 1800.02/1800.06 c zirounding : 0.39 1000 0 1800.02/1800.06 c rounding : 1.34 7523 0 1800.02/1800.06 c shifting : 0.87 2337 0 1800.02/1800.06 c twoopt : 0.00 0 0 1800.02/1800.06 c fixandinfer : 0.00 0 0 1800.02/1800.06 c intdiving : 0.00 0 0 1800.02/1800.06 c actconsdiving : 0.00 0 0 1800.02/1800.06 c octane : 0.00 0 0 1800.02/1800.06 c rens : 0.02 1 0 1800.02/1800.06 c rins : 0.00 0 0 1800.02/1800.06 c localbranching : 0.00 0 0 1800.02/1800.06 c mutation : 0.00 0 0 1800.02/1800.06 c dins : 0.00 0 0 1800.02/1800.06 c undercover : 0.00 0 0 1800.02/1800.06 c nlp : 0.12 0 0 1800.02/1800.06 c trysol : 1.30 2600 165 1800.02/1800.06 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.06 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.06 c dual LP : 383.60 337988 2643805 7.82 6892.09 1800.02/1800.06 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.06 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.06 c diving/probing LP: 0.20 57 1188 20.84 5940.00 1800.02/1800.06 c strong branching : 17.17 7804 107826 13.82 6279.91 1800.02/1800.06 c (at root node) : - 33 3644 110.42 - 1800.02/1800.06 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.06 c B&B Tree : 1800.02/1800.06 c number of runs : 1 1800.02/1800.06 c nodes : 545682 1800.02/1800.06 c nodes (total) : 545682 1800.02/1800.06 c nodes left : 918 1800.02/1800.06 c max depth : 815 1800.02/1800.06 c max depth (total): 815 1800.02/1800.06 c backtracks : 65466 (12.0%) 1800.02/1800.06 c delayed cutoffs : 56649 1800.02/1800.06 c repropagations : 1031105 (4115698 domain reductions, 55352 cutoffs) 1800.02/1800.06 c avg switch length: 5.14 1800.02/1800.06 c switching time : 327.75 1800.02/1800.06 c Solution : 1800.02/1800.06 c Solutions found : 211 (47 improvements) 1800.02/1800.06 c First Solution : +8.92150000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>) 1800.02/1800.06 c Primal Bound : +1.00000000000000e+00 (in run 1, after 182161 nodes, 389.70 seconds, depth 32, found by <relaxation>) 1800.02/1800.06 c Dual Bound : +0.00000000000000e+00 1800.02/1800.06 c Gap : infinite 1800.02/1800.06 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.06 c Root Iterations : 274 1800.12/1800.18 c Time complete: 1800.2.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692869-1277907872/watcher-2692869-1277907872 -o /tmp/evaluation-result-2692869-1277907872/solver-2692869-1277907872 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692869-1277907872.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.68 2.69 2.47 4/199 24177 /proc/meminfo: memFree=30974272/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=9412 CPUtime=0 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 1651 0 0 0 0 0 0 0 25 0 1 0 164426783 9637888 1570 4089446400 4194304 8223781 140734373805136 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24177/statm: 2353 1571 369 984 0 1366 0 [startup+0.00900096 s] /proc/loadavg: 2.68 2.69 2.47 4/199 24177 /proc/meminfo: memFree=30974272/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=10576 CPUtime=0 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 1956 0 0 0 0 0 0 0 25 0 1 0 164426783 10829824 1875 4089446400 4194304 8223781 140734373805136 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24177/statm: 2644 1875 369 984 0 1657 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10576 [startup+0.101022 s] /proc/loadavg: 2.68 2.69 2.47 4/199 24177 /proc/meminfo: memFree=30974272/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=29660 CPUtime=0.09 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 7591 0 0 0 9 0 0 0 25 0 1 0 164426783 30371840 6375 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 7415 6375 452 984 0 6428 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29660 [startup+0.301001 s] /proc/loadavg: 2.68 2.69 2.47 4/199 24177 /proc/meminfo: memFree=30974272/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=37044 CPUtime=0.29 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 11905 0 0 0 27 2 0 0 18 0 1 0 164426783 37933056 8346 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 9261 8346 572 984 0 8274 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37044 [startup+0.700934 s] /proc/loadavg: 2.68 2.69 2.47 4/199 24177 /proc/meminfo: memFree=30974272/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=40960 CPUtime=0.69 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 18085 0 0 0 66 3 0 0 18 0 1 0 164426783 41943040 9315 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 10240 9315 589 984 0 9253 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40960 [startup+1.50079 s] /proc/loadavg: 2.68 2.69 2.47 4/200 24178 /proc/meminfo: memFree=30938304/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=40960 CPUtime=1.49 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 18085 0 0 0 145 4 0 0 19 0 1 0 164426783 41943040 9315 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 10240 9315 589 984 0 9253 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40960 [startup+3.10053 s] /proc/loadavg: 2.70 2.69 2.47 4/200 24178 /proc/meminfo: memFree=30937436/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=40988 CPUtime=3.09 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 27133 0 0 0 302 7 0 0 24 0 1 0 164426783 41971712 9348 4089446400 4194304 8223781 140734373805136 18446744073709551615 6439950 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 10247 9348 593 984 0 9260 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40988 [startup+6.301 s] /proc/loadavg: 2.70 2.69 2.47 3/200 24178 /proc/meminfo: memFree=30935088/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=46968 CPUtime=6.29 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 39059 0 0 0 618 11 0 0 25 0 1 0 164426783 48095232 10837 4089446400 4194304 8223781 140734373805136 18446744073709551615 6002984 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 11742 10837 593 984 0 10755 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46968 [startup+12.7009 s] /proc/loadavg: 2.75 2.70 2.48 4/200 24178 /proc/meminfo: memFree=30927240/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=53812 CPUtime=12.69 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 46110 0 0 0 1251 18 0 0 25 0 1 0 164426783 55103488 12395 4089446400 4194304 8223781 140734373805136 18446744073709551615 6446791 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 13453 12395 593 984 0 12466 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53812 [startup+25.5008 s] /proc/loadavg: 2.79 2.71 2.48 4/200 24178 /proc/meminfo: memFree=30908636/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=71960 CPUtime=25.49 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 55968 0 0 0 2518 31 0 0 25 0 1 0 164426783 73687040 16908 4089446400 4194304 8223781 140734373805136 18446744073709551615 6482443 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 17990 16908 593 984 0 17003 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71960 [startup+51.1005 s] /proc/loadavg: 2.86 2.73 2.49 4/200 24178 /proc/meminfo: memFree=30884196/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=94756 CPUtime=51.1 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 113174 0 0 0 5043 67 0 0 25 0 1 0 164426783 97030144 22635 4089446400 4194304 8223781 140734373805136 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 23689 22635 596 984 0 22702 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 94756 [startup+102.307 s] /proc/loadavg: 2.73 2.71 2.50 4/200 24180 /proc/meminfo: memFree=30829204/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=148144 CPUtime=102.3 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 209617 0 0 0 10086 144 0 0 25 0 1 0 164426783 151699456 35723 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 37036 35723 606 984 0 36049 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 148144 [startup+162.301 s] /proc/loadavg: 2.85 2.75 2.52 4/200 24182 /proc/meminfo: memFree=30814748/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=159876 CPUtime=162.3 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 277084 0 0 0 15991 239 0 0 25 0 1 0 164426783 163713024 38512 4089446400 4194304 8223781 140734373805136 18446744073709551615 6445405 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 39969 38512 606 984 0 38982 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 159876 [startup+222.301 s] /proc/loadavg: 3.35 2.88 2.58 3/200 24184 /proc/meminfo: memFree=30808208/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=163060 CPUtime=222.29 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 287134 0 0 0 21916 313 0 0 25 0 1 0 164426783 166973440 39290 4089446400 4194304 8223781 140734373805136 18446744073709551615 6162720 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 40765 39290 606 984 0 39778 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 163060 [startup+282.301 s] /proc/loadavg: 3.01 2.87 2.59 4/200 24184 /proc/meminfo: memFree=30798348/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=169964 CPUtime=282.29 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 309522 0 0 0 27850 379 0 0 25 0 1 0 164426783 174043136 40909 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 42491 40909 606 984 0 41504 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 169964 [startup+342.301 s] /proc/loadavg: 2.50 2.76 2.57 3/197 24234 /proc/meminfo: memFree=31016716/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=171460 CPUtime=342.3 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 313295 0 0 0 33787 443 0 0 25 0 1 0 164426783 175575040 41310 4089446400 4194304 8223781 140734373805136 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 42865 41310 606 984 0 41878 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 171460 [startup+402.301 s] /proc/loadavg: 2.18 2.62 2.53 3/197 24236 /proc/meminfo: memFree=31014848/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=171192 CPUtime=402.3 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 336998 0 0 0 39708 522 0 0 25 0 1 0 164426783 175300608 41197 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 42798 41197 606 984 0 41811 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 171192 [startup+462.301 s] /proc/loadavg: 2.07 2.50 2.50 3/197 24238 /proc/meminfo: memFree=31013644/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=171688 CPUtime=462.3 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 355838 0 0 0 45640 590 0 0 25 0 1 0 164426783 175808512 41296 4089446400 4194304 8223781 140734373805136 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 42922 41296 606 984 0 41935 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 171688 [startup+522.3 s] /proc/loadavg: 2.02 2.41 2.46 3/197 24240 /proc/meminfo: memFree=31012544/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=171688 CPUtime=522.3 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 357867 0 0 0 51576 654 0 0 25 0 1 0 164426783 175808512 41319 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 42922 41319 606 984 0 41935 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 171688 [startup+582.3 s] /proc/loadavg: 2.01 2.33 2.43 3/197 24240 /proc/meminfo: memFree=31010208/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=174040 CPUtime=582.3 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 358646 0 0 0 57520 710 0 0 25 0 1 0 164426783 178216960 41896 4089446400 4194304 8223781 140734373805136 18446744073709551615 6439868 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 43510 41896 606 984 0 42523 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 174040 [startup+642.3 s] /proc/loadavg: 2.00 2.27 2.40 3/197 24242 /proc/meminfo: memFree=31008376/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=175280 CPUtime=642.31 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 365061 0 0 0 63453 778 0 0 25 0 1 0 164426783 179486720 42188 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 43820 42188 606 984 0 42833 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 175280 [startup+702.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.08 2.13 2.31 4/200 24303 /proc/meminfo: memFree=30915552/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=183420 CPUtime=882.31 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 371894 0 0 0 87259 972 0 0 25 0 1 0 164426783 187822080 44014 4089446400 4194304 8223781 140734373805136 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 45855 44014 606 984 0 44868 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 183420 [startup+942.3 s] /proc/loadavg: 2.66 2.29 2.35 4/200 24305 /proc/meminfo: memFree=30855484/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=187104 CPUtime=942.31 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 375964 0 0 0 93221 1010 0 0 25 0 1 0 164426783 191594496 44866 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 46776 44866 606 984 0 45789 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 187104 [startup+1002.3 s] /proc/loadavg: 2.82 2.40 2.38 3/200 24310 /proc/meminfo: memFree=30839008/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=188924 CPUtime=1002.3 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 384539 0 0 0 99176 1054 0 0 25 0 1 0 164426783 193458176 45264 4089446400 4194304 8223781 140734373805136 18446744073709551615 4210013 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 47231 45264 606 984 0 46244 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 188924 [startup+1062.3 s] /proc/loadavg: 2.73 2.46 2.40 4/200 24312 /proc/meminfo: memFree=30830444/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=190720 CPUtime=1062.3 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 385915 0 0 0 105140 1090 0 0 25 0 1 0 164426783 195297280 45725 4089446400 4194304 8223781 140734373805136 18446744073709551615 4221310 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 47680 45725 606 984 0 46693 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 190720 [startup+1122.3 s] /proc/loadavg: 2.83 2.54 2.43 3/200 24314 /proc/meminfo: memFree=30823164/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=193128 CPUtime=1122.31 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 387363 0 0 0 111104 1127 0 0 25 0 1 0 164426783 197763072 46336 4089446400 4194304 8223781 140734373805136 18446744073709551615 5004423 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 48282 46336 606 984 0 47295 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 193128 [startup+1182.3 s] /proc/loadavg: 2.85 2.60 2.46 4/200 24314 /proc/meminfo: memFree=30815760/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=195388 CPUtime=1182.31 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 391090 0 0 0 117071 1160 0 0 25 0 1 0 164426783 200077312 46840 4089446400 4194304 8223781 140734373805136 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 48847 46840 606 984 0 47860 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 195388 [startup+1242.3 s] /proc/loadavg: 2.91 2.66 2.48 4/200 24316 /proc/meminfo: memFree=30811844/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=195528 CPUtime=1242.31 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 394613 0 0 0 123039 1192 0 0 25 0 1 0 164426783 200220672 46877 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 48882 46877 606 984 0 47895 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 195528 [startup+1302.3 s] /proc/loadavg: 2.93 2.70 2.50 3/200 24318 /proc/meminfo: memFree=30807024/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=196364 CPUtime=1302.32 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 394943 0 0 0 129009 1223 0 0 25 0 1 0 164426783 201076736 47108 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 49091 47108 606 984 0 48104 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 196364 [startup+1362.3 s] /proc/loadavg: 2.78 2.70 2.51 4/200 24320 /proc/meminfo: memFree=30801956/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=196364 CPUtime=1362.31 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 395084 0 0 0 134975 1256 0 0 25 0 1 0 164426783 201076736 47162 4089446400 4194304 8223781 140734373805136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 49091 47162 606 984 0 48104 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 196364 [startup+1422.31 s] /proc/loadavg: 2.91 2.75 2.54 4/200 24322 /proc/meminfo: memFree=30797652/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=196772 CPUtime=1422.32 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 397546 0 0 0 140943 1289 0 0 25 0 1 0 164426783 201494528 47273 4089446400 4194304 8223781 140734373805136 18446744073709551615 4223909 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 49193 47273 606 984 0 48206 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 196772 [startup+1482.3 s] /proc/loadavg: 2.80 2.73 2.55 3/200 24322 /proc/meminfo: memFree=30793200/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=197164 CPUtime=1482.31 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 398821 0 0 0 146910 1321 0 0 25 0 1 0 164426783 201895936 47378 4089446400 4194304 8223781 140734373805136 18446744073709551615 6520500 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 49291 47378 606 984 0 48304 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 197164 [startup+1542.3 s] /proc/loadavg: 2.64 2.70 2.55 4/200 24324 /proc/meminfo: memFree=30790136/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=197288 CPUtime=1542.32 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 398887 0 0 0 152878 1354 0 0 25 0 1 0 164426783 202022912 47401 4089446400 4194304 8223781 140734373805136 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 49322 47401 606 984 0 48335 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 197288 [startup+1602.3 s] /proc/loadavg: 2.57 2.68 2.54 4/200 24326 /proc/meminfo: memFree=30786564/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=197804 CPUtime=1602.31 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 399129 0 0 0 158847 1384 0 0 25 0 1 0 164426783 202551296 47559 4089446400 4194304 8223781 140734373805136 18446744073709551615 6505963 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 49451 47559 606 984 0 48464 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 197804 [startup+1662.3 s] /proc/loadavg: 2.61 2.67 2.55 4/200 24328 /proc/meminfo: memFree=30783244/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=199120 CPUtime=1662.32 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 399575 0 0 0 164819 1413 0 0 25 0 1 0 164426783 203898880 47815 4089446400 4194304 8223781 140734373805136 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 49780 47815 606 984 0 48793 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 199120 [startup+1722.3 s] /proc/loadavg: 2.87 2.73 2.57 3/200 24330 /proc/meminfo: memFree=30778680/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=201532 CPUtime=1722.31 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 401085 0 0 0 170790 1441 0 0 25 0 1 0 164426783 206368768 48427 4089446400 4194304 8223781 140734373805136 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 50383 48427 606 984 0 49396 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 201532 [startup+1782.3 s] /proc/loadavg: 2.76 2.72 2.57 4/200 24330 /proc/meminfo: memFree=30774988/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=202716 CPUtime=1782.32 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 403054 0 0 0 176761 1471 0 0 25 0 1 0 164426783 207581184 48726 4089446400 4194304 8223781 140734373805136 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 50679 48726 606 984 0 49692 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 202716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.74 2.71 2.57 4/200 24332 /proc/meminfo: memFree=30773348/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=202692 CPUtime=1800.02 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 403565 0 0 0 178522 1480 0 0 25 0 1 0 164426783 207556608 48725 4089446400 4194304 8223781 140734373805136 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24177/statm: 50673 48725 606 984 0 49686 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 202692 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.74 2.71 2.57 4/200 24332 /proc/meminfo: memFree=30773348/32951124 swapFree=67111528/67111528 [pid=24177] ppid=24175 vsize=198788 CPUtime=1800.12 /proc/24177/stat : 24177 (pbscip.linux.x8) R 24175 24177 22591 0 -1 4202496 403650 0 0 0 178532 1480 0 0 25 0 1 0 164426783 203558912 47722 4089446400 4194304 8223781 140734373805136 18446744073709551615 4222731 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24177/statm: 49697 47722 608 984 0 48710 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 198788 Child status: 0 Real time (s): 1800.18 CPU time (s): 1800.21 CPU user time (s): 1785.39 CPU system time (s): 14.8137 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 202796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.39 system time used= 14.8137 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 403654 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= 1541 runsolver used 2.73058 second user time and 6.06408 second system time The end
Begin job on node118 at 2010-06-30 16:24:32 IDJOB=2692869 IDBENCH=78953 IDSOLVER=1204 FILE ID=node118/2692869-1277907872 PBS_JOBID= 11197185 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692869-1277907872/watcher-2692869-1277907872 -o /tmp/evaluation-result-2692869-1277907872/solver-2692869-1277907872 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692869-1277907872.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9fdf6a24194e0c0ae14212c193866ebe RANDOM SEED=772845236 node118.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.791 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.58 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.791 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.791 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.76 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.791 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.83 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.791 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.791 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30974924 kB Buffers: 192748 kB Cached: 1297868 kB SwapCached: 0 kB Active: 814228 kB Inactive: 1019480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30974924 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4724 kB Writeback: 0 kB AnonPages: 343540 kB Mapped: 20572 kB Slab: 78476 kB PageTables: 5096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655188 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= 74208 MiB End job on node118 at 2010-06-30 16:54:34