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.16 | 1800.12 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo |
MD5SUM | c6676bcfc0f6c4806260dd430fa1f6e3 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 143.76 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1783 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 90636 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90635 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 701 |
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-2693398-1277901800.wbo> 0.00/0.03 c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 constraints 0.00/0.03 c problem read 0.00/0.03 c presolving settings loaded 0.00/0.05 c presolving: 0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs 0.07/0.09 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs 0.07/0.09 c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs 0.09/0.11 c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs 0.09/0.12 c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs 0.09/0.17 c (0.1s) probing: 101/1935 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.17 c presolving (6 rounds): 0.09/0.17 c 158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients 0.09/0.17 c 1931 implications, 11 cliques 0.09/0.17 c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints 0.09/0.17 c 1704 constraints of type <indicator> 0.09/0.17 c 11 constraints of type <setppc> 0.09/0.17 c 1704 constraints of type <linear> 0.09/0.17 c 879 constraints of type <logicor> 0.09/0.17 c transformed objective value is always integral (scale: 1) 0.09/0.17 c Presolving Time: 0.13 0.09/0.17 c - non default parameters ---------------------------------------------------------------------- 0.09/0.17 c # SCIP version 1.2.1.2 0.09/0.17 c 0.09/0.17 c # frequency for displaying node information lines 0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.17 c display/freq = 10000 0.09/0.17 c 0.09/0.17 c # maximal time in seconds to run 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/time = 1799.98 0.09/0.17 c 0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/memory = 3420 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify inequalities 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/linear/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify knapsacks 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.17 c separating/rapidlearning/freq = 0 0.09/0.17 c 0.09/0.17 c ----------------------------------------------------------------------------------------------- 0.09/0.17 c start solving 0.09/0.17 c 0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.18 c 0.1s| 1 | 0 | 10 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.19 o 86790 0.09/0.19 c y 0.2s| 1 | 0 | 10 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.19/0.21 c 0.2s| 1 | 0 | 50 | - | 13M| 0 | 12 |3639 |4298 |3639 | 909 | 19 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.19/0.24 c 0.2s| 1 | 0 | 116 | - | 13M| 0 | 30 |3639 |4298 |3639 | 931 | 41 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.19/0.27 c 0.2s| 1 | 0 | 134 | - | 13M| 0 | 38 |3639 |4298 |3639 | 939 | 49 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.29/0.33 c 0.3s| 1 | 0 | 210 | - | 14M| 0 | 43 |3639 |4298 |3639 | 946 | 56 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.29/0.39 c 0.3s| 1 | 0 | 273 | - | 14M| 0 | 31 |3639 |4298 |3639 | 957 | 67 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 0.39/0.44 c 0.4s| 1 | 0 | 372 | - | 14M| 0 | 38 |3639 |4298 |3639 | 964 | 74 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf 1.49/1.52 c 1.5s| 1 | 2 | 372 | - | 14M| 0 | 38 |3639 |4298 |3639 | 964 | 74 | 0 | 33 | 0.000000e+00 | 8.679000e+04 | Inf 4.69/4.72 o 576 4.69/4.72 c * 4.6s| 1530 | 949 | 1476 | 0.7 | 17M|1529 | - |3639 |4298 |3639 | 981 | 95 | 0 | 191 | 0.000000e+00 | 5.760000e+02 | Inf 9.59/9.67 o 539 9.59/9.67 c * 9.4s| 2018 | 1370 | 5450 | 2.5 | 19M|1529 | - |3639 |4358 |3639 | 986 | 429 | 60 | 896 | 0.000000e+00 | 5.390000e+02 | Inf 9.59/9.68 o 517 9.59/9.68 c * 9.4s| 2019 | 1329 | 5450 | 2.5 | 19M|1529 | - |3639 |4358 |3639 | 986 | 429 | 60 | 896 | 0.000000e+00 | 5.170000e+02 | Inf 10.39/10.43 o 437 10.39/10.43 c *10.2s| 2360 | 1471 | 6631 | 2.7 | 19M|1529 | - |3639 |4460 |3639 | 982 | 542 | 162 | 981 | 0.000000e+00 | 4.370000e+02 | Inf 10.89/10.92 o 436 10.89/10.92 c *10.6s| 2615 | 1714 | 7547 | 2.7 | 20M|1529 | - |3639 |4479 |3639 | 979 | 601 | 181 |1011 | 0.000000e+00 | 4.360000e+02 | Inf 10.89/10.92 o 409 10.89/10.92 c *10.6s| 2616 | 1640 | 7547 | 2.7 | 20M|1529 | - |3639 |4479 |3639 | 979 | 601 | 181 |1011 | 0.000000e+00 | 4.090000e+02 | Inf 10.89/10.96 o 307 10.89/10.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 10.89/10.96 c *10.7s| 2642 | 1245 | 7570 | 2.7 | 19M|1529 | - |3639 |4479 |3639 | 982 | 608 | 181 |1011 | 0.000000e+00 | 3.070000e+02 | Inf 11.19/11.20 o 294 11.19/11.20 c *10.9s| 2725 | 1251 | 8338 | 2.9 | 20M|1529 | - |3639 |4548 |3639 | 981 | 695 | 250 |1025 | 0.000000e+00 | 2.940000e+02 | Inf 11.19/11.26 o 250 11.19/11.26 c *11.0s| 2775 | 1197 | 8368 | 2.9 | 20M|1529 | - |3639 |4548 |3639 | 984 | 698 | 250 |1025 | 0.000000e+00 | 2.500000e+02 | Inf 11.29/11.30 o 203 11.29/11.30 c *11.0s| 2804 | 1110 | 8374 | 2.9 | 20M|1529 | - |3639 |4555 |3639 | 984 | 698 | 257 |1025 | 0.000000e+00 | 2.030000e+02 | Inf 11.29/11.36 o 196 11.29/11.36 c *11.1s| 2829 | 1117 | 8432 | 2.9 | 20M|1529 | - |3639 |4578 |3639 | 983 | 706 | 280 |1025 | 0.000000e+00 | 1.960000e+02 | Inf 11.39/11.42 o 163 11.39/11.42 c *11.1s| 2847 | 1069 | 8512 | 2.9 | 20M|1529 | - |3639 |4593 |3639 | 981 | 716 | 295 |1026 | 0.000000e+00 | 1.630000e+02 | Inf 11.69/11.71 o 161 11.69/11.71 c *11.4s| 2961 | 1147 | 9233 | 3.0 | 21M|1529 | - |3639 |4663 |3639 | 982 | 837 | 365 |1032 | 0.000000e+00 | 1.610000e+02 | Inf 11.78/11.80 o 146 11.78/11.80 c *11.5s| 3075 | 1111 | 9236 | 2.9 | 21M|1529 | - |3639 |4663 |3639 | 982 | 837 | 365 |1032 | 0.000000e+00 | 1.460000e+02 | Inf 12.19/12.24 o 128 12.19/12.24 c *11.9s| 3185 | 1126 | 10737 | 3.3 | 22M|1529 | - |3639 |4749 |3639 | 989 | 959 | 451 |1050 | 0.000000e+00 | 1.280000e+02 | Inf 12.29/12.33 o 127 12.29/12.33 c *12.0s| 3225 | 1147 | 10779 | 3.2 | 22M|1529 | - |3639 |4780 |3639 | 983 | 964 | 482 |1050 | 0.000000e+00 | 1.270000e+02 | Inf 12.79/12.82 o 120 12.79/12.82 c *12.5s| 3427 | 1229 | 12023 | 3.4 | 23M|1529 | - |3639 |5079 |3639 | 988 |1075 | 783 |1061 | 0.000000e+00 | 1.200000e+02 | Inf 12.79/12.83 o 114 12.79/12.83 c *12.5s| 3428 | 1215 | 12023 | 3.4 | 23M|1529 | - |3639 |5079 |3639 | 988 |1075 | 783 |1061 | 0.000000e+00 | 1.140000e+02 | Inf 13.79/13.80 o 105 13.79/13.80 c *13.4s| 3758 | 1275 | 14231 | 3.7 | 25M|1529 | - |3639 |5253 |3639 | 979 |1280 |1190 |1089 | 0.000000e+00 | 1.050000e+02 | Inf 13.79/13.84 o 90 13.79/13.84 c *13.5s| 3777 | 1136 | 14313 | 3.7 | 24M|1529 | - |3639 |5251 |3639 | 997 |1299 |1190 |1090 | 0.000000e+00 | 9.000000e+01 | Inf 13.79/13.85 o 85 13.79/13.85 c *13.5s| 3778 | 1085 | 14314 | 3.7 | 24M|1529 | - |3639 |5251 |3639 | 997 |1299 |1190 |1090 | 0.000000e+00 | 8.500000e+01 | Inf 14.59/14.65 o 83 14.59/14.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 14.59/14.65 c *14.2s| 4154 | 1235 | 15930 | 3.7 | 25M|1529 | - |3639 |4998 |3639 | 974 |1507 |1446 |1099 | 0.000000e+00 | 8.300000e+01 | Inf 15.09/15.18 o 66 15.09/15.18 c *14.8s| 4439 | 1000 | 16678 | 3.7 | 25M|1529 | - |3639 |5002 |3639 | 982 |1663 |1577 |1111 | 0.000000e+00 | 6.600000e+01 | Inf 15.09/15.18 o 61 15.09/15.18 c *14.8s| 4440 | 891 | 16679 | 3.7 | 24M|1529 | - |3639 |5002 |3639 | 982 |1663 |1577 |1111 | 0.000000e+00 | 6.100000e+01 | Inf 15.29/15.33 o 60 15.29/15.33 c *14.9s| 4460 | 792 | 17396 | 3.8 | 24M|1529 | - |3639 |4546 |3639 | 990 |1683 |1601 |1121 | 0.000000e+00 | 6.000000e+01 | Inf 18.59/18.66 o 31 18.59/18.66 c *18.1s| 5765 | 500 | 24241 | 4.1 | 24M|1529 | - |3639 |4899 |3639 | 973 |2273 |3078 |1205 | 0.000000e+00 | 3.100000e+01 | Inf 18.59/18.66 o 25 18.59/18.66 c *18.1s| 5766 | 394 | 24241 | 4.1 | 23M|1529 | - |3639 |4899 |3639 | 973 |2273 |3078 |1205 | 0.000000e+00 | 2.500000e+01 | Inf 19.39/19.48 o 17 19.39/19.48 c *18.9s| 6186 | 315 | 26021 | 4.1 | 23M|1529 | - |3639 |4429 |3639 | 982 |2383 |3592 |1239 | 0.000000e+00 | 1.700000e+01 | Inf 25.59/25.66 c 24.9s| 10000 | 448 | 47727 | 4.7 | 25M|1529 | 2 |3639 |5815 |3639 | 960 |3411 |8450 |1285 | 0.000000e+00 | 1.700000e+01 | Inf 29.59/29.65 o 13 29.59/29.65 c *28.8s| 12662 | 443 | 58988 | 4.6 | 25M|1529 | - |3639 |6670 |3639 | 979 |3834 | 11k|1326 | 0.000000e+00 | 1.300000e+01 | Inf 41.59/41.61 c 40.4s| 20000 | 631 |101676 | 5.1 | 27M|1529 | 1 |3639 |6474 |3639 | 960 |5713 | 21k|1385 | 0.000000e+00 | 1.300000e+01 | Inf 57.29/57.31 c 55.6s| 30000 | 695 |152965 | 5.1 | 28M|1529 | 1 |3639 |7407 |3639 | 960 |8048 | 34k|1439 | 0.000000e+00 | 1.300000e+01 | Inf 73.49/73.57 c 71.3s| 40000 | 823 |205800 | 5.1 | 30M|1529 | - |3639 |8457 | 0 | 0 | 10k| 47k|1457 | 0.000000e+00 | 1.300000e+01 | Inf 90.20/90.22 c 87.4s| 50000 | 813 |261847 | 5.2 | 30M|1529 | 22 |3639 |6817 |3639 | 960 | 12k| 60k|1457 | 0.000000e+00 | 1.300000e+01 | Inf 103.30/103.33 o 8 103.30/103.33 c * 100s| 57852 | 785 |307036 | 5.3 | 31M|1529 | - |3639 |7916 |3639 | 968 | 14k| 71k|1457 | 0.000000e+00 | 8.000000e+00 | Inf 106.89/106.90 c 104s| 60000 | 833 |321540 | 5.4 | 31M|1529 | - |3639 |8469 | 0 | 0 | 14k| 74k|1457 | 0.000000e+00 | 8.000000e+00 | Inf 124.79/124.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 124.79/124.83 c 121s| 70000 | 929 |391385 | 5.6 | 33M|1529 | 21 |3639 | 11k|3639 | 974 | 16k| 87k|1481 | 0.000000e+00 | 8.000000e+00 | Inf 142.49/142.57 c 138s| 80000 | 888 |456944 | 5.7 | 32M|1529 | - |3639 |7214 | 0 | 0 | 18k| 101k|1592 | 0.000000e+00 | 8.000000e+00 | Inf 159.29/159.31 c 154s| 90000 | 833 |517894 | 5.8 | 33M|1529 | 21 |3639 |9401 |3639 | 987 | 21k| 114k|1691 | 0.000000e+00 | 8.000000e+00 | Inf 176.49/176.59 c 171s|100000 | 808 |579191 | 5.8 | 33M|1529 | - |3639 | 10k| 0 | 0 | 23k| 128k|1784 | 0.000000e+00 | 8.000000e+00 | Inf 193.89/193.92 c 188s|110000 | 803 |640657 | 5.8 | 33M|1529 | - |3639 |9506 | 0 | 0 | 25k| 141k|1923 | 0.000000e+00 | 8.000000e+00 | Inf 210.99/211.09 c 204s|120000 | 673 |701513 | 5.8 | 32M|1529 | - |3639 |8414 |3639 | 978 | 28k| 154k|2064 | 0.000000e+00 | 8.000000e+00 | Inf 228.90/228.98 c 222s|130000 | 566 |764991 | 5.9 | 31M|1529 | 33 |3639 |6690 |3639 | 975 | 30k| 167k|2322 | 0.000000e+00 | 8.000000e+00 | Inf 246.40/246.47 c 239s|140000 | 705 |833930 | 6.0 | 33M|1529 | 1 |3639 |9603 |3639 | 987 | 32k| 180k|2453 | 0.000000e+00 | 8.000000e+00 | Inf 263.30/263.35 c 255s|150000 | 835 |892094 | 5.9 | 34M|1529 | - |3639 | 10k| 0 | 0 | 34k| 194k|2534 | 0.000000e+00 | 8.000000e+00 | Inf 280.20/280.24 c 271s|160000 | 890 |947848 | 5.9 | 35M|1529 | 1 |3639 | 11k|3639 | 971 | 36k| 207k|2630 | 0.000000e+00 | 8.000000e+00 | Inf 280.40/280.47 o 1 280.40/280.47 c * 271s|160153 | 630 |948595 | 5.9 | 32M|1529 | - |3639 | 11k|3639 | 992 | 36k| 207k|2630 | 0.000000e+00 | 1.000000e-00 | Inf 296.59/296.62 c 287s|170000 | 604 | 1005k| 5.9 | 32M|1529 | 13 |3639 | 12k|3639 | 978 | 38k| 221k|2684 | 0.000000e+00 | 1.000000e-00 | Inf 313.69/313.74 c 304s|180000 | 594 | 1066k| 5.9 | 33M|1529 | 20 |3639 | 12k|3639 | 984 | 39k| 234k|2785 | 0.000000e+00 | 1.000000e-00 | Inf 330.90/330.92 c 320s|190000 | 563 | 1126k| 5.9 | 33M|1529 | - |3639 | 14k| 0 | 0 | 41k| 248k|2844 | 0.000000e+00 | 1.000000e-00 | Inf 349.80/349.89 c 339s|200000 | 674 | 1190k| 6.0 | 35M|1529 | 13 |3639 | 16k|3639 | 960 | 44k| 262k|2930 | 0.000000e+00 | 1.000000e-00 | Inf 368.99/369.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 368.99/369.05 c 357s|210000 | 583 | 1251k| 6.0 | 35M|1529 | 1 |3639 | 17k|3639 | 978 | 45k| 277k|2997 | 0.000000e+00 | 1.000000e-00 | Inf 388.09/388.19 c 376s|220000 | 586 | 1313k| 6.0 | 35M|1529 | 1 |3639 | 17k|3639 | 984 | 47k| 291k|3087 | 0.000000e+00 | 1.000000e-00 | Inf 406.69/406.72 c 394s|230000 | 653 | 1368k| 5.9 | 36M|1529 | - |3639 | 20k| 0 | 0 | 50k| 304k|3165 | 0.000000e+00 | 1.000000e-00 | Inf 426.00/426.02 c 413s|240000 | 589 | 1424k| 5.9 | 36M|1529 | 1 |3639 | 18k|3639 | 960 | 51k| 318k|3228 | 0.000000e+00 | 1.000000e-00 | Inf 444.90/444.97 c 431s|250000 | 541 | 1483k| 5.9 | 36M|1529 | 1 |3639 | 19k|3639 | 992 | 53k| 332k|3294 | 0.000000e+00 | 1.000000e-00 | Inf 464.30/464.37 c 450s|260000 | 552 | 1542k| 5.9 | 36M|1529 | 7 |3639 | 21k|3639 | 981 | 55k| 346k|3347 | 0.000000e+00 | 1.000000e-00 | Inf 484.29/484.36 c 470s|270000 | 510 | 1599k| 5.9 | 36M|1529 | - |3639 | 20k| 0 | 0 | 57k| 360k|3417 | 0.000000e+00 | 1.000000e-00 | Inf 504.19/504.25 c 489s|280000 | 541 | 1658k| 5.9 | 37M|1529 | - |3639 | 22k| 0 | 0 | 59k| 374k|3498 | 0.000000e+00 | 1.000000e-00 | Inf 524.80/524.82 c 509s|290000 | 543 | 1717k| 5.9 | 38M|1529 | 21 |3639 | 25k|3639 | 993 | 60k| 387k|3542 | 0.000000e+00 | 1.000000e-00 | Inf 546.00/546.02 c 530s|300000 | 553 | 1774k| 5.9 | 39M|1529 | 17 |3639 | 27k|3639 | 975 | 62k| 400k|3597 | 0.000000e+00 | 1.000000e-00 | Inf 568.20/568.22 c 552s|310000 | 530 | 1833k| 5.9 | 40M|1529 | 8 |3639 | 28k|3639 | 972 | 64k| 414k|3657 | 0.000000e+00 | 1.000000e-00 | Inf 592.20/592.27 c 575s|320000 | 526 | 1903k| 5.9 | 40M|1529 | 16 |3639 | 29k|3639 | 972 | 66k| 428k|3750 | 0.000000e+00 | 1.000000e-00 | Inf 614.50/614.58 c 597s|330000 | 603 | 1964k| 6.0 | 41M|1529 | 17 |3639 | 29k|3639 | 975 | 69k| 442k|3802 | 0.000000e+00 | 1.000000e-00 | Inf 636.70/636.79 c 619s|340000 | 537 | 2023k| 5.9 | 40M|1529 | - |3639 | 28k| 0 | 0 | 71k| 456k|3850 | 0.000000e+00 | 1.000000e-00 | Inf 660.00/660.08 c 641s|350000 | 552 | 2086k| 6.0 | 40M|1529 | 1 |3639 | 28k|3639 | 978 | 73k| 470k|3905 | 0.000000e+00 | 1.000000e-00 | Inf 683.50/683.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 683.50/683.56 c 664s|360000 | 564 | 2148k| 6.0 | 41M|1529 | - |3639 | 30k|3639 | 998 | 75k| 484k|3982 | 0.000000e+00 | 1.000000e-00 | Inf 707.40/707.43 c 688s|370000 | 558 | 2209k| 6.0 | 42M|1529 | 1 |3639 | 33k|3639 | 976 | 77k| 498k|4039 | 0.000000e+00 | 1.000000e-00 | Inf 731.11/731.14 c 711s|380000 | 582 | 2266k| 6.0 | 44M|1529 | - |3639 | 36k| 0 | 0 | 79k| 512k|4069 | 0.000000e+00 | 1.000000e-00 | Inf 754.51/754.54 c 734s|390000 | 628 | 2321k| 6.0 | 45M|1529 | 17 |3639 | 39k|3639 | 996 | 80k| 526k|4106 | 0.000000e+00 | 1.000000e-00 | Inf 780.30/780.32 c 759s|400000 | 612 | 2382k| 6.0 | 45M|1529 | 20 |3639 | 38k|3639 | 977 | 82k| 540k|4149 | 0.000000e+00 | 1.000000e-00 | Inf 807.01/807.08 c 785s|410000 | 703 | 2439k| 5.9 | 46M|1529 | - |3639 | 40k| 0 | 0 | 84k| 554k|4186 | 0.000000e+00 | 1.000000e-00 | Inf 838.11/838.12 c 815s|420000 | 821 | 2507k| 6.0 | 48M|1529 | 18 |3639 | 40k|3639 | 979 | 85k| 568k|4260 | 0.000000e+00 | 1.000000e-00 | Inf 874.31/874.36 c 851s|430000 | 823 | 2570k| 6.0 | 48M|1529 | 12 |3639 | 41k|3639 | 970 | 87k| 583k|4301 | 0.000000e+00 | 1.000000e-00 | Inf 909.80/909.84 c 885s|440000 | 768 | 2633k| 6.0 | 48M|1529 | - |3639 | 41k| 0 | 0 | 88k| 598k|4346 | 0.000000e+00 | 1.000000e-00 | Inf 944.91/944.93 c 920s|450000 | 777 | 2698k| 6.0 | 48M|1529 | 28 |3639 | 41k|3639 | 990 | 90k| 612k|4387 | 0.000000e+00 | 1.000000e-00 | Inf 979.91/979.92 c 954s|460000 | 835 | 2767k| 6.0 | 49M|1529 | 16 |3639 | 42k|3639 |1010 | 91k| 628k|4445 | 0.000000e+00 | 1.000000e-00 | Inf 1014.51/1014.51 c 987s|470000 | 727 | 2832k| 6.0 | 48M|1529 | - |3639 | 40k| 0 | 0 | 93k| 643k|4499 | 0.000000e+00 | 1.000000e-00 | Inf 1047.51/1047.59 c 1019s|480000 | 695 | 2900k| 6.0 | 47M|1529 | 17 |3639 | 40k|3639 | 970 | 94k| 658k|4542 | 0.000000e+00 | 1.000000e-00 | Inf 1080.91/1080.98 c 1052s|490000 | 625 | 2967k| 6.1 | 46M|1529 | 15 |3639 | 38k|3639 | 988 | 96k| 673k|4589 | 0.000000e+00 | 1.000000e-00 | Inf 1110.71/1110.73 c 1081s|500000 | 536 | 3030k| 6.1 | 44M|1529 | 1 |3639 | 36k|3639 | 997 | 98k| 688k|4629 | 0.000000e+00 | 1.000000e-00 | Inf 1136.41/1136.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1136.41/1136.41 c 1106s|510000 | 414 | 3087k| 6.1 | 37M|1529 | 18 |3639 | 19k|3639 | 985 | 100k| 702k|4927 | 0.000000e+00 | 1.000000e-00 | Inf 1157.81/1157.81 c 1126s|520000 | 412 | 3147k| 6.1 | 38M|1529 | 1 |3639 | 21k|3639 | 960 | 102k| 715k|4928 | 0.000000e+00 | 1.000000e-00 | Inf 1182.12/1182.19 c 1150s|530000 | 435 | 3211k| 6.1 | 39M|1529 | - |3639 | 25k|3639 | 981 | 105k| 728k|4959 | 0.000000e+00 | 1.000000e-00 | Inf 1208.62/1208.63 c 1175s|540000 | 410 | 3271k| 6.1 | 38M|1529 | 1 |3639 | 21k|3639 | 974 | 107k| 742k|5433 | 0.000000e+00 | 1.000000e-00 | Inf 1233.91/1233.91 c 1200s|550000 | 430 | 3342k| 6.1 | 39M|1529 | 19 |3639 | 24k|3639 | 972 | 109k| 755k|5497 | 0.000000e+00 | 1.000000e-00 | Inf 1261.22/1261.21 c 1226s|560000 | 464 | 3414k| 6.1 | 40M|1529 | 1 |3639 | 26k|3639 | 960 | 111k| 768k|5509 | 0.000000e+00 | 1.000000e-00 | Inf 1287.82/1287.85 c 1252s|570000 | 403 | 3477k| 6.1 | 40M|1529 | - |3639 | 26k| 0 | 0 | 113k| 782k|5519 | 0.000000e+00 | 1.000000e-00 | Inf 1313.11/1313.19 c 1276s|580000 | 404 | 3547k| 6.1 | 39M|1529 | 10 |3639 | 23k|3639 | 960 | 115k| 795k|5591 | 0.000000e+00 | 1.000000e-00 | Inf 1339.22/1339.29 c 1301s|590000 | 477 | 3620k| 6.1 | 40M|1529 | 13 |3639 | 26k|3639 | 985 | 117k| 809k|5624 | 0.000000e+00 | 1.000000e-00 | Inf 1365.42/1365.40 c 1326s|600000 | 478 | 3687k| 6.1 | 41M|1529 | - |3639 | 27k| 0 | 0 | 119k| 824k|5655 | 0.000000e+00 | 1.000000e-00 | Inf 1391.71/1391.70 c 1352s|610000 | 403 | 3754k| 6.2 | 40M|1529 | 17 |3639 | 26k|3639 | 960 | 121k| 837k|5679 | 0.000000e+00 | 1.000000e-00 | Inf 1418.82/1418.88 c 1378s|620000 | 455 | 3827k| 6.2 | 41M|1529 | 1 |3639 | 29k|3639 | 960 | 124k| 850k|5727 | 0.000000e+00 | 1.000000e-00 | Inf 1447.12/1447.11 c 1405s|630000 | 443 | 3905k| 6.2 | 42M|1529 | 20 |3639 | 31k|3639 | 968 | 125k| 864k|5776 | 0.000000e+00 | 1.000000e-00 | Inf 1478.32/1478.40 c 1436s|640000 | 518 | 3974k| 6.2 | 43M|1529 | - |3639 | 33k| 0 | 0 | 127k| 878k|5805 | 0.000000e+00 | 1.000000e-00 | Inf 1509.82/1509.82 c 1466s|650000 | 489 | 4046k| 6.2 | 43M|1529 | - |3639 | 32k| 0 | 0 | 129k| 892k|5845 | 0.000000e+00 | 1.000000e-00 | Inf 1540.62/1540.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1540.62/1540.61 c 1496s|660000 | 477 | 4113k| 6.2 | 43M|1529 | 23 |3639 | 33k|3639 | 960 | 131k| 905k|5877 | 0.000000e+00 | 1.000000e-00 | Inf 1573.32/1573.35 c 1528s|670000 | 527 | 4184k| 6.2 | 45M|1529 | - |3639 | 36k| 0 | 0 | 133k| 919k|5910 | 0.000000e+00 | 1.000000e-00 | Inf 1607.73/1607.71 c 1562s|680000 | 759 | 4261k| 6.3 | 47M|1529 | - |3639 | 38k| 0 | 0 | 135k| 934k|5940 | 0.000000e+00 | 1.000000e-00 | Inf 1641.23/1641.24 c 1594s|690000 | 857 | 4327k| 6.3 | 48M|1529 | 18 |3639 | 39k|3639 | 985 | 136k| 948k|5976 | 0.000000e+00 | 1.000000e-00 | Inf 1676.12/1676.17 c 1628s|700000 | 893 | 4396k| 6.3 | 49M|1529 | 19 |3639 | 38k|3639 | 976 | 138k| 963k|6019 | 0.000000e+00 | 1.000000e-00 | Inf 1712.73/1712.73 c 1664s|710000 | 906 | 4474k| 6.3 | 49M|1529 | - |3639 | 37k| 0 | 0 | 140k| 977k|6073 | 0.000000e+00 | 1.000000e-00 | Inf 1746.43/1746.48 c 1697s|720000 | 909 | 4550k| 6.3 | 49M|1529 | 14 |3639 | 38k|3639 | 990 | 141k| 991k|6106 | 0.000000e+00 | 1.000000e-00 | Inf 1780.94/1780.93 c 1730s|730000 | 845 | 4621k| 6.3 | 50M|1529 | 1 |3639 | 39k|3639 | 991 | 143k|1005k|6139 | 0.000000e+00 | 1.000000e-00 | Inf 1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.03/1800.00 c 1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.00 c Solving Time (sec) : 1748.87 1800.03/1800.00 c Solving Nodes : 736136 1800.03/1800.00 c Primal Bound : +1.00000000000000e-00 (143 solutions) 1800.03/1800.00 c Dual Bound : +0.00000000000000e+00 1800.03/1800.00 c Gap : infinite 1800.03/1800.04 s SATISFIABLE 1800.03/1800.04 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1800.03/1800.04 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1800.03/1800.04 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 1800.03/1800.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 1800.03/1800.04 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 1800.03/1800.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 1800.03/1800.04 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 1800.03/1800.04 v -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 1800.03/1800.04 v x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 1800.03/1800.04 v -x28 x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1800.03/1800.04 v x1 1800.03/1800.04 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.04 c Solving Time : 1748.87 1800.03/1800.04 c Original Problem : 1800.03/1800.04 c Problem name : HOME/instance-2693398-1277901800.wbo 1800.03/1800.04 c Variables : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous) 1800.03/1800.04 c Constraints : 4491 initial, 4491 maximal 1800.03/1800.04 c Presolved Problem : 1800.03/1800.04 c Problem name : t_HOME/instance-2693398-1277901800.wbo 1800.03/1800.04 c Variables : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous) 1800.03/1800.04 c Constraints : 4298 initial, 44139 maximal 1800.03/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.03/1800.04 c trivial : 0.00 79 0 0 0 0 0 0 0 1800.03/1800.04 c dualfix : 0.00 79 0 0 0 0 0 0 0 1800.03/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.04 c probing : 0.05 0 0 0 0 0 0 0 0 1800.03/1800.04 c indicator : 0.00 0 0 0 0 0 79 0 0 1800.03/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.04 c linear : 0.05 0 0 0 1807 0 114 97 0 1800.03/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.04 c root node : - 1704 - - 3408 - - - - 1800.03/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.03/1800.04 c integral : 0 0 0 421292 0 42 519 0 0 795094 1800.03/1800.04 c indicator : 1704 0 850362 8682 0 94 419959 0 0 0 1800.03/1800.04 c setppc : 11 6 3740434 21824 0 28503 1337363 0 0 0 1800.03/1800.04 c linear : 1704 6 3714443 23252 0 194984 16533876 144446 0 0 1800.03/1800.04 c logicor : 879+ 6 1398624 3548 0 142118 3483404 0 0 0 1800.03/1800.04 c countsols : 0 0 0 3548 0 0 0 0 0 0 1800.03/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.03/1800.04 c integral : 19.83 0.00 0.00 19.83 0.00 1800.03/1800.04 c indicator : 2.60 0.00 2.37 0.23 0.00 1800.03/1800.04 c setppc : 12.63 0.00 12.61 0.02 0.00 1800.03/1800.04 c linear : 147.11 0.00 145.44 1.67 0.00 1800.03/1800.04 c logicor : 389.30 0.00 389.26 0.04 0.00 1800.03/1800.04 c countsols : 0.01 0.00 0.00 0.01 0.00 1800.03/1800.04 c Propagators : Time Calls Cutoffs DomReds 1800.03/1800.04 c vbounds : 0.36 2 0 0 1800.03/1800.04 c rootredcost : 0.35 32 0 1704 1800.03/1800.04 c pseudoobj : 116.91 3744141 1098 296826 1800.03/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.03/1800.04 c propagation : 19.61 366703 366131 2220225 27.8 10814 25.0 - 1800.03/1800.04 c infeasible LP : 8.65 27669 27669 219034 43.8 247 17.2 0 1800.03/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.04 c pseudo solution : 0.00 24 24 136 19.6 20 6.5 - 1800.03/1800.04 c applied globally : - - - 1014867 23.0 - - - 1800.03/1800.04 c applied locally : - - - 0 0.0 - - - 1800.03/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.03/1800.04 c cut pool : 0.00 5 - - 39 - (maximal pool size: 252) 1800.03/1800.04 c redcost : 18.31 422235 0 107259 0 0 1800.03/1800.04 c impliedbounds : 0.00 6 0 0 0 0 1800.03/1800.04 c intobj : 0.00 0 0 0 0 0 1800.03/1800.04 c cgmip : 0.00 0 0 0 0 0 1800.03/1800.04 c gomory : 0.09 6 0 0 1283 0 1800.03/1800.04 c strongcg : 0.03 6 0 0 139 0 1800.03/1800.04 c cmir : 0.01 6 0 0 0 0 1800.03/1800.04 c flowcover : 0.07 6 0 0 0 0 1800.03/1800.04 c clique : 0.00 6 0 0 0 0 1800.03/1800.04 c zerohalf : 0.00 0 0 0 0 0 1800.03/1800.04 c mcf : 0.00 1 0 0 0 0 1800.03/1800.04 c rapidlearning : 0.00 0 0 0 0 0 1800.03/1800.04 c Pricers : Time Calls Vars 1800.03/1800.04 c problem variables: 0.00 0 0 1800.03/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.03/1800.04 c relpscost : 19.57 398013 42 519 0 0 795094 1800.03/1800.04 c pscost : 0.00 0 0 0 0 0 0 1800.03/1800.04 c inference : 0.21 3517 0 0 0 0 7034 1800.03/1800.04 c mostinf : 0.00 0 0 0 0 0 0 1800.03/1800.04 c leastinf : 0.00 0 0 0 0 0 0 1800.03/1800.04 c fullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.04 c random : 0.00 0 0 0 0 0 0 1800.03/1800.04 c Primal Heuristics : Time Calls Found 1800.03/1800.04 c LP solutions : 0.01 - 31 1800.03/1800.04 c pseudo solutions : 0.00 - 0 1800.03/1800.04 c feaspump : 0.01 1 0 1800.03/1800.04 c oneopt : 0.25 26 0 1800.03/1800.04 c veclendiving : 0.03 18 0 1800.03/1800.04 c linesearchdiving : 0.03 18 0 1800.03/1800.04 c guideddiving : 0.03 18 0 1800.03/1800.04 c coefdiving : 0.03 19 0 1800.03/1800.04 c pscostdiving : 0.04 19 0 1800.03/1800.04 c fracdiving : 0.05 19 0 1800.03/1800.04 c objpscostdiving : 0.07 10 0 1800.03/1800.04 c rootsoldiving : 0.07 10 0 1800.03/1800.04 c crossover : 0.51 16 0 1800.03/1800.04 c trivial : 0.01 2 0 1800.03/1800.04 c simplerounding : 0.81 398297 0 1800.03/1800.04 c zirounding : 0.44 1000 0 1800.03/1800.04 c rounding : 1.09 8816 0 1800.03/1800.04 c shifting : 0.91 2756 0 1800.03/1800.04 c intshifting : 0.00 6 0 1800.03/1800.04 c twoopt : 0.00 0 0 1800.03/1800.04 c fixandinfer : 0.00 0 0 1800.03/1800.04 c intdiving : 0.00 0 0 1800.03/1800.04 c actconsdiving : 0.00 0 0 1800.03/1800.04 c octane : 0.00 0 0 1800.03/1800.04 c rens : 0.02 1 0 1800.03/1800.04 c rins : 0.00 0 0 1800.03/1800.04 c localbranching : 0.00 0 0 1800.03/1800.04 c mutation : 0.00 0 0 1800.03/1800.04 c dins : 0.00 0 0 1800.03/1800.04 c undercover : 0.00 0 0 1800.03/1800.04 c nlp : 0.12 0 0 1800.03/1800.04 c trysol : 1.29 3330 112 1800.03/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec 1800.03/1800.04 c primal LP : 0.00 0 0 0.00 - 1800.03/1800.04 c dual LP : 521.81 445041 4663750 10.48 8937.64 1800.03/1800.04 c lex dual LP : 0.00 0 0 0.00 - 1800.03/1800.04 c barrier LP : 0.00 0 0 0.00 - 1800.03/1800.04 c diving/probing LP: 0.24 114 1475 12.94 6145.83 1800.03/1800.04 c strong branching : 16.01 6163 175449 28.47 10958.71 1800.03/1800.04 c (at root node) : - 33 13164 398.91 - 1800.03/1800.04 c conflict analysis: 0.00 0 0 0.00 - 1800.03/1800.04 c B&B Tree : 1800.03/1800.04 c number of runs : 1 1800.03/1800.04 c nodes : 736136 1800.03/1800.04 c nodes (total) : 736136 1800.03/1800.04 c nodes left : 898 1800.03/1800.04 c max depth : 1529 1800.03/1800.04 c max depth (total): 1529 1800.03/1800.04 c backtracks : 76307 (10.4%) 1800.03/1800.04 c delayed cutoffs : 61383 1800.03/1800.04 c repropagations : 1826901 (3904090 domain reductions, 59297 cutoffs) 1800.03/1800.04 c avg switch length: 6.38 1800.03/1800.04 c switching time : 298.06 1800.03/1800.04 c Solution : 1800.03/1800.04 c Solutions found : 143 (32 improvements) 1800.03/1800.04 c First Solution : +8.67900000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>) 1800.03/1800.04 c Primal Bound : +1.00000000000000e-00 (in run 1, after 160153 nodes, 271.42 seconds, depth 45, found by <relaxation>) 1800.03/1800.04 c Dual Bound : +0.00000000000000e+00 1800.03/1800.04 c Gap : infinite 1800.03/1800.04 c Root Dual Bound : +0.00000000000000e+00 1800.03/1800.04 c Root Iterations : 372 1800.13/1800.12 c Time complete: 1800.14.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693398-1277901800/watcher-2693398-1277901800 -o /tmp/evaluation-result-2693398-1277901800/solver-2693398-1277901800 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693398-1277901800.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: 1.92 1.99 1.99 4/196 13057 /proc/meminfo: memFree=31102076/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=11152 CPUtime=0 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 1711 0 0 0 0 0 0 0 25 0 1 0 131476367 11419648 1632 4089446400 4194304 9819077 140735661116208 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13057/statm: 2788 1632 392 1374 0 1409 0 [startup+0.086945 s] /proc/loadavg: 1.92 1.99 1.99 4/196 13057 /proc/meminfo: memFree=31102076/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=30552 CPUtime=0.07 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 7232 0 0 0 7 0 0 0 25 0 1 0 131476367 31285248 6285 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13057/statm: 7638 6285 492 1374 0 6259 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 30552 [startup+0.100857 s] /proc/loadavg: 1.92 1.99 1.99 4/196 13057 /proc/meminfo: memFree=31102076/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=31580 CPUtime=0.09 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 7925 0 0 0 9 0 0 0 25 0 1 0 131476367 32337920 6464 4089446400 4194304 9819077 140735661116208 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13057/statm: 7895 6498 498 1374 0 6516 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31580 [startup+0.300817 s] /proc/loadavg: 1.92 1.99 1.99 4/196 13057 /proc/meminfo: memFree=31102076/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=39916 CPUtime=0.29 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 12084 0 0 0 28 1 0 0 18 0 1 0 131476367 40873984 8465 4089446400 4194304 9819077 140735661116208 18446744073709551615 5755225 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13057/statm: 9979 8465 681 1374 0 8600 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 39916 [startup+0.700751 s] /proc/loadavg: 1.92 1.99 1.99 4/196 13057 /proc/meminfo: memFree=31102076/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=43448 CPUtime=0.69 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 19307 0 0 0 67 2 0 0 18 0 1 0 131476367 44490752 9652 4089446400 4194304 9819077 140735661116208 18446744073709551615 7326177 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13057/statm: 10862 9652 708 1374 0 9483 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43448 [startup+1.50067 s] /proc/loadavg: 1.92 1.99 1.99 3/197 13058 /proc/meminfo: memFree=31065612/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=43448 CPUtime=1.49 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 19946 0 0 0 146 3 0 0 19 0 1 0 131476367 44490752 9654 4089446400 4194304 9819077 140735661116208 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 10862 9654 708 1374 0 9483 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43448 [startup+3.10032 s] /proc/loadavg: 1.92 1.99 1.99 3/197 13058 /proc/meminfo: memFree=31065424/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=43448 CPUtime=3.09 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 25755 0 0 0 303 6 0 0 24 0 1 0 131476367 44490752 9694 4089446400 4194304 9819077 140735661116208 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 10862 9694 714 1374 0 9483 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43448 [startup+6.30085 s] /proc/loadavg: 1.93 1.99 1.99 3/197 13058 /proc/meminfo: memFree=31060712/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=49356 CPUtime=6.29 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 44393 0 0 0 615 14 0 0 25 0 1 0 131476367 50540544 10677 4089446400 4194304 9819077 140735661116208 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 12339 10677 714 1374 0 10960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49356 [startup+12.7006 s] /proc/loadavg: 1.93 1.99 1.99 3/197 13058 /proc/meminfo: memFree=31055924/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=57736 CPUtime=12.69 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 90586 0 0 0 1239 30 0 0 25 0 1 0 131476367 59121664 12316 4089446400 4194304 9819077 140735661116208 18446744073709551615 6669995 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 14434 12331 718 1374 0 13055 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57736 [startup+25.5004 s] /proc/loadavg: 1.95 1.99 1.99 3/197 13058 /proc/meminfo: memFree=31041072/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=68088 CPUtime=25.48 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 200096 0 0 0 2474 74 0 0 25 0 1 0 131476367 69722112 15328 4089446400 4194304 9819077 140735661116208 18446744073709551615 8648451 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 17022 15328 725 1374 0 15643 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 68088 [startup+51.1009 s] /proc/loadavg: 1.96 1.99 1.99 3/197 13059 /proc/meminfo: memFree=31032244/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=74416 CPUtime=51.08 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 330028 0 0 0 4957 151 0 0 25 0 1 0 131476367 76201984 16897 4089446400 4194304 9819077 140735661116208 18446744073709551615 6364949 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 18604 16897 739 1374 0 17225 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 74416 [startup+102.307 s] /proc/loadavg: 1.98 1.99 1.99 3/197 13060 /proc/meminfo: memFree=31019936/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=80428 CPUtime=102.3 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 633150 0 0 0 9914 316 0 0 25 0 1 0 131476367 82358272 18343 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 20107 18343 739 1374 0 18728 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 80428 [startup+162.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 13062 /proc/meminfo: memFree=31006384/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=83928 CPUtime=162.29 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 1002480 0 0 0 15720 509 0 0 25 0 1 0 131476367 85942272 19245 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 20982 19245 738 1374 0 19603 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 83928 [startup+222.301 s] /proc/loadavg: 2.47 2.10 2.03 3/197 13064 /proc/meminfo: memFree=30995424/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=85168 CPUtime=222.29 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 1398072 0 0 0 21514 715 0 0 25 0 1 0 131476367 87212032 19495 4089446400 4194304 9819077 140735661116208 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 21292 19495 738 1374 0 19913 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 85168 [startup+282.301 s] /proc/loadavg: 2.17 2.08 2.03 3/197 13065 /proc/meminfo: memFree=30984840/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=87988 CPUtime=282.29 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 1766254 0 0 0 27322 907 0 0 25 0 1 0 131476367 90099712 20230 4089446400 4194304 9819077 140735661116208 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 21997 20230 738 1374 0 20618 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 87988 [startup+342.3 s] /proc/loadavg: 2.06 2.06 2.02 3/197 13066 /proc/meminfo: memFree=30979716/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=88524 CPUtime=342.3 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 2124896 0 0 0 33141 1089 0 0 25 0 1 0 131476367 90648576 20389 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 22131 20389 738 1374 0 20752 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 88524 [startup+402.301 s] /proc/loadavg: 2.02 2.05 2.01 3/197 13068 /proc/meminfo: memFree=30968012/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=91204 CPUtime=402.29 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 2421979 0 0 0 38975 1254 0 0 25 0 1 0 131476367 93392896 21122 4089446400 4194304 9819077 140735661116208 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 22801 21122 739 1374 0 21422 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 91204 [startup+462.301 s] /proc/loadavg: 2.01 2.04 2.01 3/197 13070 /proc/meminfo: memFree=30959668/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=93288 CPUtime=462.29 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 2668271 0 0 0 44823 1406 0 0 25 0 1 0 131476367 95526912 21621 4089446400 4194304 9819077 140735661116208 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 23322 21621 739 1374 0 21943 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 93288 [startup+522.3 s] /proc/loadavg: 2.00 2.03 2.00 3/197 13072 /proc/meminfo: memFree=30953676/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=94556 CPUtime=522.3 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 2914799 0 0 0 50673 1557 0 0 25 0 1 0 131476367 96825344 21797 4089446400 4194304 9819077 140735661116208 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 23639 21797 739 1374 0 22260 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 94556 [startup+582.301 s] /proc/loadavg: 2.04 2.04 2.00 3/197 13073 /proc/meminfo: memFree=30943468/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=96300 CPUtime=582.3 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 3153087 0 0 0 56530 1700 0 0 25 0 1 0 131476367 98611200 22413 4089446400 4194304 9819077 140735661116208 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 24075 22413 739 1374 0 22696 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 96300 [startup+642.3 s] /proc/loadavg: 2.01 2.03 2.00 3/197 13074 /proc/meminfo: memFree=30939560/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=97464 CPUtime=642.31 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 3391411 0 0 0 62396 1835 0 0 25 0 1 0 131476367 99803136 22574 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13057/statm: 24366 22574 739 1374 0 22987 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 97464 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13111 /proc/meminfo: memFree=31359580/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=104160 CPUtime=882.31 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 4235871 0 0 0 85858 2373 0 0 25 0 1 0 131476367 106659840 24201 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 26040 24201 739 1374 0 24661 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 104160 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13112 /proc/meminfo: memFree=31359176/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=104272 CPUtime=942.31 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 4420952 0 0 0 91703 2528 0 0 25 0 1 0 131476367 106774528 24225 4089446400 4194304 9819077 140735661116208 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 26068 24225 739 1374 0 24689 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 104272 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13114 /proc/meminfo: memFree=31357908/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=105896 CPUtime=1002.31 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 4597451 0 0 0 97543 2688 0 0 25 0 1 0 131476367 108437504 24593 4089446400 4194304 9819077 140735661116208 18446744073709551615 4431702 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 26474 24593 739 1374 0 25095 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 105896 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13125 /proc/meminfo: memFree=31356244/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=105892 CPUtime=1062.3 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 4780489 0 0 0 103377 2853 0 0 25 0 1 0 131476367 108433408 24601 4089446400 4194304 9819077 140735661116208 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 26473 24601 739 1374 0 25094 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 105892 [startup+1122.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 13127 /proc/meminfo: memFree=31356076/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=107448 CPUtime=1122.31 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 4978642 0 0 0 109204 3027 0 0 25 0 1 0 131476367 110026752 24764 4089446400 4194304 9819077 140735661116208 18446744073709551615 6003263 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 26862 24764 739 1374 0 25483 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 107448 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13128 /proc/meminfo: memFree=31355924/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=107584 CPUtime=1182.31 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 5268122 0 0 0 114982 3249 0 0 25 0 1 0 131476367 110166016 24766 4089446400 4194304 9819077 140735661116208 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 26896 24766 739 1374 0 25517 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 107584 [startup+1242.3 s] /proc/loadavg: 2.08 2.02 2.00 3/179 13129 /proc/meminfo: memFree=31355248/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=107472 CPUtime=1242.32 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 5540783 0 0 0 120763 3469 0 0 25 0 1 0 131476367 110051328 24776 4089446400 4194304 9819077 140735661116208 18446744073709551615 6513043 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 26868 24776 739 1374 0 25489 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 107472 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 13131 /proc/meminfo: memFree=31354836/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=107500 CPUtime=1302.32 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 5781862 0 0 0 126555 3677 0 0 25 0 1 0 131476367 110080000 24797 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 26875 24797 739 1374 0 25496 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 107500 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 13133 /proc/meminfo: memFree=31354776/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=107868 CPUtime=1362.32 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 6015334 0 0 0 132347 3885 0 0 25 0 1 0 131476367 110456832 24851 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 26967 24851 739 1374 0 25588 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 107868 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13135 /proc/meminfo: memFree=31354596/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=108168 CPUtime=1422.33 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 6240357 0 0 0 138148 4085 0 0 25 0 1 0 131476367 110764032 24932 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 27042 24932 739 1374 0 25663 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 108168 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13136 /proc/meminfo: memFree=31353808/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=108704 CPUtime=1482.32 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 6441265 0 0 0 143967 4265 0 0 25 0 1 0 131476367 111312896 25062 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 27176 25062 739 1374 0 25797 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 108704 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13137 /proc/meminfo: memFree=31353896/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=109000 CPUtime=1542.32 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 6635115 0 0 0 149789 4443 0 0 25 0 1 0 131476367 111616000 25124 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 27250 25124 739 1374 0 25871 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 109000 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13139 /proc/meminfo: memFree=31353992/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=108944 CPUtime=1602.32 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 6817430 0 0 0 155628 4604 0 0 25 0 1 0 131476367 111558656 25123 4089446400 4194304 9819077 140735661116208 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 27236 25123 739 1374 0 25857 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 108944 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13141 /proc/meminfo: memFree=31353584/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=109424 CPUtime=1662.32 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 6990974 0 0 0 161472 4760 0 0 25 0 1 0 131476367 112050176 25257 4089446400 4194304 9819077 140735661116208 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 27356 25257 739 1374 0 25977 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 109424 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 13143 /proc/meminfo: memFree=31351572/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=111552 CPUtime=1722.32 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 7163359 0 0 0 167317 4915 0 0 25 0 1 0 131476367 114229248 25772 4089446400 4194304 9819077 140735661116208 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 27888 25772 739 1374 0 26509 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 111552 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 13144 /proc/meminfo: memFree=31350304/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=112080 CPUtime=1782.33 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 7334151 0 0 0 173154 5079 0 0 25 0 1 0 131476367 114769920 25967 4089446400 4194304 9819077 140735661116208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13057/statm: 28020 25967 739 1374 0 26641 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 112080 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13172 /proc/meminfo: memFree=31350504/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=112060 CPUtime=1800.03 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 7386980 0 0 0 174889 5114 0 0 25 0 1 0 131476367 114749440 25965 4089446400 4194304 9819077 140735661116208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13057/statm: 28015 25965 739 1374 0 26636 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 112060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13172 /proc/meminfo: memFree=31350504/32950928 swapFree=4192956/4192956 [pid=13057] ppid=13055 vsize=109012 CPUtime=1800.13 /proc/13057/stat : 13057 (pbscip.linux.x8) R 13055 13057 12796 0 -1 4202496 7387035 0 0 0 174899 5114 0 0 25 0 1 0 131476367 111628288 25198 4089446400 4194304 9819077 140735661116208 18446744073709551615 6180700 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13057/statm: 27253 25198 740 1374 0 25874 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 109012 Child status: 0 Real time (s): 1800.12 CPU time (s): 1800.16 CPU user time (s): 1749.01 CPU system time (s): 51.1482 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 113656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1749.01 system time used= 51.1482 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7387039 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2125 runsolver used 3.20251 second user time and 6.28504 second system time The end
Begin job on node124 at 2010-06-30 14:43:20 IDJOB=2693398 IDBENCH=78894 IDSOLVER=1205 FILE ID=node124/2693398-1277901800 PBS_JOBID= 11197228 Free space on /tmp= 130620 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.1900573901--soft-33-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-2693398-1277901800/watcher-2693398-1277901800 -o /tmp/evaluation-result-2693398-1277901800/solver-2693398-1277901800 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693398-1277901800.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c6676bcfc0f6c4806260dd430fa1f6e3 RANDOM SEED=429851536 node124.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.833 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.66 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.833 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.833 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.833 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.77 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.833 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.833 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.82 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.833 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.74 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.833 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: 31102604 kB Buffers: 187180 kB Cached: 1119936 kB SwapCached: 0 kB Active: 918356 kB Inactive: 818524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31102604 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6288 kB Writeback: 0 kB AnonPages: 429464 kB Mapped: 20304 kB Slab: 79468 kB PageTables: 5388 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 1655740 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130612 MiB End job on node124 at 2010-06-30 15:13:22