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.11 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo |
MD5SUM | 1aa357a852c71e740dd551340d4d5189 |
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 | 295.669 |
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 | 46278 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46277 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 683 |
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-2693400-1277901972.wbo> 0.02/0.03 c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints 0.02/0.03 c problem read 0.02/0.03 c presolving settings loaded 0.02/0.04 c presolving: 0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.02/0.08 c (round 2) 0 del vars, 104 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.02/0.09 c (round 3) 50 del vars, 246 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs 0.09/0.11 c (round 4) 120 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs 0.09/0.12 c (round 5) 140 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs 0.09/0.16 c (0.1s) probing: 101/1072 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.16 c presolving (6 rounds): 0.09/0.16 c 140 deleted vars, 266 deleted constraints, 931 tightened bounds, 0 added holes, 142 changed sides, 0 changed coefficients 0.09/0.16 c 1117 implications, 11 cliques 0.09/0.16 c presolved problem has 1913 variables (1072 bin, 0 int, 0 impl, 841 cont) and 3353 constraints 0.09/0.16 c 841 constraints of type <indicator> 0.09/0.16 c 11 constraints of type <setppc> 0.09/0.16 c 841 constraints of type <linear> 0.09/0.16 c 1660 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 | 25 | - |8700k| 0 | 18 |1913 |3353 |1913 |1671 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.22 c 0.2s| 1 | 0 | 86 | - |8756k| 0 | 43 |1913 |3353 |1913 |1686 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.27 c 0.2s| 1 | 0 | 123 | - |9014k| 0 | 47 |1913 |3353 |1913 |1700 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.42 c 0.4s| 1 | 0 | 556 | - |9032k| 0 | 54 |1913 |3353 |1913 |1710 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.61 c 0.6s| 1 | 0 | 1182 | - |9061k| 0 | 79 |1913 |3353 |1913 |1728 | 57 | 0 | 0 | 0.000000e+00 | -- | Inf 0.68/0.73 c 0.7s| 1 | 0 | 1482 | - |9383k| 0 | 117 |1913 |3353 |1913 |1747 | 76 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.88 c 0.8s| 1 | 0 | 1494 | - |9387k| 0 | 119 |1913 |3353 |1913 |1757 | 86 | 0 | 0 | 0.000000e+00 | -- | Inf 4.69/4.71 c 4.6s| 1 | 2 | 1494 | - |9421k| 0 | 119 |1913 |3353 |1913 |1757 | 86 | 0 | 33 | 0.000000e+00 | -- | Inf 4.69/4.72 o 42417 4.69/4.72 c y 4.6s| 2 | 1 | 1494 | 0.0 |9452k| 1 | - |1913 |3353 | 0 | 0 | 86 | 0 | 33 | 0.000000e+00 | 4.241700e+04 | Inf 33.09/33.13 o 619 33.09/33.13 c *32.5s| 5067 | 4581 | 56593 | 10.9 | 19M| 85 | - |1913 |3461 |1913 |1763 |2184 | 133 | 487 | 0.000000e+00 | 6.190000e+02 | Inf 35.09/35.16 o 575 35.09/35.16 c *34.5s| 6978 | 6273 | 59899 | 8.4 | 22M| 233 | - |1913 |3517 |1913 |1766 |2761 | 192 | 487 | 0.000000e+00 | 5.750000e+02 | Inf 35.09/35.20 o 371 35.09/35.20 c *34.5s| 7007 | 4530 | 60081 | 8.4 | 20M| 233 | - |1913 |3517 |1913 |1758 |2763 | 192 | 487 | 0.000000e+00 | 3.710000e+02 | Inf 35.29/35.38 o 343 35.29/35.38 c *34.7s| 7169 | 4379 | 60314 | 8.2 | 20M| 233 | - |1913 |3565 |1913 |1761 |2774 | 242 | 487 | 0.000000e+00 | 3.430000e+02 | Inf 35.99/36.09 o 317 35.99/36.09 c *35.4s| 7383 | 4236 | 64008 | 8.5 | 20M| 233 | - |1913 |3661 |1913 |1761 |2828 | 342 | 487 | 0.000000e+00 | 3.170000e+02 | Inf 36.20/36.29 o 289 36.20/36.29 c *35.5s| 7483 | 4000 | 64841 | 8.5 | 19M| 233 | - |1913 |3687 |1913 |1769 |2857 | 374 | 487 | 0.000000e+00 | 2.890000e+02 | Inf 36.20/36.29 o 282 36.20/36.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 36.20/36.29 c *35.5s| 7484 | 3937 | 64865 | 8.5 | 19M| 233 | - |1913 |3687 |1913 |1769 |2857 | 374 | 487 | 0.000000e+00 | 2.820000e+02 | Inf 36.30/36.33 o 281 36.30/36.33 c *35.6s| 7493 | 3930 | 65165 | 8.5 | 19M| 233 | - |1913 |3693 |1913 |1781 |2880 | 380 | 487 | 0.000000e+00 | 2.810000e+02 | Inf 36.30/36.33 o 277 36.30/36.33 c *35.6s| 7494 | 3891 | 65168 | 8.5 | 19M| 233 | - |1913 |3693 |1913 |1781 |2880 | 380 | 487 | 0.000000e+00 | 2.770000e+02 | Inf 37.50/37.53 o 235 37.50/37.53 c *36.8s| 7607 | 3538 | 73192 | 9.4 | 19M| 233 | - |1913 |3752 |1913 |1745 |2909 | 452 | 487 | 0.000000e+00 | 2.350000e+02 | Inf 37.99/38.00 o 187 37.99/38.00 c *37.2s| 7657 | 3090 | 76334 | 9.8 | 18M| 233 | - |1913 |3775 |1913 |1746 |2914 | 484 | 487 | 0.000000e+00 | 1.870000e+02 | Inf 38.09/38.14 o 168 38.09/38.14 c *37.4s| 7810 | 2977 | 76426 | 9.6 | 18M| 233 | - |1913 |3778 |1913 |1775 |2914 | 487 | 487 | 0.000000e+00 | 1.680000e+02 | Inf 38.09/38.18 o 164 38.09/38.18 c *37.4s| 7828 | 2901 | 76577 | 9.6 | 18M| 233 | - |1913 |3788 |1913 |1763 |2917 | 500 | 487 | 0.000000e+00 | 1.640000e+02 | Inf 38.19/38.21 o 152 38.19/38.21 c *37.4s| 7854 | 2753 | 76620 | 9.6 | 18M| 233 | - |1913 |3793 |1913 |1760 |2919 | 505 | 487 | 0.000000e+00 | 1.520000e+02 | Inf 38.19/38.23 o 96 38.19/38.23 c *37.5s| 7860 | 1844 | 76658 | 9.6 | 16M| 233 | - |1913 |3793 |1913 |1756 |2919 | 505 | 487 | 0.000000e+00 | 9.600000e+01 | Inf 38.29/38.35 o 8 38.29/38.35 c *37.6s| 8005 | 190 | 76674 | 9.4 | 13M| 288 | - |1913 |3744 |1913 |1756 |2919 | 505 | 487 | 0.000000e+00 | 8.000000e+00 | Inf 43.09/43.10 c 42.1s| 10000 | 213 |105856 | 10.4 | 14M| 288 | - |1913 |4713 | 0 | 0 |3241 |2944 | 589 | 0.000000e+00 | 8.000000e+00 | Inf 64.49/64.57 c 62.8s| 20000 | 282 |235110 | 11.7 | 17M| 288 | - |1913 | 10k| 0 | 0 |5565 | 15k| 890 | 0.000000e+00 | 8.000000e+00 | Inf 69.40/69.41 o 4 69.40/69.41 c *67.5s| 22363 | 279 |263571 | 11.7 | 17M| 288 | - |1913 | 10k|1913 |1746 |6038 | 18k| 898 | 0.000000e+00 | 4.000000e+00 | Inf 86.59/86.69 c 84.1s| 30000 | 209 |366636 | 12.2 | 18M| 288 | 22 |1913 | 11k|1913 |1741 |7588 | 28k|1113 | 0.000000e+00 | 4.000000e+00 | Inf 110.20/110.20 c 107s| 40000 | 207 |514064 | 12.8 | 19M| 288 | - |1913 | 14k|1913 |1741 |8877 | 41k|1375 | 0.000000e+00 | 4.000000e+00 | Inf 134.20/134.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 134.20/134.21 c 130s| 50000 | 248 |668894 | 13.3 | 21M| 288 | 13 |1913 | 18k|1913 |1741 | 10k| 54k|1378 | 0.000000e+00 | 4.000000e+00 | Inf 160.99/161.09 c 156s| 60000 | 319 |836890 | 13.9 | 24M| 288 | - |1913 | 22k| 0 | 0 | 11k| 68k|1537 | 0.000000e+00 | 4.000000e+00 | Inf 186.19/186.27 c 180s| 70000 | 324 |973649 | 13.9 | 24M| 288 | - |1913 | 21k| 0 | 0 | 12k| 81k|1827 | 0.000000e+00 | 4.000000e+00 | Inf 211.80/211.82 c 205s| 80000 | 586 | 1116k| 13.9 | 27M| 288 | - |1913 | 26k| 0 | 0 | 14k| 94k|1999 | 0.000000e+00 | 4.000000e+00 | Inf 239.09/239.16 c 232s| 90000 | 762 | 1268k| 14.1 | 27M| 288 | - |1913 | 24k| 0 | 0 | 15k| 107k|2230 | 0.000000e+00 | 4.000000e+00 | Inf 266.20/266.29 c 258s|100000 | 851 | 1422k| 14.2 | 28M| 288 | 30 |1913 | 24k|1913 |1741 | 16k| 120k|2443 | 0.000000e+00 | 4.000000e+00 | Inf 291.90/291.98 c 283s|110000 | 911 | 1565k| 14.2 | 30M| 288 | 24 |1913 | 28k|1913 |1741 | 18k| 134k|2568 | 0.000000e+00 | 4.000000e+00 | Inf 317.60/317.69 c 308s|120000 | 959 | 1700k| 14.2 | 30M| 288 | - |1913 | 26k|1913 |1741 | 20k| 147k|2733 | 0.000000e+00 | 4.000000e+00 | Inf 343.50/343.58 c 333s|130000 | 914 | 1838k| 14.1 | 30M| 288 | 11 |1913 | 27k|1913 |1741 | 21k| 160k|2914 | 0.000000e+00 | 4.000000e+00 | Inf 370.50/370.57 c 359s|140000 | 996 | 1989k| 14.2 | 32M| 288 | 10 |1913 | 31k|1913 |1741 | 23k| 174k|3052 | 0.000000e+00 | 4.000000e+00 | Inf 397.20/397.22 c 385s|150000 | 915 | 2132k| 14.2 | 30M| 288 | 29 |1913 | 26k|1913 |1741 | 24k| 188k|3226 | 0.000000e+00 | 4.000000e+00 | Inf 423.41/423.44 c 410s|160000 | 894 | 2280k| 14.2 | 31M| 288 | 22 |1913 | 26k|1913 |1747 | 26k| 201k|3342 | 0.000000e+00 | 4.000000e+00 | Inf 451.20/451.22 c 437s|170000 | 950 | 2438k| 14.3 | 32M| 288 | 12 |1913 | 28k|1913 |1741 | 27k| 215k|3516 | 0.000000e+00 | 4.000000e+00 | Inf 477.10/477.14 c 462s|180000 | 997 | 2582k| 14.3 | 34M| 288 | 16 |1913 | 31k|1913 |1741 | 28k| 229k|3634 | 0.000000e+00 | 4.000000e+00 | Inf 504.00/504.01 c 488s|190000 | 959 | 2727k| 14.3 | 32M| 288 | - |1913 | 27k| 0 | 0 | 30k| 243k|3795 | 0.000000e+00 | 4.000000e+00 | Inf 529.90/529.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 529.90/529.91 c 513s|200000 | 975 | 2867k| 14.3 | 34M| 288 | - |1913 | 29k|1913 |1741 | 31k| 257k|3891 | 0.000000e+00 | 4.000000e+00 | Inf 557.00/557.05 c 540s|210000 | 960 | 3017k| 14.4 | 34M| 288 | - |1913 | 30k|1913 |1741 | 33k| 271k|4005 | 0.000000e+00 | 4.000000e+00 | Inf 583.30/583.35 c 565s|220000 | 906 | 3154k| 14.3 | 34M| 288 | - |1913 | 29k|1913 |1741 | 34k| 284k|4164 | 0.000000e+00 | 4.000000e+00 | Inf 611.01/611.06 c 592s|230000 | 847 | 3309k| 14.4 | 32M| 288 | 26 |1913 | 26k|1913 |1741 | 36k| 298k|4277 | 0.000000e+00 | 4.000000e+00 | Inf 637.91/637.98 c 618s|240000 | 310 | 3456k| 14.4 | 25M| 288 | 10 |1913 | 19k|1913 |1741 | 37k| 312k|4410 | 0.000000e+00 | 4.000000e+00 | Inf 665.31/665.31 c 644s|250000 | 189 | 3605k| 14.4 | 24M| 288 | - |1913 | 18k| 0 | 0 | 38k| 325k|4979 | 0.000000e+00 | 4.000000e+00 | Inf 690.71/690.78 c 669s|260000 | 306 | 3765k| 14.5 | 26M| 288 | - |1913 | 22k| 0 | 0 | 39k| 339k|4981 | 0.000000e+00 | 4.000000e+00 | Inf 716.71/716.71 c 694s|270000 | 134 | 3919k| 14.5 | 24M| 288 | - |1913 | 19k|1913 |1741 | 40k| 352k|5099 | 0.000000e+00 | 4.000000e+00 | Inf 743.21/743.29 c 720s|280000 | 262 | 4084k| 14.6 | 25M| 288 | - |1913 | 19k|1913 |1741 | 41k| 365k|5269 | 0.000000e+00 | 4.000000e+00 | Inf 771.21/771.29 c 747s|290000 | 482 | 4261k| 14.7 | 26M| 288 | 14 |1913 | 20k|1913 |1741 | 43k| 378k|5372 | 0.000000e+00 | 4.000000e+00 | Inf 773.01/773.01 o 2 773.01/773.01 c * 749s|290640 | 482 | 4272k| 14.7 | 26M| 288 | - |1913 | 20k|1913 |1741 | 43k| 379k|5373 | 0.000000e+00 | 2.000000e+00 | Inf 797.52/797.50 c 773s|300000 | 659 | 4423k| 14.7 | 28M| 288 | 15 |1913 | 21k|1913 |1751 | 44k| 391k|5456 | 0.000000e+00 | 2.000000e+00 | Inf 825.21/825.23 c 799s|310000 | 914 | 4599k| 14.8 | 30M| 288 | - |1913 | 23k|1913 |1741 | 45k| 405k|5582 | 0.000000e+00 | 2.000000e+00 | Inf 854.41/854.42 c 828s|320000 | 1112 | 4783k| 14.9 | 32M| 288 | - |1913 | 24k|1913 |1741 | 46k| 419k|5712 | 0.000000e+00 | 2.000000e+00 | Inf 882.22/882.22 c 855s|330000 | 1126 | 4954k| 15.0 | 33M| 288 | - |1913 | 24k|1913 |1741 | 47k| 433k|5779 | 0.000000e+00 | 2.000000e+00 | Inf 909.62/909.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 909.62/909.66 c 881s|340000 | 1158 | 5117k| 15.0 | 34M| 288 | 27 |1913 | 25k|1913 |1741 | 48k| 447k|5877 | 0.000000e+00 | 2.000000e+00 | Inf 936.21/936.28 c 907s|350000 | 1239 | 5272k| 15.1 | 34M| 288 | - |1913 | 25k| 0 | 0 | 49k| 460k|5982 | 0.000000e+00 | 2.000000e+00 | Inf 965.21/965.29 c 935s|360000 | 1472 | 5449k| 15.1 | 36M| 288 | 26 |1913 | 28k|1913 |1741 | 51k| 472k|6123 | 0.000000e+00 | 2.000000e+00 | Inf 992.12/992.12 c 961s|370000 | 1615 | 5602k| 15.1 | 39M| 288 | 10 |1913 | 33k|1913 |1741 | 53k| 486k|6214 | 0.000000e+00 | 2.000000e+00 | Inf 1020.21/1020.23 c 988s|380000 | 1677 | 5763k| 15.2 | 39M| 288 | 6 |1913 | 31k|1913 |1741 | 54k| 499k|6311 | 0.000000e+00 | 2.000000e+00 | Inf 1048.82/1048.83 c 1016s|390000 | 1898 | 5919k| 15.2 | 42M| 288 | 24 |1913 | 34k|1913 |1741 | 56k| 512k|6384 | 0.000000e+00 | 2.000000e+00 | Inf 1078.92/1078.99 c 1045s|400000 | 2018 | 6090k| 15.2 | 42M| 288 | - |1913 | 33k| 0 | 0 | 57k| 526k|6465 | 0.000000e+00 | 2.000000e+00 | Inf 1109.12/1109.15 c 1075s|410000 | 2267 | 6271k| 15.3 | 45M| 288 | 21 |1913 | 37k|1913 |1748 | 59k| 539k|6550 | 0.000000e+00 | 2.000000e+00 | Inf 1140.42/1140.45 c 1105s|420000 | 2382 | 6453k| 15.4 | 47M| 288 | 17 |1913 | 37k|1913 |1741 | 60k| 553k|6643 | 0.000000e+00 | 2.000000e+00 | Inf 1169.72/1169.76 c 1134s|430000 | 2436 | 6619k| 15.4 | 48M| 288 | - |1913 | 40k| 0 | 0 | 61k| 567k|6736 | 0.000000e+00 | 2.000000e+00 | Inf 1199.82/1199.89 c 1163s|440000 | 2430 | 6784k| 15.4 | 45M| 288 | 15 |1913 | 31k|1913 |1741 | 63k| 581k|6825 | 0.000000e+00 | 2.000000e+00 | Inf 1228.12/1228.19 c 1190s|450000 | 2502 | 6950k| 15.4 | 46M| 288 | 29 |1913 | 29k|1913 |1741 | 64k| 594k|6916 | 0.000000e+00 | 2.000000e+00 | Inf 1257.92/1257.93 c 1219s|460000 | 2593 | 7124k| 15.5 | 47M| 288 | - |1913 | 30k|1913 |1741 | 66k| 608k|7001 | 0.000000e+00 | 2.000000e+00 | Inf 1285.62/1285.60 c 1246s|470000 | 2602 | 7268k| 15.5 | 48M| 288 | - |1913 | 32k| 0 | 0 | 67k| 622k|7057 | 0.000000e+00 | 2.000000e+00 | Inf 1317.33/1317.38 c 1277s|480000 | 2810 | 7453k| 15.5 | 50M| 288 | - |1913 | 34k| 0 | 0 | 68k| 636k|7160 | 0.000000e+00 | 2.000000e+00 | Inf 1347.43/1347.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1347.43/1347.47 c 1306s|490000 | 2713 | 7620k| 15.5 | 49M| 288 | 8 |1913 | 30k|1913 |1750 | 69k| 649k|7244 | 0.000000e+00 | 2.000000e+00 | Inf 1376.62/1376.69 c 1334s|500000 | 2638 | 7788k| 15.6 | 48M| 288 | 1 |1913 | 30k|1913 |1741 | 71k| 663k|7301 | 0.000000e+00 | 2.000000e+00 | Inf 1406.32/1406.34 c 1363s|510000 | 2689 | 7964k| 15.6 | 50M| 288 | - |1913 | 32k| 0 | 0 | 72k| 677k|7392 | 0.000000e+00 | 2.000000e+00 | Inf 1435.43/1435.42 c 1391s|520000 | 2731 | 8131k| 15.6 | 50M| 288 | 29 |1913 | 32k|1913 |1741 | 73k| 690k|7467 | 0.000000e+00 | 2.000000e+00 | Inf 1467.03/1467.07 c 1422s|530000 | 2641 | 8316k| 15.7 | 49M| 288 | - |1913 | 29k| 0 | 0 | 75k| 704k|7545 | 0.000000e+00 | 2.000000e+00 | Inf 1497.63/1497.63 c 1452s|540000 | 2749 | 8498k| 15.7 | 51M| 288 | - |1913 | 33k| 0 | 0 | 76k| 717k|7604 | 0.000000e+00 | 2.000000e+00 | Inf 1529.13/1529.13 c 1482s|550000 | 2834 | 8674k| 15.8 | 53M| 288 | 18 |1913 | 35k|1913 |1741 | 77k| 730k|7681 | 0.000000e+00 | 2.000000e+00 | Inf 1558.93/1558.91 c 1511s|560000 | 2903 | 8827k| 15.8 | 55M| 288 | 31 |1913 | 40k|1913 |1747 | 79k| 743k|7739 | 0.000000e+00 | 2.000000e+00 | Inf 1591.33/1591.31 c 1543s|570000 | 2992 | 9001k| 15.8 | 57M| 288 | 19 |1913 | 43k|1913 |1741 | 81k| 756k|7817 | 0.000000e+00 | 2.000000e+00 | Inf 1624.43/1624.42 c 1575s|580000 | 3161 | 9168k| 15.8 | 58M| 288 | - |1913 | 44k|1913 |1741 | 82k| 769k|7887 | 0.000000e+00 | 2.000000e+00 | Inf 1659.03/1659.00 c 1608s|590000 | 3304 | 9364k| 15.9 | 60M| 288 | - |1913 | 45k| 0 | 0 | 84k| 782k|7937 | 0.000000e+00 | 2.000000e+00 | Inf 1692.14/1692.13 c 1641s|600000 | 3349 | 9541k| 15.9 | 62M| 288 | - |1913 | 49k| 0 | 0 | 85k| 795k|7995 | 0.000000e+00 | 2.000000e+00 | Inf 1726.24/1726.28 c 1674s|610000 | 3349 | 9720k| 15.9 | 62M| 288 | - |1913 | 49k|1913 |1746 | 87k| 809k|8061 | 0.000000e+00 | 2.000000e+00 | Inf 1758.94/1758.93 c 1706s|620000 | 3332 | 9890k| 16.0 | 62M| 288 | 20 |1913 | 48k|1913 |1741 | 88k| 823k|8152 | 0.000000e+00 | 2.000000e+00 | Inf 1794.04/1794.05 c 1740s|630000 | 3138 | 10071k| 16.0 | 56M| 288 | 21 |1913 | 35k|1913 |1741 | 90k| 836k|8262 | 0.000000e+00 | 2.000000e+00 | Inf 1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.00 c 1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.00 c Solving Time (sec) : 1745.77 1800.04/1800.00 c Solving Nodes : 631941 1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (118 solutions) 1800.04/1800.00 c Dual Bound : +0.00000000000000e+00 1800.04/1800.00 c Gap : infinite 1800.04/1800.01 s SATISFIABLE 1800.04/1800.01 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 x211 -x210 1800.04/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 1800.04/1800.01 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 1800.04/1800.01 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.04/1800.01 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 1800.04/1800.01 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 1800.04/1800.01 v -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 1800.04/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 1800.04/1800.02 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 1800.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 : 1745.77 1800.04/1800.02 c Original Problem : 1800.04/1800.02 c Problem name : HOME/instance-2693400-1277901972.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-2693400-1277901972.wbo 1800.04/1800.02 c Variables : 1913 (1072 binary, 0 integer, 0 implicit integer, 841 continuous) 1800.04/1800.02 c Constraints : 3353 initial, 51089 maximal 1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.02 c trivial : 0.00 70 0 0 0 0 0 0 0 1800.04/1800.02 c dualfix : 0.00 70 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 70 0 0 1800.04/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.02 c linear : 0.06 0 0 0 931 0 196 142 0 1800.04/1800.02 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.02 c root node : - 832 - - 1664 - - - - 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 356791 0 289 2481 0 0 663156 1800.04/1800.02 c indicator : 841 0 2679848 22742 0 10 71740 0 0 0 1800.04/1800.02 c setppc : 11 6 2694406 18413 0 28704 1641082 0 0 0 1800.04/1800.02 c linear : 841 6 2672519 22928 0 88445 9116449 90624 0 0 1800.04/1800.02 c logicor : 1660+ 6 1378247 6910 0 82122 5083018 0 0 0 1800.04/1800.02 c countsols : 0 0 0 6910 0 0 0 0 0 0 1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.02 c integral : 49.34 0.00 0.00 49.34 0.00 1800.04/1800.02 c indicator : 2.25 0.03 1.79 0.43 0.00 1800.04/1800.02 c setppc : 11.48 0.00 11.47 0.01 0.00 1800.04/1800.02 c linear : 57.28 0.00 56.89 0.39 0.00 1800.04/1800.02 c logicor : 222.00 0.00 221.91 0.09 0.00 1800.04/1800.02 c countsols : 0.01 0.00 0.00 0.01 0.00 1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.02 c vbounds : 0.50 2 0 0 1800.04/1800.02 c rootredcost : 0.52 19 0 832 1800.04/1800.02 c pseudoobj : 42.93 2701134 63 41280 1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.02 c propagation : 9.04 199334 199049 1205521 27.7 4149 26.1 - 1800.04/1800.02 c infeasible LP : 23.55 127636 127636 954613 44.2 921 17.8 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 4 4 32 26.0 2 8.0 - 1800.04/1800.02 c applied globally : - - - 839311 30.0 - - - 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 - - 9 - (maximal pool size: 268) 1800.04/1800.02 c redcost : 8.83 357720 0 16128 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.22 6 0 0 1531 0 1800.04/1800.02 c strongcg : 0.17 6 0 0 824 0 1800.04/1800.02 c cmir : 0.04 6 0 0 0 0 1800.04/1800.02 c flowcover : 0.04 6 0 0 0 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 : 49.08 333857 289 2481 0 0 663156 1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.02 c inference : 0.47 6892 0 0 0 0 13784 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.03 - 18 1800.04/1800.02 c pseudo solutions : 0.00 - 0 1800.04/1800.02 c oneopt : 0.40 17 0 1800.04/1800.02 c feaspump : 0.05 1 0 1800.04/1800.02 c intshifting : 0.03 14 0 1800.04/1800.02 c crossover : 0.46 11 0 1800.04/1800.02 c guideddiving : 0.39 251 0 1800.04/1800.02 c pscostdiving : 0.23 251 0 1800.04/1800.02 c fracdiving : 0.24 251 0 1800.04/1800.02 c veclendiving : 0.32 251 0 1800.04/1800.02 c coefdiving : 0.27 252 0 1800.04/1800.02 c linesearchdiving : 0.26 252 0 1800.04/1800.02 c rootsoldiving : 0.19 210 0 1800.04/1800.02 c objpscostdiving : 0.26 211 0 1800.04/1800.02 c trivial : 0.00 2 0 1800.04/1800.02 c simplerounding : 0.67 333879 0 1800.04/1800.02 c zirounding : 0.16 1000 0 1800.04/1800.02 c rounding : 0.97 8066 0 1800.04/1800.02 c shifting : 0.69 2523 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.04 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.20 0 0 1800.04/1800.02 c trysol : 0.50 2135 100 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 : 1004.73 475517 10099494 21.24 10051.95 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: 1.03 623 7078 11.36 6871.84 1800.04/1800.02 c strong branching : 46.05 8262 417213 50.50 9060.00 1800.04/1800.02 c (at root node) : - 33 26881 814.58 - 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 : 631941 1800.04/1800.02 c nodes (total) : 631941 1800.04/1800.02 c nodes left : 3127 1800.04/1800.02 c max depth : 288 1800.04/1800.02 c max depth (total): 288 1800.04/1800.02 c backtracks : 89430 (14.2%) 1800.04/1800.02 c delayed cutoffs : 34369 1800.04/1800.02 c repropagations : 981128 (2890204 domain reductions, 33203 cutoffs) 1800.04/1800.02 c avg switch length: 4.73 1800.04/1800.02 c switching time : 176.42 1800.04/1800.02 c Solution : 1800.04/1800.02 c Solutions found : 118 (19 improvements) 1800.04/1800.02 c First Solution : +4.24170000000000e+04 (in run 1, after 1 nodes, 0.86 seconds, depth 0, found by <trysol>) 1800.04/1800.02 c Primal Bound : +2.00000000000000e+00 (in run 1, after 290640 nodes, 748.79 seconds, depth 23, 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 : 1494 1800.04/1800.10 c Time complete: 1800.14.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693400-1277901972/watcher-2693400-1277901972 -o /tmp/evaluation-result-2693400-1277901972/solver-2693400-1277901972 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693400-1277901972.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: 1.85 1.97 1.99 4/182 13163 /proc/meminfo: memFree=30678772/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=10872 CPUtime=0 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 1665 0 0 0 0 0 0 0 23 0 1 0 131493326 11132928 1586 4089446400 4194304 9819077 140734786024704 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13163/statm: 2718 1586 392 1374 0 1339 0 [startup+0.0256629 s] /proc/loadavg: 1.85 1.97 1.99 4/182 13163 /proc/meminfo: memFree=30678772/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=14568 CPUtime=0.02 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 2584 0 0 0 2 0 0 0 23 0 1 0 131493326 14917632 2505 4089446400 4194304 9819077 140734786024704 18446744073709551615 8667871 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13163/statm: 3642 2505 392 1374 0 2263 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14568 [startup+0.100651 s] /proc/loadavg: 1.85 1.97 1.99 4/182 13163 /proc/meminfo: memFree=30678772/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=24024 CPUtime=0.09 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 6173 0 0 0 8 1 0 0 23 0 1 0 131493326 24600576 4712 4089446400 4194304 9819077 140734786024704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13163/statm: 6006 4712 498 1374 0 4627 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24024 [startup+0.300613 s] /proc/loadavg: 1.85 1.97 1.99 4/182 13163 /proc/meminfo: memFree=30678772/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=33360 CPUtime=0.29 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 10610 0 0 0 28 1 0 0 23 0 1 0 131493326 34160640 6734 4089446400 4194304 9819077 140734786024704 18446744073709551615 4311013 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13163/statm: 8340 6734 679 1374 0 6961 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33360 [startup+0.700575 s] /proc/loadavg: 1.85 1.97 1.99 4/182 13163 /proc/meminfo: memFree=30678772/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=35204 CPUtime=0.68 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 12092 0 0 0 67 1 0 0 25 0 1 0 131493326 36048896 7220 4089446400 4194304 9819077 140734786024704 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 8801 7220 680 1374 0 7422 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 35204 [startup+1.5004 s] /proc/loadavg: 1.85 1.97 1.99 3/183 13164 /proc/meminfo: memFree=30647268/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=41564 CPUtime=1.49 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 26759 0 0 0 145 4 0 0 25 0 1 0 131493326 42561536 8050 4089446400 4194304 9819077 140734786024704 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 10391 8050 715 1374 0 9012 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41564 [startup+3.10012 s] /proc/loadavg: 1.85 1.97 1.99 3/183 13164 /proc/meminfo: memFree=30645532/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=41832 CPUtime=3.09 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 36238 0 0 0 303 6 0 0 25 0 1 0 131493326 42835968 8088 4089446400 4194304 9819077 140734786024704 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 10458 8088 715 1374 0 9079 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41832 [startup+6.30055 s] /proc/loadavg: 1.86 1.97 1.99 3/183 13164 /proc/meminfo: memFree=30641204/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=41412 CPUtime=6.29 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 55472 0 0 0 620 9 0 0 25 0 1 0 131493326 42405888 8024 4089446400 4194304 9819077 140734786024704 18446744073709551615 7291707 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 10353 8024 718 1374 0 8974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41412 [startup+12.7004 s] /proc/loadavg: 1.87 1.97 1.99 3/183 13164 /proc/meminfo: memFree=30631320/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=41372 CPUtime=12.69 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 96169 0 0 0 1250 19 0 0 25 0 1 0 131493326 42364928 8031 4089446400 4194304 9819077 140734786024704 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 10343 8031 718 1374 0 8964 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41372 [startup+25.5001 s] /proc/loadavg: 1.90 1.97 1.99 3/183 13164 /proc/meminfo: memFree=30607404/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=44228 CPUtime=25.49 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 202572 0 0 0 2505 44 0 0 25 0 1 0 131493326 45289472 9110 4089446400 4194304 9819077 140734786024704 18446744073709551615 7291621 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 11057 9110 725 1374 0 9678 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44228 [startup+51.1006 s] /proc/loadavg: 1.93 1.97 1.99 3/183 13164 /proc/meminfo: memFree=30548080/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=60180 CPUtime=51.09 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 490142 0 0 0 4984 125 0 0 25 0 1 0 131493326 61624320 13314 4089446400 4194304 9819077 140734786024704 18446744073709551615 7326163 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 15045 13314 740 1374 0 13666 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 60180 [startup+102.307 s] /proc/loadavg: 1.97 1.97 1.99 3/183 13166 /proc/meminfo: memFree=30458340/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=63760 CPUtime=102.3 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 1151718 0 0 0 9911 319 0 0 25 0 1 0 131493326 65290240 14216 4089446400 4194304 9819077 140734786024704 18446744073709551615 6589107 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 15940 14216 740 1374 0 14561 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 63760 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.99 3/183 13168 /proc/meminfo: memFree=30355508/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=71120 CPUtime=162.3 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 1805580 0 0 0 15709 521 0 0 25 0 1 0 131493326 72826880 16026 4089446400 4194304 9819077 140734786024704 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 17780 16026 740 1374 0 16401 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 71120 [startup+222.3 s] /proc/loadavg: 2.04 1.99 1.99 3/201 13215 /proc/meminfo: memFree=31064692/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=73580 CPUtime=222.29 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 2400111 0 0 0 21531 698 0 0 25 0 1 0 131493326 75345920 16611 4089446400 4194304 9819077 140734786024704 18446744073709551615 6364949 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 18395 16611 740 1374 0 17016 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 73580 [startup+282.301 s] /proc/loadavg: 2.01 1.99 1.99 3/201 13216 /proc/meminfo: memFree=31025040/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=75052 CPUtime=282.3 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 3010442 0 0 0 27342 888 0 0 25 0 1 0 131493326 76853248 16934 4089446400 4194304 9819077 140734786024704 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 18763 16934 740 1374 0 17384 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 75052 [startup+342.301 s] /proc/loadavg: 2.00 1.99 1.99 3/201 13217 /proc/meminfo: memFree=30998824/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=77808 CPUtime=342.3 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 3610238 0 0 0 33152 1078 0 0 25 0 1 0 131493326 79675392 17186 4089446400 4194304 9819077 140734786024704 18446744073709551615 8656404 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 19436 17187 740 1374 0 18057 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 77808 [startup+402.3 s] /proc/loadavg: 2.00 1.99 1.99 3/201 13219 /proc/meminfo: memFree=30974708/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=78548 CPUtime=402.3 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 4217079 0 0 0 38959 1271 0 0 25 0 1 0 131493326 80433152 17843 4089446400 4194304 9819077 140734786024704 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 19637 17845 740 1374 0 18258 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 78548 [startup+462.301 s] /proc/loadavg: 2.00 1.99 1.99 3/201 13221 /proc/meminfo: memFree=30949116/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=79724 CPUtime=462.3 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 4813656 0 0 0 44772 1458 0 0 25 0 1 0 131493326 81637376 18090 4089446400 4194304 9819077 140734786024704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 19931 18090 740 1374 0 18552 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 79724 [startup+522.301 s] /proc/loadavg: 2.00 1.99 1.99 3/201 13223 /proc/meminfo: memFree=30927132/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=80832 CPUtime=522.3 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 5400916 0 0 0 50586 1644 0 0 25 0 1 0 131493326 82771968 18367 4089446400 4194304 9819077 140734786024704 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 20208 18367 740 1374 0 18829 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 80832 [startup+582.3 s] /proc/loadavg: 2.06 2.00 2.00 3/201 13224 /proc/meminfo: memFree=30903512/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=81488 CPUtime=582.31 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 5987534 0 0 0 56411 1820 0 0 25 0 1 0 131493326 83443712 18498 4089446400 4194304 9819077 140734786024704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 20372 18498 740 1374 0 18993 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 81488 [startup+642.301 s] /proc/loadavg: 2.02 2.00 2.00 3/201 13225 /proc/meminfo: memFree=30878432/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=81852 CPUtime=642.31 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 6579935 0 0 0 62228 2003 0 0 25 0 1 0 131493326 83816448 18570 4089446400 4194304 9819077 140734786024704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 20463 18570 740 1374 0 19084 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 81852 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/201 13231 /proc/meminfo: memFree=30818792/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=82916 CPUtime=822.31 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 8449711 0 0 0 79661 2570 0 0 25 0 1 0 131493326 84905984 18862 4089446400 4194304 9819077 140734786024704 18446744073709551615 7297955 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 20729 18862 740 1374 0 19350 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 82916 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/201 13232 /proc/meminfo: memFree=30796812/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=83400 CPUtime=882.31 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 9059532 0 0 0 85469 2762 0 0 25 0 1 0 131493326 85401600 18957 4089446400 4194304 9819077 140734786024704 18446744073709551615 6656795 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 20850 18957 740 1374 0 19471 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 83400 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/201 13242 /proc/meminfo: memFree=30775932/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=83964 CPUtime=942.32 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 9653374 0 0 0 91283 2949 0 0 25 0 1 0 131493326 85979136 19199 4089446400 4194304 9819077 140734786024704 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 20991 19199 740 1374 0 19612 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 83964 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/201 13244 /proc/meminfo: memFree=30751708/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=88044 CPUtime=1002.32 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 10205917 0 0 0 97106 3126 0 0 25 0 1 0 131493326 90157056 20168 4089446400 4194304 9819077 140734786024704 18446744073709551615 6367489 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 22011 20168 740 1374 0 20632 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 88044 [startup+1062.3 s] /proc/loadavg: 2.13 2.04 2.01 3/201 13246 /proc/meminfo: memFree=30748952/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=90132 CPUtime=1062.32 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 10781399 0 0 0 102924 3308 0 0 25 0 1 0 131493326 92295168 20537 4089446400 4194304 9819077 140734786024704 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 22533 20537 740 1374 0 21154 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 90132 [startup+1122.3 s] /proc/loadavg: 2.05 2.03 2.01 3/201 13248 /proc/meminfo: memFree=30746428/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=92940 CPUtime=1122.31 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 11343693 0 0 0 108749 3482 0 0 25 0 1 0 131493326 95170560 21099 4089446400 4194304 9819077 140734786024704 18446744073709551615 6512973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 23235 21099 740 1374 0 21856 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 92940 [startup+1182.3 s] /proc/loadavg: 2.02 2.02 2.00 3/201 13249 /proc/meminfo: memFree=30743292/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=96624 CPUtime=1182.32 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 11900126 0 0 0 114578 3654 0 0 25 0 1 0 131493326 98942976 21918 4089446400 4194304 9819077 140734786024704 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 24156 21918 740 1374 0 22777 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 96624 [startup+1242.3 s] /proc/loadavg: 2.05 2.03 2.00 3/201 13250 /proc/meminfo: memFree=30741152/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=97928 CPUtime=1242.33 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 12472333 0 0 0 120398 3835 0 0 25 0 1 0 131493326 100278272 22234 4089446400 4194304 9819077 140734786024704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 24482 22234 740 1374 0 23103 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 97928 [startup+1302.3 s] /proc/loadavg: 2.01 2.02 2.00 5/201 13252 /proc/meminfo: memFree=30739492/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=99328 CPUtime=1302.33 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 13002960 0 0 0 126229 4004 0 0 25 0 1 0 131493326 101711872 22512 4089446400 4194304 9819077 140734786024704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 24832 22512 740 1374 0 23453 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 99328 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/201 13254 /proc/meminfo: memFree=30739200/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=99592 CPUtime=1362.33 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 13557734 0 0 0 132046 4187 0 0 25 0 1 0 131493326 101982208 22578 4089446400 4194304 9819077 140734786024704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 24898 22578 740 1374 0 23519 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 99592 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/201 13256 /proc/meminfo: memFree=30737768/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=99948 CPUtime=1422.33 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 14149129 0 0 0 137859 4374 0 0 25 0 1 0 131493326 102346752 22860 4089446400 4194304 9819077 140734786024704 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 24987 22860 740 1374 0 23608 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 99948 [startup+1482.3 s] /proc/loadavg: 2.32 2.10 2.03 3/201 13257 /proc/meminfo: memFree=30733884/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=100304 CPUtime=1482.33 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 14724810 0 0 0 143683 4550 0 0 25 0 1 0 131493326 102711296 22947 4089446400 4194304 9819077 140734786024704 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 25076 22947 740 1374 0 23697 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 100304 [startup+1542.3 s] /proc/loadavg: 2.75 2.21 2.07 3/201 13258 /proc/meminfo: memFree=30708436/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=102936 CPUtime=1542.33 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 15265475 0 0 0 149502 4731 0 0 25 0 1 0 131493326 105406464 23339 4089446400 4194304 9819077 140734786024704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 25734 23339 740 1374 0 24355 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 102936 [startup+1602.3 s] /proc/loadavg: 2.64 2.28 2.10 3/201 13260 /proc/meminfo: memFree=30678752/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=107404 CPUtime=1602.34 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 15781514 0 0 0 155334 4900 0 0 25 0 1 0 131493326 109981696 24483 4089446400 4194304 9819077 140734786024704 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 26851 24483 740 1374 0 25472 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 107404 [startup+1662.3 s] /proc/loadavg: 2.23 2.22 2.09 3/201 13262 /proc/meminfo: memFree=30645708/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=110100 CPUtime=1662.33 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 16282250 0 0 0 161173 5060 0 0 25 0 1 0 131493326 112742400 25208 4089446400 4194304 9819077 140734786024704 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 27525 25208 740 1374 0 26146 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 110100 [startup+1722.3 s] /proc/loadavg: 2.08 2.18 2.08 3/201 13264 /proc/meminfo: memFree=30613696/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=114304 CPUtime=1722.34 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 16768887 0 0 0 167016 5218 0 0 25 0 1 0 131493326 117047296 26337 4089446400 4194304 9819077 140734786024704 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 28576 26337 740 1374 0 27197 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 114304 [startup+1782.3 s] /proc/loadavg: 2.03 2.14 2.08 3/201 13265 /proc/meminfo: memFree=30574476/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=115588 CPUtime=1782.34 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 17273683 0 0 0 172861 5373 0 0 25 0 1 0 131493326 118362112 26640 4089446400 4194304 9819077 140734786024704 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 28964 26643 740 1374 0 27585 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 115588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.13 2.07 3/201 13266 /proc/meminfo: memFree=30565532/32951124 swapFree=67111528/67111528 [pid=13163] ppid=13161 vsize=116260 CPUtime=1800.04 /proc/13163/stat : 13163 (pbscip.linux.x8) R 13161 13163 13138 0 -1 4202496 17431812 0 0 0 174579 5425 0 0 25 0 1 0 131493326 119050240 26645 4089446400 4194304 9819077 140734786024704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13163/statm: 29065 26645 740 1374 0 27686 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 116260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.11 CPU time (s): 1800.15 CPU user time (s): 1745.89 CPU system time (s): 54.2578 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 117100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1745.89 system time used= 54.2578 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17431853 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= 18908 runsolver used 2.79857 second user time and 5.8901 second system time The end
Begin job on node132 at 2010-06-30 14:46:12 IDJOB=2693400 IDBENCH=78896 IDSOLVER=1205 FILE ID=node132/2693400-1277901972 PBS_JOBID= 11197250 Free space on /tmp= 74136 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.1900582300--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-2693400-1277901972/watcher-2693400-1277901972 -o /tmp/evaluation-result-2693400-1277901972/solver-2693400-1277901972 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693400-1277901972.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1aa357a852c71e740dd551340d4d5189 RANDOM SEED=533325381 node132.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.810 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.62 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.810 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.810 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.810 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.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30679424 kB Buffers: 181628 kB Cached: 1217244 kB SwapCached: 0 kB Active: 1269544 kB Inactive: 857772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30679424 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6332 kB Writeback: 0 kB AnonPages: 728300 kB Mapped: 15108 kB Slab: 81124 kB PageTables: 6144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 869536 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= 74132 MiB End job on node132 at 2010-06-30 15:16:14