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.15 | 1800.09 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546417--soft-66-100-0.wbo |
MD5SUM | 23ad99b063b4d7278daca47962cd4526 |
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 | 108.034 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 930 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 46532 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46531 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
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-2692745-1277900344.wbo> 0.00/0.02 c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.04 c presolving: 0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs 0.00/0.07 c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs 0.00/0.08 c (round 3) 57 del vars, 168 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs 0.00/0.09 c (round 4) 115 del vars, 229 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs 0.00/0.10 c (round 5) 132 del vars, 266 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs 0.09/0.11 c (round 6) 155 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs 0.09/0.12 c (round 7) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs 0.09/0.16 c (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.16 c presolving (8 rounds): 0.09/0.16 c 162 deleted vars, 273 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients 0.09/0.16 c 1142 implications, 14 cliques 0.09/0.16 c presolved problem has 1929 variables (1080 bin, 0 int, 0 impl, 849 cont) and 3365 constraints 0.09/0.16 c 849 constraints of type <indicator> 0.09/0.16 c 1 constraints of type <knapsack> 0.09/0.16 c 14 constraints of type <setppc> 0.09/0.16 c 849 constraints of type <linear> 0.09/0.16 c 1652 constraints of type <logicor> 0.09/0.16 c transformed objective value is always integral (scale: 1) 0.09/0.16 c Presolving Time: 0.10 0.09/0.16 c - non default parameters ---------------------------------------------------------------------- 0.09/0.16 c # SCIP version 1.2.1.2 0.09/0.16 c 0.09/0.16 c # frequency for displaying node information lines 0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.16 c display/freq = 10000 0.09/0.16 c 0.09/0.16 c # maximal time in seconds to run 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/time = 1799.98 0.09/0.16 c 0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/memory = 3420 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify inequalities 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/linear/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify knapsacks 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.16 c separating/rapidlearning/freq = 0 0.09/0.16 c 0.09/0.16 c ----------------------------------------------------------------------------------------------- 0.09/0.16 c start solving 0.09/0.16 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 30 | - |8814k| 0 | 16 |1929 |3365 |1929 |1667 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.20 o 42682 0.19/0.20 c y 0.1s| 1 | 0 | 309 | - |8851k| 0 | 16 |1929 |3365 |1929 |1667 | 0 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 0.19/0.24 c 0.2s| 1 | 0 | 356 | - |8869k| 0 | 34 |1929 |3365 |1929 |1683 | 16 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 0.29/0.31 c 0.2s| 1 | 0 | 427 | - |9255k| 0 | 37 |1929 |3365 |1929 |1692 | 25 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 0.39/0.40 c 0.3s| 1 | 0 | 467 | - |9274k| 0 | 41 |1929 |3365 |1929 |1703 | 36 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 0.49/0.50 c 0.4s| 1 | 0 | 547 | - |9280k| 0 | 39 |1929 |3365 |1929 |1708 | 41 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 0.49/0.59 c 0.5s| 1 | 0 | 605 | - |9290k| 0 | 43 |1929 |3365 |1929 |1712 | 45 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 0.69/0.70 c 0.6s| 1 | 0 | 636 | - |9297k| 0 | 48 |1929 |3365 |1929 |1718 | 51 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 1.59/1.61 c 1.5s| 1 | 2 | 636 | - |9331k| 0 | 48 |1929 |3365 |1929 |1718 | 51 | 0 | 33 | 0.000000e+00 | 4.268200e+04 | Inf 11.29/11.36 o 711 11.29/11.36 c *10.9s| 1778 | 1526 | 6827 | 3.5 | 15M| 61 | - |1929 |3588 |1929 |1714 | 347 | 227 |1327 | 0.000000e+00 | 7.110000e+02 | Inf 11.29/11.36 o 589 11.29/11.36 c *10.9s| 1779 | 1096 | 6827 | 3.5 | 14M| 61 | - |1929 |3588 |1929 |1714 | 347 | 227 |1327 | 0.000000e+00 | 5.890000e+02 | Inf 11.48/11.51 o 578 11.48/11.51 c *11.0s| 1818 | 1077 | 7148 | 3.6 | 15M| 61 | - |1929 |3609 |1929 |1719 | 355 | 248 |1345 | 0.000000e+00 | 5.780000e+02 | Inf 11.48/11.59 o 574 11.48/11.59 c *11.1s| 1853 | 1074 | 7385 | 3.6 | 15M| 61 | - |1929 |3645 |1929 |1724 | 359 | 284 |1348 | 0.000000e+00 | 5.740000e+02 | Inf 11.59/11.65 o 477 11.59/11.65 c *11.2s| 1891 | 656 | 7487 | 3.6 | 14M| 61 | - |1929 |3647 |1929 |1712 | 366 | 286 |1349 | 0.000000e+00 | 4.770000e+02 | Inf 12.29/12.33 o 361 12.29/12.33 c *11.8s| 1937 | 428 | 8254 | 3.9 | 14M| 61 | - |1929 |3714 |1929 |1722 | 382 | 353 |1512 | 0.000000e+00 | 3.610000e+02 | Inf 13.49/13.57 o 340 13.49/13.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 13.49/13.57 c *13.0s| 2231 | 481 | 10992 | 4.6 | 14M| 61 | - |1929 |3979 |1929 |1712 | 466 | 646 |1677 | 0.000000e+00 | 3.400000e+02 | Inf 14.99/15.01 o 331 14.99/15.01 c *14.4s| 2671 | 582 | 15750 | 5.7 | 15M| 61 | - |1929 |4422 |1929 |1712 | 559 |1203 |1782 | 0.000000e+00 | 3.310000e+02 | Inf 15.69/15.73 o 283 15.69/15.73 c l15.1s| 3067 | 563 | 17626 | 5.5 | 15M| 61 | - |1929 |4607 |1929 |1715 | 581 |1624 |1807 | 0.000000e+00 | 2.830000e+02 | Inf 15.69/15.78 o 201 15.69/15.78 c *15.1s| 3089 | 454 | 17760 | 5.5 | 14M| 61 | - |1929 |4608 |1929 |1713 | 582 |1629 |1807 | 0.000000e+00 | 2.010000e+02 | Inf 16.39/16.45 o 109 16.39/16.45 c *15.7s| 3482 | 318 | 19451 | 5.4 | 14M| 61 | - |1929 |4960 |1929 |1721 | 631 |2222 |1835 | 0.000000e+00 | 1.090000e+02 | Inf 16.69/16.71 o 74 16.69/16.71 c *16.0s| 3607 | 248 | 20154 | 5.4 | 14M| 61 | - |1929 |5009 |1929 |1714 | 633 |2343 |1848 | 0.000000e+00 | 7.400000e+01 | Inf 17.69/17.79 o 51 17.69/17.79 c *17.0s| 3987 | 188 | 23791 | 5.8 | 14M| 61 | - |1929 |4515 |1929 |1715 | 636 |2772 |1891 | 0.000000e+00 | 5.100000e+01 | Inf 18.09/18.12 o 40 18.09/18.12 c *17.3s| 4131 | 193 | 24985 | 5.9 | 14M| 61 | - |1929 |4342 |1929 |1716 | 660 |2957 |1900 | 0.000000e+00 | 4.000000e+01 | Inf 18.29/18.34 o 36 18.29/18.34 c *17.5s| 4248 | 200 | 25616 | 5.9 | 14M| 61 | - |1929 |4344 |1929 |1712 | 661 |3134 |1906 | 0.000000e+00 | 3.600000e+01 | Inf 20.58/20.66 o 35 20.58/20.66 c *19.7s| 5386 | 209 | 34373 | 6.3 | 15M| 61 | - |1929 |5210 |1929 |1715 | 810 |4769 |1934 | 0.000000e+00 | 3.500000e+01 | Inf 20.58/20.66 o 23 20.58/20.66 c *19.7s| 5387 | 185 | 34384 | 6.3 | 15M| 61 | - |1929 |5209 |1929 |1715 | 810 |4769 |1934 | 0.000000e+00 | 2.300000e+01 | Inf 21.59/21.67 o 19 21.59/21.67 c *20.7s| 5908 | 194 | 38351 | 6.4 | 15M| 61 | - |1929 |5164 |1929 |1712 | 850 |5400 |1944 | 0.000000e+00 | 1.900000e+01 | Inf 24.69/24.73 o 13 24.69/24.73 c *23.6s| 7448 | 172 | 49730 | 6.6 | 15M| 61 | - |1929 |5926 |1929 |1712 | 913 |7527 |2023 | 0.000000e+00 | 1.300000e+01 | Inf 24.78/24.82 o 6 24.78/24.82 c *23.7s| 7493 | 163 | 50119 | 6.6 | 15M| 61 | - |1929 |5856 |1929 |1712 | 920 |7598 |2026 | 0.000000e+00 | 6.000000e+00 | Inf 29.89/29.97 c 28.6s| 10000 | 279 | 75145 | 7.5 | 16M| 61 | 19 |1929 |6684 |1929 |1712 |1124 | 10k|2036 | 0.000000e+00 | 6.000000e+00 | Inf 50.29/50.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 50.29/50.31 c 47.9s| 20000 | 388 |168934 | 8.4 | 18M| 61 | - |1929 |8879 |1929 |1712 |1883 | 24k|2044 | 0.000000e+00 | 6.000000e+00 | Inf 70.19/70.28 c 66.8s| 30000 | 455 |258632 | 8.6 | 20M| 61 | - |1929 | 12k| 0 | 0 |2669 | 38k|2046 | 0.000000e+00 | 6.000000e+00 | Inf 92.69/92.70 c 88.1s| 40000 | 422 |355053 | 8.9 | 21M| 61 | 15 |1929 | 13k|1929 |1712 |3470 | 52k|2293 | 0.000000e+00 | 6.000000e+00 | Inf 114.79/114.80 c 109s| 50000 | 290 |443244 | 8.9 | 20M| 61 | 23 |1929 | 12k|1929 |1712 |4248 | 65k|2612 | 0.000000e+00 | 6.000000e+00 | Inf 137.79/137.85 c 131s| 60000 | 276 |540700 | 9.0 | 21M| 61 | - |1929 | 15k| 0 | 0 |5101 | 79k|2914 | 0.000000e+00 | 6.000000e+00 | Inf 161.29/161.34 c 153s| 70000 | 502 |633788 | 9.0 | 25M| 61 | 11 |1929 | 21k|1929 |1712 |5627 | 94k|3147 | 0.000000e+00 | 6.000000e+00 | Inf 183.29/183.35 c 174s| 80000 | 593 |712170 | 8.9 | 25M| 61 | 26 |1929 | 18k|1929 |1712 |6016 | 108k|3341 | 0.000000e+00 | 6.000000e+00 | Inf 206.20/206.28 c 196s| 90000 | 668 |795687 | 8.8 | 27M| 61 | - |1929 | 23k| 0 | 0 |6648 | 123k|3541 | 0.000000e+00 | 6.000000e+00 | Inf 229.59/229.63 c 219s|100000 | 821 |878341 | 8.8 | 30M| 61 | - |1929 | 26k| 0 | 0 |7337 | 139k|3755 | 0.000000e+00 | 6.000000e+00 | Inf 253.00/253.05 c 241s|110000 | 854 |960055 | 8.7 | 29M| 61 | - |1929 | 23k| 0 | 0 |8049 | 154k|3897 | 0.000000e+00 | 6.000000e+00 | Inf 276.40/276.45 c 263s|120000 | 903 | 1043k| 8.7 | 31M| 64 | 23 |1929 | 28k|1929 |1712 |8993 | 168k|4082 | 0.000000e+00 | 6.000000e+00 | Inf 300.20/300.26 c 286s|130000 | 882 | 1123k| 8.6 | 30M| 64 | 13 |1929 | 25k|1929 |1712 |9600 | 183k|4213 | 0.000000e+00 | 6.000000e+00 | Inf 323.60/323.68 c 309s|140000 | 885 | 1199k| 8.6 | 30M| 64 | - |1929 | 23k| 0 | 0 | 10k| 198k|4413 | 0.000000e+00 | 6.000000e+00 | Inf 346.70/346.74 c 331s|150000 | 963 | 1276k| 8.5 | 32M| 64 | 17 |1929 | 25k|1929 |1712 | 10k| 213k|4529 | 0.000000e+00 | 6.000000e+00 | Inf 370.50/370.59 c 353s|160000 | 955 | 1360k| 8.5 | 32M| 64 | - |1929 | 25k| 0 | 0 | 11k| 227k|4639 | 0.000000e+00 | 6.000000e+00 | Inf 394.60/394.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 394.60/394.65 c 376s|170000 | 990 | 1444k| 8.5 | 32M| 64 | - |1929 | 25k| 0 | 0 | 11k| 242k|4811 | 0.000000e+00 | 6.000000e+00 | Inf 402.80/402.86 o 2 402.80/402.86 c * 384s|173749 | 817 | 1473k| 8.5 | 32M| 65 | - |1929 | 27k|1929 |1712 | 12k| 248k|4825 | 0.000000e+00 | 2.000000e+00 | Inf 417.60/417.60 c 398s|180000 | 821 | 1528k| 8.5 | 31M| 65 | 20 |1929 | 25k|1929 |1712 | 12k| 257k|4914 | 0.000000e+00 | 2.000000e+00 | Inf 441.60/441.68 c 421s|190000 | 978 | 1617k| 8.5 | 34M| 67 | - |1929 | 29k|1929 |1712 | 12k| 272k|5045 | 0.000000e+00 | 2.000000e+00 | Inf 465.91/465.99 c 445s|200000 | 1017 | 1702k| 8.5 | 35M| 75 | - |1929 | 28k| 0 | 0 | 13k| 287k|5209 | 0.000000e+00 | 2.000000e+00 | Inf 490.41/490.49 c 468s|210000 | 816 | 1787k| 8.5 | 30M| 75 | - |1929 | 19k| 0 | 0 | 13k| 303k|5324 | 0.000000e+00 | 2.000000e+00 | Inf 513.71/513.77 c 490s|220000 | 724 | 1876k| 8.5 | 29M| 75 | 25 |1929 | 18k|1929 |1712 | 14k| 317k|5469 | 0.000000e+00 | 2.000000e+00 | Inf 537.31/537.32 c 513s|230000 | 719 | 1965k| 8.5 | 30M| 75 | 18 |1929 | 22k|1929 |1712 | 14k| 331k|5578 | 0.000000e+00 | 2.000000e+00 | Inf 560.91/560.93 c 535s|240000 | 543 | 2047k| 8.5 | 28M| 75 | 24 |1929 | 20k|1929 |1712 | 15k| 346k|5684 | 0.000000e+00 | 2.000000e+00 | Inf 584.81/584.89 c 558s|250000 | 573 | 2137k| 8.5 | 30M| 75 | 15 |1929 | 24k|1929 |1712 | 16k| 360k|5808 | 0.000000e+00 | 2.000000e+00 | Inf 608.51/608.60 c 580s|260000 | 548 | 2218k| 8.5 | 30M| 75 | 23 |1929 | 24k|1929 |1712 | 16k| 374k|5933 | 0.000000e+00 | 2.000000e+00 | Inf 632.21/632.23 c 603s|270000 | 604 | 2298k| 8.5 | 33M| 75 | 22 |1929 | 30k|1929 |1712 | 17k| 388k|6053 | 0.000000e+00 | 2.000000e+00 | Inf 657.60/657.60 c 627s|280000 | 487 | 2381k| 8.5 | 30M| 75 | 20 |1929 | 23k|1929 |1712 | 18k| 401k|6176 | 0.000000e+00 | 2.000000e+00 | Inf 679.61/679.63 c 648s|290000 | 428 | 2457k| 8.5 | 29M| 75 | - |1929 | 24k| 0 | 0 | 18k| 415k|6293 | 0.000000e+00 | 2.000000e+00 | Inf 703.02/703.05 c 671s|300000 | 323 | 2534k| 8.4 | 28M| 75 | - |1929 | 22k|1929 |1712 | 19k| 429k|6395 | 0.000000e+00 | 2.000000e+00 | Inf 726.01/726.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 726.01/726.02 c 692s|310000 | 183 | 2620k| 8.5 | 25M| 75 | - |1929 | 20k|1929 |1712 | 19k| 442k|6562 | 0.000000e+00 | 2.000000e+00 | Inf 752.21/752.24 c 718s|320000 | 109 | 2712k| 8.5 | 24M| 75 | 1 |1929 | 18k|1929 |1718 | 19k| 455k|7373 | 0.000000e+00 | 2.000000e+00 | Inf 773.81/773.88 c 738s|330000 | 128 | 2791k| 8.5 | 26M| 75 | 12 |1929 | 23k|1929 |1712 | 20k| 468k|7437 | 0.000000e+00 | 2.000000e+00 | Inf 797.21/797.20 c 760s|340000 | 123 | 2871k| 8.4 | 28M| 75 | - |1929 | 28k| 0 | 0 | 21k| 482k|7448 | 0.000000e+00 | 2.000000e+00 | Inf 821.51/821.53 c 784s|350000 | 181 | 2954k| 8.4 | 30M| 75 | 17 |1929 | 33k|1929 |1712 | 21k| 496k|7462 | 0.000000e+00 | 2.000000e+00 | Inf 849.22/849.28 c 810s|360000 | 219 | 3041k| 8.4 | 30M| 75 | 26 |1929 | 32k|1929 |1712 | 22k| 510k|7486 | 0.000000e+00 | 2.000000e+00 | Inf 876.02/876.00 c 836s|370000 | 282 | 3125k| 8.4 | 30M| 75 | - |1929 | 29k| 0 | 0 | 23k| 524k|7596 | 0.000000e+00 | 2.000000e+00 | Inf 901.22/901.26 c 860s|380000 | 374 | 3208k| 8.4 | 29M| 75 | 23 |1929 | 26k|1929 |1712 | 23k| 539k|7688 | 0.000000e+00 | 2.000000e+00 | Inf 926.42/926.41 c 885s|390000 | 310 | 3292k| 8.4 | 28M| 75 | - |1929 | 23k| 0 | 0 | 24k| 553k|7835 | 0.000000e+00 | 2.000000e+00 | Inf 952.12/952.19 c 909s|400000 | 232 | 3373k| 8.4 | 28M| 75 | 9 |1929 | 25k|1929 |1712 | 24k| 566k|7890 | 0.000000e+00 | 2.000000e+00 | Inf 977.82/977.82 c 934s|410000 | 233 | 3464k| 8.4 | 30M| 75 | 14 |1929 | 29k|1929 |1712 | 25k| 580k|8005 | 0.000000e+00 | 2.000000e+00 | Inf 1003.42/1003.41 c 958s|420000 | 322 | 3548k| 8.4 | 30M| 75 | 15 |1929 | 28k|1929 |1712 | 25k| 593k|8115 | 0.000000e+00 | 2.000000e+00 | Inf 1030.12/1030.13 c 984s|430000 | 408 | 3635k| 8.5 | 32M| 75 | - |1929 | 31k|1929 |1712 | 26k| 608k|8211 | 0.000000e+00 | 2.000000e+00 | Inf 1055.62/1055.61 c 1009s|440000 | 422 | 3720k| 8.5 | 31M| 75 | 11 |1929 | 28k|1929 |1712 | 27k| 621k|8296 | 0.000000e+00 | 2.000000e+00 | Inf 1081.52/1081.54 c 1034s|450000 | 529 | 3807k| 8.5 | 33M| 75 | 19 |1929 | 29k|1929 |1712 | 28k| 636k|8358 | 0.000000e+00 | 2.000000e+00 | Inf 1107.03/1107.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1107.03/1107.07 c 1058s|460000 | 486 | 3891k| 8.5 | 32M| 75 | - |1929 | 29k| 0 | 0 | 28k| 650k|8431 | 0.000000e+00 | 2.000000e+00 | Inf 1132.72/1132.77 c 1083s|470000 | 528 | 3975k| 8.5 | 33M| 75 | - |1929 | 31k|1929 |1712 | 28k| 664k|8526 | 0.000000e+00 | 2.000000e+00 | Inf 1160.22/1160.23 c 1109s|480000 | 533 | 4067k| 8.5 | 34M| 75 | 17 |1929 | 32k|1929 |1712 | 29k| 678k|8625 | 0.000000e+00 | 2.000000e+00 | Inf 1186.53/1186.50 c 1134s|490000 | 600 | 4158k| 8.5 | 36M| 75 | 1 |1929 | 35k|1929 |1712 | 30k| 692k|8735 | 0.000000e+00 | 2.000000e+00 | Inf 1213.33/1213.35 c 1160s|500000 | 622 | 4251k| 8.5 | 36M| 75 | 1 |1929 | 37k|1929 |1712 | 30k| 706k|8806 | 0.000000e+00 | 2.000000e+00 | Inf 1240.53/1240.57 c 1186s|510000 | 597 | 4346k| 8.5 | 37M| 75 | 17 |1929 | 38k|1929 |1712 | 31k| 720k|8875 | 0.000000e+00 | 2.000000e+00 | Inf 1268.03/1268.01 c 1213s|520000 | 548 | 4430k| 8.5 | 35M| 75 | - |1929 | 34k| 0 | 0 | 31k| 733k|9004 | 0.000000e+00 | 2.000000e+00 | Inf 1293.63/1293.67 c 1237s|530000 | 611 | 4508k| 8.5 | 35M| 75 | - |1929 | 32k| 0 | 0 | 32k| 746k|9082 | 0.000000e+00 | 2.000000e+00 | Inf 1321.53/1321.56 c 1264s|540000 | 748 | 4602k| 8.5 | 36M| 75 | 47 |1929 | 32k|1929 |1712 | 32k| 759k|9166 | 0.000000e+00 | 2.000000e+00 | Inf 1349.54/1349.58 c 1291s|550000 | 930 | 4693k| 8.5 | 37M| 75 | - |1929 | 33k|1929 |1712 | 32k| 773k|9261 | 0.000000e+00 | 2.000000e+00 | Inf 1376.13/1376.11 c 1317s|560000 | 926 | 4778k| 8.5 | 38M| 79 | 23 |1929 | 33k|1929 |1712 | 32k| 788k|9334 | 0.000000e+00 | 2.000000e+00 | Inf 1403.23/1403.28 c 1343s|570000 | 887 | 4866k| 8.5 | 38M| 79 | 21 |1929 | 33k|1929 |1712 | 32k| 803k|9379 | 0.000000e+00 | 2.000000e+00 | Inf 1428.53/1428.58 c 1367s|580000 | 847 | 4943k| 8.5 | 38M| 79 | - |1929 | 34k|1929 |1718 | 32k| 816k|9458 | 0.000000e+00 | 2.000000e+00 | Inf 1457.14/1457.12 c 1395s|590000 | 752 | 5032k| 8.5 | 37M| 79 | - |1929 | 33k| 0 | 0 | 33k| 830k|9568 | 0.000000e+00 | 2.000000e+00 | Inf 1483.44/1483.43 c 1420s|600000 | 767 | 5115k| 8.5 | 39M| 79 | 23 |1929 | 38k|1929 |1712 | 33k| 844k|9597 | 0.000000e+00 | 2.000000e+00 | Inf 1511.84/1511.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1511.84/1511.89 c 1447s|610000 | 711 | 5198k| 8.5 | 38M| 79 | 21 |1929 | 36k|1929 |1712 | 33k| 858k|9665 | 0.000000e+00 | 2.000000e+00 | Inf 1542.74/1542.78 c 1477s|620000 | 643 | 5296k| 8.5 | 38M| 79 | 27 |1929 | 36k|1929 |1712 | 33k| 871k|9751 | 0.000000e+00 | 2.000000e+00 | Inf 1572.44/1572.44 c 1506s|630000 | 629 | 5388k| 8.6 | 38M| 79 | 21 |1929 | 38k|1929 |1712 | 34k| 884k|9832 | 0.000000e+00 | 2.000000e+00 | Inf 1601.74/1601.78 c 1534s|640000 | 656 | 5481k| 8.6 | 39M| 79 | 19 |1929 | 40k|1929 |1712 | 34k| 898k|9884 | 0.000000e+00 | 2.000000e+00 | Inf 1628.34/1628.36 c 1560s|650000 | 734 | 5568k| 8.6 | 41M| 79 | - |1929 | 44k| 0 | 0 | 35k| 912k|9942 | 0.000000e+00 | 2.000000e+00 | Inf 1658.35/1658.34 c 1589s|660000 | 840 | 5667k| 8.6 | 42M| 79 | 14 |1929 | 45k|1929 |1712 | 35k| 926k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1685.94/1685.91 c 1615s|670000 | 845 | 5754k| 8.6 | 42M| 79 | - |1929 | 45k| 0 | 0 | 36k| 940k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1710.94/1710.90 c 1639s|680000 | 846 | 5834k| 8.6 | 43M| 79 | - |1929 | 46k| 0 | 0 | 36k| 956k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1740.75/1740.71 c 1668s|690000 | 898 | 5924k| 8.6 | 45M| 79 | 21 |1929 | 49k|1929 |1712 | 37k| 970k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1769.75/1769.72 c 1696s|700000 | 1053 | 6014k| 8.6 | 47M| 79 | - |1929 | 51k|1929 |1712 | 37k| 985k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1798.34/1798.31 c 1724s|710000 | 956 | 6100k| 8.6 | 46M| 79 | - |1929 | 51k| 0 | 0 | 37k|1001k| 10k| 0.000000e+00 | 2.000000e+00 | Inf 1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.00 c 1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.00 c Solving Time (sec) : 1725.41 1800.05/1800.00 c Solving Nodes : 710576 1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (134 solutions) 1800.05/1800.00 c Dual Bound : +0.00000000000000e+00 1800.05/1800.00 c Gap : infinite 1800.05/1800.01 s SATISFIABLE 1800.05/1800.01 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 1800.05/1800.01 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 1800.05/1800.01 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 1800.05/1800.01 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.05/1800.01 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 1800.05/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 1800.05/1800.01 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 1800.05/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 1800.05/1800.01 v -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 1800.05/1800.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1800.05/1800.01 v -x1 1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.01 c Solving Time : 1725.41 1800.05/1800.01 c Original Problem : 1800.05/1800.01 c Problem name : HOME/instance-2692745-1277900344.wbo 1800.05/1800.01 c Variables : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous) 1800.05/1800.01 c Constraints : 3638 initial, 3638 maximal 1800.05/1800.01 c Presolved Problem : 1800.05/1800.01 c Problem name : t_HOME/instance-2692745-1277900344.wbo 1800.05/1800.01 c Variables : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous) 1800.05/1800.01 c Constraints : 3365 initial, 52527 maximal 1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.01 c trivial : 0.00 81 0 0 0 0 0 0 0 1800.05/1800.01 c dualfix : 0.00 81 0 0 0 0 0 0 0 1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0 1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 81 0 0 1800.05/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.01 c linear : 0.05 0 0 0 954 0 192 139 0 1800.05/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.05/1800.01 c root node : - 843 - - 1686 - - - - 1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.01 c integral : 0 0 0 398815 0 131 2325 0 0 775398 1800.05/1800.01 c indicator : 849 0 3255282 9028 0 127 206439 0 0 0 1800.05/1800.01 c knapsack : 1 6 3288157 7762 0 61204 7633755 3 0 0 1800.05/1800.01 c setppc : 14 6 3232960 7778 0 45923 2279245 0 0 0 1800.05/1800.01 c linear : 849 6 3188561 8522 0 71565 4445882 38025 0 0 1800.05/1800.01 c logicor : 1652+ 6 1679296 1663 0 125768 6266750 0 0 0 1800.05/1800.01 c countsols : 0 0 0 1663 0 0 0 0 0 0 1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.01 c integral : 42.26 0.00 0.00 42.26 0.00 1800.05/1800.01 c indicator : 0.65 0.00 0.53 0.12 0.00 1800.05/1800.01 c knapsack : 38.54 0.00 38.54 0.00 0.00 1800.05/1800.01 c setppc : 13.56 0.00 13.55 0.01 0.00 1800.05/1800.01 c linear : 47.02 0.00 46.87 0.15 0.00 1800.05/1800.01 c logicor : 271.79 0.00 271.79 0.00 0.00 1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.01 c vbounds : 0.00 2 0 0 1800.05/1800.01 c rootredcost : 0.02 22 0 843 1800.05/1800.01 c pseudoobj : 50.55 3297206 788 148630 1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.01 c propagation : 13.96 305248 304836 2005002 30.7 11070 24.2 - 1800.05/1800.01 c infeasible LP : 15.77 78955 78955 663536 44.9 480 22.1 0 1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.01 c pseudo solution : 0.01 31 31 230 18.1 8 8.2 - 1800.05/1800.01 c applied globally : - - - 1002030 27.4 - - - 1800.05/1800.01 c applied locally : - - - 0 0.0 - - - 1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.01 c cut pool : 0.00 5 - - 1 - (maximal pool size: 148) 1800.05/1800.01 c redcost : 9.95 400478 0 38896 0 0 1800.05/1800.01 c impliedbounds : 0.00 6 0 0 0 0 1800.05/1800.01 c intobj : 0.00 0 0 0 0 0 1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.01 c gomory : 0.20 6 0 0 1054 0 1800.05/1800.01 c strongcg : 0.15 6 0 0 580 0 1800.05/1800.01 c cmir : 0.04 6 0 0 2 0 1800.05/1800.01 c flowcover : 0.06 6 0 0 1 0 1800.05/1800.01 c clique : 0.00 6 0 0 0 0 1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.01 c mcf : 0.00 1 0 0 0 0 1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0 1800.05/1800.01 c Pricers : Time Calls Vars 1800.05/1800.01 c problem variables: 0.00 0 0 1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.01 c relpscost : 42.16 389649 131 2325 0 0 775398 1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.01 c inference : 0.16 1643 0 0 0 0 3286 1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.01 c random : 0.00 0 0 0 0 0 0 1800.05/1800.01 c Primal Heuristics : Time Calls Found 1800.05/1800.01 c LP solutions : 0.00 - 20 1800.05/1800.01 c pseudo solutions : 0.00 - 0 1800.05/1800.01 c oneopt : 0.13 20 0 1800.05/1800.01 c feaspump : 0.03 1 0 1800.05/1800.01 c intshifting : 0.01 11 0 1800.05/1800.01 c crossover : 0.18 7 0 1800.05/1800.01 c guideddiving : 0.22 119 0 1800.05/1800.01 c pscostdiving : 0.24 119 0 1800.05/1800.01 c fracdiving : 0.22 119 0 1800.05/1800.01 c veclendiving : 0.17 119 0 1800.05/1800.01 c linesearchdiving : 0.10 119 1 1800.05/1800.01 c coefdiving : 0.20 119 0 1800.05/1800.01 c rootsoldiving : 0.51 83 0 1800.05/1800.01 c objpscostdiving : 0.25 84 0 1800.05/1800.01 c trivial : 0.00 2 0 1800.05/1800.01 c simplerounding : 0.37 389769 0 1800.05/1800.01 c zirounding : 0.18 1000 0 1800.05/1800.01 c rounding : 0.83 8761 0 1800.05/1800.01 c shifting : 0.90 2752 0 1800.05/1800.01 c twoopt : 0.00 0 0 1800.05/1800.01 c fixandinfer : 0.00 0 0 1800.05/1800.01 c intdiving : 0.00 0 0 1800.05/1800.01 c actconsdiving : 0.00 0 0 1800.05/1800.01 c octane : 0.00 0 0 1800.05/1800.01 c rens : 0.02 1 0 1800.05/1800.01 c rins : 0.00 0 0 1800.05/1800.01 c localbranching : 0.00 0 0 1800.05/1800.01 c mutation : 0.00 0 0 1800.05/1800.01 c dins : 0.00 0 0 1800.05/1800.01 c undercover : 0.00 0 0 1800.05/1800.01 c nlp : 0.00 0 0 1800.05/1800.01 c trysol : 0.21 1423 113 1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.01 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.01 c dual LP : 822.59 474827 6099062 12.84 7414.46 1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.01 c diving/probing LP: 1.08 802 6485 8.09 6004.63 1800.05/1800.01 c strong branching : 38.07 10353 266869 25.78 7009.96 1800.05/1800.01 c (at root node) : - 33 5832 176.73 - 1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.01 c B&B Tree : 1800.05/1800.01 c number of runs : 1 1800.05/1800.01 c nodes : 710576 1800.05/1800.01 c nodes (total) : 710576 1800.05/1800.01 c nodes left : 942 1800.05/1800.01 c max depth : 79 1800.05/1800.01 c max depth (total): 79 1800.05/1800.01 c backtracks : 99921 (14.1%) 1800.05/1800.01 c delayed cutoffs : 64932 1800.05/1800.01 c repropagations : 1242726 (4348266 domain reductions, 62675 cutoffs) 1800.05/1800.01 c avg switch length: 4.95 1800.05/1800.01 c switching time : 224.00 1800.05/1800.01 c Solution : 1800.05/1800.01 c Solutions found : 134 (22 improvements) 1800.05/1800.01 c First Solution : +4.26820000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>) 1800.05/1800.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 173749 nodes, 384.25 seconds, depth 51, found by <relaxation>) 1800.05/1800.01 c Dual Bound : +0.00000000000000e+00 1800.05/1800.01 c Gap : infinite 1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.01 c Root Iterations : 636 1800.05/1800.08 c Time complete: 1800.14.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692745-1277900344/watcher-2692745-1277900344 -o /tmp/evaluation-result-2692745-1277900344/solver-2692745-1277900344 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692745-1277900344.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/196 10245 /proc/meminfo: memFree=30205588/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=9288 CPUtime=0 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 1646 0 0 0 0 0 0 0 22 0 1 0 131331800 9510912 1565 4089446400 4194304 8223781 140735514539088 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/10245/statm: 2322 1565 369 984 0 1335 0 [startup+0.105191 s] /proc/loadavg: 2.00 2.00 2.00 3/196 10245 /proc/meminfo: memFree=30205588/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=22768 CPUtime=0.09 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 7425 0 0 0 8 1 0 0 23 0 1 0 131331800 23314432 4667 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/10245/statm: 5692 4667 452 984 0 4705 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22768 [startup+0.201176 s] /proc/loadavg: 2.00 2.00 2.00 3/196 10245 /proc/meminfo: memFree=30205588/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=27544 CPUtime=0.19 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 11400 0 0 0 16 3 0 0 23 0 1 0 131331800 28205056 5987 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/10245/statm: 6886 5987 553 984 0 5899 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27544 [startup+0.301171 s] /proc/loadavg: 2.00 2.00 2.00 3/196 10245 /proc/meminfo: memFree=30205588/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=30368 CPUtime=0.29 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 12208 0 0 0 26 3 0 0 23 0 1 0 131331800 31096832 6729 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/10245/statm: 7592 6729 583 984 0 6605 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30368 [startup+0.70108 s] /proc/loadavg: 2.00 2.00 2.00 3/196 10245 /proc/meminfo: memFree=30205588/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=32116 CPUtime=0.69 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 12668 0 0 0 64 5 0 0 25 0 1 0 131331800 32886784 7135 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/10245/statm: 8029 7135 584 984 0 7042 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32116 [startup+1.50093 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10246 /proc/meminfo: memFree=30178176/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=32248 CPUtime=1.49 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 22003 0 0 0 140 9 0 0 25 0 1 0 131331800 33021952 7189 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/10245/statm: 8062 7189 600 984 0 7075 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32248 [startup+3.10064 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10246 /proc/meminfo: memFree=30177720/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=32248 CPUtime=3.09 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 23363 0 0 0 296 13 0 0 25 0 1 0 131331800 33021952 7189 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/10245/statm: 8062 7189 600 984 0 7075 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32248 [startup+6.30105 s] /proc/loadavg: 2.08 2.02 2.01 3/197 10246 /proc/meminfo: memFree=30177472/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=33192 CPUtime=6.29 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 29775 0 0 0 605 24 0 0 25 0 1 0 131331800 33988608 7366 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/10245/statm: 8298 7366 603 984 0 7311 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33192 [startup+12.7009 s] /proc/loadavg: 2.07 2.02 2.00 3/197 10246 /proc/meminfo: memFree=30170900/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=40792 CPUtime=12.69 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 72714 0 0 0 1218 51 0 0 25 0 1 0 131331800 41771008 9264 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 10198 9264 606 984 0 9211 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40792 [startup+25.5005 s] /proc/loadavg: 2.06 2.01 2.00 3/197 10247 /proc/meminfo: memFree=30164304/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=47704 CPUtime=25.48 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 119864 0 0 0 2433 115 0 0 25 0 1 0 131331800 48848896 10972 4089446400 4194304 8223781 140735514539088 18446744073709551615 4661262 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 11926 10972 606 984 0 10939 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47704 [startup+51.1008 s] /proc/loadavg: 2.04 2.01 2.00 3/197 10247 /proc/meminfo: memFree=30155624/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=52328 CPUtime=51.09 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 171948 0 0 0 4861 248 0 0 25 0 1 0 131331800 53583872 12137 4089446400 4194304 8223781 140735514539088 18446744073709551615 6450711 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 13082 12137 606 984 0 12095 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 52328 [startup+102.3 s] /proc/loadavg: 2.06 2.02 2.00 3/197 10249 /proc/meminfo: memFree=30148504/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=56888 CPUtime=102.3 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 240354 0 0 0 9724 506 0 0 25 0 1 0 131331800 58253312 13294 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 14222 13294 606 984 0 13235 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 56888 [startup+162.3 s] /proc/loadavg: 2.02 2.02 2.00 3/197 10250 /proc/meminfo: memFree=30133688/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=60992 CPUtime=162.29 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 311757 0 0 0 15441 788 0 0 25 0 1 0 131331800 62455808 14297 4089446400 4194304 8223781 140735514539088 18446744073709551615 6436202 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 15248 14297 606 984 0 14261 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 60992 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.00 3/197 10252 /proc/meminfo: memFree=30110828/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=65340 CPUtime=222.3 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 391572 0 0 0 21173 1057 0 0 25 0 1 0 131331800 66908160 15353 4089446400 4194304 8223781 140735514539088 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 16335 15353 606 984 0 15348 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 65340 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 10253 /proc/meminfo: memFree=30094416/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=67956 CPUtime=282.3 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 485529 0 0 0 26904 1326 0 0 25 0 1 0 131331800 69586944 15967 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 16989 15967 606 984 0 16002 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 67956 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10255 /proc/meminfo: memFree=30072912/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=69956 CPUtime=342.3 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 585246 0 0 0 32644 1586 0 0 25 0 1 0 131331800 71634944 16467 4089446400 4194304 8223781 140735514539088 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 17489 16467 606 984 0 16502 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 69956 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10257 /proc/meminfo: memFree=30067016/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=72684 CPUtime=402.3 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 702014 0 0 0 38373 1857 0 0 25 0 1 0 131331800 74428416 17125 4089446400 4194304 8223781 140735514539088 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 18171 17125 606 984 0 17184 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 72684 [startup+462.301 s] /proc/loadavg: 2.04 2.01 2.00 3/197 10258 /proc/meminfo: memFree=30057144/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=75696 CPUtime=462.3 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 796578 0 0 0 44109 2121 0 0 25 0 1 0 131331800 77512704 17823 4089446400 4194304 8223781 140735514539088 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 18924 17823 606 984 0 17937 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 75696 [startup+522.301 s] /proc/loadavg: 2.01 2.01 2.00 3/197 10260 /proc/meminfo: memFree=30048184/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=76504 CPUtime=522.31 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 894565 0 0 0 49824 2407 0 0 25 0 1 0 131331800 78340096 17983 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 19126 17983 606 984 0 18139 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 76504 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10261 /proc/meminfo: memFree=30034864/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=76712 CPUtime=582.31 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 1026656 0 0 0 55543 2688 0 0 25 0 1 0 131331800 78553088 18047 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 19178 18047 606 984 0 18191 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 76712 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10263 /proc/meminfo: memFree=30030612/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=77284 CPUtime=642.31 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 1177960 0 0 0 61262 2969 0 0 25 0 1 0 131331800 79138816 18187 4089446400 4194304 8223781 140735514539088 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 19257 18168 606 984 0 18270 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 77284 [startup+702.3 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.70 2.21 2.07 4/200 10327 /proc/meminfo: memFree=30453132/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=81856 CPUtime=882.32 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 1410692 0 0 0 84224 4008 0 0 25 0 1 0 131331800 83820544 19151 4089446400 4194304 8223781 140735514539088 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 20464 19151 606 984 0 19477 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 81856 [startup+942.301 s] /proc/loadavg: 2.89 2.35 2.12 4/200 10329 /proc/meminfo: memFree=30437948/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=81796 CPUtime=942.32 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 1472123 0 0 0 89980 4252 0 0 25 0 1 0 131331800 83759104 19143 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 20449 19143 606 984 0 19462 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 81796 [startup+1002.3 s] /proc/loadavg: 2.89 2.45 2.17 4/200 10331 /proc/meminfo: memFree=30420152/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=81796 CPUtime=1002.32 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 1535392 0 0 0 95737 4495 0 0 25 0 1 0 131331800 83759104 19157 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 20449 19157 606 984 0 19462 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 81796 [startup+1062.3 s] /proc/loadavg: 2.91 2.53 2.22 4/200 10332 /proc/meminfo: memFree=30403836/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=82660 CPUtime=1062.32 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 1607133 0 0 0 101520 4712 0 0 25 0 1 0 131331800 84643840 19285 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 20665 19285 606 984 0 19678 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 82660 [startup+1122.3 s] /proc/loadavg: 2.87 2.58 2.25 4/200 10334 /proc/meminfo: memFree=30397056/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=82540 CPUtime=1122.33 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 1731862 0 0 0 107264 4969 0 0 25 0 1 0 131331800 84520960 19273 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 20635 19273 606 984 0 19648 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 82540 [startup+1182.3 s] /proc/loadavg: 2.81 2.61 2.28 3/200 10335 /proc/meminfo: memFree=30379020/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=83164 CPUtime=1182.33 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 1836657 0 0 0 113025 5208 0 0 25 0 1 0 131331800 85159936 19431 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 20791 19431 606 984 0 19804 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 83164 [startup+1242.3 s] /proc/loadavg: 2.83 2.66 2.32 3/200 10337 /proc/meminfo: memFree=30361736/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=85508 CPUtime=1242.32 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 1906220 0 0 0 118808 5424 0 0 25 0 1 0 131331800 87560192 19968 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 21377 19968 606 984 0 20390 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 85508 [startup+1302.3 s] /proc/loadavg: 2.57 2.63 2.33 3/200 10339 /proc/meminfo: memFree=30343576/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=86664 CPUtime=1302.33 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 2022935 0 0 0 124567 5666 0 0 25 0 1 0 131331800 88743936 20196 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 21666 20196 606 984 0 20679 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 86664 [startup+1362.3 s] /proc/loadavg: 2.79 2.68 2.36 4/200 10340 /proc/meminfo: memFree=30336076/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=87248 CPUtime=1362.33 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 2126618 0 0 0 130336 5897 0 0 25 0 1 0 131331800 89341952 20349 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 21812 20349 606 984 0 20825 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 87248 [startup+1422.3 s] /proc/loadavg: 2.80 2.70 2.39 3/200 10342 /proc/meminfo: memFree=30325416/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=87568 CPUtime=1422.34 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 2252686 0 0 0 136105 6129 0 0 25 0 1 0 131331800 89669632 20435 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 21892 20435 606 984 0 20905 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 87568 [startup+1482.3 s] /proc/loadavg: 2.90 2.78 2.43 4/200 10343 /proc/meminfo: memFree=30317040/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=87736 CPUtime=1482.34 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 2379498 0 0 0 141886 6348 0 0 25 0 1 0 131331800 89841664 20479 4089446400 4194304 8223781 140735514539088 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 21934 20479 606 984 0 20947 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 87736 [startup+1542.31 s] /proc/loadavg: 2.67 2.75 2.44 4/200 10345 /proc/meminfo: memFree=30308912/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=87784 CPUtime=1542.35 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 2501651 0 0 0 147687 6548 0 0 25 0 1 0 131331800 89890816 20490 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 21946 20490 606 984 0 20959 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 87784 [startup+1602.3 s] /proc/loadavg: 2.60 2.70 2.45 3/200 10347 /proc/meminfo: memFree=30299916/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=87972 CPUtime=1602.34 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 2602142 0 0 0 153478 6756 0 0 25 0 1 0 131331800 90083328 20601 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 21993 20601 606 984 0 21006 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 87972 [startup+1662.3 s] /proc/loadavg: 2.85 2.75 2.48 4/200 10348 /proc/meminfo: memFree=30289188/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=89516 CPUtime=1662.34 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 2659328 0 0 0 159267 6967 0 0 25 0 1 0 131331800 91664384 20980 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 22379 20980 606 984 0 21392 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 89516 [startup+1722.3 s] /proc/loadavg: 2.78 2.75 2.49 4/200 10350 /proc/meminfo: memFree=30280932/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=89696 CPUtime=1722.35 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 2740947 0 0 0 165042 7193 0 0 25 0 1 0 131331800 91848704 21038 4089446400 4194304 8223781 140735514539088 18446744073709551615 5957126 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 22424 21038 606 984 0 21437 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 89696 [startup+1782.3 s] /proc/loadavg: 2.84 2.76 2.51 4/200 10351 /proc/meminfo: memFree=30269460/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=92176 CPUtime=1782.35 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 2815247 0 0 0 170837 7398 0 0 25 0 1 0 131331800 94388224 21547 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 23044 21547 606 984 0 22057 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 92176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.81 2.76 2.51 3/200 10352 /proc/meminfo: memFree=30266836/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=92176 CPUtime=1800.05 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 2825996 0 0 0 172543 7462 0 0 25 0 1 0 131331800 94388224 21549 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 23044 21549 606 984 0 22057 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 92176 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.81 2.76 2.51 3/200 10352 /proc/meminfo: memFree=30266836/32951124 swapFree=67111528/67111528 [pid=10245] ppid=10243 vsize=92176 CPUtime=1800.05 /proc/10245/stat : 10245 (pbscip.linux.x8) R 10243 10245 9834 0 -1 4202496 2825996 0 0 0 172543 7462 0 0 25 0 1 0 131331800 94388224 21549 4089446400 4194304 8223781 140735514539088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10245/statm: 23044 21549 606 984 0 22057 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 92176 Child status: 0 Real time (s): 1800.09 CPU time (s): 1800.15 CPU user time (s): 1725.51 CPU system time (s): 74.6327 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 92336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1725.51 system time used= 74.6327 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2826056 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 978 runsolver used 3.19651 second user time and 6.01609 second system time The end
Begin job on node105 at 2010-06-30 14:19:04 IDJOB=2692745 IDBENCH=78881 IDSOLVER=1204 FILE ID=node105/2692745-1277900344 PBS_JOBID= 11197200 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.1900546417--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692745-1277900344/watcher-2692745-1277900344 -o /tmp/evaluation-result-2692745-1277900344/solver-2692745-1277900344 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692745-1277900344.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 23ad99b063b4d7278daca47962cd4526 RANDOM SEED=907446434 node105.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.840 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.68 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.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 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.82 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.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 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.94 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.840 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.70 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.840 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.840 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30206488 kB Buffers: 184300 kB Cached: 1815336 kB SwapCached: 0 kB Active: 1074000 kB Inactive: 1525708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30206488 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4716 kB Writeback: 0 kB AnonPages: 600792 kB Mapped: 20324 kB Slab: 79788 kB PageTables: 5932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657004 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 node105 at 2010-06-30 14:49:06