Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1790.13 | 1790.09 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo |
MD5SUM | b93cc320d1c40ed770cd566486d12ca9 |
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 | 548.835 |
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 | 930 |
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 | 46532 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46531 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 625 |
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 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-2705659-1278574745.wbo> 0.00/0.02 c original problem has 2091 variables (1161 bin, 0 int, 930 impl, 0 cont) and 3638 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.03/0.04 c presolving: 0.03/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs 0.03/0.07 c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs 0.03/0.08 c (round 3) 57 del vars, 169 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs 0.03/0.09 c (round 4) 116 del vars, 245 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs 0.09/0.10 c (round 5) 148 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs 0.09/0.11 c (round 6) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 212 impls, 14 clqs 0.09/0.12 c (round 7) 162 del vars, 282 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 212 impls, 14 clqs 0.09/0.16 c (0.1s) probing: 101/1080 (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 (8 rounds): 0.09/0.16 c 162 deleted vars, 282 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients 0.09/0.16 c 1902 implications, 14 cliques 0.09/0.16 c presolved problem has 1929 variables (1080 bin, 0 int, 849 impl, 0 cont) and 3356 constraints 0.09/0.16 c 1 constraints of type <knapsack> 0.09/0.16 c 53 constraints of type <setppc> 0.09/0.16 c 849 constraints of type <linear> 0.09/0.16 c 849 constraints of type <indicator> 0.09/0.16 c 1604 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.3 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 = 1789.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 # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.16 c # [type: int, range: [1,2], default: 1] 0.09/0.16 c timing/clocktype = 2 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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/indicator/addCouplingCons = TRUE 0.09/0.16 c 0.09/0.16 c # should presolving try to simplify knapsacks 0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.16 c 0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.16 c separating/rapidlearning/freq = 0 0.09/0.16 c 0.09/0.16 c ----------------------------------------------------------------------------------------------- 0.09/0.16 c start solving 0.09/0.16 c 0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.16 c 0.1s| 1 | 0 | 24 | - |8964k| 0 | 18 |1929 |3356 |1929 |1658 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.26 c 0.2s| 1 | 0 | 49 | - |9049k| 0 | 22 |1929 |3356 |1929 |1676 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.31 c 0.3s| 1 | 0 | 61 | - |9217k| 0 | 22 |1929 |3356 |1929 |1685 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.35 c 0.3s| 1 | 0 | 73 | - |9311k| 0 | 21 |1929 |3356 |1929 |1695 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.39 c 0.4s| 1 | 0 | 93 | - |9453k| 0 | 24 |1929 |3356 |1929 |1699 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.46 c 0.4s| 1 | 0 | 116 | - |9701k| 0 | 28 |1929 |3356 |1929 |1704 | 46 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.53 c 0.5s| 1 | 0 | 149 | - |9919k| 0 | 45 |1929 |3356 |1929 |1712 | 54 | 0 | 0 | 0.000000e+00 | -- | Inf 0.68/0.71 c 0.7s| 1 | 2 | 149 | - |9920k| 0 | 45 |1929 |3356 |1929 |1712 | 54 | 0 | 16 | 0.000000e+00 | -- | Inf 2.99/3.04 o 42682 2.99/3.04 c y 3.0s| 16 | 15 | 907 | 50.5 | 10M| 14 | - |1929 |3356 | 0 | 0 | 66 | 0 | 244 | 0.000000e+00 | 4.268200e+04 | Inf 5.09/5.14 o 607 5.09/5.14 c * 5.1s| 107 | 83 | 2682 | 23.9 | 10M| 29 | - |1929 |3356 |1929 |1704 | 139 | 0 | 527 | 0.000000e+00 | 6.070000e+02 | Inf 5.89/5.98 o 598 5.89/5.98 c * 6.0s| 157 | 106 | 3558 | 21.9 | 11M| 29 | - |1929 |3392 |1929 |1716 | 182 | 36 | 738 | 0.000000e+00 | 5.980000e+02 | Inf 6.19/6.21 o 582 6.19/6.21 c * 6.2s| 198 | 141 | 3951 | 19.3 | 11M| 32 | - |1929 |3397 |1929 |1710 | 192 | 41 | 777 | 0.000000e+00 | 5.820000e+02 | Inf 7.39/7.41 o 579 7.39/7.41 c * 7.4s| 493 | 370 | 5509 | 10.9 | 12M| 46 | - |1929 |3519 |1929 |1708 | 242 | 163 |1009 | 0.000000e+00 | 5.790000e+02 | Inf 7.49/7.50 o 352 7.49/7.50 c * 7.5s| 538 | 322 | 5713 | 10.4 | 12M| 46 | - |1929 |3559 |1929 |1702 | 251 | 204 |1022 | 0.000000e+00 | 3.520000e+02 | Inf 7.49/7.54 o 326 7.49/7.54 c * 7.5s| 559 | 317 | 5863 | 10.2 | 12M| 46 | - |1929 |3582 |1929 |1703 | 258 | 227 |1023 | 0.000000e+00 | 3.260000e+02 | Inf 7.89/7.93 o 303 7.89/7.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 7.89/7.93 c * 7.9s| 726 | 375 | 6778 | 9.1 | 12M| 46 | - |1929 |3714 |1929 |1702 | 343 | 364 |1062 | 0.000000e+00 | 3.030000e+02 | Inf 8.69/8.78 o 272 8.69/8.78 c * 8.8s| 1132 | 611 | 8505 | 7.4 | 13M| 46 | - |1929 |3853 |1929 |1710 | 454 | 545 |1152 | 0.000000e+00 | 2.720000e+02 | Inf 9.29/9.38 o 258 9.29/9.38 c * 9.4s| 1514 | 805 | 9341 | 6.1 | 14M| 48 | - |1929 |4028 |1929 |1721 | 507 | 794 |1190 | 0.000000e+00 | 2.580000e+02 | Inf 10.19/10.22 o 218 10.19/10.22 c *10.2s| 1781 | 821 | 11190 | 6.2 | 14M| 48 | - |1929 |4235 |1929 |1709 | 547 |1087 |1333 | 0.000000e+00 | 2.180000e+02 | Inf 10.79/10.86 o 179 10.79/10.86 c *10.8s| 2161 | 860 | 12524 | 5.7 | 14M| 51 | - |1929 |4486 |1929 |1706 | 604 |1449 |1390 | 0.000000e+00 | 1.790000e+02 | Inf 14.89/14.94 o 174 14.89/14.94 c *14.9s| 4354 | 1364 | 26943 | 6.2 | 17M| 51 | - |1929 |4837 |1929 |1716 |1037 |3687 |1573 | 0.000000e+00 | 1.740000e+02 | Inf 24.78/24.84 c 24.8s| 10000 | 2804 | 64914 | 6.5 | 25M| 56 | - |1929 |5382 | 0 | 0 |2225 |8991 |1654 | 0.000000e+00 | 1.740000e+02 | Inf 24.99/25.04 o 120 24.99/25.04 c *25.0s| 10145 | 2578 | 65478 | 6.4 | 24M| 56 | - |1929 |5437 |1929 |1712 |2238 |9125 |1654 | 0.000000e+00 | 1.200000e+02 | Inf 24.99/25.05 o 43 24.99/25.05 c s25.0s| 10146 | 1408 | 65484 | 6.4 | 19M| 56 | - |1929 |5437 |1929 |1712 |2238 |9125 |1654 | 0.000000e+00 | 4.300000e+01 | Inf 25.49/25.58 o 42 25.49/25.58 c *25.6s| 10408 | 1406 | 68441 | 6.6 | 19M| 56 | - |1929 |4685 |1929 |1706 |2278 |9489 |1654 | 0.000000e+00 | 4.200000e+01 | Inf 26.69/26.78 o 20 26.69/26.78 c *26.8s| 11025 | 1027 | 74402 | 6.7 | 18M| 56 | - |1929 |4793 |1929 |1711 |2384 | 10k|1700 | 0.000000e+00 | 2.000000e+01 | Inf 26.98/27.07 o 18 26.98/27.07 c *27.0s| 11198 | 1027 | 75845 | 6.8 | 18M| 56 | - |1929 |4650 |1929 |1716 |2416 | 10k|1706 | 0.000000e+00 | 1.800000e+01 | Inf 31.69/31.75 o 15 31.69/31.75 c *31.7s| 14036 | 1088 |102617 | 7.3 | 19M| 56 | - |1929 |6157 |1929 |1719 |2997 | 14k|1726 | 0.000000e+00 | 1.500000e+01 | Inf 41.38/41.45 c 41.4s| 20000 | 1191 |158337 | 7.9 | 22M| 56 | 10 |1929 | 10k|1929 |1700 |3835 | 22k|1732 | 0.000000e+00 | 1.500000e+01 | Inf 43.29/43.36 o 10 43.29/43.36 c *43.3s| 21078 | 1100 |168832 | 8.0 | 21M| 56 | - |1929 | 10k|1929 |1707 |3967 | 23k|1735 | 0.000000e+00 | 1.000000e+01 | Inf 59.19/59.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 59.19/59.25 c 59.2s| 30000 | 1124 |262712 | 8.8 | 22M| 56 | - |1929 | 10k| 0 | 0 |5016 | 35k|1735 | 0.000000e+00 | 1.000000e+01 | Inf 77.59/77.62 c 77.6s| 40000 | 1285 |370467 | 9.3 | 24M| 56 | 17 |1929 | 13k|1929 |1708 |6378 | 48k|1966 | 0.000000e+00 | 1.000000e+01 | Inf 94.29/94.38 o 4 94.29/94.38 c *94.4s| 48855 | 1255 |462345 | 9.5 | 25M| 56 | - |1929 | 15k|1929 |1711 |7462 | 60k|2203 | 0.000000e+00 | 4.000000e+00 | Inf 96.80/96.85 c 96.8s| 50000 | 1244 |476257 | 9.5 | 25M| 56 | - |1929 | 13k| 0 | 0 |7625 | 62k|2262 | 0.000000e+00 | 4.000000e+00 | Inf 117.78/117.80 c 118s| 60000 | 1145 |605329 | 10.1 | 25M| 56 | - |1929 | 13k| 0 | 0 |9144 | 75k|2600 | 0.000000e+00 | 4.000000e+00 | Inf 138.59/138.66 c 139s| 70000 | 1109 |727852 | 10.4 | 26M| 56 | 13 |1929 | 14k|1929 |1700 | 10k| 88k|2940 | 0.000000e+00 | 4.000000e+00 | Inf 157.89/157.96 c 158s| 80000 | 936 |842128 | 10.5 | 24M| 56 | 20 |1929 | 10k|1929 |1700 | 11k| 101k|3212 | 0.000000e+00 | 4.000000e+00 | Inf 160.69/160.70 o 1 160.69/160.70 c * 161s| 81586 | 940 |859304 | 10.5 | 24M| 56 | - |1929 | 12k|1929 |1716 | 12k| 104k|3216 | 0.000000e+00 | 1.000000e+00 | Inf 177.29/177.36 c 177s| 90000 | 985 |959226 | 10.7 | 25M| 56 | 28 |1929 | 14k|1929 |1707 | 13k| 115k|3372 | 0.000000e+00 | 1.000000e+00 | Inf 198.58/198.69 c 199s|100000 | 1103 | 1087k| 10.9 | 28M| 60 | 30 |1929 | 20k|1929 |1715 | 14k| 130k|3579 | 0.000000e+00 | 1.000000e+00 | Inf 219.79/219.85 c 220s|110000 | 1015 | 1204k| 10.9 | 28M| 60 | 20 |1929 | 20k|1929 |1710 | 15k| 144k|3743 | 0.000000e+00 | 1.000000e+00 | Inf 240.49/240.58 c 241s|120000 | 893 | 1319k| 11.0 | 25M| 60 | - |1929 | 12k| 0 | 0 | 16k| 159k|4046 | 0.000000e+00 | 1.000000e+00 | Inf 260.99/261.05 c 261s|130000 | 903 | 1438k| 11.1 | 27M| 60 | - |1929 | 19k| 0 | 0 | 17k| 172k|4291 | 0.000000e+00 | 1.000000e+00 | Inf 283.20/283.22 c 283s|140000 | 980 | 1563k| 11.2 | 30M| 60 | - |1929 | 24k|1929 |1723 | 19k| 186k|4465 | 0.000000e+00 | 1.000000e+00 | Inf 307.19/307.27 c 307s|150000 | 899 | 1701k| 11.3 | 29M| 61 | - |1929 | 22k| 0 | 0 | 20k| 199k|4641 | 0.000000e+00 | 1.000000e+00 | Inf 329.79/329.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 329.79/329.86 c 330s|160000 | 866 | 1832k| 11.5 | 28M| 61 | - |1929 | 20k|1929 |1700 | 21k| 213k|4902 | 0.000000e+00 | 1.000000e+00 | Inf 351.79/351.82 c 352s|170000 | 870 | 1956k| 11.5 | 28M| 61 | 30 |1929 | 21k|1929 |1708 | 22k| 226k|5111 | 0.000000e+00 | 1.000000e+00 | Inf 374.59/374.64 c 375s|180000 | 894 | 2091k| 11.6 | 29M| 61 | - |1929 | 22k|1929 |1708 | 23k| 239k|5228 | 0.000000e+00 | 1.000000e+00 | Inf 398.80/398.83 c 399s|190000 | 908 | 2232k| 11.7 | 30M| 61 | - |1929 | 25k|1929 |1710 | 24k| 253k|5423 | 0.000000e+00 | 1.000000e+00 | Inf 425.40/425.41 c 425s|200000 | 918 | 2389k| 11.9 | 31M| 61 | - |1929 | 27k| 0 | 0 | 25k| 267k|5586 | 0.000000e+00 | 1.000000e+00 | Inf 450.79/450.87 c 451s|210000 | 962 | 2535k| 12.1 | 32M| 61 | 8 |1929 | 28k|1929 |1700 | 26k| 281k|5775 | 0.000000e+00 | 1.000000e+00 | Inf 476.10/476.11 c 476s|220000 | 998 | 2678k| 12.2 | 33M| 61 | 18 |1929 | 29k|1929 |1705 | 27k| 295k|5895 | 0.000000e+00 | 1.000000e+00 | Inf 502.00/502.07 c 502s|230000 | 1107 | 2822k| 12.3 | 36M| 61 | 12 |1929 | 34k|1929 |1704 | 28k| 310k|6061 | 0.000000e+00 | 1.000000e+00 | Inf 528.30/528.36 c 528s|240000 | 1137 | 2971k| 12.4 | 36M| 61 | 21 |1929 | 32k|1929 |1704 | 30k| 324k|6156 | 0.000000e+00 | 1.000000e+00 | Inf 553.70/553.76 c 554s|250000 | 1072 | 3109k| 12.4 | 36M| 61 | 24 |1929 | 33k|1929 |1700 | 31k| 338k|6290 | 0.000000e+00 | 1.000000e+00 | Inf 580.90/580.92 c 581s|260000 | 1051 | 3269k| 12.6 | 37M| 61 | - |1929 | 37k| 0 | 0 | 32k| 352k|6395 | 0.000000e+00 | 1.000000e+00 | Inf 608.90/608.95 c 609s|270000 | 1129 | 3422k| 12.7 | 39M| 61 | - |1929 | 39k|1929 |1700 | 33k| 366k|6554 | 0.000000e+00 | 1.000000e+00 | Inf 635.60/635.65 c 636s|280000 | 1218 | 3556k| 12.7 | 42M| 61 | 24 |1929 | 44k|1929 |1705 | 34k| 380k|6659 | 0.000000e+00 | 1.000000e+00 | Inf 662.80/662.86 c 663s|290000 | 1324 | 3687k| 12.7 | 44M| 63 | 19 |1929 | 47k|1929 |1700 | 35k| 395k|6753 | 0.000000e+00 | 1.000000e+00 | Inf 690.40/690.43 c 690s|300000 | 1398 | 3822k| 12.7 | 44M| 63 | 7 |1929 | 47k|1929 |1700 | 36k| 410k|6837 | 0.000000e+00 | 1.000000e+00 | Inf 719.60/719.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 719.60/719.68 c 720s|310000 | 1561 | 3962k| 12.8 | 47M| 67 | 8 |1929 | 51k|1929 |1708 | 37k| 424k|6957 | 0.000000e+00 | 1.000000e+00 | Inf 750.60/750.65 c 751s|320000 | 1592 | 4108k| 12.8 | 47M| 67 | - |1929 | 50k| 0 | 0 | 38k| 439k|7037 | 0.000000e+00 | 1.000000e+00 | Inf 779.91/779.99 c 780s|330000 | 1544 | 4245k| 12.9 | 47M| 68 | 18 |1929 | 49k|1929 |1708 | 39k| 454k|7125 | 0.000000e+00 | 1.000000e+00 | Inf 811.21/811.20 c 811s|340000 | 1493 | 4388k| 12.9 | 48M| 68 | 16 |1929 | 51k|1929 |1700 | 40k| 469k|7235 | 0.000000e+00 | 1.000000e+00 | Inf 843.90/843.92 c 844s|350000 | 1404 | 4545k| 13.0 | 46M| 70 | 25 |1929 | 48k|1929 |1700 | 41k| 483k|7349 | 0.000000e+00 | 1.000000e+00 | Inf 871.90/871.92 c 872s|360000 | 1372 | 4681k| 13.0 | 46M| 70 | 24 |1929 | 47k|1929 |1700 | 42k| 498k|7437 | 0.000000e+00 | 1.000000e+00 | Inf 903.50/903.58 c 904s|370000 | 1280 | 4836k| 13.1 | 44M| 70 | 23 |1929 | 43k|1929 |1700 | 43k| 512k|7528 | 0.000000e+00 | 1.000000e+00 | Inf 932.51/932.56 c 933s|380000 | 1231 | 4976k| 13.1 | 45M| 70 | - |1929 | 45k|1929 |1700 | 44k| 527k|7630 | 0.000000e+00 | 1.000000e+00 | Inf 961.71/961.72 c 962s|390000 | 1187 | 5122k| 13.1 | 42M| 70 | 19 |1929 | 40k|1929 |1700 | 45k| 542k|7730 | 0.000000e+00 | 1.000000e+00 | Inf 989.31/989.32 c 989s|400000 | 845 | 5265k| 13.2 | 33M| 70 | - |1929 | 26k|1929 |1700 | 46k| 556k|8029 | 0.000000e+00 | 1.000000e+00 | Inf 1014.41/1014.47 c 1014s|410000 | 878 | 5394k| 13.2 | 34M| 70 | 30 |1929 | 29k|1929 |1705 | 47k| 570k|8032 | 0.000000e+00 | 1.000000e+00 | Inf 1039.81/1039.82 c 1040s|420000 | 954 | 5527k| 13.2 | 35M| 70 | 12 |1929 | 31k|1929 |1709 | 48k| 583k|8094 | 0.000000e+00 | 1.000000e+00 | Inf 1065.62/1065.65 c 1066s|430000 | 1127 | 5649k| 13.1 | 37M| 70 | - |1929 | 33k| 0 | 0 | 49k| 596k|8142 | 0.000000e+00 | 1.000000e+00 | Inf 1092.11/1092.13 c 1092s|440000 | 1238 | 5784k| 13.1 | 38M| 70 | - |1929 | 33k| 0 | 0 | 50k| 610k|8223 | 0.000000e+00 | 1.000000e+00 | Inf 1117.42/1117.48 c 1117s|450000 | 1312 | 5907k| 13.1 | 40M| 70 | 17 |1929 | 38k|1929 |1705 | 51k| 624k|8287 | 0.000000e+00 | 1.000000e+00 | Inf 1144.22/1144.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1144.22/1144.24 c 1144s|460000 | 1340 | 6032k| 13.1 | 40M| 70 | 16 |1929 | 36k|1929 |1700 | 52k| 639k|8354 | 0.000000e+00 | 1.000000e+00 | Inf 1171.52/1171.53 c 1172s|470000 | 1360 | 6176k| 13.1 | 40M| 70 | 16 |1929 | 35k|1929 |1700 | 53k| 653k|8434 | 0.000000e+00 | 1.000000e+00 | Inf 1198.11/1198.19 c 1198s|480000 | 1411 | 6307k| 13.1 | 42M| 70 | - |1929 | 40k| 0 | 0 | 54k| 667k|8509 | 0.000000e+00 | 1.000000e+00 | Inf 1225.82/1225.87 c 1226s|490000 | 1488 | 6451k| 13.2 | 41M| 70 | 19 |1929 | 37k|1929 |1707 | 55k| 681k|8591 | 0.000000e+00 | 1.000000e+00 | Inf 1254.31/1254.39 c 1254s|500000 | 1567 | 6601k| 13.2 | 43M| 73 | - |1929 | 40k|1929 |1713 | 56k| 696k|8666 | 0.000000e+00 | 1.000000e+00 | Inf 1281.82/1281.87 c 1282s|510000 | 1497 | 6738k| 13.2 | 43M| 75 | - |1929 | 39k|1929 |1714 | 57k| 711k|8742 | 0.000000e+00 | 1.000000e+00 | Inf 1307.52/1307.50 c 1307s|520000 | 1589 | 6860k| 13.2 | 44M| 75 | - |1929 | 40k| 0 | 0 | 58k| 725k|8791 | 0.000000e+00 | 1.000000e+00 | Inf 1335.32/1335.30 c 1335s|530000 | 1577 | 6990k| 13.2 | 45M| 75 | - |1929 | 43k| 0 | 0 | 60k| 739k|8860 | 0.000000e+00 | 1.000000e+00 | Inf 1363.82/1363.85 c 1364s|540000 | 1497 | 7130k| 13.2 | 42M| 75 | - |1929 | 36k|1929 |1706 | 61k| 753k|8922 | 0.000000e+00 | 1.000000e+00 | Inf 1392.12/1392.16 c 1392s|550000 | 1460 | 7272k| 13.2 | 42M| 75 | 22 |1929 | 37k|1929 |1707 | 62k| 767k|8987 | 0.000000e+00 | 1.000000e+00 | Inf 1419.12/1419.12 c 1419s|560000 | 1425 | 7408k| 13.2 | 42M| 75 | - |1929 | 36k|1929 |1706 | 63k| 782k|9045 | 0.000000e+00 | 1.000000e+00 | Inf 1445.52/1445.59 c 1446s|570000 | 1428 | 7536k| 13.2 | 43M| 75 | - |1929 | 39k| 0 | 0 | 65k| 796k|9109 | 0.000000e+00 | 1.000000e+00 | Inf 1472.12/1472.13 c 1472s|580000 | 1389 | 7670k| 13.2 | 42M| 75 | 21 |1929 | 37k|1929 |1700 | 66k| 811k|9173 | 0.000000e+00 | 1.000000e+00 | Inf 1500.42/1500.46 c 1500s|590000 | 1429 | 7812k| 13.2 | 42M| 75 | 13 |1929 | 37k|1929 |1700 | 67k| 824k|9384 | 0.000000e+00 | 1.000000e+00 | Inf 1526.62/1526.69 c 1527s|600000 | 1610 | 7939k| 13.2 | 44M| 75 | 28 |1929 | 39k|1929 |1705 | 68k| 838k|9392 | 0.000000e+00 | 1.000000e+00 | Inf 1553.13/1553.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1553.13/1553.16 c 1553s|610000 | 1780 | 8062k| 13.2 | 46M| 75 | - |1929 | 42k| 0 | 0 | 69k| 851k|9432 | 0.000000e+00 | 1.000000e+00 | Inf 1580.42/1580.49 c 1580s|620000 | 1889 | 8188k| 13.2 | 46M| 75 | - |1929 | 40k| 0 | 0 | 70k| 865k|9483 | 0.000000e+00 | 1.000000e+00 | Inf 1607.62/1607.65 c 1608s|630000 | 1939 | 8315k| 13.2 | 47M| 75 | 17 |1929 | 41k|1929 |1700 | 71k| 879k|9533 | 0.000000e+00 | 1.000000e+00 | Inf 1634.82/1634.81 c 1635s|640000 | 2076 | 8447k| 13.2 | 48M| 75 | 30 |1929 | 43k|1929 |1707 | 72k| 893k|9591 | 0.000000e+00 | 1.000000e+00 | Inf 1661.23/1661.25 c 1661s|650000 | 2121 | 8572k| 13.2 | 50M| 75 | 14 |1929 | 47k|1929 |1709 | 73k| 907k|9651 | 0.000000e+00 | 1.000000e+00 | Inf 1689.13/1689.14 c 1689s|660000 | 2183 | 8704k| 13.2 | 50M| 75 | - |1929 | 46k| 0 | 0 | 74k| 922k|9703 | 0.000000e+00 | 1.000000e+00 | Inf 1716.82/1716.89 c 1717s|670000 | 2163 | 8839k| 13.2 | 50M| 75 | 25 |1929 | 46k|1929 |1700 | 75k| 936k|9767 | 0.000000e+00 | 1.000000e+00 | Inf 1743.83/1743.88 c 1744s|680000 | 2153 | 8961k| 13.2 | 50M| 75 | 14 |1929 | 44k|1929 |1705 | 76k| 951k|9824 | 0.000000e+00 | 1.000000e+00 | Inf 1773.33/1773.33 c 1773s|690000 | 2214 | 9110k| 13.2 | 52M| 78 | - |1929 | 47k| 0 | 0 | 77k| 965k|9895 | 0.000000e+00 | 1.000000e+00 | Inf 1790.02/1790.00 c 1790.02/1790.00 c SCIP Status : solving was interrupted [time limit reached] 1790.02/1790.00 c Solving Time (sec) : 1789.98 1790.02/1790.00 c Solving Nodes : 695847 1790.02/1790.00 c Primal Bound : +1.00000000000000e+00 (119 solutions) 1790.02/1790.00 c Dual Bound : +0.00000000000000e+00 1790.02/1790.00 c Gap : infinite 1790.02/1790.01 s SATISFIABLE 1790.02/1790.01 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 1790.02/1790.01 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1790.02/1790.01 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 1790.02/1790.01 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1790.02/1790.01 v x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 1790.02/1790.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 1790.02/1790.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 1790.02/1790.01 v -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 1790.02/1790.01 v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 x32 -x31 -x30 -x29 1790.02/1790.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 1790.02/1790.01 v -x1 1790.02/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1790.02/1790.01 c Solving Time : 1789.98 1790.02/1790.01 c Original Problem : 1790.02/1790.01 c Problem name : HOME/instance-2705659-1278574745.wbo 1790.02/1790.01 c Variables : 2091 (1161 binary, 0 integer, 930 implicit integer, 0 continuous) 1790.02/1790.01 c Constraints : 3638 initial, 3638 maximal 1790.02/1790.01 c Presolved Problem : 1790.02/1790.01 c Problem name : t_HOME/instance-2705659-1278574745.wbo 1790.02/1790.01 c Variables : 1929 (1080 binary, 0 integer, 849 implicit integer, 0 continuous) 1790.02/1790.01 c Constraints : 3356 initial, 52643 maximal 1790.02/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.02/1790.01 c trivial : 0.00 81 0 0 0 0 0 0 0 1790.02/1790.01 c dualfix : 0.00 81 0 0 0 0 0 0 0 1790.02/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.02/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.02/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0 1790.02/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0 1790.02/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1790.02/1790.01 c setppc : 0.00 0 0 0 0 0 9 0 0 1790.02/1790.01 c linear : 0.07 0 0 0 954 0 192 139 0 1790.02/1790.01 c indicator : 0.00 0 0 0 0 0 81 0 0 1790.02/1790.01 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.02/1790.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1790.02/1790.01 c root node : - 1698 - - 1698 - - - - 1790.02/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.02/1790.01 c integral : 0 0 0 393772 0 326 2295 0 0 745374 1790.02/1790.01 c knapsack : 1 6 3222263 18811 2 50547 6203191 0 0 0 1790.02/1790.01 c setppc : 53 6 3177488 18859 2 45732 2333620 0 0 0 1790.02/1790.01 c linear : 849 6 3132361 18941 2 70717 3872129 77595 0 0 1790.02/1790.01 c indicator : 849 0 358627 5536 0 277 428161 0 0 0 1790.02/1790.01 c logicor : 1604+ 6 1643885 2762 2 100223 6032384 0 0 0 1790.02/1790.01 c bounddisjunction : 0+ 0 262007 0 0 44 225 0 0 0 1790.02/1790.01 c countsols : 0 0 0 2762 1 0 0 0 0 0 1790.02/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.02/1790.01 c integral : 34.09 0.00 0.00 34.09 0.00 1790.02/1790.01 c knapsack : 31.91 0.00 31.90 0.01 0.00 1790.02/1790.01 c setppc : 15.67 0.00 15.65 0.01 0.00 1790.02/1790.01 c linear : 43.18 0.00 42.68 0.50 0.00 1790.02/1790.01 c indicator : 2.22 0.00 1.99 0.23 0.00 1790.02/1790.01 c logicor : 307.18 0.00 307.14 0.03 0.00 1790.02/1790.01 c bounddisjunction : 0.37 0.00 0.37 0.00 0.00 1790.02/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.02/1790.01 c Propagators : Time Calls Cutoffs DomReds 1790.02/1790.01 c vbounds : 0.52 5757 0 241 1790.02/1790.01 c rootredcost : 0.49 22 0 849 1790.02/1790.01 c pseudoobj : 38.57 3230618 2009 454286 1790.02/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.02/1790.01 c propagation : 11.94 269272 268695 1671719 30.8 7232 24.7 - 1790.02/1790.01 c infeasible LP : 19.14 101393 101388 782559 49.8 954 15.1 0 1790.02/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.02/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.02/1790.01 c pseudo solution : 0.00 1 1 11 26.8 0 0.0 - 1790.02/1790.01 c applied globally : - - - 973808 30.5 - - - 1790.02/1790.01 c applied locally : - - - 0 0.0 - - - 1790.02/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.02/1790.01 c cut pool : 0.00 5 - - 35 - (maximal pool size: 417) 1790.02/1790.01 c redcost : 12.56 394179 0 9840 0 0 1790.02/1790.01 c impliedbounds : 0.00 6 0 0 0 0 1790.02/1790.01 c intobj : 0.00 0 0 0 0 0 1790.02/1790.01 c cgmip : 0.00 0 0 0 0 0 1790.02/1790.01 c gomory : 0.11 6 0 0 2949 0 1790.02/1790.01 c strongcg : 0.11 6 0 0 2789 0 1790.02/1790.01 c cmir : 0.02 6 0 0 2 0 1790.02/1790.01 c flowcover : 0.04 6 0 0 4 0 1790.02/1790.01 c clique : 0.00 6 0 0 0 0 1790.02/1790.01 c zerohalf : 0.00 0 0 0 0 0 1790.02/1790.01 c mcf : 0.00 1 0 0 0 0 1790.02/1790.01 c rapidlearning : 0.05 1 0 0 0 0 1790.02/1790.01 c Pricers : Time Calls Vars 1790.02/1790.01 c problem variables: 0.00 0 0 1790.02/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.02/1790.01 c relpscost : 33.79 374792 326 2295 0 0 745374 1790.02/1790.01 c pscost : 0.00 0 0 0 0 0 0 1790.02/1790.01 c inference : 0.38 2743 0 0 0 0 5487 1790.02/1790.01 c mostinf : 0.00 0 0 0 0 0 0 1790.02/1790.01 c leastinf : 0.00 0 0 0 0 0 0 1790.02/1790.01 c fullstrong : 0.00 0 0 0 0 0 0 1790.02/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0 1790.02/1790.01 c random : 0.00 0 0 0 0 0 0 1790.02/1790.01 c Primal Heuristics : Time Calls Found 1790.02/1790.01 c LP solutions : 0.01 - 20 1790.02/1790.01 c pseudo solutions : 0.00 - 0 1790.02/1790.01 c feaspump : 0.02 1 0 1790.02/1790.01 c oneopt : 0.25 21 0 1790.02/1790.01 c crossover : 0.54 14 0 1790.02/1790.01 c veclendiving : 0.63 228 0 1790.02/1790.01 c linesearchdiving : 0.63 228 0 1790.02/1790.01 c guideddiving : 0.66 228 0 1790.02/1790.01 c coefdiving : 0.74 229 0 1790.02/1790.01 c pscostdiving : 0.61 229 0 1790.02/1790.01 c fracdiving : 0.73 229 0 1790.02/1790.01 c objpscostdiving : 0.36 115 0 1790.02/1790.01 c rootsoldiving : 0.67 115 0 1790.02/1790.01 c trivial : 0.00 2 0 1790.02/1790.01 c simplerounding : 0.52 374837 0 1790.02/1790.01 c zirounding : 0.25 1000 0 1790.02/1790.01 c rounding : 0.80 8600 0 1790.02/1790.01 c shifting : 2.46 8959 1 1790.02/1790.01 c intshifting : 0.01 0 0 1790.02/1790.01 c twoopt : 0.00 0 0 1790.02/1790.01 c fixandinfer : 0.00 0 0 1790.02/1790.01 c intdiving : 0.00 0 0 1790.02/1790.01 c actconsdiving : 0.00 0 0 1790.02/1790.01 c octane : 0.00 0 0 1790.02/1790.01 c rens : 0.03 1 0 1790.02/1790.01 c rins : 0.00 0 0 1790.02/1790.01 c localbranching : 0.00 0 0 1790.02/1790.01 c mutation : 0.00 0 0 1790.02/1790.01 c dins : 0.00 0 0 1790.02/1790.01 c undercover : 0.00 0 0 1790.02/1790.01 c nlp : 0.12 0 0 1790.02/1790.01 c trysol : 0.22 218 98 1790.02/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec 1790.02/1790.01 c primal LP : 0.00 0 0 0.00 - 1790.02/1790.01 c dual LP : 878.11 490606 9171873 18.69 10445.04 1790.02/1790.01 c lex dual LP : 0.00 0 0 0.00 - 1790.02/1790.01 c barrier LP : 0.00 0 0 0.00 - 1790.02/1790.01 c diving/probing LP: 2.90 2378 17854 7.51 6146.04 1790.02/1790.01 c strong branching : 30.17 9899 324265 32.76 10749.09 1790.02/1790.01 c (at root node) : - 16 1407 87.94 - 1790.02/1790.01 c conflict analysis: 0.00 0 0 0.00 - 1790.02/1790.01 c B&B Tree : 1790.02/1790.01 c number of runs : 1 1790.02/1790.01 c nodes : 695847 1790.02/1790.01 c nodes (total) : 695847 1790.02/1790.01 c nodes left : 2196 1790.02/1790.01 c max depth : 78 1790.02/1790.01 c max depth (total): 78 1790.02/1790.01 c backtracks : 96577 (13.9%) 1790.02/1790.01 c delayed cutoffs : 50534 1790.02/1790.01 c repropagations : 1215069 (3680826 domain reductions, 48802 cutoffs) 1790.02/1790.01 c avg switch length: 5.03 1790.02/1790.01 c switching time : 228.76 1790.02/1790.01 c Solution : 1790.02/1790.01 c Solutions found : 119 (22 improvements) 1790.02/1790.01 c First Solution : +4.26820000000000e+04 (in run 1, after 15 nodes, 3.01 seconds, depth 15, found by <trysol>) 1790.02/1790.01 c Primal Bound : +1.00000000000000e+00 (in run 1, after 81586 nodes, 160.68 seconds, depth 44, found by <relaxation>) 1790.02/1790.01 c Dual Bound : +0.00000000000000e+00 1790.02/1790.01 c Gap : infinite 1790.02/1790.01 c Root Dual Bound : +0.00000000000000e+00 1790.02/1790.01 c Root Iterations : 149 1790.02/1790.09 c Time complete: 1790.12.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705659-1278574745/watcher-2705659-1278574745 -o /tmp/evaluation-result-2705659-1278574745/solver-2705659-1278574745 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705659-1278574745.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.69 4/178 23134 /proc/meminfo: memFree=29403108/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=12336 CPUtime=0 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 1924 0 0 0 0 0 0 0 24 0 1 0 25687341 12632064 1843 4089446400 4194304 10345943 140735308230128 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23134/statm: 3084 1844 429 1502 0 1577 0 [startup+0.034491 s] /proc/loadavg: 2.00 2.00 1.69 4/178 23134 /proc/meminfo: memFree=29403108/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=21532 CPUtime=0.03 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 4633 0 0 0 3 0 0 0 24 0 1 0 25687341 22048768 4198 4089446400 4194304 10345943 140735308230128 18446744073709551615 4982112 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23134/statm: 5383 4198 478 1502 0 3876 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21532 [startup+0.100481 s] /proc/loadavg: 2.00 2.00 1.69 4/178 23134 /proc/meminfo: memFree=29403108/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=27504 CPUtime=0.09 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 5911 0 0 0 9 0 0 0 24 0 1 0 25687341 28164096 5476 4089446400 4194304 10345943 140735308230128 18446744073709551615 5017692 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23134/statm: 6876 5476 542 1502 0 5369 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27504 [startup+0.300446 s] /proc/loadavg: 2.00 2.00 1.69 4/178 23134 /proc/meminfo: memFree=29403108/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=35416 CPUtime=0.29 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 11922 0 0 0 28 1 0 0 25 0 1 0 25687341 36265984 7302 4089446400 4194304 10345943 140735308230128 18446744073709551615 6197315 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23134/statm: 8854 7302 757 1502 0 7347 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35416 [startup+0.700373 s] /proc/loadavg: 2.00 2.00 1.69 4/178 23134 /proc/meminfo: memFree=29403108/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=41920 CPUtime=0.68 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 16150 0 0 0 67 1 0 0 25 0 1 0 25687341 42926080 8355 4089446400 4194304 10345943 140735308230128 18446744073709551615 7569467 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23134/statm: 10480 8355 778 1502 0 8973 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 41920 [startup+1.50023 s] /proc/loadavg: 2.00 2.00 1.69 3/179 23135 /proc/meminfo: memFree=29372224/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=42520 CPUtime=1.49 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 17590 0 0 0 146 3 0 0 25 0 1 0 25687341 43540480 8430 4089446400 4194304 10345943 140735308230128 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23134/statm: 10630 8430 779 1502 0 9123 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42520 [startup+3.10095 s] /proc/loadavg: 2.08 2.02 1.69 3/179 23135 /proc/meminfo: memFree=29371108/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=41364 CPUtime=3.09 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 20240 0 0 0 304 5 0 0 25 0 1 0 25687341 42356736 8516 4089446400 4194304 10345943 140735308230128 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23134/statm: 10341 8516 781 1502 0 8834 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41364 [startup+6.30039 s] /proc/loadavg: 2.08 2.02 1.69 2/174 23152 /proc/meminfo: memFree=29512204/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=43184 CPUtime=6.29 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 27248 0 0 0 621 8 0 0 25 0 1 0 25687341 44220416 8939 4089446400 4194304 10345943 140735308230128 18446744073709551615 4602214 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23134/statm: 10796 8939 784 1502 0 9289 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43184 [startup+12.7003 s] /proc/loadavg: 1.91 1.98 1.68 4/178 23161 /proc/meminfo: memFree=29484296/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=49608 CPUtime=12.68 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 53317 0 0 0 1254 14 0 0 25 0 1 0 25687341 50798592 10945 4089446400 4194304 10345943 140735308230128 18446744073709551615 6120551 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23134/statm: 12402 10945 800 1502 0 10895 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49608 [startup+25.501 s] /proc/loadavg: 1.93 1.98 1.69 4/179 23162 /proc/meminfo: memFree=29304728/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=66768 CPUtime=25.49 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 69965 0 0 0 2528 21 0 0 25 0 1 0 25687341 68370432 15514 4089446400 4194304 10345943 140735308230128 18446744073709551615 6864645 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23134/statm: 16692 15514 800 1502 0 15185 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 66768 [startup+51.1005 s] /proc/loadavg: 1.95 1.98 1.69 4/179 23164 /proc/meminfo: memFree=29238740/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=70628 CPUtime=51.09 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 92052 0 0 0 5076 33 0 0 25 0 1 0 25687341 72323072 16300 4089446400 4194304 10345943 140735308230128 18446744073709551615 7569784 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23134/statm: 17657 16300 800 1502 0 16150 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 70628 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.71 3/179 23165 /proc/meminfo: memFree=29222740/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=77644 CPUtime=102.29 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 118116 0 0 0 10169 60 0 0 25 0 1 0 25687341 79507456 17916 4089446400 4194304 10345943 140735308230128 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 19411 17916 800 1502 0 17904 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 77644 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.73 4/179 23166 /proc/meminfo: memFree=29219020/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=78980 CPUtime=162.29 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 155166 0 0 0 16136 93 0 0 25 0 1 0 25687341 80875520 18238 4089446400 4194304 10345943 140735308230128 18446744073709551615 6566446 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 19745 18238 800 1502 0 18238 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 78980 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.74 3/179 23168 /proc/meminfo: memFree=29214768/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=81748 CPUtime=222.29 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 174852 0 0 0 22103 126 0 0 25 0 1 0 25687341 83709952 18921 4089446400 4194304 10345943 140735308230128 18446744073709551615 6712032 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 20437 18921 800 1502 0 18930 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 81748 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.75 3/179 23170 /proc/meminfo: memFree=29213112/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=85776 CPUtime=282.29 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 192250 0 0 0 28072 157 0 0 25 0 1 0 25687341 87834624 19396 4089446400 4194304 10345943 140735308230128 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 21444 19396 800 1502 0 19937 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 85776 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.76 3/179 23171 /proc/meminfo: memFree=29210840/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=85140 CPUtime=342.29 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 205507 0 0 0 34045 184 0 0 25 0 1 0 25687341 87183360 19709 4089446400 4194304 10345943 140735308230128 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 21285 19709 800 1502 0 19778 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 85140 [startup+402.301 s] /proc/loadavg: 1.99 1.98 1.78 3/179 23173 /proc/meminfo: memFree=29202368/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=87456 CPUtime=402.3 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 215148 0 0 0 40017 213 0 0 25 0 1 0 25687341 89554944 20002 4089446400 4194304 10345943 140735308230128 18446744073709551615 6068924 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 21864 20002 800 1502 0 20357 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 87456 [startup+462.301 s] /proc/loadavg: 1.99 1.98 1.79 4/179 23174 /proc/meminfo: memFree=29197596/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=88456 CPUtime=462.3 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 218827 0 0 0 45986 244 0 0 25 0 1 0 25687341 90578944 20572 4089446400 4194304 10345943 140735308230128 18446744073709551615 7783968 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 22114 20572 800 1502 0 20607 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 88456 [startup+522.3 s] /proc/loadavg: 1.99 1.98 1.80 4/179 23176 /proc/meminfo: memFree=29194704/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=91860 CPUtime=522.3 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 230359 0 0 0 51958 272 0 0 25 0 1 0 25687341 94064640 21333 4089446400 4194304 10345943 140735308230128 18446744073709551615 6715796 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 22965 21333 800 1502 0 21458 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 91860 [startup+582.301 s] /proc/loadavg: 1.99 1.98 1.81 4/179 23178 /proc/meminfo: memFree=29191568/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=96348 CPUtime=582.3 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 237649 0 0 0 57931 299 0 0 25 0 1 0 25687341 98660352 22140 4089446400 4194304 10345943 140735308230128 18446744073709551615 5085432 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 24087 22140 800 1502 0 22580 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 96348 [startup+642.3 s] /proc/loadavg: 1.99 1.98 1.82 3/179 23179 /proc/meminfo: memFree=29187428/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=98156 CPUtime=642.3 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 242104 0 0 0 63910 320 0 0 25 0 1 0 25687341 100511744 22914 4089446400 4194304 10345943 140735308230128 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 24539 22914 800 1502 0 23032 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 98156 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29071776/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=108096 CPUtime=1062.31 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 267039 0 0 0 105747 484 0 0 25 0 1 0 25687341 110690304 24903 4089446400 4194304 10345943 140735308230128 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27024 24903 802 1502 0 25517 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 108096 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.87 3/179 23192 /proc/meminfo: memFree=29046180/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=108596 CPUtime=1122.31 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 270060 0 0 0 111723 508 0 0 25 0 1 0 25687341 111202304 24849 4089446400 4194304 10345943 140735308230128 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27149 24849 802 1502 0 25642 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 108596 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.88 4/179 23194 /proc/meminfo: memFree=29019224/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=106296 CPUtime=1182.32 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 272747 0 0 0 117699 533 0 0 25 0 1 0 25687341 108847104 24845 4089446400 4194304 10345943 140735308230128 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 26574 24845 802 1502 0 25067 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 106296 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 23195 /proc/meminfo: memFree=28997120/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=107576 CPUtime=1242.32 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 276412 0 0 0 123675 557 0 0 25 0 1 0 25687341 110157824 24910 4089446400 4194304 10345943 140735308230128 18446744073709551615 7522184 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 26894 24910 802 1502 0 25387 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 107576 [startup+1302.3 s] /proc/loadavg: 2.05 2.01 1.90 4/179 23197 /proc/meminfo: memFree=28975384/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=107880 CPUtime=1302.32 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 279177 0 0 0 129652 580 0 0 25 0 1 0 25687341 110469120 24881 4089446400 4194304 10345943 140735308230128 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 26970 24881 802 1502 0 25463 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 107880 [startup+1362.3 s] /proc/loadavg: 2.06 2.02 1.91 3/179 23207 /proc/meminfo: memFree=28934996/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=108848 CPUtime=1362.31 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 281443 0 0 0 135631 600 0 0 25 0 1 0 25687341 111460352 25099 4089446400 4194304 10345943 140735308230128 18446744073709551615 8160414 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27212 25099 802 1502 0 25705 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 108848 [startup+1422.31 s] /proc/loadavg: 2.02 2.02 1.91 3/179 23209 /proc/meminfo: memFree=28904592/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=108848 CPUtime=1422.33 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 282491 0 0 0 141608 625 0 0 25 0 1 0 25687341 111460352 25111 4089446400 4194304 10345943 140735308230128 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27212 25111 802 1502 0 25705 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 108848 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 1.91 4/179 23211 /proc/meminfo: memFree=28873172/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=107004 CPUtime=1482.32 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 283440 0 0 0 147583 649 0 0 25 0 1 0 25687341 109572096 25089 4089446400 4194304 10345943 140735308230128 18446744073709551615 7582928 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 26751 25089 802 1502 0 25244 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 107004 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 1.91 3/179 23212 /proc/meminfo: memFree=28862588/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=108824 CPUtime=1542.32 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 285218 0 0 0 153560 672 0 0 25 0 1 0 25687341 111435776 25158 4089446400 4194304 10345943 140735308230128 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27206 25158 802 1502 0 25699 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 108824 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 4/179 23214 /proc/meminfo: memFree=28839236/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=108340 CPUtime=1602.33 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 286749 0 0 0 159540 693 0 0 25 0 1 0 25687341 110940160 25401 4089446400 4194304 10345943 140735308230128 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27085 25401 802 1502 0 25578 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 108340 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23215 /proc/meminfo: memFree=28818108/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=109988 CPUtime=1662.33 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 289602 0 0 0 165519 714 0 0 25 0 1 0 25687341 112627712 25512 4089446400 4194304 10345943 140735308230128 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27497 25512 802 1502 0 25990 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 109988 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 4/179 23217 /proc/meminfo: memFree=28794012/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=109840 CPUtime=1722.33 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 293645 0 0 0 171495 738 0 0 25 0 1 0 25687341 112476160 25671 4089446400 4194304 10345943 140735308230128 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27460 25671 802 1502 0 25953 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 109840 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 4/179 23219 /proc/meminfo: memFree=28767660/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=109844 CPUtime=1782.33 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 298420 0 0 0 177474 759 0 0 25 0 1 0 25687341 112480256 25731 4089446400 4194304 10345943 140735308230128 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27461 25731 802 1502 0 25954 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 109844 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23219 /proc/meminfo: memFree=28765672/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=109876 CPUtime=1785.53 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 298532 0 0 0 177793 760 0 0 25 0 1 0 25687341 112513024 25687 4089446400 4194304 10345943 140735308230128 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27469 25687 802 1502 0 25962 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 109876 [startup+1787.1 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23219 /proc/meminfo: memFree=28765920/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=109876 CPUtime=1787.13 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 298541 0 0 0 177952 761 0 0 25 0 1 0 25687341 112513024 25696 4089446400 4194304 10345943 140735308230128 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27469 25696 802 1502 0 25962 0 Current children cumulated CPU time (s) 1787.13 Current children cumulated vsize (KiB) 109876 [startup+1788.7 s] /proc/loadavg: 2.00 2.00 1.91 4/179 23219 /proc/meminfo: memFree=28765172/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=109876 CPUtime=1788.73 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 298547 0 0 0 178111 762 0 0 25 0 1 0 25687341 112513024 25702 4089446400 4194304 10345943 140735308230128 18446744073709551615 5085404 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27469 25702 802 1502 0 25962 0 Current children cumulated CPU time (s) 1788.73 Current children cumulated vsize (KiB) 109876 [startup+1789.5 s] /proc/loadavg: 2.00 2.00 1.91 4/179 23219 /proc/meminfo: memFree=28765172/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=109888 CPUtime=1789.53 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 298641 0 0 0 178191 762 0 0 25 0 1 0 25687341 112525312 25687 4089446400 4194304 10345943 140735308230128 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27472 25687 802 1502 0 25965 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (KiB) 109888 [startup+1789.9 s] /proc/loadavg: 2.00 2.00 1.91 4/179 23219 /proc/meminfo: memFree=28764676/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=109888 CPUtime=1789.93 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 298662 0 0 0 178231 762 0 0 25 0 1 0 25687341 112525312 25708 4089446400 4194304 10345943 140735308230128 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27472 25708 802 1502 0 25965 0 Current children cumulated CPU time (s) 1789.93 Current children cumulated vsize (KiB) 109888 [startup+1790 s] /proc/loadavg: 2.00 2.00 1.91 4/179 23219 /proc/meminfo: memFree=28764676/32951124 swapFree=67111528/67111528 [pid=23134] ppid=23132 vsize=109888 CPUtime=1790.02 /proc/23134/stat : 23134 (pbscip.linux.x8) R 23132 23134 22866 0 -1 4202496 298663 0 0 0 178240 762 0 0 25 0 1 0 25687341 112525312 25709 4089446400 4194304 10345943 140735308230128 18446744073709551615 7516987 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23134/statm: 27472 25709 802 1502 0 25965 0 Current children cumulated CPU time (s) 1790.02 Current children cumulated vsize (KiB) 109888 Child status: 0 Real time (s): 1790.09 CPU time (s): 1790.13 CPU user time (s): 1782.5 CPU system time (s): 7.63284 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 111976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.5 system time used= 7.63284 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 298808 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 3694 runsolver used 3.19451 second user time and 6.20506 second system time The end
Begin job on node140 at 2010-07-08 09:39:05 IDJOB=2705659 IDBENCH=78972 IDSOLVER=1214 FILE ID=node140/2705659-1278574745 PBS_JOBID= 11240174 Free space on /tmp= 73688 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 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.1900548667--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-2705659-1278574745/watcher-2705659-1278574745 -o /tmp/evaluation-result-2705659-1278574745/solver-2705659-1278574745 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705659-1278574745.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b93cc320d1c40ed770cd566486d12ca9 RANDOM SEED=982638039 node140.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.817 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.817 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 : 5261.06 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.817 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.80 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.817 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.74 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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: 29403760 kB Buffers: 154756 kB Cached: 3037048 kB SwapCached: 0 kB Active: 1323168 kB Inactive: 2060736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29403760 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12876 kB Writeback: 0 kB AnonPages: 191604 kB Mapped: 17728 kB Slab: 101056 kB PageTables: 4936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 336892 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73676 MiB End job on node140 at 2010-07-08 10:08:55