Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | ? (TO) | 1800.05 | 1800.41 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb |
MD5SUM | e70f8e0da8fa345ba6e82dce1b0133d2 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 9.75052 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2952 |
Sum of products size (including duplicates) | 5904 |
Number of different products | 1476 |
Sum of products size | 2952 |
0.00/0.03 c 2012-05-27T17:58:54+0200 0.00/0.03 c arch = x86_64 0.00/0.03 c os = linux 0.00/0.03 c compiler = ghc 7.4 0.00/0.03 c packages: 0.00/0.03 c OptDir-0.0.1 0.00/0.03 c array-0.4.0.0 0.00/0.03 c base-4.5.0.0 0.00/0.03 c bytestring-0.9.2.1 0.00/0.03 c containers-0.4.2.1 0.00/0.03 c deepseq-1.3.0.0 0.00/0.03 c mtl-2.1.1 0.00/0.03 c old_locale-1.0.0.4 0.00/0.03 c parse_dimacs-1.2 0.00/0.03 c parsec-3.1.2 0.00/0.03 c queue-0.1.2 0.00/0.03 c stm-2.3 0.00/0.03 c time-1.4 0.00/0.03 c command line = ["--pb","HOME/instance-3707266-1338134334.opb"] 0.00/0.03 c #vars 100 0.00/0.03 c #constraints 151 0.00/0.03 c Solving starts ... 0.09/0.11 c solving time = 0.078s 0.09/0.11 c #decision = 1248 0.09/0.11 c #conflict = 118 0.09/0.11 c #restart = 1 0.09/0.11 o -4 0.09/0.11 c Solving starts ... 0.09/0.12 c solving time = 0.007s 0.09/0.12 c #decision = 1298 0.09/0.12 c #conflict = 128 0.09/0.12 c #restart = 1 0.09/0.12 o -5 0.09/0.12 c Solving starts ... 1.28/1.37 c solving time = 1.254s 1.28/1.37 c #decision = 7327 1.28/1.37 c #conflict = 4535 1.28/1.37 c #restart = 8 1.28/1.37 o -6 1.28/1.37 c Solving starts ... 1.28/1.38 c learnt constraints deletion: 4527 -> 2264 1.38/1.44 c learnt constraints deletion: 2264 -> 1132 2.39/2.49 c learnt constraints deletion: 4348 -> 2174 3.69/3.79 c learnt constraints deletion: 5851 -> 2930 5.29/5.30 c learnt constraints deletion: 6347 -> 3180 6.49/6.51 c learnt constraints deletion: 5925 -> 2966 7.79/7.80 c learnt constraints deletion: 6501 -> 3261 8.99/9.01 c learnt constraints deletion: 6565 -> 3298 10.18/10.23 c learnt constraints deletion: 7153 -> 3593 11.69/11.72 c learnt constraints deletion: 7705 -> 3869 12.99/13.07 c learnt constraints deletion: 7194 -> 3597 14.48/14.51 c learnt constraints deletion: 6962 -> 3485 15.99/16.05 c learnt constraints deletion: 7327 -> 3671 17.78/17.83 c learnt constraints deletion: 7991 -> 3996 19.79/19.83 c learnt constraints deletion: 8500 -> 4253 21.99/22.05 c learnt constraints deletion: 8532 -> 4268 23.39/23.47 c learnt constraints deletion: 7872 -> 3937 25.38/25.48 c learnt constraints deletion: 8642 -> 4323 27.29/27.40 c learnt constraints deletion: 8761 -> 4383 29.19/29.29 c learnt constraints deletion: 8529 -> 4268 31.48/31.54 c learnt constraints deletion: 8827 -> 4416 33.58/33.62 c learnt constraints deletion: 8726 -> 4367 35.68/35.79 c learnt constraints deletion: 9259 -> 4630 37.58/37.67 c learnt constraints deletion: 9339 -> 4672 40.18/40.26 c learnt constraints deletion: 9917 -> 4959 42.68/42.70 c learnt constraints deletion: 10032 -> 5016 44.68/44.77 c learnt constraints deletion: 9613 -> 4807 47.38/47.47 c learnt constraints deletion: 10047 -> 5032 49.58/49.68 c learnt constraints deletion: 9886 -> 4943 52.18/52.23 c learnt constraints deletion: 10103 -> 5052 54.38/54.40 c learnt constraints deletion: 9979 -> 4990 56.78/56.82 c learnt constraints deletion: 9841 -> 4926 59.08/59.14 c learnt constraints deletion: 9656 -> 4828 61.58/61.63 c learnt constraints deletion: 10892 -> 5449 63.68/63.72 c learnt constraints deletion: 9993 -> 4997 65.98/66.04 c learnt constraints deletion: 10679 -> 5346 67.88/67.94 c solving time = 66.555s 67.88/67.94 c #decision = 265785 67.88/67.94 c #conflict = 157184 67.88/67.94 c #restart = 24 67.88/67.94 o -7 67.88/67.94 c Solving starts ... 67.98/68.08 c learnt constraints deletion: 10153 -> 5077 68.08/68.16 c learnt constraints deletion: 5077 -> 2539 68.08/68.18 c learnt constraints deletion: 2539 -> 1270 69.28/69.32 c learnt constraints deletion: 4486 -> 2243 70.38/70.40 c learnt constraints deletion: 4968 -> 2484 71.78/71.85 c learnt constraints deletion: 5813 -> 2907 73.68/73.72 c learnt constraints deletion: 6850 -> 3430 74.78/74.81 c learnt constraints deletion: 6116 -> 3059 76.88/76.96 c learnt constraints deletion: 7417 -> 3709 78.18/78.20 c learnt constraints deletion: 6441 -> 3221 80.18/80.26 c learnt constraints deletion: 7568 -> 3784 81.68/81.73 c learnt constraints deletion: 7472 -> 3743 83.28/83.31 c learnt constraints deletion: 7239 -> 3624 85.18/85.22 c learnt constraints deletion: 7813 -> 3907 87.07/87.14 c learnt constraints deletion: 8177 -> 4089 88.88/88.91 c learnt constraints deletion: 7962 -> 3981 90.27/90.39 c learnt constraints deletion: 7256 -> 3628 91.98/92.06 c learnt constraints deletion: 7830 -> 3925 93.27/93.37 c learnt constraints deletion: 7286 -> 3643 95.68/95.72 c learnt constraints deletion: 8879 -> 4458 97.67/97.80 c learnt constraints deletion: 9261 -> 4632 99.58/99.63 c learnt constraints deletion: 9272 -> 4659 101.58/101.62 c learnt constraints deletion: 9248 -> 4646 103.97/104.04 c learnt constraints deletion: 9152 -> 4576 105.87/105.90 c learnt constraints deletion: 8951 -> 4476 107.78/107.84 c learnt constraints deletion: 9860 -> 4942 109.67/109.71 c learnt constraints deletion: 9360 -> 4694 111.77/111.84 c learnt constraints deletion: 9785 -> 4907 113.77/113.80 c learnt constraints deletion: 9307 -> 4668 115.57/115.69 c learnt constraints deletion: 9394 -> 4697 117.87/117.97 c learnt constraints deletion: 9657 -> 4830 119.67/119.80 c learnt constraints deletion: 9366 -> 4692 121.98/122.06 c learnt constraints deletion: 9930 -> 4972 124.57/124.60 c learnt constraints deletion: 10033 -> 5034 126.67/126.79 c learnt constraints deletion: 10732 -> 5366 128.67/128.78 c learnt constraints deletion: 10490 -> 5274 130.87/130.96 c learnt constraints deletion: 10843 -> 5422 132.87/132.99 c learnt constraints deletion: 10325 -> 5166 135.07/135.11 c learnt constraints deletion: 10901 -> 5483 137.07/137.16 c learnt constraints deletion: 10844 -> 5440 139.67/139.73 c learnt constraints deletion: 10710 -> 5373 141.77/141.90 c learnt constraints deletion: 9890 -> 4946 144.16/144.24 c learnt constraints deletion: 10393 -> 5202 146.86/146.97 c learnt constraints deletion: 10757 -> 5385 149.16/149.21 c learnt constraints deletion: 9756 -> 4880 151.47/151.58 c learnt constraints deletion: 10505 -> 5256 154.16/154.28 c learnt constraints deletion: 10983 -> 5495 156.96/157.01 c learnt constraints deletion: 11444 -> 5739 159.86/159.96 c learnt constraints deletion: 11937 -> 5969 162.67/162.77 c learnt constraints deletion: 11934 -> 5967 165.06/165.13 c learnt constraints deletion: 11515 -> 5758 167.47/167.50 c learnt constraints deletion: 11720 -> 5870 170.06/170.10 c learnt constraints deletion: 11711 -> 5857 172.46/172.57 c learnt constraints deletion: 11846 -> 5942 174.87/174.96 c learnt constraints deletion: 11424 -> 5719 177.36/177.41 c learnt constraints deletion: 11254 -> 5627 179.86/179.90 c learnt constraints deletion: 11765 -> 5902 181.96/182.05 c learnt constraints deletion: 11794 -> 5899 184.46/184.57 c learnt constraints deletion: 11488 -> 5751 187.16/187.20 c learnt constraints deletion: 11877 -> 5942 189.36/189.42 c learnt constraints deletion: 10949 -> 5478 192.15/192.23 c learnt constraints deletion: 11282 -> 5647 194.57/194.62 c learnt constraints deletion: 11177 -> 5596 196.76/196.88 c learnt constraints deletion: 11658 -> 5829 200.46/200.54 c learnt constraints deletion: 11882 -> 5941 203.36/203.40 c learnt constraints deletion: 12731 -> 6376 206.06/206.18 c learnt constraints deletion: 12425 -> 6237 209.26/209.38 c learnt constraints deletion: 12475 -> 6239 212.65/212.78 c learnt constraints deletion: 12660 -> 6330 215.16/215.23 c learnt constraints deletion: 12647 -> 6333 217.86/217.94 c learnt constraints deletion: 12654 -> 6331 220.55/220.65 c learnt constraints deletion: 12371 -> 6188 223.55/223.64 c learnt constraints deletion: 12833 -> 6419 226.35/226.43 c learnt constraints deletion: 12272 -> 6138 228.76/228.88 c learnt constraints deletion: 12133 -> 6067 231.45/231.54 c learnt constraints deletion: 12657 -> 6332 233.96/234.06 c learnt constraints deletion: 12765 -> 6384 236.76/236.84 c learnt constraints deletion: 12837 -> 6420 239.75/239.85 c learnt constraints deletion: 12849 -> 6426 242.85/242.92 c learnt constraints deletion: 12819 -> 6411 245.75/245.89 c learnt constraints deletion: 12812 -> 6407 248.65/248.72 c learnt constraints deletion: 12949 -> 6485 251.25/251.34 c learnt constraints deletion: 12774 -> 6395 254.05/254.18 c learnt constraints deletion: 12868 -> 6435 257.05/257.13 c learnt constraints deletion: 12961 -> 6482 259.85/259.93 c learnt constraints deletion: 12903 -> 6455 263.35/263.48 c learnt constraints deletion: 14073 -> 7037 267.45/267.54 c learnt constraints deletion: 13615 -> 6808 271.14/271.20 c learnt constraints deletion: 14072 -> 7058 273.95/274.01 c learnt constraints deletion: 13119 -> 6562 277.05/277.18 c learnt constraints deletion: 13348 -> 6680 280.35/280.41 c learnt constraints deletion: 14113 -> 7057 283.35/283.40 c learnt constraints deletion: 13508 -> 6754 286.54/286.68 c learnt constraints deletion: 13455 -> 6732 289.64/289.74 c learnt constraints deletion: 13375 -> 6691 293.24/293.30 c learnt constraints deletion: 13790 -> 6898 296.85/296.96 c learnt constraints deletion: 14135 -> 7068 300.74/300.81 c learnt constraints deletion: 13898 -> 6949 304.14/304.29 c learnt constraints deletion: 14072 -> 7036 308.04/308.17 c learnt constraints deletion: 14016 -> 7008 311.14/311.29 c learnt constraints deletion: 13809 -> 6905 314.54/314.67 c learnt constraints deletion: 14098 -> 7056 317.64/317.72 c learnt constraints deletion: 13316 -> 6658 321.15/321.21 c learnt constraints deletion: 13343 -> 6672 324.84/324.94 c learnt constraints deletion: 13930 -> 6965 327.93/328.07 c learnt constraints deletion: 13678 -> 6839 330.94/331.02 c learnt constraints deletion: 13741 -> 6877 334.14/334.27 c learnt constraints deletion: 13359 -> 6680 337.13/337.22 c learnt constraints deletion: 14106 -> 7075 340.14/340.21 c learnt constraints deletion: 13974 -> 6992 343.34/343.43 c learnt constraints deletion: 13923 -> 6963 346.64/346.78 c learnt constraints deletion: 14029 -> 7025 349.94/350.00 c learnt constraints deletion: 14100 -> 7052 353.74/353.80 c learnt constraints deletion: 13177 -> 6593 356.74/356.89 c learnt constraints deletion: 13907 -> 6960 359.44/359.56 c learnt constraints deletion: 13549 -> 6781 363.14/363.26 c learnt constraints deletion: 14066 -> 7039 367.04/367.18 c learnt constraints deletion: 13802 -> 6907 371.13/371.21 c learnt constraints deletion: 15280 -> 7646 375.43/375.58 c learnt constraints deletion: 14763 -> 7384 379.73/379.89 c learnt constraints deletion: 14877 -> 7440 383.73/383.84 c learnt constraints deletion: 14418 -> 7209 387.93/388.00 c learnt constraints deletion: 15148 -> 7574 391.73/391.85 c learnt constraints deletion: 15288 -> 7646 396.33/396.49 c learnt constraints deletion: 15325 -> 7667 400.34/400.46 c learnt constraints deletion: 14835 -> 7425 404.23/404.37 c learnt constraints deletion: 14496 -> 7253 408.13/408.22 c learnt constraints deletion: 14965 -> 7486 411.53/411.60 c learnt constraints deletion: 15246 -> 7624 414.82/414.98 c learnt constraints deletion: 15169 -> 7588 418.63/418.71 c learnt constraints deletion: 15162 -> 7584 422.23/422.38 c learnt constraints deletion: 15157 -> 7582 426.02/426.13 c learnt constraints deletion: 14728 -> 7367 429.73/429.87 c learnt constraints deletion: 15023 -> 7515 433.12/433.30 c learnt constraints deletion: 15151 -> 7580 437.12/437.29 c learnt constraints deletion: 14711 -> 7359 440.72/440.83 c learnt constraints deletion: 14859 -> 7433 444.42/444.54 c learnt constraints deletion: 14931 -> 7469 448.63/448.73 c learnt constraints deletion: 15277 -> 7642 452.03/452.17 c learnt constraints deletion: 14976 -> 7491 455.42/455.54 c learnt constraints deletion: 15178 -> 7595 458.82/458.98 c learnt constraints deletion: 15137 -> 7600 462.52/462.69 c learnt constraints deletion: 15242 -> 7626 465.82/465.92 c learnt constraints deletion: 14782 -> 7401 469.52/469.61 c learnt constraints deletion: 15324 -> 7669 472.82/473.00 c learnt constraints deletion: 15370 -> 7697 476.61/476.74 c learnt constraints deletion: 15304 -> 7666 480.81/480.92 c learnt constraints deletion: 15375 -> 7700 484.61/484.74 c learnt constraints deletion: 15381 -> 7703 488.22/488.30 c learnt constraints deletion: 15358 -> 7691 491.41/491.57 c learnt constraints deletion: 15344 -> 7684 495.01/495.16 c learnt constraints deletion: 15198 -> 7609 499.22/499.33 c learnt constraints deletion: 15317 -> 7667 502.71/502.88 c learnt constraints deletion: 15042 -> 7532 505.82/505.92 c learnt constraints deletion: 14659 -> 7340 509.41/509.52 c learnt constraints deletion: 15077 -> 7552 513.01/513.11 c learnt constraints deletion: 15218 -> 7612 517.31/517.48 c learnt constraints deletion: 15188 -> 7599 520.81/520.92 c learnt constraints deletion: 15170 -> 7594 524.30/524.40 c learnt constraints deletion: 15271 -> 7644 528.11/528.20 c learnt constraints deletion: 15158 -> 7596 531.40/531.52 c learnt constraints deletion: 15076 -> 7551 535.80/535.98 c learnt constraints deletion: 16242 -> 8129 541.01/541.17 c learnt constraints deletion: 16682 -> 8341 545.41/545.54 c learnt constraints deletion: 16669 -> 8345 548.81/548.94 c learnt constraints deletion: 16308 -> 8154 553.01/553.11 c learnt constraints deletion: 16220 -> 8110 557.40/557.54 c learnt constraints deletion: 16775 -> 8388 561.70/561.89 c learnt constraints deletion: 16690 -> 8347 566.10/566.29 c learnt constraints deletion: 16692 -> 8350 570.20/570.35 c learnt constraints deletion: 15911 -> 7956 575.21/575.35 c learnt constraints deletion: 16587 -> 8294 579.70/579.82 c learnt constraints deletion: 16579 -> 8295 583.50/583.69 c learnt constraints deletion: 16419 -> 8210 587.80/587.91 c learnt constraints deletion: 16649 -> 8330 591.61/591.72 c learnt constraints deletion: 16598 -> 8315 595.70/595.86 c learnt constraints deletion: 16636 -> 8323 599.59/599.75 c learnt constraints deletion: 16419 -> 8219 603.29/603.44 c learnt constraints deletion: 16691 -> 8357 607.59/607.71 c learnt constraints deletion: 16589 -> 8319 611.49/611.62 c learnt constraints deletion: 16597 -> 8310 616.48/616.68 c learnt constraints deletion: 16701 -> 8358 621.40/621.58 c learnt constraints deletion: 16428 -> 8227 625.38/625.53 c learnt constraints deletion: 16746 -> 8373 629.69/629.84 c learnt constraints deletion: 16548 -> 8274 633.28/633.45 c learnt constraints deletion: 15941 -> 7971 637.98/638.19 c learnt constraints deletion: 16632 -> 8318 642.38/642.55 c learnt constraints deletion: 16541 -> 8289 646.48/646.61 c learnt constraints deletion: 16432 -> 8216 650.77/650.90 c learnt constraints deletion: 16630 -> 8335 654.39/654.55 c learnt constraints deletion: 16687 -> 8344 658.68/658.81 c learnt constraints deletion: 16744 -> 8391 662.18/662.32 c learnt constraints deletion: 16284 -> 8142 666.17/666.33 c learnt constraints deletion: 16515 -> 8265 670.37/670.59 c learnt constraints deletion: 16437 -> 8237 674.58/674.72 c learnt constraints deletion: 16321 -> 8161 678.38/678.54 c learnt constraints deletion: 16414 -> 8230 682.37/682.50 c learnt constraints deletion: 16188 -> 8095 686.37/686.50 c learnt constraints deletion: 16461 -> 8248 690.07/690.22 c learnt constraints deletion: 16605 -> 8308 693.98/694.15 c learnt constraints deletion: 16599 -> 8305 697.87/698.04 c learnt constraints deletion: 16376 -> 8203 701.77/701.94 c learnt constraints deletion: 16262 -> 8137 705.27/705.48 c learnt constraints deletion: 16545 -> 8293 709.47/709.67 c learnt constraints deletion: 16509 -> 8265 713.27/713.45 c learnt constraints deletion: 16575 -> 8307 716.87/717.09 c learnt constraints deletion: 16365 -> 8197 720.77/720.90 c learnt constraints deletion: 16639 -> 8333 724.97/725.12 c learnt constraints deletion: 16595 -> 8311 729.47/729.68 c learnt constraints deletion: 16655 -> 8341 733.58/733.73 c learnt constraints deletion: 16689 -> 8365 737.57/737.73 c learnt constraints deletion: 16565 -> 8298 741.77/741.93 c learnt constraints deletion: 16738 -> 8373 746.06/746.25 c learnt constraints deletion: 16394 -> 8199 750.97/751.10 c learnt constraints deletion: 16422 -> 8226 754.66/754.89 c learnt constraints deletion: 16634 -> 8320 758.56/758.71 c learnt constraints deletion: 15854 -> 7929 762.66/762.80 c learnt constraints deletion: 16640 -> 8324 766.26/766.42 c learnt constraints deletion: 15971 -> 7990 770.47/770.62 c learnt constraints deletion: 16465 -> 8241 774.27/774.48 c learnt constraints deletion: 16462 -> 8237 778.16/778.31 c learnt constraints deletion: 16614 -> 8317 782.76/782.95 c learnt constraints deletion: 17807 -> 8913 786.96/787.18 c learnt constraints deletion: 18014 -> 9012 792.15/792.34 c learnt constraints deletion: 18221 -> 9111 796.56/796.76 c learnt constraints deletion: 17707 -> 8855 800.66/800.88 c learnt constraints deletion: 18232 -> 9122 805.25/805.48 c learnt constraints deletion: 18120 -> 9065 810.56/810.72 c learnt constraints deletion: 18076 -> 9051 815.25/815.42 c learnt constraints deletion: 18100 -> 9054 820.04/820.22 c learnt constraints deletion: 17796 -> 8913 824.24/824.43 c learnt constraints deletion: 18049 -> 9038 828.84/829.00 c learnt constraints deletion: 18041 -> 9031 833.43/833.62 c learnt constraints deletion: 17958 -> 8995 838.04/838.26 c learnt constraints deletion: 17545 -> 8783 842.74/842.99 c learnt constraints deletion: 18009 -> 9017 846.94/847.17 c learnt constraints deletion: 18097 -> 9070 851.43/851.63 c learnt constraints deletion: 18177 -> 9108 856.74/856.96 c learnt constraints deletion: 18226 -> 9130 862.24/862.42 c learnt constraints deletion: 18215 -> 9120 866.43/866.67 c learnt constraints deletion: 17595 -> 8800 871.13/871.36 c learnt constraints deletion: 17973 -> 8998 875.34/875.51 c learnt constraints deletion: 18167 -> 9084 880.13/880.36 c learnt constraints deletion: 17806 -> 8905 885.72/885.99 c learnt constraints deletion: 17643 -> 8822 891.73/892.00 c learnt constraints deletion: 18150 -> 9075 896.73/896.91 c learnt constraints deletion: 17825 -> 8913 901.13/901.35 c learnt constraints deletion: 17547 -> 8774 906.42/906.61 c learnt constraints deletion: 17869 -> 8937 910.42/910.60 c learnt constraints deletion: 18163 -> 9092 914.72/914.94 c learnt constraints deletion: 17780 -> 8898 919.12/919.38 c learnt constraints deletion: 17955 -> 8983 924.23/924.44 c learnt constraints deletion: 17746 -> 8878 929.22/929.42 c learnt constraints deletion: 17816 -> 8913 933.63/933.84 c learnt constraints deletion: 18230 -> 9120 938.52/938.77 c learnt constraints deletion: 18129 -> 9070 943.52/943.71 c learnt constraints deletion: 17704 -> 8857 948.72/948.95 c learnt constraints deletion: 18144 -> 9075 953.82/954.02 c learnt constraints deletion: 18004 -> 9008 958.52/958.78 c learnt constraints deletion: 18083 -> 9067 962.41/962.69 c learnt constraints deletion: 18229 -> 9115 967.31/967.54 c learnt constraints deletion: 18103 -> 9055 972.51/972.79 c learnt constraints deletion: 18057 -> 9048 976.61/976.88 c learnt constraints deletion: 18052 -> 9026 981.21/981.44 c learnt constraints deletion: 18209 -> 9107 985.11/985.38 c learnt constraints deletion: 17407 -> 8704 989.00/989.20 c learnt constraints deletion: 18039 -> 9020 993.50/993.76 c learnt constraints deletion: 18051 -> 9026 999.40/999.61 c learnt constraints deletion: 18120 -> 9060 1005.69/1005.93 c learnt constraints deletion: 18170 -> 9088 1010.09/1010.31 c learnt constraints deletion: 18048 -> 9025 1014.50/1014.78 c learnt constraints deletion: 18002 -> 9002 1019.09/1019.30 c learnt constraints deletion: 17992 -> 8996 1024.19/1024.46 c learnt constraints deletion: 17995 -> 9002 1028.10/1028.37 c learnt constraints deletion: 17923 -> 8962 1032.69/1032.91 c learnt constraints deletion: 17717 -> 8859 1037.69/1037.92 c learnt constraints deletion: 18093 -> 9052 1041.89/1042.12 c learnt constraints deletion: 18123 -> 9078 1046.39/1046.64 c learnt constraints deletion: 17754 -> 8877 1051.49/1051.76 c learnt constraints deletion: 18175 -> 9094 1055.69/1055.95 c learnt constraints deletion: 18157 -> 9098 1060.10/1060.39 c learnt constraints deletion: 18187 -> 9094 1065.28/1065.52 c learnt constraints deletion: 17975 -> 8992 1069.48/1069.76 c learnt constraints deletion: 17992 -> 9007 1074.19/1074.40 c learnt constraints deletion: 17884 -> 8942 1078.98/1079.28 c learnt constraints deletion: 18044 -> 9030 1083.09/1083.36 c learnt constraints deletion: 18074 -> 9047 1087.28/1087.52 c learnt constraints deletion: 17953 -> 8987 1091.18/1091.44 c learnt constraints deletion: 18185 -> 9093 1096.29/1096.59 c learnt constraints deletion: 17845 -> 8927 1100.98/1101.22 c learnt constraints deletion: 17621 -> 8814 1105.18/1105.43 c learnt constraints deletion: 18018 -> 9019 1109.38/1109.68 c learnt constraints deletion: 18188 -> 9101 1113.88/1114.18 c learnt constraints deletion: 18199 -> 9115 1118.08/1118.35 c learnt constraints deletion: 17930 -> 8965 1122.68/1122.98 c learnt constraints deletion: 18263 -> 9137 1126.78/1127.00 c learnt constraints deletion: 18221 -> 9117 1130.78/1131.04 c learnt constraints deletion: 18178 -> 9108 1134.88/1135.13 c learnt constraints deletion: 18149 -> 9075 1140.68/1140.93 c learnt constraints deletion: 18023 -> 9013 1145.17/1145.40 c learnt constraints deletion: 18174 -> 9094 1149.57/1149.80 c learnt constraints deletion: 18112 -> 9070 1153.67/1153.90 c learnt constraints deletion: 17931 -> 8973 1158.77/1159.00 c learnt constraints deletion: 17683 -> 8849 1162.86/1163.19 c learnt constraints deletion: 18041 -> 9021 1168.66/1168.97 c learnt constraints deletion: 19696 -> 9849 1173.06/1173.30 c learnt constraints deletion: 19234 -> 9617 1177.87/1178.19 c learnt constraints deletion: 19875 -> 9956 1182.55/1182.80 c learnt constraints deletion: 19308 -> 9654 1188.25/1188.50 c learnt constraints deletion: 18812 -> 9407 1193.76/1194.08 c learnt constraints deletion: 19934 -> 9970 1199.05/1199.34 c learnt constraints deletion: 19722 -> 9863 1204.05/1204.37 c learnt constraints deletion: 19857 -> 9932 1209.05/1209.34 c learnt constraints deletion: 19680 -> 9846 1213.85/1214.18 c learnt constraints deletion: 19769 -> 9899 1219.05/1219.36 c learnt constraints deletion: 19850 -> 9931 1225.35/1225.64 c learnt constraints deletion: 19377 -> 9695 1230.75/1231.05 c learnt constraints deletion: 19504 -> 9758 1236.85/1237.19 c learnt constraints deletion: 19747 -> 9880 1243.15/1243.43 c learnt constraints deletion: 19759 -> 9885 1248.94/1249.24 c learnt constraints deletion: 19268 -> 9639 1254.44/1254.70 c learnt constraints deletion: 19841 -> 9937 1259.04/1259.39 c learnt constraints deletion: 19834 -> 9928 1264.24/1264.55 c learnt constraints deletion: 19622 -> 9811 1269.74/1270.08 c learnt constraints deletion: 19207 -> 9604 1274.55/1274.85 c learnt constraints deletion: 19834 -> 9921 1280.05/1280.35 c learnt constraints deletion: 19864 -> 9933 1285.94/1286.24 c learnt constraints deletion: 19783 -> 9893 1291.84/1292.16 c learnt constraints deletion: 19327 -> 9665 1297.74/1298.05 c learnt constraints deletion: 19897 -> 9950 1303.74/1304.08 c learnt constraints deletion: 19782 -> 9892 1309.84/1310.12 c learnt constraints deletion: 19531 -> 9767 1315.73/1316.09 c learnt constraints deletion: 19834 -> 9925 1321.64/1321.90 c learnt constraints deletion: 19567 -> 9785 1327.53/1327.84 c learnt constraints deletion: 19765 -> 9883 1332.23/1332.54 c learnt constraints deletion: 19755 -> 9886 1337.13/1337.47 c learnt constraints deletion: 19749 -> 9888 1343.84/1344.14 c learnt constraints deletion: 19884 -> 9944 1349.92/1350.25 c learnt constraints deletion: 19895 -> 9953 1354.42/1354.70 c learnt constraints deletion: 19731 -> 9874 1359.23/1359.51 c learnt constraints deletion: 19649 -> 9829 1363.62/1363.92 c learnt constraints deletion: 19086 -> 9548 1368.62/1368.97 c learnt constraints deletion: 19864 -> 9939 1373.72/1374.02 c learnt constraints deletion: 19629 -> 9821 1379.02/1379.34 c learnt constraints deletion: 19739 -> 9881 1384.32/1384.67 c learnt constraints deletion: 19922 -> 9975 1390.22/1390.58 c learnt constraints deletion: 19915 -> 9969 1394.71/1395.06 c learnt constraints deletion: 19788 -> 9913 1400.32/1400.65 c learnt constraints deletion: 19486 -> 9756 1405.41/1405.76 c learnt constraints deletion: 19888 -> 9947 1410.71/1411.04 c learnt constraints deletion: 19362 -> 9684 1415.61/1415.91 c learnt constraints deletion: 19768 -> 9898 1420.71/1421.10 c learnt constraints deletion: 19694 -> 9854 1425.61/1425.93 c learnt constraints deletion: 19932 -> 9994 1430.21/1430.52 c learnt constraints deletion: 19632 -> 9820 1436.61/1436.95 c learnt constraints deletion: 19652 -> 9827 1441.71/1442.04 c learnt constraints deletion: 19519 -> 9762 1446.61/1446.99 c learnt constraints deletion: 19645 -> 9829 1452.30/1452.61 c learnt constraints deletion: 19574 -> 9792 1457.71/1458.02 c learnt constraints deletion: 19561 -> 9786 1464.00/1464.38 c learnt constraints deletion: 19340 -> 9673 1469.21/1469.55 c learnt constraints deletion: 19661 -> 9835 1475.10/1475.47 c learnt constraints deletion: 19835 -> 9923 1480.31/1480.69 c learnt constraints deletion: 19870 -> 9941 1485.30/1485.64 c learnt constraints deletion: 19203 -> 9609 1490.60/1490.92 c learnt constraints deletion: 19498 -> 9751 1495.70/1496.06 c learnt constraints deletion: 19689 -> 9849 1500.59/1500.90 c learnt constraints deletion: 19279 -> 9644 1506.60/1506.96 c learnt constraints deletion: 19171 -> 9590 1512.20/1512.59 c learnt constraints deletion: 19525 -> 9767 1517.29/1517.60 c learnt constraints deletion: 19925 -> 9967 1524.69/1525.02 c learnt constraints deletion: 19888 -> 9951 1529.30/1529.66 c learnt constraints deletion: 19720 -> 9874 1534.49/1534.86 c learnt constraints deletion: 19591 -> 9818 1539.29/1539.65 c learnt constraints deletion: 19741 -> 9877 1544.98/1545.39 c learnt constraints deletion: 19455 -> 9740 1549.58/1549.96 c learnt constraints deletion: 19901 -> 9960 1554.47/1554.84 c learnt constraints deletion: 19852 -> 9938 1558.87/1559.27 c learnt constraints deletion: 19724 -> 9891 1563.78/1564.12 c learnt constraints deletion: 19519 -> 9773 1569.28/1569.62 c learnt constraints deletion: 19622 -> 9816 1573.56/1573.94 c learnt constraints deletion: 19379 -> 9696 1578.07/1578.42 c learnt constraints deletion: 19393 -> 9704 1583.27/1583.60 c learnt constraints deletion: 19706 -> 9866 1588.16/1588.52 c learnt constraints deletion: 19756 -> 9889 1593.27/1593.68 c learnt constraints deletion: 19797 -> 9921 1598.26/1598.62 c learnt constraints deletion: 19809 -> 9917 1604.47/1604.82 c learnt constraints deletion: 19579 -> 9797 1609.97/1610.32 c learnt constraints deletion: 19742 -> 9878 1614.66/1615.01 c learnt constraints deletion: 19764 -> 9896 1619.76/1620.15 c learnt constraints deletion: 19254 -> 9635 1624.46/1624.83 c learnt constraints deletion: 19659 -> 9848 1629.46/1629.82 c learnt constraints deletion: 19577 -> 9801 1634.56/1634.90 c learnt constraints deletion: 19237 -> 9626 1639.25/1639.67 c learnt constraints deletion: 19746 -> 9881 1644.26/1644.64 c learnt constraints deletion: 19528 -> 9781 1649.67/1650.04 c learnt constraints deletion: 19878 -> 9948 1654.15/1654.54 c learnt constraints deletion: 19723 -> 9874 1658.65/1659.08 c learnt constraints deletion: 19843 -> 9952 1663.16/1663.57 c learnt constraints deletion: 19897 -> 9959 1668.95/1669.31 c learnt constraints deletion: 19669 -> 9853 1673.45/1673.85 c learnt constraints deletion: 19598 -> 9811 1678.05/1678.48 c learnt constraints deletion: 19793 -> 9911 1682.95/1683.31 c learnt constraints deletion: 19660 -> 9852 1687.55/1687.94 c learnt constraints deletion: 19449 -> 9742 1693.66/1694.03 c learnt constraints deletion: 19706 -> 9866 1699.65/1700.01 c learnt constraints deletion: 19593 -> 9810 1704.34/1704.76 c learnt constraints deletion: 19885 -> 9957 1708.95/1709.37 c learnt constraints deletion: 19734 -> 9882 1713.64/1714.03 c learnt constraints deletion: 19577 -> 9805 1718.85/1719.27 c learnt constraints deletion: 19829 -> 9932 1723.35/1723.70 c learnt constraints deletion: 19816 -> 9925 1728.14/1728.52 c learnt constraints deletion: 19889 -> 9964 1732.24/1732.67 c learnt constraints deletion: 19836 -> 9937 1737.95/1738.39 c learnt constraints deletion: 19554 -> 9797 1742.65/1743.03 c learnt constraints deletion: 19828 -> 9937 1747.45/1747.85 c learnt constraints deletion: 19780 -> 9913 1752.04/1752.40 c learnt constraints deletion: 19679 -> 9865 1756.54/1756.91 c learnt constraints deletion: 19730 -> 9889 1763.24/1763.65 c learnt constraints deletion: 21476 -> 10746 1770.24/1770.68 c learnt constraints deletion: 21236 -> 10627 1776.14/1776.56 c learnt constraints deletion: 21725 -> 10863 1782.34/1782.79 c learnt constraints deletion: 21464 -> 10732 1790.34/1790.78 c learnt constraints deletion: 21061 -> 10531 1798.04/1798.47 c learnt constraints deletion: 21390 -> 10695
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707266-1338134334/watcher-3707266-1338134334 -o /tmp/evaluation-result-3707266-1338134334/solver-3707266-1338134334 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707266-1338134334.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20725 /proc/meminfo: memFree=30105088/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=6208 CPUtime=0 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 776 0 0 0 0 0 0 0 20 0 1 0 279559298 6356992 698 33554432000 4194304 8973514 140737386650656 140735263909144 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 1552 698 416 1167 0 333 0 [startup+0.0477611 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20725 /proc/meminfo: memFree=30105088/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=11328 CPUtime=0.04 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 1993 0 0 0 4 0 0 0 20 0 1 0 279559298 11599872 1915 33554432000 4194304 8973514 140737386650656 140735263909144 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 2832 1915 447 1167 0 1613 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11328 [startup+0.100254 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20725 /proc/meminfo: memFree=30105088/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=12352 CPUtime=0.09 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 2384 0 0 0 9 0 0 0 20 0 1 0 279559298 12648448 2306 33554432000 4194304 8973514 140737386650656 140735263909144 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 3088 2306 447 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.300213 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20725 /proc/meminfo: memFree=30105088/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=13376 CPUtime=0.29 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 2651 0 0 0 29 0 0 0 20 0 1 0 279559298 13697024 2573 33554432000 4194304 8973514 140737386650656 140735263909144 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 3344 2573 458 1167 0 2125 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13376 [startup+0.700215 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20725 /proc/meminfo: memFree=30105088/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=15424 CPUtime=0.69 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 3163 0 0 0 69 0 0 0 20 0 1 0 279559298 15794176 3085 33554432000 4194304 8973514 140737386650656 140735263909144 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 3856 3085 458 1167 0 2637 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15424 [startup+1.50027 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20727 /proc/meminfo: memFree=30090864/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=21568 CPUtime=1.48 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 4705 0 0 0 148 0 0 0 20 0 1 0 279559298 22085632 4627 33554432000 4194304 8973514 140737386650656 140737386632640 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 5392 4627 459 1167 0 4173 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 21568 [startup+3.10028 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20727 /proc/meminfo: memFree=30086144/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=21568 CPUtime=3.09 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 4705 0 0 0 308 1 0 0 20 0 1 0 279559298 22085632 4627 33554432000 4194304 8973514 140737386650656 140737386650152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 5392 4627 459 1167 0 4173 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21568 [startup+6.30028 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20727 /proc/meminfo: memFree=30076348/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=29760 CPUtime=6.28 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 7009 0 0 0 626 2 0 0 20 0 1 0 279559298 30474240 6675 33554432000 4194304 8973514 140737386650656 140737386650152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 7440 6675 459 1167 0 6221 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 29760 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20727 /proc/meminfo: memFree=30076876/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=29760 CPUtime=12.69 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 7009 0 0 0 1265 4 0 0 20 0 1 0 279559298 30474240 6675 33554432000 4194304 8973514 140737386650656 140737386650152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 7440 6675 459 1167 0 6221 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29760 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20727 /proc/meminfo: memFree=30069808/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=36928 CPUtime=25.48 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 9057 0 0 0 2540 8 0 0 20 0 1 0 279559298 37814272 8467 33554432000 4194304 8973514 140737386650656 140737386649920 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 9232 8467 459 1167 0 8013 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36928 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20727 /proc/meminfo: memFree=30051580/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=40000 CPUtime=51.08 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 12780 0 0 0 5093 15 0 0 20 0 1 0 279559298 40960000 9118 33554432000 4194304 8973514 140737386650656 140737386650152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 10000 9118 459 1167 0 8781 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40000 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20730 /proc/meminfo: memFree=30036152/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=40000 CPUtime=102.28 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 20833 0 0 0 10193 35 0 0 20 0 1 0 279559298 40960000 9235 33554432000 4194304 8973514 140737386650656 140737386649920 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 10000 9235 459 1167 0 8781 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 40000 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20753 /proc/meminfo: memFree=29994400/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=46144 CPUtime=162.27 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 28769 0 0 0 16174 53 0 0 20 0 1 0 279559298 47251456 10771 33554432000 4194304 8973514 140737386650656 140737386650152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 11536 10771 459 1167 0 10317 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 46144 [startup+222.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 20753 /proc/meminfo: memFree=29973700/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=46144 CPUtime=222.25 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 34913 0 0 0 22154 71 0 0 20 0 1 0 279559298 47251456 10771 33554432000 4194304 8973514 140737386650656 140737386648640 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 11536 10771 459 1167 0 10317 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 46144 [startup+282.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 20753 /proc/meminfo: memFree=29960308/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=42048 CPUtime=282.24 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 36193 0 0 0 28136 88 0 0 20 0 1 0 279559298 43057152 9747 33554432000 4194304 8973514 140737386650656 140737386650152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 10512 9747 459 1167 0 9293 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 42048 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20754 /proc/meminfo: memFree=29935016/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=46144 CPUtime=342.24 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 44129 0 0 0 34119 105 0 0 20 0 1 0 279559298 47251456 10771 33554432000 4194304 8973514 140737386650656 140737386650152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 11536 10771 459 1167 0 10317 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 46144 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20754 /proc/meminfo: memFree=29895212/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=46144 CPUtime=402.23 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 53345 0 0 0 40101 122 0 0 20 0 1 0 279559298 47251456 10771 33554432000 4194304 8973514 140737386650656 140737386632640 6572032 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 11536 10771 459 1167 0 10317 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 46144 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20754 /proc/meminfo: memFree=29879836/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=46144 CPUtime=462.22 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 58977 0 0 0 46084 138 0 0 20 0 1 0 279559298 47251456 10771 33554432000 4194304 8973514 140737386650656 140737386650152 4427540 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 11536 10771 459 1167 0 10317 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 46144 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20754 /proc/meminfo: memFree=29850748/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=54336 CPUtime=522.21 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 67425 0 0 0 52067 154 0 0 20 0 1 0 279559298 55640064 12819 33554432000 4194304 8973514 140737386650656 140737386650152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 13584 12819 459 1167 0 12365 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 54336 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20754 /proc/meminfo: memFree=29837880/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=46144 CPUtime=582.19 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 74081 0 0 0 58050 169 0 0 20 0 1 0 279559298 47251456 10771 33554432000 4194304 8973514 140737386650656 140737386650152 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 11536 10771 459 1167 0 10317 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 46144 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20797 /proc/meminfo: memFree=30918820/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=50240 CPUtime=822.14 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 112509 0 0 0 81981 233 0 0 20 0 1 0 279559298 51445760 11800 33554432000 4194304 8973514 140737386650656 140737386632640 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 12560 11800 459 1167 0 11341 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 50240 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20797 /proc/meminfo: memFree=30921272/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=50240 CPUtime=882.13 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 117887 0 0 0 87966 247 0 0 20 0 1 0 279559298 51445760 11800 33554432000 4194304 8973514 140737386650656 140737386650152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 12560 11800 459 1167 0 11341 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 50240 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20798 /proc/meminfo: memFree=30932700/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=50240 CPUtime=942.12 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 121471 0 0 0 93950 262 0 0 20 0 1 0 279559298 51445760 11800 33554432000 4194304 8973514 140737386650656 140737386650152 4424580 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 12560 11800 459 1167 0 11341 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 50240 [startup+1002.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 20798 /proc/meminfo: memFree=30912136/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=70720 CPUtime=1002.09 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 130704 0 0 0 99932 277 0 0 20 0 1 0 279559298 72417280 16920 33554432000 4194304 8973514 140737386650656 140737386649920 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 17680 16920 459 1167 0 16461 0 Current children cumulated CPU time (s) 1002.09 Current children cumulated vsize (KiB) 70720 [startup+1062.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20798 /proc/meminfo: memFree=30915652/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=66624 CPUtime=1062.08 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 133520 0 0 0 105917 291 0 0 20 0 1 0 279559298 68222976 15896 33554432000 4194304 8973514 140737386650656 140737386649920 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 16656 15896 459 1167 0 15437 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 66624 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 20798 /proc/meminfo: memFree=30911808/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=64576 CPUtime=1122.08 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 137625 0 0 0 111903 305 0 0 20 0 1 0 279559298 66125824 15137 33554432000 4194304 8973514 140737386650656 140737386650152 4442017 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 16144 15137 459 1167 0 14925 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 64576 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20798 /proc/meminfo: memFree=30909480/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=57408 CPUtime=1182.05 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 142752 0 0 0 117887 318 0 0 20 0 1 0 279559298 58785792 13592 33554432000 4194304 8973514 140737386650656 140737386632640 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 14352 13592 459 1167 0 13133 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 57408 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20799 /proc/meminfo: memFree=30909896/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=46144 CPUtime=1242.05 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 145824 0 0 0 123873 332 0 0 20 0 1 0 279559298 47251456 10776 33554432000 4194304 8973514 140737386650656 140737386650152 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 11536 10776 459 1167 0 10317 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 46144 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20802 /proc/meminfo: memFree=30894452/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=56384 CPUtime=1302.04 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 154016 0 0 0 129859 345 0 0 20 0 1 0 279559298 57737216 13336 33554432000 4194304 8973514 140737386650656 140737386650152 4540738 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 14096 13336 459 1167 0 12877 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 56384 [startup+1362.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 20802 /proc/meminfo: memFree=30883280/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=54336 CPUtime=1362.02 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 157865 0 0 0 135840 362 0 0 20 0 1 0 279559298 55640064 12824 33554432000 4194304 8973514 140737386650656 140737386632640 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 13584 12824 459 1167 0 12365 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 54336 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20802 /proc/meminfo: memFree=30873480/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=54336 CPUtime=1422.01 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 166057 0 0 0 141825 376 0 0 20 0 1 0 279559298 55640064 12824 33554432000 4194304 8973514 140737386650656 140737386650152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 13584 12824 459 1167 0 12365 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 54336 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 20802 /proc/meminfo: memFree=30856076/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=59456 CPUtime=1482 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 174249 0 0 0 147807 393 0 0 20 0 1 0 279559298 60882944 14104 33554432000 4194304 8973514 140737386650656 140737386650152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 14864 14104 459 1167 0 13645 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 59456 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20803 /proc/meminfo: memFree=30845620/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=52288 CPUtime=1541.98 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 181425 0 0 0 153791 407 0 0 20 0 1 0 279559298 53542912 12312 33554432000 4194304 8973514 140737386650656 140737386650152 4209340 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 13072 12312 459 1167 0 11853 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 52288 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20803 /proc/meminfo: memFree=30828928/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=50240 CPUtime=1601.96 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 191677 0 0 0 159776 420 0 0 20 0 1 0 279559298 51445760 11800 33554432000 4194304 8973514 140737386650656 140737386649920 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 12560 11800 459 1167 0 11341 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 50240 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20803 /proc/meminfo: memFree=30813336/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=46144 CPUtime=1661.95 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 198589 0 0 0 165761 434 0 0 20 0 1 0 279559298 47251456 10776 33554432000 4194304 8973514 140737386650656 140737386650152 6662677 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 11536 10776 459 1167 0 10317 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 46144 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20803 /proc/meminfo: memFree=30793252/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=57408 CPUtime=1721.94 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 204733 0 0 0 171746 448 0 0 20 0 1 0 279559298 58785792 13592 33554432000 4194304 8973514 140737386650656 140737386650152 4459516 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 14352 13592 459 1167 0 13133 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 57408 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20803 /proc/meminfo: memFree=30783516/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=56384 CPUtime=1781.94 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 209855 0 0 0 177732 462 0 0 20 0 1 0 279559298 57737216 13336 33554432000 4194304 8973514 140737386650656 140737386650152 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 14096 13336 459 1167 0 12877 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 56384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20803 /proc/meminfo: memFree=30786252/32873648 swapFree=7112/7112 [pid=20725] ppid=20723 vsize=53312 CPUtime=1800.04 cores=0,2,4,6 /proc/20725/stat : 20725 (toysat) R 20723 20725 18885 0 -1 4202496 211393 0 0 0 179539 465 0 0 20 0 1 0 279559298 54591488 12568 33554432000 4194304 8973514 140737386650656 140737386632640 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/20725/statm: 13328 12568 459 1167 0 12109 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 53312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.05 CPU user time (s): 1795.39 CPU system time (s): 4.65929 CPU usage (%): 99.9801 Max. virtual memory (cumulated for all children) (KiB): 73792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.39 system time used= 4.65929 maximum resident set size= 70752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 211393 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= 98 involuntary context switches= 1897 runsolver used 3.40048 second user time and 9.04662 second system time The end
Begin job on node126 at 2012-05-27 17:58:54 IDJOB=3707266 IDBENCH=48231 IDSOLVER=2285 FILE ID=node126/3707266-1338134334 RUNJOBID= node126-1338111870-18901 PBS_JOBID= 14624471 Free space on /tmp= 71352 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707266-1338134334/watcher-3707266-1338134334 -o /tmp/evaluation-result-3707266-1338134334/solver-3707266-1338134334 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707266-1338134334.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2 RANDOM SEED=2067107260 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 30106104 kB Buffers: 301540 kB Cached: 579560 kB SwapCached: 17756 kB Active: 1799824 kB Inactive: 156276 kB Active(anon): 1056136 kB Inactive(anon): 20452 kB Active(file): 743688 kB Inactive(file): 135824 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67086932 kB Dirty: 7404 kB Writeback: 0 kB AnonPages: 1064344 kB Mapped: 11504 kB Shmem: 0 kB Slab: 668180 kB SReclaimable: 112628 kB SUnreclaim: 555552 kB KernelStack: 1456 kB PageTables: 6088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1180044 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 985088 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71344 MiB End job on node126 at 2012-05-27 18:28:56