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.18 | 1790.1 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo |
MD5SUM | c177cc73697745a978507901f2a8beaa |
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 | 210.167 |
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 | 911 |
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 | 45526 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45525 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 665 |
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-2705529-1278572955.wbo> 0.00/0.02 c original problem has 2053 variables (1142 bin, 0 int, 911 impl, 0 cont) and 3619 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.03 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, 220 impls, 16 clqs 0.06/0.07 c (round 2) 0 del vars, 116 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 220 impls, 16 clqs 0.06/0.08 c (round 3) 50 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 0 upgd conss, 220 impls, 16 clqs 0.06/0.09 c (round 4) 130 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 220 impls, 16 clqs 0.09/0.10 c (round 5) 130 del vars, 267 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 220 impls, 16 clqs 0.09/0.13 c (0.1s) probing: 101/1077 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.13 c presolving (6 rounds): 0.09/0.13 c 130 deleted vars, 267 deleted constraints, 926 tightened bounds, 0 added holes, 133 changed sides, 0 changed coefficients 0.09/0.13 c 1905 implications, 16 cliques 0.09/0.13 c presolved problem has 1923 variables (1077 bin, 0 int, 846 impl, 0 cont) and 3352 constraints 0.09/0.13 c 55 constraints of type <setppc> 0.09/0.13 c 846 constraints of type <linear> 0.09/0.13 c 846 constraints of type <indicator> 0.09/0.13 c 1605 constraints of type <logicor> 0.09/0.13 c transformed objective value is always integral (scale: 1) 0.09/0.13 c Presolving Time: 0.10 0.09/0.13 c - non default parameters ---------------------------------------------------------------------- 0.09/0.13 c # SCIP version 1.2.1.3 0.09/0.13 c 0.09/0.13 c # frequency for displaying node information lines 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.13 c display/freq = 10000 0.09/0.13 c 0.09/0.13 c # maximal time in seconds to run 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/time = 1789.98 0.09/0.13 c 0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/memory = 3420 0.09/0.13 c 0.09/0.13 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.13 c # [type: int, range: [1,2], default: 1] 0.09/0.13 c timing/clocktype = 2 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify inequalities 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/linear/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/indicator/addCouplingCons = TRUE 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify knapsacks 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c separating/rapidlearning/freq = 0 0.09/0.13 c 0.09/0.13 c ----------------------------------------------------------------------------------------------- 0.09/0.13 c start solving 0.09/0.13 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 | 40 | - |8860k| 0 | 29 |1923 |3352 |1923 |1660 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.26 c 0.2s| 1 | 0 | 303 | - |9031k| 0 | 45 |1923 |3352 |1923 |1678 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.42 c 0.4s| 1 | 0 | 942 | - |9696k| 0 | 93 |1923 |3352 |1923 |1700 | 40 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.57 c 0.6s| 1 | 0 | 1257 | - | 10M| 0 | 115 |1923 |3352 |1923 |1724 | 64 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.74 c 0.7s| 1 | 0 | 1331 | - | 10M| 0 | 116 |1923 |3352 |1923 |1736 | 76 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/1.00 c 1.0s| 1 | 0 | 2034 | - | 10M| 0 | 118 |1923 |3352 |1923 |1744 | 84 | 0 | 0 | 0.000000e+00 | -- | Inf 1.10/1.19 c 1.2s| 1 | 0 | 2270 | - | 10M| 0 | 139 |1923 |3352 |1923 |1764 | 104 | 0 | 0 | 0.000000e+00 | -- | Inf 3.19/3.28 c 3.3s| 1 | 2 | 2270 | - | 10M| 0 | 139 |1923 |3352 |1923 |1764 | 104 | 0 | 16 | 0.000000e+00 | -- | Inf 10.09/10.14 o 42201 10.09/10.14 c y10.1s| 16 | 15 | 5002 | 182.1 | 10M| 14 | - |1923 |3352 | 0 | 0 | 121 | 0 | 415 | 0.000000e+00 | 4.220100e+04 | Inf 38.70/38.74 c 38.7s| 10000 | 9910 | 90402 | 8.8 | 29M| 77 | 0 |1923 |3503 |1923 |1783 |4089 | 197 | 745 | 0.000000e+00 | 4.220100e+04 | Inf 44.59/44.63 o 379 44.59/44.63 c *44.6s| 13981 | 6191 |107797 | 7.5 | 25M| 77 | - |1923 |3516 |1923 |1761 |5208 | 237 | 766 | 0.000000e+00 | 3.790000e+02 | Inf 44.79/44.83 o 308 44.79/44.83 c *44.8s| 14093 | 4559 |108480 | 7.5 | 22M| 77 | - |1923 |3667 |1923 |1779 |5240 | 391 | 766 | 0.000000e+00 | 3.080000e+02 | Inf 44.79/44.87 o 241 44.79/44.87 c *44.8s| 14101 | 3220 |108833 | 7.6 | 20M| 77 | - |1923 |3673 |1923 |1771 |5257 | 397 | 766 | 0.000000e+00 | 2.410000e+02 | Inf 45.59/45.69 o 237 45.59/45.69 c *45.7s| 14286 | 3306 |113845 | 7.8 | 21M| 77 | - |1923 |3755 |1923 |1759 |5437 | 495 | 767 | 0.000000e+00 | 2.370000e+02 | Inf 45.69/45.75 o 230 45.69/45.75 c *45.7s| 14307 | 3152 |114215 | 7.8 | 21M| 77 | - |1923 |3759 |1923 |1778 |5483 | 506 | 767 | 0.000000e+00 | 2.300000e+02 | Inf 45.89/45.91 o 201 45.89/45.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 45.89/45.91 c *45.9s| 14367 | 2620 |115083 | 7.9 | 20M| 77 | - |1923 |3772 |1923 |1770 |5561 | 530 | 767 | 0.000000e+00 | 2.010000e+02 | Inf 45.89/45.91 o 200 45.89/45.91 c *45.9s| 14368 | 2604 |115085 | 7.9 | 20M| 77 | - |1923 |3772 |1923 |1770 |5561 | 530 | 767 | 0.000000e+00 | 2.000000e+02 | Inf 46.20/46.26 o 188 46.20/46.26 c v46.2s| 14445 | 2386 |117425 | 8.0 | 20M| 77 | - |1923 |3830 |1923 |1761 |5609 | 623 | 767 | 0.000000e+00 | 1.880000e+02 | Inf 46.29/46.36 o 179 46.29/46.36 c R46.3s| 14466 | 2214 |118208 | 8.0 | 19M| 77 | - |1923 |3833 |1923 |1771 |5644 | 630 | 767 | 0.000000e+00 | 1.790000e+02 | Inf 46.29/46.39 o 154 46.29/46.39 c *46.4s| 14471 | 1892 |118438 | 8.0 | 19M| 77 | - |1923 |3839 |1923 |1755 |5645 | 639 | 767 | 0.000000e+00 | 1.540000e+02 | Inf 47.09/47.12 o 152 47.09/47.12 c *47.1s| 14588 | 1872 |123466 | 8.3 | 19M| 77 | - |1923 |3879 |1923 |1763 |5687 | 742 | 767 | 0.000000e+00 | 1.520000e+02 | Inf 47.09/47.18 o 150 47.09/47.18 c *47.2s| 14602 | 1824 |123873 | 8.3 | 19M| 77 | - |1923 |3893 |1923 |1766 |5690 | 767 | 767 | 0.000000e+00 | 1.500000e+02 | Inf 47.19/47.21 o 141 47.19/47.21 c *47.2s| 14612 | 1691 |124056 | 8.3 | 19M| 77 | - |1923 |3899 |1923 |1763 |5699 | 777 | 767 | 0.000000e+00 | 1.410000e+02 | Inf 47.19/47.21 o 140 47.19/47.21 c *47.2s| 14613 | 1639 |124080 | 8.3 | 18M| 77 | - |1923 |3899 |1923 |1763 |5699 | 777 | 767 | 0.000000e+00 | 1.400000e+02 | Inf 47.19/47.28 o 136 47.19/47.28 c *47.3s| 14639 | 1603 |124421 | 8.3 | 18M| 77 | - |1923 |3922 |1923 |1762 |5707 | 804 | 767 | 0.000000e+00 | 1.360000e+02 | Inf 47.29/47.30 o 130 47.29/47.30 c *47.3s| 14645 | 1568 |124655 | 8.4 | 18M| 77 | - |1923 |3921 |1923 |1754 |5707 | 804 | 767 | 0.000000e+00 | 1.300000e+02 | Inf 47.29/47.37 o 128 47.29/47.37 c *47.4s| 14663 | 1568 |124999 | 8.4 | 18M| 77 | - |1923 |3916 |1923 |1763 |5727 | 804 | 767 | 0.000000e+00 | 1.280000e+02 | Inf 47.39/47.42 o 113 47.39/47.42 c *47.4s| 14676 | 1345 |125234 | 8.4 | 18M| 77 | - |1923 |3923 |1923 |1769 |5742 | 811 | 767 | 0.000000e+00 | 1.130000e+02 | Inf 47.39/47.44 o 101 47.39/47.44 c *47.4s| 14683 | 1145 |125356 | 8.4 | 17M| 77 | - |1923 |3928 |1923 |1772 |5748 | 817 | 767 | 0.000000e+00 | 1.010000e+02 | Inf 47.80/47.89 o 64 47.80/47.89 c *47.9s| 14762 | 525 |127670 | 8.5 | 16M| 77 | - |1923 |3976 |1923 |1760 |5798 | 907 | 776 | 0.000000e+00 | 6.400000e+01 | Inf 55.49/55.53 o 36 55.49/55.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 55.49/55.53 c *55.5s| 16954 | 430 |176245 | 10.3 | 17M| 77 | - |1923 |5263 |1923 |1754 |6100 |3583 | 883 | 0.000000e+00 | 3.600000e+01 | Inf 56.10/56.12 o 30 56.10/56.12 c *56.1s| 17193 | 413 |179947 | 10.3 | 17M| 77 | - |1923 |5103 |1923 |1754 |6135 |3900 | 885 | 0.000000e+00 | 3.000000e+01 | Inf 56.20/56.29 o 21 56.20/56.29 c *56.3s| 17277 | 385 |180918 | 10.3 | 17M| 77 | - |1923 |5030 |1923 |1754 |6144 |4012 | 887 | 0.000000e+00 | 2.100000e+01 | Inf 61.69/61.75 c 61.7s| 20000 | 469 |214588 | 10.6 | 18M| 77 | - |1923 |7251 | 0 | 0 |6513 |7480 | 986 | 0.000000e+00 | 2.100000e+01 | Inf 70.69/70.70 o 20 70.69/70.70 c *70.7s| 24300 | 550 |268986 | 11.0 | 19M| 77 | - |1923 |8269 |1923 |1758 |7100 | 13k|1096 | 0.000000e+00 | 2.000000e+01 | Inf 73.00/73.01 o 18 73.00/73.01 c *73.0s| 25497 | 605 |283370 | 11.0 | 20M| 77 | - |1923 |8907 |1923 |1759 |7305 | 14k|1096 | 0.000000e+00 | 1.800000e+01 | Inf 74.99/75.08 o 17 74.99/75.08 c *75.1s| 26445 | 594 |295018 | 11.1 | 19M| 77 | - |1923 |8049 |1923 |1754 |7501 | 15k|1138 | 0.000000e+00 | 1.700000e+01 | Inf 78.49/78.56 o 14 78.49/78.56 c *78.5s| 28198 | 582 |315916 | 11.1 | 20M| 77 | - |1923 |8684 |1923 |1762 |7854 | 18k|1180 | 0.000000e+00 | 1.400000e+01 | Inf 79.89/79.98 o 11 79.89/79.98 c *80.0s| 28903 | 571 |324621 | 11.2 | 19M| 77 | - |1923 |7995 |1923 |1754 |8000 | 19k|1187 | 0.000000e+00 | 1.100000e+01 | Inf 79.99/80.05 o 6 79.99/80.05 c *80.0s| 28933 | 563 |324898 | 11.2 | 19M| 77 | - |1923 |7854 |1923 |1755 |8003 | 19k|1190 | 0.000000e+00 | 6.000000e+00 | Inf 81.89/81.99 c 82.0s| 30000 | 538 |337081 | 11.2 | 19M| 77 | 1 |1923 |6553 |1923 |1754 |8118 | 20k|1190 | 0.000000e+00 | 6.000000e+00 | Inf 83.99/84.07 o 4 83.99/84.07 c *84.0s| 31031 | 515 |350484 | 11.2 | 19M| 77 | - |1923 |7089 |1923 |1764 |8273 | 22k|1229 | 0.000000e+00 | 4.000000e+00 | Inf 101.39/101.44 c 101s| 40000 | 553 |463844 | 11.5 | 21M| 77 | - |1923 | 10k|1923 |1754 |9442 | 34k|1324 | 0.000000e+00 | 4.000000e+00 | Inf 121.10/121.13 c 121s| 50000 | 442 |592742 | 11.8 | 21M| 77 | - |1923 | 12k| 0 | 0 | 10k| 47k|1335 | 0.000000e+00 | 4.000000e+00 | Inf 124.99/125.07 o 2 124.99/125.07 c * 125s| 52070 | 381 |617170 | 11.8 | 20M| 77 | - |1923 | 10k|1923 |1754 | 10k| 50k|1335 | 0.000000e+00 | 2.000000e+00 | Inf 140.80/140.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 140.80/140.85 c 141s| 60000 | 448 |716447 | 11.9 | 22M| 77 | - |1923 | 15k|1923 |1754 | 12k| 60k|1474 | 0.000000e+00 | 2.000000e+00 | Inf 162.81/162.84 c 163s| 70000 | 527 |852531 | 12.1 | 24M| 77 | - |1923 | 19k|1923 |1764 | 13k| 73k|1660 | 0.000000e+00 | 2.000000e+00 | Inf 184.90/184.92 c 185s| 80000 | 455 |982618 | 12.3 | 23M| 77 | 29 |1923 | 16k|1923 |1764 | 14k| 87k|1876 | 0.000000e+00 | 2.000000e+00 | Inf 206.70/206.75 c 207s| 90000 | 529 | 1116k| 12.4 | 25M| 77 | 25 |1923 | 20k|1923 |1754 | 16k| 100k|2095 | 0.000000e+00 | 2.000000e+00 | Inf 229.51/229.53 c 230s|100000 | 595 | 1250k| 12.5 | 28M| 77 | - |1923 | 24k| 0 | 0 | 17k| 113k|2296 | 0.000000e+00 | 2.000000e+00 | Inf 252.80/252.80 c 253s|110000 | 888 | 1383k| 12.6 | 29M| 77 | 15 |1923 | 23k|1923 |1765 | 19k| 126k|2480 | 0.000000e+00 | 2.000000e+00 | Inf 276.31/276.33 c 276s|120000 | 1118 | 1519k| 12.6 | 32M| 77 | - |1923 | 26k|1923 |1765 | 20k| 139k|2607 | 0.000000e+00 | 2.000000e+00 | Inf 300.11/300.11 c 300s|130000 | 1172 | 1649k| 12.7 | 33M| 77 | 19 |1923 | 26k|1923 |1754 | 22k| 152k|2795 | 0.000000e+00 | 2.000000e+00 | Inf 324.30/324.33 c 324s|140000 | 1220 | 1786k| 12.7 | 34M| 77 | - |1923 | 26k| 0 | 0 | 23k| 165k|2951 | 0.000000e+00 | 2.000000e+00 | Inf 348.41/348.46 c 348s|150000 | 1388 | 1926k| 12.8 | 36M| 77 | 19 |1923 | 29k|1923 |1754 | 25k| 179k|3056 | 0.000000e+00 | 2.000000e+00 | Inf 372.81/372.82 c 373s|160000 | 1430 | 2060k| 12.9 | 38M| 77 | - |1923 | 29k| 0 | 0 | 27k| 192k|3221 | 0.000000e+00 | 2.000000e+00 | Inf 396.31/396.39 c 396s|170000 | 1419 | 2183k| 12.8 | 37M| 77 | - |1923 | 27k| 0 | 0 | 28k| 206k|3312 | 0.000000e+00 | 2.000000e+00 | Inf 419.91/419.99 c 420s|180000 | 1357 | 2312k| 12.8 | 37M| 77 | - |1923 | 25k|1923 |1760 | 30k| 219k|3485 | 0.000000e+00 | 2.000000e+00 | Inf 443.51/443.59 c 444s|190000 | 1423 | 2446k| 12.9 | 39M| 77 | - |1923 | 29k| 0 | 0 | 32k| 233k|3561 | 0.000000e+00 | 2.000000e+00 | Inf 466.71/466.72 c 467s|200000 | 1450 | 2567k| 12.8 | 39M| 77 | - |1923 | 28k| 0 | 0 | 33k| 247k|3684 | 0.000000e+00 | 2.000000e+00 | Inf 489.02/489.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 489.02/489.01 c 489s|210000 | 1533 | 2678k| 12.7 | 42M| 77 | - |1923 | 31k| 0 | 0 | 34k| 260k|3796 | 0.000000e+00 | 2.000000e+00 | Inf 512.52/512.53 c 513s|220000 | 1476 | 2786k| 12.7 | 41M| 77 | 30 |1923 | 26k|1923 |1760 | 36k| 274k|3893 | 0.000000e+00 | 2.000000e+00 | Inf 533.82/533.84 c 534s|230000 | 1495 | 2891k| 12.6 | 42M| 77 | 25 |1923 | 28k|1923 |1754 | 37k| 288k|3954 | 0.000000e+00 | 2.000000e+00 | Inf 557.32/557.30 c 557s|240000 | 1210 | 3019k| 12.6 | 38M| 77 | - |1923 | 26k|1923 |1757 | 39k| 301k|4058 | 0.000000e+00 | 2.000000e+00 | Inf 580.91/580.98 c 581s|250000 | 1117 | 3152k| 12.6 | 36M| 77 | 1 |1923 | 22k|1923 |1754 | 40k| 314k|4208 | 0.000000e+00 | 2.000000e+00 | Inf 606.12/606.19 c 606s|260000 | 1053 | 3300k| 12.7 | 37M| 77 | - |1923 | 24k|1923 |1754 | 42k| 327k|4305 | 0.000000e+00 | 2.000000e+00 | Inf 629.82/629.84 c 630s|270000 | 949 | 3432k| 12.7 | 33M| 77 | - |1923 | 16k|1923 |1763 | 43k| 340k|4496 | 0.000000e+00 | 2.000000e+00 | Inf 651.42/651.41 c 651s|280000 | 1032 | 3563k| 12.7 | 35M| 77 | - |1923 | 21k|1923 |1764 | 45k| 353k|4558 | 0.000000e+00 | 2.000000e+00 | Inf 674.72/674.73 c 675s|290000 | 952 | 3699k| 12.7 | 34M| 77 | 25 |1923 | 17k|1923 |1762 | 46k| 366k|4711 | 0.000000e+00 | 2.000000e+00 | Inf 693.72/693.73 o 1 693.72/693.73 c * 694s|297525 | 1030 | 3812k| 12.8 | 35M| 77 | - |1923 | 20k|1923 |1759 | 47k| 376k|4776 | 0.000000e+00 | 1.000000e+00 | Inf 700.52/700.55 c 701s|300000 | 1097 | 3853k| 12.8 | 36M| 77 | 24 |1923 | 21k|1923 |1754 | 48k| 379k|4794 | 0.000000e+00 | 1.000000e+00 | Inf 726.12/726.19 c 726s|310000 | 1121 | 3998k| 12.9 | 37M| 77 | 32 |1923 | 22k|1923 |1754 | 48k| 392k|4898 | 0.000000e+00 | 1.000000e+00 | Inf 751.53/751.53 c 752s|320000 | 555 | 4130k| 12.9 | 27M| 77 | - |1923 |9040 | 0 | 0 | 50k| 406k|5160 | 0.000000e+00 | 1.000000e+00 | Inf 773.12/773.15 c 773s|330000 | 669 | 4271k| 12.9 | 30M| 77 | 21 |1923 | 14k|1923 |1760 | 51k| 419k|5173 | 0.000000e+00 | 1.000000e+00 | Inf 796.22/796.22 c 796s|340000 | 573 | 4414k| 13.0 | 29M| 77 | 22 |1923 | 15k|1923 |1757 | 52k| 432k|5436 | 0.000000e+00 | 1.000000e+00 | Inf 816.83/816.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 816.83/816.86 c 817s|350000 | 573 | 4533k| 12.9 | 30M| 77 | 17 |1923 | 16k|1923 |1760 | 53k| 446k|5496 | 0.000000e+00 | 1.000000e+00 | Inf 840.33/840.37 c 840s|360000 | 553 | 4675k| 13.0 | 29M| 77 | - |1923 | 17k| 0 | 0 | 54k| 459k|5634 | 0.000000e+00 | 1.000000e+00 | Inf 864.54/864.54 c 865s|370000 | 723 | 4815k| 13.0 | 31M| 77 | 32 |1923 | 18k|1923 |1754 | 54k| 472k|5714 | 0.000000e+00 | 1.000000e+00 | Inf 888.13/888.12 c 888s|380000 | 535 | 4961k| 13.1 | 28M| 77 | 25 |1923 | 16k|1923 |1768 | 55k| 485k|5826 | 0.000000e+00 | 1.000000e+00 | Inf 909.83/909.81 c 910s|390000 | 608 | 5093k| 13.1 | 30M| 77 | - |1923 | 19k| 0 | 0 | 56k| 499k|5885 | 0.000000e+00 | 1.000000e+00 | Inf 933.63/933.67 c 934s|400000 | 538 | 5242k| 13.1 | 30M| 77 | 17 |1923 | 17k|1923 |1754 | 57k| 512k|5968 | 0.000000e+00 | 1.000000e+00 | Inf 955.84/955.81 c 956s|410000 | 735 | 5372k| 13.1 | 33M| 77 | 20 |1923 | 23k|1923 |1754 | 58k| 525k|6023 | 0.000000e+00 | 1.000000e+00 | Inf 978.94/979.00 c 979s|420000 | 778 | 5501k| 13.1 | 35M| 77 | 16 |1923 | 26k|1923 |1754 | 60k| 538k|6069 | 0.000000e+00 | 1.000000e+00 | Inf 1004.63/1004.65 c 1005s|430000 | 787 | 5645k| 13.1 | 36M| 77 | - |1923 | 29k| 0 | 0 | 61k| 552k|6134 | 0.000000e+00 | 1.000000e+00 | Inf 1030.44/1030.49 c 1030s|440000 | 817 | 5781k| 13.1 | 38M| 77 | - |1923 | 33k|1923 |1754 | 63k| 565k|6216 | 0.000000e+00 | 1.000000e+00 | Inf 1059.54/1059.52 c 1060s|450000 | 921 | 5937k| 13.2 | 41M| 77 | - |1923 | 38k| 0 | 0 | 64k| 578k|6299 | 0.000000e+00 | 1.000000e+00 | Inf 1088.95/1088.95 c 1089s|460000 | 892 | 6088k| 13.2 | 41M| 77 | - |1923 | 37k| 0 | 0 | 65k| 591k|6363 | 0.000000e+00 | 1.000000e+00 | Inf 1116.44/1116.43 c 1116s|470000 | 972 | 6226k| 13.2 | 44M| 77 | 21 |1923 | 42k|1923 |1763 | 67k| 605k|6421 | 0.000000e+00 | 1.000000e+00 | Inf 1145.55/1145.58 c 1146s|480000 | 989 | 6381k| 13.3 | 44M| 77 | 25 |1923 | 43k|1923 |1754 | 68k| 620k|6463 | 0.000000e+00 | 1.000000e+00 | Inf 1175.34/1175.32 c 1175s|490000 | 1014 | 6526k| 13.3 | 43M| 77 | 18 |1923 | 39k|1923 |1763 | 70k| 633k|6538 | 0.000000e+00 | 1.000000e+00 | Inf 1204.55/1204.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1204.55/1204.51 c 1204s|500000 | 1089 | 6668k| 13.3 | 46M| 77 | - |1923 | 42k| 0 | 0 | 71k| 646k|6612 | 0.000000e+00 | 1.000000e+00 | Inf 1233.75/1233.71 c 1234s|510000 | 1158 | 6805k| 13.3 | 48M| 77 | 13 |1923 | 47k|1923 |1754 | 72k| 660k|6677 | 0.000000e+00 | 1.000000e+00 | Inf 1267.55/1267.52 c 1267s|520000 | 1259 | 6972k| 13.4 | 49M| 77 | - |1923 | 49k|1923 |1761 | 74k| 674k|6722 | 0.000000e+00 | 1.000000e+00 | Inf 1301.05/1301.09 c 1301s|530000 | 1375 | 7149k| 13.5 | 52M| 77 | 32 |1923 | 52k|1923 |1769 | 75k| 689k|6771 | 0.000000e+00 | 1.000000e+00 | Inf 1334.65/1334.65 c 1335s|540000 | 1347 | 7319k| 13.6 | 50M| 77 | 26 |1923 | 48k|1923 |1759 | 76k| 703k|6856 | 0.000000e+00 | 1.000000e+00 | Inf 1369.25/1369.23 c 1369s|550000 | 957 | 7487k| 13.6 | 42M| 77 | 15 |1923 | 35k|1923 |1754 | 77k| 717k|7003 | 0.000000e+00 | 1.000000e+00 | Inf 1396.06/1396.02 c 1396s|560000 | 1198 | 7636k| 13.6 | 43M| 77 | 17 |1923 | 34k|1923 |1754 | 78k| 730k|7031 | 0.000000e+00 | 1.000000e+00 | Inf 1423.15/1423.11 c 1423s|570000 | 1302 | 7779k| 13.6 | 45M| 77 | 15 |1923 | 37k|1923 |1754 | 80k| 743k|7071 | 0.000000e+00 | 1.000000e+00 | Inf 1451.25/1451.29 c 1451s|580000 | 1430 | 7921k| 13.7 | 47M| 77 | 17 |1923 | 40k|1923 |1759 | 81k| 757k|7111 | 0.000000e+00 | 1.000000e+00 | Inf 1480.06/1480.08 c 1480s|590000 | 1616 | 8071k| 13.7 | 46M| 77 | - |1923 | 33k| 0 | 0 | 82k| 770k|7171 | 0.000000e+00 | 1.000000e+00 | Inf 1508.46/1508.43 c 1508s|600000 | 1979 | 8234k| 13.7 | 50M| 77 | - |1923 | 37k| 0 | 0 | 83k| 784k|7247 | 0.000000e+00 | 1.000000e+00 | Inf 1538.06/1538.01 c 1538s|610000 | 2275 | 8400k| 13.8 | 53M| 77 | - |1923 | 41k| 0 | 0 | 84k| 797k|7304 | 0.000000e+00 | 1.000000e+00 | Inf 1567.16/1567.17 c 1567s|620000 | 2285 | 8553k| 13.8 | 53M| 77 | - |1923 | 39k| 0 | 0 | 85k| 811k|7351 | 0.000000e+00 | 1.000000e+00 | Inf 1594.27/1594.21 c 1594s|630000 | 2338 | 8699k| 13.8 | 56M| 77 | 20 |1923 | 43k|1923 |1762 | 86k| 825k|7396 | 0.000000e+00 | 1.000000e+00 | Inf 1623.67/1623.66 c 1624s|640000 | 2414 | 8858k| 13.8 | 56M| 77 | - |1923 | 41k|1923 |1762 | 87k| 840k|7449 | 0.000000e+00 | 1.000000e+00 | Inf 1653.38/1653.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1653.38/1653.32 c 1653s|650000 | 2492 | 9035k| 13.9 | 57M| 79 | - |1923 | 42k| 0 | 0 | 88k| 854k|7500 | 0.000000e+00 | 1.000000e+00 | Inf 1684.08/1684.01 c 1684s|660000 | 2549 | 9208k| 13.9 | 57M| 79 | 30 |1923 | 40k|1923 |1767 | 89k| 868k|7577 | 0.000000e+00 | 1.000000e+00 | Inf 1714.46/1714.43 c 1714s|670000 | 2629 | 9369k| 14.0 | 59M| 79 | - |1923 | 43k|1923 |1768 | 90k| 882k|7642 | 0.000000e+00 | 1.000000e+00 | Inf 1745.37/1745.36 c 1745s|680000 | 2723 | 9526k| 14.0 | 61M| 79 | 10 |1923 | 46k|1923 |1762 | 91k| 895k|7697 | 0.000000e+00 | 1.000000e+00 | Inf 1777.97/1777.99 c 1778s|690000 | 2817 | 9700k| 14.1 | 59M| 80 | 23 |1923 | 39k|1923 |1754 | 92k| 909k|7752 | 0.000000e+00 | 1.000000e+00 | Inf 1790.08/1790.00 c 1790.08/1790.00 c SCIP Status : solving was interrupted [time limit reached] 1790.08/1790.00 c Solving Time (sec) : 1789.98 1790.08/1790.00 c Solving Nodes : 693681 1790.08/1790.00 c Primal Bound : +1.00000000000000e+00 (138 solutions) 1790.08/1790.00 c Dual Bound : +0.00000000000000e+00 1790.08/1790.00 c Gap : infinite 1790.08/1790.01 s SATISFIABLE 1790.08/1790.01 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1790.08/1790.01 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1790.08/1790.01 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1790.08/1790.01 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 1790.08/1790.01 v -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 1790.08/1790.01 v -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 1790.08/1790.01 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 1790.08/1790.01 v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 1790.08/1790.01 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 1790.08/1790.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1790.08/1790.01 v x1 1790.08/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1790.08/1790.01 c Solving Time : 1789.98 1790.08/1790.01 c Original Problem : 1790.08/1790.01 c Problem name : HOME/instance-2705529-1278572955.wbo 1790.08/1790.01 c Variables : 2053 (1142 binary, 0 integer, 911 implicit integer, 0 continuous) 1790.08/1790.01 c Constraints : 3619 initial, 3619 maximal 1790.08/1790.01 c Presolved Problem : 1790.08/1790.01 c Problem name : t_HOME/instance-2705529-1278572955.wbo 1790.08/1790.01 c Variables : 1923 (1077 binary, 0 integer, 846 implicit integer, 0 continuous) 1790.08/1790.01 c Constraints : 3352 initial, 53231 maximal 1790.08/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.08/1790.01 c trivial : 0.00 65 0 0 0 0 0 0 0 1790.08/1790.01 c dualfix : 0.00 65 0 0 0 0 0 0 0 1790.08/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.08/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.08/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0 1790.08/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0 1790.08/1790.01 c setppc : 0.00 0 0 0 0 0 3 0 0 1790.08/1790.01 c linear : 0.06 0 0 0 926 0 199 133 0 1790.08/1790.01 c indicator : 0.00 0 0 0 0 0 65 0 0 1790.08/1790.01 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.08/1790.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.08/1790.01 c root node : - 1692 - - 1692 - - - - 1790.08/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.08/1790.01 c integral : 0 0 0 396985 0 234 2003 0 0 729290 1790.08/1790.01 c setppc : 55 6 3037396 20899 1 56262 2692486 0 0 0 1790.08/1790.01 c linear : 846 6 2994329 30496 1 88987 8840887 92950 0 0 1790.08/1790.01 c indicator : 846 0 1185871 21279 0 55 197467 0 0 0 1790.08/1790.01 c logicor : 1605+ 6 1544061 12389 1 85210 5845055 0 0 0 1790.08/1790.01 c bounddisjunction : 0+ 0 254917 0 0 117 2021 0 0 0 1790.08/1790.01 c countsols : 0 0 0 12389 1 0 0 0 0 0 1790.08/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.08/1790.01 c integral : 43.38 0.00 0.00 43.38 0.00 1790.08/1790.01 c setppc : 17.88 0.00 17.86 0.02 0.00 1790.08/1790.01 c linear : 54.34 0.00 53.85 0.49 0.00 1790.08/1790.01 c indicator : 2.75 0.00 1.90 0.84 0.00 1790.08/1790.01 c logicor : 247.25 0.00 247.14 0.11 0.00 1790.08/1790.01 c bounddisjunction : 0.82 0.00 0.82 0.00 0.00 1790.08/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.08/1790.01 c Propagators : Time Calls Cutoffs DomReds 1790.08/1790.01 c vbounds : 0.47 4617 0 727 1790.08/1790.01 c rootredcost : 0.46 33 0 846 1790.08/1790.01 c pseudoobj : 36.59 3050856 376 195371 1790.08/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.08/1790.01 c propagation : 10.40 230952 230297 1430708 29.6 4973 26.4 - 1790.08/1790.01 c infeasible LP : 22.63 126329 126328 961903 48.0 951 16.9 0 1790.08/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.08/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.08/1790.01 c pseudo solution : 0.00 1 1 2 7.5 0 0.0 - 1790.08/1790.01 c applied globally : - - - 914102 31.5 - - - 1790.08/1790.01 c applied locally : - - - 0 0.0 - - - 1790.08/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.08/1790.01 c cut pool : 0.00 5 - - 65 - (maximal pool size: 765) 1790.08/1790.01 c redcost : 12.89 397211 0 3256 0 0 1790.08/1790.01 c impliedbounds : 0.00 6 0 0 0 0 1790.08/1790.01 c intobj : 0.00 0 0 0 0 0 1790.08/1790.01 c cgmip : 0.00 0 0 0 0 0 1790.08/1790.01 c gomory : 0.30 6 0 0 1362 0 1790.08/1790.01 c strongcg : 0.23 6 0 0 1593 0 1790.08/1790.01 c cmir : 0.04 6 0 0 0 0 1790.08/1790.01 c flowcover : 0.06 6 0 0 0 0 1790.08/1790.01 c clique : 0.00 6 0 0 0 0 1790.08/1790.01 c zerohalf : 0.00 0 0 0 0 0 1790.08/1790.01 c mcf : 0.00 1 0 0 0 0 1790.08/1790.01 c rapidlearning : 0.05 1 0 0 0 0 1790.08/1790.01 c Pricers : Time Calls Vars 1790.08/1790.01 c problem variables: 0.00 0 0 1790.08/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.08/1790.01 c relpscost : 43.09 366473 234 2003 0 0 729290 1790.08/1790.01 c pscost : 0.00 0 0 0 0 0 0 1790.08/1790.01 c inference : 1.54 12360 0 0 0 0 24758 1790.08/1790.01 c mostinf : 0.00 0 0 0 0 0 0 1790.08/1790.01 c leastinf : 0.00 0 0 0 0 0 0 1790.08/1790.01 c fullstrong : 0.00 0 0 0 0 0 0 1790.08/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0 1790.08/1790.01 c random : 0.00 0 0 0 0 0 0 1790.08/1790.01 c Primal Heuristics : Time Calls Found 1790.08/1790.01 c LP solutions : 0.02 - 30 1790.08/1790.01 c pseudo solutions : 0.00 - 0 1790.08/1790.01 c intshifting : 0.01 0 0 1790.08/1790.01 c feaspump : 0.02 1 0 1790.08/1790.01 c oneopt : 0.36 31 0 1790.08/1790.01 c crossover : 0.66 17 0 1790.08/1790.01 c veclendiving : 0.59 491 1 1790.08/1790.01 c coefdiving : 0.57 492 0 1790.08/1790.01 c pscostdiving : 0.52 492 0 1790.08/1790.01 c linesearchdiving : 0.54 492 0 1790.08/1790.01 c guideddiving : 0.53 492 0 1790.08/1790.01 c fracdiving : 0.59 492 0 1790.08/1790.01 c rootsoldiving : 0.45 422 0 1790.08/1790.01 c objpscostdiving : 0.40 423 0 1790.08/1790.01 c trivial : 0.00 2 0 1790.08/1790.01 c simplerounding : 0.48 366462 0 1790.08/1790.01 c zirounding : 0.17 1000 0 1790.08/1790.01 c rounding : 2.54 28961 1 1790.08/1790.01 c shifting : 0.74 2614 0 1790.08/1790.01 c twoopt : 0.00 0 0 1790.08/1790.01 c fixandinfer : 0.00 0 0 1790.08/1790.01 c intdiving : 0.00 0 0 1790.08/1790.01 c actconsdiving : 0.00 0 0 1790.08/1790.01 c octane : 0.00 0 0 1790.08/1790.01 c rens : 0.18 1 0 1790.08/1790.01 c rins : 0.00 0 0 1790.08/1790.01 c localbranching : 0.00 0 0 1790.08/1790.01 c mutation : 0.00 0 0 1790.08/1790.01 c dins : 0.00 0 0 1790.08/1790.01 c undercover : 0.00 0 0 1790.08/1790.01 c nlp : 0.10 0 0 1790.08/1790.01 c trysol : 0.22 451 106 1790.08/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec 1790.08/1790.01 c primal LP : 0.00 0 0 0.00 - 1790.08/1790.01 c dual LP : 995.03 509117 9755030 19.16 9803.80 1790.08/1790.01 c lex dual LP : 0.00 0 0 0.00 - 1790.08/1790.01 c barrier LP : 0.00 0 0 0.00 - 1790.08/1790.01 c diving/probing LP: 1.56 1118 10080 9.02 6449.05 1790.08/1790.01 c strong branching : 39.68 7752 363599 46.90 9163.79 1790.08/1790.01 c (at root node) : - 16 12120 757.50 - 1790.08/1790.01 c conflict analysis: 0.00 0 0 0.00 - 1790.08/1790.01 c B&B Tree : 1790.08/1790.01 c number of runs : 1 1790.08/1790.01 c nodes : 693681 1790.08/1790.01 c nodes (total) : 693681 1790.08/1790.01 c nodes left : 2864 1790.08/1790.01 c max depth : 80 1790.08/1790.01 c max depth (total): 80 1790.08/1790.01 c backtracks : 96812 (14.0%) 1790.08/1790.01 c delayed cutoffs : 43460 1790.08/1790.01 c repropagations : 1137787 (3285743 domain reductions, 40021 cutoffs) 1790.08/1790.01 c avg switch length: 4.81 1790.08/1790.01 c switching time : 193.79 1790.08/1790.01 c Solution : 1790.08/1790.01 c Solutions found : 138 (33 improvements) 1790.08/1790.01 c First Solution : +4.22010000000000e+04 (in run 1, after 15 nodes, 10.11 seconds, depth 15, found by <trysol>) 1790.08/1790.01 c Primal Bound : +1.00000000000000e+00 (in run 1, after 297525 nodes, 693.71 seconds, depth 33, found by <relaxation>) 1790.08/1790.01 c Dual Bound : +0.00000000000000e+00 1790.08/1790.01 c Gap : infinite 1790.08/1790.01 c Root Dual Bound : +0.00000000000000e+00 1790.08/1790.01 c Root Iterations : 2270 1790.08/1790.09 c Time complete: 1790.17.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705529-1278572955/watcher-2705529-1278572955 -o /tmp/evaluation-result-2705529-1278572955/solver-2705529-1278572955 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705529-1278572955.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.26 0.06 0.02 4/178 23701 /proc/meminfo: memFree=29324884/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=12552 CPUtime=0 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 1972 0 0 0 0 0 0 0 22 0 1 0 25507873 12853248 1891 4089446400 4194304 10345943 140734551875344 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/23701/statm: 3138 1891 429 1502 0 1631 0 [startup+0.068955 s] /proc/loadavg: 0.26 0.06 0.02 4/178 23701 /proc/meminfo: memFree=29324884/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=26476 CPUtime=0.06 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 5642 0 0 0 6 0 0 0 22 0 1 0 25507873 27111424 5207 4089446400 4194304 10345943 140734551875344 18446744073709551615 5017658 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 6619 5207 534 1502 0 5112 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 26476 [startup+0.10095 s] /proc/loadavg: 0.26 0.06 0.02 4/178 23701 /proc/meminfo: memFree=29324884/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=27504 CPUtime=0.09 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 5923 0 0 0 9 0 0 0 22 0 1 0 25507873 28164096 5488 4089446400 4194304 10345943 140734551875344 18446744073709551615 5093819 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 6876 5488 553 1502 0 5369 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27504 [startup+0.300921 s] /proc/loadavg: 0.26 0.06 0.02 4/178 23701 /proc/meminfo: memFree=29324884/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=36972 CPUtime=0.29 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 12038 0 0 0 29 0 0 0 18 0 1 0 25507873 37859328 7785 4089446400 4194304 10345943 140734551875344 18446744073709551615 8930740 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 9243 7785 747 1502 0 7736 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36972 [startup+0.700831 s] /proc/loadavg: 0.26 0.06 0.02 4/178 23701 /proc/meminfo: memFree=29324884/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=37664 CPUtime=0.69 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 12271 0 0 0 69 0 0 0 18 0 1 0 25507873 38567936 8018 4089446400 4194304 10345943 140734551875344 18446744073709551615 6125503 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 9416 8018 750 1502 0 7909 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37664 [startup+1.50067 s] /proc/loadavg: 0.40 0.09 0.03 3/179 23702 /proc/meminfo: memFree=29289536/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=47284 CPUtime=1.49 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 17733 0 0 0 147 2 0 0 19 0 1 0 25507873 48418816 9817 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 11821 9817 795 1502 0 10314 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47284 [startup+3.10036 s] /proc/loadavg: 0.40 0.09 0.03 3/179 23702 /proc/meminfo: memFree=29288704/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=47272 CPUtime=3.09 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 18430 0 0 0 306 3 0 0 24 0 1 0 25507873 48406528 9866 4089446400 4194304 10345943 140734551875344 18446744073709551615 7569554 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 11818 9866 795 1502 0 10311 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47272 [startup+6.30073 s] /proc/loadavg: 0.40 0.09 0.03 3/179 23703 /proc/meminfo: memFree=29287712/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=46600 CPUtime=6.29 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 20674 0 0 0 624 5 0 0 25 0 1 0 25507873 47718400 9741 4089446400 4194304 10345943 140734551875344 18446744073709551615 7569520 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 11650 9741 795 1502 0 10143 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46600 [startup+12.7004 s] /proc/loadavg: 0.64 0.16 0.05 3/179 23703 /proc/meminfo: memFree=29281340/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=46472 CPUtime=12.7 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 27013 0 0 0 1261 9 0 0 25 0 1 0 25507873 47587328 9688 4089446400 4194304 10345943 140734551875344 18446744073709551615 7606757 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 11618 9688 795 1502 0 10111 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 46472 [startup+25.5009 s] /proc/loadavg: 0.85 0.22 0.07 3/179 23704 /proc/meminfo: memFree=29262884/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=54324 CPUtime=25.5 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 46115 0 0 0 2534 16 0 0 25 0 1 0 25507873 55627776 12084 4089446400 4194304 10345943 140734551875344 18446744073709551615 7606773 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 13581 12084 804 1502 0 12074 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 54324 [startup+51.1008 s] /proc/loadavg: 1.24 0.36 0.12 3/179 23704 /proc/meminfo: memFree=29235256/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=76912 CPUtime=51.09 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 69971 0 0 0 5082 27 0 0 25 0 1 0 25507873 78757888 17700 4089446400 4194304 10345943 140734551875344 18446744073709551615 6707513 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 19228 17700 804 1502 0 17721 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 76912 [startup+102.307 s] /proc/loadavg: 1.70 0.63 0.23 3/179 23706 /proc/meminfo: memFree=29217776/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=86136 CPUtime=102.3 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 132843 0 0 0 10167 63 0 0 25 0 1 0 25507873 88203264 20105 4089446400 4194304 10345943 140734551875344 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 21534 20105 804 1502 0 20027 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 86136 [startup+162.301 s] /proc/loadavg: 1.89 0.88 0.33 3/179 23707 /proc/meminfo: memFree=29210240/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=93460 CPUtime=162.3 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 152891 0 0 0 16139 91 0 0 25 0 1 0 25507873 95703040 21552 4089446400 4194304 10345943 140734551875344 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 23365 21552 804 1502 0 21858 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 93460 [startup+222.301 s] /proc/loadavg: 1.96 1.08 0.44 3/179 23708 /proc/meminfo: memFree=29199904/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=97568 CPUtime=222.3 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 168316 0 0 0 22112 118 0 0 25 0 1 0 25507873 99909632 22633 4089446400 4194304 10345943 140734551875344 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 24392 22633 804 1502 0 22885 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 97568 [startup+282.301 s] /proc/loadavg: 1.98 1.24 0.53 3/179 23710 /proc/meminfo: memFree=29193992/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=98464 CPUtime=282.31 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 178269 0 0 0 28086 145 0 0 25 0 1 0 25507873 100827136 23167 4089446400 4194304 10345943 140734551875344 18446744073709551615 4218113 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 24616 23167 804 1502 0 23109 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 98464 [startup+342.301 s] /proc/loadavg: 2.05 1.39 0.63 3/179 23712 /proc/meminfo: memFree=29187588/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=105200 CPUtime=342.31 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 191037 0 0 0 34058 173 0 0 25 0 1 0 25507873 107724800 24280 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 26300 24280 804 1502 0 24793 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 105200 [startup+402.301 s] /proc/loadavg: 2.02 1.50 0.71 3/179 23714 /proc/meminfo: memFree=29181944/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=106540 CPUtime=402.31 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 200638 0 0 0 40034 197 0 0 25 0 1 0 25507873 109096960 25009 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 26635 25009 804 1502 0 25128 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 106540 [startup+462.301 s] /proc/loadavg: 2.00 1.59 0.79 3/179 23715 /proc/meminfo: memFree=29180160/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=107104 CPUtime=462.32 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 208258 0 0 0 46011 221 0 0 25 0 1 0 25507873 109674496 25365 4089446400 4194304 10345943 140734551875344 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 26776 25365 804 1502 0 25269 0 Current children cumulated CPU time (s) 462.32 Current children cumulated vsize (KiB) 107104 [startup+522.301 s] /proc/loadavg: 2.00 1.66 0.86 3/179 23716 /proc/meminfo: memFree=29175008/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=113632 CPUtime=522.32 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 215117 0 0 0 51990 242 0 0 25 0 1 0 25507873 116359168 26430 4089446400 4194304 10345943 140734551875344 18446744073709551615 6865923 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 28408 26430 804 1502 0 26901 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 113632 [startup+582.301 s] /proc/loadavg: 2.00 1.72 0.93 3/179 23721 /proc/meminfo: memFree=29173412/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=113696 CPUtime=582.31 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 224720 0 0 0 57966 265 0 0 25 0 1 0 25507873 116424704 26706 4089446400 4194304 10345943 140734551875344 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 28424 26706 804 1502 0 26917 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 113696 [startup+642.3 s] /proc/loadavg: 2.00 1.77 0.99 3/179 23723 /proc/meminfo: memFree=29173036/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=113976 CPUtime=642.32 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 241126 0 0 0 63935 297 0 0 25 0 1 0 25507873 116711424 26770 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 28494 26770 804 1502 0 26987 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 113976 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29165664/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=118908 CPUtime=1062.34 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 296142 0 0 0 105746 488 0 0 25 0 1 0 25507873 121761792 27756 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 29727 27756 804 1502 0 28220 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 118908 [startup+1122.3 s] /proc/loadavg: 2.00 1.95 1.38 3/179 23735 /proc/meminfo: memFree=29163880/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=120168 CPUtime=1122.34 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 297385 0 0 0 111725 509 0 0 25 0 1 0 25507873 123052032 28134 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 30042 28134 804 1502 0 28535 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 120168 [startup+1182.3 s] /proc/loadavg: 2.00 1.95 1.42 3/179 23737 /proc/meminfo: memFree=29162308/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=120560 CPUtime=1182.34 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 301180 0 0 0 117701 533 0 0 25 0 1 0 25507873 123453440 28579 4089446400 4194304 10345943 140734551875344 18446744073709551615 6804117 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 30140 28579 804 1502 0 28633 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 120560 [startup+1242.3 s] /proc/loadavg: 2.00 1.96 1.45 3/179 23739 /proc/meminfo: memFree=29160764/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=122528 CPUtime=1242.34 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 304667 0 0 0 123676 558 0 0 25 0 1 0 25507873 125468672 28929 4089446400 4194304 10345943 140734551875344 18446744073709551615 7569467 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 30632 28929 804 1502 0 29125 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 122528 [startup+1302.3 s] /proc/loadavg: 2.00 1.96 1.48 3/179 23741 /proc/meminfo: memFree=29157476/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=124840 CPUtime=1302.35 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 309625 0 0 0 129656 579 0 0 25 0 1 0 25507873 127836160 29667 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 31210 29667 804 1502 0 29703 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 124840 [startup+1362.3 s] /proc/loadavg: 2.05 1.98 1.52 3/179 23742 /proc/meminfo: memFree=29156788/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=125416 CPUtime=1362.35 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 313282 0 0 0 135633 602 0 0 25 0 1 0 25507873 128425984 29773 4089446400 4194304 10345943 140734551875344 18446744073709551615 4214590 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 31354 29773 804 1502 0 29847 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 125416 [startup+1422.31 s] /proc/loadavg: 2.02 1.98 1.55 3/179 23743 /proc/meminfo: memFree=29156228/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=128068 CPUtime=1422.36 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 314043 0 0 0 141615 621 0 0 25 0 1 0 25507873 131141632 30020 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 32017 30020 804 1502 0 30510 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 128068 [startup+1482.3 s] /proc/loadavg: 2.00 1.98 1.57 3/179 23745 /proc/meminfo: memFree=29154536/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=130532 CPUtime=1482.36 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 315557 0 0 0 147587 649 0 0 25 0 1 0 25507873 133664768 30397 4089446400 4194304 10345943 140734551875344 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 32633 30397 804 1502 0 31126 0 Current children cumulated CPU time (s) 1482.36 Current children cumulated vsize (KiB) 130532 [startup+1542.3 s] /proc/loadavg: 2.00 1.98 1.59 3/179 23747 /proc/meminfo: memFree=29153628/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=129804 CPUtime=1542.36 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 318924 0 0 0 153564 672 0 0 25 0 1 0 25507873 132919296 30694 4089446400 4194304 10345943 140734551875344 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 32451 30694 804 1502 0 30944 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 129804 [startup+1602.3 s] /proc/loadavg: 2.00 1.98 1.62 3/179 23749 /proc/meminfo: memFree=29151828/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=131944 CPUtime=1602.36 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 320766 0 0 0 159539 697 0 0 25 0 1 0 25507873 135110656 30876 4089446400 4194304 10345943 140734551875344 18446744073709551615 8160445 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 32986 30876 804 1502 0 31479 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 131944 [startup+1662.3 s] /proc/loadavg: 2.00 1.98 1.64 3/179 23750 /proc/meminfo: memFree=29151136/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=130388 CPUtime=1662.36 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 323930 0 0 0 165515 721 0 0 25 0 1 0 25507873 133517312 30875 4089446400 4194304 10345943 140734551875344 18446744073709551615 6702694 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 32597 30875 804 1502 0 31090 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 130388 [startup+1722.3 s] /proc/loadavg: 2.00 1.98 1.66 3/179 23751 /proc/meminfo: memFree=29149812/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=133432 CPUtime=1722.37 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 326914 0 0 0 171492 745 0 0 25 0 1 0 25507873 136634368 31165 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 33358 31165 804 1502 0 31851 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 133432 [startup+1782.3 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148856/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=132864 CPUtime=1782.37 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 328992 0 0 0 177471 766 0 0 25 0 1 0 25507873 136052736 31429 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 33216 31429 804 1502 0 31709 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 132864 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148732/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=132864 CPUtime=1785.57 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 329060 0 0 0 177789 768 0 0 25 0 1 0 25507873 136052736 31497 4089446400 4194304 10345943 140734551875344 18446744073709551615 7569451 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 33216 31497 804 1502 0 31709 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (KiB) 132864 [startup+1787.1 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148484/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=132864 CPUtime=1787.17 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 329079 0 0 0 177949 768 0 0 25 0 1 0 25507873 136052736 31516 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 33216 31516 804 1502 0 31709 0 Current children cumulated CPU time (s) 1787.17 Current children cumulated vsize (KiB) 132864 [startup+1788.7 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148484/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=132864 CPUtime=1788.78 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 329086 0 0 0 178109 769 0 0 25 0 1 0 25507873 136052736 31523 4089446400 4194304 10345943 140734551875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 33216 31523 804 1502 0 31709 0 Current children cumulated CPU time (s) 1788.78 Current children cumulated vsize (KiB) 132864 [startup+1789.5 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23753 /proc/meminfo: memFree=29148484/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=132864 CPUtime=1789.57 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 329089 0 0 0 178188 769 0 0 25 0 1 0 25507873 136052736 31526 4089446400 4194304 10345943 140734551875344 18446744073709551615 9114308 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 33216 31526 804 1502 0 31709 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (KiB) 132864 [startup+1789.9 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23780 /proc/meminfo: memFree=29228856/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=132864 CPUtime=1789.97 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 329089 0 0 0 178228 769 0 0 25 0 1 0 25507873 136052736 31526 4089446400 4194304 10345943 140734551875344 18446744073709551615 5614688 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 33216 31526 804 1502 0 31709 0 Current children cumulated CPU time (s) 1789.97 Current children cumulated vsize (KiB) 132864 [startup+1790 s] /proc/loadavg: 2.00 1.98 1.68 3/179 23780 /proc/meminfo: memFree=29228856/32951124 swapFree=67111528/67111528 [pid=23701] ppid=23699 vsize=132864 CPUtime=1790.08 /proc/23701/stat : 23701 (pbscip.linux.x8) R 23699 23701 23527 0 -1 4202496 329089 0 0 0 178238 770 0 0 25 0 1 0 25507873 136052736 31526 4089446400 4194304 10345943 140734551875344 18446744073709551615 8160785 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23701/statm: 33216 31526 804 1502 0 31709 0 Current children cumulated CPU time (s) 1790.08 Current children cumulated vsize (KiB) 132864 Child status: 0 Real time (s): 1790.1 CPU time (s): 1790.18 CPU user time (s): 1782.47 CPU system time (s): 7.70583 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 134408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.48 system time used= 7.70583 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 329153 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= 1398 runsolver used 3.34849 second user time and 6.32004 second system time The end
Begin job on node143 at 2010-07-08 09:09:15 IDJOB=2705529 IDBENCH=78907 IDSOLVER=1214 FILE ID=node143/2705529-1278572955 PBS_JOBID= 11240169 Free space on /tmp= 73236 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.1900550006--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-2705529-1278572955/watcher-2705529-1278572955 -o /tmp/evaluation-result-2705529-1278572955/solver-2705529-1278572955 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705529-1278572955.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c177cc73697745a978507901f2a8beaa RANDOM SEED=982638039 node143.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.829 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.65 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.72 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.829 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 : 5338.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.75 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.829 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29325536 kB Buffers: 149900 kB Cached: 3218184 kB SwapCached: 0 kB Active: 1680892 kB Inactive: 1785404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29325536 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 25832 kB Writeback: 0 kB AnonPages: 98104 kB Mapped: 17760 kB Slab: 95148 kB PageTables: 4724 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 245540 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= 73224 MiB End job on node143 at 2010-07-08 09:39:05