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.15 | 1800.2 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo |
MD5SUM | a432251fbe239eaf75ee6653ab14d833 |
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 | 247.974 |
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 | 685 |
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-2693505-1277907684.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.04 c presolving: 0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs 0.00/0.08 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.09/0.10 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.12 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 | 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.34 c 0.3s| 1 | 0 | 168 | - |9242k| 0 | 41 |1875 |3344 |1875 |1733 | 33 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.43 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.79/1.86 c 1.8s| 1 | 2 | 215 | - |9275k| 0 | 46 |1875 |3344 |1875 |1738 | 38 | 0 | 33 | 0.000000e+00 | -- | Inf 1.79/1.86 o 41400 1.79/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 14.48/14.57 o 607 14.48/14.57 c *14.2s| 1112 | 1041 | 10519 | 9.3 | 12M| 71 | - |1875 |3372 |1875 |1766 | 672 | 28 | 770 | 0.000000e+00 | 6.070000e+02 | Inf 14.48/14.58 o 580 14.48/14.58 c *14.2s| 1113 | 1018 | 10519 | 9.3 | 13M| 71 | - |1875 |3372 |1875 |1766 | 672 | 28 | 770 | 0.000000e+00 | 5.800000e+02 | Inf 14.78/14.81 o 347 14.78/14.81 c *14.4s| 1232 | 558 | 11211 | 8.9 | 12M| 71 | - |1875 |3377 |1875 |1772 | 736 | 33 | 775 | 0.000000e+00 | 3.470000e+02 | Inf 14.78/14.84 o 336 14.78/14.84 c *14.5s| 1243 | 522 | 11323 | 8.9 | 12M| 71 | - |1875 |3388 |1875 |1759 | 740 | 44 | 775 | 0.000000e+00 | 3.360000e+02 | Inf 14.78/14.85 o 264 14.78/14.85 c *14.5s| 1252 | 420 | 11335 | 8.9 | 12M| 71 | - |1875 |3388 |1875 |1759 | 740 | 44 | 775 | 0.000000e+00 | 2.640000e+02 | Inf 15.29/15.32 o 260 15.29/15.32 c *14.9s| 1448 | 477 | 12787 | 8.7 | 13M| 71 | - |1875 |3666 |1875 |1775 | 854 | 337 | 778 | 0.000000e+00 | 2.600000e+02 | Inf 15.78/15.83 o 252 15.78/15.83 c *15.4s| 1580 | 523 | 15114 | 9.4 | 13M| 71 | - |1875 |3787 |1875 |1744 | 988 | 490 | 789 | 0.000000e+00 | 2.520000e+02 | Inf 15.98/16.02 o 203 15.98/16.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 15.98/16.02 c *15.6s| 1645 | 493 | 15819 | 9.5 | 13M| 71 | - |1875 |3810 |1875 |1750 |1021 | 531 | 792 | 0.000000e+00 | 2.030000e+02 | Inf 16.08/16.15 o 196 16.08/16.15 c *15.7s| 1681 | 497 | 16462 | 9.7 | 13M| 71 | - |1875 |3824 |1875 |1743 |1065 | 563 | 792 | 0.000000e+00 | 1.960000e+02 | Inf 16.19/16.23 o 186 16.19/16.23 c *15.8s| 1710 | 497 | 16688 | 9.6 | 13M| 71 | - |1875 |3836 |1875 |1772 |1083 | 590 | 792 | 0.000000e+00 | 1.860000e+02 | Inf 16.19/16.23 o 167 16.19/16.23 c *15.8s| 1711 | 459 | 16688 | 9.6 | 13M| 71 | - |1875 |3836 |1875 |1772 |1083 | 590 | 792 | 0.000000e+00 | 1.670000e+02 | Inf 16.29/16.38 o 157 16.29/16.38 c *16.0s| 1758 | 453 | 17262 | 9.7 | 13M| 71 | - |1875 |3865 |1875 |1744 |1109 | 665 | 792 | 0.000000e+00 | 1.570000e+02 | Inf 17.38/17.44 o 136 17.38/17.44 c *17.0s| 2248 | 559 | 19761 | 8.7 | 14M| 71 | - |1875 |4167 |1875 |1736 |1276 |1094 | 804 | 0.000000e+00 | 1.360000e+02 | Inf 17.38/17.48 o 122 17.38/17.48 c *17.0s| 2259 | 517 | 19943 | 8.7 | 14M| 71 | - |1875 |4174 |1875 |1739 |1282 |1102 | 805 | 0.000000e+00 | 1.220000e+02 | Inf 17.38/17.50 o 113 17.38/17.50 c *17.1s| 2265 | 494 | 19945 | 8.7 | 14M| 71 | - |1875 |4174 |1875 |1739 |1282 |1102 | 805 | 0.000000e+00 | 1.130000e+02 | Inf 17.59/17.66 o 103 17.59/17.66 c *17.2s| 2338 | 478 | 20527 | 8.7 | 14M| 71 | - |1875 |4207 |1875 |1743 |1300 |1158 | 805 | 0.000000e+00 | 1.030000e+02 | Inf 17.68/17.73 o 68 17.68/17.73 c *17.3s| 2366 | 296 | 20701 | 8.7 | 13M| 71 | - |1875 |4207 |1875 |1746 |1313 |1170 | 807 | 0.000000e+00 | 6.800000e+01 | Inf 17.79/17.87 o 64 17.79/17.87 c *17.4s| 2406 | 297 | 21348 | 8.8 | 13M| 71 | - |1875 |3897 |1875 |1748 |1338 |1206 | 810 | 0.000000e+00 | 6.400000e+01 | Inf 17.79/17.87 o 49 17.79/17.87 c *17.4s| 2407 | 144 | 21348 | 8.8 | 13M| 71 | - |1875 |3897 |1875 |1748 |1338 |1206 | 810 | 0.000000e+00 | 4.900000e+01 | Inf 23.19/23.29 o 38 23.19/23.29 c *22.7s| 3862 | 230 | 51295 | 13.2 | 14M| 71 | - |1875 |4290 |1875 |1742 |1873 |2990 | 904 | 0.000000e+00 | 3.800000e+01 | Inf 40.29/40.35 c 39.2s| 10000 | 464 |144761 | 14.5 | 18M| 71 | 24 |1875 |6858 |1875 |1738 |2809 | 10k|1126 | 0.000000e+00 | 3.800000e+01 | Inf 42.38/42.40 o 19 42.38/42.40 c *41.2s| 10807 | 395 |156880 | 14.5 | 17M| 71 | - |1875 |7474 |1875 |1739 |2898 | 11k|1127 | 0.000000e+00 | 1.900000e+01 | Inf 49.29/49.36 o 17 49.29/49.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 49.29/49.36 c *47.9s| 13235 | 453 |197196 | 14.9 | 17M| 71 | - |1875 |7154 |1875 |1738 |3473 | 15k|1249 | 0.000000e+00 | 1.700000e+01 | Inf 68.98/69.00 c 66.8s| 20000 | 526 |317624 | 15.9 | 19M| 71 | - |1875 | 10k| 0 | 0 |6633 | 24k|1354 | 0.000000e+00 | 1.700000e+01 | Inf 82.98/83.01 o 12 82.98/83.01 c *80.4s| 25164 | 557 |402965 | 16.0 | 19M| 71 | - |1875 | 10k|1875 |1749 |8798 | 31k|1370 | 0.000000e+00 | 1.200000e+01 | Inf 94.78/94.80 c 91.8s| 30000 | 625 |471021 | 15.7 | 20M| 71 | - |1875 | 12k| 0 | 0 | 10k| 37k|1370 | 0.000000e+00 | 1.200000e+01 | Inf 102.88/102.90 o 4 102.88/102.90 c *99.6s| 33217 | 544 |515335 | 15.5 | 20M| 71 | - |1875 | 12k|1875 |1739 | 11k| 41k|1443 | 0.000000e+00 | 4.000000e+00 | Inf 121.28/121.38 c 117s| 40000 | 490 |618127 | 15.4 | 19M| 71 | 42 |1875 |8807 |1875 |1742 | 12k| 50k|1690 | 0.000000e+00 | 4.000000e+00 | Inf 145.98/146.05 c 141s| 50000 | 533 |756532 | 15.1 | 21M| 71 | 9 |1875 | 12k|1875 |1738 | 16k| 64k|1895 | 0.000000e+00 | 4.000000e+00 | Inf 172.18/172.25 c 167s| 60000 | 396 |901368 | 15.0 | 19M| 71 | 15 |1875 |8941 |1875 |1742 | 19k| 78k|2281 | 0.000000e+00 | 4.000000e+00 | Inf 197.49/197.53 c 191s| 70000 | 425 | 1040k| 14.9 | 20M| 71 | - |1875 | 12k| 0 | 0 | 21k| 91k|2524 | 0.000000e+00 | 4.000000e+00 | Inf 222.29/222.32 c 215s| 80000 | 473 | 1171k| 14.6 | 22M| 71 | - |1875 | 15k|1875 |1739 | 22k| 105k|2758 | 0.000000e+00 | 4.000000e+00 | Inf 248.29/248.35 c 240s| 90000 | 561 | 1310k| 14.6 | 24M| 71 | 25 |1875 | 19k|1875 |1739 | 23k| 118k|2930 | 0.000000e+00 | 4.000000e+00 | Inf 277.09/277.15 c 268s|100000 | 758 | 1466k| 14.7 | 27M| 71 | - |1875 | 22k| 0 | 0 | 24k| 132k|3131 | 0.000000e+00 | 4.000000e+00 | Inf 305.99/306.01 c 296s|110000 | 833 | 1610k| 14.6 | 28M| 71 | 18 |1875 | 24k|1875 |1739 | 25k| 145k|3291 | 0.000000e+00 | 4.000000e+00 | Inf 337.19/337.29 c 326s|120000 | 835 | 1777k| 14.8 | 28M| 71 | - |1875 | 23k| 0 | 0 | 26k| 159k|3484 | 0.000000e+00 | 4.000000e+00 | Inf 366.69/366.75 c 355s|130000 | 871 | 1926k| 14.8 | 30M| 71 | - |1875 | 26k|1875 |1739 | 27k| 172k|3650 | 0.000000e+00 | 4.000000e+00 | Inf 396.79/396.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 396.79/396.85 c 384s|140000 | 859 | 2083k| 14.9 | 30M| 71 | - |1875 | 25k|1875 |1751 | 28k| 186k|3823 | 0.000000e+00 | 4.000000e+00 | Inf 427.09/427.13 c 413s|150000 | 723 | 2239k| 14.9 | 29M| 71 | 27 |1875 | 23k|1875 |1739 | 29k| 200k|3946 | 0.000000e+00 | 4.000000e+00 | Inf 456.89/456.92 c 442s|160000 | 803 | 2390k| 14.9 | 30M| 71 | - |1875 | 25k| 0 | 0 | 30k| 213k|4095 | 0.000000e+00 | 4.000000e+00 | Inf 487.09/487.15 c 472s|170000 | 860 | 2543k| 15.0 | 31M| 71 | - |1875 | 27k|1875 |1739 | 31k| 226k|4210 | 0.000000e+00 | 4.000000e+00 | Inf 517.49/517.55 c 501s|180000 | 894 | 2690k| 14.9 | 32M| 71 | 15 |1875 | 28k|1875 |1739 | 31k| 241k|4357 | 0.000000e+00 | 4.000000e+00 | Inf 549.69/549.74 c 533s|190000 | 837 | 2849k| 15.0 | 31M| 71 | - |1875 | 26k| 0 | 0 | 32k| 255k|4462 | 0.000000e+00 | 4.000000e+00 | Inf 579.19/579.25 c 561s|200000 | 788 | 2993k| 15.0 | 31M| 71 | - |1875 | 26k| 0 | 0 | 33k| 269k|4614 | 0.000000e+00 | 4.000000e+00 | Inf 606.49/606.58 c 588s|210000 | 802 | 3118k| 14.8 | 32M| 71 | - |1875 | 28k|1875 |1739 | 34k| 282k|4754 | 0.000000e+00 | 4.000000e+00 | Inf 635.69/635.79 c 616s|220000 | 823 | 3256k| 14.8 | 33M| 71 | - |1875 | 29k| 0 | 0 | 35k| 296k|4847 | 0.000000e+00 | 4.000000e+00 | Inf 667.18/667.28 c 647s|230000 | 892 | 3401k| 14.8 | 32M| 71 | - |1875 | 24k| 0 | 0 | 37k| 309k|5036 | 0.000000e+00 | 4.000000e+00 | Inf 697.68/697.79 c 676s|240000 | 967 | 3547k| 14.8 | 32M| 71 | 25 |1875 | 23k|1875 |1739 | 40k| 323k|5142 | 0.000000e+00 | 4.000000e+00 | Inf 727.17/727.20 c 705s|250000 | 1024 | 3689k| 14.8 | 33M| 71 | - |1875 | 25k|1875 |1739 | 41k| 336k|5237 | 0.000000e+00 | 4.000000e+00 | Inf 760.38/760.48 c 737s|260000 | 1055 | 3856k| 14.8 | 34M| 71 | - |1875 | 27k| 0 | 0 | 43k| 349k|5361 | 0.000000e+00 | 4.000000e+00 | Inf 789.47/789.50 c 765s|270000 | 1002 | 3994k| 14.8 | 33M| 71 | 20 |1875 | 23k|1875 |1738 | 44k| 363k|5439 | 0.000000e+00 | 4.000000e+00 | Inf 817.88/817.93 c 793s|280000 | 1024 | 4137k| 14.8 | 34M| 71 | - |1875 | 25k|1875 |1741 | 45k| 377k|5515 | 0.000000e+00 | 4.000000e+00 | Inf 847.68/847.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 847.68/847.72 c 822s|290000 | 1185 | 4288k| 14.8 | 33M| 71 | - |1875 | 22k| 0 | 0 | 48k| 390k|5623 | 0.000000e+00 | 4.000000e+00 | Inf 878.27/878.37 c 852s|300000 | 1365 | 4441k| 14.8 | 35M| 71 | - |1875 | 25k| 0 | 0 | 50k| 404k|5745 | 0.000000e+00 | 4.000000e+00 | Inf 910.58/910.68 c 883s|310000 | 1496 | 4603k| 14.8 | 37M| 71 | 23 |1875 | 27k|1875 |1733 | 52k| 417k|5842 | 0.000000e+00 | 4.000000e+00 | Inf 940.58/940.67 c 912s|320000 | 1575 | 4746k| 14.8 | 37M| 71 | - |1875 | 26k| 0 | 0 | 54k| 432k|5914 | 0.000000e+00 | 4.000000e+00 | Inf 972.98/973.09 c 944s|330000 | 1637 | 4907k| 14.9 | 39M| 71 | - |1875 | 29k| 0 | 0 | 57k| 447k|6001 | 0.000000e+00 | 4.000000e+00 | Inf 1004.29/1004.32 c 974s|340000 | 1653 | 5052k| 14.9 | 41M| 71 | - |1875 | 34k| 0 | 0 | 60k| 462k|6096 | 0.000000e+00 | 4.000000e+00 | Inf 1038.67/1038.75 c 1008s|350000 | 1754 | 5217k| 14.9 | 40M| 71 | 21 |1875 | 28k|1875 |1733 | 62k| 477k|6212 | 0.000000e+00 | 4.000000e+00 | Inf 1071.48/1071.51 c 1040s|360000 | 1757 | 5374k| 14.9 | 40M| 71 | 17 |1875 | 28k|1875 |1735 | 64k| 491k|6288 | 0.000000e+00 | 4.000000e+00 | Inf 1101.97/1102.03 c 1069s|370000 | 1798 | 5517k| 14.9 | 41M| 71 | 19 |1875 | 30k|1875 |1740 | 67k| 505k|6361 | 0.000000e+00 | 4.000000e+00 | Inf 1133.87/1134.00 c 1100s|380000 | 1809 | 5672k| 14.9 | 43M| 71 | 1 |1875 | 33k|1875 |1738 | 68k| 519k|6426 | 0.000000e+00 | 4.000000e+00 | Inf 1166.68/1166.71 c 1132s|390000 | 1801 | 5829k| 14.9 | 41M| 71 | - |1875 | 28k| 0 | 0 | 70k| 533k|6524 | 0.000000e+00 | 4.000000e+00 | Inf 1197.98/1198.03 c 1163s|400000 | 1875 | 5978k| 14.9 | 42M| 71 | 19 |1875 | 30k|1875 |1742 | 73k| 547k|6608 | 0.000000e+00 | 4.000000e+00 | Inf 1231.58/1231.62 c 1195s|410000 | 1934 | 6143k| 15.0 | 43M| 71 | - |1875 | 31k| 0 | 0 | 75k| 562k|6693 | 0.000000e+00 | 4.000000e+00 | Inf 1264.28/1264.31 c 1227s|420000 | 1892 | 6297k| 15.0 | 42M| 71 | - |1875 | 29k| 0 | 0 | 77k| 577k|6758 | 0.000000e+00 | 4.000000e+00 | Inf 1293.09/1293.11 c 1255s|430000 | 1971 | 6425k| 14.9 | 44M| 71 | - |1875 | 33k| 0 | 0 | 81k| 591k|6808 | 0.000000e+00 | 4.000000e+00 | Inf 1325.39/1325.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1325.39/1325.48 c 1287s|440000 | 2045 | 6578k| 15.0 | 45M| 71 | 24 |1875 | 34k|1875 |1733 | 83k| 604k|6888 | 0.000000e+00 | 4.000000e+00 | Inf 1360.68/1360.72 c 1321s|450000 | 2034 | 6745k| 15.0 | 45M| 71 | 27 |1875 | 34k|1875 |1733 | 85k| 618k|6960 | 0.000000e+00 | 4.000000e+00 | Inf 1395.48/1395.50 c 1355s|460000 | 2024 | 6898k| 15.0 | 46M| 71 | 22 |1875 | 34k|1875 |1733 | 88k| 633k|7030 | 0.000000e+00 | 4.000000e+00 | Inf 1428.57/1428.61 c 1387s|470000 | 1954 | 7055k| 15.0 | 44M| 71 | 25 |1875 | 31k|1875 |1737 | 91k| 647k|7106 | 0.000000e+00 | 4.000000e+00 | Inf 1457.14/1457.22 c 1414s|480000 | 1854 | 7195k| 15.0 | 43M| 71 | 18 |1875 | 30k|1875 |1737 | 92k| 662k|7179 | 0.000000e+00 | 4.000000e+00 | Inf 1489.73/1489.80 c 1446s|490000 | 1825 | 7368k| 15.0 | 42M| 71 | 22 |1875 | 27k|1875 |1742 | 95k| 676k|7288 | 0.000000e+00 | 4.000000e+00 | Inf 1518.64/1518.79 c 1473s|500000 | 1763 | 7520k| 15.0 | 42M| 71 | 18 |1875 | 27k|1875 |1736 | 96k| 691k|7358 | 0.000000e+00 | 4.000000e+00 | Inf 1549.54/1549.60 c 1503s|510000 | 1679 | 7679k| 15.1 | 42M| 71 | - |1875 | 27k| 0 | 0 | 98k| 705k|7437 | 0.000000e+00 | 4.000000e+00 | Inf 1579.04/1579.14 c 1532s|520000 | 1589 | 7829k| 15.1 | 42M| 71 | 46 |1875 | 29k|1875 |1733 | 101k| 720k|7496 | 0.000000e+00 | 4.000000e+00 | Inf 1609.64/1609.76 c 1561s|530000 | 1601 | 7992k| 15.1 | 42M| 71 | 20 |1875 | 30k|1875 |1740 | 103k| 734k|7567 | 0.000000e+00 | 4.000000e+00 | Inf 1640.65/1640.75 c 1591s|540000 | 1541 | 8147k| 15.1 | 42M| 71 | - |1875 | 30k| 0 | 0 | 105k| 748k|7639 | 0.000000e+00 | 4.000000e+00 | Inf 1672.24/1672.34 c 1621s|550000 | 1530 | 8307k| 15.1 | 41M| 71 | 1 |1875 | 29k|1875 |1737 | 108k| 762k|7727 | 0.000000e+00 | 4.000000e+00 | Inf 1701.54/1701.60 c 1649s|560000 | 1572 | 8447k| 15.1 | 43M| 71 | 31 |1875 | 33k|1875 |1733 | 110k| 776k|7773 | 0.000000e+00 | 4.000000e+00 | Inf 1733.45/1733.51 c 1680s|570000 | 1477 | 8601k| 15.1 | 42M| 71 | 27 |1875 | 30k|1875 |1746 | 112k| 790k|7847 | 0.000000e+00 | 4.000000e+00 | Inf 1764.35/1764.47 c 1709s|580000 | 1431 | 8752k| 15.1 | 42M| 71 | 25 |1875 | 31k|1875 |1735 | 114k| 804k|7909 | 0.000000e+00 | 4.000000e+00 | Inf 1795.54/1795.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1795.54/1795.64 c 1739s|590000 | 1388 | 8914k| 15.1 | 40M| 71 | - |1875 | 28k| 0 | 0 | 115k| 818k|7982 | 0.000000e+00 | 4.000000e+00 | Inf 1800.06/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.06/1800.10 c 1800.06/1800.10 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.10 c Solving Time (sec) : 1743.71 1800.06/1800.10 c Solving Nodes : 591364 1800.06/1800.10 c Primal Bound : +4.00000000000000e+00 (129 solutions) 1800.06/1800.10 c Dual Bound : +0.00000000000000e+00 1800.06/1800.10 c Gap : infinite 1800.06/1800.12 s SATISFIABLE 1800.06/1800.12 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 1800.06/1800.12 v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1800.06/1800.12 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 1800.06/1800.12 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 1800.06/1800.12 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 1800.06/1800.12 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 1800.06/1800.12 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.06/1800.12 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.06/1800.12 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.06/1800.12 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.06/1800.12 v -x1 1800.06/1800.12 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.12 c Solving Time : 1743.71 1800.06/1800.12 c Original Problem : 1800.06/1800.12 c Problem name : HOME/instance-2693505-1277907684.wbo 1800.06/1800.12 c Variables : 2015 (1123 binary, 0 integer, 0 implicit integer, 892 continuous) 1800.06/1800.12 c Constraints : 3600 initial, 3600 maximal 1800.06/1800.12 c Presolved Problem : 1800.06/1800.12 c Problem name : t_HOME/instance-2693505-1277907684.wbo 1800.06/1800.12 c Variables : 1875 (1053 binary, 0 integer, 0 implicit integer, 822 continuous) 1800.06/1800.12 c Constraints : 3344 initial, 37382 maximal 1800.06/1800.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.06/1800.12 c trivial : 0.00 70 0 0 0 0 0 0 0 1800.06/1800.12 c dualfix : 0.00 70 0 0 0 0 0 0 0 1800.06/1800.12 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.12 c implics : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.12 c probing : 0.03 0 0 0 0 0 0 0 0 1800.06/1800.12 c indicator : 0.00 0 0 0 0 0 70 0 0 1800.06/1800.12 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.12 c linear : 0.08 0 0 0 914 0 186 127 0 1800.06/1800.12 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.06/1800.12 c root node : - 802 - - 1604 - - - - 1800.06/1800.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.06/1800.12 c integral : 0 0 0 341042 0 198 1678 0 0 633270 1800.06/1800.12 c indicator : 822 0 2696526 22875 0 42 252940 0 0 0 1800.06/1800.12 c setppc : 13 6 2696269 22349 0 38334 1809385 0 0 0 1800.06/1800.12 c linear : 822 6 2659554 22888 0 87544 9793015 116334 0 0 1800.06/1800.12 c logicor : 1687+ 6 1350770 1579 0 103703 5255885 0 0 0 1800.06/1800.12 c countsols : 0 0 0 1579 0 0 0 0 0 0 1800.06/1800.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.06/1800.12 c integral : 41.91 0.00 0.00 41.91 0.00 1800.06/1800.12 c indicator : 2.42 0.00 2.20 0.22 0.00 1800.06/1800.12 c setppc : 13.27 0.00 13.25 0.02 0.00 1800.06/1800.12 c linear : 66.90 0.00 66.20 0.70 0.00 1800.06/1800.12 c logicor : 239.57 0.00 239.54 0.03 0.00 1800.06/1800.12 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.06/1800.12 c Propagators : Time Calls Cutoffs DomReds 1800.06/1800.12 c vbounds : 0.49 2 0 0 1800.06/1800.12 c rootredcost : 0.48 25 0 802 1800.06/1800.12 c pseudoobj : 46.87 2698205 447 199039 1800.06/1800.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.06/1800.12 c propagation : 11.26 230028 229523 1352982 28.9 6141 23.7 - 1800.06/1800.12 c infeasible LP : 18.29 84182 84182 644848 47.3 746 15.3 0 1800.06/1800.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.12 c pseudo solution : 0.00 13 13 82 17.7 6 6.5 - 1800.06/1800.12 c applied globally : - - - 820544 28.9 - - - 1800.06/1800.12 c applied locally : - - - 0 0.0 - - - 1800.06/1800.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.06/1800.12 c cut pool : 0.00 5 - - 11 - (maximal pool size: 189) 1800.06/1800.12 c redcost : 9.09 341961 0 44542 0 0 1800.06/1800.12 c impliedbounds : 0.00 6 0 0 0 0 1800.06/1800.12 c intobj : 0.00 0 0 0 0 0 1800.06/1800.12 c cgmip : 0.00 0 0 0 0 0 1800.06/1800.12 c gomory : 0.18 6 0 0 1408 0 1800.06/1800.12 c strongcg : 0.14 6 0 0 489 0 1800.06/1800.12 c cmir : 0.04 6 0 0 0 0 1800.06/1800.12 c flowcover : 0.02 6 0 0 0 0 1800.06/1800.12 c clique : 0.00 6 0 0 0 0 1800.06/1800.12 c zerohalf : 0.00 0 0 0 0 0 1800.06/1800.12 c mcf : 0.00 1 0 0 0 0 1800.06/1800.12 c rapidlearning : 0.00 0 0 0 0 0 1800.06/1800.12 c Pricers : Time Calls Vars 1800.06/1800.12 c problem variables: 0.00 0 0 1800.06/1800.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.06/1800.12 c relpscost : 41.67 318149 198 1678 0 0 633270 1800.06/1800.12 c pscost : 0.00 0 0 0 0 0 0 1800.06/1800.12 c inference : 0.08 1555 0 0 0 0 3110 1800.06/1800.12 c mostinf : 0.00 0 0 0 0 0 0 1800.06/1800.12 c leastinf : 0.00 0 0 0 0 0 0 1800.06/1800.12 c fullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.12 c allfullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.12 c random : 0.00 0 0 0 0 0 0 1800.06/1800.12 c Primal Heuristics : Time Calls Found 1800.06/1800.12 c LP solutions : 0.02 - 24 1800.06/1800.12 c pseudo solutions : 0.00 - 0 1800.06/1800.12 c feaspump : 0.01 1 0 1800.06/1800.12 c oneopt : 0.24 22 0 1800.06/1800.12 c intshifting : 0.02 12 0 1800.06/1800.12 c crossover : 0.38 7 0 1800.06/1800.12 c guideddiving : 0.23 93 0 1800.06/1800.12 c coefdiving : 0.20 93 0 1800.06/1800.12 c pscostdiving : 0.19 93 0 1800.06/1800.12 c linesearchdiving : 0.06 93 0 1800.06/1800.12 c fracdiving : 0.23 94 0 1800.06/1800.12 c veclendiving : 0.16 94 0 1800.06/1800.12 c rootsoldiving : 0.16 63 0 1800.06/1800.12 c objpscostdiving : 0.08 64 0 1800.06/1800.12 c trivial : 0.00 2 0 1800.06/1800.12 c simplerounding : 0.58 318257 0 1800.06/1800.12 c zirounding : 0.33 1000 0 1800.06/1800.12 c rounding : 0.94 7924 0 1800.06/1800.12 c shifting : 0.93 2459 0 1800.06/1800.12 c twoopt : 0.00 0 0 1800.06/1800.12 c fixandinfer : 0.00 0 0 1800.06/1800.12 c intdiving : 0.00 0 0 1800.06/1800.12 c actconsdiving : 0.00 0 0 1800.06/1800.12 c octane : 0.00 0 0 1800.06/1800.12 c rens : 0.02 1 0 1800.06/1800.12 c rins : 0.00 0 0 1800.06/1800.12 c localbranching : 0.00 0 0 1800.06/1800.12 c mutation : 0.00 0 0 1800.06/1800.12 c dins : 0.00 0 0 1800.06/1800.12 c undercover : 0.00 0 0 1800.06/1800.12 c nlp : 0.13 0 0 1800.06/1800.12 c trysol : 0.63 1763 105 1800.06/1800.12 c LP : Time Calls Iterations Iter/call Iter/sec 1800.06/1800.12 c primal LP : 0.00 0 0 0.00 - 1800.06/1800.12 c dual LP : 965.49 422767 8933615 21.13 9252.93 1800.06/1800.12 c lex dual LP : 0.00 0 0 0.00 - 1800.06/1800.12 c barrier LP : 0.00 0 0 0.00 - 1800.06/1800.12 c diving/probing LP: 0.72 463 3763 8.13 5226.39 1800.06/1800.12 c strong branching : 37.97 8004 355354 44.40 9358.81 1800.06/1800.12 c (at root node) : - 33 11279 341.79 - 1800.06/1800.12 c conflict analysis: 0.00 0 0 0.00 - 1800.06/1800.12 c B&B Tree : 1800.06/1800.12 c number of runs : 1 1800.06/1800.12 c nodes : 591364 1800.06/1800.12 c nodes (total) : 591364 1800.06/1800.12 c nodes left : 1390 1800.06/1800.12 c max depth : 71 1800.06/1800.12 c max depth (total): 71 1800.06/1800.12 c backtracks : 78187 (13.2%) 1800.06/1800.12 c delayed cutoffs : 41779 1800.06/1800.12 c repropagations : 1040957 (3225424 domain reductions, 40859 cutoffs) 1800.06/1800.12 c avg switch length: 5.02 1800.06/1800.12 c switching time : 191.72 1800.06/1800.12 c Solution : 1800.06/1800.12 c Solutions found : 129 (25 improvements) 1800.06/1800.12 c First Solution : +4.14000000000000e+04 (in run 1, after 1 nodes, 0.60 seconds, depth 0, found by <trysol>) 1800.06/1800.12 c Primal Bound : +4.00000000000000e+00 (in run 1, after 33217 nodes, 99.60 seconds, depth 40, found by <relaxation>) 1800.06/1800.12 c Dual Bound : +0.00000000000000e+00 1800.06/1800.12 c Gap : infinite 1800.06/1800.12 c Root Dual Bound : +0.00000000000000e+00 1800.06/1800.12 c Root Iterations : 215 1800.06/1800.19 c Time complete: 1800.14.
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693505-1277907684/watcher-2693505-1277907684 -o /tmp/evaluation-result-2693505-1277907684/solver-2693505-1277907684 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693505-1277907684.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.04 2.05 2.07 4/196 14359 /proc/meminfo: memFree=31067000/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=10712 CPUtime=0 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 1618 0 0 0 0 0 0 0 25 0 1 0 132063606 10969088 1538 4089446400 4194304 9819077 140734911795600 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14359/statm: 2678 1538 392 1374 0 1299 0 [startup+0.0988019 s] /proc/loadavg: 2.04 2.05 2.07 4/196 14359 /proc/meminfo: memFree=31067000/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=23872 CPUtime=0.09 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 6373 0 0 0 9 0 0 0 25 0 1 0 132063606 24444928 4654 4089446400 4194304 9819077 140734911795600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14359/statm: 5968 4654 498 1374 0 4589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23872 [startup+0.100804 s] /proc/loadavg: 2.04 2.05 2.07 4/196 14359 /proc/meminfo: memFree=31067000/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=23872 CPUtime=0.09 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 6373 0 0 0 9 0 0 0 25 0 1 0 132063606 24444928 4654 4089446400 4194304 9819077 140734911795600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14359/statm: 5968 4654 498 1374 0 4589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23872 [startup+0.300748 s] /proc/loadavg: 2.04 2.05 2.07 4/196 14359 /proc/meminfo: memFree=31067000/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=35876 CPUtime=0.29 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 11772 0 0 0 28 1 0 0 25 0 1 0 132063606 36737024 7372 4089446400 4194304 9819077 140734911795600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14359/statm: 8969 7372 680 1374 0 7590 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35876 [startup+0.700675 s] /proc/loadavg: 2.04 2.05 2.07 4/196 14359 /proc/meminfo: memFree=31067000/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=39308 CPUtime=0.69 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 19303 0 0 0 67 2 0 0 25 0 1 0 132063606 40251392 7710 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14359/statm: 9827 7710 710 1374 0 8448 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39308 [startup+1.50051 s] /proc/loadavg: 2.04 2.05 2.07 3/197 14360 /proc/meminfo: memFree=31038100/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=39360 CPUtime=1.49 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 24800 0 0 0 146 3 0 0 25 0 1 0 132063606 40304640 7747 4089446400 4194304 9819077 140734911795600 18446744073709551615 7298011 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14359/statm: 9840 7747 710 1374 0 8461 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39360 [startup+3.10025 s] /proc/loadavg: 2.04 2.05 2.07 3/197 14360 /proc/meminfo: memFree=31037628/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=39364 CPUtime=3.09 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 37431 0 0 0 302 7 0 0 25 0 1 0 132063606 40308736 7753 4089446400 4194304 9819077 140734911795600 18446744073709551615 7291621 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14359/statm: 9841 7753 713 1374 0 8462 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39364 [startup+6.30067 s] /proc/loadavg: 2.04 2.05 2.07 3/197 14360 /proc/meminfo: memFree=31036140/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=39520 CPUtime=6.29 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 70686 0 0 0 615 14 0 0 25 0 1 0 132063606 40468480 7737 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14359/statm: 9880 7737 713 1374 0 8501 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39520 [startup+12.7005 s] /proc/loadavg: 2.55 2.16 2.11 3/197 14360 /proc/meminfo: memFree=31031376/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=38252 CPUtime=12.68 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 143642 0 0 0 1241 27 0 0 25 0 1 0 132063606 39170048 7949 4089446400 4194304 9819077 140734911795600 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 9563 7949 718 1374 0 8184 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38252 [startup+25.5003 s] /proc/loadavg: 2.46 2.16 2.10 3/197 14361 /proc/meminfo: memFree=31015404/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=51920 CPUtime=25.48 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 278930 0 0 0 2483 65 0 0 25 0 1 0 132063606 53166080 11280 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 12980 11280 719 1374 0 11601 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51920 [startup+51.1007 s] /proc/loadavg: 2.30 2.14 2.10 3/197 14362 /proc/meminfo: memFree=30998572/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=60212 CPUtime=51.09 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 562157 0 0 0 4958 151 0 0 25 0 1 0 132063606 61657088 13328 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 15053 13330 740 1374 0 13674 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 60212 [startup+102.306 s] /proc/loadavg: 2.12 2.12 2.09 3/197 14363 /proc/meminfo: memFree=30985024/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=64620 CPUtime=102.29 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 1130533 0 0 0 9904 325 0 0 25 0 1 0 132063606 66170880 14445 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 16155 14445 741 1374 0 14776 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 64620 [startup+162.301 s] /proc/loadavg: 2.05 2.10 2.08 3/197 14364 /proc/meminfo: memFree=30970096/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=66352 CPUtime=162.29 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 1811420 0 0 0 15692 537 0 0 25 0 1 0 132063606 67944448 14873 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 16588 14873 741 1374 0 15209 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 66352 [startup+222.301 s] /proc/loadavg: 2.01 2.07 2.08 3/197 14366 /proc/meminfo: memFree=30955808/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=69368 CPUtime=222.29 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 2435134 0 0 0 21493 736 0 0 25 0 1 0 132063606 71032832 15651 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 17342 15651 741 1374 0 15963 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 69368 [startup+282.3 s] /proc/loadavg: 2.00 2.06 2.07 3/197 14368 /proc/meminfo: memFree=30941764/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=74712 CPUtime=282.28 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 3016309 0 0 0 27307 921 0 0 25 0 1 0 132063606 76505088 16908 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 18678 16908 741 1374 0 17299 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 74712 [startup+342.3 s] /proc/loadavg: 2.00 2.05 2.07 3/197 14370 /proc/meminfo: memFree=30934036/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=78060 CPUtime=342.29 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 3563341 0 0 0 33126 1103 0 0 25 0 1 0 132063606 79933440 17239 4089446400 4194304 9819077 140734911795600 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 19515 17239 741 1374 0 18136 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 78060 [startup+402.301 s] /proc/loadavg: 2.00 2.04 2.06 3/197 14371 /proc/meminfo: memFree=30926076/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=78104 CPUtime=402.29 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 4115785 0 0 0 38941 1288 0 0 25 0 1 0 132063606 79978496 17723 4089446400 4194304 9819077 140734911795600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 19526 17723 741 1374 0 18147 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 78104 [startup+462.301 s] /proc/loadavg: 2.00 2.03 2.05 3/197 14372 /proc/meminfo: memFree=30918792/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=78132 CPUtime=462.29 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 4646921 0 0 0 44767 1462 0 0 25 0 1 0 132063606 80007168 17754 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 19533 17754 741 1374 0 18154 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 78132 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.05 3/197 14374 /proc/meminfo: memFree=30909580/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=81272 CPUtime=522.29 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 5151741 0 0 0 50591 1638 0 0 25 0 1 0 132063606 83222528 18483 4089446400 4194304 9819077 140734911795600 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 20318 18483 741 1374 0 18939 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 81272 [startup+582.3 s] /proc/loadavg: 2.03 2.03 2.05 3/197 14376 /proc/meminfo: memFree=30900620/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=82656 CPUtime=582.29 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 5660598 0 0 0 56428 1801 0 0 25 0 1 0 132063606 84639744 18816 4089446400 4194304 9819077 140734911795600 18446744073709551615 7291689 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 20664 18816 741 1374 0 19285 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 82656 [startup+642.301 s] /proc/loadavg: 2.01 2.02 2.04 3/197 14381 /proc/meminfo: memFree=30893336/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=83680 CPUtime=642.28 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 6172719 0 0 0 62252 1976 0 0 25 0 1 0 132063606 85688320 19038 4089446400 4194304 9819077 140734911795600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 20920 19038 741 1374 0 19541 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 83680 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.02 3/197 14387 /proc/meminfo: memFree=30867456/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=86528 CPUtime=882.27 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 8240341 0 0 0 85542 2685 0 0 25 0 1 0 132063606 88604672 19649 4089446400 4194304 9819077 140734911795600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 21632 19649 741 1374 0 20253 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 86528 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.01 3/197 14389 /proc/meminfo: memFree=30855144/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=88520 CPUtime=942.28 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 8719944 0 0 0 91385 2843 0 0 25 0 1 0 132063606 90644480 20160 4089446400 4194304 9819077 140734911795600 18446744073709551615 4999847 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 22130 20160 741 1374 0 20751 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 88520 [startup+1002.3 s] /proc/loadavg: 2.32 2.09 2.04 3/197 14390 /proc/meminfo: memFree=30844692/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=92768 CPUtime=1002.28 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 9208687 0 0 0 97222 3006 0 0 25 0 1 0 132063606 94994432 21225 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 23192 21225 741 1374 0 21813 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 92768 [startup+1062.3 s] /proc/loadavg: 2.12 2.07 2.03 3/197 14391 /proc/meminfo: memFree=30841056/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=93304 CPUtime=1062.28 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 9677838 0 0 0 103062 3166 0 0 25 0 1 0 132063606 95543296 21373 4089446400 4194304 9819077 140734911795600 18446744073709551615 6364912 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 23259 21372 741 1374 0 21880 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 93304 [startup+1122.3 s] /proc/loadavg: 2.49 2.17 2.07 3/197 14393 /proc/meminfo: memFree=30840516/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=93680 CPUtime=1122.27 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 10164541 0 0 0 108902 3325 0 0 25 0 1 0 132063606 95928320 21495 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 23420 21495 741 1374 0 22041 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 93680 [startup+1182.3 s] /proc/loadavg: 2.19 2.14 2.06 3/197 14395 /proc/meminfo: memFree=30839504/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=94264 CPUtime=1182.28 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 10641843 0 0 0 114744 3484 0 0 25 0 1 0 132063606 96526336 21653 4089446400 4194304 9819077 140734911795600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 23566 21653 741 1374 0 22187 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 94264 [startup+1242.3 s] /proc/loadavg: 2.06 2.11 2.05 3/197 14397 /proc/meminfo: memFree=30837852/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=94748 CPUtime=1242.28 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 11119454 0 0 0 120585 3643 0 0 25 0 1 0 132063606 97021952 21917 4089446400 4194304 9819077 140734911795600 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 23687 21917 741 1374 0 22308 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 94748 [startup+1302.3 s] /proc/loadavg: 2.02 2.08 2.05 3/197 14398 /proc/meminfo: memFree=30835640/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=97256 CPUtime=1302.28 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 11625028 0 0 0 126418 3810 0 0 25 0 1 0 132063606 99590144 22419 4089446400 4194304 9819077 140734911795600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 24314 22419 741 1374 0 22935 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 97256 [startup+1362.3 s] /proc/loadavg: 2.01 2.07 2.04 3/197 14399 /proc/meminfo: memFree=30833000/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=98736 CPUtime=1362.28 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 12095044 0 0 0 132256 3972 0 0 25 0 1 0 132063606 101105664 22758 4089446400 4194304 9819077 140734911795600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14359/statm: 24684 22758 741 1374 0 23305 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 98736 [startup+1422.31 s] /proc/loadavg: 2.00 2.05 2.04 3/197 14401 /proc/meminfo: memFree=30824864/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=101860 CPUtime=1422.29 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 12557845 0 0 0 138092 4137 0 0 25 0 1 0 132063606 104304640 23269 4089446400 4194304 9819077 140734911795600 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14359/statm: 25465 23269 741 1374 0 24086 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 101860 [startup+1482.3 s] /proc/loadavg: 2.00 2.04 2.03 3/197 14403 /proc/meminfo: memFree=30817028/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=101876 CPUtime=1482.24 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 13065758 0 0 0 143853 4371 0 0 25 0 1 0 132063606 104321024 23272 4089446400 4194304 9819077 140734911795600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14359/statm: 25469 23272 741 1374 0 24090 0 Current children cumulated CPU time (s) 1482.24 Current children cumulated vsize (KiB) 101876 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.02 3/197 14405 /proc/meminfo: memFree=30810056/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=102464 CPUtime=1542.24 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 13587522 0 0 0 149617 4607 0 0 25 0 1 0 132063606 104923136 23357 4089446400 4194304 9819077 140734911795600 18446744073709551615 4999762 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14359/statm: 25616 23357 741 1374 0 24237 0 Current children cumulated CPU time (s) 1542.24 Current children cumulated vsize (KiB) 102464 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.02 3/197 14406 /proc/meminfo: memFree=30805564/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=102468 CPUtime=1602.24 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 14113699 0 0 0 155377 4847 0 0 25 0 1 0 132063606 104927232 23355 4089446400 4194304 9819077 140734911795600 18446744073709551615 4925116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14359/statm: 25617 23355 741 1374 0 24238 0 Current children cumulated CPU time (s) 1602.24 Current children cumulated vsize (KiB) 102468 [startup+1662.3 s] /proc/loadavg: 2.13 2.05 2.02 3/197 14407 /proc/meminfo: memFree=30800332/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=102464 CPUtime=1662.25 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 14611657 0 0 0 161131 5094 0 0 25 0 1 0 132063606 104923136 23376 4089446400 4194304 9819077 140734911795600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14359/statm: 25616 23376 741 1374 0 24237 0 Current children cumulated CPU time (s) 1662.25 Current children cumulated vsize (KiB) 102464 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.01 3/179 14439 /proc/meminfo: memFree=31101968/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=102516 CPUtime=1722.24 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 15115376 0 0 0 166897 5327 0 0 25 0 1 0 132063606 104976384 23398 4089446400 4194304 9819077 140734911795600 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14359/statm: 25629 23398 741 1374 0 24250 0 Current children cumulated CPU time (s) 1722.24 Current children cumulated vsize (KiB) 102516 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.01 3/179 14441 /proc/meminfo: memFree=31060148/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=102108 CPUtime=1782.25 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 15621688 0 0 0 172659 5566 0 0 25 0 1 0 132063606 104558592 23437 4089446400 4194304 9819077 140734911795600 18446744073709551615 6209887 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14359/statm: 25527 23441 741 1374 0 24148 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (KiB) 102108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.02 2.00 3/179 14441 /proc/meminfo: memFree=31053068/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=102824 CPUtime=1800.06 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 15768696 0 0 0 174373 5633 0 0 25 0 1 0 132063606 105291776 23455 4089446400 4194304 9819077 140734911795600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14359/statm: 25706 23455 741 1374 0 24327 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 102824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.00 2.02 2.00 3/179 14441 /proc/meminfo: memFree=31053068/32951124 swapFree=67111528/67111528 [pid=14359] ppid=14357 vsize=102824 CPUtime=1800.06 /proc/14359/stat : 14359 (pbscip.linux.x8) R 14357 14359 12955 0 -1 4202496 15768696 0 0 0 174373 5633 0 0 25 0 1 0 132063606 105291776 23455 4089446400 4194304 9819077 140734911795600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14359/statm: 25706 23455 741 1374 0 24327 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 102824 Child status: 0 Real time (s): 1800.2 CPU time (s): 1800.15 CPU user time (s): 1743.82 CPU system time (s): 56.3334 CPU usage (%): 99.9974 Max. virtual memory (cumulated for all children) (KiB): 105260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1743.82 system time used= 56.3334 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15768730 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 8043 runsolver used 2.76158 second user time and 5.65314 second system time The end
Begin job on node145 at 2010-06-30 16:21:24 IDJOB=2693505 IDBENCH=78951 IDSOLVER=1205 FILE ID=node145/2693505-1277907684 PBS_JOBID= 11197171 Free space on /tmp= 74212 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.1900565534--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-2693505-1277907684/watcher-2693505-1277907684 -o /tmp/evaluation-result-2693505-1277907684/solver-2693505-1277907684 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693505-1277907684.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a432251fbe239eaf75ee6653ab14d833 RANDOM SEED=1068983573 node145.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.851 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.70 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.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 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.75 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.851 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 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.67 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.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 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: 31067288 kB Buffers: 192348 kB Cached: 1265908 kB SwapCached: 0 kB Active: 765412 kB Inactive: 974512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31067288 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6308 kB Writeback: 0 kB AnonPages: 280920 kB Mapped: 20272 kB Slab: 79828 kB PageTables: 5264 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655376 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= 74200 MiB End job on node145 at 2010-06-30 16:51:26