Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | OPT | -6 | 1702.58 | 1702.96 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb |
MD5SUM | e0d3a2bf2cd2b7e4b27d7033a7686e76 |
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 | -6 |
Best CPU time to get the best result obtained on this benchmark | 14.8577 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -6 |
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) | 2996 |
Sum of products size (including duplicates) | 5992 |
Number of different products | 1498 |
Sum of products size | 2996 |
0.00/0.04 c 2012-05-27T18:09:31+0200 0.00/0.04 c arch = x86_64 0.00/0.04 c os = linux 0.00/0.04 c compiler = ghc 7.4 0.00/0.04 c packages: 0.00/0.04 c OptDir-0.0.1 0.00/0.04 c array-0.4.0.0 0.00/0.04 c base-4.5.0.0 0.00/0.04 c bytestring-0.9.2.1 0.00/0.04 c containers-0.4.2.1 0.00/0.04 c deepseq-1.3.0.0 0.00/0.04 c mtl-2.1.1 0.00/0.04 c old_locale-1.0.0.4 0.00/0.04 c parse_dimacs-1.2 0.00/0.04 c parsec-3.1.2 0.00/0.04 c queue-0.1.2 0.00/0.04 c stm-2.3 0.00/0.04 c time-1.4 0.00/0.04 c command line = ["--pb","HOME/instance-3707264-1338134971.opb"] 0.00/0.04 c #vars 100 0.00/0.04 c #constraints 151 0.00/0.04 c Solving starts ... 0.08/0.13 c solving time = 0.091s 0.08/0.13 c #decision = 1323 0.08/0.13 c #conflict = 151 0.08/0.13 c #restart = 1 0.08/0.13 o -4 0.08/0.13 c Solving starts ... 0.38/0.40 c solving time = 0.264s 0.38/0.40 c #decision = 3545 0.38/0.40 c #conflict = 915 0.38/0.40 c #restart = 4 0.38/0.40 o -5 0.38/0.40 c Solving starts ... 0.48/0.53 c solving time = 0.131s 0.48/0.53 c #decision = 5464 0.48/0.53 c #conflict = 1395 0.48/0.53 c #restart = 7 0.48/0.53 o -6 0.48/0.53 c Solving starts ... 1.49/1.56 c learnt constraints deletion: 4254 -> 2135 2.78/2.86 c learnt constraints deletion: 5952 -> 2999 3.78/3.84 c learnt constraints deletion: 5958 -> 2990 4.88/4.98 c learnt constraints deletion: 6318 -> 3173 5.88/5.99 c learnt constraints deletion: 6756 -> 3394 7.28/7.31 c learnt constraints deletion: 7284 -> 3655 8.48/8.56 c learnt constraints deletion: 7100 -> 3565 10.08/10.17 c learnt constraints deletion: 7581 -> 3791 11.68/11.77 c learnt constraints deletion: 7399 -> 3700 13.09/13.11 c learnt constraints deletion: 7500 -> 3763 14.28/14.32 c learnt constraints deletion: 7270 -> 3635 16.18/16.21 c learnt constraints deletion: 8724 -> 4378 17.48/17.51 c learnt constraints deletion: 8177 -> 4101 18.87/18.99 c learnt constraints deletion: 8050 -> 4041 20.38/20.44 c learnt constraints deletion: 8247 -> 4141 22.48/22.59 c learnt constraints deletion: 9498 -> 4773 24.18/24.29 c learnt constraints deletion: 9136 -> 4588 26.08/26.12 c learnt constraints deletion: 8841 -> 4441 27.78/27.84 c learnt constraints deletion: 9253 -> 4627 29.68/29.76 c learnt constraints deletion: 9396 -> 4708 31.37/31.41 c learnt constraints deletion: 8887 -> 4453 33.58/33.65 c learnt constraints deletion: 9972 -> 4986 35.38/35.46 c learnt constraints deletion: 9648 -> 4829 37.28/37.37 c learnt constraints deletion: 10170 -> 5114 39.18/39.21 c learnt constraints deletion: 10026 -> 5036 40.97/41.09 c learnt constraints deletion: 9737 -> 4889 43.27/43.30 c learnt constraints deletion: 10122 -> 5088 44.98/45.07 c learnt constraints deletion: 9745 -> 4893 46.97/47.09 c learnt constraints deletion: 9857 -> 4949 48.97/49.06 c learnt constraints deletion: 9816 -> 4928 51.58/51.64 c learnt constraints deletion: 11078 -> 5559 54.27/54.34 c learnt constraints deletion: 10853 -> 5447 57.18/57.21 c learnt constraints deletion: 10865 -> 5453 59.08/59.14 c learnt constraints deletion: 9678 -> 4839 61.27/61.30 c learnt constraints deletion: 10058 -> 5030 63.88/63.92 c learnt constraints deletion: 10794 -> 5401 66.07/66.14 c learnt constraints deletion: 10903 -> 5466 68.37/68.48 c learnt constraints deletion: 10596 -> 5304 70.97/71.03 c learnt constraints deletion: 10876 -> 5444 73.16/73.29 c learnt constraints deletion: 10927 -> 5470 75.67/75.73 c learnt constraints deletion: 11140 -> 5576 77.57/77.61 c learnt constraints deletion: 9734 -> 4867 80.46/80.53 c learnt constraints deletion: 12039 -> 6020 82.96/83.02 c learnt constraints deletion: 11915 -> 5986 85.16/85.23 c learnt constraints deletion: 11743 -> 5872 87.76/87.88 c learnt constraints deletion: 11184 -> 5592 90.55/90.63 c learnt constraints deletion: 11957 -> 5983 92.96/93.00 c learnt constraints deletion: 11536 -> 5774 95.45/95.59 c learnt constraints deletion: 12068 -> 6037 98.25/98.35 c learnt constraints deletion: 12011 -> 6009 100.75/100.85 c learnt constraints deletion: 11783 -> 5892 103.26/103.37 c learnt constraints deletion: 11834 -> 5918 105.95/106.07 c learnt constraints deletion: 12037 -> 6024 108.15/108.22 c learnt constraints deletion: 11436 -> 5729 110.75/110.85 c learnt constraints deletion: 11811 -> 5912 113.35/113.46 c learnt constraints deletion: 11939 -> 5993 115.55/115.69 c learnt constraints deletion: 11636 -> 5820 118.15/118.28 c learnt constraints deletion: 12032 -> 6025 120.65/120.70 c learnt constraints deletion: 12049 -> 6038 123.75/123.88 c learnt constraints deletion: 13113 -> 6557 126.75/126.86 c learnt constraints deletion: 12938 -> 6484 129.45/129.57 c learnt constraints deletion: 12318 -> 6161 132.75/132.80 c learnt constraints deletion: 12647 -> 6327 135.65/135.78 c learnt constraints deletion: 12847 -> 6435 138.85/138.99 c learnt constraints deletion: 13147 -> 6583 141.85/141.93 c learnt constraints deletion: 12846 -> 6434 145.15/145.23 c learnt constraints deletion: 12962 -> 6491 148.35/148.41 c learnt constraints deletion: 13098 -> 6549 151.85/151.98 c learnt constraints deletion: 12910 -> 6460 154.55/154.66 c learnt constraints deletion: 12316 -> 6158 158.35/158.48 c learnt constraints deletion: 13088 -> 6546 161.34/161.47 c learnt constraints deletion: 13084 -> 6542 164.05/164.17 c learnt constraints deletion: 13075 -> 6538 166.64/166.77 c learnt constraints deletion: 13115 -> 6558 169.25/169.35 c learnt constraints deletion: 12975 -> 6488 172.44/172.54 c learnt constraints deletion: 12762 -> 6383 175.35/175.45 c learnt constraints deletion: 12912 -> 6463 178.64/178.71 c learnt constraints deletion: 13121 -> 6568 182.24/182.36 c learnt constraints deletion: 12685 -> 6343 185.34/185.45 c learnt constraints deletion: 12694 -> 6353 188.44/188.53 c learnt constraints deletion: 13025 -> 6522 192.04/192.18 c learnt constraints deletion: 13652 -> 6827 195.84/195.99 c learnt constraints deletion: 13579 -> 6791 199.94/200.02 c learnt constraints deletion: 14252 -> 7126 203.54/203.61 c learnt constraints deletion: 13668 -> 6834 206.65/206.71 c learnt constraints deletion: 14070 -> 7040 210.05/210.19 c learnt constraints deletion: 14149 -> 7077 213.53/213.67 c learnt constraints deletion: 14262 -> 7133 216.65/216.74 c learnt constraints deletion: 14282 -> 7143 219.84/219.91 c learnt constraints deletion: 14060 -> 7032 223.33/223.46 c learnt constraints deletion: 14244 -> 7128 226.54/226.67 c learnt constraints deletion: 13573 -> 6793 230.14/230.27 c learnt constraints deletion: 14256 -> 7131 233.53/233.67 c learnt constraints deletion: 13863 -> 6938 237.03/237.12 c learnt constraints deletion: 13993 -> 7002 240.62/240.74 c learnt constraints deletion: 14285 -> 7148 243.92/244.05 c learnt constraints deletion: 14050 -> 7032 247.12/247.23 c learnt constraints deletion: 13497 -> 6757 250.22/250.38 c learnt constraints deletion: 14291 -> 7152 253.82/253.92 c learnt constraints deletion: 14068 -> 7054 257.52/257.64 c learnt constraints deletion: 13832 -> 6924 261.12/261.28 c learnt constraints deletion: 14257 -> 7137 264.12/264.22 c learnt constraints deletion: 13772 -> 6895 267.92/268.03 c learnt constraints deletion: 14177 -> 7103 271.02/271.18 c learnt constraints deletion: 13838 -> 6933 274.41/274.52 c learnt constraints deletion: 13949 -> 6994 277.51/277.66 c learnt constraints deletion: 13618 -> 6827 280.92/281.02 c learnt constraints deletion: 14128 -> 7083 284.22/284.37 c learnt constraints deletion: 14188 -> 7105 287.41/287.54 c learnt constraints deletion: 14167 -> 7084 290.71/290.87 c learnt constraints deletion: 14272 -> 7138 294.12/294.20 c learnt constraints deletion: 14056 -> 7030 297.21/297.39 c learnt constraints deletion: 14020 -> 7019 300.91/301.09 c learnt constraints deletion: 15414 -> 7708 304.31/304.48 c learnt constraints deletion: 15138 -> 7569 307.82/307.96 c learnt constraints deletion: 15349 -> 7675 311.61/311.70 c learnt constraints deletion: 14929 -> 7465 315.31/315.44 c learnt constraints deletion: 15581 -> 7791 319.11/319.24 c learnt constraints deletion: 15477 -> 7739 322.81/322.92 c learnt constraints deletion: 15500 -> 7750 326.21/326.37 c learnt constraints deletion: 15259 -> 7630 330.01/330.17 c learnt constraints deletion: 15454 -> 7727 333.80/333.95 c learnt constraints deletion: 15399 -> 7700 337.71/337.86 c learnt constraints deletion: 15542 -> 7780 341.71/341.84 c learnt constraints deletion: 15528 -> 7778 345.41/345.50 c learnt constraints deletion: 15229 -> 7615 349.00/349.15 c learnt constraints deletion: 14520 -> 7260 353.40/353.52 c learnt constraints deletion: 15509 -> 7763 356.91/357.09 c learnt constraints deletion: 14626 -> 7313 360.61/360.74 c learnt constraints deletion: 15266 -> 7650 364.00/364.15 c learnt constraints deletion: 15062 -> 7531 368.11/368.20 c learnt constraints deletion: 15341 -> 7693 371.71/371.83 c learnt constraints deletion: 15039 -> 7520 376.60/376.76 c learnt constraints deletion: 15370 -> 7693 380.40/380.56 c learnt constraints deletion: 15306 -> 7678 384.00/384.15 c learnt constraints deletion: 15468 -> 7759 387.70/387.83 c learnt constraints deletion: 15222 -> 7613 391.79/391.93 c learnt constraints deletion: 15602 -> 7827 395.20/395.36 c learnt constraints deletion: 15277 -> 7639 399.00/399.13 c learnt constraints deletion: 15590 -> 7795 402.90/403.03 c learnt constraints deletion: 15599 -> 7813 406.39/406.59 c learnt constraints deletion: 15270 -> 7656 410.00/410.14 c learnt constraints deletion: 15372 -> 7707 413.99/414.15 c learnt constraints deletion: 15465 -> 7754 417.89/418.08 c learnt constraints deletion: 15214 -> 7607 421.98/422.12 c learnt constraints deletion: 14967 -> 7484 425.49/425.65 c learnt constraints deletion: 15341 -> 7682 428.98/429.11 c learnt constraints deletion: 15143 -> 7603 432.98/433.18 c learnt constraints deletion: 15353 -> 7685 437.28/437.42 c learnt constraints deletion: 15174 -> 7587 441.58/441.71 c learnt constraints deletion: 15035 -> 7521 445.08/445.22 c learnt constraints deletion: 15156 -> 7583 448.59/448.72 c learnt constraints deletion: 15466 -> 7739 452.58/452.70 c learnt constraints deletion: 15518 -> 7766 455.78/455.99 c learnt constraints deletion: 14793 -> 7399 459.97/460.12 c learnt constraints deletion: 15129 -> 7570 464.18/464.39 c learnt constraints deletion: 15932 -> 7969 467.98/468.11 c learnt constraints deletion: 16308 -> 8154 472.08/472.24 c learnt constraints deletion: 16872 -> 8455 476.77/476.91 c learnt constraints deletion: 16869 -> 8438 481.07/481.22 c learnt constraints deletion: 16625 -> 8315 485.47/485.68 c learnt constraints deletion: 16890 -> 8446 490.07/490.28 c learnt constraints deletion: 16769 -> 8388 495.08/495.22 c learnt constraints deletion: 16796 -> 8401 500.48/500.64 c learnt constraints deletion: 16979 -> 8493 505.87/506.01 c learnt constraints deletion: 17022 -> 8514 511.87/512.00 c learnt constraints deletion: 16957 -> 8482 516.27/516.46 c learnt constraints deletion: 16961 -> 8484 520.27/520.44 c learnt constraints deletion: 16968 -> 8487 524.17/524.36 c learnt constraints deletion: 16878 -> 8442 527.87/528.03 c learnt constraints deletion: 16857 -> 8432 531.67/531.83 c learnt constraints deletion: 16987 -> 8497 535.76/535.94 c learnt constraints deletion: 17001 -> 8504 539.67/539.86 c learnt constraints deletion: 16982 -> 8494 543.66/543.81 c learnt constraints deletion: 17004 -> 8505 547.16/547.39 c learnt constraints deletion: 16890 -> 8448 550.67/550.84 c learnt constraints deletion: 16459 -> 8230 555.67/555.80 c learnt constraints deletion: 16561 -> 8281 559.27/559.44 c learnt constraints deletion: 16380 -> 8190 564.25/564.47 c learnt constraints deletion: 16511 -> 8256 568.15/568.33 c learnt constraints deletion: 16074 -> 8038 571.95/572.18 c learnt constraints deletion: 16859 -> 8433 576.35/576.55 c learnt constraints deletion: 16890 -> 8453 580.35/580.55 c learnt constraints deletion: 16793 -> 8399 584.45/584.60 c learnt constraints deletion: 16013 -> 8010 588.85/589.06 c learnt constraints deletion: 16218 -> 8114 592.24/592.45 c learnt constraints deletion: 16069 -> 8040 596.14/596.31 c learnt constraints deletion: 16454 -> 8233 600.15/600.35 c learnt constraints deletion: 16791 -> 8409 603.84/604.04 c learnt constraints deletion: 16828 -> 8425 608.34/608.50 c learnt constraints deletion: 16918 -> 8468 613.24/613.46 c learnt constraints deletion: 16819 -> 8419 618.05/618.21 c learnt constraints deletion: 16984 -> 8501 622.74/622.97 c learnt constraints deletion: 16582 -> 8300 626.85/627.02 c learnt constraints deletion: 16778 -> 8398 631.54/631.73 c learnt constraints deletion: 16275 -> 8147 636.14/636.34 c learnt constraints deletion: 16688 -> 8348 641.05/641.28 c learnt constraints deletion: 16767 -> 8391 645.04/645.28 c learnt constraints deletion: 16576 -> 8294 649.85/650.09 c learnt constraints deletion: 16824 -> 8414 653.84/654.01 c learnt constraints deletion: 16916 -> 8461 657.84/658.02 c learnt constraints deletion: 16724 -> 8362 662.93/663.13 c learnt constraints deletion: 16974 -> 8487 667.14/667.33 c learnt constraints deletion: 16943 -> 8478 670.64/670.85 c learnt constraints deletion: 15830 -> 7917 674.54/674.70 c learnt constraints deletion: 16875 -> 8442 678.54/678.73 c learnt constraints deletion: 16975 -> 8492 682.33/682.58 c learnt constraints deletion: 16953 -> 8481 685.93/686.19 c learnt constraints deletion: 16946 -> 8473 690.33/690.55 c learnt constraints deletion: 16589 -> 8295 694.43/694.61 c learnt constraints deletion: 16469 -> 8236 698.63/698.83 c learnt constraints deletion: 16975 -> 8507 702.23/702.47 c learnt constraints deletion: 16657 -> 8332 706.53/706.75 c learnt constraints deletion: 16710 -> 8366 710.63/710.85 c learnt constraints deletion: 16791 -> 8400 715.93/716.18 c learnt constraints deletion: 18559 -> 9284 721.33/721.51 c learnt constraints deletion: 17182 -> 8591 728.22/728.43 c learnt constraints deletion: 18556 -> 9278 734.32/734.53 c learnt constraints deletion: 18363 -> 9182 741.32/741.52 c learnt constraints deletion: 18500 -> 9250 746.41/746.65 c learnt constraints deletion: 18507 -> 9254 751.12/751.30 c learnt constraints deletion: 18030 -> 9015 756.81/757.02 c learnt constraints deletion: 18440 -> 9220 760.92/761.15 c learnt constraints deletion: 18155 -> 9078 765.71/765.91 c learnt constraints deletion: 18176 -> 9088 770.61/770.87 c learnt constraints deletion: 17834 -> 8917 775.91/776.11 c learnt constraints deletion: 18277 -> 9139 780.91/781.13 c learnt constraints deletion: 18359 -> 9180 785.51/785.75 c learnt constraints deletion: 18133 -> 9068 790.00/790.21 c learnt constraints deletion: 18248 -> 9124 795.21/795.43 c learnt constraints deletion: 18032 -> 9017 800.40/800.63 c learnt constraints deletion: 18240 -> 9120 805.31/805.50 c learnt constraints deletion: 18368 -> 9196 810.00/810.27 c learnt constraints deletion: 17985 -> 8993 815.60/815.80 c learnt constraints deletion: 18020 -> 9011 819.90/820.15 c learnt constraints deletion: 18527 -> 9267 825.00/825.24 c learnt constraints deletion: 17963 -> 8986 829.70/829.94 c learnt constraints deletion: 18178 -> 9093 833.80/834.06 c learnt constraints deletion: 18265 -> 9142 838.30/838.54 c learnt constraints deletion: 18369 -> 9197 843.89/844.11 c learnt constraints deletion: 18428 -> 9221 850.00/850.29 c learnt constraints deletion: 18158 -> 9086 854.60/854.85 c learnt constraints deletion: 18105 -> 9060 859.70/859.93 c learnt constraints deletion: 18570 -> 9292 864.90/865.12 c learnt constraints deletion: 17824 -> 8919 870.29/870.51 c learnt constraints deletion: 18286 -> 9151 875.69/876.00 c learnt constraints deletion: 18498 -> 9252 879.59/879.88 c learnt constraints deletion: 18488 -> 9249 883.19/883.43 c learnt constraints deletion: 18178 -> 9089 888.29/888.52 c learnt constraints deletion: 18095 -> 9048 892.49/892.70 c learnt constraints deletion: 17823 -> 8912 896.89/897.11 c learnt constraints deletion: 18532 -> 9284 901.18/901.42 c learnt constraints deletion: 18321 -> 9161 905.68/905.98 c learnt constraints deletion: 18319 -> 9163 910.28/910.55 c learnt constraints deletion: 17835 -> 8918 914.99/915.24 c learnt constraints deletion: 18346 -> 9175 919.39/919.64 c learnt constraints deletion: 18230 -> 9135 923.47/923.74 c learnt constraints deletion: 18339 -> 9170 928.38/928.67 c learnt constraints deletion: 18513 -> 9258 932.87/933.14 c learnt constraints deletion: 18144 -> 9089 937.87/938.18 c learnt constraints deletion: 18400 -> 9202 942.88/943.16 c learnt constraints deletion: 18348 -> 9178 947.98/948.20 c learnt constraints deletion: 18497 -> 9256 952.07/952.35 c learnt constraints deletion: 17897 -> 8959 956.68/956.91 c learnt constraints deletion: 18537 -> 9283 960.77/961.09 c learnt constraints deletion: 17728 -> 8866 965.48/965.74 c learnt constraints deletion: 18127 -> 9064 971.27/971.50 c learnt constraints deletion: 18443 -> 9222 976.77/977.02 c learnt constraints deletion: 18343 -> 9172 981.26/981.55 c learnt constraints deletion: 18250 -> 9126 986.38/986.68 c learnt constraints deletion: 18303 -> 9153 991.87/992.14 c learnt constraints deletion: 18011 -> 9007 996.76/997.03 c learnt constraints deletion: 18498 -> 9251 1001.57/1001.89 c learnt constraints deletion: 18514 -> 9258 1005.96/1006.22 c learnt constraints deletion: 18464 -> 9233 1010.06/1010.39 c learnt constraints deletion: 18422 -> 9212 1014.06/1014.30 c learnt constraints deletion: 18396 -> 9200 1018.66/1018.93 c learnt constraints deletion: 18512 -> 9258 1023.26/1023.54 c learnt constraints deletion: 18337 -> 9171 1027.86/1028.11 c learnt constraints deletion: 17623 -> 8814 1033.16/1033.43 c learnt constraints deletion: 17656 -> 8830 1039.06/1039.39 c learnt constraints deletion: 18531 -> 9269 1044.06/1044.39 c learnt constraints deletion: 18520 -> 9264 1048.56/1048.87 c learnt constraints deletion: 18476 -> 9259 1052.56/1052.82 c learnt constraints deletion: 17991 -> 8998 1056.96/1057.20 c learnt constraints deletion: 18363 -> 9185 1061.85/1062.12 c learnt constraints deletion: 18534 -> 9274 1066.96/1067.25 c learnt constraints deletion: 18428 -> 9224 1071.55/1071.83 c learnt constraints deletion: 18535 -> 9278 1076.95/1077.21 c learnt constraints deletion: 17854 -> 8933 1081.35/1081.63 c learnt constraints deletion: 18441 -> 9224 1087.25/1087.55 c learnt constraints deletion: 18546 -> 9278 1091.34/1091.67 c learnt constraints deletion: 18274 -> 9151 1095.93/1096.22 c learnt constraints deletion: 18253 -> 9137 1100.84/1101.11 c learnt constraints deletion: 18213 -> 9115 1105.13/1105.49 c learnt constraints deletion: 18106 -> 9061 1110.73/1111.07 c learnt constraints deletion: 18414 -> 9215 1116.14/1116.42 c learnt constraints deletion: 19946 -> 9977 1122.43/1122.73 c learnt constraints deletion: 20122 -> 10061 1127.24/1127.58 c learnt constraints deletion: 20171 -> 10099 1133.23/1133.57 c learnt constraints deletion: 20077 -> 10045 1138.62/1138.95 c learnt constraints deletion: 19902 -> 9951 1144.23/1144.55 c learnt constraints deletion: 19798 -> 9899 1149.43/1149.75 c learnt constraints deletion: 20171 -> 10092 1154.23/1154.58 c learnt constraints deletion: 19587 -> 9798 1159.82/1160.15 c learnt constraints deletion: 19916 -> 9971 1165.22/1165.59 c learnt constraints deletion: 20005 -> 10009 1170.42/1170.71 c learnt constraints deletion: 19831 -> 9916 1175.52/1175.87 c learnt constraints deletion: 19929 -> 9969 1181.02/1181.31 c learnt constraints deletion: 19994 -> 9997 1186.72/1187.09 c learnt constraints deletion: 20182 -> 10093 1191.41/1191.76 c learnt constraints deletion: 20084 -> 10042 1197.01/1197.31 c learnt constraints deletion: 20053 -> 10040 1202.72/1203.08 c learnt constraints deletion: 20088 -> 10045 1209.51/1209.82 c learnt constraints deletion: 20267 -> 10135 1215.81/1216.14 c learnt constraints deletion: 19868 -> 9934 1222.32/1222.62 c learnt constraints deletion: 19930 -> 9965 1228.81/1229.17 c learnt constraints deletion: 19721 -> 9861 1235.12/1235.47 c learnt constraints deletion: 19489 -> 9745 1240.11/1240.46 c learnt constraints deletion: 19821 -> 9912 1244.91/1245.22 c learnt constraints deletion: 19745 -> 9877 1250.32/1250.63 c learnt constraints deletion: 19992 -> 10005 1255.41/1255.77 c learnt constraints deletion: 20057 -> 10039 1260.21/1260.59 c learnt constraints deletion: 20135 -> 10087 1264.81/1265.15 c learnt constraints deletion: 19591 -> 9804 1270.70/1271.09 c learnt constraints deletion: 20128 -> 10065 1277.20/1277.53 c learnt constraints deletion: 20193 -> 10098 1282.20/1282.57 c learnt constraints deletion: 19919 -> 9963 1286.90/1287.25 c learnt constraints deletion: 19707 -> 9860 1292.60/1292.91 c learnt constraints deletion: 20212 -> 10111 1299.39/1299.73 c learnt constraints deletion: 19962 -> 9986 1305.10/1305.47 c learnt constraints deletion: 20188 -> 10096 1312.50/1312.81 c learnt constraints deletion: 20022 -> 10014 1317.40/1317.75 c learnt constraints deletion: 20233 -> 10128 1321.99/1322.32 c learnt constraints deletion: 20010 -> 10030 1326.79/1327.18 c learnt constraints deletion: 20085 -> 10050 1333.59/1333.91 c learnt constraints deletion: 20146 -> 10077 1338.79/1339.13 c learnt constraints deletion: 20184 -> 10098 1343.69/1344.08 c learnt constraints deletion: 19936 -> 9987 1349.69/1350.06 c learnt constraints deletion: 19616 -> 9812 1355.99/1356.36 c learnt constraints deletion: 19417 -> 9713 1360.39/1360.77 c learnt constraints deletion: 19749 -> 9886 1365.68/1366.02 c learnt constraints deletion: 20008 -> 10030 1370.99/1371.31 c learnt constraints deletion: 19834 -> 9926 1376.59/1376.93 c learnt constraints deletion: 20182 -> 10103 1381.48/1381.83 c learnt constraints deletion: 20200 -> 10116 1386.28/1386.60 c learnt constraints deletion: 19741 -> 9882 1391.09/1391.42 c learnt constraints deletion: 19955 -> 9983 1396.08/1396.41 c learnt constraints deletion: 19885 -> 9949 1401.38/1401.75 c learnt constraints deletion: 20149 -> 10085 1405.98/1406.32 c learnt constraints deletion: 20041 -> 10048 1410.48/1410.85 c learnt constraints deletion: 19820 -> 9916 1416.77/1417.16 c learnt constraints deletion: 20160 -> 10086 1423.08/1423.42 c learnt constraints deletion: 20197 -> 10107 1428.18/1428.51 c learnt constraints deletion: 20139 -> 10082 1433.07/1433.43 c learnt constraints deletion: 20135 -> 10085 1437.77/1438.16 c learnt constraints deletion: 19653 -> 9835 1443.58/1443.91 c learnt constraints deletion: 19981 -> 10003 1448.28/1448.61 c learnt constraints deletion: 19878 -> 9949 1454.66/1455.06 c learnt constraints deletion: 19735 -> 9878 1459.37/1459.77 c learnt constraints deletion: 19753 -> 9887 1465.16/1465.56 c learnt constraints deletion: 19728 -> 9874 1470.06/1470.49 c learnt constraints deletion: 20007 -> 10017 1474.76/1475.12 c learnt constraints deletion: 20120 -> 10071 1480.85/1481.22 c learnt constraints deletion: 19708 -> 9866 1485.25/1485.67 c learnt constraints deletion: 19923 -> 9977 1490.64/1491.08 c learnt constraints deletion: 20178 -> 10102 1495.45/1495.80 c learnt constraints deletion: 20162 -> 10094 1500.95/1501.39 c learnt constraints deletion: 20153 -> 10093 1506.24/1506.62 c learnt constraints deletion: 20120 -> 10077 1511.24/1511.62 c learnt constraints deletion: 20120 -> 10076 1516.04/1516.41 c learnt constraints deletion: 20170 -> 10105 1520.74/1521.15 c learnt constraints deletion: 20027 -> 10033 1526.04/1526.47 c learnt constraints deletion: 20091 -> 10066 1530.94/1531.31 c learnt constraints deletion: 20161 -> 10106 1535.15/1535.56 c learnt constraints deletion: 19785 -> 9908 1540.94/1541.39 c learnt constraints deletion: 19716 -> 9872 1546.94/1547.35 c learnt constraints deletion: 20239 -> 10121 1551.94/1552.35 c learnt constraints deletion: 20233 -> 10119 1557.24/1557.62 c learnt constraints deletion: 20034 -> 10021 1562.24/1562.65 c learnt constraints deletion: 19846 -> 9929 1567.54/1567.98 c learnt constraints deletion: 19981 -> 9998 1572.13/1572.55 c learnt constraints deletion: 20009 -> 10017 1577.13/1577.57 c learnt constraints deletion: 20223 -> 10134 1582.44/1582.82 c learnt constraints deletion: 20052 -> 10053 1588.04/1588.43 c learnt constraints deletion: 19886 -> 9952 1594.33/1594.72 c learnt constraints deletion: 20088 -> 10052 1601.14/1601.52 c learnt constraints deletion: 19542 -> 9772 1606.23/1606.65 c learnt constraints deletion: 19970 -> 10001 1611.33/1611.79 c learnt constraints deletion: 20118 -> 10061 1617.33/1617.79 c learnt constraints deletion: 20150 -> 10082 1622.63/1623.03 c learnt constraints deletion: 20104 -> 10056 1628.13/1628.58 c learnt constraints deletion: 20038 -> 10023 1633.82/1634.25 c learnt constraints deletion: 20227 -> 10130 1639.03/1639.45 c learnt constraints deletion: 20122 -> 10076 1644.32/1644.74 c learnt constraints deletion: 20205 -> 10114 1650.82/1651.20 c learnt constraints deletion: 20147 -> 10084 1656.91/1657.36 c learnt constraints deletion: 20134 -> 10077 1662.82/1663.26 c learnt constraints deletion: 19409 -> 9712 1667.61/1668.02 c learnt constraints deletion: 19416 -> 9708 1673.31/1673.77 c learnt constraints deletion: 19810 -> 9905 1679.11/1679.55 c learnt constraints deletion: 19673 -> 9837 1684.10/1684.54 c learnt constraints deletion: 19791 -> 9896 1688.51/1688.91 c learnt constraints deletion: 19882 -> 9941 1693.90/1694.32 c learnt constraints deletion: 20268 -> 10134 1698.80/1699.27 c learnt constraints deletion: 20223 -> 10112 1702.50/1702.96 c solving time = 1702.046s 1702.50/1702.96 c #decision = 5401020 1702.50/1702.96 c #conflict = 3329340 1702.50/1702.96 c #restart = 30 1702.50/1702.96 s OPTIMUM FOUND 1702.50/1702.96 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 1702.50/1702.96 v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 1702.50/1702.96 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1702.50/1702.96 v -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 1702.50/1702.96 v -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 x49 x50 1702.50/1702.96 v -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 1702.50/1702.96 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 1702.50/1702.96 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 1702.50/1702.96 v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90 1702.50/1702.96 v -x91 -x92 -x93 x94 x95 -x96 -x97 -x98 -x99 -x100 1702.50/1702.96 c total time = 1702.572s
OK -6
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-3707264-1338134971/watcher-3707264-1338134971 -o /tmp/evaluation-result-3707264-1338134971/solver-3707264-1338134971 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707264-1338134971.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 [startup+0 s] /proc/loadavg: 1.95 1.99 1.99 3/178 23920 /proc/meminfo: memFree=29835624/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/23920/stat : 23920 (runsolver) R 23918 21797 21797 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 1 0 279621937 12095488 23 33554432000 4194304 5436572 140735037443120 140735037439312 4873605 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0 /proc/23920/statm: 2953 23 3 304 0 2645 0 Current StackSize limit: 10240 KiB [startup+0.088103 s] /proc/loadavg: 1.95 1.99 1.99 3/178 23920 /proc/meminfo: memFree=29835624/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=12352 CPUtime=0.07 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 2284 0 0 0 7 0 0 0 20 0 1 0 279621937 12648448 2205 33554432000 4194304 8973514 140733624364560 140735037439304 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/23920/statm: 3088 2218 445 1167 0 1869 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12352 [startup+0.100286 s] /proc/loadavg: 1.95 1.99 1.99 3/178 23920 /proc/meminfo: memFree=29835624/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=12352 CPUtime=0.08 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 2384 0 0 0 8 0 0 0 20 0 1 0 279621937 12648448 2305 33554432000 4194304 8973514 140733624364560 140735037439304 4208820 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/23920/statm: 3088 2305 445 1167 0 1869 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12352 [startup+0.300217 s] /proc/loadavg: 1.95 1.99 1.99 3/178 23920 /proc/meminfo: memFree=29835624/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=13376 CPUtime=0.28 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 2653 0 0 0 28 0 0 0 20 0 1 0 279621937 13697024 2574 33554432000 4194304 8973514 140733624364560 140733624363824 7707296 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/23920/statm: 3344 2574 458 1167 0 2125 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 13376 [startup+0.700249 s] /proc/loadavg: 1.95 1.99 1.99 3/178 23920 /proc/meminfo: memFree=29835624/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=15424 CPUtime=0.68 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 3165 0 0 0 68 0 0 0 20 0 1 0 279621937 15794176 3086 33554432000 4194304 8973514 140733624364560 140733624364056 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/23920/statm: 3856 3086 458 1167 0 2637 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 15424 [startup+1.50023 s] /proc/loadavg: 1.95 1.99 1.99 3/179 23921 /proc/meminfo: memFree=29823968/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=20544 CPUtime=1.49 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 4311 0 0 0 148 1 0 0 20 0 1 0 279621937 21037056 4232 33554432000 4194304 8973514 140733624364560 140733624364056 7716772 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/23920/statm: 5136 4232 458 1167 0 3917 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20544 [startup+3.1002 s] /proc/loadavg: 1.95 1.99 1.99 3/179 23921 /proc/meminfo: memFree=29817636/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=24640 CPUtime=3.08 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 5475 0 0 0 307 1 0 0 20 0 1 0 279621937 25231360 5396 33554432000 4194304 8973514 140733624364560 140733624364056 4441196 0 0 0 34082818 0 0 0 17 6 0 0 0 0 0 /proc/23920/statm: 6160 5396 459 1167 0 4941 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 24640 [startup+6.30024 s] /proc/loadavg: 1.95 1.99 1.99 3/179 23921 /proc/meminfo: memFree=29806444/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=28736 CPUtime=6.28 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 6499 0 0 0 626 2 0 0 20 0 1 0 279621937 29425664 6420 33554432000 4194304 8973514 140733624364560 140733624347656 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 7184 6420 459 1167 0 5965 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 28736 [startup+12.7003 s] /proc/loadavg: 1.96 1.99 1.99 3/179 23921 /proc/meminfo: memFree=29803672/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=29760 CPUtime=12.68 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 6755 0 0 0 1264 4 0 0 20 0 1 0 279621937 30474240 6676 33554432000 4194304 8973514 140733624364560 140733624364056 4357076 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 7440 6676 459 1167 0 6221 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29760 [startup+25.5003 s] /proc/loadavg: 1.97 1.99 1.99 3/179 23921 /proc/meminfo: memFree=29812016/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=33856 CPUtime=25.47 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 7779 0 0 0 2540 7 0 0 20 0 1 0 279621937 34668544 7700 33554432000 4194304 8973514 140733624364560 140733624363824 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 8464 7700 459 1167 0 7245 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 33856 [startup+51.1003 s] /proc/loadavg: 1.98 1.99 1.99 3/180 23925 /proc/meminfo: memFree=29781352/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=36928 CPUtime=51.07 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 9571 0 0 0 5093 14 0 0 20 0 1 0 279621937 37814272 8468 33554432000 4194304 8973514 140733624364560 140733624364056 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 9232 8468 459 1167 0 8013 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36928 [startup+102.307 s] /proc/loadavg: 1.99 1.99 1.99 3/179 23925 /proc/meminfo: memFree=29750088/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=42048 CPUtime=102.26 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 14705 0 0 0 10197 29 0 0 20 0 1 0 279621937 43057152 9748 33554432000 4194304 8973514 140733624364560 140733624364056 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 10512 9748 459 1167 0 9293 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 42048 [startup+162.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 23925 /proc/meminfo: memFree=29742812/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=42048 CPUtime=162.25 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 22641 0 0 0 16177 48 0 0 20 0 1 0 279621937 43057152 9748 33554432000 4194304 8973514 140733624364560 140733624347656 4459352 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 10512 9748 459 1167 0 9293 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 42048 [startup+222.3 s] /proc/loadavg: 1.99 1.99 1.99 4/179 23925 /proc/meminfo: memFree=29743520/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=50240 CPUtime=222.24 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 31346 0 0 0 22159 65 0 0 20 0 1 0 279621937 51445760 11796 33554432000 4194304 8973514 140733624364560 140733624363824 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 12560 11796 459 1167 0 11341 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 50240 [startup+282.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 23925 /proc/meminfo: memFree=29736336/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=48192 CPUtime=282.21 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 42109 0 0 0 28137 84 0 0 20 0 1 0 279621937 49348608 11284 33554432000 4194304 8973514 140733624364560 140733624364056 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 12048 11284 459 1167 0 10829 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 48192 [startup+342.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 23925 /proc/meminfo: memFree=29730236/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=50240 CPUtime=342.21 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 47229 0 0 0 34122 99 0 0 20 0 1 0 279621937 51445760 11796 33554432000 4194304 8973514 140733624364560 140733624363824 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 12560 11796 459 1167 0 11341 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 50240 [startup+402.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 23926 /proc/meminfo: memFree=29714992/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=49216 CPUtime=402.2 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 57469 0 0 0 40104 116 0 0 20 0 1 0 279621937 50397184 11540 33554432000 4194304 8973514 140733624364560 140733624363824 6839793 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 12304 11540 459 1167 0 11085 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 49216 [startup+462.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 23926 /proc/meminfo: memFree=29722800/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=46144 CPUtime=462.18 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 65928 0 0 0 46084 134 0 0 20 0 1 0 279621937 47251456 10772 33554432000 4194304 8973514 140733624364560 140733624364056 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 11536 10772 459 1167 0 10317 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 46144 [startup+522.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 23926 /proc/meminfo: memFree=29708828/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=54336 CPUtime=522.16 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 76680 0 0 0 52066 150 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624364056 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 13584 12820 459 1167 0 12365 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 54336 [startup+582.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 23926 /proc/meminfo: memFree=29695956/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=58432 CPUtime=582.15 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 80529 0 0 0 58048 167 0 0 20 0 1 0 279621937 59834368 13844 33554432000 4194304 8973514 140733624364560 140733624363824 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 14608 13844 459 1167 0 13389 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 58432 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29690892/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=59456 CPUtime=1062.05 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 144293 0 0 0 105902 303 0 0 20 0 1 0 279621937 60882944 14100 33554432000 4194304 8973514 140733624364560 140733624347656 6839776 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 14864 14100 459 1167 0 13645 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 59456 [startup+1122.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 23931 /proc/meminfo: memFree=29666112/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=60480 CPUtime=1122.03 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 150452 0 0 0 111884 319 0 0 20 0 1 0 279621937 61931520 14356 33554432000 4194304 8973514 140733624364560 140733624363824 7717156 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 15120 14356 459 1167 0 13901 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 60480 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 23931 /proc/meminfo: memFree=29691156/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=50240 CPUtime=1182.01 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 157620 0 0 0 117868 333 0 0 20 0 1 0 279621937 51445760 11796 33554432000 4194304 8973514 140733624364560 140733624363824 4204638 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 12560 11796 459 1167 0 11341 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 50240 [startup+1242.3 s] /proc/loadavg: 2.04 2.02 2.00 3/180 23934 /proc/meminfo: memFree=29651768/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=57408 CPUtime=1242.01 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 164020 0 0 0 123855 346 0 0 20 0 1 0 279621937 58785792 13588 33554432000 4194304 8973514 140733624364560 140733624364056 4442944 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 14352 13588 459 1167 0 13133 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 57408 [startup+1302.3 s] /proc/loadavg: 2.07 2.03 2.00 3/179 23935 /proc/meminfo: memFree=29673868/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=56384 CPUtime=1302 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 170426 0 0 0 129841 359 0 0 20 0 1 0 279621937 57737216 13332 33554432000 4194304 8973514 140733624364560 140733624363824 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 14096 13332 459 1167 0 12877 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 56384 [startup+1362.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 23935 /proc/meminfo: memFree=29677928/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=56384 CPUtime=1361.98 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 178618 0 0 0 135825 373 0 0 20 0 1 0 279621937 57737216 13332 33554432000 4194304 8973514 140733624364560 140733624364056 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 14096 13332 459 1167 0 12877 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 56384 [startup+1422.31 s] /proc/loadavg: 2.06 2.03 2.00 3/179 23935 /proc/meminfo: memFree=29647208/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=63552 CPUtime=1421.98 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 188346 0 0 0 141811 387 0 0 20 0 1 0 279621937 65077248 15124 33554432000 4194304 8973514 140733624364560 140733624363824 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 15888 15124 459 1167 0 14669 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 63552 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 23935 /proc/meminfo: memFree=29667160/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=58432 CPUtime=1481.95 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 194247 0 0 0 147796 399 0 0 20 0 1 0 279621937 59834368 13844 33554432000 4194304 8973514 140733624364560 140733624362496 4208857 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 14608 13844 459 1167 0 13389 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 58432 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.00 3/180 23936 /proc/meminfo: memFree=29659052/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=58432 CPUtime=1541.94 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 197066 0 0 0 153782 412 0 0 20 0 1 0 279621937 59834368 13844 33554432000 4194304 8973514 140733624364560 140733624347656 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 14608 13844 459 1167 0 13389 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 58432 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 23937 /proc/meminfo: memFree=29676196/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=50240 CPUtime=1601.93 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 201418 0 0 0 159768 425 0 0 20 0 1 0 279621937 51445760 11796 33554432000 4194304 8973514 140733624364560 140733624347656 4427744 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 12560 11796 459 1167 0 11341 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 50240 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 23937 /proc/meminfo: memFree=29621288/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=54336 CPUtime=1661.92 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 209873 0 0 0 165752 440 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624364056 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 13584 12820 459 1167 0 12365 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 54336 Solver just ended. Dumping a history of the last processes samples [startup+1663.9 s] /proc/loadavg: 2.00 2.01 2.00 3/179 23937 /proc/meminfo: memFree=29621288/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=46144 CPUtime=1663.51 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 209877 0 0 0 165911 440 0 0 20 0 1 0 279621937 47251456 10772 33554432000 4194304 8973514 140733624364560 140733624346560 4209456 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 11536 10772 459 1167 0 10317 0 Current children cumulated CPU time (s) 1663.51 Current children cumulated vsize (KiB) 46144 [startup+1689.5 s] /proc/loadavg: 2.08 2.02 2.01 3/179 23937 /proc/meminfo: memFree=29651996/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=54336 CPUtime=1689.11 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 214230 0 0 0 168464 447 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624362496 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 13584 12820 459 1167 0 12365 0 Current children cumulated CPU time (s) 1689.11 Current children cumulated vsize (KiB) 54336 [startup+1695.9 s] /proc/loadavg: 2.07 2.02 2.00 3/179 23937 /proc/meminfo: memFree=29659820/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=58432 CPUtime=1695.5 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169101 449 0 0 20 0 1 0 279621937 59834368 13844 33554432000 4194304 8973514 140733624364560 140733624364056 4209332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 14608 13844 459 1167 0 13389 0 Current children cumulated CPU time (s) 1695.5 Current children cumulated vsize (KiB) 58432 [startup+1699.1 s] /proc/loadavg: 2.07 2.02 2.00 3/179 23937 /proc/meminfo: memFree=29659820/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=58432 CPUtime=1698.7 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169420 450 0 0 20 0 1 0 279621937 59834368 13844 33554432000 4194304 8973514 140733624364560 140733624364056 6847225 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 14608 13844 459 1167 0 13389 0 Current children cumulated CPU time (s) 1698.7 Current children cumulated vsize (KiB) 58432 [startup+1700.7 s] /proc/loadavg: 2.06 2.02 2.00 3/179 23937 /proc/meminfo: memFree=29659696/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=54336 CPUtime=1700.31 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169580 451 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624364056 4204261 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 13584 12820 459 1167 0 12365 0 Current children cumulated CPU time (s) 1700.31 Current children cumulated vsize (KiB) 54336 [startup+1702.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 23937 /proc/meminfo: memFree=29663792/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=54336 CPUtime=1701.9 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169739 451 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624363824 4206108 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 13584 12820 459 1167 0 12365 0 Current children cumulated CPU time (s) 1701.9 Current children cumulated vsize (KiB) 54336 [startup+1702.7 s] /proc/loadavg: 2.06 2.02 2.00 3/179 23937 /proc/meminfo: memFree=29663916/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=54336 CPUtime=1702.31 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169780 451 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624364056 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 13584 12820 459 1167 0 12365 0 Current children cumulated CPU time (s) 1702.31 Current children cumulated vsize (KiB) 54336 [startup+1702.9 s] /proc/loadavg: 2.06 2.02 2.00 3/179 23937 /proc/meminfo: memFree=29663916/32873844 swapFree=7372/7372 [pid=23920] ppid=23918 vsize=54336 CPUtime=1702.5 cores=0,2,4,6 /proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169799 451 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624364056 4427536 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23920/statm: 13584 12820 459 1167 0 12365 0 Current children cumulated CPU time (s) 1702.5 Current children cumulated vsize (KiB) 54336 Child status: 0 Real time (s): 1702.96 CPU time (s): 1702.58 CPU user time (s): 1698.06 CPU system time (s): 4.51631 CPU usage (%): 99.9772 Max. virtual memory (cumulated for all children) (KiB): 92224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1698.06 system time used= 4.51631 maximum resident set size= 89168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 215770 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= 118 involuntary context switches= 2218 runsolver used 2.56861 second user time and 6.74997 second system time The end
Begin job on node133 at 2012-05-27 18:09:31 IDJOB=3707264 IDBENCH=48250 IDSOLVER=2285 FILE ID=node133/3707264-1338134971 RUNJOBID= node133-1338109544-21813 PBS_JOBID= 14624470 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_1.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707264-1338134971/watcher-3707264-1338134971 -o /tmp/evaluation-result-3707264-1338134971/solver-3707264-1338134971 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707264-1338134971.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e0d3a2bf2cd2b7e4b27d7033a7686e76 RANDOM SEED=572145464 node133.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.540 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 : 5333.08 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.540 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.92 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.540 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.540 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.540 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.91 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.540 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.90 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.540 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.91 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.540 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29836376 kB Buffers: 356868 kB Cached: 1783836 kB SwapCached: 104 kB Active: 685652 kB Inactive: 1526884 kB Active(anon): 62328 kB Inactive(anon): 11368 kB Active(file): 623324 kB Inactive(file): 1515516 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108752 kB Dirty: 7392 kB Writeback: 0 kB AnonPages: 78488 kB Mapped: 16228 kB Shmem: 212 kB Slab: 685740 kB SReclaimable: 127960 kB SUnreclaim: 557780 kB KernelStack: 1472 kB PageTables: 4468 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 183296 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node133 at 2012-05-27 18:37:54