Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1800.15 | 1800.1 |
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: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2693385-1277900349.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.02/0.04 c presolving: 0.02/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.02/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.02/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.02/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.09/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.11 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 | 22 | - |8814k| 0 | 16 |1929 |3365 |1929 |1667 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.21 c 0.1s| 1 | 0 | 45 | - |8847k| 0 | 19 |1929 |3365 |1929 |1684 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.21 o 42682 0.19/0.21 c y 0.2s| 1 | 0 | 45 | - |8901k| 0 | 19 |1929 |3365 |1929 |1684 | 17 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 0.19/0.25 c 0.2s| 1 | 0 | 60 | - |9002k| 0 | 29 |1929 |3365 |1929 |1691 | 24 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 0.29/0.30 c 0.2s| 1 | 0 | 97 | - |9191k| 0 | 31 |1929 |3365 |1929 |1698 | 31 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 0.29/0.35 c 0.3s| 1 | 0 | 147 | - |9256k| 0 | 33 |1929 |3365 |1929 |1706 | 39 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 0.39/0.42 c 0.4s| 1 | 0 | 223 | - |9263k| 0 | 50 |1929 |3365 |1929 |1712 | 45 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 0.49/0.51 c 0.4s| 1 | 0 | 321 | - |9421k| 0 | 64 |1929 |3365 |1929 |1717 | 50 | 0 | 0 | 0.000000e+00 | 4.268200e+04 | Inf 2.99/3.01 c 2.9s| 1 | 2 | 321 | - |9485k| 0 | 64 |1929 |3365 |1929 |1717 | 50 | 0 | 33 | 0.000000e+00 | 4.268200e+04 | Inf 8.80/8.84 o 952 8.80/8.84 c * 8.6s| 111 | 108 | 1514 | 10.8 | 10M| 29 | - |1929 |3367 |1929 |1703 | 106 | 2 | 451 | 0.000000e+00 | 9.520000e+02 | Inf 8.99/9.01 o 697 8.99/9.01 c * 8.7s| 134 | 125 | 1655 | 10.0 | 10M| 29 | - |1929 |3367 |1929 |1709 | 113 | 2 | 502 | 0.000000e+00 | 6.970000e+02 | Inf 9.59/9.66 o 693 9.59/9.66 c * 9.3s| 202 | 187 | 2369 | 10.2 | 11M| 30 | - |1929 |3374 |1929 |1718 | 154 | 9 | 644 | 0.000000e+00 | 6.930000e+02 | Inf 10.69/10.76 o 691 10.69/10.76 c *10.4s| 494 | 396 | 3836 | 7.1 | 12M| 55 | - |1929 |3480 |1929 |1712 | 259 | 115 | 836 | 0.000000e+00 | 6.910000e+02 | Inf 10.69/10.77 o 638 10.69/10.77 c *10.4s| 495 | 376 | 3836 | 7.1 | 12M| 55 | - |1929 |3480 |1929 |1712 | 259 | 115 | 836 | 0.000000e+00 | 6.380000e+02 | Inf 10.90/10.99 o 577 10.90/10.99 c *10.6s| 570 | 406 | 4351 | 7.1 | 12M| 55 | - |1929 |3520 |1929 |1703 | 293 | 156 | 868 | 0.000000e+00 | 5.770000e+02 | Inf 11.19/11.23 o 462 11.19/11.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 11.19/11.23 c *10.8s| 654 | 329 | 4785 | 6.8 | 13M| 55 | - |1929 |3581 |1929 |1712 | 320 | 217 | 905 | 0.000000e+00 | 4.620000e+02 | Inf 11.19/11.23 o 425 11.19/11.23 c *10.8s| 655 | 294 | 4785 | 6.8 | 13M| 55 | - |1929 |3581 |1929 |1712 | 320 | 217 | 905 | 0.000000e+00 | 4.250000e+02 | Inf 11.39/11.40 o 417 11.39/11.40 c *11.0s| 712 | 290 | 5122 | 6.8 | 13M| 55 | - |1929 |3645 |1929 |1716 | 342 | 281 | 924 | 0.000000e+00 | 4.170000e+02 | Inf 11.59/11.61 o 380 11.59/11.61 c *11.2s| 788 | 306 | 5600 | 6.7 | 13M| 55 | - |1929 |3710 |1929 |1705 | 373 | 346 | 952 | 0.000000e+00 | 3.800000e+02 | Inf 12.00/12.04 o 361 12.00/12.04 c *11.6s| 933 | 346 | 6491 | 6.6 | 13M| 55 | - |1929 |3828 |1929 |1716 | 431 | 481 |1031 | 0.000000e+00 | 3.610000e+02 | Inf 13.20/13.23 o 108 13.20/13.23 c *12.7s| 1372 | 247 | 9410 | 6.6 | 13M| 55 | - |1929 |4093 |1929 |1721 | 503 | 828 |1179 | 0.000000e+00 | 1.080000e+02 | Inf 13.20/13.27 o 104 13.20/13.27 c *12.7s| 1388 | 237 | 9472 | 6.6 | 14M| 55 | - |1929 |4118 |1929 |1723 | 504 | 858 |1183 | 0.000000e+00 | 1.040000e+02 | Inf 14.20/14.27 o 96 14.20/14.27 c *13.7s| 1637 | 255 | 14249 | 8.5 | 14M| 55 | - |1929 |4316 |1929 |1726 | 576 |1183 |1255 | 0.000000e+00 | 9.600000e+01 | Inf 18.29/18.38 o 93 18.29/18.38 c *17.5s| 3264 | 377 | 33259 | 10.1 | 16M| 55 | - |1929 |4638 |1929 |1706 | 840 |2918 |1381 | 0.000000e+00 | 9.300000e+01 | Inf 26.49/26.52 o 53 26.49/26.52 c *25.2s| 6635 | 476 | 73499 | 11.0 | 17M| 55 | - |1929 |5029 |1929 |1722 |1427 |6706 |1500 | 0.000000e+00 | 5.300000e+01 | Inf 27.88/27.92 o 33 27.88/27.92 c *26.5s| 7257 | 468 | 81470 | 11.2 | 17M| 55 | - |1929 |4789 |1929 |1705 |1501 |7463 |1502 | 0.000000e+00 | 3.300000e+01 | Inf 30.39/30.47 o 29 30.39/30.47 c *28.9s| 8241 | 421 | 96542 | 11.7 | 17M| 55 | - |1929 |5081 |1929 |1705 |1650 |8805 |1570 | 0.000000e+00 | 2.900000e+01 | Inf 30.49/30.52 o 16 30.49/30.52 c *28.9s| 8271 | 412 | 96674 | 11.7 | 16M| 55 | - |1929 |5035 |1929 |1705 |1650 |8838 |1570 | 0.000000e+00 | 1.600000e+01 | Inf 34.19/34.23 c 32.4s| 10000 | 473 |117598 | 11.7 | 17M| 55 | - |1929 |5949 | 0 | 0 |1945 | 11k|1636 | 0.000000e+00 | 1.600000e+01 | Inf 52.40/52.40 o 7 52.40/52.40 c *49.6s| 19085 | 482 |224196 | 11.7 | 19M| 55 | - |1929 | 10k|1929 |1703 |2929 | 23k|1784 | 0.000000e+00 | 7.000000e+00 | Inf 54.09/54.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 54.09/54.13 c 51.2s| 20000 | 469 |233768 | 11.7 | 19M| 55 | 16 |1929 |8590 |1929 |1708 |3031 | 24k|1789 | 0.000000e+00 | 7.000000e+00 | Inf 74.99/75.09 c 70.9s| 30000 | 410 |368931 | 12.3 | 19M| 55 | 19 |1929 |7422 |1929 |1703 |4105 | 37k|1802 | 0.000000e+00 | 7.000000e+00 | Inf 85.99/86.08 o 3 85.99/86.08 c *81.2s| 35426 | 293 |435447 | 12.3 | 19M| 55 | - |1929 |9920 |1929 |1703 |4676 | 44k|1892 | 0.000000e+00 | 3.000000e+00 | Inf 95.89/95.93 c 90.5s| 40000 | 343 |492057 | 12.3 | 20M| 55 | - |1929 | 12k| 0 | 0 |5709 | 51k|2055 | 0.000000e+00 | 3.000000e+00 | Inf 117.39/117.46 c 111s| 50000 | 423 |609786 | 12.2 | 24M| 55 | 1 |1929 | 18k|1929 |1709 |7838 | 65k|2316 | 0.000000e+00 | 3.000000e+00 | Inf 140.09/140.12 c 132s| 60000 | 386 |727507 | 12.1 | 23M| 55 | 23 |1929 | 17k|1929 |1703 | 10k| 80k|2625 | 0.000000e+00 | 3.000000e+00 | Inf 162.39/162.47 c 153s| 70000 | 444 |848301 | 12.1 | 25M| 55 | - |1929 | 21k|1929 |1707 | 12k| 94k|2910 | 0.000000e+00 | 3.000000e+00 | Inf 185.49/185.52 c 175s| 80000 | 454 |967853 | 12.1 | 26M| 55 | 25 |1929 | 21k|1929 |1703 | 15k| 108k|3202 | 0.000000e+00 | 3.000000e+00 | Inf 209.39/209.43 c 198s| 90000 | 482 | 1093k| 12.1 | 27M| 55 | - |1929 | 22k| 0 | 0 | 17k| 123k|3438 | 0.000000e+00 | 3.000000e+00 | Inf 233.49/233.58 c 221s|100000 | 546 | 1224k| 12.2 | 28M| 55 | - |1929 | 23k| 0 | 0 | 19k| 137k|3706 | 0.000000e+00 | 3.000000e+00 | Inf 256.89/256.90 c 243s|110000 | 499 | 1350k| 12.3 | 29M| 55 | - |1929 | 26k| 0 | 0 | 21k| 151k|3929 | 0.000000e+00 | 3.000000e+00 | Inf 280.89/280.94 c 266s|120000 | 552 | 1469k| 12.2 | 29M| 55 | 24 |1929 | 25k|1929 |1703 | 23k| 165k|4083 | 0.000000e+00 | 3.000000e+00 | Inf 305.19/305.29 c 289s|130000 | 611 | 1584k| 12.2 | 31M| 56 | - |1929 | 28k|1929 |1703 | 25k| 179k|4276 | 0.000000e+00 | 3.000000e+00 | Inf 330.30/330.33 c 312s|140000 | 430 | 1703k| 12.2 | 28M| 56 | 16 |1929 | 24k|1929 |1703 | 27k| 193k|4442 | 0.000000e+00 | 3.000000e+00 | Inf 353.00/353.06 c 334s|150000 | 622 | 1810k| 12.1 | 31M| 56 | - |1929 | 28k|1929 |1703 | 29k| 208k|4571 | 0.000000e+00 | 3.000000e+00 | Inf 377.30/377.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 377.30/377.33 c 357s|160000 | 466 | 1925k| 12.0 | 30M| 56 | 1 |1929 | 27k|1929 |1703 | 31k| 223k|4750 | 0.000000e+00 | 3.000000e+00 | Inf 403.09/403.16 c 382s|170000 | 540 | 2048k| 12.0 | 32M| 60 | - |1929 | 29k|1929 |1703 | 33k| 238k|4942 | 0.000000e+00 | 3.000000e+00 | Inf 429.10/429.16 c 406s|180000 | 547 | 2174k| 12.1 | 33M| 60 | - |1929 | 31k| 0 | 0 | 35k| 252k|5058 | 0.000000e+00 | 3.000000e+00 | Inf 456.60/456.62 c 432s|190000 | 547 | 2316k| 12.2 | 34M| 60 | 17 |1929 | 33k|1929 |1709 | 37k| 266k|5257 | 0.000000e+00 | 3.000000e+00 | Inf 483.50/483.50 c 458s|200000 | 835 | 2448k| 12.2 | 35M| 68 | - |1929 | 34k| 0 | 0 | 39k| 280k|5365 | 0.000000e+00 | 3.000000e+00 | Inf 510.50/510.57 c 484s|210000 | 792 | 2576k| 12.3 | 36M| 68 | 22 |1929 | 35k|1929 |1710 | 41k| 295k|5516 | 0.000000e+00 | 3.000000e+00 | Inf 536.50/536.50 c 509s|220000 | 773 | 2702k| 12.3 | 36M| 68 | 1 |1929 | 34k|1929 |1703 | 44k| 310k|5617 | 0.000000e+00 | 3.000000e+00 | Inf 563.30/563.30 c 534s|230000 | 740 | 2831k| 12.3 | 37M| 72 | 15 |1929 | 36k|1929 |1703 | 46k| 325k|5753 | 0.000000e+00 | 3.000000e+00 | Inf 591.40/591.48 c 561s|240000 | 674 | 2970k| 12.4 | 37M| 72 | 26 |1929 | 37k|1929 |1711 | 47k| 339k|5854 | 0.000000e+00 | 3.000000e+00 | Inf 619.40/619.43 c 588s|250000 | 601 | 3100k| 12.4 | 36M| 72 | 10 |1929 | 37k|1929 |1712 | 49k| 354k|6031 | 0.000000e+00 | 3.000000e+00 | Inf 648.80/648.81 c 616s|260000 | 551 | 3247k| 12.5 | 35M| 72 | 19 |1929 | 33k|1929 |1703 | 51k| 368k|6195 | 0.000000e+00 | 3.000000e+00 | Inf 674.60/674.63 c 640s|270000 | 705 | 3365k| 12.5 | 35M| 72 | 17 |1929 | 32k|1929 |1715 | 53k| 381k|6444 | 0.000000e+00 | 3.000000e+00 | Inf 700.91/700.94 c 665s|280000 | 786 | 3490k| 12.5 | 36M| 72 | 6 |1929 | 34k|1929 |1703 | 54k| 395k|6522 | 0.000000e+00 | 3.000000e+00 | Inf 726.51/726.55 c 690s|290000 | 771 | 3603k| 12.4 | 37M| 72 | 17 |1929 | 37k|1929 |1703 | 56k| 409k|6625 | 0.000000e+00 | 3.000000e+00 | Inf 752.32/752.39 c 714s|300000 | 662 | 3714k| 12.4 | 37M| 72 | - |1929 | 36k| 0 | 0 | 58k| 424k|6749 | 0.000000e+00 | 3.000000e+00 | Inf 779.00/779.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 779.00/779.02 c 740s|310000 | 702 | 3835k| 12.4 | 37M| 72 | - |1929 | 36k| 0 | 0 | 60k| 438k|6910 | 0.000000e+00 | 3.000000e+00 | Inf 805.61/805.63 c 765s|320000 | 626 | 3953k| 12.4 | 35M| 72 | - |1929 | 34k| 0 | 0 | 61k| 452k|7010 | 0.000000e+00 | 3.000000e+00 | Inf 833.11/833.18 c 791s|330000 | 710 | 4093k| 12.4 | 37M| 72 | - |1929 | 36k| 0 | 0 | 63k| 466k|7107 | 0.000000e+00 | 3.000000e+00 | Inf 860.81/860.86 c 818s|340000 | 628 | 4228k| 12.4 | 37M| 72 | 32 |1929 | 37k|1929 |1703 | 64k| 479k|7202 | 0.000000e+00 | 3.000000e+00 | Inf 888.31/888.37 c 844s|350000 | 672 | 4355k| 12.4 | 37M| 72 | 13 |1929 | 38k|1929 |1712 | 66k| 493k|7314 | 0.000000e+00 | 3.000000e+00 | Inf 915.12/915.11 c 869s|360000 | 689 | 4467k| 12.4 | 38M| 72 | 15 |1929 | 40k|1929 |1703 | 68k| 507k|7408 | 0.000000e+00 | 3.000000e+00 | Inf 943.32/943.33 c 896s|370000 | 706 | 4594k| 12.4 | 39M| 72 | - |1929 | 42k|1929 |1712 | 70k| 522k|7521 | 0.000000e+00 | 3.000000e+00 | Inf 972.11/972.12 c 924s|380000 | 865 | 4721k| 12.4 | 41M| 72 | 23 |1929 | 44k|1929 |1703 | 72k| 535k|7633 | 0.000000e+00 | 3.000000e+00 | Inf 999.71/999.72 c 950s|390000 | 804 | 4843k| 12.4 | 41M| 72 | - |1929 | 43k|1929 |1711 | 73k| 549k|7731 | 0.000000e+00 | 3.000000e+00 | Inf 1029.22/1029.22 c 979s|400000 | 826 | 4971k| 12.4 | 40M| 72 | 28 |1929 | 41k|1929 |1703 | 75k| 564k|7810 | 0.000000e+00 | 3.000000e+00 | Inf 1058.02/1058.00 c 1006s|410000 | 755 | 5097k| 12.4 | 41M| 72 | - |1929 | 43k| 0 | 0 | 76k| 578k|7896 | 0.000000e+00 | 3.000000e+00 | Inf 1086.91/1086.97 c 1034s|420000 | 799 | 5218k| 12.4 | 42M| 72 | 29 |1929 | 44k|1929 |1703 | 78k| 593k|7984 | 0.000000e+00 | 3.000000e+00 | Inf 1114.71/1114.73 c 1060s|430000 | 793 | 5334k| 12.4 | 40M| 72 | - |1929 | 40k|1929 |1711 | 80k| 607k|8073 | 0.000000e+00 | 3.000000e+00 | Inf 1141.32/1141.37 c 1086s|440000 | 713 | 5452k| 12.4 | 40M| 72 | 24 |1929 | 42k|1929 |1703 | 82k| 622k|8148 | 0.000000e+00 | 3.000000e+00 | Inf 1169.52/1169.50 c 1113s|450000 | 677 | 5583k| 12.4 | 39M| 72 | - |1929 | 39k|1929 |1703 | 84k| 636k|8235 | 0.000000e+00 | 3.000000e+00 | Inf 1197.52/1197.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1197.52/1197.51 c 1139s|460000 | 373 | 5704k| 12.4 | 32M| 72 | 17 |1929 | 28k|1929 |1703 | 85k| 650k|8621 | 0.000000e+00 | 3.000000e+00 | Inf 1221.82/1221.88 c 1162s|470000 | 422 | 5817k| 12.4 | 34M| 72 | 19 |1929 | 33k|1929 |1709 | 87k| 664k|8712 | 0.000000e+00 | 3.000000e+00 | Inf 1247.43/1247.40 c 1187s|480000 | 414 | 5938k| 12.4 | 35M| 72 | - |1929 | 35k|1929 |1703 | 89k| 678k|8733 | 0.000000e+00 | 3.000000e+00 | Inf 1273.83/1273.88 c 1212s|490000 | 402 | 6065k| 12.4 | 37M| 72 | - |1929 | 39k| 0 | 0 | 90k| 692k|8820 | 0.000000e+00 | 3.000000e+00 | Inf 1300.82/1300.81 c 1238s|500000 | 437 | 6185k| 12.4 | 38M| 72 | - |1929 | 42k|1929 |1709 | 93k| 705k|8901 | 0.000000e+00 | 3.000000e+00 | Inf 1328.83/1328.82 c 1264s|510000 | 488 | 6298k| 12.4 | 39M| 72 | - |1929 | 43k| 0 | 0 | 94k| 719k|8978 | 0.000000e+00 | 3.000000e+00 | Inf 1358.33/1358.31 c 1293s|520000 | 440 | 6419k| 12.3 | 38M| 72 | - |1929 | 43k| 0 | 0 | 97k| 732k|9040 | 0.000000e+00 | 3.000000e+00 | Inf 1389.03/1389.01 c 1322s|530000 | 574 | 6546k| 12.4 | 40M| 72 | - |1929 | 45k|1929 |1710 | 99k| 746k|9101 | 0.000000e+00 | 3.000000e+00 | Inf 1419.23/1419.29 c 1351s|540000 | 574 | 6666k| 12.3 | 40M| 72 | 17 |1929 | 45k|1929 |1703 | 101k| 760k|9176 | 0.000000e+00 | 3.000000e+00 | Inf 1449.84/1449.83 c 1380s|550000 | 561 | 6790k| 12.3 | 40M| 72 | 22 |1929 | 46k|1929 |1703 | 102k| 775k|9266 | 0.000000e+00 | 3.000000e+00 | Inf 1480.73/1480.79 c 1410s|560000 | 447 | 6912k| 12.3 | 40M| 72 | 11 |1929 | 46k|1929 |1703 | 104k| 789k|9345 | 0.000000e+00 | 3.000000e+00 | Inf 1511.13/1511.18 c 1439s|570000 | 430 | 7051k| 12.4 | 40M| 72 | - |1929 | 46k|1929 |1708 | 105k| 803k|9470 | 0.000000e+00 | 3.000000e+00 | Inf 1541.94/1541.95 c 1468s|580000 | 457 | 7197k| 12.4 | 40M| 72 | - |1929 | 46k| 0 | 0 | 107k| 816k|9550 | 0.000000e+00 | 3.000000e+00 | Inf 1573.54/1573.56 c 1499s|590000 | 449 | 7342k| 12.4 | 41M| 72 | 18 |1929 | 48k|1929 |1703 | 108k| 830k|9638 | 0.000000e+00 | 3.000000e+00 | Inf 1605.34/1605.39 c 1529s|600000 | 489 | 7486k| 12.5 | 41M| 72 | - |1929 | 48k|1929 |1709 | 110k| 844k|9729 | 0.000000e+00 | 3.000000e+00 | Inf 1637.34/1637.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1637.34/1637.34 c 1560s|610000 | 522 | 7633k| 12.5 | 42M| 72 | 19 |1929 | 50k|1929 |1703 | 111k| 858k|9832 | 0.000000e+00 | 3.000000e+00 | Inf 1668.44/1668.45 c 1590s|620000 | 582 | 7770k| 12.5 | 43M| 72 | 19 |1929 | 51k|1929 |1715 | 113k| 872k|9927 | 0.000000e+00 | 3.000000e+00 | Inf 1700.34/1700.38 c 1620s|630000 | 683 | 7917k| 12.6 | 45M| 72 | - |1929 | 55k|1929 |1720 | 114k| 886k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1733.34/1733.39 c 1652s|640000 | 715 | 8060k| 12.6 | 46M| 72 | - |1929 | 57k| 0 | 0 | 115k| 899k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1765.94/1765.99 c 1683s|650000 | 720 | 8208k| 12.6 | 46M| 72 | - |1929 | 57k|1929 |1715 | 116k| 913k| 10k| 0.000000e+00 | 3.000000e+00 | Inf 1799.44/1799.41 c 1715s|660000 | 721 | 8353k| 12.7 | 46M| 72 | 21 |1929 | 56k|1929 |1715 | 117k| 927k| 10k| 0.000000e+00 | 3.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) : 1716.03 1800.05/1800.00 c Solving Nodes : 660176 1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (216 solutions) 1800.05/1800.00 c Dual Bound : +0.00000000000000e+00 1800.05/1800.00 c Gap : infinite 1800.05/1800.02 s SATISFIABLE 1800.05/1800.02 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1800.05/1800.02 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1800.05/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 1800.05/1800.02 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.05/1800.02 v -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 1800.05/1800.02 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 1800.05/1800.02 v -x103 -x102 x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 1800.05/1800.02 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 1800.05/1800.02 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 1800.05/1800.02 v -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 1800.05/1800.02 v -x1 1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.02 c Solving Time : 1716.03 1800.05/1800.02 c Original Problem : 1800.05/1800.02 c Problem name : HOME/instance-2693385-1277900349.wbo 1800.05/1800.02 c Variables : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous) 1800.05/1800.02 c Constraints : 3638 initial, 3638 maximal 1800.05/1800.02 c Presolved Problem : 1800.05/1800.02 c Problem name : t_HOME/instance-2693385-1277900349.wbo 1800.05/1800.02 c Variables : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous) 1800.05/1800.02 c Constraints : 3365 initial, 58402 maximal 1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.02 c trivial : 0.00 81 0 0 0 0 0 0 0 1800.05/1800.02 c dualfix : 0.00 81 0 0 0 0 0 0 0 1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.02 c probing : 0.04 0 0 0 0 0 0 0 0 1800.05/1800.02 c indicator : 0.00 0 0 0 0 0 81 0 0 1800.05/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.02 c linear : 0.05 0 0 0 954 0 192 139 0 1800.05/1800.02 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.05/1800.02 c root node : - 839 - - 1678 - - - - 1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.02 c integral : 0 0 0 375210 0 263 3175 0 0 701376 1800.05/1800.02 c indicator : 849 0 2893287 21816 0 117 378157 0 0 0 1800.05/1800.02 c knapsack : 1 6 2891441 21654 0 47871 5725955 0 0 0 1800.05/1800.02 c setppc : 14 6 2846904 21698 0 33980 1871552 0 0 0 1800.05/1800.02 c linear : 849 6 2813363 21790 0 52186 3746008 117688 0 0 1800.05/1800.02 c logicor : 1652+ 6 1503061 720 0 93037 5810641 0 0 0 1800.05/1800.02 c countsols : 0 0 0 720 0 0 0 0 0 0 1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.02 c integral : 37.16 0.00 0.00 37.16 0.00 1800.05/1800.02 c indicator : 0.77 0.00 0.62 0.15 0.00 1800.05/1800.02 c knapsack : 30.02 0.00 30.02 0.00 0.00 1800.05/1800.02 c setppc : 12.59 0.00 12.58 0.01 0.00 1800.05/1800.02 c linear : 39.94 0.00 39.55 0.39 0.00 1800.05/1800.02 c logicor : 297.02 0.00 297.01 0.01 0.00 1800.05/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.02 c vbounds : 0.00 2 0 0 1800.05/1800.02 c rootredcost : 0.00 22 0 839 1800.05/1800.02 c pseudoobj : 44.10 2896084 788 283216 1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.02 c propagation : 8.52 227862 227399 1359947 28.2 5999 25.2 - 1800.05/1800.02 c infeasible LP : 23.66 121148 121148 907839 46.1 954 17.0 0 1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.02 c pseudo solution : 0.00 21 21 148 20.3 0 0.0 - 1800.05/1800.02 c applied globally : - - - 927802 29.5 - - - 1800.05/1800.02 c applied locally : - - - 0 0.0 - - - 1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.02 c cut pool : 0.00 5 - - 32 - (maximal pool size: 252) 1800.05/1800.02 c redcost : 9.38 376084 0 85058 0 0 1800.05/1800.02 c impliedbounds : 0.00 6 0 0 0 0 1800.05/1800.02 c intobj : 0.00 0 0 0 0 0 1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.02 c gomory : 0.11 6 0 0 1989 0 1800.05/1800.02 c strongcg : 0.08 6 0 0 1060 0 1800.05/1800.02 c cmir : 0.02 6 0 0 1 0 1800.05/1800.02 c flowcover : 0.06 6 0 0 2 0 1800.05/1800.02 c clique : 0.00 6 0 0 0 0 1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.02 c mcf : 0.00 1 0 0 0 0 1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0 1800.05/1800.02 c Pricers : Time Calls Vars 1800.05/1800.02 c problem variables: 0.00 0 0 1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.02 c relpscost : 37.12 353383 263 3175 0 0 701376 1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.02 c inference : 0.06 699 0 0 0 0 1398 1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.02 c random : 0.00 0 0 0 0 0 0 1800.05/1800.02 c Primal Heuristics : Time Calls Found 1800.05/1800.02 c LP solutions : 0.00 - 21 1800.05/1800.02 c pseudo solutions : 0.00 - 0 1800.05/1800.02 c oneopt : 0.10 20 0 1800.05/1800.02 c feaspump : 0.01 1 0 1800.05/1800.02 c intshifting : 0.00 13 0 1800.05/1800.02 c crossover : 0.14 8 0 1800.05/1800.02 c guideddiving : 0.31 95 0 1800.05/1800.02 c objpscostdiving : 0.07 48 0 1800.05/1800.02 c rootsoldiving : 0.26 48 0 1800.05/1800.02 c coefdiving : 0.28 96 0 1800.05/1800.02 c pscostdiving : 0.26 96 0 1800.05/1800.02 c fracdiving : 0.41 96 0 1800.05/1800.02 c veclendiving : 0.18 96 0 1800.05/1800.02 c linesearchdiving : 0.17 96 0 1800.05/1800.02 c trivial : 0.00 2 0 1800.05/1800.02 c simplerounding : 0.37 353561 0 1800.05/1800.02 c zirounding : 0.19 1000 0 1800.05/1800.02 c rounding : 0.74 8471 0 1800.05/1800.02 c shifting : 0.92 2594 0 1800.05/1800.02 c twoopt : 0.00 0 0 1800.05/1800.02 c fixandinfer : 0.00 0 0 1800.05/1800.02 c intdiving : 0.00 0 0 1800.05/1800.02 c actconsdiving : 0.00 0 0 1800.05/1800.02 c octane : 0.00 0 0 1800.05/1800.02 c rens : 0.03 1 0 1800.05/1800.02 c rins : 0.00 0 0 1800.05/1800.02 c localbranching : 0.00 0 0 1800.05/1800.02 c mutation : 0.00 0 0 1800.05/1800.02 c dins : 0.00 0 0 1800.05/1800.02 c undercover : 0.00 0 0 1800.05/1800.02 c nlp : 0.00 0 0 1800.05/1800.02 c trysol : 0.38 2384 195 1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.02 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.02 c dual LP : 849.12 493282 8349061 16.93 9832.60 1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.02 c diving/probing LP: 1.17 971 6374 6.56 5447.86 1800.05/1800.02 c strong branching : 34.09 10277 339756 33.06 9966.44 1800.05/1800.02 c (at root node) : - 33 20229 613.00 - 1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.02 c B&B Tree : 1800.05/1800.02 c number of runs : 1 1800.05/1800.02 c nodes : 660176 1800.05/1800.02 c nodes (total) : 660176 1800.05/1800.02 c nodes left : 715 1800.05/1800.02 c max depth : 72 1800.05/1800.02 c max depth (total): 72 1800.05/1800.02 c backtracks : 95340 (14.4%) 1800.05/1800.02 c delayed cutoffs : 40941 1800.05/1800.02 c repropagations : 1066370 (3291513 domain reductions, 39783 cutoffs) 1800.05/1800.02 c avg switch length: 4.78 1800.05/1800.02 c switching time : 217.21 1800.05/1800.02 c Solution : 1800.05/1800.02 c Solutions found : 216 (22 improvements) 1800.05/1800.02 c First Solution : +4.26820000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>) 1800.05/1800.02 c Primal Bound : +3.00000000000000e+00 (in run 1, after 35426 nodes, 81.24 seconds, depth 20, found by <relaxation>) 1800.05/1800.02 c Dual Bound : +0.00000000000000e+00 1800.05/1800.02 c Gap : infinite 1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.02 c Root Iterations : 321 1800.05/1800.09 c Time complete: 1800.13.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693385-1277900349/watcher-2693385-1277900349 -o /tmp/evaluation-result-2693385-1277900349/solver-2693385-1277900349 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693385-1277900349.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.04 2.03 2.00 4/196 24138 /proc/meminfo: memFree=31291832/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=11008 CPUtime=0 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 1677 0 0 0 0 0 0 0 20 0 1 0 165638659 11272192 1597 4089446400 4194304 9819077 140736753477200 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24138/statm: 2752 1597 392 1374 0 1373 0 [startup+0.029399 s] /proc/loadavg: 2.04 2.03 2.00 4/196 24138 /proc/meminfo: memFree=31291832/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=15852 CPUtime=0.02 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 3115 0 0 0 2 0 0 0 20 0 1 0 165638659 16232448 2681 4089446400 4194304 9819077 140736753477200 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 3963 2747 427 1374 0 2584 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 15852 [startup+0.100395 s] /proc/loadavg: 2.04 2.03 2.00 4/196 24138 /proc/meminfo: memFree=31291832/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=24056 CPUtime=0.09 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 6944 0 0 0 8 1 0 0 20 0 1 0 165638659 24633344 4711 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 6014 4711 498 1374 0 4635 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24056 [startup+0.300359 s] /proc/loadavg: 2.04 2.03 2.00 4/196 24138 /proc/meminfo: memFree=31291832/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=34008 CPUtime=0.29 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 12428 0 0 0 26 3 0 0 20 0 1 0 165638659 34824192 7004 4089446400 4194304 9819077 140736753477200 18446744073709551615 6513088 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 8502 7004 691 1374 0 7123 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 34008 [startup+0.700277 s] /proc/loadavg: 2.04 2.03 2.00 4/196 24138 /proc/meminfo: memFree=31291832/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=39160 CPUtime=0.69 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 22225 0 0 0 64 5 0 0 21 0 1 0 165638659 40099840 7698 4089446400 4194304 9819077 140736753477200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 9790 7698 735 1374 0 8411 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39160 [startup+1.50111 s] /proc/loadavg: 2.03 2.03 2.00 3/197 24139 /proc/meminfo: memFree=31263976/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=39420 CPUtime=1.49 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 26820 0 0 0 142 7 0 0 23 0 1 0 165638659 40366080 7728 4089446400 4194304 9819077 140736753477200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 9855 7728 735 1374 0 8476 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39420 [startup+3.10084 s] /proc/loadavg: 2.03 2.03 2.00 3/197 24139 /proc/meminfo: memFree=31263728/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=39304 CPUtime=3.09 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 36439 0 0 0 300 9 0 0 25 0 1 0 165638659 40247296 7756 4089446400 4194304 9819077 140736753477200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 9826 7756 735 1374 0 8447 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39304 [startup+6.30026 s] /proc/loadavg: 2.03 2.03 2.00 3/197 24139 /proc/meminfo: memFree=31264344/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=38568 CPUtime=6.29 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 58966 0 0 0 615 14 0 0 25 0 1 0 165638659 39493632 7698 4089446400 4194304 9819077 140736753477200 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 9642 7702 735 1374 0 8263 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38568 [startup+12.7011 s] /proc/loadavg: 2.03 2.03 2.00 3/197 24139 /proc/meminfo: memFree=31259408/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=53768 CPUtime=12.69 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 173010 0 0 0 1219 50 0 0 25 0 1 0 165638659 55058432 11763 4089446400 4194304 9819077 140736753477200 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 13442 11767 741 1374 0 12063 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53768 [startup+25.5007 s] /proc/loadavg: 2.02 2.03 2.00 3/197 24140 /proc/meminfo: memFree=31246168/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=57936 CPUtime=25.49 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 335227 0 0 0 2424 125 0 0 25 0 1 0 165638659 59326464 12790 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 14484 12790 741 1374 0 13105 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 57936 [startup+51.1011 s] /proc/loadavg: 2.01 2.02 2.00 3/197 24141 /proc/meminfo: memFree=31236364/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=66484 CPUtime=51.09 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 641384 0 0 0 4837 272 0 0 25 0 1 0 165638659 68079616 14934 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 16621 14934 741 1374 0 15242 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 66484 [startup+102.307 s] /proc/loadavg: 2.00 2.02 2.00 3/197 24142 /proc/meminfo: memFree=31223428/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=70320 CPUtime=102.3 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 1250043 0 0 0 9655 575 0 0 25 0 1 0 165638659 72007680 15900 4089446400 4194304 9819077 140736753477200 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 17580 15900 743 1374 0 16201 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 70320 [startup+162.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24143 /proc/meminfo: memFree=31208384/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=75788 CPUtime=162.29 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 1944449 0 0 0 15321 908 0 0 25 0 1 0 165638659 77606912 17237 4089446400 4194304 9819077 140736753477200 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 18947 17237 743 1374 0 17568 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 75788 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24145 /proc/meminfo: memFree=31202884/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=80360 CPUtime=222.3 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 2625405 0 0 0 20998 1232 0 0 25 0 1 0 165638659 82288640 18278 4089446400 4194304 9819077 140736753477200 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24138/statm: 20090 18278 743 1374 0 18711 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 80360 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24147 /proc/meminfo: memFree=31200744/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=81728 CPUtime=282.3 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 3273123 0 0 0 26688 1542 0 0 25 0 1 0 165638659 83689472 18614 4089446400 4194304 9819077 140736753477200 18446744073709551615 4223090 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 20432 18614 743 1374 0 19053 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 81728 [startup+342.301 s] /proc/loadavg: 2.07 2.02 2.00 3/197 24148 /proc/meminfo: memFree=31197724/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=84384 CPUtime=342.3 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 3887128 0 0 0 32389 1841 0 0 25 0 1 0 165638659 86409216 19278 4089446400 4194304 9819077 140736753477200 18446744073709551615 6234545 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 21096 19278 743 1374 0 19717 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 84384 [startup+402.301 s] /proc/loadavg: 2.02 2.01 2.00 3/197 24150 /proc/meminfo: memFree=31189500/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=85672 CPUtime=402.29 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 4509552 0 0 0 38075 2154 0 0 25 0 1 0 165638659 87728128 19530 4089446400 4194304 9819077 140736753477200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 21418 19530 743 1374 0 20039 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 85672 [startup+462.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 24151 /proc/meminfo: memFree=31186980/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=88128 CPUtime=462.29 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 5104154 0 0 0 43790 2439 0 0 25 0 1 0 165638659 90243072 20101 4089446400 4194304 9819077 140736753477200 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 22032 20101 743 1374 0 20653 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 88128 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24153 /proc/meminfo: memFree=31181228/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=89984 CPUtime=522.3 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 5681156 0 0 0 49503 2727 0 0 25 0 1 0 165638659 92143616 20658 4089446400 4194304 9819077 140736753477200 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 22598 20660 743 1374 0 21219 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 89984 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24155 /proc/meminfo: memFree=31179952/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=91640 CPUtime=582.31 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 6256945 0 0 0 55223 3008 0 0 25 0 1 0 165638659 93839360 20949 4089446400 4194304 9819077 140736753477200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 22910 20949 743 1374 0 21531 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 91640 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24156 /proc/meminfo: memFree=31179536/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=91972 CPUtime=642.31 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 6826197 0 0 0 60947 3284 0 0 25 0 1 0 165638659 94179328 21066 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 22993 21066 743 1374 0 21614 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 91972 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24209 /proc/meminfo: memFree=31262344/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=94096 CPUtime=822.31 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 8572651 0 0 0 78079 4152 0 0 25 0 1 0 165638659 96354304 21506 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 23524 21506 743 1374 0 22145 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 94096 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24211 /proc/meminfo: memFree=31242564/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=94100 CPUtime=882.32 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 9129060 0 0 0 83803 4429 0 0 25 0 1 0 165638659 96358400 21511 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 23525 21511 743 1374 0 22146 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 94100 [startup+942.301 s] /proc/loadavg: 2.04 2.01 2.00 3/197 24212 /proc/meminfo: memFree=31228860/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=95416 CPUtime=942.31 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 9650371 0 0 0 89536 4695 0 0 25 0 1 0 165638659 97705984 21837 4089446400 4194304 9819077 140736753477200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 23854 21837 743 1374 0 22475 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 95416 [startup+1002.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 24214 /proc/meminfo: memFree=31215936/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=97704 CPUtime=1002.31 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 10180133 0 0 0 95278 4953 0 0 25 0 1 0 165638659 100048896 22565 4089446400 4194304 9819077 140736753477200 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 24426 22566 743 1374 0 23047 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 97704 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24215 /proc/meminfo: memFree=31206088/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=98552 CPUtime=1062.32 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 10675358 0 0 0 101027 5205 0 0 25 0 1 0 165638659 100917248 22577 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 24638 22577 743 1374 0 23259 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 98552 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24217 /proc/meminfo: memFree=31199224/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=98664 CPUtime=1122.32 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 11175598 0 0 0 106766 5466 0 0 25 0 1 0 165638659 101031936 22615 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 24666 22615 743 1374 0 23287 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 98664 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24219 /proc/meminfo: memFree=31190116/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=99140 CPUtime=1182.32 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 11733486 0 0 0 112486 5746 0 0 25 0 1 0 165638659 101519360 22670 4089446400 4194304 9819077 140736753477200 18446744073709551615 6162208 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 24785 22670 743 1374 0 23406 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 99140 [startup+1242.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 24220 /proc/meminfo: memFree=31181028/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=100604 CPUtime=1242.32 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 12326591 0 0 0 118181 6051 0 0 25 0 1 0 165638659 103018496 22932 4089446400 4194304 9819077 140736753477200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 25151 22932 743 1374 0 23772 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 100604 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 24222 /proc/meminfo: memFree=31171076/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=101176 CPUtime=1302.33 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 12877208 0 0 0 123903 6330 0 0 25 0 1 0 165638659 103604224 23091 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 25294 23091 743 1374 0 23915 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 101176 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24223 /proc/meminfo: memFree=31163856/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=101176 CPUtime=1362.33 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 13360989 0 0 0 129643 6590 0 0 25 0 1 0 165638659 103604224 23093 4089446400 4194304 9819077 140736753477200 18446744073709551615 4221012 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 25294 23093 743 1374 0 23915 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 101176 [startup+1422.31 s] /proc/loadavg: 2.31 2.10 2.03 3/197 24225 /proc/meminfo: memFree=31157620/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=101212 CPUtime=1422.33 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 13830121 0 0 0 135396 6837 0 0 25 0 1 0 165638659 103641088 23142 4089446400 4194304 9819077 140736753477200 18446744073709551615 6669992 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 25303 23142 743 1374 0 23924 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 101212 [startup+1482.3 s] /proc/loadavg: 2.11 2.08 2.03 3/197 24227 /proc/meminfo: memFree=31151240/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=101576 CPUtime=1482.33 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 14300419 0 0 0 141146 7087 0 0 25 0 1 0 165638659 104013824 23209 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 25394 23209 743 1374 0 24015 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 101576 [startup+1542.3 s] /proc/loadavg: 2.04 2.06 2.02 3/197 24228 /proc/meminfo: memFree=31144872/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=102080 CPUtime=1542.33 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 14824982 0 0 0 146881 7352 0 0 25 0 1 0 165638659 104529920 23328 4089446400 4194304 9819077 140736753477200 18446744073709551615 7291738 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 25520 23328 743 1374 0 24141 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 102080 [startup+1602.3 s] /proc/loadavg: 2.01 2.05 2.02 3/197 24230 /proc/meminfo: memFree=31140492/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=102524 CPUtime=1602.33 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 15322593 0 0 0 152633 7600 0 0 25 0 1 0 165638659 104984576 23410 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 25631 23410 743 1374 0 24252 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 102524 [startup+1662.3 s] /proc/loadavg: 2.00 2.04 2.01 3/197 24231 /proc/meminfo: memFree=31135864/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=103052 CPUtime=1662.34 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 15829795 0 0 0 158387 7847 0 0 25 0 1 0 165638659 105525248 23563 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 25763 23563 743 1374 0 24384 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 103052 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/197 24233 /proc/meminfo: memFree=31130384/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=104540 CPUtime=1722.34 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 16321274 0 0 0 164148 8086 0 0 25 0 1 0 165638659 107048960 23948 4089446400 4194304 9819077 140736753477200 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 26135 23948 743 1374 0 24756 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 104540 [startup+1782.3 s] /proc/loadavg: 2.06 2.04 2.00 3/197 24235 /proc/meminfo: memFree=31125008/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=106116 CPUtime=1782.34 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 16812601 0 0 0 169906 8328 0 0 25 0 1 0 165638659 108662784 24286 4089446400 4194304 9819077 140736753477200 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 26529 24286 743 1374 0 25150 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 106116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.04 2.03 2.00 3/197 24235 /proc/meminfo: memFree=31123760/32951124 swapFree=67111528/67111528 [pid=24138] ppid=24136 vsize=106052 CPUtime=1800.05 /proc/24138/stat : 24138 (pbscip.linux.x8) R 24136 24138 22869 0 -1 4202496 16955689 0 0 0 171605 8400 0 0 25 0 1 0 165638659 108597248 24281 4089446400 4194304 9819077 140736753477200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24138/statm: 26513 24281 743 1374 0 25134 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 106052 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.1 CPU time (s): 1800.15 CPU user time (s): 1716.14 CPU system time (s): 84.0092 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 108540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1716.14 system time used= 84.0092 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16955774 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 14142 runsolver used 2.94455 second user time and 6.01009 second system time The end
Begin job on node110 at 2010-06-30 14:19:09 IDJOB=2693385 IDBENCH=78881 IDSOLVER=1205 FILE ID=node110/2693385-1277900349 PBS_JOBID= 11197161 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546417--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693385-1277900349/watcher-2693385-1277900349 -o /tmp/evaluation-result-2693385-1277900349/solver-2693385-1277900349 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693385-1277900349.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 23ad99b063b4d7278daca47962cd4526 RANDOM SEED=3087512 node110.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.849 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.69 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.849 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.82 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.82 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31292112 kB Buffers: 185544 kB Cached: 992952 kB SwapCached: 0 kB Active: 894672 kB Inactive: 621276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31292112 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6240 kB Writeback: 0 kB AnonPages: 337640 kB Mapped: 20428 kB Slab: 78128 kB PageTables: 5456 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1659324 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node110 at 2010-06-30 14:49:11