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.11 | 1800.06 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo |
MD5SUM | 48850acf7a795604147e976fcd80db7d |
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 | 336.106 |
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 | 892 |
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 | 45060 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45059 |
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.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-2693475-1277906185.wbo> 0.00/0.02 c original problem has 2015 variables (1123 bin, 0 int, 0 impl, 892 cont) and 3600 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, 1100 impls, 13 clqs 0.00/0.07 c (round 2) 0 del vars, 107 del conss, 892 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs 0.00/0.09 c (round 3) 48 del vars, 233 del conss, 913 chg bounds, 126 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs 0.00/0.09 c (round 4) 117 del vars, 255 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs 0.09/0.11 c (round 5) 139 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs 0.09/0.12 c (round 6) 140 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs 0.09/0.16 c (0.1s) probing: 101/1053 (9.6%) - 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 (7 rounds): 0.09/0.16 c 140 deleted vars, 256 deleted constraints, 914 tightened bounds, 0 added holes, 127 changed sides, 0 changed coefficients 0.09/0.16 c 1100 implications, 13 cliques 0.09/0.16 c presolved problem has 1875 variables (1053 bin, 0 int, 0 impl, 822 cont) and 3344 constraints 0.09/0.16 c 822 constraints of type <indicator> 0.09/0.16 c 13 constraints of type <setppc> 0.09/0.16 c 822 constraints of type <linear> 0.09/0.16 c 1687 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.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.16 c 0.1s| 1 | 0 | 29 | - |8601k| 0 | 17 |1875 |3344 |1875 |1700 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.21 c 0.2s| 1 | 0 | 83 | - |8633k| 0 | 32 |1875 |3344 |1875 |1715 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.26 c 0.2s| 1 | 0 | 113 | - |8955k| 0 | 36 |1875 |3344 |1875 |1724 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.33 c 0.3s| 1 | 0 | 168 | - |9242k| 0 | 41 |1875 |3344 |1875 |1733 | 33 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.42 c 0.4s| 1 | 0 | 212 | - |9246k| 0 | 45 |1875 |3344 |1875 |1737 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.52 c 0.5s| 1 | 0 | 215 | - |9247k| 0 | 46 |1875 |3344 |1875 |1738 | 38 | 0 | 0 | 0.000000e+00 | -- | Inf 1.78/1.85 c 1.8s| 1 | 2 | 215 | - |9275k| 0 | 46 |1875 |3344 |1875 |1738 | 38 | 0 | 33 | 0.000000e+00 | -- | Inf 1.78/1.86 o 41400 1.78/1.86 c y 1.8s| 2 | 1 | 215 | 0.0 |9306k| 1 | - |1875 |3344 | 0 | 0 | 38 | 0 | 33 | 0.000000e+00 | 4.140000e+04 | Inf 12.29/12.31 o 543 12.29/12.31 c *11.9s| 228 | 212 | 5536 | 23.4 | 10M| 74 | - |1875 |3365 |1875 |1739 | 136 | 21 | 715 | 0.000000e+00 | 5.430000e+02 | Inf 12.69/12.70 o 309 12.69/12.70 c *12.3s| 483 | 440 | 6193 | 12.4 | 10M| 89 | - |1875 |3386 |1875 |1746 | 165 | 42 | 741 | 0.000000e+00 | 3.090000e+02 | Inf 12.69/12.77 o 299 12.69/12.77 c *12.3s| 536 | 479 | 6326 | 11.4 | 11M| 89 | - |1875 |3418 |1875 |1750 | 176 | 74 | 743 | 0.000000e+00 | 2.990000e+02 | Inf 12.79/12.84 o 264 12.79/12.84 c *12.4s| 564 | 477 | 6491 | 11.1 | 11M| 89 | - |1875 |3451 |1875 |1744 | 189 | 107 | 753 | 0.000000e+00 | 2.640000e+02 | Inf 12.79/12.87 o 256 12.79/12.87 c *12.4s| 579 | 483 | 6530 | 10.9 | 11M| 89 | - |1875 |3463 |1875 |1744 | 190 | 119 | 753 | 0.000000e+00 | 2.560000e+02 | Inf 13.39/13.48 o 246 13.39/13.48 c *13.0s| 745 | 550 | 8325 | 10.9 | 12M| 102 | - |1875 |3756 |1875 |1739 | 219 | 412 | 799 | 0.000000e+00 | 2.460000e+02 | Inf 14.19/14.22 o 240 14.19/14.22 c *13.7s| 1049 | 678 | 11107 | 10.4 | 13M| 103 | - |1875 |4192 |1875 |1744 | 341 | 883 | 812 | 0.000000e+00 | 2.400000e+02 | Inf 14.39/14.44 o 190 14.39/14.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 14.39/14.44 c *13.9s| 1106 | 648 | 12037 | 10.7 | 13M| 103 | - |1875 |4224 |1875 |1739 | 390 | 938 | 823 | 0.000000e+00 | 1.900000e+02 | Inf 14.69/14.71 o 155 14.69/14.71 c *14.2s| 1225 | 585 | 13105 | 10.5 | 13M| 103 | - |1875 |4254 |1875 |1739 | 421 |1093 | 834 | 0.000000e+00 | 1.550000e+02 | Inf 14.79/14.85 o 114 14.79/14.85 c *14.3s| 1292 | 483 | 13620 | 10.4 | 13M| 103 | - |1875 |4226 |1875 |1743 | 444 |1197 | 837 | 0.000000e+00 | 1.140000e+02 | Inf 14.89/14.97 o 101 14.89/14.97 c *14.4s| 1352 | 476 | 13923 | 10.1 | 14M| 103 | - |1875 |4226 |1875 |1753 | 465 |1219 | 840 | 0.000000e+00 | 1.010000e+02 | Inf 14.98/15.02 o 96 14.98/15.02 c *14.5s| 1367 | 435 | 14210 | 10.2 | 14M| 103 | - |1875 |4225 |1875 |1738 | 475 |1233 | 840 | 0.000000e+00 | 9.600000e+01 | Inf 15.39/15.48 o 86 15.39/15.48 c *14.9s| 1528 | 430 | 16384 | 10.6 | 14M| 103 | - |1875 |4110 |1875 |1756 | 538 |1433 | 847 | 0.000000e+00 | 8.600000e+01 | Inf 15.89/15.93 o 68 15.89/15.93 c *15.3s| 1630 | 390 | 18897 | 11.5 | 14M| 103 | - |1875 |3907 |1875 |1743 | 606 |1541 | 863 | 0.000000e+00 | 6.800000e+01 | Inf 15.89/15.93 o 49 15.89/15.93 c *15.3s| 1631 | 191 | 18897 | 11.5 | 13M| 103 | - |1875 |3907 |1875 |1743 | 606 |1541 | 863 | 0.000000e+00 | 4.900000e+01 | Inf 18.49/18.51 o 42 18.49/18.51 c *17.8s| 2669 | 240 | 35489 | 13.2 | 14M| 103 | - |1875 |4479 |1875 |1745 | 902 |2840 | 873 | 0.000000e+00 | 4.200000e+01 | Inf 27.29/27.30 o 28 27.29/27.30 c *26.1s| 6509 | 308 | 86289 | 13.2 | 15M| 103 | - |1875 |5680 |1875 |1744 |1525 |7886 | 996 | 0.000000e+00 | 2.800000e+01 | Inf 34.79/34.87 o 16 34.79/34.87 c *33.3s| 9256 | 299 |134577 | 14.5 | 15M| 103 | - |1875 |5557 |1875 |1738 |2077 | 11k|1132 | 0.000000e+00 | 1.600000e+01 | Inf 36.89/36.93 c 35.2s| 10000 | 298 |146751 | 14.7 | 15M| 103 | 1 |1875 |5848 |1875 |1739 |2174 | 12k|1212 | 0.000000e+00 | 1.600000e+01 | Inf 38.39/38.48 o 1 38.39/38.48 c *36.7s| 10704 | 265 |156571 | 14.6 | 15M| 103 | - |1875 |6448 |1875 |1740 |2331 | 13k|1219 | 0.000000e+00 | 1.000000e-00 | Inf 63.49/63.57 c 60.6s| 20000 | 348 |331194 | 16.5 | 17M| 103 | - |1875 |8969 | 0 | 0 |3379 | 26k|1456 | 0.000000e+00 | 1.000000e-00 | Inf 86.80/86.84 c 82.6s| 30000 | 356 |491561 | 16.4 | 19M| 103 | - |1875 | 11k| 0 | 0 |4390 | 39k|1459 | 0.000000e+00 | 1.000000e-00 | Inf 113.49/113.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 113.49/113.50 c 108s| 40000 | 266 |664060 | 16.6 | 17M| 103 | 1 |1875 |7661 |1875 |1737 |5404 | 53k|1872 | 0.000000e+00 | 1.000000e-00 | Inf 140.19/140.26 c 134s| 50000 | 247 |850495 | 17.0 | 19M| 103 | 19 |1875 | 12k|1875 |1747 |6754 | 66k|2202 | 0.000000e+00 | 1.000000e-00 | Inf 164.49/164.57 c 157s| 60000 | 231 | 1002k| 16.7 | 20M| 103 | - |1875 | 14k| 0 | 0 |8505 | 79k|2488 | 0.000000e+00 | 1.000000e-00 | Inf 190.80/190.84 c 182s| 70000 | 230 | 1167k| 16.7 | 22M| 103 | - |1875 | 18k|1875 |1740 |9862 | 92k|2738 | 0.000000e+00 | 1.000000e-00 | Inf 215.00/215.01 c 205s| 80000 | 276 | 1305k| 16.3 | 23M| 103 | 19 |1875 | 21k|1875 |1741 | 11k| 106k|2948 | 0.000000e+00 | 1.000000e-00 | Inf 241.29/241.39 c 230s| 90000 | 325 | 1465k| 16.3 | 24M| 103 | - |1875 | 23k|1875 |1742 | 12k| 120k|3163 | 0.000000e+00 | 1.000000e-00 | Inf 267.40/267.50 c 255s|100000 | 407 | 1613k| 16.1 | 26M| 103 | - |1875 | 26k| 0 | 0 | 13k| 134k|3307 | 0.000000e+00 | 1.000000e-00 | Inf 295.30/295.38 c 281s|110000 | 441 | 1765k| 16.0 | 28M| 103 | - |1875 | 30k| 0 | 0 | 14k| 148k|3513 | 0.000000e+00 | 1.000000e-00 | Inf 322.30/322.32 c 307s|120000 | 479 | 1908k| 15.9 | 28M| 103 | 22 |1875 | 30k|1875 |1740 | 15k| 161k|3667 | 0.000000e+00 | 1.000000e-00 | Inf 350.50/350.54 c 334s|130000 | 500 | 2064k| 15.9 | 30M| 103 | 19 |1875 | 32k|1875 |1736 | 17k| 175k|3841 | 0.000000e+00 | 1.000000e-00 | Inf 379.40/379.40 c 362s|140000 | 595 | 2222k| 15.9 | 31M| 103 | - |1875 | 34k|1875 |1742 | 18k| 188k|3985 | 0.000000e+00 | 1.000000e-00 | Inf 409.20/409.21 c 391s|150000 | 676 | 2387k| 15.9 | 32M| 103 | 20 |1875 | 35k|1875 |1742 | 19k| 202k|4179 | 0.000000e+00 | 1.000000e-00 | Inf 438.40/438.42 c 419s|160000 | 703 | 2543k| 15.9 | 32M| 103 | - |1875 | 35k|1875 |1749 | 20k| 217k|4341 | 0.000000e+00 | 1.000000e-00 | Inf 467.70/467.77 c 447s|170000 | 658 | 2701k| 15.9 | 32M| 103 | 35 |1875 | 34k|1875 |1736 | 22k| 231k|4449 | 0.000000e+00 | 1.000000e-00 | Inf 497.00/497.02 c 475s|180000 | 609 | 2860k| 15.9 | 31M| 103 | 16 |1875 | 34k|1875 |1736 | 23k| 245k|4628 | 0.000000e+00 | 1.000000e-00 | Inf 525.50/525.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 525.50/525.51 c 502s|190000 | 560 | 3021k| 15.9 | 31M| 103 | - |1875 | 32k|1875 |1736 | 24k| 259k|4722 | 0.000000e+00 | 1.000000e-00 | Inf 554.91/554.90 c 530s|200000 | 437 | 3190k| 16.0 | 29M| 103 | 1 |1875 | 28k|1875 |1740 | 25k| 273k|4909 | 0.000000e+00 | 1.000000e-00 | Inf 582.20/582.22 c 556s|210000 | 344 | 3343k| 15.9 | 28M| 103 | - |1875 | 28k| 0 | 0 | 27k| 287k|5005 | 0.000000e+00 | 1.000000e-00 | Inf 608.70/608.79 c 582s|220000 | 256 | 3492k| 15.9 | 26M| 103 | - |1875 | 25k| 0 | 0 | 28k| 301k|5122 | 0.000000e+00 | 1.000000e-00 | Inf 635.50/635.53 c 607s|230000 | 263 | 3639k| 15.8 | 28M| 103 | - |1875 | 29k|1875 |1740 | 30k| 314k|5288 | 0.000000e+00 | 1.000000e-00 | Inf 663.20/663.21 c 634s|240000 | 214 | 3800k| 15.8 | 27M| 103 | - |1875 | 28k|1875 |1741 | 31k| 327k|5387 | 0.000000e+00 | 1.000000e-00 | Inf 693.21/693.25 c 662s|250000 | 227 | 3974k| 15.9 | 28M| 103 | - |1875 | 30k| 0 | 0 | 33k| 341k|5516 | 0.000000e+00 | 1.000000e-00 | Inf 722.90/722.97 c 691s|260000 | 240 | 4137k| 15.9 | 29M| 103 | - |1875 | 33k| 0 | 0 | 34k| 354k|5721 | 0.000000e+00 | 1.000000e-00 | Inf 752.01/752.04 c 719s|270000 | 280 | 4287k| 15.9 | 30M| 103 | - |1875 | 34k| 0 | 0 | 36k| 367k|5893 | 0.000000e+00 | 1.000000e-00 | Inf 781.61/781.62 c 747s|280000 | 393 | 4436k| 15.8 | 32M| 103 | 12 |1875 | 39k|1875 |1736 | 37k| 381k|5978 | 0.000000e+00 | 1.000000e-00 | Inf 812.41/812.50 c 777s|290000 | 421 | 4590k| 15.8 | 33M| 103 | 1 |1875 | 41k|1875 |1738 | 39k| 394k|6089 | 0.000000e+00 | 1.000000e-00 | Inf 843.81/843.83 c 807s|300000 | 545 | 4743k| 15.8 | 35M| 103 | - |1875 | 44k| 0 | 0 | 40k| 407k|6149 | 0.000000e+00 | 1.000000e-00 | Inf 876.11/876.17 c 838s|310000 | 604 | 4897k| 15.8 | 36M| 103 | - |1875 | 46k|1875 |1740 | 41k| 421k|6222 | 0.000000e+00 | 1.000000e-00 | Inf 907.82/907.89 c 869s|320000 | 725 | 5048k| 15.8 | 38M| 103 | - |1875 | 49k|1875 |1738 | 43k| 435k|6347 | 0.000000e+00 | 1.000000e-00 | Inf 941.81/941.87 c 902s|330000 | 778 | 5211k| 15.8 | 40M| 103 | 32 |1875 | 52k|1875 |1745 | 44k| 449k|6445 | 0.000000e+00 | 1.000000e-00 | Inf 976.51/976.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 976.51/976.56 c 935s|340000 | 819 | 5372k| 15.8 | 41M| 103 | - |1875 | 54k|1875 |1738 | 45k| 462k|6532 | 0.000000e+00 | 1.000000e-00 | Inf 1011.82/1011.84 c 969s|350000 | 822 | 5541k| 15.8 | 41M| 103 | - |1875 | 54k|1875 |1746 | 47k| 476k|6612 | 0.000000e+00 | 1.000000e-00 | Inf 1046.02/1046.08 c 1002s|360000 | 797 | 5698k| 15.8 | 40M| 103 | 12 |1875 | 49k|1875 |1738 | 49k| 489k|6724 | 0.000000e+00 | 1.000000e-00 | Inf 1081.12/1081.11 c 1036s|370000 | 848 | 5865k| 15.9 | 40M| 103 | - |1875 | 49k|1875 |1739 | 50k| 503k|6801 | 0.000000e+00 | 1.000000e-00 | Inf 1113.12/1113.12 c 1067s|380000 | 786 | 6007k| 15.8 | 38M| 103 | - |1875 | 46k|1875 |1744 | 52k| 517k|6875 | 0.000000e+00 | 1.000000e-00 | Inf 1145.02/1145.09 c 1098s|390000 | 726 | 6156k| 15.8 | 39M| 103 | - |1875 | 47k|1875 |1738 | 53k| 530k|6960 | 0.000000e+00 | 1.000000e-00 | Inf 1177.62/1177.64 c 1129s|400000 | 674 | 6313k| 15.8 | 39M| 103 | - |1875 | 47k| 0 | 0 | 55k| 544k|7032 | 0.000000e+00 | 1.000000e-00 | Inf 1209.03/1209.08 c 1159s|410000 | 563 | 6466k| 15.8 | 38M| 103 | 28 |1875 | 46k|1875 |1738 | 56k| 558k|7113 | 0.000000e+00 | 1.000000e-00 | Inf 1241.22/1241.21 c 1190s|420000 | 407 | 6619k| 15.8 | 36M| 103 | 29 |1875 | 43k|1875 |1741 | 57k| 572k|7193 | 0.000000e+00 | 1.000000e-00 | Inf 1272.32/1272.34 c 1220s|430000 | 265 | 6769k| 15.7 | 34M| 103 | 22 |1875 | 40k|1875 |1738 | 59k| 586k|7267 | 0.000000e+00 | 1.000000e-00 | Inf 1303.92/1303.94 c 1251s|440000 | 228 | 6919k| 15.7 | 35M| 103 | - |1875 | 43k|1875 |1743 | 61k| 599k|7354 | 0.000000e+00 | 1.000000e-00 | Inf 1337.22/1337.25 c 1283s|450000 | 153 | 7103k| 15.8 | 25M| 103 | - |1875 | 16k| 0 | 0 | 62k| 612k|7633 | 0.000000e+00 | 1.000000e-00 | Inf 1367.53/1367.56 c 1312s|460000 | 158 | 7305k| 15.9 | 26M| 103 | - |1875 | 20k|1875 |1742 | 64k| 625k|7640 | 0.000000e+00 | 1.000000e-00 | Inf 1397.73/1397.71 c 1341s|470000 | 74 | 7499k| 16.0 | 25M| 103 | 30 |1875 | 16k|1875 |1742 | 65k| 638k|7756 | 0.000000e+00 | 1.000000e-00 | Inf 1423.33/1423.35 c 1365s|480000 | 107 | 7652k| 15.9 | 26M| 103 | - |1875 | 20k|1875 |1744 | 66k| 651k|7807 | 0.000000e+00 | 1.000000e-00 | Inf 1450.63/1450.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1450.63/1450.62 c 1391s|490000 | 88 | 7814k| 15.9 | 27M| 103 | 1 |1875 | 23k|1875 |1740 | 67k| 665k|7878 | 0.000000e+00 | 1.000000e-00 | Inf 1477.73/1477.72 c 1417s|500000 | 233 | 7971k| 15.9 | 30M| 103 | - |1875 | 28k| 0 | 0 | 68k| 678k|7954 | 0.000000e+00 | 1.000000e-00 | Inf 1506.53/1506.55 c 1445s|510000 | 267 | 8133k| 15.9 | 31M| 103 | 15 |1875 | 30k|1875 |1741 | 69k| 692k|8004 | 0.000000e+00 | 1.000000e-00 | Inf 1537.33/1537.33 c 1475s|520000 | 342 | 8307k| 16.0 | 33M| 103 | 25 |1875 | 34k|1875 |1741 | 70k| 706k|8069 | 0.000000e+00 | 1.000000e-00 | Inf 1567.42/1567.44 c 1504s|530000 | 342 | 8477k| 16.0 | 31M| 103 | 22 |1875 | 30k|1875 |1741 | 71k| 720k|8121 | 0.000000e+00 | 1.000000e-00 | Inf 1599.73/1599.75 c 1535s|540000 | 528 | 8674k| 16.1 | 35M| 103 | 29 |1875 | 36k|1875 |1741 | 72k| 734k|8193 | 0.000000e+00 | 1.000000e-00 | Inf 1633.93/1633.96 c 1568s|550000 | 607 | 8873k| 16.1 | 35M| 103 | - |1875 | 35k|1875 |1747 | 73k| 749k|8277 | 0.000000e+00 | 1.000000e-00 | Inf 1666.93/1666.92 c 1599s|560000 | 591 | 9062k| 16.2 | 35M| 103 | 32 |1875 | 34k|1875 |1741 | 74k| 764k|8356 | 0.000000e+00 | 1.000000e-00 | Inf 1697.03/1697.04 c 1628s|570000 | 580 | 9231k| 16.2 | 36M| 103 | - |1875 | 36k|1875 |1741 | 75k| 778k|8425 | 0.000000e+00 | 1.000000e-00 | Inf 1728.14/1728.14 c 1658s|580000 | 520 | 9408k| 16.2 | 36M| 103 | 12 |1875 | 36k|1875 |1741 | 76k| 793k|8498 | 0.000000e+00 | 1.000000e-00 | Inf 1760.44/1760.44 c 1689s|590000 | 520 | 9589k| 16.3 | 35M| 103 | - |1875 | 34k| 0 | 0 | 77k| 807k|8567 | 0.000000e+00 | 1.000000e-00 | Inf 1791.53/1791.56 c 1719s|600000 | 437 | 9762k| 16.3 | 33M| 103 | 32 |1875 | 31k|1875 |1746 | 78k| 822k|8636 | 0.000000e+00 | 1.000000e-00 | Inf 1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.00 c 1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.00 c Solving Time (sec) : 1727.11 1800.04/1800.00 c Solving Nodes : 602624 1800.04/1800.00 c Primal Bound : +1.00000000000000e-00 (146 solutions) 1800.04/1800.00 c Dual Bound : +0.00000000000000e+00 1800.04/1800.00 c Gap : infinite 1800.04/1800.01 s SATISFIABLE 1800.04/1800.01 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 1800.04/1800.01 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 1800.04/1800.01 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 x171 -x170 -x169 -x168 1800.04/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 1800.04/1800.01 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 1800.04/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 1800.04/1800.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 1800.04/1800.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 1800.04/1800.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 1800.04/1800.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1800.04/1800.01 v -x1 1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.01 c Solving Time : 1727.11 1800.04/1800.01 c Original Problem : 1800.04/1800.01 c Problem name : HOME/instance-2693475-1277906185.wbo 1800.04/1800.01 c Variables : 2015 (1123 binary, 0 integer, 0 implicit integer, 892 continuous) 1800.04/1800.01 c Constraints : 3600 initial, 3600 maximal 1800.04/1800.01 c Presolved Problem : 1800.04/1800.01 c Problem name : t_HOME/instance-2693475-1277906185.wbo 1800.04/1800.01 c Variables : 1875 (1053 binary, 0 integer, 0 implicit integer, 822 continuous) 1800.04/1800.01 c Constraints : 3344 initial, 56103 maximal 1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.01 c trivial : 0.00 70 0 0 0 0 0 0 0 1800.04/1800.01 c dualfix : 0.00 70 0 0 0 0 0 0 0 1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0 1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 70 0 0 1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c linear : 0.06 0 0 0 914 0 186 127 0 1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c root node : - 822 - - 1644 - - - - 1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.01 c integral : 0 0 0 338030 0 235 2275 0 0 639084 1800.04/1800.01 c indicator : 822 0 46193 1252 0 58 121647 0 0 0 1800.04/1800.01 c setppc : 13 6 2600087 16345 0 38455 1882676 0 0 0 1800.04/1800.01 c linear : 822 6 2562953 16404 0 82624 7695119 78425 0 0 1800.04/1800.01 c logicor : 1687+ 6 1334940 762 0 73008 5197583 0 0 0 1800.04/1800.01 c bounddisjunction : 0+ 0 3896 0 0 0 0 0 0 0 1800.04/1800.01 c countsols : 0 0 0 762 0 0 0 0 0 0 1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.01 c integral : 40.84 0.00 0.00 40.84 0.00 1800.04/1800.01 c indicator : 0.30 0.00 0.24 0.06 0.00 1800.04/1800.01 c setppc : 12.82 0.00 12.81 0.01 0.00 1800.04/1800.01 c linear : 51.50 0.01 51.10 0.39 0.00 1800.04/1800.01 c logicor : 249.60 0.01 249.56 0.03 0.00 1800.04/1800.01 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.01 c vbounds : 0.00 2 0 0 1800.04/1800.01 c rootredcost : 0.00 20 0 822 1800.04/1800.01 c pseudoobj : 40.99 2601686 362 88606 1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.01 c propagation : 9.05 194449 193926 1206347 27.3 4339 22.5 - 1800.04/1800.01 c infeasible LP : 23.79 124150 124148 962080 46.3 745 14.1 0 1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.01 c pseudo solution : 0.00 12 12 100 22.9 10 3.6 - 1800.04/1800.01 c applied globally : - - - 825534 30.7 - - - 1800.04/1800.01 c applied locally : - - - 0 0.0 - - - 1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.01 c cut pool : 0.00 5 - - 11 - (maximal pool size: 189) 1800.04/1800.01 c redcost : 7.21 338236 0 30329 0 0 1800.04/1800.01 c impliedbounds : 0.00 6 0 0 0 0 1800.04/1800.01 c intobj : 0.00 0 0 0 0 0 1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.01 c gomory : 0.19 6 0 0 1408 0 1800.04/1800.01 c strongcg : 0.13 6 0 0 489 0 1800.04/1800.01 c cmir : 0.02 6 0 0 0 0 1800.04/1800.01 c flowcover : 0.05 6 0 0 0 0 1800.04/1800.01 c clique : 0.00 6 0 0 0 0 1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.01 c mcf : 0.00 1 0 0 0 0 1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0 1800.04/1800.01 c Pricers : Time Calls Vars 1800.04/1800.01 c problem variables: 0.00 0 0 1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.01 c relpscost : 40.76 321618 235 2275 0 0 639084 1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.01 c inference : 0.05 743 0 0 0 0 1486 1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.01 c random : 0.00 0 0 0 0 0 0 1800.04/1800.01 c Primal Heuristics : Time Calls Found 1800.04/1800.01 c LP solutions : 0.00 - 19 1800.04/1800.01 c pseudo solutions : 0.00 - 0 1800.04/1800.01 c oneopt : 0.10 19 0 1800.04/1800.01 c feaspump : 0.00 1 0 1800.04/1800.01 c intshifting : 0.03 10 0 1800.04/1800.01 c crossover : 0.12 7 0 1800.04/1800.01 c fracdiving : 0.16 57 0 1800.04/1800.01 c veclendiving : 0.12 57 0 1800.04/1800.01 c pscostdiving : 0.15 57 0 1800.04/1800.01 c linesearchdiving : 0.15 57 0 1800.04/1800.01 c guideddiving : 0.14 57 0 1800.04/1800.01 c objpscostdiving : 0.07 29 0 1800.04/1800.01 c rootsoldiving : 0.10 29 0 1800.04/1800.01 c coefdiving : 0.12 58 0 1800.04/1800.01 c trivial : 0.01 2 0 1800.04/1800.01 c simplerounding : 0.43 321682 0 1800.04/1800.01 c zirounding : 0.13 1000 0 1800.04/1800.01 c rounding : 0.78 7998 0 1800.04/1800.01 c shifting : 0.79 2463 0 1800.04/1800.01 c twoopt : 0.00 0 0 1800.04/1800.01 c fixandinfer : 0.00 0 0 1800.04/1800.01 c intdiving : 0.00 0 0 1800.04/1800.01 c actconsdiving : 0.00 0 0 1800.04/1800.01 c octane : 0.00 0 0 1800.04/1800.01 c rens : 0.02 1 0 1800.04/1800.01 c rins : 0.00 0 0 1800.04/1800.01 c localbranching : 0.00 0 0 1800.04/1800.01 c mutation : 0.00 0 0 1800.04/1800.01 c dins : 0.00 0 0 1800.04/1800.01 c undercover : 0.00 0 0 1800.04/1800.01 c nlp : 0.00 0 0 1800.04/1800.01 c trysol : 0.13 509 127 1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.01 c primal LP : 0.00 0 0 0.00 - 1800.04/1800.01 c dual LP : 977.48 459192 9806316 21.36 10032.24 1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.01 c diving/probing LP: 0.71 472 4313 9.14 6074.65 1800.04/1800.01 c strong branching : 37.40 8645 379037 43.84 10134.68 1800.04/1800.01 c (at root node) : - 33 11279 341.79 - 1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.01 c B&B Tree : 1800.04/1800.01 c number of runs : 1 1800.04/1800.01 c nodes : 602624 1800.04/1800.01 c nodes (total) : 602624 1800.04/1800.01 c nodes left : 451 1800.04/1800.01 c max depth : 103 1800.04/1800.01 c max depth (total): 103 1800.04/1800.01 c backtracks : 91399 (15.2%) 1800.04/1800.01 c delayed cutoffs : 36706 1800.04/1800.01 c repropagations : 947228 (2892249 domain reductions, 36149 cutoffs) 1800.04/1800.01 c avg switch length: 4.67 1800.04/1800.01 c switching time : 186.70 1800.04/1800.01 c Solution : 1800.04/1800.01 c Solutions found : 146 (20 improvements) 1800.04/1800.01 c First Solution : +4.14000000000000e+04 (in run 1, after 1 nodes, 0.56 seconds, depth 0, found by <trysol>) 1800.04/1800.01 c Primal Bound : +1.00000000000000e-00 (in run 1, after 10704 nodes, 36.68 seconds, depth 22, found by <relaxation>) 1800.04/1800.01 c Dual Bound : +0.00000000000000e+00 1800.04/1800.01 c Gap : infinite 1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.01 c Root Iterations : 215 1800.04/1800.06 c Time complete: 1800.09.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693475-1277906185/watcher-2693475-1277906185 -o /tmp/evaluation-result-2693475-1277906185/solver-2693475-1277906185 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693475-1277906185.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.00 2.00 2.00 3/178 13416 /proc/meminfo: memFree=31439248/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=11004 CPUtime=0 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 1673 0 0 0 0 0 0 0 22 0 1 0 131914848 11268096 1594 4089446400 4194304 9819077 140733947597440 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13416/statm: 2751 1594 392 1374 0 1372 0 [startup+0.103838 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13416 /proc/meminfo: memFree=31439248/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=24016 CPUtime=0.09 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 6934 0 0 0 8 1 0 0 22 0 1 0 131914848 24592384 4702 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13416/statm: 6004 4702 502 1374 0 4625 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24016 [startup+0.200821 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13416 /proc/meminfo: memFree=31439248/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=32328 CPUtime=0.19 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 10825 0 0 0 17 2 0 0 22 0 1 0 131914848 33103872 6507 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13416/statm: 8082 6507 666 1374 0 6703 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 32328 [startup+0.300802 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13416 /proc/meminfo: memFree=31439248/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=35880 CPUtime=0.29 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 11773 0 0 0 26 3 0 0 22 0 1 0 131914848 36741120 7374 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 8970 7374 680 1374 0 7591 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35880 [startup+0.700733 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13416 /proc/meminfo: memFree=31439248/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=39312 CPUtime=0.69 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 19322 0 0 0 64 5 0 0 24 0 1 0 131914848 40255488 7730 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 9828 7730 710 1374 0 8449 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39312 [startup+1.50059 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13417 /proc/meminfo: memFree=31411348/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=39512 CPUtime=1.49 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 24853 0 0 0 142 7 0 0 25 0 1 0 131914848 40460288 7742 4089446400 4194304 9819077 140733947597440 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 9878 7744 710 1374 0 8499 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39512 [startup+3.10031 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13417 /proc/meminfo: memFree=31410728/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=39540 CPUtime=3.09 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 37529 0 0 0 299 10 0 0 25 0 1 0 131914848 40488960 7742 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 9885 7742 713 1374 0 8506 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39540 [startup+6.30074 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13417 /proc/meminfo: memFree=31411596/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=39656 CPUtime=6.29 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 70585 0 0 0 612 17 0 0 25 0 1 0 131914848 40607744 7747 4089446400 4194304 9819077 140733947597440 18446744073709551615 6512973 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 9914 7747 713 1374 0 8535 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39656 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13418 /proc/meminfo: memFree=31411744/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=38668 CPUtime=12.69 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 148809 0 0 0 1230 39 0 0 25 0 1 0 131914848 39596032 8128 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 9667 8128 719 1374 0 8288 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38668 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13418 /proc/meminfo: memFree=31402272/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=49228 CPUtime=25.49 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 315267 0 0 0 2442 107 0 0 25 0 1 0 131914848 50409472 10599 4089446400 4194304 9819077 140733947597440 18446744073709551615 6361766 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 12307 10599 721 1374 0 10928 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49228 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13419 /proc/meminfo: memFree=31398724/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=52836 CPUtime=51.09 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 636989 0 0 0 4872 237 0 0 25 0 1 0 131914848 54104064 11521 4089446400 4194304 9819077 140733947597440 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 13209 11521 736 1374 0 11830 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 52836 [startup+102.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13420 /proc/meminfo: memFree=31394108/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=57336 CPUtime=102.3 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 1226649 0 0 0 9738 492 0 0 25 0 1 0 131914848 58712064 12601 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 14334 12601 736 1374 0 12955 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 57336 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13422 /proc/meminfo: memFree=31392468/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=58312 CPUtime=162.29 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 1950662 0 0 0 15449 780 0 0 25 0 1 0 131914848 59711488 12823 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 14578 12823 736 1374 0 13199 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 58312 [startup+222.307 s] /proc/loadavg: 2.32 2.08 2.02 4/200 13484 /proc/meminfo: memFree=31210780/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=62476 CPUtime=222.3 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 2627593 0 0 0 21166 1064 0 0 25 0 1 0 131914848 63975424 13876 4089446400 4194304 9819077 140733947597440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 15619 13876 736 1374 0 14240 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 62476 [startup+282.301 s] /proc/loadavg: 2.62 2.20 2.07 4/200 13495 /proc/meminfo: memFree=31188684/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=65400 CPUtime=282.3 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 3264357 0 0 0 26894 1336 0 0 25 0 1 0 131914848 66969600 14575 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 16350 14575 736 1374 0 14971 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 65400 [startup+342.3 s] /proc/loadavg: 2.80 2.33 2.12 4/200 13497 /proc/meminfo: memFree=31178452/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=68552 CPUtime=342.3 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 3878176 0 0 0 32643 1587 0 0 25 0 1 0 131914848 70197248 15362 4089446400 4194304 9819077 140733947597440 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 17138 15363 736 1374 0 15759 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 68552 [startup+402.301 s] /proc/loadavg: 2.87 2.43 2.16 10/200 13498 /proc/meminfo: memFree=31165856/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=72404 CPUtime=402.3 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 4473727 0 0 0 38395 1835 0 0 25 0 1 0 131914848 74141696 16318 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 18101 16318 736 1374 0 16722 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 72404 [startup+462.301 s] /proc/loadavg: 2.98 2.55 2.22 4/200 13500 /proc/meminfo: memFree=31158960/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=73288 CPUtime=462.3 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 5075368 0 0 0 44145 2085 0 0 25 0 1 0 131914848 75046912 16551 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 18322 16553 736 1374 0 16943 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 73288 [startup+522.3 s] /proc/loadavg: 2.89 2.60 2.25 4/200 13501 /proc/meminfo: memFree=31152956/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=73448 CPUtime=522.3 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 5688021 0 0 0 49886 2344 0 0 25 0 1 0 131914848 75210752 16597 4089446400 4194304 9819077 140733947597440 18446744073709551615 6591451 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 18362 16597 736 1374 0 16983 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 73448 [startup+582.301 s] /proc/loadavg: 3.17 2.72 2.31 4/200 13503 /proc/meminfo: memFree=31148420/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=73620 CPUtime=582.3 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 6316217 0 0 0 55623 2607 0 0 25 0 1 0 131914848 75386880 16653 4089446400 4194304 9819077 140733947597440 18446744073709551615 8669043 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 18405 16654 736 1374 0 17026 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 73620 [startup+642.3 s] /proc/loadavg: 2.98 2.74 2.35 4/200 13505 /proc/meminfo: memFree=31148848/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=74392 CPUtime=642.31 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 6967362 0 0 0 61355 2876 0 0 25 0 1 0 131914848 76177408 16763 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 18598 16763 736 1374 0 17219 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 74392 [startup+702.301 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 3.00 2.82 2.46 4/200 13511 /proc/meminfo: memFree=31128924/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=82004 CPUtime=882.31 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 9244027 0 0 0 84422 3809 0 0 25 0 1 0 131914848 83972096 18458 4089446400 4194304 9819077 140733947597440 18446744073709551615 6390894 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 20501 18458 736 1374 0 19122 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 82004 [startup+942.301 s] /proc/loadavg: 3.00 2.85 2.49 3/200 13513 /proc/meminfo: memFree=31123012/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=83636 CPUtime=942.31 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 9759093 0 0 0 90220 4011 0 0 25 0 1 0 131914848 85643264 18905 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 20909 18905 736 1374 0 19530 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 83636 [startup+1002.3 s] /proc/loadavg: 2.97 2.86 2.51 3/200 13514 /proc/meminfo: memFree=31119204/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=85164 CPUtime=1002.31 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 10262742 0 0 0 96013 4218 0 0 25 0 1 0 131914848 87207936 19299 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 21291 19299 736 1374 0 19912 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 85164 [startup+1062.3 s] /proc/loadavg: 2.76 2.82 2.52 4/200 13516 /proc/meminfo: memFree=31115156/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=86444 CPUtime=1062.31 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 10776155 0 0 0 101801 4430 0 0 25 0 1 0 131914848 88518656 19564 4089446400 4194304 9819077 140733947597440 18446744073709551615 6591442 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 21611 19564 736 1374 0 20232 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 86444 [startup+1122.3 s] /proc/loadavg: 2.80 2.82 2.54 4/200 13517 /proc/meminfo: memFree=31112224/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=86380 CPUtime=1122.31 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 11266647 0 0 0 107582 4649 0 0 25 0 1 0 131914848 88453120 19629 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 21595 19632 736 1374 0 20216 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 86380 [startup+1182.3 s] /proc/loadavg: 2.64 2.79 2.54 3/197 13567 /proc/meminfo: memFree=31300336/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=87240 CPUtime=1182.32 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 11770143 0 0 0 113364 4868 0 0 25 0 1 0 131914848 89333760 19749 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 21810 19749 736 1374 0 20431 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 87240 [startup+1242.3 s] /proc/loadavg: 2.23 2.64 2.51 3/197 13569 /proc/meminfo: memFree=31299636/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=87756 CPUtime=1242.32 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 12296792 0 0 0 119135 5097 0 0 25 0 1 0 131914848 89862144 19786 4089446400 4194304 9819077 140733947597440 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 21939 19786 736 1374 0 20560 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 87756 [startup+1302.3 s] /proc/loadavg: 2.08 2.52 2.47 3/197 13570 /proc/meminfo: memFree=31299052/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=87752 CPUtime=1302.32 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 12819220 0 0 0 124915 5317 0 0 25 0 1 0 131914848 89858048 19795 4089446400 4194304 9819077 140733947597440 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 21938 19795 736 1374 0 20559 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 87752 [startup+1362.3 s] /proc/loadavg: 2.03 2.42 2.44 3/197 13572 /proc/meminfo: memFree=31297608/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=88572 CPUtime=1362.33 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 13379342 0 0 0 130687 5546 0 0 25 0 1 0 131914848 90697728 20001 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 22143 20001 736 1374 0 20764 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 88572 [startup+1422.3 s] /proc/loadavg: 2.01 2.34 2.41 3/197 13573 /proc/meminfo: memFree=31297028/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=88600 CPUtime=1422.33 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 13990723 0 0 0 136438 5795 0 0 25 0 1 0 131914848 90726400 20025 4089446400 4194304 9819077 140733947597440 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 22150 20025 736 1374 0 20771 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 88600 [startup+1482.3 s] /proc/loadavg: 2.00 2.28 2.38 3/197 13575 /proc/meminfo: memFree=31296460/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=88572 CPUtime=1482.33 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 14592000 0 0 0 142174 6059 0 0 25 0 1 0 131914848 90697728 20031 4089446400 4194304 9819077 140733947597440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 22143 20031 736 1374 0 20764 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 88572 [startup+1542.31 s] /proc/loadavg: 2.04 2.24 2.36 3/197 13577 /proc/meminfo: memFree=31295904/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=88668 CPUtime=1542.33 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 15130222 0 0 0 147947 6286 0 0 25 0 1 0 131914848 90796032 20059 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 22167 20059 736 1374 0 20788 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 88668 [startup+1602.3 s] /proc/loadavg: 2.01 2.19 2.33 3/197 13578 /proc/meminfo: memFree=31295452/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=88864 CPUtime=1602.33 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 15677477 0 0 0 153719 6514 0 0 25 0 1 0 131914848 90996736 20102 4089446400 4194304 9819077 140733947597440 18446744073709551615 4221404 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 22216 20102 736 1374 0 20837 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 88864 [startup+1662.3 s] /proc/loadavg: 2.00 2.16 2.31 3/179 13608 /proc/meminfo: memFree=31364612/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=89336 CPUtime=1662.33 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 16191021 0 0 0 159486 6747 0 0 25 0 1 0 131914848 91480064 20230 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 22334 20230 736 1374 0 20955 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 89336 [startup+1722.3 s] /proc/loadavg: 2.00 2.12 2.29 3/179 13609 /proc/meminfo: memFree=31363316/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=90300 CPUtime=1722.33 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 16731205 0 0 0 165245 6988 0 0 25 0 1 0 131914848 92467200 20388 4089446400 4194304 9819077 140733947597440 18446744073709551615 7324493 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 22575 20388 736 1374 0 21196 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 90300 [startup+1782.3 s] /proc/loadavg: 2.04 2.11 2.27 3/179 13611 /proc/meminfo: memFree=31361784/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=90564 CPUtime=1782.34 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 17255831 0 0 0 171013 7221 0 0 25 0 1 0 131914848 92737536 20461 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 22641 20461 736 1374 0 21262 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 90564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.11 2.26 3/179 13611 /proc/meminfo: memFree=31361648/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=90596 CPUtime=1800.04 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 17415156 0 0 0 172713 7291 0 0 25 0 1 0 131914848 92770304 20468 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 22649 20468 736 1374 0 21270 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 90596 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.02 2.11 2.26 3/179 13611 /proc/meminfo: memFree=31361648/32950928 swapFree=4192956/4192956 [pid=13416] ppid=13414 vsize=90596 CPUtime=1800.04 /proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 17415156 0 0 0 172713 7291 0 0 25 0 1 0 131914848 92770304 20468 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13416/statm: 22649 20468 736 1374 0 21270 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 90596 Child status: 0 Real time (s): 1800.06 CPU time (s): 1800.11 CPU user time (s): 1727.19 CPU system time (s): 72.9199 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 93028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1727.19 system time used= 72.9199 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17415180 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 1327 runsolver used 2.84257 second user time and 6.00809 second system time The end
Begin job on node124 at 2010-06-30 15:56:25 IDJOB=2693475 IDBENCH=78936 IDSOLVER=1205 FILE ID=node124/2693475-1277906185 PBS_JOBID= 11197212 Free space on /tmp= 130620 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563250--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-2693475-1277906185/watcher-2693475-1277906185 -o /tmp/evaluation-result-2693475-1277906185/solver-2693475-1277906185 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693475-1277906185.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 48850acf7a795604147e976fcd80db7d RANDOM SEED=439868665 node124.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31439528 kB Buffers: 192356 kB Cached: 1121988 kB SwapCached: 0 kB Active: 573620 kB Inactive: 823336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31439528 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6276 kB Writeback: 0 kB AnonPages: 82996 kB Mapped: 15412 kB Slab: 79588 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 229180 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130612 MiB End job on node124 at 2010-06-30 16:26:27