Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1790.16 | 1790.09 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo |
MD5SUM | 94413eaf3e98de59f2ecdb125fc71636 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 313.541 |
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 | 961 |
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 | 46411 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46410 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 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-2705506-1278572954.wbo> 0.00/0.02 c original problem has 2153 variables (1192 bin, 0 int, 961 impl, 0 cont) and 3669 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.04 c presolving: 0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 15 clqs 0.04/0.07 c (round 2) 0 del vars, 107 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 15 clqs 0.04/0.08 c (round 3) 50 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 200 impls, 15 clqs 0.04/0.09 c (round 4) 100 del vars, 233 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 200 impls, 15 clqs 0.09/0.14 c (0.1s) probing: 101/1142 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.14 c presolving (5 rounds): 0.09/0.14 c 100 deleted vars, 233 deleted constraints, 961 tightened bounds, 0 added holes, 50 changed sides, 0 changed coefficients 0.09/0.14 c 2015 implications, 15 cliques 0.09/0.14 c presolved problem has 2053 variables (1142 bin, 0 int, 911 impl, 0 cont) and 3436 constraints 0.09/0.14 c 1 constraints of type <knapsack> 0.09/0.14 c 39 constraints of type <setppc> 0.09/0.14 c 911 constraints of type <linear> 0.09/0.14 c 911 constraints of type <indicator> 0.09/0.14 c 1574 constraints of type <logicor> 0.09/0.14 c transformed objective value is always integral (scale: 1) 0.09/0.14 c Presolving Time: 0.10 0.09/0.14 c - non default parameters ---------------------------------------------------------------------- 0.09/0.14 c # SCIP version 1.2.1.3 0.09/0.14 c 0.09/0.14 c # frequency for displaying node information lines 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.14 c display/freq = 10000 0.09/0.14 c 0.09/0.14 c # maximal time in seconds to run 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/time = 1789.98 0.09/0.14 c 0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/memory = 3420 0.09/0.14 c 0.09/0.14 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.14 c # [type: int, range: [1,2], default: 1] 0.09/0.14 c timing/clocktype = 2 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify inequalities 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/linear/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/indicator/addCouplingCons = TRUE 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify knapsacks 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/rapidlearning/freq = 0 0.09/0.14 c 0.09/0.14 c ----------------------------------------------------------------------------------------------- 0.09/0.14 c start solving 0.09/0.14 c 0.09/0.14 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.14 c 0.1s| 1 | 0 | 29 | - |9183k| 0 | 20 |2053 |3436 |2053 |1614 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.28 c 0.3s| 1 | 0 | 47 | - |9318k| 0 | 20 |2053 |3437 |2053 |1629 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.32 c 0.3s| 1 | 0 | 60 | - |9494k| 0 | 22 |2053 |3437 |2053 |1637 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.36 c 0.3s| 1 | 0 | 74 | - |9715k| 0 | 22 |2053 |3437 |2053 |1645 | 31 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.43 c 0.4s| 1 | 0 | 96 | - | 10M| 0 | 25 |2053 |3437 |2053 |1650 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.49 c 0.5s| 1 | 0 | 130 | - | 10M| 0 | 30 |2053 |3437 |2053 |1652 | 38 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.56 c 0.5s| 1 | 0 | 149 | - | 10M| 0 | 41 |2053 |3437 |2053 |1656 | 42 | 0 | 0 | 0.000000e+00 | -- | Inf 1.09/1.18 c 1.2s| 1 | 2 | 149 | - | 10M| 0 | 41 |2053 |3437 |2053 |1656 | 42 | 0 | 14 | 0.000000e+00 | -- | Inf 2.79/2.84 o 43928 2.79/2.84 c y 2.8s| 16 | 15 | 971 | 54.8 | 11M| 14 | - |2053 |3437 | 0 | 0 | 54 | 0 | 152 | 0.000000e+00 | 4.392800e+04 | Inf 5.40/5.44 o 393 5.40/5.44 c * 5.4s| 1134 | 1089 | 2074 | 1.7 | 13M| 149 | - |2053 |3482 |2053 |1650 | 137 | 45 | 651 | 0.000000e+00 | 3.930000e+02 | Inf 5.99/6.03 o 306 5.99/6.03 c * 6.0s| 1465 | 1306 | 2363 | 1.5 | 14M| 149 | - |2053 |3499 |2053 |1649 | 165 | 62 | 719 | 0.000000e+00 | 3.060000e+02 | Inf 6.29/6.32 o 280 6.29/6.32 c * 6.3s| 1676 | 1453 | 2591 | 1.5 | 14M| 149 | - |2053 |3517 |2053 |1655 | 194 | 80 | 752 | 0.000000e+00 | 2.800000e+02 | Inf 6.39/6.40 o 278 6.39/6.40 c * 6.4s| 1720 | 1472 | 2668 | 1.5 | 15M| 149 | - |2053 |3544 |2053 |1654 | 207 | 107 | 759 | 0.000000e+00 | 2.780000e+02 | Inf 6.49/6.53 o 275 6.49/6.53 c * 6.5s| 1774 | 1508 | 2872 | 1.5 | 15M| 149 | - |2053 |3551 |2053 |1644 | 221 | 114 | 789 | 0.000000e+00 | 2.750000e+02 | Inf 6.49/6.55 o 179 6.49/6.55 c * 6.5s| 1787 | 1054 | 2873 | 1.5 | 14M| 149 | - |2053 |3555 |2053 |1644 | 221 | 118 | 789 | 0.000000e+00 | 1.790000e+02 | Inf 6.49/6.57 o 164 6.49/6.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 6.49/6.57 c * 6.5s| 1799 | 954 | 2874 | 1.5 | 14M| 149 | - |2053 |3559 |2053 |1644 | 221 | 122 | 789 | 0.000000e+00 | 1.640000e+02 | Inf 6.59/6.65 o 151 6.59/6.65 c * 6.6s| 1819 | 871 | 3001 | 1.6 | 14M| 149 | - |2053 |3581 |2053 |1647 | 233 | 144 | 806 | 0.000000e+00 | 1.510000e+02 | Inf 6.59/6.66 o 145 6.59/6.66 c * 6.6s| 1820 | 820 | 3003 | 1.6 | 14M| 149 | - |2053 |3581 |2053 |1644 | 233 | 144 | 806 | 0.000000e+00 | 1.450000e+02 | Inf 6.68/6.73 o 132 6.68/6.73 c * 6.7s| 1838 | 760 | 3052 | 1.6 | 14M| 149 | - |2053 |3585 |2053 |1645 | 236 | 148 | 826 | 0.000000e+00 | 1.320000e+02 | Inf 6.68/6.78 o 116 6.68/6.78 c * 6.8s| 1865 | 636 | 3078 | 1.6 | 14M| 149 | - |2053 |3616 |2053 |1646 | 240 | 179 | 827 | 0.000000e+00 | 1.160000e+02 | Inf 6.88/6.99 o 108 6.88/6.99 c * 7.0s| 1906 | 587 | 3371 | 1.7 | 14M| 149 | - |2053 |3654 |2053 |1649 | 264 | 217 | 877 | 0.000000e+00 | 1.080000e+02 | Inf 6.88/6.99 o 105 6.88/6.99 c * 7.0s| 1907 | 570 | 3371 | 1.7 | 14M| 149 | - |2053 |3654 |2053 |1649 | 264 | 217 | 877 | 0.000000e+00 | 1.050000e+02 | Inf 11.89/11.95 o 102 11.89/11.95 c *11.9s| 3594 | 1013 | 13212 | 3.6 | 19M| 149 | - |2053 |4812 |2053 |1654 |1016 |1994 |1689 | 0.000000e+00 | 1.020000e+02 | Inf 15.99/16.09 o 63 15.99/16.09 c *16.1s| 5539 | 1241 | 22682 | 4.1 | 21M| 149 | - |2053 |5262 |2053 |1647 |1742 |3700 |1878 | 0.000000e+00 | 6.300000e+01 | Inf 15.99/16.09 o 52 15.99/16.09 c *16.1s| 5540 | 1174 | 22682 | 4.1 | 21M| 149 | - |2053 |5262 |2053 |1647 |1742 |3700 |1878 | 0.000000e+00 | 5.200000e+01 | Inf 21.69/21.71 o 41 21.69/21.71 c *21.7s| 8160 | 1273 | 45871 | 5.6 | 23M| 149 | - |2053 |5498 |2053 |1649 |2405 |6688 |2004 | 0.000000e+00 | 4.100000e+01 | Inf 25.30/25.35 c 25.3s| 10000 | 1347 | 63388 | 6.3 | 24M| 149 | 1 |2053 |5411 |2053 |1642 |2779 |8841 |2017 | 0.000000e+00 | 4.100000e+01 | Inf 27.39/27.44 o 30 27.39/27.44 c *27.4s| 11100 | 1301 | 72036 | 6.5 | 24M| 149 | - |2053 |6052 |2053 |1652 |3025 | 10k|2020 | 0.000000e+00 | 3.000000e+01 | Inf 30.89/30.99 o 28 30.89/30.99 c *31.0s| 13066 | 1262 | 88467 | 6.8 | 24M| 149 | - |2053 |6260 |2053 |1647 |3477 | 12k|2021 | 0.000000e+00 | 2.800000e+01 | Inf 31.59/31.62 o 24 31.59/31.62 c *31.6s| 13391 | 1196 | 91396 | 6.8 | 23M| 149 | - |2053 |6358 |2053 |1642 |3541 | 13k|2021 | 0.000000e+00 | 2.400000e+01 | Inf 44.09/44.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 44.09/44.11 c 44.1s| 20000 | 1239 |152920 | 7.6 | 25M| 149 | - |2053 |7110 | 0 | 0 |4914 | 21k|2038 | 0.000000e+00 | 2.400000e+01 | Inf 53.20/53.22 o 20 53.20/53.22 c *53.2s| 24693 | 1304 |198998 | 8.1 | 26M| 149 | - |2053 |8698 |2053 |1658 |6322 | 27k|2038 | 0.000000e+00 | 2.000000e+01 | Inf 57.69/57.79 o 19 57.69/57.79 c *57.8s| 27121 | 1323 |222295 | 8.2 | 27M| 149 | - |2053 |9011 |2053 |1649 |6881 | 30k|2072 | 0.000000e+00 | 1.900000e+01 | Inf 63.99/64.04 c 64.0s| 30000 | 1401 |256885 | 8.6 | 27M| 149 | 17 |2053 |8681 |2053 |1642 |7430 | 33k|2207 | 0.000000e+00 | 1.900000e+01 | Inf 85.30/85.39 c 85.4s| 40000 | 1530 |365490 | 9.1 | 30M| 149 | 14 |2053 |9598 |2053 |1651 | 10k| 46k|2652 | 0.000000e+00 | 1.900000e+01 | Inf 106.19/106.27 c 106s| 50000 | 1665 |471553 | 9.4 | 33M| 149 | 29 |2053 | 10k|2053 |1653 | 12k| 58k|3085 | 0.000000e+00 | 1.900000e+01 | Inf 126.79/126.85 c 127s| 60000 | 1702 |573459 | 9.6 | 35M| 149 | 23 |2053 | 10k|2053 |1642 | 14k| 71k|3457 | 0.000000e+00 | 1.900000e+01 | Inf 144.60/144.70 o 13 144.60/144.70 c * 145s| 68230 | 1560 |665673 | 9.8 | 34M| 149 | - |2053 | 10k|2053 |1655 | 16k| 82k|3722 | 0.000000e+00 | 1.300000e+01 | Inf 148.41/148.48 c 148s| 70000 | 1563 |685865 | 9.8 | 34M| 149 | 17 |2053 | 10k|2053 |1647 | 16k| 84k|3789 | 0.000000e+00 | 1.300000e+01 | Inf 158.10/158.14 o 7 158.10/158.14 c * 158s| 74595 | 564 |736784 | 9.9 | 23M| 149 | - |2053 | 11k|2053 |1660 | 17k| 90k|3950 | 0.000000e+00 | 7.000000e+00 | Inf 169.80/169.81 c 170s| 80000 | 557 |804049 | 10.0 | 23M| 149 | 15 |2053 | 10k|2053 |1642 | 18k| 97k|4155 | 0.000000e+00 | 7.000000e+00 | Inf 190.00/190.05 c 190s| 90000 | 801 |920920 | 10.2 | 25M| 149 | - |2053 | 13k| 0 | 0 | 20k| 110k|4443 | 0.000000e+00 | 7.000000e+00 | Inf 209.80/209.81 c 210s|100000 | 965 | 1021k| 10.2 | 27M| 149 | - |2053 | 15k| 0 | 0 | 22k| 122k|4700 | 0.000000e+00 | 7.000000e+00 | Inf 229.40/229.42 c 229s|110000 | 971 | 1122k| 10.2 | 28M| 149 | 20 |2053 | 16k|2053 |1649 | 24k| 136k|4884 | 0.000000e+00 | 7.000000e+00 | Inf 249.90/249.94 c 250s|120000 | 992 | 1224k| 10.2 | 29M| 149 | - |2053 | 16k| 0 | 0 | 26k| 149k|5135 | 0.000000e+00 | 7.000000e+00 | Inf 270.50/270.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 270.50/270.58 c 271s|130000 | 998 | 1329k| 10.2 | 29M| 149 | 10 |2053 | 15k|2053 |1642 | 28k| 162k|5304 | 0.000000e+00 | 7.000000e+00 | Inf 290.90/290.95 c 291s|140000 | 953 | 1432k| 10.2 | 29M| 149 | 8 |2053 | 15k|2053 |1642 | 30k| 176k|5545 | 0.000000e+00 | 7.000000e+00 | Inf 310.91/310.94 c 311s|150000 | 938 | 1533k| 10.2 | 29M| 149 | 13 |2053 | 15k|2053 |1642 | 32k| 189k|5751 | 0.000000e+00 | 7.000000e+00 | Inf 331.30/331.34 c 331s|160000 | 907 | 1639k| 10.2 | 30M| 149 | - |2053 | 18k| 0 | 0 | 34k| 202k|5906 | 0.000000e+00 | 7.000000e+00 | Inf 351.81/351.89 c 352s|170000 | 927 | 1740k| 10.2 | 31M| 149 | - |2053 | 20k| 0 | 0 | 35k| 216k|6109 | 0.000000e+00 | 7.000000e+00 | Inf 373.40/373.48 c 373s|180000 | 875 | 1840k| 10.2 | 31M| 149 | 23 |2053 | 21k|2053 |1642 | 37k| 229k|6283 | 0.000000e+00 | 7.000000e+00 | Inf 395.61/395.65 c 396s|190000 | 842 | 1947k| 10.2 | 32M| 149 | 27 |2053 | 23k|2053 |1642 | 39k| 242k|6426 | 0.000000e+00 | 7.000000e+00 | Inf 417.11/417.14 c 417s|200000 | 830 | 2042k| 10.2 | 33M| 149 | 18 |2053 | 26k|2053 |1642 | 40k| 255k|6564 | 0.000000e+00 | 7.000000e+00 | Inf 439.01/439.06 c 439s|210000 | 801 | 2136k| 10.2 | 33M| 149 | - |2053 | 26k|2053 |1642 | 42k| 269k|6701 | 0.000000e+00 | 7.000000e+00 | Inf 462.40/462.47 c 462s|220000 | 789 | 2231k| 10.1 | 34M| 149 | 6 |2053 | 28k|2053 |1642 | 45k| 282k|6850 | 0.000000e+00 | 7.000000e+00 | Inf 486.41/486.47 c 486s|230000 | 808 | 2327k| 10.1 | 35M| 149 | 8 |2053 | 30k|2053 |1642 | 47k| 295k|7021 | 0.000000e+00 | 7.000000e+00 | Inf 510.61/510.68 c 511s|240000 | 831 | 2436k| 10.2 | 35M| 149 | - |2053 | 28k| 0 | 0 | 50k| 309k|7169 | 0.000000e+00 | 7.000000e+00 | Inf 534.51/534.53 c 535s|250000 | 878 | 2538k| 10.2 | 36M| 149 | - |2053 | 31k| 0 | 0 | 54k| 322k|7288 | 0.000000e+00 | 7.000000e+00 | Inf 558.11/558.19 c 558s|260000 | 948 | 2634k| 10.1 | 38M| 149 | 23 |2053 | 34k|2053 |1642 | 56k| 336k|7403 | 0.000000e+00 | 7.000000e+00 | Inf 582.92/583.00 c 583s|270000 | 966 | 2730k| 10.1 | 39M| 149 | 9 |2053 | 37k|2053 |1652 | 58k| 349k|7523 | 0.000000e+00 | 7.000000e+00 | Inf 608.81/608.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 608.81/608.84 c 609s|280000 | 1250 | 2821k| 10.1 | 41M| 149 | - |2053 | 39k| 0 | 0 | 61k| 362k|7650 | 0.000000e+00 | 7.000000e+00 | Inf 635.73/635.71 c 636s|290000 | 1382 | 2918k| 10.1 | 43M| 149 | 9 |2053 | 40k|2053 |1642 | 64k| 375k|7790 | 0.000000e+00 | 7.000000e+00 | Inf 662.72/662.75 c 663s|300000 | 1458 | 3009k| 10.0 | 44M| 149 | - |2053 | 41k| 0 | 0 | 67k| 389k|7903 | 0.000000e+00 | 7.000000e+00 | Inf 690.61/690.62 c 691s|310000 | 1330 | 3108k| 10.0 | 44M| 149 | 16 |2053 | 41k|2053 |1642 | 69k| 403k|8026 | 0.000000e+00 | 7.000000e+00 | Inf 718.02/718.07 c 718s|320000 | 1307 | 3204k| 10.0 | 45M| 149 | 1 |2053 | 43k|2053 |1642 | 71k| 417k|8136 | 0.000000e+00 | 7.000000e+00 | Inf 746.12/746.13 c 746s|330000 | 1192 | 3301k| 10.0 | 44M| 149 | - |2053 | 44k| 0 | 0 | 73k| 431k|8256 | 0.000000e+00 | 7.000000e+00 | Inf 773.62/773.68 c 774s|340000 | 1116 | 3398k| 10.0 | 45M| 149 | - |2053 | 45k|2053 |1649 | 75k| 444k|8355 | 0.000000e+00 | 7.000000e+00 | Inf 801.22/801.26 c 801s|350000 | 1017 | 3494k| 10.0 | 42M| 149 | - |2053 | 40k| 0 | 0 | 77k| 459k|8459 | 0.000000e+00 | 7.000000e+00 | Inf 827.52/827.55 c 828s|360000 | 988 | 3590k| 10.0 | 41M| 149 | 20 |2053 | 38k|2053 |1642 | 80k| 472k|8584 | 0.000000e+00 | 7.000000e+00 | Inf 854.63/854.67 c 855s|370000 | 914 | 3694k| 10.0 | 38M| 149 | - |2053 | 30k|2053 |1650 | 82k| 486k|8706 | 0.000000e+00 | 7.000000e+00 | Inf 881.72/881.75 c 882s|380000 | 970 | 3796k| 10.0 | 39M| 149 | 11 |2053 | 32k|2053 |1642 | 84k| 498k|8794 | 0.000000e+00 | 7.000000e+00 | Inf 906.43/906.42 c 906s|390000 | 849 | 3896k| 10.0 | 38M| 149 | - |2053 | 30k| 0 | 0 | 86k| 511k|8895 | 0.000000e+00 | 7.000000e+00 | Inf 931.12/931.13 c 931s|400000 | 845 | 3998k| 10.0 | 39M| 149 | - |2053 | 33k| 0 | 0 | 88k| 524k|8997 | 0.000000e+00 | 7.000000e+00 | Inf 956.62/956.61 c 957s|410000 | 817 | 4104k| 10.0 | 37M| 149 | 18 |2053 | 26k|2053 |1642 | 90k| 538k|9113 | 0.000000e+00 | 7.000000e+00 | Inf 980.43/980.47 c 980s|420000 | 876 | 4206k| 10.0 | 39M| 149 | - |2053 | 30k| 0 | 0 | 92k| 551k|9245 | 0.000000e+00 | 7.000000e+00 | Inf 1004.53/1004.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1004.53/1004.52 c 1004s|430000 | 888 | 4306k| 10.0 | 41M| 149 | - |2053 | 34k| 0 | 0 | 94k| 565k|9343 | 0.000000e+00 | 7.000000e+00 | Inf 1031.23/1031.23 c 1031s|440000 | 797 | 4418k| 10.0 | 39M| 149 | 22 |2053 | 30k|2053 |1651 | 96k| 578k|9455 | 0.000000e+00 | 7.000000e+00 | Inf 1056.53/1056.53 c 1057s|450000 | 756 | 4532k| 10.1 | 38M| 149 | 10 |2053 | 29k|2053 |1642 | 98k| 591k|9554 | 0.000000e+00 | 7.000000e+00 | Inf 1081.14/1081.18 c 1081s|460000 | 862 | 4632k| 10.1 | 41M| 149 | 22 |2053 | 36k|2053 |1642 | 100k| 605k|9659 | 0.000000e+00 | 7.000000e+00 | Inf 1107.83/1107.81 c 1108s|470000 | 771 | 4733k| 10.1 | 40M| 149 | 24 |2053 | 33k|2053 |1642 | 103k| 618k|9762 | 0.000000e+00 | 7.000000e+00 | Inf 1134.74/1134.79 c 1135s|480000 | 769 | 4842k| 10.1 | 40M| 149 | - |2053 | 35k| 0 | 0 | 105k| 631k|9856 | 0.000000e+00 | 7.000000e+00 | Inf 1162.64/1162.68 c 1163s|490000 | 759 | 4948k| 10.1 | 42M| 149 | 17 |2053 | 37k|2053 |1654 | 107k| 645k|9929 | 0.000000e+00 | 7.000000e+00 | Inf 1190.94/1190.93 c 1191s|500000 | 744 | 5067k| 10.1 | 38M| 149 | - |2053 | 28k| 0 | 0 | 109k| 658k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1215.73/1215.70 c 1216s|510000 | 781 | 5174k| 10.1 | 39M| 149 | 16 |2053 | 31k|2053 |1642 | 111k| 672k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1240.04/1240.01 c 1240s|520000 | 763 | 5279k| 10.2 | 39M| 149 | 14 |2053 | 32k|2053 |1642 | 113k| 685k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1265.24/1265.24 c 1265s|530000 | 767 | 5378k| 10.1 | 40M| 149 | - |2053 | 32k| 0 | 0 | 114k| 699k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1290.34/1290.35 c 1290s|540000 | 780 | 5481k| 10.2 | 41M| 149 | - |2053 | 35k|2053 |1642 | 116k| 712k| 10k| 0.000000e+00 | 7.000000e+00 | Inf 1295.04/1295.03 o 6 1295.04/1295.03 c *1295s|541741 | 692 | 5502k| 10.2 | 40M| 149 | - |2053 | 36k|2053 |1642 | 116k| 715k| 10k| 0.000000e+00 | 6.000000e+00 | Inf 1316.25/1316.22 c 1316s|550000 | 719 | 5594k| 10.2 | 39M| 149 | 12 |2053 | 33k|2053 |1642 | 118k| 726k| 10k| 0.000000e+00 | 6.000000e+00 | Inf 1342.15/1342.16 c 1342s|560000 | 742 | 5709k| 10.2 | 39M| 149 | 12 |2053 | 32k|2053 |1642 | 119k| 739k| 10k| 0.000000e+00 | 6.000000e+00 | Inf 1369.15/1369.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1369.15/1369.19 c 1369s|570000 | 805 | 5817k| 10.2 | 41M| 149 | 23 |2053 | 36k|2053 |1642 | 120k| 753k| 10k| 0.000000e+00 | 6.000000e+00 | Inf 1397.14/1397.12 c 1397s|580000 | 776 | 5935k| 10.2 | 40M| 149 | - |2053 | 34k| 0 | 0 | 122k| 767k| 10k| 0.000000e+00 | 6.000000e+00 | Inf 1423.54/1423.54 c 1424s|590000 | 853 | 6050k| 10.3 | 42M| 149 | - |2053 | 36k| 0 | 0 | 123k| 780k| 10k| 0.000000e+00 | 6.000000e+00 | Inf 1450.14/1450.14 c 1450s|600000 | 875 | 6167k| 10.3 | 42M| 149 | - |2053 | 37k|2053 |1642 | 125k| 794k| 10k| 0.000000e+00 | 6.000000e+00 | Inf 1477.05/1477.02 c 1477s|610000 | 921 | 6280k| 10.3 | 42M| 149 | 22 |2053 | 36k|2053 |1642 | 126k| 807k| 11k| 0.000000e+00 | 6.000000e+00 | Inf 1503.55/1503.58 c 1504s|620000 | 891 | 6397k| 10.3 | 43M| 149 | 15 |2053 | 36k|2053 |1642 | 128k| 821k| 11k| 0.000000e+00 | 6.000000e+00 | Inf 1519.95/1519.90 o 3 1519.95/1519.90 c *1520s|626010 | 665 | 6466k| 10.3 | 40M| 149 | - |2053 | 37k|2053 |1659 | 129k| 829k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1530.45/1530.49 c 1530s|630000 | 637 | 6512k| 10.3 | 38M| 149 | - |2053 | 33k| 0 | 0 | 129k| 834k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1556.86/1556.86 c 1557s|640000 | 633 | 6628k| 10.4 | 37M| 149 | 13 |2053 | 31k|2053 |1642 | 131k| 847k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1581.26/1581.23 c 1581s|650000 | 652 | 6728k| 10.4 | 39M| 149 | 1 |2053 | 34k|2053 |1642 | 133k| 861k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1607.26/1607.22 c 1607s|660000 | 625 | 6851k| 10.4 | 39M| 149 | - |2053 | 35k| 0 | 0 | 134k| 875k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1634.25/1634.20 c 1634s|670000 | 567 | 6968k| 10.4 | 37M| 149 | 15 |2053 | 31k|2053 |1642 | 136k| 888k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1660.56/1660.52 c 1660s|680000 | 541 | 7088k| 10.4 | 38M| 149 | - |2053 | 33k| 0 | 0 | 138k| 901k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1684.36/1684.32 c 1684s|690000 | 553 | 7190k| 10.4 | 38M| 149 | 18 |2053 | 34k|2053 |1642 | 139k| 915k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1708.76/1708.77 c 1709s|700000 | 570 | 7290k| 10.4 | 38M| 149 | 1 |2053 | 34k|2053 |1642 | 141k| 929k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1733.67/1733.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1733.67/1733.68 c 1734s|710000 | 549 | 7390k| 10.4 | 39M| 149 | 18 |2053 | 37k|2053 |1642 | 143k| 943k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1759.86/1759.84 c 1760s|720000 | 525 | 7497k| 10.4 | 39M| 149 | 18 |2053 | 36k|2053 |1657 | 145k| 957k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1784.86/1784.86 c 1785s|730000 | 480 | 7602k| 10.4 | 36M| 149 | 21 |2053 | 30k|2053 |1642 | 146k| 971k| 11k| 0.000000e+00 | 3.000000e+00 | Inf 1790.07/1790.01 c 1790.07/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1790.07/1790.01 c Solving Time (sec) : 1789.98 1790.07/1790.01 c Solving Nodes : 732015 1790.07/1790.01 c Primal Bound : +3.00000000000000e+00 (84 solutions) 1790.07/1790.01 c Dual Bound : +0.00000000000000e+00 1790.07/1790.01 c Gap : infinite 1790.07/1790.02 s SATISFIABLE 1790.07/1790.02 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210 1790.07/1790.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 1790.07/1790.02 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 1790.07/1790.02 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1790.07/1790.02 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 1790.07/1790.02 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 1790.07/1790.02 v x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 1790.07/1790.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 1790.07/1790.02 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 1790.07/1790.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 1790.07/1790.02 v -x1 1790.07/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1790.07/1790.02 c Solving Time : 1789.98 1790.07/1790.02 c Original Problem : 1790.07/1790.02 c Problem name : HOME/instance-2705506-1278572954.wbo 1790.07/1790.02 c Variables : 2153 (1192 binary, 0 integer, 961 implicit integer, 0 continuous) 1790.07/1790.02 c Constraints : 3669 initial, 3669 maximal 1790.07/1790.02 c Presolved Problem : 1790.07/1790.02 c Problem name : t_HOME/instance-2705506-1278572954.wbo 1790.07/1790.02 c Variables : 2053 (1142 binary, 0 integer, 911 implicit integer, 0 continuous) 1790.07/1790.02 c Constraints : 3436 initial, 46138 maximal 1790.07/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.07/1790.02 c trivial : 0.00 50 0 0 0 0 0 0 0 1790.07/1790.02 c dualfix : 0.00 50 0 0 0 0 0 0 0 1790.07/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.07/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.07/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0 1790.07/1790.02 c probing : 0.04 0 0 0 0 0 0 0 0 1790.07/1790.02 c knapsack : 0.00 0 0 0 0 0 0 0 0 1790.07/1790.02 c setppc : 0.00 0 0 0 0 0 76 0 0 1790.07/1790.02 c linear : 0.05 0 0 0 961 0 107 50 0 1790.07/1790.02 c indicator : 0.00 0 0 0 0 0 50 0 0 1790.07/1790.02 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.07/1790.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.07/1790.02 c root node : - 1792 - - 1792 - - - - 1790.07/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.07/1790.02 c integral : 0 0 0 418939 0 346 3652 0 0 776802 1790.07/1790.02 c knapsack : 1 6 3312752 26972 0 49242 7421707 0 0 0 1790.07/1790.02 c setppc : 39 6 3269432 27111 0 57534 2462451 0 0 0 1790.07/1790.02 c linear : 911+ 7 3212582 27355 0 61724 3714232 147292 0 0 1790.07/1790.02 c indicator : 911 0 3142953 27324 0 296 950372 0 0 0 1790.07/1790.02 c logicor : 1574+ 6 1657190 3333 0 91582 6023626 0 0 0 1790.07/1790.02 c bounddisjunction : 0+ 0 364108 0 0 58 781 0 0 0 1790.07/1790.02 c countsols : 0 0 0 3333 0 0 0 0 0 0 1790.07/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.07/1790.02 c integral : 34.06 0.00 0.00 34.06 0.00 1790.07/1790.02 c knapsack : 34.53 0.00 34.52 0.01 0.00 1790.07/1790.02 c setppc : 18.37 0.00 18.35 0.02 0.00 1790.07/1790.02 c linear : 45.66 0.00 44.87 0.79 0.00 1790.07/1790.02 c indicator : 10.01 0.01 9.51 0.48 0.00 1790.07/1790.02 c logicor : 302.38 0.00 302.33 0.04 0.00 1790.07/1790.02 c bounddisjunction : 0.86 0.00 0.86 0.00 0.00 1790.07/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.07/1790.02 c Propagators : Time Calls Cutoffs DomReds 1790.07/1790.02 c vbounds : 0.61 33561 0 519 1790.07/1790.02 c rootredcost : 0.54 27 0 896 1790.07/1790.02 c pseudoobj : 51.83 3321830 2529 1001772 1790.07/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.07/1790.02 c propagation : 10.70 262669 262141 1593509 26.9 7513 24.3 - 1790.07/1790.02 c infeasible LP : 24.57 123263 123255 967946 45.3 1013 16.7 0 1790.07/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.07/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.07/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.07/1790.02 c applied globally : - - - 974481 28.4 - - - 1790.07/1790.02 c applied locally : - - - 0 0.0 - - - 1790.07/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.07/1790.02 c cut pool : 0.00 5 - - 37 - (maximal pool size: 723) 1790.07/1790.02 c redcost : 16.77 420013 0 17371 0 0 1790.07/1790.02 c impliedbounds : 0.00 6 0 0 0 0 1790.07/1790.02 c intobj : 0.00 0 0 0 0 0 1790.07/1790.02 c cgmip : 0.00 0 0 0 0 0 1790.07/1790.02 c gomory : 0.12 6 0 0 2931 0 1790.07/1790.02 c strongcg : 0.11 6 0 0 2784 0 1790.07/1790.02 c cmir : 0.02 6 0 0 6 0 1790.07/1790.02 c flowcover : 0.04 6 0 0 12 0 1790.07/1790.02 c clique : 0.00 6 0 0 0 0 1790.07/1790.02 c zerohalf : 0.00 0 0 0 0 0 1790.07/1790.02 c mcf : 0.00 1 0 0 0 0 1790.07/1790.02 c rapidlearning : 0.08 1 0 0 0 1 1790.07/1790.02 c Pricers : Time Calls Vars 1790.07/1790.02 c problem variables: 0.00 0 0 1790.07/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.07/1790.02 c relpscost : 33.73 391563 346 3652 0 0 776802 1790.07/1790.02 c pscost : 0.00 0 0 0 0 0 0 1790.07/1790.02 c inference : 0.48 3307 0 0 0 0 6615 1790.07/1790.02 c mostinf : 0.00 0 0 0 0 0 0 1790.07/1790.02 c leastinf : 0.00 0 0 0 0 0 0 1790.07/1790.02 c fullstrong : 0.00 0 0 0 0 0 0 1790.07/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0 1790.07/1790.02 c random : 0.00 0 0 0 0 0 0 1790.07/1790.02 c Primal Heuristics : Time Calls Found 1790.07/1790.02 c LP solutions : 0.02 - 26 1790.07/1790.02 c pseudo solutions : 0.00 - 0 1790.07/1790.02 c intshifting : 0.02 0 0 1790.07/1790.02 c feaspump : 0.03 1 0 1790.07/1790.02 c oneopt : 0.29 24 0 1790.07/1790.02 c crossover : 0.82 21 0 1790.07/1790.02 c linesearchdiving : 0.19 79 0 1790.07/1790.02 c guideddiving : 0.23 79 0 1790.07/1790.02 c objpscostdiving : 0.12 40 0 1790.07/1790.02 c rootsoldiving : 0.17 40 0 1790.07/1790.02 c coefdiving : 0.21 80 0 1790.07/1790.02 c pscostdiving : 0.25 80 0 1790.07/1790.02 c fracdiving : 0.23 80 0 1790.07/1790.02 c veclendiving : 0.20 80 0 1790.07/1790.02 c trivial : 0.00 2 0 1790.07/1790.02 c simplerounding : 0.62 391613 0 1790.07/1790.02 c zirounding : 0.22 1000 0 1790.07/1790.02 c rounding : 0.85 8816 0 1790.07/1790.02 c shifting : 0.84 2778 0 1790.07/1790.02 c twoopt : 0.00 0 0 1790.07/1790.02 c fixandinfer : 0.00 0 0 1790.07/1790.02 c intdiving : 0.00 0 0 1790.07/1790.02 c actconsdiving : 0.00 0 0 1790.07/1790.02 c octane : 0.00 0 0 1790.07/1790.02 c rens : 0.03 1 0 1790.07/1790.02 c rins : 0.00 0 0 1790.07/1790.02 c localbranching : 0.00 0 0 1790.07/1790.02 c mutation : 0.00 0 0 1790.07/1790.02 c dins : 0.00 0 0 1790.07/1790.02 c undercover : 0.00 0 0 1790.07/1790.02 c nlp : 0.11 0 0 1790.07/1790.02 c trysol : 0.22 78 58 1790.07/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec 1790.07/1790.02 c primal LP : 0.00 0 0 0.00 - 1790.07/1790.02 c dual LP : 817.48 536421 7618326 14.20 9319.31 1790.07/1790.02 c lex dual LP : 0.00 0 0 0.00 - 1790.07/1790.02 c barrier LP : 0.00 0 0 0.00 - 1790.07/1790.02 c diving/probing LP: 0.90 546 4821 8.83 5363.26 1790.07/1790.02 c strong branching : 29.71 11938 280674 23.51 9447.25 1790.07/1790.02 c (at root node) : - 14 4645 331.79 - 1790.07/1790.02 c conflict analysis: 0.00 0 0 0.00 - 1790.07/1790.02 c B&B Tree : 1790.07/1790.02 c number of runs : 1 1790.07/1790.02 c nodes : 732015 1790.07/1790.02 c nodes (total) : 732015 1790.07/1790.02 c nodes left : 493 1790.07/1790.02 c max depth : 149 1790.07/1790.02 c max depth (total): 149 1790.07/1790.02 c backtracks : 102973 (14.1%) 1790.07/1790.02 c delayed cutoffs : 47313 1790.07/1790.02 c repropagations : 1206687 (3927709 domain reductions, 45672 cutoffs) 1790.07/1790.02 c avg switch length: 4.88 1790.07/1790.02 c switching time : 241.43 1790.07/1790.02 c Solution : 1790.07/1790.02 c Solutions found : 84 (27 improvements) 1790.07/1790.02 c First Solution : +4.39280000000000e+04 (in run 1, after 15 nodes, 2.81 seconds, depth 15, found by <trysol>) 1790.07/1790.02 c Primal Bound : +3.00000000000000e+00 (in run 1, after 626010 nodes, 1519.87 seconds, depth 50, found by <relaxation>) 1790.07/1790.02 c Dual Bound : +0.00000000000000e+00 1790.07/1790.02 c Gap : infinite 1790.07/1790.02 c Root Dual Bound : +0.00000000000000e+00 1790.07/1790.02 c Root Iterations : 149 1790.07/1790.08 c Time complete: 1790.14.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705506-1278572954/watcher-2705506-1278572954 -o /tmp/evaluation-result-2705506-1278572954/solver-2705506-1278572954 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705506-1278572954.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: 0.12 0.03 0.01 4/178 23525 /proc/meminfo: memFree=29839376/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=12344 CPUtime=0 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 1925 0 0 0 0 0 0 0 22 0 1 0 25509220 12640256 1844 4089446400 4194304 10345943 140735635248016 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23525/statm: 3086 1845 429 1502 0 1579 0 [startup+0.0487729 s] /proc/loadavg: 0.12 0.03 0.01 4/178 23525 /proc/meminfo: memFree=29839376/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=26492 CPUtime=0.04 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 5647 0 0 0 4 0 0 0 22 0 1 0 25509220 27127808 5212 4089446400 4194304 10345943 140735635248016 18446744073709551615 6325647 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 6623 5212 531 1502 0 5116 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 26492 [startup+0.100764 s] /proc/loadavg: 0.12 0.03 0.01 4/178 23525 /proc/meminfo: memFree=29839376/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=27516 CPUtime=0.09 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 5936 0 0 0 9 0 0 0 22 0 1 0 25509220 28176384 5501 4089446400 4194304 10345943 140735635248016 18446744073709551615 5017672 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 6879 5501 561 1502 0 5372 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27516 [startup+0.300723 s] /proc/loadavg: 0.12 0.03 0.01 4/178 23525 /proc/meminfo: memFree=29839376/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=35124 CPUtime=0.29 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 12092 0 0 0 28 1 0 0 22 0 1 0 25509220 35966976 7208 4089446400 4194304 10345943 140735635248016 18446744073709551615 6129707 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 8781 7208 759 1502 0 7274 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35124 [startup+0.700648 s] /proc/loadavg: 0.12 0.03 0.01 4/178 23525 /proc/meminfo: memFree=29839376/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=45328 CPUtime=0.69 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 17929 0 0 0 67 2 0 0 24 0 1 0 25509220 46415872 9302 4089446400 4194304 10345943 140735635248016 18446744073709551615 7578304 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 11332 9302 802 1502 0 9825 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 45328 [startup+1.50049 s] /proc/loadavg: 0.12 0.03 0.01 3/179 23526 /proc/meminfo: memFree=29802540/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=44564 CPUtime=1.49 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 18632 0 0 0 146 3 0 0 25 0 1 0 25509220 45633536 9330 4089446400 4194304 10345943 140735635248016 18446744073709551615 6566402 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 11141 9330 802 1502 0 9634 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44564 [startup+3.10019 s] /proc/loadavg: 0.12 0.03 0.01 3/179 23526 /proc/meminfo: memFree=29802808/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=43568 CPUtime=3.09 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 21843 0 0 0 304 5 0 0 25 0 1 0 25509220 44613632 9243 4089446400 4194304 10345943 140735635248016 18446744073709551615 6558698 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 10892 9243 802 1502 0 9385 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43568 [startup+6.30058 s] /proc/loadavg: 0.27 0.06 0.02 3/179 23526 /proc/meminfo: memFree=29783588/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=48784 CPUtime=6.29 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 37469 0 0 0 621 8 0 0 25 0 1 0 25509220 49954816 10264 4089446400 4194304 10345943 140735635248016 18446744073709551615 6519502 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 12196 10264 807 1502 0 10689 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48784 [startup+12.7004 s] /proc/loadavg: 0.41 0.09 0.03 3/179 23527 /proc/meminfo: memFree=29771796/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=59816 CPUtime=12.69 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 58383 0 0 0 1256 13 0 0 25 0 1 0 25509220 61251584 13313 4089446400 4194304 10345943 140735635248016 18446744073709551615 5095673 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 14954 13313 807 1502 0 13447 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59816 [startup+25.5009 s] /proc/loadavg: 0.76 0.19 0.06 3/179 23528 /proc/meminfo: memFree=29720500/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=77596 CPUtime=25.49 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 69854 0 0 0 2530 19 0 0 25 0 1 0 25509220 79458304 18264 4089446400 4194304 10345943 140735635248016 18446744073709551615 6865005 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 19399 18264 807 1502 0 17892 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77596 [startup+51.101 s] /proc/loadavg: 1.18 0.33 0.11 3/179 23528 /proc/meminfo: memFree=29692724/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=83084 CPUtime=51.09 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 85799 0 0 0 5077 32 0 0 25 0 1 0 25509220 85078016 19345 4089446400 4194304 10345943 140735635248016 18446744073709551615 7569816 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 20771 19345 807 1502 0 19264 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 83084 [startup+102.306 s] /proc/loadavg: 1.64 0.58 0.21 3/179 23530 /proc/meminfo: memFree=29647160/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=99596 CPUtime=102.3 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 98053 0 0 0 10176 54 0 0 25 0 1 0 25509220 101986304 23712 4089446400 4194304 10345943 140735635248016 18446744073709551615 7581802 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 24899 23712 807 1502 0 23392 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 99596 [startup+162.301 s] /proc/loadavg: 1.87 0.84 0.32 3/179 23531 /proc/meminfo: memFree=29644012/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=101140 CPUtime=162.3 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 109540 0 0 0 16153 77 0 0 25 0 1 0 25509220 103567360 23827 4089446400 4194304 10345943 140735635248016 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 25285 23827 807 1502 0 23778 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 101140 [startup+222.3 s] /proc/loadavg: 1.95 1.05 0.42 3/179 23532 /proc/meminfo: memFree=29640484/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=102620 CPUtime=222.3 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 122762 0 0 0 22128 102 0 0 25 0 1 0 25509220 105082880 23938 4089446400 4194304 10345943 140735635248016 18446744073709551615 7507952 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 25655 23938 807 1502 0 24148 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 102620 [startup+282.301 s] /proc/loadavg: 1.98 1.22 0.52 3/179 23534 /proc/meminfo: memFree=29637580/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=103244 CPUtime=282.3 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 139968 0 0 0 28103 127 0 0 25 0 1 0 25509220 105721856 24168 4089446400 4194304 10345943 140735635248016 18446744073709551615 6068933 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 25811 24168 807 1502 0 24304 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 103244 [startup+342.3 s] /proc/loadavg: 1.99 1.36 0.61 3/179 23536 /proc/meminfo: memFree=29631452/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=104424 CPUtime=342.31 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 158187 0 0 0 34076 155 0 0 25 0 1 0 25509220 106930176 24507 4089446400 4194304 10345943 140735635248016 18446744073709551615 6070412 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 26106 24507 807 1502 0 24599 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 104424 [startup+402.301 s] /proc/loadavg: 1.99 1.47 0.69 3/179 23538 /proc/meminfo: memFree=29625592/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=108208 CPUtime=402.31 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 168395 0 0 0 40054 177 0 0 25 0 1 0 25509220 110804992 25128 4089446400 4194304 10345943 140735635248016 18446744073709551615 4231968 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 27052 25128 807 1502 0 25545 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 108208 [startup+462.3 s] /proc/loadavg: 2.04 1.58 0.77 3/179 23539 /proc/meminfo: memFree=29621068/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=112936 CPUtime=462.3 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 176050 0 0 0 46033 197 0 0 25 0 1 0 25509220 115646464 26077 4089446400 4194304 10345943 140735635248016 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 28234 26077 807 1502 0 26727 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 112936 [startup+522.301 s] /proc/loadavg: 2.01 1.65 0.85 3/179 23540 /proc/meminfo: memFree=29617188/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=114400 CPUtime=522.31 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 178967 0 0 0 52016 215 0 0 25 0 1 0 25509220 117145600 26638 4089446400 4194304 10345943 140735635248016 18446744073709551615 7569467 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 28600 26638 807 1502 0 27093 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 114400 [startup+582.3 s] /proc/loadavg: 2.00 1.71 0.92 3/179 23545 /proc/meminfo: memFree=29608440/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=116696 CPUtime=582.31 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 182135 0 0 0 57997 234 0 0 25 0 1 0 25509220 119496704 27378 4089446400 4194304 10345943 140735635248016 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 29174 27378 807 1502 0 27667 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 116696 [startup+642.301 s] /proc/loadavg: 2.00 1.76 0.98 3/179 23547 /proc/meminfo: memFree=29606104/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=116300 CPUtime=642.32 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 189091 0 0 0 63981 251 0 0 25 0 1 0 25509220 119091200 27527 4089446400 4194304 10345943 140735635248016 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 29075 27527 807 1502 0 27568 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 116300 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29596096/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=124584 CPUtime=1062.33 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 230449 0 0 0 105860 373 0 0 25 0 1 0 25509220 127574016 29040 4089446400 4194304 10345943 140735635248016 18446744073709551615 7509512 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31146 29040 807 1502 0 29639 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 124584 [startup+1122.3 s] /proc/loadavg: 2.01 1.96 1.38 3/179 23559 /proc/meminfo: memFree=29594564/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=123108 CPUtime=1122.34 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 231920 0 0 0 111846 388 0 0 25 0 1 0 25509220 126062592 29207 4089446400 4194304 10345943 140735635248016 18446744073709551615 4912612 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 30777 29207 807 1502 0 29270 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 123108 [startup+1182.3 s] /proc/loadavg: 2.00 1.96 1.42 3/179 23561 /proc/meminfo: memFree=29594040/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=124776 CPUtime=1182.33 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 237623 0 0 0 117828 405 0 0 25 0 1 0 25509220 127770624 29247 4089446400 4194304 10345943 140735635248016 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31194 29247 807 1502 0 29687 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 124776 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.45 3/179 23563 /proc/meminfo: memFree=29592604/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=123416 CPUtime=1242.34 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 241529 0 0 0 123809 425 0 0 25 0 1 0 25509220 126377984 29270 4089446400 4194304 10345943 140735635248016 18446744073709551615 7510022 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 30854 29270 807 1502 0 29347 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 123416 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.48 3/179 23565 /proc/meminfo: memFree=29589208/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=125404 CPUtime=1302.34 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 250045 0 0 0 129792 442 0 0 25 0 1 0 25509220 128413696 29517 4089446400 4194304 10345943 140735635248016 18446744073709551615 5086809 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31351 29517 807 1502 0 29844 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 125404 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.51 3/179 23566 /proc/meminfo: memFree=29587160/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=124232 CPUtime=1362.35 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 259198 0 0 0 135773 462 0 0 25 0 1 0 25509220 127213568 29473 4089446400 4194304 10345943 140735635248016 18446744073709551615 4212501 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31058 29473 807 1502 0 29551 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 124232 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.54 3/179 23567 /proc/meminfo: memFree=29585856/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=124240 CPUtime=1422.36 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 262376 0 0 0 141757 479 0 0 25 0 1 0 25509220 127221760 29486 4089446400 4194304 10345943 140735635248016 18446744073709551615 6025870 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31060 29486 807 1502 0 29553 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 124240 [startup+1482.3 s] /proc/loadavg: 2.05 1.99 1.57 3/179 23569 /proc/meminfo: memFree=29584912/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=125128 CPUtime=1482.35 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 265798 0 0 0 147735 500 0 0 25 0 1 0 25509220 128131072 29481 4089446400 4194304 10345943 140735635248016 18446744073709551615 7546811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31282 29481 807 1502 0 29775 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 125128 [startup+1542.3 s] /proc/loadavg: 2.02 1.99 1.59 3/179 23571 /proc/meminfo: memFree=29583884/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=125628 CPUtime=1542.35 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 280872 0 0 0 153712 523 0 0 25 0 1 0 25509220 128643072 29568 4089446400 4194304 10345943 140735635248016 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31407 29568 807 1502 0 29900 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 125628 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.62 3/179 23573 /proc/meminfo: memFree=29583332/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=125880 CPUtime=1602.35 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 287436 0 0 0 159693 542 0 0 25 0 1 0 25509220 128901120 29574 4089446400 4194304 10345943 140735635248016 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31470 29574 807 1502 0 29963 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 125880 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.64 3/179 23574 /proc/meminfo: memFree=29581924/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=126916 CPUtime=1662.36 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 289857 0 0 0 165674 562 0 0 25 0 1 0 25509220 129961984 29919 4089446400 4194304 10345943 140735635248016 18446744073709551615 7546842 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31729 29919 807 1502 0 30222 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 126916 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.66 3/179 23575 /proc/meminfo: memFree=29581368/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=126916 CPUtime=1722.36 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 289947 0 0 0 171657 579 0 0 25 0 1 0 25509220 129961984 30009 4089446400 4194304 10345943 140735635248016 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31729 30009 807 1502 0 30222 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 126916 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.68 3/179 23577 /proc/meminfo: memFree=29580940/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=126916 CPUtime=1782.36 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 292969 0 0 0 177639 597 0 0 25 0 1 0 25509220 129961984 29839 4089446400 4194304 10345943 140735635248016 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31729 29839 807 1502 0 30222 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 126916 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 1.99 1.68 3/179 23577 /proc/meminfo: memFree=29580940/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=126680 CPUtime=1785.57 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 293054 0 0 0 177959 598 0 0 25 0 1 0 25509220 129720320 29865 4089446400 4194304 10345943 140735635248016 18446744073709551615 6119608 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31670 29865 807 1502 0 30163 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (KiB) 126680 [startup+1787.1 s] /proc/loadavg: 2.00 1.99 1.68 3/179 23577 /proc/meminfo: memFree=29580940/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=127048 CPUtime=1787.16 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 293105 0 0 0 178118 598 0 0 25 0 1 0 25509220 130097152 29916 4089446400 4194304 10345943 140735635248016 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31762 29916 807 1502 0 30255 0 Current children cumulated CPU time (s) 1787.16 Current children cumulated vsize (KiB) 127048 [startup+1788.7 s] /proc/loadavg: 2.00 1.99 1.68 3/179 23577 /proc/meminfo: memFree=29581188/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=127576 CPUtime=1788.76 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 293132 0 0 0 178277 599 0 0 25 0 1 0 25509220 130637824 29943 4089446400 4194304 10345943 140735635248016 18446744073709551615 6929854 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31894 29943 807 1502 0 30387 0 Current children cumulated CPU time (s) 1788.76 Current children cumulated vsize (KiB) 127576 [startup+1789.5 s] /proc/loadavg: 2.00 1.99 1.68 3/179 23577 /proc/meminfo: memFree=29581188/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=127756 CPUtime=1789.56 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 293154 0 0 0 178357 599 0 0 25 0 1 0 25509220 130822144 29965 4089446400 4194304 10345943 140735635248016 18446744073709551615 6120329 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31939 29965 807 1502 0 30432 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (KiB) 127756 [startup+1789.9 s] /proc/loadavg: 2.00 1.99 1.68 3/179 23577 /proc/meminfo: memFree=29581188/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=127756 CPUtime=1789.96 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 293155 0 0 0 178397 599 0 0 25 0 1 0 25509220 130822144 29966 4089446400 4194304 10345943 140735635248016 18446744073709551615 6520259 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31939 29966 807 1502 0 30432 0 Current children cumulated CPU time (s) 1789.96 Current children cumulated vsize (KiB) 127756 [startup+1790 s] /proc/loadavg: 2.00 1.99 1.68 3/179 23577 /proc/meminfo: memFree=29581188/32950928 swapFree=67111528/67111528 [pid=23525] ppid=23523 vsize=127756 CPUtime=1790.07 /proc/23525/stat : 23525 (pbscip.linux.x8) R 23523 23525 23405 0 -1 4202496 293155 0 0 0 178407 600 0 0 25 0 1 0 25509220 130822144 29966 4089446400 4194304 10345943 140735635248016 18446744073709551615 6068924 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23525/statm: 31939 29966 807 1502 0 30432 0 Current children cumulated CPU time (s) 1790.07 Current children cumulated vsize (KiB) 127756 Child status: 0 Real time (s): 1790.09 CPU time (s): 1790.16 CPU user time (s): 1784.15 CPU system time (s): 6.00709 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 128684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.15 system time used= 6.00709 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 293159 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 3271 runsolver used 3.14352 second user time and 6.62499 second system time The end
Begin job on node127 at 2010-07-08 09:09:14 IDJOB=2705506 IDBENCH=78890 IDSOLVER=1214 FILE ID=node127/2705506-1278572954 PBS_JOBID= 11240200 Free space on /tmp= 73188 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 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.1900554072--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-2705506-1278572954/watcher-2705506-1278572954 -o /tmp/evaluation-result-2705506-1278572954/solver-2705506-1278572954 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705506-1278572954.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 94413eaf3e98de59f2ecdb125fc71636 RANDOM SEED=98541025 node127.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.804 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.60 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.804 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 : 5424.67 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.804 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.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 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.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29839780 kB Buffers: 157716 kB Cached: 2684788 kB SwapCached: 0 kB Active: 1236140 kB Inactive: 1703360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29839780 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 25756 kB Writeback: 0 kB AnonPages: 96984 kB Mapped: 17544 kB Slab: 107532 kB PageTables: 4664 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 242620 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= 73188 MiB End job on node127 at 2010-07-08 09:39:04