Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1800.17 | 1800.13 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo |
MD5SUM | c177cc73697745a978507901f2a8beaa |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 210.167 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 911 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 45526 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45525 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 665 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692777-1277903044.wbo> 0.00/0.02 c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 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, 1131 impls, 16 clqs 0.00/0.07 c (round 2) 0 del vars, 116 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs 0.00/0.09 c (round 3) 50 del vars, 249 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs 0.09/0.10 c (round 4) 115 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs 0.09/0.11 c (round 5) 130 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs 0.09/0.15 c (0.1s) probing: 101/1077 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.15 c presolving (6 rounds): 0.09/0.15 c 130 deleted vars, 264 deleted constraints, 926 tightened bounds, 0 added holes, 133 changed sides, 0 changed coefficients 0.09/0.15 c 1131 implications, 16 cliques 0.09/0.15 c presolved problem has 1923 variables (1077 bin, 0 int, 0 impl, 846 cont) and 3355 constraints 0.09/0.15 c 846 constraints of type <indicator> 0.09/0.15 c 16 constraints of type <setppc> 0.09/0.15 c 846 constraints of type <linear> 0.09/0.15 c 1647 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.10 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.98 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 3420 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 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 | 41 | - |8706k| 0 | 28 |1923 |3355 |1923 |1663 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.29 c 0.2s| 1 | 0 | 653 | - |8943k| 0 | 40 |1923 |3355 |1923 |1681 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.36 c 0.3s| 1 | 0 | 669 | - |9297k| 0 | 45 |1923 |3355 |1923 |1688 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.46 c 0.4s| 1 | 0 | 674 | - |9299k| 0 | 44 |1923 |3355 |1923 |1690 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.56 c 0.5s| 1 | 0 | 686 | - |9305k| 0 | 45 |1923 |3355 |1923 |1693 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.66 c 0.6s| 1 | 0 | 705 | - |9312k| 0 | 50 |1923 |3355 |1923 |1699 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.77 c 0.7s| 1 | 0 | 725 | - |9314k| 0 | 50 |1923 |3355 |1923 |1701 | 38 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.32 c 1.2s| 1 | 2 | 725 | - |9318k| 0 | 50 |1923 |3355 |1923 |1701 | 38 | 0 | 33 | 0.000000e+00 | -- | Inf 5.19/5.26 o 42201 5.19/5.26 c y 5.0s| 13 | 12 | 1224 | 41.6 |9424k| 12 | 4 |1923 |3355 |1923 |1693 | 38 | 0 | 280 | 0.000000e+00 | 4.220100e+04 | Inf 7.99/8.08 o 401 7.99/8.08 c * 7.8s| 70 | 62 | 2490 | 25.6 |9757k| 20 | - |1923 |3355 |1923 |1700 | 70 | 0 | 702 | 0.000000e+00 | 4.010000e+02 | Inf 8.99/9.02 o 398 8.99/9.02 c * 8.7s| 109 | 95 | 3341 | 24.2 | 10M| 22 | - |1923 |3373 |1923 |1703 | 100 | 18 | 908 | 0.000000e+00 | 3.980000e+02 | Inf 11.49/11.53 o 142 11.49/11.53 c *11.1s| 561 | 334 | 7082 | 11.4 | 11M| 69 | - |1923 |3396 |1923 |1701 | 190 | 41 |1301 | 0.000000e+00 | 1.420000e+02 | Inf 11.60/11.69 o 105 11.60/11.69 c *11.2s| 585 | 295 | 7729 | 12.0 | 11M| 69 | - |1923 |3426 |1923 |1699 | 197 | 71 |1315 | 0.000000e+00 | 1.050000e+02 | Inf 11.89/11.96 o 64 11.89/11.96 c *11.5s| 627 | 129 | 8717 | 12.8 | 11M| 69 | - |1923 |3453 |1923 |1701 | 205 | 98 |1340 | 0.000000e+00 | 6.400000e+01 | Inf 12.20/12.22 o 22 12.20/12.22 c *11.8s| 670 | 103 | 9687 | 13.4 | 11M| 69 | - |1923 |3197 |1923 |1698 | 223 | 144 |1365 | 0.000000e+00 | 2.200000e+01 | Inf 13.09/13.18 o 11 13.09/13.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 13.09/13.18 c *12.7s| 947 | 83 | 13628 | 13.6 | 11M| 69 | - |1923 |3206 |1923 |1696 | 326 | 564 |1408 | 0.000000e+00 | 1.100000e+01 | Inf 14.99/15.05 o 4 14.99/15.05 c *14.4s| 1809 | 87 | 20884 | 11.1 | 12M| 69 | - |1923 |4050 |1923 |1698 | 449 |1651 |1477 | 0.000000e+00 | 4.000000e+00 | Inf 19.70/19.77 o 3 19.70/19.77 c *18.9s| 4303 | 90 | 41093 | 9.4 | 13M| 69 | - |1923 |6111 |1923 |1698 | 619 |4801 |1578 | 0.000000e+00 | 3.000000e+00 | Inf 30.79/30.82 c 29.5s| 10000 | 149 | 88070 | 8.7 | 15M| 69 | - |1923 |9597 | 0 | 0 |1614 | 12k|1765 | 0.000000e+00 | 3.000000e+00 | Inf 40.99/41.09 o 2 40.99/41.09 c *39.3s| 15678 | 140 |132215 | 8.4 | 16M| 69 | - |1923 | 11k|1923 |1698 |2611 | 20k|1770 | 0.000000e+00 | 2.000000e+00 | Inf 50.19/50.26 c 48.1s| 20000 | 141 |175420 | 8.7 | 17M| 69 | - |1923 | 13k| 0 | 0 |3497 | 26k|1770 | 0.000000e+00 | 2.000000e+00 | Inf 71.99/72.08 c 69.0s| 30000 | 280 |270493 | 9.0 | 19M| 69 | - |1923 | 17k| 0 | 0 |8141 | 40k|1770 | 0.000000e+00 | 2.000000e+00 | Inf 96.29/96.39 c 92.4s| 40000 | 154 |374176 | 9.3 | 19M| 69 | - |1923 | 19k|1923 |1698 | 13k| 54k|1954 | 0.000000e+00 | 2.000000e+00 | Inf 120.39/120.47 c 116s| 50000 | 190 |471840 | 9.4 | 21M| 69 | - |1923 | 20k|1923 |1698 | 14k| 67k|2306 | 0.000000e+00 | 2.000000e+00 | Inf 144.20/144.24 c 138s| 60000 | 170 |569200 | 9.5 | 22M| 69 | - |1923 | 23k| 0 | 0 | 15k| 80k|2583 | 0.000000e+00 | 2.000000e+00 | Inf 160.60/160.63 o 1 160.60/160.63 c * 154s| 66869 | 194 |630625 | 9.4 | 24M| 69 | - |1923 | 27k|1923 |1698 | 15k| 90k|2770 | 0.000000e+00 | 1.000000e+00 | Inf 168.39/168.47 c 162s| 70000 | 193 |661943 | 9.4 | 24M| 69 | 23 |1923 | 28k|1923 |1698 | 16k| 94k|2793 | 0.000000e+00 | 1.000000e+00 | Inf 192.89/192.98 c 185s| 80000 | 198 |756150 | 9.4 | 23M| 69 | - |1923 | 24k| 0 | 0 | 19k| 108k|3071 | 0.000000e+00 | 1.000000e+00 | Inf 217.39/217.41 c 208s| 90000 | 177 |842905 | 9.4 | 23M| 69 | - |1923 | 26k| 0 | 0 | 24k| 121k|3291 | 0.000000e+00 | 1.000000e+00 | Inf 242.59/242.68 c 233s|100000 | 179 |936831 | 9.4 | 24M| 69 | 14 |1923 | 28k|1923 |1693 | 29k| 134k|3543 | 0.000000e+00 | 1.000000e+00 | Inf 272.48/272.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 272.48/272.55 c 262s|110000 | 167 | 1036k| 9.4 | 26M| 69 | 23 |1923 | 31k|1923 |1693 | 35k| 147k|3756 | 0.000000e+00 | 1.000000e+00 | Inf 306.59/306.61 c 295s|120000 | 279 | 1135k| 9.5 | 28M| 69 | 28 |1923 | 35k|1923 |1693 | 41k| 160k|3950 | 0.000000e+00 | 1.000000e+00 | Inf 340.00/340.09 c 328s|130000 | 234 | 1234k| 9.5 | 30M| 69 | - |1923 | 40k| 0 | 0 | 48k| 174k|4137 | 0.000000e+00 | 1.000000e+00 | Inf 370.70/370.71 c 358s|140000 | 153 | 1331k| 9.5 | 30M| 69 | - |1923 | 42k| 0 | 0 | 54k| 187k|4356 | 0.000000e+00 | 1.000000e+00 | Inf 402.79/402.82 c 389s|150000 | 225 | 1437k| 9.6 | 31M| 69 | 36 |1923 | 43k|1923 |1693 | 60k| 201k|4564 | 0.000000e+00 | 1.000000e+00 | Inf 437.49/437.55 c 423s|160000 | 198 | 1557k| 9.7 | 32M| 69 | - |1923 | 47k| 0 | 0 | 68k| 215k|4762 | 0.000000e+00 | 1.000000e+00 | Inf 470.89/470.97 c 455s|170000 | 141 | 1662k| 9.8 | 32M| 69 | - |1923 | 45k| 0 | 0 | 74k| 228k|4961 | 0.000000e+00 | 1.000000e+00 | Inf 502.89/502.91 c 486s|180000 | 176 | 1748k| 9.7 | 34M| 69 | 21 |1923 | 51k|1923 |1693 | 77k| 242k|5072 | 0.000000e+00 | 1.000000e+00 | Inf 536.50/536.51 c 519s|190000 | 131 | 1835k| 9.7 | 34M| 69 | 25 |1923 | 51k|1923 |1693 | 82k| 256k|5275 | 0.000000e+00 | 1.000000e+00 | Inf 566.60/566.61 c 548s|200000 | 142 | 1913k| 9.6 | 35M| 69 | 22 |1923 | 52k|1923 |1693 | 84k| 269k|5416 | 0.000000e+00 | 1.000000e+00 | Inf 599.60/599.64 c 580s|210000 | 240 | 1995k| 9.5 | 38M| 69 | 39 |1923 | 59k|1923 |1693 | 88k| 283k|5580 | 0.000000e+00 | 1.000000e+00 | Inf 635.50/635.52 c 615s|220000 | 144 | 2076k| 9.4 | 37M| 69 | 27 |1923 | 58k|1923 |1693 | 92k| 297k|5666 | 0.000000e+00 | 1.000000e+00 | Inf 668.99/669.08 c 648s|230000 | 176 | 2151k| 9.4 | 37M| 69 | 29 |1923 | 58k|1923 |1693 | 94k| 310k|5783 | 0.000000e+00 | 1.000000e+00 | Inf 703.70/703.71 c 681s|240000 | 215 | 2243k| 9.3 | 39M| 69 | - |1923 | 60k|1923 |1698 | 96k| 323k|5937 | 0.000000e+00 | 1.000000e+00 | Inf 739.80/739.88 c 716s|250000 | 267 | 2340k| 9.4 | 39M| 69 | 20 |1923 | 60k|1923 |1693 | 98k| 337k|6072 | 0.000000e+00 | 1.000000e+00 | Inf 774.80/774.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 774.80/774.88 c 751s|260000 | 248 | 2418k| 9.3 | 40M| 69 | - |1923 | 64k| 0 | 0 | 100k| 351k|6162 | 0.000000e+00 | 1.000000e+00 | Inf 810.40/810.45 c 785s|270000 | 311 | 2501k| 9.3 | 42M| 69 | - |1923 | 67k| 0 | 0 | 104k| 364k|6287 | 0.000000e+00 | 1.000000e+00 | Inf 847.71/847.71 c 822s|280000 | 364 | 2579k| 9.2 | 44M| 69 | - |1923 | 70k| 0 | 0 | 107k| 378k|6411 | 0.000000e+00 | 1.000000e+00 | Inf 885.10/885.14 c 859s|290000 | 347 | 2659k| 9.2 | 43M| 69 | 11 |1923 | 69k|1923 |1693 | 110k| 392k|6512 | 0.000000e+00 | 1.000000e+00 | Inf 922.31/922.39 c 895s|300000 | 548 | 2739k| 9.1 | 46M| 69 | 28 |1923 | 73k|1923 |1693 | 113k| 407k|6595 | 0.000000e+00 | 1.000000e+00 | Inf 960.50/960.54 c 932s|310000 | 582 | 2819k| 9.1 | 47M| 69 | - |1923 | 74k| 0 | 0 | 116k| 422k|6682 | 0.000000e+00 | 1.000000e+00 | Inf 999.71/999.73 c 971s|320000 | 592 | 2900k| 9.1 | 46M| 69 | 26 |1923 | 71k|1923 |1693 | 118k| 436k|6788 | 0.000000e+00 | 1.000000e+00 | Inf 1039.01/1039.02 c 1009s|330000 | 500 | 2975k| 9.0 | 46M| 69 | 27 |1923 | 72k|1923 |1693 | 120k| 451k|6890 | 0.000000e+00 | 1.000000e+00 | Inf 1078.11/1078.18 c 1047s|340000 | 293 | 3049k| 9.0 | 44M| 69 | - |1923 | 70k| 0 | 0 | 123k| 466k|6995 | 0.000000e+00 | 1.000000e+00 | Inf 1116.31/1116.30 c 1084s|350000 | 294 | 3126k| 8.9 | 44M| 69 | 11 |1923 | 70k|1923 |1693 | 125k| 480k|7092 | 0.000000e+00 | 1.000000e+00 | Inf 1155.82/1155.81 c 1123s|360000 | 198 | 3206k| 8.9 | 43M| 69 | - |1923 | 70k|1923 |1699 | 129k| 494k|7202 | 0.000000e+00 | 1.000000e+00 | Inf 1194.91/1194.97 c 1161s|370000 | 175 | 3286k| 8.9 | 43M| 69 | - |1923 | 68k| 0 | 0 | 132k| 508k|7309 | 0.000000e+00 | 1.000000e+00 | Inf 1234.11/1234.17 c 1199s|380000 | 180 | 3382k| 8.9 | 45M| 69 | 14 |1923 | 74k|1923 |1693 | 136k| 521k|7402 | 0.000000e+00 | 1.000000e+00 | Inf 1273.82/1273.84 c 1238s|390000 | 198 | 3458k| 8.9 | 43M| 69 | 11 |1923 | 68k|1923 |1693 | 139k| 534k|7517 | 0.000000e+00 | 1.000000e+00 | Inf 1312.61/1312.62 c 1276s|400000 | 190 | 3531k| 8.8 | 45M| 69 | - |1923 | 75k| 0 | 0 | 141k| 549k|7603 | 0.000000e+00 | 1.000000e+00 | Inf 1354.52/1354.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1354.52/1354.52 c 1316s|410000 | 211 | 3624k| 8.8 | 46M| 69 | 32 |1923 | 76k|1923 |1693 | 145k| 562k|7690 | 0.000000e+00 | 1.000000e+00 | Inf 1398.42/1398.49 c 1359s|420000 | 148 | 3719k| 8.9 | 43M| 69 | 12 |1923 | 69k|1923 |1699 | 149k| 576k|7802 | 0.000000e+00 | 1.000000e+00 | Inf 1437.83/1437.84 c 1398s|430000 | 157 | 3814k| 8.9 | 42M| 69 | - |1923 | 64k| 0 | 0 | 153k| 589k|8014 | 0.000000e+00 | 1.000000e+00 | Inf 1480.12/1480.10 c 1439s|440000 | 174 | 3919k| 8.9 | 44M| 69 | - |1923 | 69k| 0 | 0 | 158k| 603k|8141 | 0.000000e+00 | 1.000000e+00 | Inf 1526.32/1526.34 c 1484s|450000 | 142 | 4041k| 9.0 | 44M| 69 | - |1923 | 70k|1923 |1697 | 165k| 616k|8249 | 0.000000e+00 | 1.000000e+00 | Inf 1569.42/1569.49 c 1526s|460000 | 153 | 4148k| 9.0 | 45M| 69 | 18 |1923 | 73k|1923 |1698 | 171k| 630k|8378 | 0.000000e+00 | 1.000000e+00 | Inf 1611.03/1611.01 c 1566s|470000 | 159 | 4250k| 9.0 | 47M| 69 | 20 |1923 | 78k|1923 |1693 | 177k| 644k|8522 | 0.000000e+00 | 1.000000e+00 | Inf 1653.83/1653.89 c 1608s|480000 | 207 | 4346k| 9.1 | 47M| 69 | 10 |1923 | 77k|1923 |1693 | 182k| 658k|8623 | 0.000000e+00 | 1.000000e+00 | Inf 1695.83/1695.80 c 1649s|490000 | 249 | 4436k| 9.1 | 49M| 69 | 27 |1923 | 80k|1923 |1693 | 187k| 671k|8731 | 0.000000e+00 | 1.000000e+00 | Inf 1738.03/1738.01 c 1690s|500000 | 295 | 4528k| 9.1 | 49M| 69 | 15 |1923 | 80k|1923 |1693 | 192k| 685k|8820 | 0.000000e+00 | 1.000000e+00 | Inf 1781.63/1781.65 c 1733s|510000 | 303 | 4637k| 9.1 | 51M| 69 | 22 |1923 | 84k|1923 |1697 | 199k| 699k|8913 | 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.01 c 1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.01 c Solving Time (sec) : 1750.79 1800.04/1800.01 c Solving Nodes : 513933 1800.04/1800.01 c Primal Bound : +1.00000000000000e+00 (56 solutions) 1800.04/1800.01 c Dual Bound : +0.00000000000000e+00 1800.04/1800.01 c Gap : infinite 1800.04/1800.02 s SATISFIABLE 1800.04/1800.02 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.02 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.02 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.02 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.04/1800.02 v -x146 -x145 x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 1800.04/1800.02 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.02 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.02 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.02 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.02 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.02 v x1 1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.02 c Solving Time : 1750.79 1800.04/1800.02 c Original Problem : 1800.04/1800.02 c Problem name : HOME/instance-2692777-1277903044.wbo 1800.04/1800.02 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous) 1800.04/1800.02 c Constraints : 3619 initial, 3619 maximal 1800.04/1800.02 c Presolved Problem : 1800.04/1800.02 c Problem name : t_HOME/instance-2692777-1277903044.wbo 1800.04/1800.02 c Variables : 1923 (1077 binary, 0 integer, 0 implicit integer, 846 continuous) 1800.04/1800.02 c Constraints : 3355 initial, 87291 maximal 1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.02 c trivial : 0.00 65 0 0 0 0 0 0 0 1800.04/1800.02 c dualfix : 0.00 65 0 0 0 0 0 0 0 1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0 1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 65 0 0 1800.04/1800.02 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.02 c linear : 0.06 0 0 0 926 0 199 133 0 1800.04/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.02 c root node : - 846 - - 1692 - - - - 1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.02 c integral : 0 0 0 333741 0 39 871 0 0 578900 1800.04/1800.02 c indicator : 846 0 288503 3575 0 1 11222 0 0 0 1800.04/1800.02 c setppc : 16 6 2206970 43511 0 49385 1944108 0 0 0 1800.04/1800.02 c linear : 846 6 2158487 43571 0 94045 8389864 201649 0 0 1800.04/1800.02 c logicor : 1647+ 6 1199892 390 0 92125 5024729 0 0 0 1800.04/1800.02 c countsols : 0 0 0 390 0 0 0 0 0 0 1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.02 c integral : 33.15 0.00 0.00 33.15 0.00 1800.04/1800.02 c indicator : 0.10 0.00 0.08 0.02 0.00 1800.04/1800.02 c setppc : 15.72 0.00 15.71 0.01 0.00 1800.04/1800.02 c linear : 55.53 0.00 54.58 0.95 0.00 1800.04/1800.02 c logicor : 456.46 0.00 456.46 0.00 0.00 1800.04/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.02 c vbounds : 0.02 2 0 0 1800.04/1800.02 c rootredcost : 0.03 12 0 846 1800.04/1800.02 c pseudoobj : 34.76 2207714 11 4246 1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.02 c propagation : 10.16 235566 234574 1448081 25.9 5816 25.1 - 1800.04/1800.02 c infeasible LP : 10.58 52704 52702 422826 44.1 190 21.3 0 1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.02 c pseudo solution : 0.00 1 1 4 5.8 0 0.0 - 1800.04/1800.02 c applied globally : - - - 705380 24.7 - - - 1800.04/1800.02 c applied locally : - - - 0 0.0 - - - 1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.02 c cut pool : 0.00 5 - - 62 - (maximal pool size: 229) 1800.04/1800.02 c redcost : 7.93 333806 0 4554 0 0 1800.04/1800.02 c impliedbounds : 0.00 6 0 0 0 0 1800.04/1800.02 c intobj : 0.00 0 0 0 0 0 1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.02 c gomory : 0.24 6 0 0 1101 0 1800.04/1800.02 c strongcg : 0.17 6 0 0 601 0 1800.04/1800.02 c cmir : 0.01 6 0 0 0 0 1800.04/1800.02 c flowcover : 0.05 6 0 0 2 0 1800.04/1800.02 c clique : 0.00 6 0 0 0 0 1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.02 c mcf : 0.00 1 0 0 0 0 1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0 1800.04/1800.02 c Pricers : Time Calls Vars 1800.04/1800.02 c problem variables: 0.00 0 0 1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.02 c relpscost : 33.03 290164 39 871 0 0 578900 1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.02 c inference : 0.02 379 0 0 0 0 758 1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.02 c random : 0.00 0 0 0 0 0 0 1800.04/1800.02 c Primal Heuristics : Time Calls Found 1800.04/1800.02 c LP solutions : 0.00 - 11 1800.04/1800.02 c pseudo solutions : 0.00 - 0 1800.04/1800.02 c oneopt : 0.04 12 0 1800.04/1800.02 c feaspump : 0.07 1 0 1800.04/1800.02 c crossover : 0.27 6 0 1800.04/1800.02 c linesearchdiving : 0.17 46 0 1800.04/1800.02 c guideddiving : 0.10 46 0 1800.04/1800.02 c pscostdiving : 0.11 46 0 1800.04/1800.02 c fracdiving : 0.13 46 0 1800.04/1800.02 c coefdiving : 0.14 47 0 1800.04/1800.02 c veclendiving : 0.15 47 0 1800.04/1800.02 c rootsoldiving : 0.05 24 0 1800.04/1800.02 c objpscostdiving : 0.09 24 0 1800.04/1800.02 c trivial : 0.00 2 0 1800.04/1800.02 c simplerounding : 0.49 290163 0 1800.04/1800.02 c zirounding : 0.02 1000 0 1800.04/1800.02 c rounding : 0.79 7554 0 1800.04/1800.02 c shifting : 0.74 2368 0 1800.04/1800.02 c intshifting : 0.00 9 0 1800.04/1800.02 c twoopt : 0.00 0 0 1800.04/1800.02 c fixandinfer : 0.00 0 0 1800.04/1800.02 c intdiving : 0.00 0 0 1800.04/1800.02 c actconsdiving : 0.00 0 0 1800.04/1800.02 c octane : 0.00 0 0 1800.04/1800.02 c rens : 0.01 1 0 1800.04/1800.02 c rins : 0.00 0 0 1800.04/1800.02 c localbranching : 0.00 0 0 1800.04/1800.02 c mutation : 0.00 0 0 1800.04/1800.02 c dins : 0.00 0 0 1800.04/1800.02 c undercover : 0.00 0 0 1800.04/1800.02 c nlp : 0.00 0 0 1800.04/1800.02 c trysol : 0.13 575 45 1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.02 c primal LP : 0.00 0 0 0.00 - 1800.04/1800.02 c dual LP : 627.39 385650 4674393 12.12 7450.54 1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.02 c diving/probing LP: 0.49 376 2968 7.89 6057.14 1800.04/1800.02 c strong branching : 29.58 8974 197139 21.97 6664.60 1800.04/1800.02 c (at root node) : - 33 3935 119.24 - 1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.02 c B&B Tree : 1800.04/1800.02 c number of runs : 1 1800.04/1800.02 c nodes : 513933 1800.04/1800.02 c nodes (total) : 513933 1800.04/1800.02 c nodes left : 360 1800.04/1800.02 c max depth : 69 1800.04/1800.02 c max depth (total): 69 1800.04/1800.02 c backtracks : 90113 (17.5%) 1800.04/1800.02 c delayed cutoffs : 64862 1800.04/1800.02 c repropagations : 739810 (3959024 domain reductions, 63874 cutoffs) 1800.04/1800.02 c avg switch length: 4.32 1800.04/1800.02 c switching time : 292.82 1800.04/1800.02 c Solution : 1800.04/1800.02 c Solutions found : 56 (12 improvements) 1800.04/1800.02 c First Solution : +4.22010000000000e+04 (in run 1, after 13 nodes, 5.02 seconds, depth 12, found by <trysol>) 1800.04/1800.02 c Primal Bound : +1.00000000000000e+00 (in run 1, after 66869 nodes, 154.02 seconds, depth 44, found by <relaxation>) 1800.04/1800.02 c Dual Bound : +0.00000000000000e+00 1800.04/1800.02 c Gap : infinite 1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.02 c Root Iterations : 725 1800.14/1800.12 c Time complete: 1800.16.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692777-1277903044/watcher-2692777-1277903044 -o /tmp/evaluation-result-2692777-1277903044/solver-2692777-1277903044 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692777-1277903044.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.05 2.40 2.41 3/200 13474 /proc/meminfo: memFree=31380372/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=9440 CPUtime=0 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1654 0 0 0 0 0 0 0 22 0 1 0 131600604 9666560 1573 4089446400 4194304 8223781 140736351625760 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13474/statm: 2360 1574 369 984 0 1373 0 [startup+0.102451 s] /proc/loadavg: 2.05 2.40 2.41 3/200 13474 /proc/meminfo: memFree=31380372/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=23644 CPUtime=0.09 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 6848 0 0 0 7 2 0 0 22 0 1 0 131600604 24211456 4861 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 5911 4861 457 984 0 4924 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23644 [startup+0.201074 s] /proc/loadavg: 2.05 2.40 2.41 3/200 13474 /proc/meminfo: memFree=31380372/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=27296 CPUtime=0.19 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 9777 0 0 0 16 3 0 0 22 0 1 0 131600604 27951104 5928 4089446400 4194304 8223781 140736351625760 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 6824 5928 545 984 0 5837 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27296 [startup+0.300413 s] /proc/loadavg: 2.05 2.40 2.41 3/200 13474 /proc/meminfo: memFree=31380372/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=30156 CPUtime=0.29 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 10556 0 0 0 25 4 0 0 22 0 1 0 131600604 30879744 6657 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 7539 6657 570 984 0 6552 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30156 [startup+0.700351 s] /proc/loadavg: 2.05 2.40 2.41 3/200 13474 /proc/meminfo: memFree=31380372/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=33328 CPUtime=0.69 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 11370 0 0 0 62 7 0 0 24 0 1 0 131600604 34127872 7448 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 8332 7448 572 984 0 7345 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33328 [startup+1.5002 s] /proc/loadavg: 2.05 2.40 2.41 3/201 13475 /proc/meminfo: memFree=31352388/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=33560 CPUtime=1.49 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 15287 0 0 0 139 10 0 0 25 0 1 0 131600604 34365440 7514 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 8390 7514 587 984 0 7403 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33560 [startup+3.10091 s] /proc/loadavg: 2.05 2.40 2.41 3/201 13475 /proc/meminfo: memFree=31352016/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=33560 CPUtime=3.1 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 15600 0 0 0 296 14 0 0 25 0 1 0 131600604 34365440 7514 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 8390 7514 587 984 0 7403 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 33560 [startup+6.30032 s] /proc/loadavg: 2.04 2.39 2.40 3/201 13475 /proc/meminfo: memFree=31352656/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=33560 CPUtime=6.29 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 16296 0 0 0 605 24 0 0 25 0 1 0 131600604 34365440 7527 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 8390 7527 590 984 0 7403 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33560 [startup+12.7001 s] /proc/loadavg: 2.04 2.39 2.40 3/201 13475 /proc/meminfo: memFree=31348576/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=39032 CPUtime=12.7 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 43217 0 0 0 1223 47 0 0 25 0 1 0 131600604 39968768 8820 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 9758 8820 596 984 0 8771 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 39032 [startup+25.5008 s] /proc/loadavg: 2.18 2.40 2.40 3/201 13475 /proc/meminfo: memFree=31343444/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=44980 CPUtime=25.49 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 96211 0 0 0 2439 110 0 0 25 0 1 0 131600604 46059520 10298 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 11245 10298 603 984 0 10258 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44980 [startup+51.1012 s] /proc/loadavg: 2.12 2.37 2.39 3/201 13476 /proc/meminfo: memFree=31342272/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=46220 CPUtime=51.09 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 122380 0 0 0 4895 214 0 0 25 0 1 0 131600604 47329280 10636 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 11555 10636 603 984 0 10568 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 46220 [startup+102.301 s] /proc/loadavg: 2.05 2.31 2.37 3/201 13478 /proc/meminfo: memFree=31335144/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=52992 CPUtime=102.3 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 183268 0 0 0 9811 419 0 0 25 0 1 0 131600604 54263808 12323 4089446400 4194304 8223781 140736351625760 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 13248 12323 603 984 0 12261 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 52992 [startup+162.301 s] /proc/loadavg: 2.02 2.25 2.34 3/201 13479 /proc/meminfo: memFree=31330736/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=56980 CPUtime=162.29 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 280580 0 0 0 15564 665 0 0 25 0 1 0 131600604 58347520 13291 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 14245 13291 603 984 0 13258 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 56980 [startup+222.307 s] /proc/loadavg: 2.00 2.20 2.32 3/201 13481 /proc/meminfo: memFree=31328548/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=59428 CPUtime=222.29 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 358540 0 0 0 21313 916 0 0 25 0 1 0 131600604 60854272 13742 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13474/statm: 14857 13742 603 984 0 13870 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 59428 [startup+282.301 s] /proc/loadavg: 2.00 2.16 2.30 3/201 13529 /proc/meminfo: memFree=31203332/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=62020 CPUtime=282.29 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 380380 0 0 0 27141 1088 0 0 25 0 1 0 131600604 63508480 14330 4089446400 4194304 8223781 140736351625760 18446744073709551615 6505820 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13474/statm: 15505 14330 603 984 0 14518 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 62020 [startup+342.301 s] /proc/loadavg: 2.00 2.13 2.27 3/201 13530 /proc/meminfo: memFree=31168504/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=66496 CPUtime=342.29 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 416751 0 0 0 33057 1172 0 0 25 0 1 0 131600604 68091904 15420 4089446400 4194304 8223781 140736351625760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 16624 15420 603 984 0 15637 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 66496 [startup+402.3 s] /proc/loadavg: 2.00 2.10 2.26 3/201 13532 /proc/meminfo: memFree=31147028/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=68316 CPUtime=402.29 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 458928 0 0 0 38877 1352 0 0 25 0 1 0 131600604 69955584 15940 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 17079 15940 603 984 0 16092 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 68316 [startup+462.3 s] /proc/loadavg: 2.00 2.08 2.24 3/201 13533 /proc/meminfo: memFree=31125720/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=71632 CPUtime=462.29 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 547516 0 0 0 44690 1539 0 0 25 0 1 0 131600604 73351168 16559 4089446400 4194304 8223781 140736351625760 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 17908 16559 603 984 0 16921 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 71632 [startup+522.3 s] /proc/loadavg: 2.00 2.06 2.22 3/201 13535 /proc/meminfo: memFree=31104720/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=73632 CPUtime=522.29 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 629829 0 0 0 50503 1726 0 0 25 0 1 0 131600604 75399168 17054 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 18408 17054 603 984 0 17421 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 73632 [startup+582.3 s] /proc/loadavg: 2.00 2.05 2.20 3/201 13537 /proc/meminfo: memFree=31085444/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=76248 CPUtime=582.3 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 683229 0 0 0 56321 1909 0 0 25 0 1 0 131600604 78077952 17478 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 19062 17478 603 984 0 18075 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 76248 [startup+642.3 s] /proc/loadavg: 2.00 2.04 2.18 3/201 13538 /proc/meminfo: memFree=31067796/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=77656 CPUtime=642.3 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 732764 0 0 0 62165 2065 0 0 25 0 1 0 131600604 79519744 17802 4089446400 4194304 8223781 140736351625760 18446744073709551615 4218798 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 19414 17802 603 984 0 18427 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 77656 [startup+702.301 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.03 2.03 2.14 3/201 13545 /proc/meminfo: memFree=31032692/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=88652 CPUtime=882.31 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 840510 0 0 0 85600 2631 0 0 25 0 1 0 131600604 90779648 20276 4089446400 4194304 8223781 140736351625760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 22163 20276 603 984 0 21176 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 88652 [startup+942.301 s] /proc/loadavg: 2.06 2.03 2.14 3/201 13546 /proc/meminfo: memFree=31023228/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=90920 CPUtime=942.3 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 877410 0 0 0 91455 2775 0 0 25 0 1 0 131600604 93102080 20861 4089446400 4194304 8223781 140736351625760 18446744073709551615 4210602 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 22730 20861 603 984 0 21743 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 90920 [startup+1002.3 s] /proc/loadavg: 2.08 2.04 2.13 3/201 13548 /proc/meminfo: memFree=31017224/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=90980 CPUtime=1002.31 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 928384 0 0 0 97307 2924 0 0 25 0 1 0 131600604 93163520 20881 4089446400 4194304 8223781 140736351625760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 22745 20881 603 984 0 21758 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 90980 [startup+1062.3 s] /proc/loadavg: 2.19 2.06 2.13 3/201 13549 /proc/meminfo: memFree=31012720/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=90920 CPUtime=1062.31 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1021587 0 0 0 103160 3071 0 0 25 0 1 0 131600604 93102080 20889 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 22730 20889 603 984 0 21743 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 90920 [startup+1122.3 s] /proc/loadavg: 2.07 2.05 2.12 3/201 13551 /proc/meminfo: memFree=31007964/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=91072 CPUtime=1122.31 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1115765 0 0 0 109007 3224 0 0 25 0 1 0 131600604 93257728 20924 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 22768 20924 603 984 0 21781 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 91072 [startup+1182.3 s] /proc/loadavg: 2.38 2.16 2.15 3/201 13553 /proc/meminfo: memFree=31003712/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=91040 CPUtime=1182.31 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1199345 0 0 0 114853 3378 0 0 25 0 1 0 131600604 93224960 20938 4089446400 4194304 8223781 140736351625760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 22760 20938 603 984 0 21773 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 91040 [startup+1242.3 s] /proc/loadavg: 2.14 2.12 2.14 3/201 13554 /proc/meminfo: memFree=30997500/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=92956 CPUtime=1242.32 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1286409 0 0 0 120696 3536 0 0 25 0 1 0 131600604 95186944 21220 4089446400 4194304 8223781 140736351625760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 23239 21220 603 984 0 22252 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 92956 [startup+1302.3 s] /proc/loadavg: 2.05 2.10 2.12 3/201 13555 /proc/meminfo: memFree=30990644/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=93112 CPUtime=1302.32 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1369028 0 0 0 126552 3680 0 0 25 0 1 0 131600604 95346688 21281 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 23278 21281 603 984 0 22291 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 93112 [startup+1362.3 s] /proc/loadavg: 2.02 2.08 2.11 3/201 13557 /proc/meminfo: memFree=30985144/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=93792 CPUtime=1362.32 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1451821 0 0 0 132407 3825 0 0 25 0 1 0 131600604 96043008 21496 4089446400 4194304 8223781 140736351625760 18446744073709551615 4431706 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 23448 21496 603 984 0 22461 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 93792 [startup+1422.3 s] /proc/loadavg: 2.05 2.08 2.11 3/201 13559 /proc/meminfo: memFree=30978784/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=95856 CPUtime=1422.32 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1538598 0 0 0 138256 3976 0 0 25 0 1 0 131600604 98156544 21836 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 23964 21836 603 984 0 22977 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 95856 [startup+1482.3 s] /proc/loadavg: 2.09 2.08 2.10 3/201 13561 /proc/meminfo: memFree=30972044/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=96800 CPUtime=1482.32 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1591346 0 0 0 144104 4128 0 0 25 0 1 0 131600604 99123200 22045 4089446400 4194304 8223781 140736351625760 18446744073709551615 5955638 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 24200 22045 603 984 0 23213 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 96800 [startup+1542.31 s] /proc/loadavg: 2.03 2.06 2.09 8/201 13562 /proc/meminfo: memFree=30967680/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=96800 CPUtime=1542.33 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1666031 0 0 0 149950 4283 0 0 25 0 1 0 131600604 99123200 22045 4089446400 4194304 8223781 140736351625760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 24200 22045 603 984 0 23213 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 96800 [startup+1602.3 s] /proc/loadavg: 2.35 2.15 2.12 3/201 13564 /proc/meminfo: memFree=30967148/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=96964 CPUtime=1602.32 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1749222 0 0 0 155789 4443 0 0 25 0 1 0 131600604 99291136 22082 4089446400 4194304 8223781 140736351625760 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 24241 22082 603 984 0 23254 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 96964 [startup+1662.3 s] /proc/loadavg: 2.13 2.12 2.11 3/201 13568 /proc/meminfo: memFree=30965476/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=97008 CPUtime=1662.33 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1828157 0 0 0 161642 4591 0 0 25 0 1 0 131600604 99336192 22097 4089446400 4194304 8223781 140736351625760 18446744073709551615 4925431 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 24252 22097 603 984 0 23265 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 97008 [startup+1722.3 s] /proc/loadavg: 2.27 2.17 2.12 3/201 13570 /proc/meminfo: memFree=30965260/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=97596 CPUtime=1722.33 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1890341 0 0 0 167489 4744 0 0 25 0 1 0 131600604 99938304 22286 4089446400 4194304 8223781 140736351625760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 24399 22286 603 984 0 23412 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 97596 [startup+1782.3 s] /proc/loadavg: 2.10 2.14 2.11 3/201 13572 /proc/meminfo: memFree=30963860/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=98432 CPUtime=1782.33 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1913488 0 0 0 173349 4884 0 0 25 0 1 0 131600604 100794368 22503 4089446400 4194304 8223781 140736351625760 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 24608 22503 603 984 0 23621 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 98432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.15 2.14 2.11 3/201 13572 /proc/meminfo: memFree=30963112/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=98980 CPUtime=1800.04 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1919377 0 0 0 175080 4924 0 0 25 0 1 0 131600604 101355520 22647 4089446400 4194304 8223781 140736351625760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13474/statm: 24745 22647 603 984 0 23758 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 98980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.15 2.14 2.11 3/201 13572 /proc/meminfo: memFree=30963112/32951124 swapFree=67111528/67111528 [pid=13474] ppid=13472 vsize=98400 CPUtime=1800.14 /proc/13474/stat : 13474 (pbscip.linux.x8) R 13472 13474 12161 0 -1 4202496 1919484 0 0 0 175090 4924 0 0 25 0 1 0 131600604 100761600 22485 4089446400 4194304 8223781 140736351625760 18446744073709551615 5950417 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13474/statm: 24600 22485 605 984 0 23613 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 98400 Child status: 0 Real time (s): 1800.13 CPU time (s): 1800.17 CPU user time (s): 1750.92 CPU system time (s): 49.2475 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 99056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1750.92 system time used= 49.2475 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1919488 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= 5541 runsolver used 2.87556 second user time and 6.95694 second system time The end
Begin job on node134 at 2010-06-30 15:04:04 IDJOB=2692777 IDBENCH=78907 IDSOLVER=1204 FILE ID=node134/2692777-1277903044 PBS_JOBID= 11197163 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692777-1277903044/watcher-2692777-1277903044 -o /tmp/evaluation-result-2692777-1277903044/solver-2692777-1277903044 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692777-1277903044.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c177cc73697745a978507901f2a8beaa RANDOM SEED=1528129815 node134.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.818 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.63 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.818 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.818 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.75 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.818 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 : 7397.66 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.818 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.67 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.818 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.84 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.818 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.818 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: 32951124 kB MemFree: 31380776 kB Buffers: 188788 kB Cached: 1092044 kB SwapCached: 0 kB Active: 739360 kB Inactive: 686732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31380776 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4752 kB Writeback: 0 kB AnonPages: 146072 kB Mapped: 20300 kB Slab: 79076 kB PageTables: 5136 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657616 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node134 at 2010-06-30 15:34:06