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.17 | 1800.11 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-33-100-0.wbo |
MD5SUM | cfec29cd05a8fe08303725dcbadc3399 |
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 | 100.628 |
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 | 1804 |
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 | 90822 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90821 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 801 |
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-2693467-1277905759.wbo> 0.00/0.03 c original problem has 3839 variables (2035 bin, 0 int, 0 impl, 1804 cont) and 4512 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, 1938 impls, 6 clqs 0.06/0.09 c (round 2) 0 del vars, 64 del conss, 1804 chg bounds, 41 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs 0.06/0.09 c (round 3) 41 del vars, 117 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs 0.09/0.11 c (round 4) 87 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs 0.09/0.12 c (round 5) 92 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs 0.09/0.16 c (0.1s) probing: 101/1989 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.16 c presolving (6 rounds): 0.09/0.16 c 92 deleted vars, 122 deleted constraints, 1809 tightened bounds, 0 added holes, 53 changed sides, 0 changed coefficients 0.09/0.16 c 1938 implications, 6 cliques 0.09/0.16 c presolved problem has 3747 variables (1989 bin, 0 int, 0 impl, 1758 cont) and 4390 constraints 0.09/0.16 c 1758 constraints of type <indicator> 0.09/0.16 c 6 constraints of type <setppc> 0.09/0.16 c 1758 constraints of type <linear> 0.09/0.16 c 868 constraints of type <logicor> 0.09/0.16 c transformed objective value is always integral (scale: 1) 0.09/0.16 c Presolving Time: 0.11 0.09/0.16 c - non default parameters ---------------------------------------------------------------------- 0.09/0.16 c # SCIP version 1.2.1.2 0.09/0.16 c 0.09/0.16 c # frequency for displaying node information lines 0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.16 c display/freq = 10000 0.09/0.16 c 0.09/0.16 c # maximal time in seconds to run 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/time = 1799.98 0.09/0.16 c 0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.16 c limits/memory = 3420 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify inequalities 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/linear/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify knapsacks 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.16 c separating/rapidlearning/freq = 0 0.09/0.16 c 0.09/0.16 c ----------------------------------------------------------------------------------------------- 0.09/0.16 c start solving 0.09/0.16 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 11 | - | 13M| 0 | 0 |3747 |4390 |3747 | 874 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.18 c 0.1s| 1 | 0 | 63 | - | 13M| 0 | 27 |3747 |4390 |3747 | 892 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.18 o 88500 0.09/0.18 c y 0.1s| 1 | 0 | 63 | - | 13M| 0 | 27 |3747 |4390 |3747 | 892 | 18 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf 0.19/0.22 c 0.2s| 1 | 0 | 89 | - | 14M| 0 | 34 |3747 |4390 |3747 | 911 | 37 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf 0.19/0.28 c 0.2s| 1 | 0 | 145 | - | 14M| 0 | 42 |3747 |4390 |3747 | 917 | 43 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf 0.29/0.34 c 0.3s| 1 | 0 | 299 | - | 14M| 0 | 46 |3747 |4390 |3747 | 921 | 47 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf 0.39/0.40 c 0.3s| 1 | 0 | 303 | - | 14M| 0 | 47 |3747 |4390 |3747 | 925 | 51 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf 0.89/0.98 c 0.9s| 1 | 2 | 303 | - | 14M| 0 | 47 |3747 |4390 |3747 | 925 | 51 | 0 | 33 | 0.000000e+00 | 8.850000e+04 | Inf 9.09/9.19 o 652 9.09/9.19 c * 8.8s| 1168 | 779 | 12910 | 10.8 | 21M| 85 | - |3747 |4390 |3747 | 985 |1899 | 0 |1286 | 0.000000e+00 | 6.520000e+02 | Inf 11.79/11.88 o 23 11.79/11.88 c *11.3s| 3255 | 484 | 14831 | 4.5 | 22M|1626 | - |3747 |4476 |3747 | 962 |2183 | 86 |1337 | 0.000000e+00 | 2.300000e+01 | Inf 18.19/18.25 o 20 18.19/18.25 c *17.3s| 6569 | 531 | 33507 | 5.1 | 24M|1626 | - |3747 |5501 |3747 | 948 |3222 |4292 |1569 | 0.000000e+00 | 2.000000e+01 | Inf 18.19/18.25 o 14 18.19/18.25 c *17.3s| 6570 | 421 | 33507 | 5.1 | 23M|1626 | - |3747 |5501 |3747 | 948 |3222 |4292 |1569 | 0.000000e+00 | 1.400000e+01 | Inf 24.20/24.23 c 22.9s| 10000 | 539 | 58041 | 5.8 | 25M|1626 | - |3747 |5364 | 0 | 0 |4274 |8242 |1671 | 0.000000e+00 | 1.400000e+01 | Inf 41.50/41.58 c 39.3s| 20000 | 785 |130530 | 6.5 | 28M|1626 | 1 |3747 |8026 |3747 | 948 |7861 | 20k|1756 | 0.000000e+00 | 1.400000e+01 | Inf 58.79/58.88 c 55.7s| 30000 | 1017 |198693 | 6.6 | 32M|1626 | 7 |3747 |8126 |3747 | 932 | 11k| 32k|1756 | 0.000000e+00 | 1.400000e+01 | Inf 59.90/59.98 o 8 59.90/59.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 59.90/59.98 c *56.7s| 30692 | 839 |202224 | 6.6 | 30M|1626 | - |3747 |8272 |3747 | 939 | 11k| 33k|1756 | 0.000000e+00 | 8.000000e+00 | Inf 75.90/75.92 c 71.7s| 40000 | 990 |268328 | 6.7 | 32M|1626 | - |3747 |9859 | 0 | 0 | 14k| 45k|1756 | 0.000000e+00 | 8.000000e+00 | Inf 93.09/93.19 c 88.1s| 50000 | 1222 |338842 | 6.8 | 34M|1626 | - |3747 | 10k| 0 | 0 | 17k| 59k|1776 | 0.000000e+00 | 8.000000e+00 | Inf 111.30/111.34 c 105s| 60000 | 1310 |413124 | 6.9 | 36M|1626 | 1 |3747 | 11k|3747 | 941 | 19k| 73k|1912 | 0.000000e+00 | 8.000000e+00 | Inf 129.09/129.12 c 122s| 70000 | 1283 |481586 | 6.9 | 36M|1626 | - |3747 | 11k| 0 | 0 | 21k| 88k|2049 | 0.000000e+00 | 8.000000e+00 | Inf 146.99/147.05 c 139s| 80000 | 1290 |546312 | 6.8 | 37M|1626 | 16 |3747 | 11k|3747 | 955 | 24k| 102k|2197 | 0.000000e+00 | 8.000000e+00 | Inf 165.00/165.07 c 156s| 90000 | 1283 |611767 | 6.8 | 37M|1626 | 1 |3747 | 10k|3747 | 955 | 26k| 115k|2338 | 0.000000e+00 | 8.000000e+00 | Inf 182.90/182.90 c 173s|100000 | 1334 |682447 | 6.8 | 38M|1626 | 9 |3747 | 12k|3747 | 944 | 28k| 130k|2469 | 0.000000e+00 | 8.000000e+00 | Inf 200.70/200.74 c 190s|110000 | 1400 |748586 | 6.8 | 39M|1626 | 1 |3747 | 11k|3747 | 934 | 30k| 143k|2637 | 0.000000e+00 | 8.000000e+00 | Inf 218.00/218.10 c 207s|120000 | 1411 |812465 | 6.8 | 39M|1626 | 1 |3747 | 11k|3747 | 939 | 33k| 157k|2730 | 0.000000e+00 | 8.000000e+00 | Inf 235.90/235.92 c 223s|130000 | 1401 |874790 | 6.7 | 40M|1626 | - |3747 | 10k| 0 | 0 | 35k| 171k|2855 | 0.000000e+00 | 8.000000e+00 | Inf 252.80/252.86 c 239s|140000 | 1418 |927851 | 6.6 | 41M|1626 | 1 |3747 | 13k|3747 | 951 | 38k| 184k|2910 | 0.000000e+00 | 8.000000e+00 | Inf 270.80/270.86 c 256s|150000 | 1411 |987811 | 6.6 | 41M|1626 | 1 |3747 | 12k|3747 | 931 | 40k| 198k|3032 | 0.000000e+00 | 8.000000e+00 | Inf 289.21/289.27 c 274s|160000 | 1402 | 1050k| 6.6 | 41M|1626 | 8 |3747 | 11k|3747 | 951 | 42k| 211k|3107 | 0.000000e+00 | 8.000000e+00 | Inf 307.60/307.61 c 291s|170000 | 1399 | 1115k| 6.6 | 43M|1626 | 1 |3747 | 13k|3747 | 951 | 44k| 226k|3229 | 0.000000e+00 | 8.000000e+00 | Inf 325.10/325.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 325.10/325.12 c 308s|180000 | 1417 | 1175k| 6.5 | 43M|1626 | 1 |3747 | 12k|3747 | 953 | 46k| 239k|3297 | 0.000000e+00 | 8.000000e+00 | Inf 343.10/343.13 c 325s|190000 | 1431 | 1233k| 6.5 | 44M|1626 | 1 |3747 | 13k|3747 | 960 | 49k| 253k|3383 | 0.000000e+00 | 8.000000e+00 | Inf 361.50/361.59 c 342s|200000 | 1454 | 1300k| 6.5 | 43M|1626 | - |3747 | 10k| 0 | 0 | 51k| 266k|3515 | 0.000000e+00 | 8.000000e+00 | Inf 378.41/378.48 c 358s|210000 | 1550 | 1357k| 6.5 | 45M|1626 | 1 |3747 | 10k|3747 | 938 | 53k| 279k|3579 | 0.000000e+00 | 8.000000e+00 | Inf 395.71/395.76 c 375s|220000 | 1661 | 1419k| 6.5 | 47M|1626 | - |3747 | 12k| 0 | 0 | 55k| 293k|3639 | 0.000000e+00 | 8.000000e+00 | Inf 412.61/412.68 c 391s|230000 | 1667 | 1474k| 6.4 | 47M|1626 | - |3747 | 10k| 0 | 0 | 58k| 307k|3727 | 0.000000e+00 | 8.000000e+00 | Inf 430.30/430.32 c 408s|240000 | 1702 | 1533k| 6.4 | 48M|1626 | 8 |3747 | 12k|3747 | 958 | 60k| 320k|3818 | 0.000000e+00 | 8.000000e+00 | Inf 445.30/445.38 o 4 445.30/445.38 c * 422s|248129 | 1114 | 1587k| 6.4 | 39M|1626 | - |3747 | 14k|3747 | 941 | 62k| 331k|3874 | 0.000000e+00 | 4.000000e+00 | Inf 448.60/448.68 c 425s|250000 | 1096 | 1599k| 6.4 | 38M|1626 | - |3747 | 12k| 0 | 0 | 62k| 334k|3881 | 0.000000e+00 | 4.000000e+00 | Inf 465.90/465.96 c 441s|260000 | 1114 | 1661k| 6.4 | 38M|1626 | 1 |3747 |9369 |3747 | 939 | 64k| 347k|3948 | 0.000000e+00 | 4.000000e+00 | Inf 483.01/483.03 c 457s|270000 | 1166 | 1721k| 6.4 | 39M|1626 | - |3747 | 12k| 0 | 0 | 67k| 360k|4041 | 0.000000e+00 | 4.000000e+00 | Inf 500.81/500.80 c 474s|280000 | 1153 | 1781k| 6.4 | 40M|1626 | 16 |3747 | 16k|3747 | 980 | 69k| 374k|4107 | 0.000000e+00 | 4.000000e+00 | Inf 519.91/519.96 c 492s|290000 | 1130 | 1846k| 6.4 | 39M|1626 | 20 |3747 | 10k|3747 | 940 | 71k| 387k|4214 | 0.000000e+00 | 4.000000e+00 | Inf 538.81/538.84 c 510s|300000 | 1173 | 1916k| 6.4 | 41M|1626 | - |3747 | 15k| 0 | 0 | 73k| 400k|4270 | 0.000000e+00 | 4.000000e+00 | Inf 559.11/559.11 c 530s|310000 | 1185 | 1988k| 6.4 | 41M|1626 | 1 |3747 | 15k|3747 | 960 | 75k| 413k|4345 | 0.000000e+00 | 4.000000e+00 | Inf 578.31/578.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 578.31/578.35 c 548s|320000 | 1153 | 2051k| 6.4 | 41M|1626 | - |3747 | 15k| 0 | 0 | 77k| 426k|4425 | 0.000000e+00 | 4.000000e+00 | Inf 596.91/596.97 c 566s|330000 | 1117 | 2116k| 6.4 | 40M|1626 | - |3747 | 12k| 0 | 0 | 79k| 439k|4509 | 0.000000e+00 | 4.000000e+00 | Inf 614.51/614.56 c 582s|340000 | 1111 | 2171k| 6.4 | 41M|1626 | - |3747 | 15k| 0 | 0 | 81k| 452k|4571 | 0.000000e+00 | 4.000000e+00 | Inf 633.21/633.24 c 600s|350000 | 1092 | 2233k| 6.4 | 40M|1626 | 1 |3747 | 12k|3747 | 936 | 83k| 466k|4644 | 0.000000e+00 | 4.000000e+00 | Inf 651.91/651.90 c 618s|360000 | 1104 | 2296k| 6.4 | 41M|1626 | - |3747 | 14k| 0 | 0 | 85k| 479k|4707 | 0.000000e+00 | 4.000000e+00 | Inf 670.41/670.40 c 635s|370000 | 1045 | 2364k| 6.4 | 41M|1626 | - |3747 | 13k|3747 | 967 | 87k| 492k|4793 | 0.000000e+00 | 4.000000e+00 | Inf 688.42/688.41 c 652s|380000 | 1020 | 2431k| 6.4 | 41M|1626 | - |3747 | 14k| 0 | 0 | 89k| 506k|4870 | 0.000000e+00 | 4.000000e+00 | Inf 707.32/707.39 c 670s|390000 | 1010 | 2499k| 6.4 | 41M|1626 | - |3747 | 14k|3747 | 950 | 91k| 520k|4950 | 0.000000e+00 | 4.000000e+00 | Inf 725.01/725.08 c 687s|400000 | 1078 | 2550k| 6.4 | 42M|1626 | 1 |3747 | 15k|3747 | 934 | 93k| 533k|4980 | 0.000000e+00 | 4.000000e+00 | Inf 743.32/743.36 c 704s|410000 | 1073 | 2604k| 6.4 | 42M|1626 | 14 |3747 | 16k|3747 | 933 | 95k| 547k|5025 | 0.000000e+00 | 4.000000e+00 | Inf 762.41/762.44 c 723s|420000 | 1086 | 2665k| 6.3 | 44M|1626 | - |3747 | 19k| 0 | 0 | 97k| 561k|5073 | 0.000000e+00 | 4.000000e+00 | Inf 782.22/782.26 c 741s|430000 | 1132 | 2728k| 6.3 | 44M|1626 | 12 |3747 | 18k|3747 | 948 | 100k| 574k|5146 | 0.000000e+00 | 4.000000e+00 | Inf 802.21/802.22 c 761s|440000 | 1110 | 2789k| 6.3 | 44M|1626 | 14 |3747 | 19k|3747 | 934 | 102k| 588k|5202 | 0.000000e+00 | 4.000000e+00 | Inf 822.32/822.37 c 780s|450000 | 1129 | 2852k| 6.3 | 45M|1626 | 17 |3747 | 20k|3747 | 936 | 105k| 602k|5249 | 0.000000e+00 | 4.000000e+00 | Inf 843.32/843.31 c 800s|460000 | 1118 | 2921k| 6.4 | 46M|1626 | 8 |3747 | 22k|3747 | 952 | 107k| 616k|5310 | 0.000000e+00 | 4.000000e+00 | Inf 863.72/863.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 863.72/863.79 c 819s|470000 | 1079 | 2987k| 6.4 | 45M|1626 | - |3747 | 21k| 0 | 0 | 109k| 630k|5364 | 0.000000e+00 | 4.000000e+00 | Inf 884.62/884.60 c 839s|480000 | 1059 | 3054k| 6.4 | 45M|1626 | 6 |3747 | 21k|3747 | 934 | 111k| 644k|5433 | 0.000000e+00 | 4.000000e+00 | Inf 905.42/905.47 c 859s|490000 | 1090 | 3110k| 6.3 | 46M|1626 | - |3747 | 23k| 0 | 0 | 113k| 657k|5474 | 0.000000e+00 | 4.000000e+00 | Inf 927.52/927.57 c 880s|500000 | 1067 | 3176k| 6.4 | 45M|1626 | - |3747 | 19k| 0 | 0 | 115k| 671k|5573 | 0.000000e+00 | 4.000000e+00 | Inf 947.72/947.73 c 899s|510000 | 1021 | 3246k| 6.4 | 43M|1626 | 23 |3747 | 14k|3747 | 948 | 117k| 685k|5650 | 0.000000e+00 | 4.000000e+00 | Inf 966.42/966.47 c 917s|520000 | 973 | 3308k| 6.4 | 43M|1626 | 18 |3747 | 14k|3747 | 950 | 119k| 699k|5727 | 0.000000e+00 | 4.000000e+00 | Inf 984.72/984.73 c 935s|530000 | 992 | 3370k| 6.4 | 43M|1626 | 1 |3747 | 14k|3747 | 941 | 121k| 712k|5771 | 0.000000e+00 | 4.000000e+00 | Inf 1003.23/1003.26 c 952s|540000 | 987 | 3435k| 6.4 | 43M|1626 | 13 |3747 | 15k|3747 | 956 | 124k| 726k|5819 | 0.000000e+00 | 4.000000e+00 | Inf 1021.93/1021.91 c 970s|550000 | 1009 | 3487k| 6.3 | 45M|1626 | 17 |3747 | 18k|3747 | 952 | 126k| 738k|5840 | 0.000000e+00 | 4.000000e+00 | Inf 1041.82/1041.85 c 989s|560000 | 1046 | 3547k| 6.3 | 45M|1626 | 8 |3747 | 18k|3747 | 948 | 128k| 752k|5894 | 0.000000e+00 | 4.000000e+00 | Inf 1061.53/1061.56 c 1008s|570000 | 1105 | 3605k| 6.3 | 47M|1626 | - |3747 | 20k| 0 | 0 | 130k| 765k|5940 | 0.000000e+00 | 4.000000e+00 | Inf 1080.93/1080.97 c 1026s|580000 | 1141 | 3659k| 6.3 | 48M|1626 | - |3747 | 21k| 0 | 0 | 132k| 778k|5984 | 0.000000e+00 | 4.000000e+00 | Inf 1101.63/1101.68 c 1046s|590000 | 1210 | 3715k| 6.3 | 48M|1626 | - |3747 | 20k| 0 | 0 | 134k| 790k|6047 | 0.000000e+00 | 4.000000e+00 | Inf 1122.32/1122.38 c 1066s|600000 | 1230 | 3778k| 6.3 | 50M|1626 | - |3747 | 23k| 0 | 0 | 136k| 803k|6093 | 0.000000e+00 | 4.000000e+00 | Inf 1143.72/1143.72 c 1086s|610000 | 1227 | 3843k| 6.3 | 50M|1626 | 13 |3747 | 25k|3747 | 931 | 139k| 816k|6136 | 0.000000e+00 | 4.000000e+00 | Inf 1165.03/1165.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1165.03/1165.04 c 1106s|620000 | 1243 | 3907k| 6.3 | 51M|1626 | 19 |3747 | 26k|3747 | 942 | 141k| 829k|6181 | 0.000000e+00 | 4.000000e+00 | Inf 1186.63/1186.64 c 1127s|630000 | 1262 | 3968k| 6.3 | 51M|1626 | - |3747 | 25k| 0 | 0 | 143k| 842k|6216 | 0.000000e+00 | 4.000000e+00 | Inf 1208.22/1208.22 c 1148s|640000 | 1301 | 4025k| 6.3 | 52M|1626 | 13 |3747 | 28k|3747 | 941 | 146k| 855k|6248 | 0.000000e+00 | 4.000000e+00 | Inf 1230.33/1230.35 c 1169s|650000 | 1305 | 4081k| 6.3 | 53M|1626 | 23 |3747 | 29k|3747 | 941 | 147k| 868k|6299 | 0.000000e+00 | 4.000000e+00 | Inf 1253.63/1253.62 c 1191s|660000 | 1317 | 4141k| 6.3 | 54M|1626 | 17 |3747 | 30k|3747 | 964 | 149k| 882k|6344 | 0.000000e+00 | 4.000000e+00 | Inf 1277.13/1277.17 c 1214s|670000 | 1325 | 4205k| 6.3 | 54M|1626 | 1 |3747 | 30k|3747 | 938 | 151k| 895k|6386 | 0.000000e+00 | 4.000000e+00 | Inf 1301.43/1301.44 c 1237s|680000 | 1345 | 4274k| 6.3 | 55M|1626 | - |3747 | 31k| 0 | 0 | 154k| 909k|6440 | 0.000000e+00 | 4.000000e+00 | Inf 1325.63/1325.65 c 1260s|690000 | 1344 | 4336k| 6.3 | 55M|1626 | 9 |3747 | 32k|3747 | 964 | 156k| 923k|6474 | 0.000000e+00 | 4.000000e+00 | Inf 1343.63/1343.66 o 3 1343.63/1343.66 c *1278s|697512 | 1131 | 4381k| 6.3 | 51M|1626 | - |3747 | 33k|3747 | 955 | 157k| 934k|6481 | 0.000000e+00 | 3.000000e+00 | Inf 1349.74/1349.72 c 1283s|700000 | 1152 | 4397k| 6.3 | 52M|1626 | 7 |3747 | 33k|3747 | 950 | 158k| 938k|6510 | 0.000000e+00 | 3.000000e+00 | Inf 1374.23/1374.22 c 1307s|710000 | 1204 | 4461k| 6.3 | 52M|1626 | - |3747 | 33k| 0 | 0 | 160k| 951k|6539 | 0.000000e+00 | 3.000000e+00 | Inf 1398.43/1398.44 c 1330s|720000 | 1200 | 4521k| 6.3 | 53M|1626 | 19 |3747 | 35k|3747 | 957 | 162k| 965k|6586 | 0.000000e+00 | 3.000000e+00 | Inf 1424.04/1424.06 c 1355s|730000 | 1212 | 4591k| 6.3 | 53M|1626 | 1 |3747 | 34k|3747 | 966 | 164k| 979k|6628 | 0.000000e+00 | 3.000000e+00 | Inf 1450.13/1450.11 c 1380s|740000 | 1233 | 4661k| 6.3 | 55M|1626 | 13 |3747 | 38k|3747 | 952 | 166k| 993k|6678 | 0.000000e+00 | 3.000000e+00 | Inf 1476.24/1476.21 c 1405s|750000 | 1222 | 4725k| 6.3 | 55M|1626 | - |3747 | 37k| 0 | 0 | 168k|1007k|6726 | 0.000000e+00 | 3.000000e+00 | Inf 1500.64/1500.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1500.64/1500.60 c 1429s|760000 | 1170 | 4783k| 6.3 | 54M|1626 | - |3747 | 35k| 0 | 0 | 170k|1022k|6775 | 0.000000e+00 | 3.000000e+00 | Inf 1525.43/1525.44 c 1452s|770000 | 1083 | 4845k| 6.3 | 48M|1626 | 15 |3747 | 22k|3747 | 950 | 172k|1036k|6894 | 0.000000e+00 | 3.000000e+00 | Inf 1545.24/1545.29 c 1471s|780000 | 1084 | 4911k| 6.3 | 47M|1626 | 5 |3747 | 17k|3747 | 939 | 175k|1048k|6927 | 0.000000e+00 | 3.000000e+00 | Inf 1563.64/1563.63 c 1489s|790000 | 1001 | 4972k| 6.3 | 44M|1626 | - |3747 | 12k| 0 | 0 | 177k|1061k|7022 | 0.000000e+00 | 3.000000e+00 | Inf 1581.84/1581.88 c 1506s|800000 | 1004 | 5033k| 6.3 | 45M|1626 | 12 |3747 | 14k|3747 | 944 | 180k|1074k|7071 | 0.000000e+00 | 3.000000e+00 | Inf 1600.64/1600.63 c 1524s|810000 | 864 | 5096k| 6.3 | 44M|1626 | - |3747 | 14k| 0 | 0 | 182k|1088k|7151 | 0.000000e+00 | 3.000000e+00 | Inf 1618.54/1618.59 c 1541s|820000 | 877 | 5152k| 6.3 | 44M|1626 | - |3747 | 13k| 0 | 0 | 184k|1101k|7208 | 0.000000e+00 | 3.000000e+00 | Inf 1638.24/1638.23 c 1560s|830000 | 898 | 5216k| 6.3 | 44M|1626 | 1 |3747 | 14k|3747 | 965 | 186k|1114k|7275 | 0.000000e+00 | 3.000000e+00 | Inf 1657.05/1657.02 c 1578s|840000 | 754 | 5278k| 6.3 | 42M|1626 | 24 |3747 | 14k|3747 | 946 | 189k|1128k|7330 | 0.000000e+00 | 3.000000e+00 | Inf 1675.94/1675.95 c 1596s|850000 | 727 | 5341k| 6.3 | 42M|1626 | 11 |3747 | 14k|3747 | 937 | 191k|1141k|7397 | 0.000000e+00 | 3.000000e+00 | Inf 1695.74/1695.79 c 1615s|860000 | 650 | 5407k| 6.3 | 42M|1626 | 21 |3747 | 17k|3747 | 942 | 194k|1155k|7450 | 0.000000e+00 | 3.000000e+00 | Inf 1716.34/1716.38 c 1634s|870000 | 616 | 5474k| 6.3 | 42M|1626 | - |3747 | 18k| 0 | 0 | 196k|1169k|7487 | 0.000000e+00 | 3.000000e+00 | Inf 1736.95/1736.97 c 1654s|880000 | 641 | 5540k| 6.3 | 44M|1626 | 17 |3747 | 22k|3747 | 962 | 198k|1183k|7513 | 0.000000e+00 | 3.000000e+00 | Inf 1758.95/1758.91 c 1675s|890000 | 608 | 5608k| 6.3 | 44M|1626 | - |3747 | 23k|3747 | 980 | 200k|1196k|7561 | 0.000000e+00 | 3.000000e+00 | Inf 1780.74/1780.78 c 1696s|900000 | 628 | 5665k| 6.3 | 45M|1626 | - |3747 | 25k| 0 | 0 | 202k|1209k|7598 | 0.000000e+00 | 3.000000e+00 | Inf 1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.01 c 1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.01 c Solving Time (sec) : 1714.16 1800.05/1800.01 c Solving Nodes : 908541 1800.05/1800.01 c Primal Bound : +3.00000000000000e+00 (108 solutions) 1800.05/1800.01 c Dual Bound : +0.00000000000000e+00 1800.05/1800.01 c Gap : infinite 1800.05/1800.05 s SATISFIABLE 1800.05/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 x211 -x210 1800.05/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1800.05/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1800.05/1800.05 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 1800.05/1800.05 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 1800.05/1800.05 v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 1800.05/1800.05 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 1800.05/1800.05 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 1800.05/1800.05 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 1800.05/1800.05 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 1800.05/1800.05 v -x1 1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.05 c Solving Time : 1714.16 1800.05/1800.05 c Original Problem : 1800.05/1800.05 c Problem name : HOME/instance-2693467-1277905759.wbo 1800.05/1800.05 c Variables : 3839 (2035 binary, 0 integer, 0 implicit integer, 1804 continuous) 1800.05/1800.05 c Constraints : 4512 initial, 4512 maximal 1800.05/1800.05 c Presolved Problem : 1800.05/1800.05 c Problem name : t_HOME/instance-2693467-1277905759.wbo 1800.05/1800.05 c Variables : 3747 (1989 binary, 0 integer, 0 implicit integer, 1758 continuous) 1800.05/1800.05 c Constraints : 4390 initial, 38762 maximal 1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.05 c trivial : 0.00 46 0 0 0 0 0 0 0 1800.05/1800.05 c dualfix : 0.00 46 0 0 0 0 0 0 0 1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0 1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 46 0 0 1800.05/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.05 c linear : 0.05 0 0 0 1809 0 76 53 0 1800.05/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.05/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.05 c root node : - 1716 - - 3432 - - - - 1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.05 c integral : 0 0 0 513264 0 46 762 0 0 973146 1800.05/1800.05 c indicator : 1758 0 4880725 25727 0 40 584790 0 0 0 1800.05/1800.05 c setppc : 6 6 4917749 25737 0 40767 1002257 0 0 0 1800.05/1800.05 c linear : 1758 6 4890145 25982 0 195643 22889550 204790 0 0 1800.05/1800.05 c logicor : 868+ 6 1630317 2886 0 217062 3890841 0 0 0 1800.05/1800.05 c bounddisjunction : 0+ 0 6050 0 0 1 42 0 0 0 1800.05/1800.05 c countsols : 0 0 0 2886 0 0 0 0 0 0 1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.05 c integral : 20.25 0.00 0.00 20.25 0.00 1800.05/1800.05 c indicator : 4.82 0.00 4.39 0.43 0.00 1800.05/1800.05 c setppc : 7.17 0.00 7.16 0.01 0.00 1800.05/1800.05 c linear : 153.08 0.00 151.58 1.50 0.00 1800.05/1800.05 c logicor : 259.70 0.00 259.67 0.03 0.00 1800.05/1800.05 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.05 c vbounds : 0.00 2 0 0 1800.05/1800.05 c rootredcost : 0.00 8 0 1716 1800.05/1800.05 c pseudoobj : 157.38 4931291 446 422471 1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.05 c propagation : 20.37 453919 453477 2771606 26.3 16323 22.7 - 1800.05/1800.05 c infeasible LP : 7.63 29341 29341 244479 42.8 312 13.7 0 1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.05 c pseudo solution : 0.00 7 7 46 17.0 7 3.4 - 1800.05/1800.05 c applied globally : - - - 1220926 21.5 - - - 1800.05/1800.05 c applied locally : - - - 0 0.0 - - - 1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.05 c cut pool : 0.00 4 - - 8 - (maximal pool size: 142) 1800.05/1800.05 c redcost : 24.06 516368 0 132600 0 0 1800.05/1800.05 c impliedbounds : 0.00 5 0 0 0 0 1800.05/1800.05 c intobj : 0.00 0 0 0 0 0 1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.05 c gomory : 0.11 5 0 0 725 0 1800.05/1800.05 c strongcg : 0.06 5 0 0 0 0 1800.05/1800.05 c cmir : 0.01 5 0 0 0 0 1800.05/1800.05 c flowcover : 0.07 5 0 0 0 0 1800.05/1800.05 c clique : 0.00 5 0 0 0 0 1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.05 c mcf : 0.00 1 0 0 0 0 1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0 1800.05/1800.05 c Pricers : Time Calls Vars 1800.05/1800.05 c problem variables: 0.00 0 0 1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.05 c relpscost : 20.15 487244 46 762 0 0 973146 1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.05 c inference : 0.41 2879 0 0 0 0 5758 1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.05 c random : 0.00 0 0 0 0 0 0 1800.05/1800.05 c Primal Heuristics : Time Calls Found 1800.05/1800.05 c LP solutions : 0.01 - 7 1800.05/1800.05 c pseudo solutions : 0.00 - 0 1800.05/1800.05 c feaspump : 0.00 0 0 1800.05/1800.05 c oneopt : 0.02 7 0 1800.05/1800.05 c crossover : 0.28 6 0 1800.05/1800.05 c pscostdiving : 0.10 62 0 1800.05/1800.05 c veclendiving : 0.06 62 0 1800.05/1800.05 c linesearchdiving : 0.05 62 0 1800.05/1800.05 c coefdiving : 0.08 62 0 1800.05/1800.05 c fracdiving : 0.08 62 0 1800.05/1800.05 c guideddiving : 0.11 62 0 1800.05/1800.05 c objpscostdiving : 0.08 47 0 1800.05/1800.05 c rootsoldiving : 0.16 47 0 1800.05/1800.05 c trivial : 0.00 2 0 1800.05/1800.05 c simplerounding : 0.40 487817 0 1800.05/1800.05 c zirounding : 0.19 1000 0 1800.05/1800.05 c rounding : 1.45 9843 0 1800.05/1800.05 c shifting : 1.08 3088 0 1800.05/1800.05 c intshifting : 0.01 9 0 1800.05/1800.05 c twoopt : 0.00 0 0 1800.05/1800.05 c fixandinfer : 0.00 0 0 1800.05/1800.05 c intdiving : 0.00 0 0 1800.05/1800.05 c actconsdiving : 0.00 0 0 1800.05/1800.05 c octane : 0.00 0 0 1800.05/1800.05 c rens : 0.01 1 0 1800.05/1800.05 c rins : 0.00 0 0 1800.05/1800.05 c localbranching : 0.00 0 0 1800.05/1800.05 c mutation : 0.00 0 0 1800.05/1800.05 c dins : 0.00 0 0 1800.05/1800.05 c undercover : 0.00 0 0 1800.05/1800.05 c nlp : 0.00 0 0 1800.05/1800.05 c trysol : 1.87 7333 101 1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.05 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.05 c dual LP : 617.67 539529 5715665 10.59 9253.59 1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.05 c diving/probing LP: 0.18 114 1051 9.22 5838.89 1800.05/1800.05 c strong branching : 16.80 7636 192395 25.20 11452.08 1800.05/1800.05 c (at root node) : - 33 6517 197.48 - 1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.05 c B&B Tree : 1800.05/1800.05 c number of runs : 1 1800.05/1800.05 c nodes : 908541 1800.05/1800.05 c nodes (total) : 908541 1800.05/1800.05 c nodes left : 566 1800.05/1800.05 c max depth : 1626 1800.05/1800.05 c max depth (total): 1626 1800.05/1800.05 c backtracks : 81644 (9.0%) 1800.05/1800.05 c delayed cutoffs : 65869 1800.05/1800.05 c repropagations : 2616450 (4550671 domain reductions, 64122 cutoffs) 1800.05/1800.05 c avg switch length: 7.19 1800.05/1800.05 c switching time : 254.69 1800.05/1800.05 c Solution : 1800.05/1800.05 c Solutions found : 108 (8 improvements) 1800.05/1800.05 c First Solution : +8.85000000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>) 1800.05/1800.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 697512 nodes, 1277.51 seconds, depth 41, found by <relaxation>) 1800.05/1800.05 c Dual Bound : +0.00000000000000e+00 1800.05/1800.05 c Gap : infinite 1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.05 c Root Iterations : 303 1800.15/1800.11 c Time complete: 1800.16.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693467-1277905759/watcher-2693467-1277905759 -o /tmp/evaluation-result-2693467-1277905759/solver-2693467-1277905759 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693467-1277905759.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.15 2.59 2.50 4/178 24685 /proc/meminfo: memFree=31320096/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=11116 CPUtime=0 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 1710 0 0 0 0 0 0 0 21 0 1 0 166179663 11382784 1630 4089446400 4194304 9819077 140736763956480 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24685/statm: 2779 1630 392 1374 0 1400 0 [startup+0.069683 s] /proc/loadavg: 2.15 2.59 2.50 4/178 24685 /proc/meminfo: memFree=31320096/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=30544 CPUtime=0.06 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 7236 0 0 0 5 1 0 0 21 0 1 0 166179663 31277056 6288 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 7636 6288 492 1374 0 6257 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 30544 [startup+0.10067 s] /proc/loadavg: 2.15 2.59 2.50 4/178 24685 /proc/meminfo: memFree=31320096/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=30544 CPUtime=0.09 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 7765 0 0 0 8 1 0 0 21 0 1 0 166179663 31277056 6303 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 7636 6303 498 1374 0 6257 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30544 [startup+0.300639 s] /proc/loadavg: 2.15 2.59 2.50 4/178 24685 /proc/meminfo: memFree=31320096/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=40308 CPUtime=0.29 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 12158 0 0 0 27 2 0 0 21 0 1 0 166179663 41275392 8540 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 10077 8540 677 1374 0 8698 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 40308 [startup+0.700567 s] /proc/loadavg: 2.15 2.59 2.50 4/178 24685 /proc/meminfo: memFree=31320096/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=43836 CPUtime=0.69 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 20775 0 0 0 65 4 0 0 22 0 1 0 166179663 44888064 9008 4089446400 4194304 9819077 140736763956480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 10959 9008 705 1374 0 9580 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43836 [startup+1.50042 s] /proc/loadavg: 2.15 2.59 2.50 3/179 24686 /proc/meminfo: memFree=31286484/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=43820 CPUtime=1.49 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 27391 0 0 0 143 6 0 0 25 0 1 0 166179663 44871680 9034 4089446400 4194304 9819077 140736763956480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 10955 9034 711 1374 0 9576 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43820 [startup+3.1011 s] /proc/loadavg: 2.15 2.59 2.50 3/179 24686 /proc/meminfo: memFree=31286400/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=42476 CPUtime=3.09 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 54014 0 0 0 296 13 0 0 25 0 1 0 166179663 43495424 9054 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 10619 9054 712 1374 0 9240 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42476 [startup+6.30054 s] /proc/loadavg: 2.14 2.58 2.50 4/179 24713 /proc/meminfo: memFree=31489884/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=44844 CPUtime=6.29 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 115445 0 0 0 602 27 0 0 25 0 1 0 166179663 45920256 9729 4089446400 4194304 9819077 140736763956480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 11211 9729 712 1374 0 9832 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44844 [startup+12.7004 s] /proc/loadavg: 2.13 2.57 2.50 4/179 24714 /proc/meminfo: memFree=31455804/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=57280 CPUtime=12.69 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 185758 0 0 0 1213 56 0 0 25 0 1 0 166179663 58654720 12620 4089446400 4194304 9819077 140736763956480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 14320 12620 718 1374 0 12941 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57280 [startup+25.501 s] /proc/loadavg: 2.10 2.54 2.49 2/176 24735 /proc/meminfo: memFree=31503152/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=65792 CPUtime=25.49 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 284335 0 0 0 2413 136 0 0 25 0 1 0 166179663 67371008 14744 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 16448 14744 718 1374 0 15069 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 65792 [startup+51.1003 s] /proc/loadavg: 2.13 2.51 2.48 3/179 24742 /proc/meminfo: memFree=31407264/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=74052 CPUtime=51.09 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 435784 0 0 0 4837 272 0 0 25 0 1 0 166179663 75829248 16776 4089446400 4194304 9819077 140736763956480 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 18513 16776 720 1374 0 17134 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 74052 [startup+102.307 s] /proc/loadavg: 2.06 2.43 2.45 3/179 24770 /proc/meminfo: memFree=31471024/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=82212 CPUtime=102.3 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 731696 0 0 0 9677 553 0 0 25 0 1 0 166179663 84185088 18875 4089446400 4194304 9819077 140736763956480 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 20553 18875 720 1374 0 19174 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 82212 [startup+162.301 s] /proc/loadavg: 2.10 2.37 2.43 3/179 24772 /proc/meminfo: memFree=31464940/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=86460 CPUtime=162.29 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 1059700 0 0 0 15370 859 0 0 25 0 1 0 166179663 88535040 19874 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 21615 19874 734 1374 0 20236 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 86460 [startup+222.301 s] /proc/loadavg: 2.03 2.30 2.40 3/179 24773 /proc/meminfo: memFree=31461428/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=88960 CPUtime=222.29 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 1417674 0 0 0 21057 1172 0 0 25 0 1 0 166179663 91095040 20499 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 22240 20499 735 1374 0 20861 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 88960 [startup+282.301 s] /proc/loadavg: 2.01 2.24 2.37 3/179 24775 /proc/meminfo: memFree=31458040/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=92108 CPUtime=282.3 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 1752459 0 0 0 26740 1490 0 0 25 0 1 0 166179663 94318592 21302 4089446400 4194304 9819077 140736763956480 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 23080 21303 735 1374 0 21701 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 92108 [startup+342.301 s] /proc/loadavg: 2.00 2.19 2.34 3/179 24777 /proc/meminfo: memFree=31454780/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=95188 CPUtime=342.31 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 2070580 0 0 0 32428 1803 0 0 25 0 1 0 166179663 97472512 22004 4089446400 4194304 9819077 140736763956480 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 23797 22004 735 1374 0 22418 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 95188 [startup+402.301 s] /proc/loadavg: 2.00 2.16 2.32 3/179 24778 /proc/meminfo: memFree=31451528/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=98348 CPUtime=402.31 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 2407484 0 0 0 38103 2128 0 0 25 0 1 0 166179663 100708352 22736 4089446400 4194304 9819077 140736763956480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 24587 22736 735 1374 0 23208 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 98348 [startup+462.301 s] /proc/loadavg: 2.00 2.12 2.30 3/179 24780 /proc/meminfo: memFree=31449628/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=99920 CPUtime=462.31 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 2750399 0 0 0 43776 2455 0 0 25 0 1 0 166179663 102318080 23138 4089446400 4194304 9819077 140736763956480 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 24980 23138 735 1374 0 23601 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 99920 [startup+522.3 s] /proc/loadavg: 2.00 2.10 2.27 3/179 24781 /proc/meminfo: memFree=31449232/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=99792 CPUtime=522.31 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 3071334 0 0 0 49463 2768 0 0 25 0 1 0 166179663 102187008 23205 4089446400 4194304 9819077 140736763956480 18446744073709551615 7212342 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 25003 23206 735 1374 0 23624 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 99792 [startup+582.3 s] /proc/loadavg: 2.00 2.08 2.26 3/179 24810 /proc/meminfo: memFree=31422372/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=100804 CPUtime=582.31 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 3366889 0 0 0 55168 3063 0 0 25 0 1 0 166179663 103223296 23359 4089446400 4194304 9819077 140736763956480 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 25201 23359 735 1374 0 23822 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 100804 [startup+642.3 s] /proc/loadavg: 2.00 2.06 2.24 3/179 24812 /proc/meminfo: memFree=31241356/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=101400 CPUtime=642.32 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 3678761 0 0 0 60862 3370 0 0 25 0 1 0 166179663 103833600 23493 4089446400 4194304 9819077 140736763956480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 24972 23479 735 1374 0 23593 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 101400 [startup+702.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.02 2.04 2.18 3/179 24827 /proc/meminfo: memFree=30911620/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=106644 CPUtime=882.31 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 4869541 0 0 0 83693 4538 0 0 25 0 1 0 166179663 109203456 24766 4089446400 4194304 9819077 140736763956480 18446744073709551615 6519255 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 26661 24766 735 1374 0 25282 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 106644 [startup+942.3 s] /proc/loadavg: 2.01 2.03 2.17 3/179 24829 /proc/meminfo: memFree=30812372/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=107244 CPUtime=942.32 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 5124703 0 0 0 89423 4809 0 0 25 0 1 0 166179663 109817856 24898 4089446400 4194304 9819077 140736763956480 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 26811 24898 735 1374 0 25432 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 107244 [startup+1002.3 s] /proc/loadavg: 2.00 2.03 2.16 3/179 24830 /proc/meminfo: memFree=30719588/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=107584 CPUtime=1002.32 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 5431470 0 0 0 95123 5109 0 0 25 0 1 0 166179663 110166016 24961 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 26896 24961 735 1374 0 25517 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 107584 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.14 3/197 24877 /proc/meminfo: memFree=31381848/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=108436 CPUtime=1062.32 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 5708019 0 0 0 100834 5398 0 0 25 0 1 0 166179663 111038464 25194 4089446400 4194304 9819077 140736763956480 18446744073709551615 6591459 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 27109 25194 735 1374 0 25730 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 108436 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.13 3/197 24878 /proc/meminfo: memFree=31379764/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=110012 CPUtime=1122.32 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 5973686 0 0 0 106561 5671 0 0 25 0 1 0 166179663 112652288 25541 4089446400 4194304 9819077 140736763956480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 27503 25541 735 1374 0 26124 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 110012 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.12 3/197 24880 /proc/meminfo: memFree=31376480/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=111852 CPUtime=1182.33 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 6245945 0 0 0 112288 5945 0 0 25 0 1 0 166179663 114536448 25996 4089446400 4194304 9819077 140736763956480 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 27963 25996 735 1374 0 26584 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 111852 [startup+1242.3 s] /proc/loadavg: 2.62 2.15 2.16 3/197 24882 /proc/meminfo: memFree=31374676/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=112852 CPUtime=1242.33 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 6493446 0 0 0 118027 6206 0 0 25 0 1 0 166179663 115560448 26283 4089446400 4194304 9819077 140736763956480 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 28213 26283 735 1374 0 26834 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 112852 [startup+1302.3 s] /proc/loadavg: 2.28 2.13 2.15 3/197 24883 /proc/meminfo: memFree=31372008/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=115624 CPUtime=1302.34 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 6732159 0 0 0 123784 6450 0 0 25 0 1 0 166179663 118398976 26898 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 28906 26898 735 1374 0 27527 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 115624 [startup+1362.3 s] /proc/loadavg: 2.10 2.11 2.14 3/197 24885 /proc/meminfo: memFree=31369832/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=116676 CPUtime=1362.34 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 6970753 0 0 0 129544 6690 0 0 25 0 1 0 166179663 119476224 27169 4089446400 4194304 9819077 140736763956480 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 29169 27169 735 1374 0 27790 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 116676 [startup+1422.31 s] /proc/loadavg: 2.04 2.08 2.13 3/197 24886 /proc/meminfo: memFree=31368772/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=117520 CPUtime=1422.34 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 7198045 0 0 0 135322 6912 0 0 25 0 1 0 166179663 120340480 27380 4089446400 4194304 9819077 140736763956480 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 29380 27380 735 1374 0 28001 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 117520 [startup+1482.3 s] /proc/loadavg: 2.01 2.07 2.12 3/197 24891 /proc/meminfo: memFree=31366696/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=118292 CPUtime=1482.33 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 7420609 0 0 0 141102 7131 0 0 25 0 1 0 166179663 121131008 27565 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 29573 27565 735 1374 0 28194 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 118292 [startup+1542.3 s] /proc/loadavg: 2.00 2.05 2.10 3/197 24893 /proc/meminfo: memFree=31366924/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=118388 CPUtime=1542.34 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 7665954 0 0 0 146855 7379 0 0 25 0 1 0 166179663 121229312 27615 4089446400 4194304 9819077 140736763956480 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 29597 27615 735 1374 0 28218 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 118388 [startup+1602.3 s] /proc/loadavg: 2.00 2.04 2.09 3/197 24894 /proc/meminfo: memFree=31366604/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=118488 CPUtime=1602.34 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 7979979 0 0 0 152544 7690 0 0 25 0 1 0 166179663 121331712 27640 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 29622 27640 735 1374 0 28243 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 118488 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 2.09 3/197 24896 /proc/meminfo: memFree=31366160/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=119388 CPUtime=1662.34 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 8282381 0 0 0 158264 7970 0 0 25 0 1 0 166179663 122253312 27737 4089446400 4194304 9819077 140736763956480 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 29847 27737 735 1374 0 28468 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 119388 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.08 3/197 24897 /proc/meminfo: memFree=31365736/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=119364 CPUtime=1722.34 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 8576595 0 0 0 163987 8247 0 0 25 0 1 0 166179663 122228736 27739 4089446400 4194304 9819077 140736763956480 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 29841 27739 735 1374 0 28462 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 119364 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.07 3/197 24899 /proc/meminfo: memFree=31365644/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=119712 CPUtime=1782.35 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 8835708 0 0 0 169720 8515 0 0 25 0 1 0 166179663 122585088 27819 4089446400 4194304 9819077 140736763956480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 29928 27819 735 1374 0 28549 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 119712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.03 2.08 3/197 24899 /proc/meminfo: memFree=31365008/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=119708 CPUtime=1800.05 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 8913947 0 0 0 171418 8587 0 0 25 0 1 0 166179663 122580992 27831 4089446400 4194304 9819077 140736763956480 18446744073709551615 4210294 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24685/statm: 29927 27831 735 1374 0 28548 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 119708 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.07 2.03 2.08 3/197 24899 /proc/meminfo: memFree=31365008/32951124 swapFree=67111528/67111528 [pid=24685] ppid=24683 vsize=51860 CPUtime=1800.15 /proc/24685/stat : 24685 (pbscip.linux.x8) R 24683 24685 22869 0 -1 4202496 8913986 0 0 0 171428 8587 0 0 25 0 1 0 166179663 53104640 12082 4089446400 4194304 9819077 140736763956480 18446744073709551615 5960085 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24685/statm: 12965 12082 736 1374 0 11586 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 51860 Child status: 0 Real time (s): 1800.11 CPU time (s): 1800.17 CPU user time (s): 1714.28 CPU system time (s): 85.8829 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 121632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1714.28 system time used= 85.8829 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8913990 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 909 runsolver used 3.2655 second user time and 6.39903 second system time The end
Begin job on node110 at 2010-06-30 15:49:19 IDJOB=2693467 IDBENCH=78932 IDSOLVER=1205 FILE ID=node110/2693467-1277905759 PBS_JOBID= 11197161 Free space on /tmp= 74208 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.1900566157--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-2693467-1277905759/watcher-2693467-1277905759 -o /tmp/evaluation-result-2693467-1277905759/solver-2693467-1277905759 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693467-1277905759.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cfec29cd05a8fe08303725dcbadc3399 RANDOM SEED=928525929 node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31320624 kB Buffers: 191940 kB Cached: 996128 kB SwapCached: 0 kB Active: 860756 kB Inactive: 627388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31320624 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6260 kB Writeback: 0 kB AnonPages: 299848 kB Mapped: 16092 kB Slab: 78580 kB PageTables: 4868 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 448868 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node110 at 2010-06-30 16:19:21