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.22 | 1800.23 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo |
MD5SUM | f2c87e7318987ff21f5979e3cf339f19 |
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 | 246.202 |
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 | 1783 |
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 | 90636 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90635 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 687 |
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-2692887-1277908851.wbo> 0.01/0.03 c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 constraints 0.01/0.03 c problem read 0.01/0.03 c presolving settings loaded 0.01/0.05 c presolving: 0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs 0.01/0.09 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs 0.01/0.09 c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs 0.09/0.11 c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs 0.09/0.12 c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs 0.09/0.17 c (0.1s) probing: 101/1935 (5.2%) - 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 158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients 0.09/0.17 c 1931 implications, 11 cliques 0.09/0.17 c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints 0.09/0.17 c 1704 constraints of type <indicator> 0.09/0.17 c 11 constraints of type <setppc> 0.09/0.17 c 1704 constraints of type <linear> 0.09/0.17 c 879 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.12 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.17 c 0.09/0.18 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.18 c 0.1s| 1 | 0 | 11 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.19 o 86790 0.09/0.19 c y 0.1s| 1 | 0 | 13 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.19/0.21 c 0.2s| 1 | 0 | 55 | - | 13M| 0 | 32 |3639 |4298 |3639 | 909 | 19 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.19/0.25 c 0.2s| 1 | 0 | 131 | - | 13M| 0 | 42 |3639 |4298 |3639 | 941 | 51 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.29/0.32 c 0.3s| 1 | 0 | 171 | - | 14M| 0 | 49 |3639 |4298 |3639 | 957 | 67 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.29/0.38 c 0.3s| 1 | 0 | 198 | - | 14M| 0 | 52 |3639 |4298 |3639 | 964 | 74 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.39/0.46 c 0.4s| 1 | 0 | 209 | - | 14M| 0 | 56 |3639 |4298 |3639 | 967 | 77 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.49/0.53 c 0.5s| 1 | 0 | 230 | - | 14M| 0 | 55 |3639 |4298 |3639 | 972 | 82 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.89/0.92 c 0.8s| 1 | 2 | 230 | - | 14M| 0 | 55 |3639 |4298 |3639 | 972 | 82 | 0 | 33 | 0.000000e+00 | 8.679000e+04 | Inf 23.10/23.18 c 22.4s| 10000 | 9983 | 24412 | 2.4 | 37M| 177 | 0 |3639 |4325 |3639 |1008 |2298 | 39 |1627 | 0.000000e+00 | 8.679000e+04 | Inf 37.30/37.40 c 36.2s| 20000 | 19975 | 37194 | 1.8 | 54M| 177 | 0 |3639 |4328 |3639 |1014 |4001 | 52 |1727 | 0.000000e+00 | 8.679000e+04 | Inf 41.70/41.76 o 892 41.70/41.76 c *40.4s| 23213 | 21640 | 39907 | 1.7 | 57M| 177 | - |3639 |4327 |3639 | 995 |4537 | 52 |1736 | 0.000000e+00 | 8.920000e+02 | Inf 52.89/52.96 c 51.2s| 30000 | 28421 | 53482 | 1.8 | 69M| 177 | 0 |3639 |4328 |3639 | 998 |7092 | 62 |1775 | 0.000000e+00 | 8.920000e+02 | Inf 60.40/60.48 o 882 60.40/60.48 c *58.5s| 34270 | 32591 | 66625 | 1.9 | 77M| 177 | - |3639 |4337 |3639 |1023 |8608 | 88 |1797 | 0.000000e+00 | 8.820000e+02 | Inf 71.59/71.61 c 69.2s| 40000 | 38277 | 87753 | 2.2 | 88M| 177 | 0 |3639 |4376 |3639 |1001 | 11k| 166 |1814 | 0.000000e+00 | 8.820000e+02 | Inf 81.00/81.07 o 220 81.00/81.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 81.00/81.07 c *78.3s| 44875 | 12706 |105354 | 2.3 | 46M| 177 | - |3639 |4386 |3639 |1021 | 13k| 220 |1814 | 0.000000e+00 | 2.200000e+02 | Inf 81.19/81.28 o 201 81.19/81.28 c *78.5s| 44954 | 10624 |105721 | 2.3 | 43M| 177 | - |3639 |4389 |3639 | 996 | 13k| 225 |1814 | 0.000000e+00 | 2.010000e+02 | Inf 81.30/81.36 o 190 81.30/81.36 c *78.6s| 44977 | 9431 |105924 | 2.4 | 41M| 177 | - |3639 |4395 |3639 |1005 | 13k| 233 |1814 | 0.000000e+00 | 1.900000e+02 | Inf 81.40/81.43 o 185 81.40/81.43 c *78.7s| 44996 | 9049 |106109 | 2.4 | 40M| 177 | - |3639 |4404 |3639 | 982 | 13k| 243 |1814 | 0.000000e+00 | 1.850000e+02 | Inf 81.49/81.52 o 182 81.49/81.52 c *78.8s| 45022 | 8804 |106219 | 2.4 | 40M| 177 | - |3639 |4419 |3639 | 982 | 13k| 261 |1814 | 0.000000e+00 | 1.820000e+02 | Inf 82.09/82.12 o 167 82.09/82.12 c *79.3s| 45236 | 7599 |107267 | 2.4 | 38M| 177 | - |3639 |4628 |3639 | 997 | 13k| 476 |1814 | 0.000000e+00 | 1.670000e+02 | Inf 82.09/82.16 o 148 82.09/82.16 c *79.4s| 45250 | 6133 |107347 | 2.4 | 35M| 177 | - |3639 |4628 |3639 | 997 | 13k| 476 |1814 | 0.000000e+00 | 1.480000e+02 | Inf 82.19/82.27 o 146 82.19/82.27 c *79.5s| 45284 | 5997 |107570 | 2.4 | 35M| 177 | - |3639 |4649 |3639 |1006 | 14k| 498 |1814 | 0.000000e+00 | 1.460000e+02 | Inf 82.29/82.32 o 115 82.29/82.32 c *79.5s| 45296 | 3666 |107660 | 2.4 | 30M| 177 | - |3639 |4654 |3639 |1004 | 14k| 504 |1814 | 0.000000e+00 | 1.150000e+02 | Inf 82.29/82.39 o 110 82.29/82.39 c *79.6s| 45314 | 3513 |107791 | 2.4 | 30M| 177 | - |3639 |4666 |3639 | 981 | 14k| 516 |1814 | 0.000000e+00 | 1.100000e+02 | Inf 82.69/82.76 o 97 82.69/82.76 c *80.0s| 45436 | 3080 |108614 | 2.4 | 29M| 177 | - |3639 |4701 |3639 | 982 | 14k| 571 |1814 | 0.000000e+00 | 9.700000e+01 | Inf 82.89/82.94 o 76 82.89/82.94 c *80.1s| 45486 | 2034 |109034 | 2.4 | 26M| 177 | - |3639 |4668 |3639 | 999 | 14k| 619 |1814 | 0.000000e+00 | 7.600000e+01 | Inf 82.99/83.02 o 60 82.99/83.02 c *80.2s| 45506 | 679 |109252 | 2.4 | 23M| 177 | - |3639 |4298 |3639 | 984 | 14k| 638 |1814 | 0.000000e+00 | 6.000000e+01 | Inf 90.69/90.70 o 41 90.69/90.70 c *87.6s| 48803 | 739 |130838 | 2.7 | 27M| 177 | - |3639 |6612 |3639 | 976 | 15k|4655 |1829 | 0.000000e+00 | 4.100000e+01 | Inf 93.09/93.16 c 89.9s| 50000 | 814 |136285 | 2.7 | 27M| 177 | 8 |3639 |6587 |3639 | 977 | 16k|6204 |1829 | 0.000000e+00 | 4.100000e+01 | Inf 93.59/93.65 o 31 93.59/93.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 93.59/93.65 c *90.4s| 50232 | 764 |137426 | 2.7 | 27M| 177 | - |3639 |6757 |3639 | 983 | 16k|6507 |1829 | 0.000000e+00 | 3.100000e+01 | Inf 94.00/94.03 o 30 94.00/94.03 c *90.8s| 50415 | 762 |138191 | 2.7 | 27M| 177 | - |3639 |6517 |3639 | 980 | 16k|6771 |1829 | 0.000000e+00 | 3.000000e+01 | Inf 94.00/94.05 o 20 94.00/94.05 c *90.8s| 50421 | 703 |138202 | 2.7 | 26M| 177 | - |3639 |6438 |3639 | 980 | 16k|6775 |1829 | 0.000000e+00 | 2.000000e+01 | Inf 96.49/96.57 o 16 96.49/96.57 c *93.2s| 51724 | 713 |145832 | 2.8 | 26M| 177 | - |3639 |5834 |3639 | 976 | 17k|8475 |1829 | 0.000000e+00 | 1.600000e+01 | Inf 105.80/105.89 o 14 105.80/105.89 c * 102s| 57152 | 953 |173444 | 3.0 | 29M| 177 | - |3639 |8704 |3639 | 981 | 20k| 15k|1829 | 0.000000e+00 | 1.400000e+01 | Inf 108.69/108.76 o 13 108.69/108.76 c * 105s| 58801 | 969 |181214 | 3.1 | 29M| 177 | - |3639 |8440 |3639 | 989 | 21k| 17k|1829 | 0.000000e+00 | 1.300000e+01 | Inf 110.59/110.63 o 6 110.59/110.63 c * 107s| 59820 | 895 |186853 | 3.1 | 28M| 177 | - |3639 |8696 |3639 | 976 | 21k| 19k|1829 | 0.000000e+00 | 6.000000e+00 | Inf 111.00/111.04 c 107s| 60000 | 871 |188248 | 3.1 | 28M| 177 | 14 |3639 |7779 |3639 | 976 | 21k| 19k|1829 | 0.000000e+00 | 6.000000e+00 | Inf 128.69/128.72 c 124s| 70000 | 875 |246179 | 3.5 | 30M| 177 | - |3639 | 11k| 0 | 0 | 27k| 32k|1829 | 0.000000e+00 | 6.000000e+00 | Inf 148.80/148.88 c 143s| 80000 | 1007 |313158 | 3.9 | 33M| 177 | 22 |3639 | 16k|3639 | 969 | 34k| 46k|1949 | 0.000000e+00 | 6.000000e+00 | Inf 170.80/170.81 c 164s| 90000 | 1003 |379461 | 4.2 | 34M| 177 | 10 |3639 | 17k|3639 | 975 | 40k| 60k|2130 | 0.000000e+00 | 6.000000e+00 | Inf 191.19/191.29 c 184s|100000 | 923 |439482 | 4.4 | 33M| 177 | 1 |3639 | 15k|3639 | 981 | 44k| 73k|2382 | 0.000000e+00 | 6.000000e+00 | Inf 211.49/211.55 c 204s|110000 | 824 |497573 | 4.5 | 33M| 177 | - |3639 | 15k| 0 | 0 | 49k| 87k|2608 | 0.000000e+00 | 6.000000e+00 | Inf 230.59/230.63 c 222s|120000 | 779 |545858 | 4.5 | 34M| 177 | - |3639 | 17k| 0 | 0 | 51k| 100k|2742 | 0.000000e+00 | 6.000000e+00 | Inf 250.18/250.22 c 241s|130000 | 841 |595008 | 4.6 | 36M| 177 | 16 |3639 | 22k|3639 | 979 | 53k| 114k|2903 | 0.000000e+00 | 6.000000e+00 | Inf 273.48/273.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 273.48/273.50 c 263s|140000 | 898 |658276 | 4.7 | 38M| 177 | 18 |3639 | 24k|3639 | 969 | 59k| 128k|3061 | 0.000000e+00 | 6.000000e+00 | Inf 296.09/296.14 c 285s|150000 | 937 |714998 | 4.8 | 39M| 177 | - |3639 | 26k| 0 | 0 | 64k| 142k|3217 | 0.000000e+00 | 6.000000e+00 | Inf 317.90/317.99 c 306s|160000 | 893 |768532 | 4.8 | 37M| 177 | - |3639 | 21k| 0 | 0 | 68k| 155k|3335 | 0.000000e+00 | 6.000000e+00 | Inf 339.68/339.75 c 327s|170000 | 915 |827230 | 4.9 | 38M| 177 | 1 |3639 | 23k|3639 | 977 | 72k| 169k|3503 | 0.000000e+00 | 6.000000e+00 | Inf 361.79/361.80 c 348s|180000 | 950 |878137 | 4.9 | 39M| 177 | 15 |3639 | 25k|3639 | 981 | 76k| 182k|3595 | 0.000000e+00 | 6.000000e+00 | Inf 384.79/384.83 c 370s|190000 | 959 |937702 | 4.9 | 40M| 177 | 13 |3639 | 25k|3639 | 981 | 80k| 195k|3777 | 0.000000e+00 | 6.000000e+00 | Inf 409.79/409.82 c 394s|200000 | 1068 | 1003k| 5.0 | 42M| 177 | - |3639 | 29k| 0 | 0 | 88k| 209k|3955 | 0.000000e+00 | 6.000000e+00 | Inf 433.39/433.44 c 417s|210000 | 1007 | 1058k| 5.0 | 43M| 177 | 18 |3639 | 31k|3639 | 980 | 92k| 223k|4031 | 0.000000e+00 | 6.000000e+00 | Inf 458.29/458.32 c 441s|220000 | 978 | 1113k| 5.1 | 42M| 177 | 21 |3639 | 28k|3639 | 969 | 96k| 236k|4163 | 0.000000e+00 | 6.000000e+00 | Inf 482.49/482.54 c 464s|230000 | 872 | 1168k| 5.1 | 40M| 177 | - |3639 | 26k| 0 | 0 | 100k| 250k|4332 | 0.000000e+00 | 6.000000e+00 | Inf 505.00/505.06 c 486s|240000 | 953 | 1221k| 5.1 | 42M| 177 | 23 |3639 | 29k|3639 | 969 | 107k| 263k|4439 | 0.000000e+00 | 6.000000e+00 | Inf 528.00/528.07 c 508s|250000 | 901 | 1270k| 5.1 | 43M| 177 | 19 |3639 | 32k|3639 | 984 | 111k| 277k|4525 | 0.000000e+00 | 6.000000e+00 | Inf 552.19/552.27 c 531s|260000 | 936 | 1323k| 5.1 | 44M| 177 | - |3639 | 34k|3639 | 979 | 115k| 290k|4625 | 0.000000e+00 | 6.000000e+00 | Inf 578.69/578.77 c 557s|270000 | 955 | 1380k| 5.1 | 45M| 177 | - |3639 | 36k| 0 | 0 | 123k| 304k|4772 | 0.000000e+00 | 6.000000e+00 | Inf 603.99/604.00 c 581s|280000 | 990 | 1436k| 5.1 | 45M| 177 | 19 |3639 | 35k|3639 | 969 | 129k| 317k|4875 | 0.000000e+00 | 6.000000e+00 | Inf 629.39/629.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 629.39/629.42 c 606s|290000 | 1081 | 1492k| 5.1 | 45M| 177 | 16 |3639 | 32k|3639 | 969 | 135k| 332k|4993 | 0.000000e+00 | 6.000000e+00 | Inf 653.19/653.21 c 629s|300000 | 1105 | 1544k| 5.1 | 45M| 177 | - |3639 | 32k| 0 | 0 | 140k| 346k|5081 | 0.000000e+00 | 6.000000e+00 | Inf 678.49/678.51 c 653s|310000 | 1162 | 1598k| 5.2 | 46M| 177 | - |3639 | 34k| 0 | 0 | 146k| 359k|5204 | 0.000000e+00 | 6.000000e+00 | Inf 704.40/704.47 c 678s|320000 | 1235 | 1654k| 5.2 | 48M| 177 | 20 |3639 | 36k|3639 | 969 | 154k| 373k|5323 | 0.000000e+00 | 6.000000e+00 | Inf 731.59/731.65 c 704s|330000 | 1255 | 1715k| 5.2 | 48M| 177 | - |3639 | 34k| 0 | 0 | 163k| 388k|5416 | 0.000000e+00 | 6.000000e+00 | Inf 758.29/758.30 c 730s|340000 | 1256 | 1777k| 5.2 | 48M| 177 | 29 |3639 | 35k|3639 | 969 | 170k| 402k|5521 | 0.000000e+00 | 6.000000e+00 | Inf 785.90/785.97 c 757s|350000 | 1387 | 1840k| 5.3 | 51M| 177 | - |3639 | 39k| 0 | 0 | 179k| 416k|5644 | 0.000000e+00 | 6.000000e+00 | Inf 814.30/814.33 c 784s|360000 | 1350 | 1901k| 5.3 | 51M| 177 | 19 |3639 | 38k|3639 | 969 | 188k| 431k|5732 | 0.000000e+00 | 6.000000e+00 | Inf 842.10/842.10 c 811s|370000 | 1376 | 1963k| 5.3 | 50M| 177 | - |3639 | 36k| 0 | 0 | 197k| 445k|5863 | 0.000000e+00 | 6.000000e+00 | Inf 869.00/869.00 c 837s|380000 | 1394 | 2022k| 5.3 | 50M| 177 | - |3639 | 33k| 0 | 0 | 205k| 459k|5987 | 0.000000e+00 | 6.000000e+00 | Inf 894.00/894.08 c 862s|390000 | 1344 | 2077k| 5.3 | 50M| 177 | - |3639 | 33k| 0 | 0 | 211k| 473k|6086 | 0.000000e+00 | 6.000000e+00 | Inf 916.59/916.69 c 884s|400000 | 1373 | 2118k| 5.3 | 51M| 177 | - |3639 | 35k| 0 | 0 | 213k| 488k|6130 | 0.000000e+00 | 6.000000e+00 | Inf 941.39/941.49 c 907s|410000 | 1374 | 2178k| 5.3 | 51M| 177 | - |3639 | 34k| 0 | 0 | 219k| 501k|6229 | 0.000000e+00 | 6.000000e+00 | Inf 968.30/968.34 c 933s|420000 | 1443 | 2240k| 5.3 | 51M| 177 | - |3639 | 34k| 0 | 0 | 227k| 515k|6356 | 0.000000e+00 | 6.000000e+00 | Inf 990.90/990.95 c 955s|430000 | 1397 | 2290k| 5.3 | 48M| 177 | - |3639 | 26k| 0 | 0 | 230k| 529k|6433 | 0.000000e+00 | 6.000000e+00 | Inf 1014.10/1014.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1014.10/1014.19 c 977s|440000 | 1430 | 2348k| 5.3 | 50M| 177 | 15 |3639 | 29k|3639 | 969 | 236k| 542k|6539 | 0.000000e+00 | 6.000000e+00 | Inf 1038.40/1038.48 c 1001s|450000 | 1395 | 2411k| 5.4 | 50M| 177 | 7 |3639 | 30k|3639 | 980 | 243k| 555k|6649 | 0.000000e+00 | 6.000000e+00 | Inf 1052.60/1052.64 o 3 1052.60/1052.64 c *1014s|455878 | 970 | 2446k| 5.4 | 44M| 177 | - |3639 | 28k|3639 | 978 | 246k| 564k|6741 | 0.000000e+00 | 3.000000e+00 | Inf 1061.09/1061.18 c 1023s|460000 | 978 | 2465k| 5.4 | 43M| 177 | 12 |3639 | 25k|3639 | 969 | 248k| 569k|6742 | 0.000000e+00 | 3.000000e+00 | Inf 1084.69/1084.74 c 1045s|470000 | 1044 | 2519k| 5.4 | 45M| 177 | 16 |3639 | 28k|3639 | 969 | 255k| 582k|6824 | 0.000000e+00 | 3.000000e+00 | Inf 1108.59/1108.61 c 1068s|480000 | 910 | 2572k| 5.4 | 43M| 177 | - |3639 | 27k| 0 | 0 | 260k| 596k|6913 | 0.000000e+00 | 3.000000e+00 | Inf 1130.39/1130.47 c 1089s|490000 | 826 | 2618k| 5.3 | 42M| 177 | - |3639 | 26k| 0 | 0 | 262k| 610k|7009 | 0.000000e+00 | 3.000000e+00 | Inf 1151.59/1151.68 c 1110s|500000 | 876 | 2664k| 5.3 | 44M| 177 | 19 |3639 | 29k|3639 | 976 | 263k| 623k|7071 | 0.000000e+00 | 3.000000e+00 | Inf 1156.49/1156.55 o 2 1156.49/1156.55 c *1114s|502143 | 782 | 2674k| 5.3 | 42M| 177 | - |3639 | 29k|3639 | 980 | 263k| 626k|7089 | 0.000000e+00 | 2.000000e+00 | Inf 1173.39/1173.49 c 1131s|510000 | 723 | 2710k| 5.3 | 39M| 177 | - |3639 | 21k| 0 | 0 | 264k| 636k|7123 | 0.000000e+00 | 2.000000e+00 | Inf 1193.19/1193.27 c 1149s|520000 | 714 | 2755k| 5.3 | 39M| 177 | 23 |3639 | 23k|3639 | 976 | 267k| 649k|7190 | 0.000000e+00 | 2.000000e+00 | Inf 1215.49/1215.57 c 1171s|530000 | 756 | 2807k| 5.3 | 42M| 177 | - |3639 | 29k| 0 | 0 | 272k| 662k|7269 | 0.000000e+00 | 2.000000e+00 | Inf 1240.89/1240.95 c 1195s|540000 | 717 | 2859k| 5.3 | 43M| 177 | - |3639 | 33k| 0 | 0 | 280k| 675k|7352 | 0.000000e+00 | 2.000000e+00 | Inf 1267.98/1268.02 c 1222s|550000 | 694 | 2915k| 5.3 | 43M| 177 | - |3639 | 33k| 0 | 0 | 287k| 689k|7430 | 0.000000e+00 | 2.000000e+00 | Inf 1291.29/1291.33 c 1244s|560000 | 743 | 2953k| 5.3 | 45M| 177 | 12 |3639 | 37k|3639 | 974 | 288k| 702k|7488 | 0.000000e+00 | 2.000000e+00 | Inf 1317.08/1317.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1317.08/1317.16 c 1269s|570000 | 706 | 2994k| 5.3 | 42M| 177 | - |3639 | 28k| 0 | 0 | 289k| 715k|7564 | 0.000000e+00 | 2.000000e+00 | Inf 1337.99/1338.07 c 1289s|580000 | 683 | 3040k| 5.2 | 41M| 177 | - |3639 | 26k| 0 | 0 | 293k| 728k|7651 | 0.000000e+00 | 2.000000e+00 | Inf 1362.19/1362.29 c 1312s|590000 | 704 | 3094k| 5.2 | 43M| 177 | - |3639 | 30k| 0 | 0 | 298k| 741k|7717 | 0.000000e+00 | 2.000000e+00 | Inf 1389.39/1389.40 c 1339s|600000 | 752 | 3155k| 5.3 | 46M| 177 | 27 |3639 | 37k|3639 | 969 | 305k| 755k|7789 | 0.000000e+00 | 2.000000e+00 | Inf 1417.80/1417.87 c 1366s|610000 | 723 | 3210k| 5.3 | 46M| 177 | - |3639 | 39k| 0 | 0 | 311k| 769k|7862 | 0.000000e+00 | 2.000000e+00 | Inf 1443.69/1443.79 c 1391s|620000 | 689 | 3260k| 5.3 | 47M| 177 | - |3639 | 42k| 0 | 0 | 315k| 782k|7917 | 0.000000e+00 | 2.000000e+00 | Inf 1472.09/1472.16 c 1419s|630000 | 671 | 3317k| 5.3 | 46M| 177 | - |3639 | 38k|3639 | 976 | 321k| 795k|8028 | 0.000000e+00 | 2.000000e+00 | Inf 1500.98/1501.04 c 1447s|640000 | 737 | 3377k| 5.3 | 47M| 177 | - |3639 | 42k|3639 | 978 | 327k| 808k|8098 | 0.000000e+00 | 2.000000e+00 | Inf 1530.89/1530.95 c 1476s|650000 | 875 | 3437k| 5.3 | 50M| 177 | - |3639 | 48k| 0 | 0 | 334k| 822k|8173 | 0.000000e+00 | 2.000000e+00 | Inf 1559.58/1559.69 c 1504s|660000 | 776 | 3489k| 5.3 | 47M| 177 | 1 |3639 | 40k|3639 | 979 | 338k| 835k|8258 | 0.000000e+00 | 2.000000e+00 | Inf 1583.49/1583.58 c 1527s|670000 | 726 | 3532k| 5.3 | 45M| 177 | - |3639 | 35k| 0 | 0 | 340k| 847k|8310 | 0.000000e+00 | 2.000000e+00 | Inf 1604.29/1604.36 c 1547s|680000 | 766 | 3566k| 5.2 | 46M| 177 | 15 |3639 | 39k|3639 | 979 | 341k| 861k|8375 | 0.000000e+00 | 2.000000e+00 | Inf 1626.59/1626.69 c 1568s|690000 | 814 | 3599k| 5.2 | 49M| 177 | - |3639 | 44k| 0 | 0 | 343k| 874k|8390 | 0.000000e+00 | 2.000000e+00 | Inf 1653.29/1653.37 c 1594s|700000 | 813 | 3641k| 5.2 | 49M| 177 | 6 |3639 | 44k|3639 | 979 | 347k| 888k|8473 | 0.000000e+00 | 2.000000e+00 | Inf 1677.99/1678.00 c 1618s|710000 | 878 | 3678k| 5.2 | 50M| 177 | 12 |3639 | 45k|3639 | 979 | 347k| 902k|8477 | 0.000000e+00 | 2.000000e+00 | Inf 1702.69/1702.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1702.69/1702.72 c 1642s|720000 | 876 | 3715k| 5.2 | 50M| 177 | 1 |3639 | 46k|3639 | 979 | 349k| 915k|8552 | 0.000000e+00 | 2.000000e+00 | Inf 1727.38/1727.40 c 1666s|730000 | 926 | 3750k| 5.1 | 51M| 177 | 12 |3639 | 48k|3639 | 979 | 349k| 929k|8576 | 0.000000e+00 | 2.000000e+00 | Inf 1753.98/1754.01 c 1692s|740000 | 931 | 3788k| 5.1 | 52M| 177 | - |3639 | 49k|3639 | 979 | 350k| 942k|8642 | 0.000000e+00 | 2.000000e+00 | Inf 1784.79/1784.85 c 1722s|750000 | 968 | 3826k| 5.1 | 54M| 177 | - |3639 | 55k| 0 | 0 | 351k| 955k|8681 | 0.000000e+00 | 2.000000e+00 | Inf 1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.09/1800.10 c 1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt] 1800.09/1800.10 c Solving Time (sec) : 1736.66 1800.09/1800.10 c Solving Nodes : 754783 1800.09/1800.10 c Primal Bound : +2.00000000000000e+00 (143 solutions) 1800.09/1800.10 c Dual Bound : +0.00000000000000e+00 1800.09/1800.10 c Gap : infinite 1800.09/1800.14 s SATISFIABLE 1800.09/1800.14 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1800.09/1800.14 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1800.09/1800.14 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 1800.09/1800.14 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.09/1800.14 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 1800.09/1800.14 v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 1800.09/1800.14 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.09/1800.14 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.09/1800.14 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.09/1800.14 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.09/1800.14 v -x1 1800.09/1800.14 c SCIP Status : solving was interrupted [user interrupt] 1800.09/1800.14 c Solving Time : 1736.66 1800.09/1800.14 c Original Problem : 1800.09/1800.14 c Problem name : HOME/instance-2692887-1277908851.wbo 1800.09/1800.14 c Variables : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous) 1800.09/1800.14 c Constraints : 4491 initial, 4491 maximal 1800.09/1800.14 c Presolved Problem : 1800.09/1800.14 c Problem name : t_HOME/instance-2692887-1277908851.wbo 1800.09/1800.14 c Variables : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous) 1800.09/1800.14 c Constraints : 4298 initial, 55789 maximal 1800.09/1800.14 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.09/1800.14 c trivial : 0.00 79 0 0 0 0 0 0 0 1800.09/1800.14 c dualfix : 0.00 79 0 0 0 0 0 0 0 1800.09/1800.14 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.14 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.14 c implics : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.14 c probing : 0.05 0 0 0 0 0 0 0 0 1800.09/1800.14 c indicator : 0.00 0 0 0 0 0 79 0 0 1800.09/1800.14 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.14 c linear : 0.04 0 0 0 1807 0 114 97 0 1800.09/1800.14 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.09/1800.14 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.14 c root node : - 1687 - - 3374 - - - - 1800.09/1800.14 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.09/1800.14 c integral : 0 0 0 489152 0 25 728 0 0 789686 1800.09/1800.14 c indicator : 1704 0 3437435 93437 0 59 622791 0 0 0 1800.09/1800.14 c setppc : 11 6 3441964 80696 0 12333 1317606 0 0 0 1800.09/1800.14 c linear : 1704 6 3447918 93171 0 232348 16391381 352330 0 0 1800.09/1800.14 c logicor : 879+ 6 1462076 41702 0 104534 3806113 0 0 0 1800.09/1800.14 c bounddisjunction : 0+ 0 10823 0 0 0 0 0 0 0 1800.09/1800.14 c countsols : 0 0 0 41702 0 0 0 0 0 0 1800.09/1800.14 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.09/1800.14 c integral : 25.07 0.00 0.00 25.07 0.00 1800.09/1800.14 c indicator : 9.81 0.00 4.03 5.78 0.00 1800.09/1800.14 c setppc : 8.82 0.00 8.81 0.01 0.00 1800.09/1800.14 c linear : 124.73 0.00 121.84 2.89 0.00 1800.09/1800.14 c logicor : 332.86 0.00 332.60 0.26 0.00 1800.09/1800.14 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00 1800.09/1800.14 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.09/1800.14 c Propagators : Time Calls Cutoffs DomReds 1800.09/1800.14 c vbounds : 0.02 2 0 0 1800.09/1800.14 c rootredcost : 0.01 26 0 1687 1800.09/1800.14 c pseudoobj : 110.10 3461715 961 369482 1800.09/1800.14 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.09/1800.14 c propagation : 16.47 350176 349517 2234929 27.7 9096 25.8 - 1800.09/1800.14 c infeasible LP : 9.95 38526 38526 307834 43.9 262 20.7 0 1800.09/1800.14 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.09/1800.14 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.09/1800.14 c pseudo solution : 0.00 23 23 148 16.5 4 6.2 - 1800.09/1800.14 c applied globally : - - - 962116 23.7 - - - 1800.09/1800.14 c applied locally : - - - 0 0.0 - - - 1800.09/1800.14 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.09/1800.14 c cut pool : 0.00 5 - - 58 - (maximal pool size: 101) 1800.09/1800.14 c redcost : 22.78 491696 0 196852 0 0 1800.09/1800.14 c impliedbounds : 0.00 6 0 0 0 0 1800.09/1800.14 c intobj : 0.00 0 0 0 0 0 1800.09/1800.14 c cgmip : 0.00 0 0 0 0 0 1800.09/1800.14 c gomory : 0.12 6 0 0 625 0 1800.09/1800.14 c strongcg : 0.09 6 0 0 116 0 1800.09/1800.14 c cmir : 0.00 6 0 0 1 0 1800.09/1800.14 c flowcover : 0.09 6 0 0 2 0 1800.09/1800.14 c clique : 0.00 6 0 0 0 0 1800.09/1800.14 c zerohalf : 0.00 0 0 0 0 0 1800.09/1800.14 c mcf : 0.00 1 0 0 0 0 1800.09/1800.14 c rapidlearning : 0.00 0 0 0 0 0 1800.09/1800.14 c Pricers : Time Calls Vars 1800.09/1800.14 c problem variables: 0.00 0 0 1800.09/1800.14 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.09/1800.14 c relpscost : 24.90 395437 25 728 0 0 789686 1800.09/1800.14 c pscost : 0.00 0 0 0 0 0 0 1800.09/1800.14 c inference : 5.45 41677 0 0 0 0 83354 1800.09/1800.14 c mostinf : 0.00 0 0 0 0 0 0 1800.09/1800.14 c leastinf : 0.00 0 0 0 0 0 0 1800.09/1800.14 c fullstrong : 0.00 0 0 0 0 0 0 1800.09/1800.14 c allfullstrong : 0.00 0 0 0 0 0 0 1800.09/1800.14 c random : 0.00 0 0 0 0 0 0 1800.09/1800.14 c Primal Heuristics : Time Calls Found 1800.09/1800.14 c LP solutions : 0.07 - 25 1800.09/1800.14 c pseudo solutions : 0.00 - 0 1800.09/1800.14 c feaspump : 0.00 1 0 1800.09/1800.14 c oneopt : 0.08 26 0 1800.09/1800.14 c intshifting : 0.00 5 0 1800.09/1800.14 c crossover : 0.69 27 0 1800.09/1800.14 c coefdiving : 0.92 950 0 1800.09/1800.14 c pscostdiving : 0.86 950 0 1800.09/1800.14 c fracdiving : 0.87 950 0 1800.09/1800.14 c veclendiving : 0.95 950 0 1800.09/1800.14 c linesearchdiving : 0.77 951 0 1800.09/1800.14 c guideddiving : 0.91 951 0 1800.09/1800.14 c objpscostdiving : 0.86 903 0 1800.09/1800.14 c rootsoldiving : 0.86 904 0 1800.09/1800.14 c trivial : 0.01 2 0 1800.09/1800.14 c simplerounding : 0.59 395682 0 1800.09/1800.14 c zirounding : 0.06 1000 0 1800.09/1800.14 c rounding : 1.37 8929 0 1800.09/1800.14 c shifting : 1.22 2729 0 1800.09/1800.14 c twoopt : 0.00 0 0 1800.09/1800.14 c fixandinfer : 0.00 0 0 1800.09/1800.14 c intdiving : 0.00 0 0 1800.09/1800.14 c actconsdiving : 0.00 0 0 1800.09/1800.14 c octane : 0.00 0 0 1800.09/1800.14 c rens : 0.02 1 0 1800.09/1800.14 c rins : 0.00 0 0 1800.09/1800.14 c localbranching : 0.00 0 0 1800.09/1800.14 c mutation : 0.00 0 0 1800.09/1800.14 c dins : 0.00 0 0 1800.09/1800.14 c undercover : 0.00 0 0 1800.09/1800.14 c nlp : 0.01 0 0 1800.09/1800.14 c trysol : 1.16 5480 118 1800.09/1800.14 c LP : Time Calls Iterations Iter/call Iter/sec 1800.09/1800.14 c primal LP : 0.00 0 0 0.00 - 1800.09/1800.14 c dual LP : 542.61 486939 3843733 7.89 7083.79 1800.09/1800.14 c lex dual LP : 0.00 0 0 0.00 - 1800.09/1800.14 c barrier LP : 0.00 0 0 0.00 - 1800.09/1800.14 c diving/probing LP: 0.10 70 884 12.63 8840.00 1800.09/1800.14 c strong branching : 21.45 8711 149115 17.12 6951.75 1800.09/1800.14 c (at root node) : - 33 3188 96.61 - 1800.09/1800.14 c conflict analysis: 0.00 0 0 0.00 - 1800.09/1800.14 c B&B Tree : 1800.09/1800.14 c number of runs : 1 1800.09/1800.14 c nodes : 754783 1800.09/1800.14 c nodes (total) : 754783 1800.09/1800.14 c nodes left : 946 1800.09/1800.14 c max depth : 177 1800.09/1800.14 c max depth (total): 177 1800.09/1800.14 c backtracks : 93568 (12.4%) 1800.09/1800.14 c delayed cutoffs : 72191 1800.09/1800.14 c repropagations : 1390028 (4764264 domain reductions, 70478 cutoffs) 1800.09/1800.14 c avg switch length: 5.15 1800.09/1800.14 c switching time : 279.25 1800.09/1800.14 c Solution : 1800.09/1800.14 c Solutions found : 143 (26 improvements) 1800.09/1800.14 c First Solution : +8.67900000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>) 1800.09/1800.14 c Primal Bound : +2.00000000000000e+00 (in run 1, after 502143 nodes, 1114.30 seconds, depth 27, found by <relaxation>) 1800.09/1800.14 c Dual Bound : +0.00000000000000e+00 1800.09/1800.14 c Gap : infinite 1800.09/1800.14 c Root Dual Bound : +0.00000000000000e+00 1800.09/1800.14 c Root Iterations : 230 1800.19/1800.22 c Time complete: 1800.21.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692887-1277908851/watcher-2692887-1277908851 -o /tmp/evaluation-result-2692887-1277908851/solver-2692887-1277908851 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692887-1277908851.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.00 2.00 2.00 3/194 13324 /proc/meminfo: memFree=31174532/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=9408 CPUtime=0 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 1646 0 0 0 0 0 0 0 21 0 1 0 132181390 9633792 1565 4089446400 4194304 8223781 140733241415120 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13324/statm: 2352 1565 369 984 0 1365 0 [startup+0.0135259 s] /proc/loadavg: 2.00 2.00 2.00 3/194 13324 /proc/meminfo: memFree=31174532/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=11392 CPUtime=0.01 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 2173 0 0 0 1 0 0 0 21 0 1 0 132181390 11665408 2092 4089446400 4194304 8223781 140733241415120 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13324/statm: 2848 2092 369 984 0 1861 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11392 [startup+0.100511 s] /proc/loadavg: 2.00 2.00 2.00 3/194 13324 /proc/meminfo: memFree=31174532/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=29304 CPUtime=0.09 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 7731 0 0 0 8 1 0 0 21 0 1 0 132181390 30007296 6258 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 7326 6258 452 984 0 6339 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29304 [startup+0.300477 s] /proc/loadavg: 2.00 2.00 2.00 3/194 13324 /proc/meminfo: memFree=31174532/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=35332 CPUtime=0.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 11491 0 0 0 27 2 0 0 18 0 1 0 132181390 36179968 7934 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 8833 7934 573 984 0 7846 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35332 [startup+0.700406 s] /proc/loadavg: 2.00 2.00 2.00 3/194 13324 /proc/meminfo: memFree=31174532/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=37684 CPUtime=0.69 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 18670 0 0 0 64 5 0 0 18 0 1 0 132181390 38588416 8494 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 9421 8494 589 984 0 8434 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37684 [startup+1.50027 s] /proc/loadavg: 2.00 2.00 2.00 3/195 13325 /proc/meminfo: memFree=31142408/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=37684 CPUtime=1.49 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 18671 0 0 0 142 7 0 0 19 0 1 0 132181390 38588416 8495 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 9421 8495 590 984 0 8434 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37684 [startup+3.10099 s] /proc/loadavg: 2.00 2.00 2.00 3/195 13325 /proc/meminfo: memFree=31142160/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=37684 CPUtime=3.09 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 18698 0 0 0 294 15 0 0 25 0 1 0 132181390 38588416 8522 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 9421 8522 591 984 0 8434 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37684 [startup+6.30044 s] /proc/loadavg: 2.00 2.00 2.00 3/195 13325 /proc/meminfo: memFree=31142672/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=37748 CPUtime=6.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 18733 0 0 0 605 24 0 0 25 0 1 0 132181390 38653952 8557 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 9437 8557 591 984 0 8450 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37748 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/195 13325 /proc/meminfo: memFree=31133148/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=49076 CPUtime=12.69 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 35899 0 0 0 1225 44 0 0 25 0 1 0 132181390 50253824 11303 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 12269 11303 597 984 0 11282 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49076 [startup+25.5011 s] /proc/loadavg: 2.00 2.00 2.00 3/195 13325 /proc/meminfo: memFree=31117700/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=64680 CPUtime=25.49 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 53309 0 0 0 2467 82 0 0 25 0 1 0 132181390 66232320 15272 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 16170 15272 597 984 0 15183 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 64680 [startup+51.1007 s] /proc/loadavg: 2.06 2.01 2.00 3/195 13325 /proc/meminfo: memFree=31087236/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=93792 CPUtime=51.09 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 95062 0 0 0 4943 166 0 0 25 0 1 0 132181390 96043008 22607 4089446400 4194304 8223781 140733241415120 18446744073709551615 4561440 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 23448 22607 597 984 0 22461 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 93792 [startup+102.307 s] /proc/loadavg: 2.02 2.01 2.00 3/195 13327 /proc/meminfo: memFree=31025568/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=146152 CPUtime=102.3 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 183317 0 0 0 9864 366 0 0 25 0 1 0 132181390 149659648 35688 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 36538 35688 599 984 0 35551 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 146152 [startup+162.3 s] /proc/loadavg: 2.04 2.02 2.00 3/195 13329 /proc/meminfo: memFree=31006936/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=152440 CPUtime=162.3 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 229527 0 0 0 15608 622 0 0 25 0 1 0 132181390 156098560 37276 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 38110 37276 606 984 0 37123 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 152440 [startup+222.301 s] /proc/loadavg: 2.01 2.01 2.00 3/195 13329 /proc/meminfo: memFree=30995384/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=155232 CPUtime=222.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 247448 0 0 0 21387 842 0 0 25 0 1 0 132181390 158957568 37948 4089446400 4194304 8223781 140733241415120 18446744073709551615 4923753 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13324/statm: 38808 37948 606 984 0 37821 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 155232 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/195 13331 /proc/meminfo: memFree=30977112/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=157908 CPUtime=282.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 248823 0 0 0 27158 1071 0 0 25 0 1 0 132181390 161697792 38595 4089446400 4194304 8223781 140733241415120 18446744073709551615 4209998 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 39477 38595 606 984 0 38490 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 157908 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 13333 /proc/meminfo: memFree=30967280/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=160220 CPUtime=342.28 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 260772 0 0 0 32930 1298 0 0 25 0 1 0 132181390 164065280 39120 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 40055 39120 606 984 0 39068 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 160220 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 13335 /proc/meminfo: memFree=30959676/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=161196 CPUtime=402.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 279052 0 0 0 38691 1538 0 0 25 0 1 0 132181390 165064704 39325 4089446400 4194304 8223781 140733241415120 18446744073709551615 6003049 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 40299 39325 606 984 0 39312 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 161196 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 13337 /proc/meminfo: memFree=30948712/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=163348 CPUtime=462.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 289897 0 0 0 44473 1756 0 0 25 0 1 0 132181390 167268352 39861 4089446400 4194304 8223781 140733241415120 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 40837 39861 606 984 0 39850 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 163348 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 13337 /proc/meminfo: memFree=30939620/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=163460 CPUtime=522.3 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 306588 0 0 0 50238 1992 0 0 25 0 1 0 132181390 167383040 39918 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 40865 39918 606 984 0 39878 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 163460 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 13339 /proc/meminfo: memFree=30927684/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=165628 CPUtime=582.3 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 323636 0 0 0 56018 2212 0 0 25 0 1 0 132181390 169603072 40425 4089446400 4194304 8223781 140733241415120 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 41407 40425 606 984 0 40420 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 165628 [startup+642.3 s] /proc/loadavg: 2.03 2.01 2.00 3/195 13341 /proc/meminfo: memFree=30918844/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=166364 CPUtime=642.3 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 325521 0 0 0 61817 2413 0 0 25 0 1 0 132181390 170356736 40557 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 41591 40557 606 984 0 40604 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 166364 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.02 2.06 2.02 3/195 13347 /proc/meminfo: memFree=30902796/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=171404 CPUtime=882.3 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 365060 0 0 0 85023 3207 0 0 25 0 1 0 132181390 175517696 41790 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 42851 41790 606 984 0 41864 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 171404 [startup+942.3 s] /proc/loadavg: 2.01 2.05 2.01 3/195 13349 /proc/meminfo: memFree=30902272/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=171720 CPUtime=942.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 378433 0 0 0 90826 3403 0 0 25 0 1 0 132181390 175841280 41902 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 42930 41902 606 984 0 41943 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 171720 [startup+1002.3 s] /proc/loadavg: 2.00 2.04 2.01 3/177 13381 /proc/meminfo: memFree=31321584/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=172480 CPUtime=1002.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 390694 0 0 0 96598 3631 0 0 25 0 1 0 132181390 176619520 42087 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 43120 42087 606 984 0 42133 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 172480 [startup+1062.3 s] /proc/loadavg: 2.00 2.03 2.00 3/177 13383 /proc/meminfo: memFree=31271592/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=172772 CPUtime=1062.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 405242 0 0 0 102365 3864 0 0 25 0 1 0 132181390 176918528 42160 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 43193 42160 606 984 0 42206 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 172772 [startup+1122.3 s] /proc/loadavg: 2.04 2.03 2.00 3/177 13383 /proc/meminfo: memFree=31243900/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=174188 CPUtime=1122.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 414182 0 0 0 108144 4085 0 0 25 0 1 0 132181390 178368512 42394 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 43547 42394 606 984 0 42560 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 174188 [startup+1182.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 13385 /proc/meminfo: memFree=31216464/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=174360 CPUtime=1182.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 433546 0 0 0 113899 4330 0 0 25 0 1 0 132181390 178544640 42455 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 43590 42455 606 984 0 42603 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 174360 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 13396 /proc/meminfo: memFree=31203936/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=175224 CPUtime=1242.28 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 441567 0 0 0 119668 4560 0 0 25 0 1 0 132181390 179429376 42586 4089446400 4194304 8223781 140733241415120 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 43806 42586 606 984 0 42819 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 175224 [startup+1302.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 13398 /proc/meminfo: memFree=31198428/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=177436 CPUtime=1302.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 449519 0 0 0 125467 4762 0 0 25 0 1 0 132181390 181694464 42944 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 44359 42944 606 984 0 43372 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 177436 [startup+1362.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 13400 /proc/meminfo: memFree=31194060/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=177436 CPUtime=1362.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 453381 0 0 0 131240 4989 0 0 25 0 1 0 132181390 181694464 42997 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 44359 42997 606 984 0 43372 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 177436 [startup+1422.31 s] /proc/loadavg: 2.01 2.02 2.00 3/177 13400 /proc/meminfo: memFree=31188768/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=177436 CPUtime=1422.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 465273 0 0 0 137047 5182 0 0 25 0 1 0 132181390 181694464 42998 4089446400 4194304 8223781 140733241415120 18446744073709551615 6446935 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 44359 42998 606 984 0 43372 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 177436 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13402 /proc/meminfo: memFree=31184024/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=178860 CPUtime=1482.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 470501 0 0 0 142856 5373 0 0 25 0 1 0 132181390 183152640 43178 4089446400 4194304 8223781 140733241415120 18446744073709551615 4651656 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 44715 43178 606 984 0 43728 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 178860 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13404 /proc/meminfo: memFree=31178664/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=179996 CPUtime=1542.28 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 471531 0 0 0 148671 5557 0 0 25 0 1 0 132181390 184315904 43418 4089446400 4194304 8223781 140733241415120 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 44999 43418 606 984 0 44012 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 179996 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13406 /proc/meminfo: memFree=31174420/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=179956 CPUtime=1602.28 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 472005 0 0 0 154469 5759 0 0 25 0 1 0 132181390 184274944 43437 4089446400 4194304 8223781 140733241415120 18446744073709551615 4999707 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 44989 43437 606 984 0 44002 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 179956 [startup+1662.3 s] /proc/loadavg: 2.06 2.01 2.00 3/177 13408 /proc/meminfo: memFree=31170164/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=180380 CPUtime=1662.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 472354 0 0 0 160285 5944 0 0 25 0 1 0 132181390 184709120 43543 4089446400 4194304 8223781 140733241415120 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 45095 43543 606 984 0 44108 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 180380 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 13408 /proc/meminfo: memFree=31163312/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=180840 CPUtime=1722.29 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 485250 0 0 0 166102 6127 0 0 25 0 1 0 132181390 185180160 43688 4089446400 4194304 8223781 140733241415120 18446744073709551615 6162784 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 45210 43688 606 984 0 44223 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 180840 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13410 /proc/meminfo: memFree=31155840/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=183236 CPUtime=1782.28 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 485842 0 0 0 171930 6298 0 0 25 0 1 0 132181390 187633664 44173 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 45809 44173 606 984 0 44822 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 183236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13412 /proc/meminfo: memFree=31153976/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=184072 CPUtime=1800.09 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 486054 0 0 0 173668 6341 0 0 25 0 1 0 132181390 188489728 44384 4089446400 4194304 8223781 140733241415120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13324/statm: 46018 44384 606 984 0 45031 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 184072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.21 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13412 /proc/meminfo: memFree=31153976/32951132 swapFree=67111528/67111528 [pid=13324] ppid=13322 vsize=174060 CPUtime=1800.19 /proc/13324/stat : 13324 (pbscip.linux.x8) R 13322 13324 11876 0 -1 4202496 486100 0 0 0 173678 6341 0 0 18 0 1 0 132181390 178237440 41892 4089446400 4194304 8223781 140733241415120 18446744073709551615 4383992 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13324/statm: 43515 41892 608 984 0 42528 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 174060 Child status: 0 Real time (s): 1800.23 CPU time (s): 1800.22 CPU user time (s): 1736.8 CPU system time (s): 63.4234 CPU usage (%): 99.9997 Max. virtual memory (cumulated for all children) (KiB): 196824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1736.8 system time used= 63.4234 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 486104 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 23151 runsolver used 2.78058 second user time and 5.99409 second system time The end
Begin job on node128 at 2010-06-30 16:40:51 IDJOB=2692887 IDBENCH=78962 IDSOLVER=1204 FILE ID=node128/2692887-1277908851 PBS_JOBID= 11197202 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.1900550720--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-2692887-1277908851/watcher-2692887-1277908851 -o /tmp/evaluation-result-2692887-1277908851/solver-2692887-1277908851 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692887-1277908851.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f2c87e7318987ff21f5979e3cf339f19 RANDOM SEED=584944920 node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31175432 kB Buffers: 195208 kB Cached: 1011284 kB SwapCached: 0 kB Active: 842212 kB Inactive: 790972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31175432 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4724 kB Writeback: 0 kB AnonPages: 426464 kB Mapped: 20584 kB Slab: 77636 kB PageTables: 5524 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1659452 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node128 at 2010-06-30 17:10:53