Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1800.25 | 1800.2 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo |
MD5SUM | d8302a34385139d2b71dca1f77dee50d |
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 | 4 |
Best CPU time to get the best result obtained on this benchmark | 510.762 |
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 | 1802 |
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 | 91108 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91107 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 739 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2692308-1277912131.wbo> 0.00/0.03 c original problem has 3835 variables (2033 bin, 0 int, 0 impl, 1802 cont) and 4510 constraints 0.00/0.03 c problem read 0.00/0.03 c presolving settings loaded 0.04/0.05 c presolving: 0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs 0.04/0.09 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs 0.04/0.09 c (round 3) 53 del vars, 138 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs 0.09/0.11 c (round 4) 114 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs 0.09/0.12 c (round 5) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs 0.09/0.17 c (0.1s) probing: 101/1972 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.17 c presolving (6 rounds): 0.09/0.17 c 122 deleted vars, 146 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients 0.09/0.17 c 1950 implications, 9 cliques 0.09/0.17 c presolved problem has 3713 variables (1972 bin, 0 int, 0 impl, 1741 cont) and 4364 constraints 0.09/0.17 c 1741 constraints of type <indicator> 0.09/0.17 c 9 constraints of type <setppc> 0.09/0.17 c 1741 constraints of type <linear> 0.09/0.17 c 873 constraints of type <logicor> 0.09/0.17 c transformed objective value is always integral (scale: 1) 0.09/0.17 c Presolving Time: 0.11 0.09/0.17 c - non default parameters ---------------------------------------------------------------------- 0.09/0.17 c # SCIP version 1.2.1.2 0.09/0.17 c 0.09/0.17 c # frequency for displaying node information lines 0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.17 c display/freq = 10000 0.09/0.17 c 0.09/0.17 c # maximal time in seconds to run 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/time = 1799.98 0.09/0.17 c 0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/memory = 3420 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify inequalities 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/linear/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify knapsacks 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.17 c separating/rapidlearning/freq = 0 0.09/0.17 c 0.09/0.17 c ----------------------------------------------------------------------------------------------- 0.09/0.17 c start solving 0.09/0.17 c 0.09/0.18 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.18 c 0.1s| 1 | 0 | 15 | - | 13M| 0 | 0 |3713 |4364 |3713 | 882 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.18 c 0.1s| 1 | 0 | 64 | - | 13M| 0 | 28 |3713 |4364 |3713 | 901 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.18 o 87754 0.09/0.18 c y 0.1s| 1 | 0 | 64 | - | 13M| 0 | 28 |3713 |4364 |3713 | 901 | 19 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.19/0.22 c 0.2s| 1 | 0 | 88 | - | 14M| 0 | 34 |3713 |4364 |3713 | 920 | 38 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.19/0.27 c 0.2s| 1 | 0 | 140 | - | 14M| 0 | 42 |3713 |4364 |3713 | 932 | 50 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.29/0.33 c 0.3s| 1 | 0 | 152 | - | 14M| 0 | 44 |3713 |4364 |3713 | 935 | 53 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.39/0.40 c 0.3s| 1 | 0 | 168 | - | 14M| 0 | 45 |3713 |4364 |3713 | 942 | 60 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.39/0.47 c 0.4s| 1 | 0 | 174 | - | 14M| 0 | 44 |3713 |4364 |3713 | 943 | 61 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf 0.69/0.79 c 0.7s| 1 | 2 | 174 | - | 14M| 0 | 44 |3713 |4364 |3713 | 943 | 61 | 0 | 33 | 0.000000e+00 | 8.775400e+04 | Inf 3.20/3.27 o 921 3.20/3.27 c * 3.2s| 1514 | 1199 | 714 | 0.4 | 17M|1513 | - |3713 |4364 |3713 | 981 | 101 | 0 | 150 | 0.000000e+00 | 9.210000e+02 | Inf 7.79/7.83 o 218 7.79/7.83 c * 7.7s| 4071 | 971 | 4089 | 1.0 | 18M|1513 | - |3713 |4402 |3713 | 959 | 317 | 38 | 705 | 0.000000e+00 | 2.180000e+02 | Inf 7.89/7.96 o 214 7.89/7.96 c * 7.8s| 4085 | 972 | 4337 | 1.0 | 19M|1513 | - |3713 |4419 |3713 | 967 | 331 | 55 | 739 | 0.000000e+00 | 2.140000e+02 | Inf 9.19/9.22 o 164 9.19/9.22 c * 9.0s| 4678 | 1118 | 6698 | 1.4 | 20M|1513 | - |3713 |4729 |3713 | 966 | 436 | 365 | 839 | 0.000000e+00 | 1.640000e+02 | Inf 9.29/9.31 o 163 9.29/9.31 c * 9.1s| 4693 | 1123 | 6892 | 1.4 | 20M|1513 | - |3713 |4740 |3713 | 953 | 436 | 376 | 852 | 0.000000e+00 | 1.630000e+02 | Inf 9.29/9.31 o 139 9.29/9.31 c * 9.1s| 4694 | 1018 | 6892 | 1.4 | 20M|1513 | - |3713 |4740 |3713 | 953 | 436 | 376 | 852 | 0.000000e+00 | 1.390000e+02 | Inf 10.20/10.29 o 126 10.20/10.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 10.20/10.29 c *10.1s| 5124 | 1261 | 8568 | 1.6 | 21M|1513 | - |3713 |4974 |3713 | 955 | 494 | 610 | 926 | 0.000000e+00 | 1.260000e+02 | Inf 10.40/10.41 o 74 10.40/10.41 c *10.2s| 5141 | 727 | 9072 | 1.7 | 21M|1513 | - |3713 |5002 |3713 | 971 | 522 | 638 | 932 | 0.000000e+00 | 7.400000e+01 | Inf 10.40/10.42 o 50 10.40/10.42 c *10.2s| 5142 | 488 | 9073 | 1.7 | 20M|1513 | - |3713 |5002 |3713 | 971 | 523 | 638 | 932 | 0.000000e+00 | 5.000000e+01 | Inf 19.39/19.43 o 48 19.39/19.43 c *19.1s| 8452 | 544 | 20956 | 2.5 | 23M|1513 | - |3713 |5449 |3713 | 947 |1350 |4671 |1673 | 0.000000e+00 | 4.800000e+01 | Inf 22.79/22.88 c 22.5s| 10000 | 619 | 27388 | 2.7 | 24M|1513 | - |3713 |5529 | 0 | 0 |1664 |6566 |1788 | 0.000000e+00 | 4.800000e+01 | Inf 43.29/43.33 c 42.6s| 20000 | 1105 | 69167 | 3.4 | 31M|1513 | - |3713 |6788 | 0 | 0 |4842 | 18k|1838 | 0.000000e+00 | 4.800000e+01 | Inf 63.19/63.27 c 62.3s| 30000 | 1377 |106723 | 3.6 | 38M|1513 | 1 |3713 |8098 |3713 | 955 |7512 | 30k|1838 | 0.000000e+00 | 4.800000e+01 | Inf 72.70/72.72 o 45 72.70/72.72 c *71.6s| 34956 | 1522 |121190 | 3.5 | 40M|1513 | - |3713 |8824 |3713 | 961 |8295 | 36k|1838 | 0.000000e+00 | 4.500000e+01 | Inf 82.59/82.60 c 81.3s| 40000 | 1705 |136767 | 3.4 | 43M|1513 | - |3713 |8032 | 0 | 0 |9672 | 42k|1862 | 0.000000e+00 | 4.500000e+01 | Inf 84.29/84.34 o 43 84.29/84.34 c *83.1s| 40960 | 1709 |139209 | 3.4 | 43M|1513 | - |3713 |8341 |3713 | 945 |9797 | 44k|1863 | 0.000000e+00 | 4.300000e+01 | Inf 84.29/84.38 o 36 84.29/84.38 c *83.1s| 40976 | 1564 |139246 | 3.4 | 39M|1513 | - |3713 |8235 |3713 | 945 |9797 | 44k|1863 | 0.000000e+00 | 3.600000e+01 | Inf 102.59/102.68 c 101s| 50000 | 1737 |176577 | 3.5 | 43M|1513 | 18 |3713 |7363 |3713 | 953 | 12k| 55k|2044 | 0.000000e+00 | 3.600000e+01 | Inf 122.10/122.11 c 120s| 60000 | 1944 |213452 | 3.6 | 48M|1513 | - |3713 |8006 | 0 | 0 | 15k| 68k|2259 | 0.000000e+00 | 3.600000e+01 | Inf 142.80/142.83 c 141s| 70000 | 2217 |255453 | 3.6 | 54M|1513 | 9 |3713 |8776 |3713 | 951 | 19k| 81k|2458 | 0.000000e+00 | 3.600000e+01 | Inf 162.19/162.29 c 160s| 80000 | 2385 |290147 | 3.6 | 59M|1513 | - |3713 | 10k| 0 | 0 | 21k| 93k|2640 | 0.000000e+00 | 3.600000e+01 | Inf 180.89/180.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 180.89/180.95 c 178s| 90000 | 2519 |318126 | 3.5 | 63M|1513 | 1 |3713 | 11k|3713 | 962 | 23k| 106k|2768 | 0.000000e+00 | 3.600000e+01 | Inf 194.60/194.68 o 17 194.60/194.68 c * 192s| 96909 | 2103 |343513 | 3.5 | 51M|1513 | - |3713 |8995 |3713 | 958 | 25k| 115k|2858 | 0.000000e+00 | 1.700000e+01 | Inf 200.21/200.23 c 197s|100000 | 2099 |356115 | 3.6 | 52M|1513 | 20 |3713 |7974 |3713 | 953 | 26k| 119k|2934 | 0.000000e+00 | 1.700000e+01 | Inf 218.70/218.73 c 216s|110000 | 2214 |400377 | 3.6 | 54M|1513 | - |3713 |9717 | 0 | 0 | 30k| 132k|3107 | 0.000000e+00 | 1.700000e+01 | Inf 236.19/236.27 c 233s|120000 | 2281 |436243 | 3.6 | 57M|1513 | - |3713 | 11k| 0 | 0 | 32k| 145k|3288 | 0.000000e+00 | 1.700000e+01 | Inf 254.50/254.59 c 251s|130000 | 2313 |476103 | 3.7 | 58M|1513 | - |3713 | 10k| 0 | 0 | 35k| 158k|3437 | 0.000000e+00 | 1.700000e+01 | Inf 260.40/260.44 o 16 260.40/260.44 c * 257s|133066 | 2220 |490204 | 3.7 | 56M|1513 | - |3713 | 12k|3713 | 958 | 37k| 162k|3474 | 0.000000e+00 | 1.600000e+01 | Inf 273.69/273.79 c 270s|140000 | 2259 |520677 | 3.7 | 56M|1513 | 9 |3713 |9672 |3713 | 949 | 41k| 171k|3584 | 0.000000e+00 | 1.600000e+01 | Inf 292.40/292.48 c 288s|150000 | 2324 |564028 | 3.8 | 58M|1513 | - |3713 | 10k| 0 | 0 | 46k| 184k|3739 | 0.000000e+00 | 1.600000e+01 | Inf 311.40/311.45 c 307s|160000 | 2476 |608554 | 3.8 | 61M|1513 | 17 |3713 | 12k|3713 | 941 | 51k| 198k|3908 | 0.000000e+00 | 1.600000e+01 | Inf 333.10/333.18 c 328s|170000 | 2794 |668179 | 3.9 | 65M|1513 | - |3713 | 13k| 0 | 0 | 60k| 211k|4087 | 0.000000e+00 | 1.600000e+01 | Inf 354.20/354.21 c 349s|180000 | 2860 |720413 | 4.0 | 67M|1513 | 10 |3713 | 14k|3713 | 961 | 68k| 224k|4246 | 0.000000e+00 | 1.600000e+01 | Inf 375.11/375.16 c 370s|190000 | 2832 |772614 | 4.1 | 68M|1513 | - |3713 | 13k| 0 | 0 | 76k| 237k|4420 | 0.000000e+00 | 1.600000e+01 | Inf 396.90/396.93 c 391s|200000 | 2870 |827888 | 4.1 | 69M|1513 | 9 |3713 | 13k|3713 | 951 | 84k| 251k|4593 | 0.000000e+00 | 1.600000e+01 | Inf 417.81/417.88 c 412s|210000 | 2742 |877687 | 4.2 | 69M|1513 | - |3713 | 14k| 0 | 0 | 91k| 264k|4738 | 0.000000e+00 | 1.600000e+01 | Inf 438.40/438.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 438.40/438.44 c 432s|220000 | 2691 |924321 | 4.2 | 69M|1513 | 23 |3713 | 15k|3713 | 949 | 96k| 278k|4884 | 0.000000e+00 | 1.600000e+01 | Inf 459.21/459.23 c 453s|230000 | 2718 |973802 | 4.2 | 70M|1513 | - |3713 | 14k| 0 | 0 | 102k| 291k|4997 | 0.000000e+00 | 1.600000e+01 | Inf 478.21/478.28 c 471s|240000 | 2710 | 1012k| 4.2 | 71M|1513 | 7 |3713 | 15k|3713 | 948 | 105k| 304k|5105 | 0.000000e+00 | 1.600000e+01 | Inf 498.60/498.68 c 492s|250000 | 2645 | 1057k| 4.2 | 71M|1513 | - |3713 | 14k| 0 | 0 | 108k| 317k|5244 | 0.000000e+00 | 1.600000e+01 | Inf 519.61/519.60 c 512s|260000 | 2590 | 1104k| 4.2 | 72M|1513 | - |3713 | 16k| 0 | 0 | 113k| 331k|5342 | 0.000000e+00 | 1.600000e+01 | Inf 541.21/541.29 c 534s|270000 | 2446 | 1154k| 4.3 | 71M|1513 | - |3713 | 14k| 0 | 0 | 118k| 344k|5459 | 0.000000e+00 | 1.600000e+01 | Inf 559.50/559.59 c 552s|280000 | 2472 | 1188k| 4.2 | 72M|1513 | - |3713 | 16k| 0 | 0 | 119k| 358k|5531 | 0.000000e+00 | 1.600000e+01 | Inf 578.21/578.29 c 570s|290000 | 2499 | 1222k| 4.2 | 73M|1513 | 14 |3713 | 17k|3713 | 946 | 121k| 372k|5606 | 0.000000e+00 | 1.600000e+01 | Inf 597.21/597.25 c 589s|300000 | 2606 | 1255k| 4.2 | 75M|1513 | 9 |3713 | 20k|3713 | 946 | 122k| 385k|5668 | 0.000000e+00 | 1.600000e+01 | Inf 616.71/616.71 c 608s|310000 | 2659 | 1289k| 4.2 | 77M|1513 | - |3713 | 22k| 0 | 0 | 124k| 399k|5749 | 0.000000e+00 | 1.600000e+01 | Inf 636.11/636.13 c 627s|320000 | 2683 | 1321k| 4.1 | 79M|1513 | 5 |3713 | 22k|3713 | 946 | 125k| 413k|5814 | 0.000000e+00 | 1.600000e+01 | Inf 656.51/656.50 c 647s|330000 | 2691 | 1356k| 4.1 | 79M|1513 | 11 |3713 | 21k|3713 | 946 | 126k| 427k|5884 | 0.000000e+00 | 1.600000e+01 | Inf 676.71/676.74 c 667s|340000 | 2723 | 1387k| 4.1 | 79M|1513 | - |3713 | 19k| 0 | 0 | 128k| 441k|6018 | 0.000000e+00 | 1.600000e+01 | Inf 695.41/695.48 c 686s|350000 | 2702 | 1415k| 4.0 | 80M|1513 | - |3713 | 20k| 0 | 0 | 129k| 454k|6069 | 0.000000e+00 | 1.600000e+01 | Inf 716.21/716.23 c 706s|360000 | 2701 | 1448k| 4.0 | 81M|1513 | 1 |3713 | 21k|3713 | 954 | 131k| 468k|6120 | 0.000000e+00 | 1.600000e+01 | Inf 718.21/718.23 o 13 718.21/718.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 718.21/718.23 c * 708s|361031 | 2557 | 1451k| 4.0 | 77M|1513 | - |3713 | 21k|3713 | 958 | 131k| 470k|6133 | 0.000000e+00 | 1.300000e+01 | Inf 737.41/737.47 c 727s|370000 | 2603 | 1489k| 4.0 | 77M|1513 | - |3713 | 21k| 0 | 0 | 136k| 482k|6214 | 0.000000e+00 | 1.300000e+01 | Inf 760.41/760.41 c 750s|380000 | 2597 | 1533k| 4.0 | 78M|1513 | - |3713 | 21k| 0 | 0 | 142k| 496k|6282 | 0.000000e+00 | 1.300000e+01 | Inf 781.72/781.75 c 771s|390000 | 2591 | 1579k| 4.0 | 78M|1513 | - |3713 | 18k| 0 | 0 | 149k| 510k|6394 | 0.000000e+00 | 1.300000e+01 | Inf 800.72/800.80 c 790s|400000 | 2498 | 1616k| 4.0 | 75M|1513 | - |3713 | 12k| 0 | 0 | 151k| 524k|6473 | 0.000000e+00 | 1.300000e+01 | Inf 819.42/819.43 c 808s|410000 | 2551 | 1654k| 4.0 | 77M|1513 | 1 |3713 | 16k|3713 | 965 | 153k| 537k|6536 | 0.000000e+00 | 1.300000e+01 | Inf 839.71/839.79 c 828s|420000 | 2644 | 1700k| 4.0 | 79M|1513 | - |3713 | 19k| 0 | 0 | 157k| 551k|6596 | 0.000000e+00 | 1.300000e+01 | Inf 860.92/860.96 c 849s|430000 | 2713 | 1742k| 4.1 | 81M|1513 | 9 |3713 | 20k|3713 | 960 | 162k| 564k|6666 | 0.000000e+00 | 1.300000e+01 | Inf 884.12/884.11 c 872s|440000 | 2701 | 1790k| 4.1 | 82M|1513 | - |3713 | 22k| 0 | 0 | 167k| 578k|6751 | 0.000000e+00 | 1.300000e+01 | Inf 907.81/907.86 c 895s|450000 | 2731 | 1838k| 4.1 | 84M|1513 | - |3713 | 25k| 0 | 0 | 173k| 591k|6839 | 0.000000e+00 | 1.300000e+01 | Inf 930.42/930.48 c 918s|460000 | 2643 | 1880k| 4.1 | 81M|1513 | 11 |3713 | 17k|3713 | 946 | 176k| 605k|6994 | 0.000000e+00 | 1.300000e+01 | Inf 949.72/949.76 c 937s|470000 | 2717 | 1911k| 4.1 | 83M|1513 | 1 |3713 | 19k|3713 | 947 | 178k| 618k|7064 | 0.000000e+00 | 1.300000e+01 | Inf 969.52/969.50 c 956s|480000 | 2767 | 1943k| 4.0 | 84M|1513 | 1 |3713 | 21k|3713 | 946 | 180k| 631k|7102 | 0.000000e+00 | 1.300000e+01 | Inf 990.72/990.70 c 977s|490000 | 2844 | 1981k| 4.0 | 86M|1513 | - |3713 | 23k| 0 | 0 | 184k| 645k|7156 | 0.000000e+00 | 1.300000e+01 | Inf 1013.52/1013.55 c 1000s|500000 | 2911 | 2022k| 4.0 | 87M|1513 | 15 |3713 | 23k|3713 | 948 | 189k| 658k|7221 | 0.000000e+00 | 1.300000e+01 | Inf 1034.72/1034.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1034.72/1034.74 c 1021s|510000 | 2953 | 2057k| 4.0 | 88M|1513 | - |3713 | 22k| 0 | 0 | 191k| 671k|7310 | 0.000000e+00 | 1.300000e+01 | Inf 1055.12/1055.12 c 1041s|520000 | 3033 | 2090k| 4.0 | 89M|1513 | - |3713 | 20k| 0 | 0 | 192k| 685k|7377 | 0.000000e+00 | 1.300000e+01 | Inf 1074.42/1074.49 c 1060s|530000 | 3087 | 2125k| 4.0 | 90M|1513 | - |3713 | 18k| 0 | 0 | 194k| 699k|7404 | 0.000000e+00 | 1.300000e+01 | Inf 1094.03/1094.06 c 1079s|540000 | 3139 | 2160k| 4.0 | 91M|1513 | 1 |3713 | 20k|3713 | 950 | 196k| 713k|7482 | 0.000000e+00 | 1.300000e+01 | Inf 1113.42/1113.41 c 1099s|550000 | 3134 | 2193k| 4.0 | 92M|1513 | - |3713 | 22k| 0 | 0 | 198k| 727k|7552 | 0.000000e+00 | 1.300000e+01 | Inf 1134.62/1134.64 c 1119s|560000 | 3218 | 2234k| 4.0 | 93M|1513 | 16 |3713 | 21k|3713 | 952 | 202k| 740k|7621 | 0.000000e+00 | 1.300000e+01 | Inf 1156.13/1156.19 c 1141s|570000 | 3258 | 2275k| 4.0 | 95M|1513 | 12 |3713 | 22k|3713 | 952 | 207k| 754k|7681 | 0.000000e+00 | 1.300000e+01 | Inf 1177.32/1177.33 c 1162s|580000 | 3278 | 2312k| 4.0 | 95M|1513 | - |3713 | 22k| 0 | 0 | 210k| 768k|7724 | 0.000000e+00 | 1.300000e+01 | Inf 1199.03/1199.05 c 1183s|590000 | 3312 | 2352k| 4.0 | 96M|1513 | 5 |3713 | 21k|3713 | 948 | 213k| 782k|7801 | 0.000000e+00 | 1.300000e+01 | Inf 1220.13/1220.11 c 1204s|600000 | 3412 | 2388k| 4.0 | 98M|1513 | - |3713 | 22k| 0 | 0 | 216k| 795k|7872 | 0.000000e+00 | 1.300000e+01 | Inf 1240.42/1240.49 c 1224s|610000 | 3492 | 2425k| 4.0 | 100M|1513 | 8 |3713 | 23k|3713 | 946 | 219k| 810k|7931 | 0.000000e+00 | 1.300000e+01 | Inf 1260.63/1260.67 c 1244s|620000 | 3521 | 2465k| 4.0 | 100M|1513 | - |3713 | 19k| 0 | 0 | 222k| 825k|7986 | 0.000000e+00 | 1.300000e+01 | Inf 1280.73/1280.78 c 1264s|630000 | 3529 | 2505k| 4.0 | 100M|1513 | - |3713 | 19k| 0 | 0 | 225k| 839k|8043 | 0.000000e+00 | 1.300000e+01 | Inf 1302.33/1302.38 c 1285s|640000 | 3691 | 2549k| 4.0 | 102M|1513 | 16 |3713 | 18k|3713 | 949 | 229k| 852k|8123 | 0.000000e+00 | 1.300000e+01 | Inf 1322.23/1322.25 c 1305s|650000 | 3707 | 2586k| 4.0 | 102M|1513 | 14 |3713 | 17k|3713 | 949 | 231k| 866k|8205 | 0.000000e+00 | 1.300000e+01 | Inf 1341.73/1341.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1341.73/1341.73 c 1324s|660000 | 3699 | 2624k| 4.0 | 103M|1513 | - |3713 | 17k| 0 | 0 | 233k| 880k|8240 | 0.000000e+00 | 1.300000e+01 | Inf 1361.54/1361.58 c 1343s|670000 | 3744 | 2664k| 4.0 | 104M|1513 | 11 |3713 | 18k|3713 | 961 | 236k| 894k|8302 | 0.000000e+00 | 1.300000e+01 | Inf 1381.33/1381.34 c 1363s|680000 | 3758 | 2699k| 4.0 | 104M|1513 | 1 |3713 | 18k|3713 | 948 | 238k| 908k|8373 | 0.000000e+00 | 1.300000e+01 | Inf 1400.83/1400.82 c 1382s|690000 | 3820 | 2733k| 4.0 | 106M|1513 | - |3713 | 18k| 0 | 0 | 240k| 921k|8418 | 0.000000e+00 | 1.300000e+01 | Inf 1419.63/1419.67 c 1401s|700000 | 3813 | 2764k| 3.9 | 106M|1513 | - |3713 | 18k| 0 | 0 | 242k| 934k|8455 | 0.000000e+00 | 1.300000e+01 | Inf 1439.23/1439.20 c 1420s|710000 | 3921 | 2800k| 3.9 | 108M|1513 | 9 |3713 | 19k|3713 | 946 | 243k| 948k|8522 | 0.000000e+00 | 1.300000e+01 | Inf 1459.03/1459.06 c 1440s|720000 | 4020 | 2836k| 3.9 | 108M|1513 | 1 |3713 | 17k|3713 | 946 | 246k| 962k|8557 | 0.000000e+00 | 1.300000e+01 | Inf 1478.73/1478.72 c 1459s|730000 | 4028 | 2870k| 3.9 | 110M|1513 | - |3713 | 19k| 0 | 0 | 248k| 975k|8595 | 0.000000e+00 | 1.300000e+01 | Inf 1497.73/1497.75 c 1478s|740000 | 4099 | 2904k| 3.9 | 111M|1513 | 8 |3713 | 19k|3713 | 946 | 249k| 989k|8658 | 0.000000e+00 | 1.300000e+01 | Inf 1517.73/1517.72 c 1498s|750000 | 4261 | 2939k| 3.9 | 113M|1513 | - |3713 | 20k| 0 | 0 | 251k|1003k|8707 | 0.000000e+00 | 1.300000e+01 | Inf 1536.75/1536.72 c 1516s|760000 | 4365 | 2969k| 3.9 | 115M|1513 | - |3713 | 22k| 0 | 0 | 252k|1018k|8727 | 0.000000e+00 | 1.300000e+01 | Inf 1556.84/1556.81 c 1536s|770000 | 4468 | 3000k| 3.9 | 117M|1513 | 5 |3713 | 22k|3713 | 946 | 253k|1031k|8787 | 0.000000e+00 | 1.300000e+01 | Inf 1576.44/1576.45 c 1555s|780000 | 4544 | 3032k| 3.9 | 119M|1513 | 1 |3713 | 23k|3713 | 946 | 254k|1046k|8819 | 0.000000e+00 | 1.300000e+01 | Inf 1596.34/1596.37 c 1575s|790000 | 4648 | 3065k| 3.9 | 120M|1513 | 8 |3713 | 22k|3713 | 946 | 256k|1061k|8844 | 0.000000e+00 | 1.300000e+01 | Inf 1615.64/1615.63 c 1594s|800000 | 4691 | 3097k| 3.9 | 122M|1513 | - |3713 | 23k| 0 | 0 | 257k|1075k|8906 | 0.000000e+00 | 1.300000e+01 | Inf 1635.54/1635.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1635.54/1635.53 c 1614s|810000 | 4841 | 3131k| 3.9 | 123M|1513 | - |3713 | 23k| 0 | 0 | 259k|1089k|8956 | 0.000000e+00 | 1.300000e+01 | Inf 1655.24/1655.20 c 1633s|820000 | 4993 | 3163k| 3.9 | 125M|1513 | - |3713 | 24k| 0 | 0 | 260k|1105k|8971 | 0.000000e+00 | 1.300000e+01 | Inf 1675.24/1675.20 c 1653s|830000 | 5046 | 3195k| 3.8 | 127M|1513 | - |3713 | 23k| 0 | 0 | 262k|1119k|9027 | 0.000000e+00 | 1.300000e+01 | Inf 1695.34/1695.31 c 1673s|840000 | 5131 | 3225k| 3.8 | 128M|1513 | - |3713 | 24k| 0 | 0 | 263k|1134k|9059 | 0.000000e+00 | 1.300000e+01 | Inf 1714.84/1714.88 c 1692s|850000 | 5230 | 3254k| 3.8 | 130M|1513 | - |3713 | 25k| 0 | 0 | 265k|1149k|9097 | 0.000000e+00 | 1.300000e+01 | Inf 1735.24/1735.26 c 1712s|860000 | 5257 | 3284k| 3.8 | 131M|1513 | - |3713 | 24k| 0 | 0 | 266k|1164k|9139 | 0.000000e+00 | 1.300000e+01 | Inf 1755.25/1755.21 c 1732s|870000 | 5334 | 3314k| 3.8 | 132M|1513 | 5 |3713 | 25k|3713 | 946 | 267k|1179k|9159 | 0.000000e+00 | 1.300000e+01 | Inf 1775.54/1775.50 c 1752s|880000 | 5441 | 3343k| 3.8 | 134M|1513 | 1 |3713 | 26k|3713 | 946 | 268k|1194k|9219 | 0.000000e+00 | 1.300000e+01 | Inf 1796.15/1796.11 c 1772s|890000 | 5519 | 3375k| 3.8 | 136M|1513 | - |3713 | 26k| 0 | 0 | 270k|1210k|9228 | 0.000000e+00 | 1.300000e+01 | Inf 1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.00 c 1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.00 c Solving Time (sec) : 1776.18 1800.05/1800.00 c Solving Nodes : 891863 1800.05/1800.00 c Primal Bound : +1.30000000000000e+01 (223 solutions) 1800.05/1800.00 c Dual Bound : +0.00000000000000e+00 1800.05/1800.00 c Gap : infinite 1800.05/1800.04 s SATISFIABLE 1800.05/1800.04 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 1800.05/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 1800.05/1800.04 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1800.05/1800.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.05/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 1800.05/1800.04 v x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 1800.05/1800.04 v -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 1800.05/1800.04 v x80 -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.05/1800.04 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 1800.05/1800.04 v x29 -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 1800.05/1800.04 v -x2 -x1 1800.05/1800.04 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.04 c Solving Time : 1776.18 1800.05/1800.04 c Original Problem : 1800.05/1800.04 c Problem name : HOME/instance-2692308-1277912131.wbo 1800.05/1800.04 c Variables : 3835 (2033 binary, 0 integer, 0 implicit integer, 1802 continuous) 1800.05/1800.04 c Constraints : 4510 initial, 4510 maximal 1800.05/1800.04 c Presolved Problem : 1800.05/1800.04 c Problem name : t_HOME/instance-2692308-1277912131.wbo 1800.05/1800.04 c Variables : 3713 (1972 binary, 0 integer, 0 implicit integer, 1741 continuous) 1800.05/1800.04 c Constraints : 4364 initial, 26975 maximal 1800.05/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.04 c trivial : 0.00 61 0 0 0 0 0 0 0 1800.05/1800.04 c dualfix : 0.00 61 0 0 0 0 0 0 0 1800.05/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0 1800.05/1800.04 c indicator : 0.00 0 0 0 0 0 61 0 0 1800.05/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.04 c linear : 0.04 0 0 0 1810 0 85 67 0 1800.05/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.05/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.04 c root node : - 1545 - - 3090 - - - - 1800.05/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.04 c integral : 0 0 0 525738 0 19 654 0 0 970310 1800.05/1800.04 c indicator : 1741 0 4854201 39883 0 628 5292823 0 0 0 1800.05/1800.04 c setppc : 9 6 4854867 37153 0 12609 1002298 0 0 0 1800.05/1800.04 c linear : 1741 6 4861290 39453 0 229105 23071144 270713 0 0 1800.05/1800.04 c logicor : 873+ 6 1735748 5040 0 200360 3960994 0 0 0 1800.05/1800.04 c bounddisjunction : 0+ 0 19736 0 0 0 0 0 0 0 1800.05/1800.04 c countsols : 0 0 0 5040 0 0 0 0 0 0 1800.05/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.04 c integral : 24.21 0.00 0.00 24.21 0.00 1800.05/1800.04 c indicator : 23.26 0.00 21.90 1.36 0.00 1800.05/1800.04 c setppc : 8.35 0.00 8.30 0.05 0.00 1800.05/1800.04 c linear : 146.10 0.01 144.61 1.48 0.00 1800.05/1800.04 c logicor : 244.43 0.00 244.40 0.03 0.00 1800.05/1800.04 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00 1800.05/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.04 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.04 c vbounds : 1.12 2 0 0 1800.05/1800.04 c rootredcost : 1.22 17 0 1545 1800.05/1800.04 c pseudoobj : 173.07 4889588 14343 4463629 1800.05/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.04 c propagation : 21.19 456417 456134 3014872 26.5 19271 20.7 - 1800.05/1800.04 c infeasible LP : 4.98 18259 18259 169288 39.9 267 13.2 0 1800.05/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.04 c pseudo solution : 0.03 70 70 395 16.0 11 11.0 - 1800.05/1800.04 c applied globally : - - - 1212975 20.5 - - - 1800.05/1800.04 c applied locally : - - - 0 0.0 - - - 1800.05/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.04 c cut pool : 0.00 4 - - 47 - (maximal pool size: 140) 1800.05/1800.04 c redcost : 29.06 535384 0 730348 0 0 1800.05/1800.04 c impliedbounds : 0.01 5 0 0 0 0 1800.05/1800.04 c intobj : 0.00 0 0 0 0 0 1800.05/1800.04 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.04 c gomory : 0.11 5 0 0 768 0 1800.05/1800.04 c strongcg : 0.06 5 0 0 31 0 1800.05/1800.04 c cmir : 0.03 5 0 0 0 0 1800.05/1800.04 c flowcover : 0.05 5 0 0 0 0 1800.05/1800.04 c clique : 0.00 5 0 0 0 0 1800.05/1800.04 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.04 c mcf : 0.01 1 0 0 0 0 1800.05/1800.04 c rapidlearning : 0.00 0 0 0 0 0 1800.05/1800.04 c Pricers : Time Calls Vars 1800.05/1800.04 c problem variables: 0.00 0 0 1800.05/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.04 c relpscost : 23.78 485678 19 654 0 0 970310 1800.05/1800.04 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.04 c inference : 0.32 5024 0 0 0 0 10048 1800.05/1800.04 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.04 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.04 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.04 c random : 0.00 0 0 0 0 0 0 1800.05/1800.04 c Primal Heuristics : Time Calls Found 1800.05/1800.04 c LP solutions : 0.02 - 16 1800.05/1800.04 c pseudo solutions : 0.00 - 0 1800.05/1800.04 c feaspump : 0.00 0 0 1800.05/1800.04 c oneopt : 0.41 15 0 1800.05/1800.04 c veclendiving : 0.03 22 0 1800.05/1800.04 c coefdiving : 0.03 23 0 1800.05/1800.04 c fracdiving : 0.01 23 0 1800.05/1800.04 c linesearchdiving : 0.03 23 0 1800.05/1800.04 c guideddiving : 0.05 23 0 1800.05/1800.04 c pscostdiving : 0.03 23 0 1800.05/1800.04 c rootsoldiving : 0.06 18 0 1800.05/1800.04 c objpscostdiving : 0.03 19 0 1800.05/1800.04 c crossover : 0.98 29 0 1800.05/1800.04 c trivial : 0.01 2 0 1800.05/1800.04 c simplerounding : 0.74 487817 0 1800.05/1800.04 c zirounding : 0.51 1000 0 1800.05/1800.04 c rounding : 2.40 9883 0 1800.05/1800.04 c shifting : 1.27 3092 0 1800.05/1800.04 c intshifting : 0.00 4 0 1800.05/1800.04 c twoopt : 0.00 0 0 1800.05/1800.04 c fixandinfer : 0.00 0 0 1800.05/1800.04 c intdiving : 0.00 0 0 1800.05/1800.04 c actconsdiving : 0.00 0 0 1800.05/1800.04 c octane : 0.00 0 0 1800.05/1800.04 c rens : 0.03 1 0 1800.05/1800.04 c rins : 0.00 0 0 1800.05/1800.04 c localbranching : 0.00 0 0 1800.05/1800.04 c mutation : 0.00 0 0 1800.05/1800.04 c dins : 0.00 0 0 1800.05/1800.04 c undercover : 0.00 0 0 1800.05/1800.04 c nlp : 0.22 0 0 1800.05/1800.04 c trysol : 3.48 7478 207 1800.05/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.04 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.04 c dual LP : 569.75 540831 3380415 6.25 5933.15 1800.05/1800.04 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.04 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.04 c diving/probing LP: 0.08 65 601 9.25 7512.50 1800.05/1800.04 c strong branching : 20.15 9243 111639 12.08 5540.40 1800.05/1800.04 c (at root node) : - 33 2641 80.03 - 1800.05/1800.04 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.04 c B&B Tree : 1800.05/1800.04 c number of runs : 1 1800.05/1800.04 c nodes : 891863 1800.05/1800.04 c nodes (total) : 891863 1800.05/1800.04 c nodes left : 5530 1800.05/1800.04 c max depth : 1513 1800.05/1800.04 c max depth (total): 1513 1800.05/1800.04 c backtracks : 86206 (9.7%) 1800.05/1800.04 c delayed cutoffs : 77501 1800.05/1800.04 c repropagations : 2216145 (8100646 domain reductions, 73620 cutoffs) 1800.05/1800.04 c avg switch length: 6.58 1800.05/1800.04 c switching time : 263.89 1800.05/1800.04 c Solution : 1800.05/1800.04 c Solutions found : 223 (17 improvements) 1800.05/1800.04 c First Solution : +8.77540000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>) 1800.05/1800.04 c Primal Bound : +1.30000000000000e+01 (in run 1, after 361031 nodes, 708.26 seconds, depth 48, found by <relaxation>) 1800.05/1800.04 c Dual Bound : +0.00000000000000e+00 1800.05/1800.04 c Gap : infinite 1800.05/1800.04 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.04 c Root Iterations : 174 1800.15/1800.19 c Time complete: 1800.24.
OK 13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692308-1277912131/watcher-2692308-1277912131 -o /tmp/evaluation-result-2692308-1277912131/solver-2692308-1277912131 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692308-1277912131.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.98 1.99 4/178 10485 /proc/meminfo: memFree=31522316/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=9408 CPUtime=0 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 1650 0 0 0 0 0 0 0 23 0 1 0 132510692 9633792 1570 4089446400 4194304 8223781 140735616113856 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10485/statm: 2352 1570 369 984 0 1365 0 [startup+0.0469309 s] /proc/loadavg: 1.85 1.98 1.99 4/178 10485 /proc/meminfo: memFree=31522316/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=28284 CPUtime=0.04 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 6431 0 0 0 4 0 0 0 23 0 1 0 132510692 28962816 5987 4089446400 4194304 8223781 140735616113856 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10485/statm: 7071 6006 416 984 0 6084 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 28284 [startup+0.100918 s] /proc/loadavg: 1.85 1.98 1.99 4/178 10485 /proc/meminfo: memFree=31522316/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=30204 CPUtime=0.09 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 7986 0 0 0 8 1 0 0 23 0 1 0 132510692 30928896 6514 4089446400 4194304 8223781 140735616113856 18446744073709551615 6207260 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10485/statm: 7551 6514 452 984 0 6564 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30204 [startup+0.300883 s] /proc/loadavg: 1.85 1.98 1.99 4/178 10485 /proc/meminfo: memFree=31522316/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=36036 CPUtime=0.29 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 11659 0 0 0 27 2 0 0 18 0 1 0 132510692 36900864 8105 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10485/statm: 9009 8105 570 984 0 8022 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36036 [startup+0.700806 s] /proc/loadavg: 1.85 1.98 1.99 4/178 10485 /proc/meminfo: memFree=31522316/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=40896 CPUtime=0.69 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 19752 0 0 0 65 4 0 0 18 0 1 0 132510692 41877504 9285 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10485/statm: 10224 9285 585 984 0 9237 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40896 [startup+1.50066 s] /proc/loadavg: 1.85 1.98 1.99 3/179 10486 /proc/meminfo: memFree=31486472/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=40896 CPUtime=1.49 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 19757 0 0 0 144 5 0 0 19 0 1 0 132510692 41877504 9290 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10485/statm: 10224 9290 587 984 0 9237 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40896 [startup+3.10039 s] /proc/loadavg: 1.86 1.98 1.99 3/179 10486 /proc/meminfo: memFree=31483372/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=43528 CPUtime=3.09 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 30073 0 0 0 303 6 0 0 24 0 1 0 132510692 44572672 9981 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10485/statm: 10882 9981 589 984 0 9895 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43528 [startup+6.30079 s] /proc/loadavg: 1.86 1.98 1.99 3/179 10486 /proc/meminfo: memFree=31481896/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=47048 CPUtime=6.29 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 45631 0 0 0 618 11 0 0 25 0 1 0 132510692 48177152 10849 4089446400 4194304 8223781 140735616113856 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10485/statm: 11762 10849 592 984 0 10775 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47048 [startup+12.7006 s] /proc/loadavg: 1.88 1.98 1.99 3/179 10486 /proc/meminfo: memFree=31473940/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=53992 CPUtime=12.69 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 60507 0 0 0 1250 19 0 0 25 0 1 0 132510692 55287808 12406 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10485/statm: 13498 12406 595 984 0 12511 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53992 [startup+25.5003 s] /proc/loadavg: 1.98 2.00 1.99 3/179 10487 /proc/meminfo: memFree=31458832/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=70004 CPUtime=25.49 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 76201 0 0 0 2511 38 0 0 25 0 1 0 132510692 71684096 16393 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 17501 16393 595 984 0 16514 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 70004 [startup+51.1006 s] /proc/loadavg: 1.99 2.00 1.99 3/179 10488 /proc/meminfo: memFree=31430456/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=99184 CPUtime=51.09 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 99443 0 0 0 5031 78 0 0 25 0 1 0 132510692 101564416 23452 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 24796 23452 597 984 0 23809 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 99184 [startup+102.306 s] /proc/loadavg: 1.99 2.00 1.99 3/179 10489 /proc/meminfo: memFree=31399296/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=131308 CPUtime=102.3 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 147746 0 0 0 10076 154 0 0 25 0 1 0 132510692 134459392 30923 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 32827 30923 604 984 0 31840 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 131308 [startup+162.3 s] /proc/loadavg: 1.99 2.00 1.99 3/179 10490 /proc/meminfo: memFree=31371592/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=157984 CPUtime=162.29 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 163380 0 0 0 15990 239 0 0 25 0 1 0 132510692 161775616 37079 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 39496 37079 604 984 0 38509 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 157984 [startup+222.3 s] /proc/loadavg: 1.99 2.00 1.99 3/179 10492 /proc/meminfo: memFree=31356176/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=171200 CPUtime=222.29 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 185519 0 0 0 21904 325 0 0 25 0 1 0 132510692 175308800 40231 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 42800 40231 604 984 0 41813 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 171200 [startup+282.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 10494 /proc/meminfo: memFree=31345816/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=179404 CPUtime=282.3 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 207103 0 0 0 27822 408 0 0 25 0 1 0 132510692 183709696 42171 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 44851 42171 604 984 0 43864 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 179404 [startup+342.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 10496 /proc/meminfo: memFree=31335720/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=188584 CPUtime=342.3 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 227504 0 0 0 33731 499 0 0 25 0 1 0 132510692 193110016 44473 4089446400 4194304 8223781 140735616113856 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 47146 44473 604 984 0 46159 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 188584 [startup+402.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 10497 /proc/meminfo: memFree=31330844/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=192920 CPUtime=402.3 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 236885 0 0 0 39650 580 0 0 25 0 1 0 132510692 197550080 45563 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 48230 45563 604 984 0 47243 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 192920 [startup+462.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 10498 /proc/meminfo: memFree=31324592/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=197336 CPUtime=462.3 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 239157 0 0 0 45568 662 0 0 25 0 1 0 132510692 202072064 46658 4089446400 4194304 8223781 140735616113856 18446744073709551615 5000337 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 49334 46658 604 984 0 48347 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 197336 [startup+522.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 10500 /proc/meminfo: memFree=31319200/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=202820 CPUtime=522.3 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 244642 0 0 0 51485 745 0 0 25 0 1 0 132510692 207687680 47954 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 50705 47954 604 984 0 49718 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 202820 [startup+582.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 10502 /proc/meminfo: memFree=31321272/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=204192 CPUtime=582.31 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 244914 0 0 0 57408 823 0 0 25 0 1 0 132510692 209092608 48225 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 51048 48225 604 984 0 50061 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 204192 [startup+642.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 10504 /proc/meminfo: memFree=31316992/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=208760 CPUtime=642.32 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 246675 0 0 0 63336 896 0 0 25 0 1 0 132510692 213770240 49263 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 52190 49263 604 984 0 51203 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 208760 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 1.97 1.98 3/179 10686 /proc/meminfo: memFree=31555684/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=219556 CPUtime=882.32 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 278331 0 0 0 87021 1211 0 0 25 0 1 0 132510692 224825344 51794 4089446400 4194304 8223781 140735616113856 18446744073709551615 6439625 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 54889 51794 604 984 0 53902 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 219556 [startup+942.3 s] /proc/loadavg: 2.00 1.97 1.98 3/179 10688 /proc/meminfo: memFree=31544956/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=222276 CPUtime=942.31 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 280415 0 0 0 92954 1277 0 0 25 0 1 0 132510692 227610624 52415 4089446400 4194304 8223781 140735616113856 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 55569 52415 604 984 0 54582 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 222276 [startup+1002.3 s] /proc/loadavg: 2.00 1.97 1.98 3/179 10689 /proc/meminfo: memFree=31534352/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=224044 CPUtime=1002.32 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 280764 0 0 0 98882 1350 0 0 25 0 1 0 132510692 229421056 52751 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 56011 52751 604 984 0 55024 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 224044 [startup+1062.3 s] /proc/loadavg: 2.00 1.97 1.98 3/179 10690 /proc/meminfo: memFree=31521028/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=228864 CPUtime=1062.32 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 281916 0 0 0 104808 1424 0 0 25 0 1 0 132510692 234356736 53853 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 57216 53853 604 984 0 56229 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 228864 [startup+1122.3 s] /proc/loadavg: 2.00 1.97 1.98 3/179 10692 /proc/meminfo: memFree=31511312/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=230540 CPUtime=1122.32 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 282325 0 0 0 110731 1501 0 0 25 0 1 0 132510692 236072960 54259 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 57635 54259 604 984 0 56648 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 230540 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.98 3/179 10694 /proc/meminfo: memFree=31498608/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=236012 CPUtime=1182.32 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 285040 0 0 0 116657 1575 0 0 25 0 1 0 132510692 241676288 55504 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 59003 55504 604 984 0 58016 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 236012 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.98 3/179 10696 /proc/meminfo: memFree=31487140/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=241052 CPUtime=1242.33 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 286146 0 0 0 122586 1647 0 0 25 0 1 0 132510692 246837248 56597 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 60263 56597 604 984 0 59276 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 241052 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.98 3/179 10697 /proc/meminfo: memFree=31475072/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=244184 CPUtime=1302.33 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 286857 0 0 0 128504 1729 0 0 25 0 1 0 132510692 250044416 57280 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 61046 57280 604 984 0 60059 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 244184 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.98 3/179 10698 /proc/meminfo: memFree=31467960/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=246408 CPUtime=1362.33 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 287398 0 0 0 134422 1811 0 0 25 0 1 0 132510692 252321792 57772 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 61602 57772 607 984 0 60615 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 246408 [startup+1422.31 s] /proc/loadavg: 2.05 1.99 1.99 3/179 10700 /proc/meminfo: memFree=31456772/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=248364 CPUtime=1422.34 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 287826 0 0 0 140337 1897 0 0 25 0 1 0 132510692 254324736 58185 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 62091 58185 607 984 0 61104 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 248364 [startup+1482.3 s] /proc/loadavg: 2.02 1.99 1.99 3/179 10702 /proc/meminfo: memFree=31447292/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=252096 CPUtime=1482.34 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 288736 0 0 0 146259 1975 0 0 25 0 1 0 132510692 258146304 59068 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 63024 59068 607 984 0 62037 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 252096 [startup+1542.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 10713 /proc/meminfo: memFree=31427812/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=260316 CPUtime=1542.33 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 290637 0 0 0 152178 2055 0 0 25 0 1 0 132510692 266563584 60950 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 65079 60950 610 984 0 64092 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 260316 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 10714 /proc/meminfo: memFree=31414364/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=267232 CPUtime=1602.34 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 293633 0 0 0 158097 2137 0 0 25 0 1 0 132510692 273645568 62512 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 66808 62512 609 984 0 65821 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 267232 [startup+1662.3 s] /proc/loadavg: 2.06 2.01 1.99 3/179 10715 /proc/meminfo: memFree=31402656/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=271904 CPUtime=1662.34 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 294726 0 0 0 164020 2214 0 0 25 0 1 0 132510692 278429696 63601 4089446400 4194304 8223781 140735616113856 18446744073709551615 4431658 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 67976 63601 608 984 0 66989 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 271904 [startup+1722.3 s] /proc/loadavg: 2.02 2.00 1.99 3/179 10717 /proc/meminfo: memFree=31390456/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=276532 CPUtime=1722.34 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 295789 0 0 0 169945 2289 0 0 25 0 1 0 132510692 283168768 64641 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 69133 64641 607 984 0 68146 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 276532 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 1.99 3/179 10719 /proc/meminfo: memFree=31377620/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=281832 CPUtime=1782.34 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 296962 0 0 0 175870 2364 0 0 25 0 1 0 132510692 288595968 65814 4089446400 4194304 8223781 140735616113856 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 70458 65814 607 984 0 69471 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 281832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.99 3/179 10719 /proc/meminfo: memFree=31374628/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=283736 CPUtime=1800.05 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 297400 0 0 0 177620 2385 0 0 25 0 1 0 132510692 290545664 66252 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10485/statm: 70934 66252 607 984 0 69947 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 283736 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.00 2.00 1.99 3/179 10719 /proc/meminfo: memFree=31374628/32951124 swapFree=67111528/67111528 [pid=10485] ppid=10483 vsize=283808 CPUtime=1800.15 /proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 297418 0 0 0 177630 2385 0 0 25 0 1 0 132510692 290619392 66270 4089446400 4194304 8223781 140735616113856 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/10485/statm: 70952 66270 609 984 0 69965 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 283808 Child status: 0 Real time (s): 1800.2 CPU time (s): 1800.25 CPU user time (s): 1776.39 CPU system time (s): 23.8644 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 283808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.39 system time used= 23.8644 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 297422 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= 3335 runsolver used 3.2715 second user time and 6.33704 second system time The end
Begin job on node104 at 2010-06-30 17:35:32 IDJOB=2692308 IDBENCH=78994 IDSOLVER=1204 FILE ID=node104/2692308-1277912131 PBS_JOBID= 11197288 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692308-1277912131/watcher-2692308-1277912131 -o /tmp/evaluation-result-2692308-1277912131/solver-2692308-1277912131 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692308-1277912131.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d8302a34385139d2b71dca1f77dee50d RANDOM SEED=1907492382 node104.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.839 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.67 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.12 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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.84 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.839 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.839 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.83 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.839 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.839 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31522844 kB Buffers: 190940 kB Cached: 701288 kB SwapCached: 0 kB Active: 750596 kB Inactive: 537156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31522844 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4808 kB Writeback: 0 kB AnonPages: 395596 kB Mapped: 16920 kB Slab: 77036 kB PageTables: 5340 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 543052 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= 74204 MiB End job on node104 at 2010-06-30 18:05:34