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.12 | 1800.08 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo |
MD5SUM | 7129b2638275c1b1b14ce0a3da71735e |
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 | 12 |
Best CPU time to get the best result obtained on this benchmark | 323.561 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 927 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 45360 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45359 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 755 |
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-2693523-1277908600.wbo> 0.02/0.02 c original problem has 2085 variables (1158 bin, 0 int, 0 impl, 927 cont) and 3635 constraints 0.02/0.02 c problem read 0.02/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, 1141 impls, 14 clqs 0.02/0.07 c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs 0.02/0.08 c (round 3) 54 del vars, 168 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs 0.02/0.09 c (round 4) 110 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs 0.09/0.11 c (round 5) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs 0.09/0.15 c (0.1s) probing: 101/1102 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.15 c presolving (6 rounds): 0.09/0.15 c 112 deleted vars, 170 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients 0.09/0.15 c 1141 implications, 14 cliques 0.09/0.15 c presolved problem has 1973 variables (1102 bin, 0 int, 0 impl, 871 cont) and 3465 constraints 0.09/0.15 c 871 constraints of type <indicator> 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 14 constraints of type <setppc> 0.09/0.15 c 871 constraints of type <linear> 0.09/0.15 c 1708 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.10 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.98 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 3420 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.16 c 0.1s| 1 | 0 | 27 | - |8863k| 0 | 16 |1973 |3465 |1973 |1723 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.20 c 0.2s| 1 | 0 | 52 | - |8911k| 0 | 23 |1973 |3465 |1973 |1737 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.24 c 0.2s| 1 | 0 | 70 | - |9060k| 0 | 22 |1973 |3465 |1973 |1745 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.28 c 0.2s| 1 | 0 | 83 | - |9275k| 0 | 25 |1973 |3465 |1973 |1752 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.28 o 42962 0.19/0.28 c y 0.2s| 1 | 0 | 83 | - |9305k| 0 | 25 |1973 |3465 |1973 |1752 | 29 | 0 | 0 | 0.000000e+00 | 4.296200e+04 | Inf 0.29/0.34 c 0.3s| 1 | 0 | 131 | - |9396k| 0 | 26 |1973 |3465 |1973 |1762 | 39 | 0 | 0 | 0.000000e+00 | 4.296200e+04 | Inf 0.49/0.53 c 0.5s| 1 | 0 | 1196 | - |9529k| 0 | 62 |1973 |3465 |1973 |1767 | 44 | 0 | 0 | 0.000000e+00 | 4.296200e+04 | Inf 0.59/0.63 c 0.6s| 1 | 0 | 1534 | - |9777k| 0 | 57 |1973 |3465 |1973 |1783 | 60 | 0 | 0 | 0.000000e+00 | 4.296200e+04 | Inf 3.39/3.49 c 3.4s| 1 | 2 | 1534 | - |9780k| 0 | 57 |1973 |3465 |1973 |1783 | 60 | 0 | 33 | 0.000000e+00 | 4.296200e+04 | Inf 18.09/18.15 o 651 18.09/18.15 c *17.8s| 80 | 38 | 5928 | 55.6 | 10M| 25 | - |1973 |3495 |1973 |1765 | 85 | 30 | 335 | 0.000000e+00 | 6.510000e+02 | Inf 18.09/18.17 o 625 18.09/18.17 c *17.8s| 89 | 35 | 5942 | 50.1 | 10M| 25 | - |1973 |3501 |1973 |1769 | 89 | 36 | 335 | 0.000000e+00 | 6.250000e+02 | Inf 18.09/18.18 o 562 18.09/18.18 c *17.8s| 92 | 32 | 5942 | 48.4 | 10M| 25 | - |1973 |3504 |1973 |1769 | 89 | 39 | 335 | 0.000000e+00 | 5.620000e+02 | Inf 18.19/18.21 o 551 18.19/18.21 c *17.9s| 103 | 38 | 6107 | 44.8 | 10M| 25 | - |1973 |3510 |1973 |1777 | 108 | 45 | 335 | 0.000000e+00 | 5.510000e+02 | Inf 19.49/19.57 o 526 19.49/19.57 c *19.2s| 207 | 83 | 12242 | 52.0 | 11M| 25 | - |1973 |3616 |1973 |1777 | 150 | 151 | 348 | 0.000000e+00 | 5.260000e+02 | Inf 19.80/19.84 o 362 19.80/19.84 c *19.5s| 233 | 85 | 13985 | 53.7 | 11M| 25 | - |1973 |3633 |1973 |1767 | 152 | 168 | 348 | 0.000000e+00 | 3.620000e+02 | Inf 20.40/20.44 o 356 20.40/20.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 20.40/20.44 c z20.1s| 381 | 126 | 15950 | 37.9 | 12M| 35 | - |1973 |3784 |1973 |1772 | 181 | 321 | 357 | 0.000000e+00 | 3.560000e+02 | Inf 20.40/20.48 o 295 20.40/20.48 c *20.1s| 397 | 121 | 16021 | 36.6 | 12M| 35 | - |1973 |3813 |1973 |1765 | 181 | 350 | 357 | 0.000000e+00 | 2.950000e+02 | Inf 20.59/20.67 o 268 20.59/20.67 c *20.3s| 512 | 136 | 16470 | 29.2 | 12M| 56 | - |1973 |3949 |1973 |1773 | 198 | 490 | 357 | 0.000000e+00 | 2.680000e+02 | Inf 20.69/20.71 o 241 20.69/20.71 c *20.3s| 526 | 131 | 16552 | 28.6 | 12M| 58 | - |1973 |3965 |1973 |1765 | 198 | 506 | 357 | 0.000000e+00 | 2.410000e+02 | Inf 20.80/20.85 o 222 20.80/20.85 c *20.4s| 590 | 137 | 16983 | 26.2 | 12M| 58 | - |1973 |4010 |1973 |1770 | 208 | 555 | 357 | 0.000000e+00 | 2.220000e+02 | Inf 20.80/20.88 o 218 20.80/20.88 c *20.5s| 601 | 139 | 17055 | 25.9 | 13M| 58 | - |1973 |4022 |1973 |1772 | 215 | 568 | 357 | 0.000000e+00 | 2.180000e+02 | Inf 23.49/23.51 o 215 23.49/23.51 c *23.0s| 1387 | 300 | 27246 | 18.6 | 14M| 58 | - |1973 |4567 |1973 |1765 | 396 |1393 | 453 | 0.000000e+00 | 2.150000e+02 | Inf 23.49/23.54 o 190 23.49/23.54 c *23.1s| 1407 | 300 | 27300 | 18.3 | 14M| 58 | - |1973 |4579 |1973 |1771 | 402 |1407 | 453 | 0.000000e+00 | 1.900000e+02 | Inf 24.39/24.47 o 180 24.39/24.47 c *23.9s| 1712 | 361 | 31015 | 17.2 | 15M| 58 | - |1973 |4788 |1973 |1765 | 506 |1740 | 495 | 0.000000e+00 | 1.800000e+02 | Inf 24.39/24.48 o 118 24.39/24.48 c *23.9s| 1713 | 321 | 31027 | 17.2 | 15M| 58 | - |1973 |4788 |1973 |1766 | 507 |1740 | 495 | 0.000000e+00 | 1.180000e+02 | Inf 27.29/27.31 o 114 27.29/27.31 c *26.7s| 3109 | 384 | 40868 | 12.7 | 16M| 58 | - |1973 |5809 |1973 |1765 | 816 |3450 | 561 | 0.000000e+00 | 1.140000e+02 | Inf 34.59/34.61 o 105 34.59/34.61 c *33.7s| 6735 | 630 | 68996 | 10.0 | 18M| 74 | - |1973 |5795 |1973 |1780 |1450 |7728 | 569 | 0.000000e+00 | 1.050000e+02 | Inf 35.29/35.31 o 84 35.29/35.31 c *34.4s| 7016 | 598 | 72022 | 10.0 | 18M| 74 | - |1973 |5833 |1973 |1772 |1503 |8093 | 570 | 0.000000e+00 | 8.400000e+01 | Inf 36.39/36.43 o 76 36.39/36.43 c *35.4s| 7423 | 613 | 76419 | 10.1 | 18M| 74 | - |1973 |5533 |1973 |1771 |1569 |8607 | 615 | 0.000000e+00 | 7.600000e+01 | Inf 38.49/38.55 o 40 38.49/38.55 c *37.5s| 8272 | 508 | 84841 | 10.1 | 17M| 74 | - |1973 |5316 |1973 |1775 |1760 |9661 | 678 | 0.000000e+00 | 4.000000e+01 | Inf 42.90/42.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 42.90/42.94 c 41.7s| 10000 | 560 |112779 | 11.1 | 18M| 74 | 13 |1973 |5687 |1973 |1765 |1987 | 11k| 685 | 0.000000e+00 | 4.000000e+01 | Inf 46.79/46.82 o 27 46.79/46.82 c *45.5s| 11447 | 520 |133581 | 11.5 | 18M| 74 | - |1973 |6167 |1973 |1765 |2263 | 13k| 789 | 0.000000e+00 | 2.700000e+01 | Inf 67.29/67.34 c 65.2s| 20000 | 574 |258661 | 12.9 | 21M| 74 | - |1973 | 10k|1973 |1765 |3515 | 23k|1114 | 0.000000e+00 | 2.700000e+01 | Inf 90.60/90.63 c 87.6s| 30000 | 460 |391057 | 13.0 | 20M| 74 | - |1973 |9047 | 0 | 0 |5257 | 36k|1577 | 0.000000e+00 | 2.700000e+01 | Inf 111.99/112.02 c 108s| 40000 | 584 |511645 | 12.8 | 23M| 74 | - |1973 | 12k|1973 |1765 |6567 | 49k|1639 | 0.000000e+00 | 2.700000e+01 | Inf 125.90/125.95 o 20 125.90/125.95 c * 122s| 46108 | 555 |591815 | 12.8 | 23M| 74 | - |1973 | 12k|1973 |1780 |7396 | 57k|1644 | 0.000000e+00 | 2.000000e+01 | Inf 134.89/134.94 c 130s| 50000 | 754 |644577 | 12.9 | 24M| 74 | 13 |1973 | 12k|1973 |1765 |7759 | 62k|1644 | 0.000000e+00 | 2.000000e+01 | Inf 159.99/160.09 c 155s| 60000 | 1112 |792524 | 13.2 | 28M| 74 | - |1973 | 14k| 0 | 0 |9108 | 75k|1852 | 0.000000e+00 | 2.000000e+01 | Inf 183.29/183.31 c 177s| 70000 | 1379 |922465 | 13.2 | 30M| 74 | 15 |1973 | 16k|1973 |1765 | 10k| 89k|2150 | 0.000000e+00 | 2.000000e+01 | Inf 207.30/207.31 c 200s| 80000 | 1514 | 1054k| 13.2 | 32M| 74 | 15 |1973 | 17k|1973 |1765 | 12k| 103k|2421 | 0.000000e+00 | 2.000000e+01 | Inf 223.20/223.29 o 12 223.20/223.29 c * 215s| 86660 | 1466 | 1140k| 13.1 | 32M| 74 | - |1973 | 17k|1973 |1765 | 13k| 112k|2577 | 0.000000e+00 | 1.200000e+01 | Inf 230.90/230.94 c 223s| 90000 | 1519 | 1184k| 13.1 | 32M| 74 | 1 |1973 | 16k|1973 |1765 | 13k| 117k|2594 | 0.000000e+00 | 1.200000e+01 | Inf 255.20/255.21 c 246s|100000 | 1594 | 1326k| 13.2 | 32M| 74 | - |1973 | 16k| 0 | 0 | 14k| 131k|2856 | 0.000000e+00 | 1.200000e+01 | Inf 276.40/276.43 c 267s|110000 | 1806 | 1441k| 13.1 | 36M| 74 | 27 |1973 | 21k|1973 |1765 | 15k| 145k|3005 | 0.000000e+00 | 1.200000e+01 | Inf 298.80/298.86 c 288s|120000 | 1715 | 1562k| 13.0 | 35M| 74 | - |1973 | 16k| 0 | 0 | 16k| 159k|3249 | 0.000000e+00 | 1.200000e+01 | Inf 323.80/323.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 323.80/323.82 c 312s|130000 | 1694 | 1702k| 13.1 | 34M| 74 | 10 |1973 | 15k|1973 |1765 | 17k| 172k|3410 | 0.000000e+00 | 1.200000e+01 | Inf 348.40/348.42 c 336s|140000 | 1820 | 1847k| 13.2 | 36M| 74 | - |1973 | 15k| 0 | 0 | 18k| 186k|3660 | 0.000000e+00 | 1.200000e+01 | Inf 372.20/372.30 c 359s|150000 | 1817 | 1982k| 13.2 | 36M| 74 | 17 |1973 | 16k|1973 |1765 | 19k| 199k|3798 | 0.000000e+00 | 1.200000e+01 | Inf 396.20/396.20 c 382s|160000 | 1928 | 2116k| 13.2 | 39M| 74 | - |1973 | 19k| 0 | 0 | 20k| 212k|3956 | 0.000000e+00 | 1.200000e+01 | Inf 420.50/420.50 c 406s|170000 | 2002 | 2247k| 13.2 | 39M| 74 | 20 |1973 | 18k|1973 |1765 | 21k| 225k|4154 | 0.000000e+00 | 1.200000e+01 | Inf 444.00/444.08 c 428s|180000 | 2089 | 2370k| 13.2 | 41M| 74 | - |1973 | 20k|1973 |1765 | 22k| 239k|4324 | 0.000000e+00 | 1.200000e+01 | Inf 469.71/469.71 c 453s|190000 | 2175 | 2507k| 13.2 | 42M| 74 | - |1973 | 22k|1973 |1765 | 22k| 253k|4525 | 0.000000e+00 | 1.200000e+01 | Inf 495.10/495.11 c 478s|200000 | 2051 | 2647k| 13.2 | 41M| 74 | - |1973 | 18k|1973 |1765 | 23k| 267k|4697 | 0.000000e+00 | 1.200000e+01 | Inf 519.41/519.40 c 501s|210000 | 2399 | 2785k| 13.3 | 44M| 74 | - |1973 | 21k| 0 | 0 | 25k| 281k|4851 | 0.000000e+00 | 1.200000e+01 | Inf 544.60/544.69 c 526s|220000 | 2548 | 2935k| 13.3 | 46M| 74 | - |1973 | 23k|1973 |1765 | 25k| 295k|5021 | 0.000000e+00 | 1.200000e+01 | Inf 569.81/569.89 c 550s|230000 | 2626 | 3078k| 13.4 | 48M| 74 | 23 |1973 | 28k|1973 |1765 | 26k| 309k|5168 | 0.000000e+00 | 1.200000e+01 | Inf 595.20/595.23 c 575s|240000 | 2545 | 3214k| 13.4 | 47M| 74 | - |1973 | 24k| 0 | 0 | 27k| 323k|5333 | 0.000000e+00 | 1.200000e+01 | Inf 621.11/621.15 c 600s|250000 | 2653 | 3353k| 13.4 | 48M| 74 | 20 |1973 | 24k|1973 |1765 | 28k| 337k|5478 | 0.000000e+00 | 1.200000e+01 | Inf 647.41/647.48 c 625s|260000 | 2673 | 3489k| 13.4 | 48M| 74 | - |1973 | 22k| 0 | 0 | 29k| 352k|5648 | 0.000000e+00 | 1.200000e+01 | Inf 673.21/673.24 c 650s|270000 | 2447 | 3632k| 13.4 | 47M| 74 | 26 |1973 | 23k|1973 |1770 | 30k| 366k|5830 | 0.000000e+00 | 1.200000e+01 | Inf 699.21/699.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 699.21/699.25 c 675s|280000 | 2419 | 3774k| 13.5 | 46M| 74 | 16 |1973 | 23k|1973 |1765 | 31k| 380k|5977 | 0.000000e+00 | 1.200000e+01 | Inf 726.01/726.05 c 700s|290000 | 2508 | 3922k| 13.5 | 49M| 74 | 28 |1973 | 26k|1973 |1765 | 31k| 394k|6162 | 0.000000e+00 | 1.200000e+01 | Inf 754.51/754.53 c 728s|300000 | 2550 | 4067k| 13.6 | 49M| 74 | 12 |1973 | 25k|1973 |1765 | 32k| 408k|6340 | 0.000000e+00 | 1.200000e+01 | Inf 780.70/780.72 c 753s|310000 | 2439 | 4201k| 13.5 | 48M| 74 | 17 |1973 | 23k|1973 |1772 | 32k| 423k|6488 | 0.000000e+00 | 1.200000e+01 | Inf 805.31/805.30 c 777s|320000 | 2463 | 4324k| 13.5 | 47M| 74 | - |1973 | 21k| 0 | 0 | 33k| 437k|6564 | 0.000000e+00 | 1.200000e+01 | Inf 831.61/831.66 c 802s|330000 | 2367 | 4469k| 13.5 | 46M| 74 | - |1973 | 16k| 0 | 0 | 34k| 451k|6742 | 0.000000e+00 | 1.200000e+01 | Inf 855.11/855.15 c 825s|340000 | 2418 | 4595k| 13.5 | 47M| 74 | 19 |1973 | 19k|1973 |1765 | 35k| 464k|6865 | 0.000000e+00 | 1.200000e+01 | Inf 879.21/879.21 c 848s|350000 | 2448 | 4726k| 13.5 | 48M| 74 | 17 |1973 | 20k|1973 |1765 | 36k| 478k|6977 | 0.000000e+00 | 1.200000e+01 | Inf 905.81/905.84 c 874s|360000 | 2186 | 4874k| 13.5 | 45M| 74 | 16 |1973 | 15k|1973 |1765 | 36k| 492k|7107 | 0.000000e+00 | 1.200000e+01 | Inf 930.41/930.48 c 898s|370000 | 2315 | 5015k| 13.6 | 46M| 74 | - |1973 | 17k|1973 |1765 | 38k| 506k|7210 | 0.000000e+00 | 1.200000e+01 | Inf 954.51/954.51 c 921s|380000 | 2427 | 5138k| 13.5 | 49M| 74 | 5 |1973 | 24k|1973 |1765 | 39k| 519k|7339 | 0.000000e+00 | 1.200000e+01 | Inf 978.21/978.22 c 944s|390000 | 2458 | 5253k| 13.5 | 50M| 74 | - |1973 | 25k| 0 | 0 | 41k| 533k|7481 | 0.000000e+00 | 1.200000e+01 | Inf 1002.21/1002.27 c 967s|400000 | 2548 | 5367k| 13.4 | 51M| 74 | - |1973 | 26k| 0 | 0 | 42k| 546k|7523 | 0.000000e+00 | 1.200000e+01 | Inf 1027.91/1027.99 c 992s|410000 | 2537 | 5489k| 13.4 | 53M| 74 | 26 |1973 | 30k|1973 |1765 | 44k| 559k|7651 | 0.000000e+00 | 1.200000e+01 | Inf 1055.51/1055.59 c 1018s|420000 | 2605 | 5612k| 13.4 | 54M| 74 | - |1973 | 30k| 0 | 0 | 45k| 573k|7774 | 0.000000e+00 | 1.200000e+01 | Inf 1084.01/1084.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1084.01/1084.07 c 1046s|430000 | 2759 | 5737k| 13.3 | 56M| 74 | 20 |1973 | 32k|1973 |1773 | 46k| 586k|7850 | 0.000000e+00 | 1.200000e+01 | Inf 1112.22/1112.29 c 1073s|440000 | 2715 | 5869k| 13.3 | 55M| 74 | - |1973 | 30k| 0 | 0 | 47k| 600k|7926 | 0.000000e+00 | 1.200000e+01 | Inf 1138.42/1138.43 c 1099s|450000 | 2762 | 5988k| 13.3 | 57M| 74 | 19 |1973 | 34k|1973 |1765 | 48k| 614k|8119 | 0.000000e+00 | 1.200000e+01 | Inf 1165.61/1165.69 c 1125s|460000 | 2846 | 6109k| 13.3 | 58M| 74 | 9 |1973 | 35k|1973 |1765 | 50k| 627k|8210 | 0.000000e+00 | 1.200000e+01 | Inf 1192.82/1192.89 c 1151s|470000 | 2910 | 6228k| 13.2 | 58M| 74 | - |1973 | 35k| 0 | 0 | 51k| 640k|8265 | 0.000000e+00 | 1.200000e+01 | Inf 1221.11/1221.14 c 1179s|480000 | 3009 | 6352k| 13.2 | 61M| 74 | - |1973 | 38k|1973 |1765 | 52k| 654k|8410 | 0.000000e+00 | 1.200000e+01 | Inf 1248.52/1248.53 c 1205s|490000 | 3122 | 6477k| 13.2 | 62M| 74 | 16 |1973 | 39k|1973 |1765 | 54k| 667k|8504 | 0.000000e+00 | 1.200000e+01 | Inf 1275.22/1275.23 c 1231s|500000 | 3376 | 6602k| 13.2 | 62M| 74 | 20 |1973 | 35k|1973 |1765 | 55k| 681k|8572 | 0.000000e+00 | 1.200000e+01 | Inf 1301.11/1301.19 c 1256s|510000 | 3357 | 6720k| 13.2 | 62M| 74 | - |1973 | 34k| 0 | 0 | 56k| 695k|8735 | 0.000000e+00 | 1.200000e+01 | Inf 1327.63/1327.65 c 1282s|520000 | 3301 | 6841k| 13.2 | 61M| 74 | 7 |1973 | 32k|1973 |1765 | 57k| 708k|8790 | 0.000000e+00 | 1.200000e+01 | Inf 1355.42/1355.46 c 1309s|530000 | 3470 | 6979k| 13.2 | 61M| 74 | - |1973 | 31k| 0 | 0 | 59k| 722k|8878 | 0.000000e+00 | 1.200000e+01 | Inf 1382.72/1382.71 c 1335s|540000 | 3500 | 7109k| 13.2 | 62M| 74 | - |1973 | 33k|1973 |1765 | 60k| 735k|9006 | 0.000000e+00 | 1.200000e+01 | Inf 1409.62/1409.69 c 1361s|550000 | 3297 | 7231k| 13.1 | 61M| 74 | - |1973 | 30k|1973 |1765 | 62k| 749k|9091 | 0.000000e+00 | 1.200000e+01 | Inf 1436.22/1436.21 c 1387s|560000 | 3098 | 7356k| 13.1 | 59M| 74 | - |1973 | 29k| 0 | 0 | 63k| 763k|9160 | 0.000000e+00 | 1.200000e+01 | Inf 1463.43/1463.45 c 1413s|570000 | 2603 | 7483k| 13.1 | 54M| 74 | - |1973 | 23k| 0 | 0 | 64k| 777k|9315 | 0.000000e+00 | 1.200000e+01 | Inf 1488.02/1488.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1488.02/1488.01 c 1437s|580000 | 2733 | 7601k| 13.1 | 55M| 74 | - |1973 | 23k| 0 | 0 | 65k| 790k|9442 | 0.000000e+00 | 1.200000e+01 | Inf 1512.62/1512.61 c 1461s|590000 | 2683 | 7722k| 13.1 | 53M| 74 | - |1973 | 20k| 0 | 0 | 67k| 803k|9495 | 0.000000e+00 | 1.200000e+01 | Inf 1536.33/1536.37 c 1484s|600000 | 2255 | 7845k| 13.1 | 48M| 74 | - |1973 | 15k| 0 | 0 | 68k| 817k|9597 | 0.000000e+00 | 1.200000e+01 | Inf 1560.12/1560.18 c 1506s|610000 | 2284 | 7973k| 13.1 | 48M| 74 | - |1973 | 15k| 0 | 0 | 69k| 831k|9687 | 0.000000e+00 | 1.200000e+01 | Inf 1585.33/1585.38 c 1531s|620000 | 2324 | 8113k| 13.1 | 50M| 74 | - |1973 | 17k| 0 | 0 | 70k| 845k|9737 | 0.000000e+00 | 1.200000e+01 | Inf 1610.03/1610.05 c 1555s|630000 | 2028 | 8245k| 13.1 | 47M| 74 | 23 |1973 | 14k|1973 |1765 | 72k| 858k|9843 | 0.000000e+00 | 1.200000e+01 | Inf 1632.62/1632.62 c 1576s|640000 | 1852 | 8369k| 13.1 | 45M| 74 | - |1973 | 13k| 0 | 0 | 73k| 872k|9941 | 0.000000e+00 | 1.200000e+01 | Inf 1655.63/1655.60 c 1598s|650000 | 1611 | 8498k| 13.1 | 43M| 74 | - |1973 | 13k|1973 |1765 | 74k| 885k|9980 | 0.000000e+00 | 1.200000e+01 | Inf 1678.42/1678.42 c 1620s|660000 | 1699 | 8623k| 13.1 | 45M| 74 | - |1973 | 15k|1973 |1765 | 74k| 898k| 10k| 0.000000e+00 | 1.200000e+01 | Inf 1702.62/1702.69 c 1644s|670000 | 1846 | 8763k| 13.1 | 46M| 74 | 20 |1973 | 15k|1973 |1765 | 75k| 912k| 10k| 0.000000e+00 | 1.200000e+01 | Inf 1724.83/1724.81 c 1665s|680000 | 1726 | 8875k| 13.1 | 45M| 74 | - |1973 | 14k| 0 | 0 | 76k| 926k| 10k| 0.000000e+00 | 1.200000e+01 | Inf 1747.84/1747.89 c 1687s|690000 | 1745 | 9004k| 13.0 | 46M| 74 | 15 |1973 | 17k|1973 |1765 | 77k| 939k| 10k| 0.000000e+00 | 1.200000e+01 | Inf 1771.83/1771.80 c 1710s|700000 | 1829 | 9126k| 13.0 | 48M| 74 | 8 |1973 | 20k|1973 |1773 | 79k| 953k| 10k| 0.000000e+00 | 1.200000e+01 | Inf 1795.62/1795.65 c 1733s|710000 | 2017 | 9252k| 13.0 | 50M| 74 | 23 |1973 | 22k|1973 |1765 | 80k| 966k| 10k| 0.000000e+00 | 1.200000e+01 | Inf 1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.00 c 1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.00 c Solving Time (sec) : 1737.35 1800.04/1800.00 c Solving Nodes : 711777 1800.04/1800.00 c Primal Bound : +1.20000000000000e+01 (135 solutions) 1800.04/1800.00 c Dual Bound : +0.00000000000000e+00 1800.04/1800.00 c Gap : infinite 1800.04/1800.01 s SATISFIABLE 1800.04/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.04/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.04/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.04/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.04/1800.01 v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 1800.04/1800.01 v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 1800.04/1800.01 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 1800.04/1800.01 v -x80 -x79 x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 1800.04/1800.01 v x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 x33 -x32 -x31 -x30 -x29 1800.04/1800.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 x8 -x7 -x6 -x5 -x4 -x3 1800.04/1800.01 v -x2 -x1 1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.01 c Solving Time : 1737.35 1800.04/1800.01 c Original Problem : 1800.04/1800.01 c Problem name : HOME/instance-2693523-1277908600.wbo 1800.04/1800.01 c Variables : 2085 (1158 binary, 0 integer, 0 implicit integer, 927 continuous) 1800.04/1800.01 c Constraints : 3635 initial, 3635 maximal 1800.04/1800.01 c Presolved Problem : 1800.04/1800.01 c Problem name : t_HOME/instance-2693523-1277908600.wbo 1800.04/1800.01 c Variables : 1973 (1102 binary, 0 integer, 0 implicit integer, 871 continuous) 1800.04/1800.01 c Constraints : 3465 initial, 40575 maximal 1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.01 c trivial : 0.00 56 0 0 0 0 0 0 0 1800.04/1800.01 c dualfix : 0.00 56 0 0 0 0 0 0 0 1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0 1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 56 0 0 1800.04/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c linear : 0.04 0 0 0 929 0 114 56 0 1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c root node : - 770 - - 1540 - - - - 1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.01 c integral : 0 0 0 396846 0 360 3818 0 0 758668 1800.04/1800.01 c indicator : 871 0 3222912 14090 0 287 982434 0 0 0 1800.04/1800.01 c knapsack : 1 6 3220161 14067 0 35411 8705199 0 0 0 1800.04/1800.01 c setppc : 14 6 3189369 14028 0 54858 2324272 0 0 0 1800.04/1800.01 c linear : 871 6 3135478 14089 0 48708 3692065 80194 0 0 1800.04/1800.01 c logicor : 1708+ 6 1639431 619 0 117107 6117381 0 0 0 1800.04/1800.01 c countsols : 0 0 0 619 0 0 0 0 0 0 1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.01 c integral : 52.44 0.00 0.00 52.44 0.00 1800.04/1800.01 c indicator : 6.79 0.01 6.47 0.31 0.00 1800.04/1800.01 c knapsack : 33.93 0.00 33.93 0.00 0.00 1800.04/1800.01 c setppc : 13.90 0.00 13.88 0.02 0.00 1800.04/1800.01 c linear : 44.90 0.00 44.51 0.39 0.00 1800.04/1800.01 c logicor : 223.44 0.00 223.43 0.01 0.00 1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.01 c vbounds : 0.84 2 0 0 1800.04/1800.01 c rootredcost : 0.66 25 0 770 1800.04/1800.01 c pseudoobj : 58.72 3228104 2166 829989 1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.01 c propagation : 9.80 258250 257747 1544626 27.3 8532 24.0 - 1800.04/1800.01 c infeasible LP : 21.74 116273 116272 941213 42.8 1024 17.9 0 1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.01 c pseudo solution : 0.00 32 32 205 19.5 6 9.3 - 1800.04/1800.01 c applied globally : - - - 968890 27.8 - - - 1800.04/1800.01 c applied locally : - - - 0 0.0 - - - 1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.01 c cut pool : 0.00 5 - - 55 - (maximal pool size: 421) 1800.04/1800.01 c redcost : 11.16 398518 0 125766 0 0 1800.04/1800.01 c impliedbounds : 0.00 6 0 0 0 0 1800.04/1800.01 c intobj : 0.00 0 0 0 0 0 1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.01 c gomory : 0.10 6 0 0 2278 0 1800.04/1800.01 c strongcg : 0.08 6 0 0 1764 0 1800.04/1800.01 c cmir : 0.01 6 0 0 0 0 1800.04/1800.01 c flowcover : 0.04 6 0 0 0 0 1800.04/1800.01 c clique : 0.00 6 0 0 0 0 1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.01 c mcf : 0.00 1 0 0 0 0 1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0 1800.04/1800.01 c Pricers : Time Calls Vars 1800.04/1800.01 c problem variables: 0.00 0 0 1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.01 c relpscost : 52.14 382738 360 3818 0 0 758668 1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.01 c inference : 0.03 596 0 0 0 0 1192 1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.01 c random : 0.00 0 0 0 0 0 0 1800.04/1800.01 c Primal Heuristics : Time Calls Found 1800.04/1800.01 c LP solutions : 0.01 - 23 1800.04/1800.01 c pseudo solutions : 0.00 - 0 1800.04/1800.01 c feaspump : 0.02 1 0 1800.04/1800.01 c oneopt : 0.33 24 0 1800.04/1800.01 c intshifting : 0.05 20 0 1800.04/1800.01 c crossover : 0.34 14 0 1800.04/1800.01 c fracdiving : 0.32 87 0 1800.04/1800.01 c veclendiving : 0.30 87 0 1800.04/1800.01 c guideddiving : 0.36 87 0 1800.04/1800.01 c coefdiving : 0.30 87 0 1800.04/1800.01 c pscostdiving : 0.29 87 0 1800.04/1800.01 c rootsoldiving : 0.44 44 0 1800.04/1800.01 c linesearchdiving : 0.27 88 0 1800.04/1800.01 c objpscostdiving : 0.32 45 0 1800.04/1800.01 c trivial : 0.01 2 0 1800.04/1800.01 c simplerounding : 0.66 383101 0 1800.04/1800.01 c zirounding : 0.47 1000 1 1800.04/1800.01 c rounding : 0.93 8694 0 1800.04/1800.01 c shifting : 0.74 2751 0 1800.04/1800.01 c twoopt : 0.00 0 0 1800.04/1800.01 c fixandinfer : 0.00 0 0 1800.04/1800.01 c intdiving : 0.00 0 0 1800.04/1800.01 c actconsdiving : 0.00 0 0 1800.04/1800.01 c octane : 0.00 0 0 1800.04/1800.01 c rens : 0.03 1 0 1800.04/1800.01 c rins : 0.00 0 0 1800.04/1800.01 c localbranching : 0.00 0 0 1800.04/1800.01 c mutation : 0.00 0 0 1800.04/1800.01 c dins : 0.00 0 0 1800.04/1800.01 c undercover : 0.00 0 0 1800.04/1800.01 c nlp : 0.25 0 0 1800.04/1800.01 c trysol : 0.56 1648 111 1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.01 c primal LP : 0.00 0 0 0.00 - 1800.04/1800.01 c dual LP : 918.20 510976 9262244 18.13 10087.39 1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.01 c diving/probing LP: 1.82 1056 11677 11.06 6415.93 1800.04/1800.01 c strong branching : 48.22 10535 450390 42.75 9340.32 1800.04/1800.01 c (at root node) : - 33 20142 610.36 - 1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.01 c B&B Tree : 1800.04/1800.01 c number of runs : 1 1800.04/1800.01 c nodes : 711777 1800.04/1800.01 c nodes (total) : 711777 1800.04/1800.01 c nodes left : 2051 1800.04/1800.01 c max depth : 74 1800.04/1800.01 c max depth (total): 74 1800.04/1800.01 c backtracks : 97789 (13.7%) 1800.04/1800.01 c delayed cutoffs : 45462 1800.04/1800.01 c repropagations : 1220007 (4127288 domain reductions, 42262 cutoffs) 1800.04/1800.01 c avg switch length: 5.19 1800.04/1800.01 c switching time : 192.50 1800.04/1800.01 c Solution : 1800.04/1800.01 c Solutions found : 135 (25 improvements) 1800.04/1800.01 c First Solution : +4.29620000000000e+04 (in run 1, after 1 nodes, 0.24 seconds, depth 0, found by <trysol>) 1800.04/1800.01 c Primal Bound : +1.20000000000000e+01 (in run 1, after 86660 nodes, 215.45 seconds, depth 36, found by <relaxation>) 1800.04/1800.01 c Dual Bound : +0.00000000000000e+00 1800.04/1800.01 c Gap : infinite 1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.01 c Root Iterations : 1534 1800.04/1800.08 c Time complete: 1800.11.
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693523-1277908600/watcher-2693523-1277908600 -o /tmp/evaluation-result-2693523-1277908600/solver-2693523-1277908600 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693523-1277908600.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.02 2.01 2.00 4/178 12900 /proc/meminfo: memFree=31454196/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=10872 CPUtime=0 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 1665 0 0 0 0 0 0 0 25 0 1 0 132156955 11132928 1586 4089446400 4194304 9819077 140734215006832 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12900/statm: 2718 1586 392 1374 0 1339 0 [startup+0.0266229 s] /proc/loadavg: 2.02 2.01 2.00 4/178 12900 /proc/meminfo: memFree=31454196/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=15044 CPUtime=0.02 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 2603 0 0 0 2 0 0 0 25 0 1 0 132156955 15405056 2525 4089446400 4194304 9819077 140734215006832 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12900/statm: 3761 2559 392 1374 0 2382 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 15044 [startup+0.100604 s] /proc/loadavg: 2.02 2.01 2.00 4/178 12900 /proc/meminfo: memFree=31454196/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=25884 CPUtime=0.09 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 7410 0 0 0 9 0 0 0 25 0 1 0 132156955 26505216 5178 4089446400 4194304 9819077 140734215006832 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 6471 4924 512 1374 0 5092 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25884 [startup+0.300574 s] /proc/loadavg: 2.02 2.01 2.00 4/178 12900 /proc/meminfo: memFree=31454196/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=34828 CPUtime=0.29 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 11586 0 0 0 27 2 0 0 25 0 1 0 132156955 35663872 7181 4089446400 4194304 9819077 140734215006832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 8707 7181 690 1374 0 7328 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 34828 [startup+0.700498 s] /proc/loadavg: 2.02 2.01 2.00 4/178 12900 /proc/meminfo: memFree=31454196/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=39800 CPUtime=0.69 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 21586 0 0 0 66 3 0 0 25 0 1 0 132156955 40755200 7732 4089446400 4194304 9819077 140734215006832 18446744073709551615 7296819 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 9950 7732 714 1374 0 8571 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39800 [startup+1.5003 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12901 /proc/meminfo: memFree=31425544/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=39740 CPUtime=1.49 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 27191 0 0 0 145 4 0 0 25 0 1 0 132156955 40693760 7733 4089446400 4194304 9819077 140734215006832 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 9935 7733 714 1374 0 8556 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39740 [startup+3.10103 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12901 /proc/meminfo: memFree=31425544/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=39932 CPUtime=3.09 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 38433 0 0 0 302 7 0 0 25 0 1 0 132156955 40890368 7720 4089446400 4194304 9819077 140734215006832 18446744073709551615 6192281 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 9983 7720 714 1374 0 8604 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39932 [startup+6.30045 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12901 /proc/meminfo: memFree=31425412/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=39740 CPUtime=6.29 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 58942 0 0 0 618 11 0 0 25 0 1 0 132156955 40693760 7756 4089446400 4194304 9819077 140734215006832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 9935 7756 718 1374 0 8556 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39740 [startup+12.7003 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12901 /proc/meminfo: memFree=31425524/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=39764 CPUtime=12.69 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 98653 0 0 0 1248 21 0 0 25 0 1 0 132156955 40718336 7737 4089446400 4194304 9819077 140734215006832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 9941 7737 718 1374 0 8562 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39764 [startup+25.5011 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12902 /proc/meminfo: memFree=31417392/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=46484 CPUtime=25.49 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 218847 0 0 0 2495 54 0 0 25 0 1 0 132156955 47599616 9937 4089446400 4194304 9819077 140734215006832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 11586 9935 727 1374 0 10207 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46484 [startup+51.1006 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12902 /proc/meminfo: memFree=31397904/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=63384 CPUtime=51.1 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 495796 0 0 0 4961 149 0 0 25 0 1 0 132156955 64905216 14166 4089446400 4194304 9819077 140734215006832 18446744073709551615 6192064 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 15846 14166 727 1374 0 14467 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 63384 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12904 /proc/meminfo: memFree=31390916/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=70604 CPUtime=102.3 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 1115029 0 0 0 9881 349 0 0 25 0 1 0 132156955 72298496 15940 4089446400 4194304 9819077 140734215006832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 17651 15940 742 1374 0 16272 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 70604 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12905 /proc/meminfo: memFree=31380592/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=80112 CPUtime=162.3 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 1746232 0 0 0 15669 561 0 0 25 0 1 0 132156955 82034688 18293 4089446400 4194304 9819077 140734215006832 18446744073709551615 6591525 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 20028 18293 742 1374 0 18649 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 80112 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12907 /proc/meminfo: memFree=31374344/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=88220 CPUtime=222.29 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 2353974 0 0 0 21450 779 0 0 25 0 1 0 132156955 90337280 19808 4089446400 4194304 9819077 140734215006832 18446744073709551615 7291896 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 22055 19808 742 1374 0 20676 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 88220 [startup+282.301 s] /proc/loadavg: 2.03 2.01 2.00 3/179 12908 /proc/meminfo: memFree=31369576/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=90900 CPUtime=282.29 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 2982029 0 0 0 27233 996 0 0 25 0 1 0 132156955 93081600 20890 4089446400 4194304 9819077 140734215006832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 22725 20890 742 1374 0 21346 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 90900 [startup+342.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12910 /proc/meminfo: memFree=31367168/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=94988 CPUtime=342.29 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 3571379 0 0 0 33021 1208 0 0 25 0 1 0 132156955 97267712 21499 4089446400 4194304 9819077 140734215006832 18446744073709551615 7333877 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 23831 21501 742 1374 0 22452 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 94988 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12912 /proc/meminfo: memFree=31363660/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=97072 CPUtime=402.3 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 4169208 0 0 0 38811 1419 0 0 25 0 1 0 132156955 99401728 22509 4089446400 4194304 9819077 140734215006832 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 24268 22509 742 1374 0 22889 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 97072 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12913 /proc/meminfo: memFree=31359028/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=101480 CPUtime=462.3 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 4722321 0 0 0 44607 1623 0 0 25 0 1 0 132156955 103915520 23532 4089446400 4194304 9819077 140734215006832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 25370 23532 742 1374 0 23991 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 101480 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12915 /proc/meminfo: memFree=31356496/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=103836 CPUtime=522.3 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 5280808 0 0 0 50403 1827 0 0 25 0 1 0 132156955 106328064 24107 4089446400 4194304 9819077 140734215006832 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 25959 24107 742 1374 0 24580 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 103836 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12916 /proc/meminfo: memFree=31351240/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=109008 CPUtime=582.31 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 5818894 0 0 0 56208 2023 0 0 25 0 1 0 132156955 111624192 25438 4089446400 4194304 9819077 140734215006832 18446744073709551615 4924227 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12900/statm: 27252 25438 742 1374 0 25873 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 109008 [startup+642.3 s] /proc/loadavg: 1.94 1.98 1.99 3/179 12946 /proc/meminfo: memFree=31499896/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=110384 CPUtime=642.3 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 6368756 0 0 0 61987 2243 0 0 25 0 1 0 132156955 113033216 25958 4089446400 4194304 9819077 140734215006832 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 27596 25958 742 1374 0 26217 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 110384 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12951 /proc/meminfo: memFree=31496532/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=114640 CPUtime=822.31 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 8047887 0 0 0 79333 2898 0 0 25 0 1 0 132156955 117391360 26679 4089446400 4194304 9819077 140734215006832 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 28660 26679 742 1374 0 27281 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 114640 [startup+882.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12952 /proc/meminfo: memFree=31495756/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=115200 CPUtime=882.31 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 8629773 0 0 0 85109 3122 0 0 25 0 1 0 132156955 117964800 26832 4089446400 4194304 9819077 140734215006832 18446744073709551615 4221902 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 28800 26832 742 1374 0 27421 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 115200 [startup+942.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12954 /proc/meminfo: memFree=31495104/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=115816 CPUtime=942.31 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 9191381 0 0 0 90899 3332 0 0 25 0 1 0 132156955 118595584 27072 4089446400 4194304 9819077 140734215006832 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 28954 27072 742 1374 0 27575 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 115816 [startup+1002.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12956 /proc/meminfo: memFree=31494692/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=116408 CPUtime=1002.31 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 9718596 0 0 0 96694 3537 0 0 25 0 1 0 132156955 119201792 27132 4089446400 4194304 9819077 140734215006832 18446744073709551615 6519461 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 29102 27132 742 1374 0 27723 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 116408 [startup+1062.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12957 /proc/meminfo: memFree=31490948/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=119764 CPUtime=1062.31 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 10195183 0 0 0 102494 3737 0 0 25 0 1 0 132156955 122638336 28001 4089446400 4194304 9819077 140734215006832 18446744073709551615 7291592 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 29941 28001 742 1374 0 28562 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 119764 [startup+1122.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12959 /proc/meminfo: memFree=31489428/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=121344 CPUtime=1122.32 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 10653750 0 0 0 108303 3929 0 0 25 0 1 0 132156955 124256256 28358 4089446400 4194304 9819077 140734215006832 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 30336 28358 742 1374 0 28957 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 121344 [startup+1182.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12960 /proc/meminfo: memFree=31487292/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=123564 CPUtime=1182.32 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 11129918 0 0 0 114111 4121 0 0 25 0 1 0 132156955 126529536 28826 4089446400 4194304 9819077 140734215006832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 30891 28826 742 1374 0 29512 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 123564 [startup+1242.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12962 /proc/meminfo: memFree=31485016/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=126312 CPUtime=1242.31 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 11603081 0 0 0 119922 4309 0 0 25 0 1 0 132156955 129343488 29382 4089446400 4194304 9819077 140734215006832 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 31578 29382 742 1374 0 30199 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 126312 [startup+1302.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12964 /proc/meminfo: memFree=31483620/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=127832 CPUtime=1302.32 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 12095490 0 0 0 125723 4509 0 0 25 0 1 0 132156955 130899968 29724 4089446400 4194304 9819077 140734215006832 18446744073709551615 4208920 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 31958 29724 742 1374 0 30579 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 127832 [startup+1362.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12965 /proc/meminfo: memFree=31483224/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=127808 CPUtime=1362.32 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 12577930 0 0 0 131534 4698 0 0 25 0 1 0 132156955 130875392 29765 4089446400 4194304 9819077 140734215006832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 31952 29765 742 1374 0 30573 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 127808 [startup+1422.31 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12967 /proc/meminfo: memFree=31483060/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=128452 CPUtime=1422.33 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 13106627 0 0 0 137339 4894 0 0 25 0 1 0 132156955 131534848 29862 4089446400 4194304 9819077 140734215006832 18446744073709551615 6391578 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12900/statm: 32113 29862 742 1374 0 30734 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 128452 [startup+1482.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12977 /proc/meminfo: memFree=31481232/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=129160 CPUtime=1482.32 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 13654273 0 0 0 143139 5093 0 0 25 0 1 0 132156955 132259840 30019 4089446400 4194304 9819077 140734215006832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12900/statm: 32290 30019 742 1374 0 30911 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 129160 [startup+1542.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12979 /proc/meminfo: memFree=31480460/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=130668 CPUtime=1542.33 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 14223042 0 0 0 148927 5306 0 0 25 0 1 0 132156955 133804032 30212 4089446400 4194304 9819077 140734215006832 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12900/statm: 32667 30212 742 1374 0 31288 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 130668 [startup+1602.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12981 /proc/meminfo: memFree=31480056/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=131112 CPUtime=1602.32 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 14791631 0 0 0 154712 5520 0 0 25 0 1 0 132156955 134258688 30297 4089446400 4194304 9819077 140734215006832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12900/statm: 32778 30297 742 1374 0 31399 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 131112 [startup+1662.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12982 /proc/meminfo: memFree=31479528/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=131560 CPUtime=1662.33 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 15393983 0 0 0 160488 5745 0 0 25 0 1 0 132156955 134717440 30427 4089446400 4194304 9819077 140734215006832 18446744073709551615 6386071 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12900/statm: 32890 30427 742 1374 0 31511 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 131560 [startup+1722.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12984 /proc/meminfo: memFree=31479612/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=131664 CPUtime=1722.33 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 15977253 0 0 0 166260 5973 0 0 25 0 1 0 132156955 134823936 30482 4089446400 4194304 9819077 140734215006832 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12900/statm: 32916 30482 742 1374 0 31537 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 131664 [startup+1782.3 s] /proc/loadavg: 2.03 2.00 2.00 3/179 12985 /proc/meminfo: memFree=31479080/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=131632 CPUtime=1782.32 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 16559776 0 0 0 172029 6203 0 0 25 0 1 0 132156955 134791168 30467 4089446400 4194304 9819077 140734215006832 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12900/statm: 32908 30467 742 1374 0 31529 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 131632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.00 2.00 3/179 12986 /proc/meminfo: memFree=31479184/32950928 swapFree=67111528/67111528 [pid=12900] ppid=12898 vsize=131564 CPUtime=1800.04 /proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 16726901 0 0 0 173737 6267 0 0 25 0 1 0 132156955 134721536 30491 4089446400 4194304 9819077 140734215006832 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12900/statm: 32891 30491 742 1374 0 31512 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 131564 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.08 CPU time (s): 1800.12 CPU user time (s): 1737.44 CPU system time (s): 62.6785 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 133860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1737.44 system time used= 62.6785 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16726906 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= 1 involuntary context switches= 1599 runsolver used 2.55561 second user time and 5.64514 second system time The end
Begin job on node120 at 2010-06-30 16:36:40 IDJOB=2693523 IDBENCH=78960 IDSOLVER=1205 FILE ID=node120/2693523-1277908600 PBS_JOBID= 11197198 Free space on /tmp= 74204 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.1900567024--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-2693523-1277908600/watcher-2693523-1277908600 -o /tmp/evaluation-result-2693523-1277908600/solver-2693523-1277908600 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693523-1277908600.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7129b2638275c1b1b14ce0a3da71735e RANDOM SEED=1338836470 node120.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.820 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.64 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.820 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.07 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.820 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.80 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.68 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.820 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.820 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31454724 kB Buffers: 193924 kB Cached: 941152 kB SwapCached: 0 kB Active: 764128 kB Inactive: 590348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31454724 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6276 kB Writeback: 0 kB AnonPages: 218676 kB Mapped: 17664 kB Slab: 78120 kB PageTables: 5464 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 376228 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 node120 at 2010-06-30 17:06:42