Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pb2satCp2 2012-05-19 | OPT | 24890 | 735.788 | 738.183 |
Name | normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb |
MD5SUM | aa73e48897f9c10e5003e2188d9e7ab9 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24890 |
Best CPU time to get the best result obtained on this benchmark | 0.028994 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24890 |
Optimality of the best value was proved | YES |
Number of variables | 644 |
Total number of constraints | 1034 |
Number of constraints which are clauses | 1034 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 31 |
Number of terms in the objective function | 353 |
Biggest coefficient in the objective function | 2034 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 561307 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 2034 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 561307 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 c model valid 0.00/0.01 c current solution ok 0.00/0.01 o 57596 0.00/0.01 c fallback to adder encoding 2.97/3.05 c model valid 2.97/3.05 c current solution ok 2.97/3.05 o 57561 2.97/3.05 c fallback to adder encoding 4.95/5.07 c model valid 4.95/5.07 c current solution ok 4.95/5.07 o 57514 4.95/5.07 c fallback to adder encoding 6.25/6.36 c model valid 6.25/6.36 c current solution ok 6.25/6.36 o 57474 6.25/6.36 c fallback to adder encoding 11.05/11.12 c model valid 11.05/11.12 c current solution ok 11.05/11.12 o 57417 11.05/11.12 c fallback to adder encoding 15.95/16.08 c model valid 15.95/16.08 c current solution ok 16.05/16.13 o 56326 16.05/16.13 c fallback to adder encoding 17.80/17.98 c model valid 17.80/17.98 c current solution ok 17.80/17.98 o 56309 17.80/17.98 c fallback to adder encoding 21.41/21.55 c model valid 21.41/21.55 c current solution ok 21.41/21.55 o 56289 21.41/21.55 c fallback to adder encoding 25.20/25.38 c model valid 25.20/25.38 c current solution ok 25.20/25.38 o 55412 25.20/25.38 c fallback to adder encoding 28.00/28.19 c model valid 28.00/28.19 c current solution ok 28.00/28.19 o 55383 28.00/28.19 c fallback to adder encoding 30.99/31.13 c model valid 30.99/31.13 c current solution ok 30.99/31.14 o 55352 30.99/31.14 c fallback to adder encoding 34.09/34.22 c model valid 34.09/34.22 c current solution ok 34.09/34.23 o 55325 34.09/34.23 c fallback to adder encoding 35.98/36.17 c model valid 35.98/36.17 c current solution ok 35.98/36.18 o 55306 35.98/36.18 c fallback to adder encoding 38.48/38.67 c model valid 38.48/38.67 c current solution ok 38.48/38.67 o 55214 38.48/38.67 c fallback to adder encoding 42.17/42.34 c model valid 42.17/42.34 c current solution ok 42.17/42.34 o 55203 42.17/42.34 c fallback to adder encoding 44.28/44.44 c model valid 44.28/44.44 c current solution ok 44.28/44.44 o 55112 44.28/44.44 c fallback to adder encoding 47.38/47.53 c model valid 47.38/47.53 c current solution ok 47.38/47.54 o 54997 47.38/47.54 c fallback to adder encoding 50.66/50.83 c model valid 50.66/50.83 c current solution ok 50.66/50.84 o 54837 50.66/50.84 c fallback to adder encoding 53.16/53.36 c model valid 53.16/53.36 c current solution ok 53.16/53.36 o 54811 53.16/53.36 c fallback to adder encoding 55.87/56.04 c model valid 55.87/56.04 c current solution ok 55.87/56.04 o 54747 55.87/56.04 c fallback to adder encoding 58.16/58.37 c model valid 58.16/58.37 c current solution ok 58.16/58.37 o 54741 58.16/58.37 c fallback to adder encoding 61.65/61.84 c model valid 61.65/61.84 c current solution ok 61.65/61.85 o 54672 61.65/61.85 c fallback to adder encoding 66.25/66.45 c model valid 66.25/66.45 c current solution ok 66.25/66.46 o 54462 66.25/66.46 c fallback to adder encoding 69.85/70.03 c model valid 69.85/70.03 c current solution ok 69.85/70.04 o 53879 69.85/70.04 c fallback to adder encoding 73.73/73.99 c model valid 73.73/73.99 c current solution ok 73.73/73.99 o 53813 73.73/73.99 c fallback to adder encoding 77.85/78.03 c model valid 77.85/78.03 c current solution ok 77.85/78.03 o 53751 77.85/78.03 c fallback to adder encoding 80.52/80.79 c model valid 80.52/80.79 c current solution ok 80.52/80.79 o 53726 80.52/80.79 c fallback to adder encoding 83.53/83.78 c model valid 83.53/83.78 c current solution ok 83.53/83.78 o 50452 83.53/83.78 c fallback to adder encoding 85.52/85.79 c model valid 85.52/85.79 c current solution ok 85.52/85.79 o 50306 85.52/85.79 c fallback to adder encoding 88.00/88.27 c model valid 88.00/88.27 c current solution ok 88.00/88.27 o 50250 88.00/88.27 c fallback to adder encoding 91.13/91.38 c model valid 91.13/91.38 c current solution ok 91.13/91.38 o 50154 91.13/91.38 c fallback to adder encoding 95.21/95.43 c model valid 95.21/95.43 c current solution ok 95.21/95.47 o 50007 95.21/95.47 c fallback to adder encoding 99.17/99.49 c model valid 99.17/99.49 c current solution ok 99.17/99.49 o 49633 99.17/99.49 c fallback to adder encoding 101.87/102.18 c model valid 101.87/102.18 c current solution ok 101.87/102.18 o 49632 101.87/102.18 c fallback to adder encoding 105.57/105.82 c model valid 105.57/105.82 c current solution ok 105.57/105.82 o 49563 105.57/105.82 c fallback to adder encoding 108.07/108.35 c model valid 108.07/108.35 c current solution ok 108.07/108.36 o 49419 108.07/108.36 c fallback to adder encoding 111.27/111.57 c model valid 111.27/111.57 c current solution ok 111.27/111.57 o 49356 111.27/111.57 c fallback to adder encoding 115.26/115.54 c model valid 115.26/115.54 c current solution ok 115.26/115.55 o 49353 115.26/115.55 c fallback to adder encoding 119.66/119.94 c model valid 119.66/119.94 c current solution ok 119.66/119.94 o 49340 119.66/119.94 c fallback to adder encoding 123.65/123.95 c model valid 123.65/123.95 c current solution ok 123.65/123.95 o 49294 123.65/123.95 c fallback to adder encoding 126.35/126.69 c model valid 126.35/126.69 c current solution ok 126.35/126.69 o 49264 126.35/126.69 c fallback to adder encoding 128.34/128.66 c model valid 128.34/128.66 c current solution ok 128.34/128.66 o 49257 128.34/128.66 c fallback to adder encoding 132.44/132.75 c model valid 132.44/132.75 c current solution ok 132.44/132.75 o 49244 132.44/132.75 c fallback to adder encoding 135.34/135.62 c model valid 135.34/135.62 c current solution ok 135.34/135.66 o 49184 135.34/135.66 c fallback to adder encoding 138.31/138.61 c model valid 138.31/138.61 c current solution ok 138.31/138.62 o 48978 138.31/138.62 c fallback to adder encoding 141.50/141.84 c model valid 141.50/141.84 c current solution ok 141.50/141.84 o 48789 141.50/141.84 c fallback to adder encoding 144.80/145.16 c model valid 144.80/145.16 c current solution ok 144.80/145.16 o 48777 144.80/145.16 c fallback to adder encoding 146.79/147.11 c model valid 146.79/147.11 c current solution ok 146.79/147.11 o 48750 146.79/147.11 c fallback to adder encoding 150.28/150.60 c model valid 150.28/150.60 c current solution ok 150.28/150.61 o 48237 150.28/150.61 c fallback to adder encoding 152.89/153.26 c model valid 152.89/153.26 c current solution ok 152.89/153.26 o 48125 152.89/153.26 c fallback to adder encoding 155.68/156.05 c model valid 155.68/156.05 c current solution ok 155.68/156.06 o 48055 155.68/156.06 c fallback to adder encoding 158.26/158.67 c model valid 158.26/158.67 c current solution ok 158.37/158.73 o 48010 158.37/158.73 c fallback to adder encoding 161.02/161.46 c model valid 161.02/161.46 c current solution ok 161.02/161.46 o 47989 161.02/161.46 c fallback to adder encoding 165.12/165.53 c model valid 165.12/165.53 c current solution ok 165.12/165.54 o 47905 165.12/165.54 c fallback to adder encoding 169.31/169.75 c model valid 169.31/169.75 c current solution ok 169.31/169.75 o 47840 169.31/169.75 c fallback to adder encoding 171.51/171.99 c model valid 171.51/171.99 c current solution ok 171.62/172.00 o 47815 171.62/172.00 c fallback to adder encoding 174.42/174.87 c model valid 174.42/174.87 c current solution ok 174.42/174.87 o 47786 174.42/174.87 c fallback to adder encoding 176.41/176.88 c model valid 176.41/176.88 c current solution ok 176.41/176.88 o 47782 176.41/176.88 c fallback to adder encoding 178.51/178.98 c model valid 178.51/178.98 c current solution ok 178.51/178.98 o 47622 178.51/178.98 c fallback to adder encoding 181.21/181.61 c model valid 181.21/181.61 c current solution ok 181.21/181.61 o 47563 181.21/181.61 c fallback to adder encoding 184.40/184.85 c model valid 184.40/184.85 c current solution ok 184.40/184.85 o 47550 184.40/184.85 c fallback to adder encoding 186.51/187.00 c model valid 186.51/187.00 c current solution ok 186.61/187.00 o 47517 186.61/187.00 c fallback to adder encoding 187.87/188.30 c model valid 187.87/188.30 c current solution ok 187.87/188.31 o 47507 187.87/188.31 c fallback to adder encoding 189.69/190.16 c model valid 189.69/190.16 c current solution ok 189.69/190.16 o 47295 189.69/190.16 c fallback to adder encoding 194.48/194.90 c model valid 194.48/194.90 c current solution ok 194.48/194.90 o 47281 194.48/194.90 c fallback to adder encoding 197.08/197.50 c model valid 197.08/197.50 c current solution ok 197.08/197.50 o 47116 197.08/197.50 c fallback to adder encoding 200.58/201.02 c model valid 200.58/201.02 c current solution ok 200.58/201.02 o 47108 200.58/201.02 c fallback to adder encoding 203.67/204.19 c model valid 203.67/204.19 c current solution ok 203.67/204.19 o 47081 203.67/204.19 c fallback to adder encoding 205.87/206.34 c model valid 205.87/206.34 c current solution ok 205.87/206.38 o 46971 205.87/206.38 c fallback to adder encoding 208.92/209.44 c model valid 208.92/209.44 c current solution ok 208.92/209.44 o 46934 208.92/209.44 c fallback to adder encoding 212.31/212.87 c model valid 212.31/212.87 c current solution ok 212.31/212.88 o 46319 212.31/212.88 c fallback to adder encoding 217.52/218.00 c model valid 217.52/218.00 c current solution ok 217.52/218.00 o 46312 217.52/218.00 c fallback to adder encoding 220.70/221.20 c model valid 220.70/221.20 c current solution ok 220.70/221.21 o 46239 220.70/221.21 c fallback to adder encoding 222.50/223.04 c model valid 222.50/223.04 c current solution ok 222.50/223.09 o 46092 222.50/223.09 c fallback to adder encoding 225.45/226.08 c model valid 225.45/226.08 c current solution ok 225.45/226.08 o 46052 225.45/226.08 c fallback to adder encoding 229.36/229.96 c model valid 229.36/229.96 c current solution ok 229.36/229.96 o 46001 229.36/229.96 c fallback to adder encoding 231.95/232.55 c model valid 231.95/232.55 c current solution ok 231.95/232.55 o 45901 231.95/232.55 c fallback to adder encoding 234.74/235.40 c model valid 234.74/235.40 c current solution ok 234.87/235.45 o 45900 234.87/235.45 c fallback to adder encoding 239.12/239.75 c model valid 239.12/239.75 c current solution ok 239.12/239.75 o 45873 239.12/239.75 c fallback to adder encoding 242.09/242.78 c model valid 242.09/242.78 c current solution ok 242.09/242.78 o 45863 242.09/242.78 c fallback to adder encoding 244.40/245.09 c model valid 244.40/245.09 c current solution ok 244.51/245.10 o 45849 244.51/245.10 c fallback to adder encoding 247.09/247.73 c model valid 247.09/247.73 c current solution ok 247.09/247.73 o 45825 247.09/247.73 c fallback to adder encoding 249.08/249.75 c model valid 249.08/249.75 c current solution ok 249.08/249.75 o 45812 249.08/249.75 c fallback to adder encoding 250.58/251.21 c model valid 250.58/251.21 c current solution ok 250.58/251.22 o 45793 250.58/251.22 c fallback to adder encoding 253.17/253.82 c model valid 253.17/253.82 c current solution ok 253.17/253.83 o 45763 253.17/253.83 c fallback to adder encoding 256.89/257.50 c model valid 256.89/257.50 c current solution ok 256.89/257.50 o 45755 256.89/257.50 c fallback to adder encoding 259.77/260.45 c model valid 259.77/260.45 c current solution ok 259.77/260.45 o 45753 259.77/260.45 c fallback to adder encoding 262.66/263.37 c model valid 262.66/263.37 c current solution ok 262.66/263.37 o 45688 262.66/263.37 c fallback to adder encoding 263.96/264.66 c model valid 263.96/264.66 c current solution ok 264.05/264.71 o 45610 264.05/264.71 c fallback to adder encoding 266.41/267.14 c model valid 266.41/267.14 c current solution ok 266.41/267.14 o 45591 266.41/267.14 c fallback to adder encoding 269.61/270.38 c model valid 269.61/270.38 c current solution ok 269.61/270.38 o 45565 269.61/270.38 c fallback to adder encoding 271.81/272.56 c model valid 271.81/272.56 c current solution ok 271.81/272.57 o 45557 271.81/272.57 c fallback to adder encoding 274.91/275.68 c model valid 274.91/275.68 c current solution ok 275.00/275.73 o 45530 275.00/275.73 c fallback to adder encoding 278.25/279.03 c model valid 278.25/279.03 c current solution ok 278.25/279.03 o 45493 278.25/279.03 c fallback to adder encoding 280.25/281.06 c model valid 280.25/281.06 c current solution ok 280.25/281.06 o 45447 280.25/281.06 c fallback to adder encoding 282.64/283.49 c model valid 282.64/283.49 c current solution ok 282.64/283.49 o 45428 282.64/283.49 c fallback to adder encoding 284.95/285.72 c model valid 284.95/285.72 c current solution ok 284.95/285.72 o 44644 284.95/285.72 c fallback to adder encoding 287.64/288.47 c model valid 287.64/288.47 c current solution ok 287.64/288.47 o 44640 287.64/288.47 c fallback to adder encoding 290.23/291.03 c model valid 290.23/291.03 c current solution ok 290.23/291.03 o 44585 290.23/291.03 c fallback to adder encoding 292.42/293.24 c model valid 292.42/293.24 c current solution ok 292.42/293.24 o 44578 292.42/293.24 c fallback to adder encoding 294.03/294.88 c model valid 294.03/294.88 c current solution ok 294.03/294.88 o 44164 294.03/294.88 c fallback to adder encoding 296.92/297.74 c model valid 296.92/297.74 c current solution ok 296.92/297.74 o 44082 296.92/297.74 c fallback to adder encoding 298.52/299.30 c model valid 298.52/299.30 c current solution ok 298.52/299.30 o 44029 298.52/299.30 c fallback to adder encoding 301.51/302.34 c model valid 301.51/302.34 c current solution ok 301.51/302.35 o 44022 301.51/302.35 c fallback to adder encoding 304.30/305.18 c model valid 304.30/305.18 c current solution ok 304.30/305.19 o 44010 304.30/305.19 c fallback to adder encoding 307.60/308.42 c model valid 307.60/308.42 c current solution ok 307.60/308.42 o 44002 307.60/308.42 c fallback to adder encoding 309.41/310.27 c model valid 309.41/310.27 c current solution ok 309.41/310.27 o 44001 309.41/310.27 c fallback to adder encoding 315.61/316.47 c model valid 315.61/316.47 c current solution ok 315.61/316.47 o 43988 315.61/316.47 c fallback to adder encoding 318.21/319.03 c model valid 318.21/319.03 c current solution ok 318.21/319.03 o 43807 318.21/319.03 c fallback to adder encoding 318.28/319.97 c model valid 318.28/319.97 c current solution ok 318.28/319.97 o 43121 318.28/319.97 c fallback to adder encoding 322.10/322.90 c model valid 322.10/322.90 c current solution ok 322.10/322.90 o 42973 322.10/322.90 c fallback to adder encoding 325.89/326.73 c model valid 325.89/326.73 c current solution ok 325.89/326.73 o 42786 325.89/326.73 c fallback to adder encoding 329.08/329.98 c model valid 329.08/329.98 c current solution ok 329.08/329.99 o 42591 329.08/329.99 c fallback to adder encoding 332.68/333.52 c model valid 332.68/333.52 c current solution ok 332.68/333.53 o 42574 332.68/333.53 c fallback to adder encoding 334.48/335.37 c model valid 334.48/335.37 c current solution ok 334.48/335.37 o 42570 334.48/335.37 c fallback to adder encoding 337.97/338.82 c model valid 337.97/338.82 c current solution ok 337.97/338.83 o 42557 337.97/338.83 c fallback to adder encoding 341.77/342.64 c model valid 341.77/342.64 c current solution ok 341.77/342.64 o 42522 341.77/342.64 c fallback to adder encoding 344.67/345.50 c model valid 344.67/345.50 c current solution ok 344.67/345.51 o 42448 344.67/345.51 c fallback to adder encoding 346.97/347.84 c model valid 346.97/347.84 c current solution ok 346.97/347.84 o 42359 346.97/347.84 c fallback to adder encoding 348.37/349.27 c model valid 348.37/349.27 c current solution ok 348.37/349.27 o 41514 348.37/349.27 c fallback to adder encoding 350.66/351.54 c model valid 350.66/351.54 c current solution ok 350.66/351.54 o 40926 350.66/351.54 c fallback to adder encoding 353.86/354.71 c model valid 353.86/354.71 c current solution ok 353.86/354.71 o 40923 353.86/354.71 c fallback to adder encoding 356.26/357.15 c model valid 356.26/357.15 c current solution ok 356.26/357.16 o 40914 356.26/357.16 c fallback to adder encoding 358.96/359.81 c model valid 358.96/359.81 c current solution ok 358.96/359.81 o 39988 358.96/359.81 c fallback to adder encoding 361.45/362.30 c model valid 361.45/362.30 c current solution ok 361.45/362.31 o 39672 361.45/362.31 c fallback to adder encoding 363.45/364.34 c model valid 363.45/364.34 c current solution ok 363.45/364.34 o 38667 363.45/364.34 c fallback to adder encoding 366.94/367.81 c model valid 366.94/367.81 c current solution ok 366.94/367.82 o 38659 366.94/367.82 c fallback to adder encoding 369.84/370.77 c model valid 369.84/370.77 c current solution ok 369.93/370.82 o 38539 369.93/370.82 c fallback to adder encoding 371.70/372.61 c model valid 371.70/372.61 c current solution ok 371.70/372.62 o 38416 371.70/372.62 c fallback to adder encoding 374.79/375.71 c model valid 374.79/375.71 c current solution ok 374.79/375.72 o 38240 374.79/375.72 c fallback to adder encoding 377.20/378.13 c model valid 377.20/378.13 c current solution ok 377.20/378.13 o 38174 377.20/378.13 c fallback to adder encoding 379.08/380.04 c model valid 379.08/380.04 c current solution ok 379.08/380.04 o 38121 379.08/380.04 c fallback to adder encoding 380.89/381.88 c model valid 380.89/381.88 c current solution ok 380.89/381.89 o 37701 380.89/381.89 c fallback to adder encoding 382.78/383.72 c model valid 382.78/383.72 c current solution ok 382.78/383.72 o 37684 382.78/383.72 c fallback to adder encoding 386.19/387.20 c model valid 386.19/387.20 c current solution ok 386.30/387.25 o 37603 386.30/387.25 c fallback to adder encoding 387.83/388.80 c model valid 387.83/388.80 c current solution ok 387.83/388.81 o 37434 387.83/388.81 c fallback to adder encoding 389.12/390.10 c model valid 389.12/390.10 c current solution ok 389.12/390.11 o 37407 389.12/390.11 c fallback to adder encoding 391.12/392.11 c model valid 391.12/392.11 c current solution ok 391.12/392.12 o 37349 391.12/392.12 c fallback to adder encoding 394.01/395.00 c model valid 394.01/395.00 c current solution ok 394.01/395.01 o 37341 394.01/395.01 c fallback to adder encoding 397.33/398.39 c model valid 397.33/398.39 c current solution ok 397.43/398.44 o 37284 397.43/398.44 c fallback to adder encoding 399.67/400.78 c model valid 399.67/400.78 c current solution ok 399.67/400.78 o 37276 399.67/400.78 c fallback to adder encoding 401.76/402.82 c model valid 401.76/402.82 c current solution ok 401.76/402.82 o 37207 401.76/402.82 c fallback to adder encoding 404.87/405.99 c model valid 404.87/405.99 c current solution ok 404.87/405.99 o 36941 404.87/405.99 c fallback to adder encoding 407.36/408.46 c model valid 407.36/408.46 c current solution ok 407.36/408.47 o 36911 407.36/408.47 c fallback to adder encoding 409.38/410.44 c model valid 409.38/410.44 c current solution ok 409.38/410.44 o 36773 409.38/410.44 c fallback to adder encoding 412.76/413.83 c model valid 412.76/413.83 c current solution ok 412.76/413.83 o 36724 412.76/413.83 c fallback to adder encoding 415.07/416.14 c model valid 415.07/416.14 c current solution ok 415.07/416.15 o 36719 415.07/416.15 c fallback to adder encoding 417.15/418.29 c model valid 417.15/418.29 c current solution ok 417.15/418.29 o 36704 417.15/418.29 c fallback to adder encoding 420.05/421.20 c model valid 420.05/421.20 c current solution ok 420.18/421.20 o 36604 420.18/421.20 c fallback to adder encoding 422.16/423.24 c model valid 422.16/423.24 c current solution ok 422.16/423.24 o 36600 422.16/423.24 c fallback to adder encoding 423.95/425.01 c model valid 423.95/425.01 c current solution ok 423.95/425.02 o 36467 423.95/425.02 c fallback to adder encoding 426.55/427.62 c model valid 426.55/427.62 c current solution ok 426.55/427.63 o 36444 426.55/427.63 c fallback to adder encoding 427.96/429.03 c model valid 427.96/429.03 c current solution ok 427.96/429.03 o 36284 427.96/429.03 c fallback to adder encoding 429.53/430.67 c model valid 429.53/430.67 c current solution ok 429.53/430.67 o 36203 429.53/430.67 c fallback to adder encoding 430.93/432.07 c model valid 430.93/432.07 c current solution ok 430.93/432.07 o 36198 430.93/432.07 c fallback to adder encoding 434.72/435.89 c model valid 434.72/435.89 c current solution ok 434.72/435.89 o 36030 434.72/435.89 c fallback to adder encoding 437.90/439.05 c model valid 437.90/439.05 c current solution ok 437.90/439.05 o 35947 437.90/439.05 c fallback to adder encoding 440.53/441.60 c model valid 440.53/441.60 c current solution ok 440.53/441.60 o 35917 440.53/441.60 c fallback to adder encoding 443.51/444.65 c model valid 443.51/444.65 c current solution ok 443.51/444.66 o 35694 443.51/444.66 c fallback to adder encoding 446.12/447.23 c model valid 446.12/447.23 c current solution ok 446.12/447.24 o 35687 446.12/447.24 c fallback to adder encoding 448.60/449.71 c model valid 448.60/449.71 c current solution ok 448.60/449.71 o 35650 448.60/449.71 c fallback to adder encoding 452.70/453.80 c model valid 452.70/453.80 c current solution ok 452.70/453.80 o 35641 452.70/453.80 c fallback to adder encoding 456.50/457.68 c model valid 456.50/457.68 c current solution ok 456.50/457.69 o 35630 456.50/457.69 c fallback to adder encoding 459.88/461.08 c model valid 459.88/461.08 c current solution ok 459.88/461.09 o 35426 459.88/461.09 c fallback to adder encoding 461.79/462.99 c model valid 461.79/462.99 c current solution ok 461.79/462.99 o 35314 461.79/462.99 c fallback to adder encoding 464.09/465.28 c model valid 464.09/465.28 c current solution ok 464.18/465.33 o 35282 464.18/465.33 c fallback to adder encoding 466.14/467.35 c model valid 466.14/467.35 c current solution ok 466.14/467.35 o 35025 466.14/467.35 c fallback to adder encoding 466.94/468.11 c model valid 466.94/468.11 c current solution ok 466.94/468.11 o 34908 466.94/468.11 c fallback to adder encoding 470.13/471.31 c model valid 470.13/471.31 c current solution ok 470.13/471.31 o 34887 470.13/471.31 c fallback to adder encoding 471.43/472.61 c model valid 471.43/472.61 c current solution ok 471.43/472.61 o 34885 471.43/472.61 c fallback to adder encoding 473.42/474.62 c model valid 473.42/474.62 c current solution ok 473.42/474.62 o 34862 473.42/474.62 c fallback to adder encoding 475.72/476.90 c model valid 475.72/476.90 c current solution ok 475.72/476.90 o 34857 475.72/476.90 c fallback to adder encoding 477.70/478.96 c model valid 477.70/478.96 c current solution ok 477.70/478.96 o 34800 477.70/478.96 c fallback to adder encoding 480.41/481.62 c model valid 480.41/481.62 c current solution ok 480.41/481.62 o 34793 480.41/481.62 c fallback to adder encoding 482.71/483.96 c model valid 482.71/483.96 c current solution ok 482.71/483.97 o 34769 482.71/483.97 c fallback to adder encoding 485.31/486.51 c model valid 485.31/486.51 c current solution ok 485.31/486.52 o 34756 485.31/486.52 c fallback to adder encoding 487.21/488.48 c model valid 487.21/488.48 c current solution ok 487.21/488.48 o 34671 487.21/488.48 c fallback to adder encoding 489.98/491.28 c model valid 489.98/491.28 c current solution ok 489.98/491.28 o 34573 489.98/491.28 c fallback to adder encoding 492.28/493.54 c model valid 492.28/493.54 c current solution ok 492.28/493.58 o 34271 492.28/493.58 c fallback to adder encoding 495.04/496.30 c model valid 495.04/496.30 c current solution ok 495.04/496.31 o 34216 495.04/496.31 c fallback to adder encoding 496.74/498.08 c model valid 496.74/498.08 c current solution ok 496.74/498.09 o 34162 496.74/498.09 c fallback to adder encoding 499.14/500.49 c model valid 499.14/500.49 c current solution ok 499.14/500.50 o 34112 499.14/500.50 c fallback to adder encoding 501.84/503.14 c model valid 501.84/503.14 c current solution ok 501.84/503.15 o 34104 501.84/503.15 c fallback to adder encoding 504.63/505.95 c model valid 504.63/505.95 c current solution ok 504.63/505.95 o 34071 504.63/505.95 c fallback to adder encoding 506.13/507.48 c model valid 506.13/507.48 c current solution ok 506.13/507.48 o 34030 506.13/507.48 c fallback to adder encoding 509.03/510.39 c model valid 509.03/510.39 c current solution ok 509.03/510.39 o 33925 509.03/510.39 c fallback to adder encoding 511.13/512.42 c model valid 511.13/512.42 c current solution ok 511.13/512.42 o 33916 511.13/512.42 c fallback to adder encoding 512.43/513.78 c model valid 512.43/513.78 c current solution ok 512.43/513.78 o 33650 512.43/513.78 c fallback to adder encoding 514.92/516.22 c model valid 514.92/516.22 c current solution ok 514.92/516.23 o 33400 514.92/516.23 c fallback to adder encoding 516.11/517.45 c model valid 516.11/517.45 c current solution ok 516.19/517.50 o 33281 516.19/517.50 c fallback to adder encoding 518.87/520.29 c model valid 518.87/520.29 c current solution ok 518.87/520.30 o 33249 518.87/520.30 c fallback to adder encoding 521.58/522.99 c model valid 521.58/522.99 c current solution ok 521.58/522.99 o 32794 521.58/522.99 c fallback to adder encoding 523.47/524.81 c model valid 523.47/524.81 c current solution ok 523.47/524.81 o 32785 523.47/524.81 c fallback to adder encoding 526.17/527.59 c model valid 526.17/527.59 c current solution ok 526.27/527.64 o 32770 526.27/527.64 c fallback to adder encoding 528.30/529.77 c model valid 528.30/529.77 c current solution ok 528.30/529.77 o 32764 528.30/529.77 c fallback to adder encoding 531.60/533.08 c model valid 531.60/533.08 c current solution ok 531.60/533.08 o 32738 531.60/533.08 c fallback to adder encoding 534.80/536.24 c model valid 534.80/536.24 c current solution ok 534.80/536.25 o 32686 534.80/536.25 c fallback to adder encoding 537.12/538.59 c model valid 537.12/538.59 c current solution ok 537.12/538.59 o 32642 537.12/538.59 c fallback to adder encoding 539.10/540.58 c model valid 539.10/540.58 c current solution ok 539.10/540.59 o 32636 539.10/540.59 c fallback to adder encoding 541.10/542.52 c model valid 541.10/542.52 c current solution ok 541.10/542.52 o 32590 541.10/542.52 c fallback to adder encoding 542.80/544.23 c model valid 542.80/544.23 c current solution ok 542.80/544.23 o 32393 542.80/544.23 c fallback to adder encoding 545.61/547.00 c model valid 545.61/547.00 c current solution ok 545.61/547.00 o 32285 545.61/547.00 c fallback to adder encoding 547.20/548.64 c model valid 547.20/548.64 c current solution ok 547.20/548.65 o 32204 547.20/548.65 c fallback to adder encoding 549.39/550.84 c model valid 549.39/550.84 c current solution ok 549.39/550.84 o 32129 549.39/550.84 c fallback to adder encoding 551.98/553.41 c model valid 551.98/553.41 c current solution ok 551.98/553.42 o 32123 551.98/553.42 c fallback to adder encoding 553.18/554.68 c model valid 553.18/554.68 c current solution ok 553.18/554.68 o 32109 553.18/554.68 c fallback to adder encoding 555.19/556.68 c model valid 555.19/556.68 c current solution ok 555.27/556.72 o 32081 555.27/556.72 c fallback to adder encoding 556.93/558.49 c model valid 556.93/558.49 c current solution ok 556.93/558.49 o 32043 556.93/558.49 c fallback to adder encoding 558.53/560.07 c model valid 558.53/560.07 c current solution ok 558.53/560.07 o 31968 558.53/560.07 c fallback to adder encoding 560.23/561.79 c model valid 560.23/561.79 c current solution ok 560.34/561.84 o 31953 560.34/561.84 c fallback to adder encoding 562.30/563.89 c model valid 562.30/563.89 c current solution ok 562.30/563.89 o 31860 562.30/563.89 c fallback to adder encoding 563.39/564.92 c model valid 563.39/564.92 c current solution ok 563.39/564.92 o 31852 563.39/564.92 c fallback to adder encoding 565.38/566.98 c model valid 565.38/566.98 c current solution ok 565.38/566.98 o 31824 565.38/566.98 c fallback to adder encoding 567.79/569.32 c model valid 567.79/569.32 c current solution ok 567.79/569.32 o 31819 567.79/569.32 c fallback to adder encoding 569.77/571.37 c model valid 569.77/571.37 c current solution ok 569.77/571.38 o 31779 569.77/571.38 c fallback to adder encoding 571.17/572.77 c model valid 571.17/572.77 c current solution ok 571.17/572.77 o 31739 571.17/572.77 c fallback to adder encoding 573.47/575.02 c model valid 573.47/575.02 c current solution ok 573.47/575.03 o 31730 573.47/575.03 c fallback to adder encoding 575.36/576.92 c model valid 575.36/576.92 c current solution ok 575.36/576.92 o 31702 575.36/576.92 c fallback to adder encoding 577.66/579.24 c model valid 577.66/579.24 c current solution ok 577.66/579.24 o 31686 577.66/579.24 c fallback to adder encoding 579.76/581.34 c model valid 579.76/581.34 c current solution ok 579.76/581.34 o 31457 579.76/581.34 c fallback to adder encoding 581.16/582.73 c model valid 581.16/582.73 c current solution ok 581.16/582.73 o 31426 581.16/582.73 c fallback to adder encoding 582.36/583.98 c model valid 582.36/583.98 c current solution ok 582.36/583.98 o 31423 582.36/583.98 c fallback to adder encoding 585.46/587.05 c model valid 585.46/587.05 c current solution ok 585.46/587.05 o 31375 585.46/587.05 c fallback to adder encoding 588.33/589.96 c model valid 588.33/589.96 c current solution ok 588.33/589.97 o 31354 588.33/589.97 c fallback to adder encoding 590.25/591.85 c model valid 590.25/591.85 c current solution ok 590.25/591.85 o 31318 590.25/591.85 c fallback to adder encoding 591.85/593.41 c model valid 591.85/593.41 c current solution ok 591.85/593.42 o 31141 591.85/593.42 c fallback to adder encoding 593.65/595.28 c model valid 593.65/595.28 c current solution ok 593.73/595.33 o 31120 593.73/595.33 c fallback to adder encoding 596.48/598.19 c model valid 596.48/598.19 c current solution ok 596.48/598.19 o 31092 596.48/598.19 c fallback to adder encoding 598.18/599.87 c model valid 598.18/599.87 c current solution ok 598.18/599.88 o 31015 598.18/599.88 c fallback to adder encoding 600.08/601.76 c model valid 600.08/601.76 c current solution ok 600.08/601.77 o 30720 600.08/601.77 c fallback to adder encoding 602.38/604.01 c model valid 602.38/604.01 c current solution ok 602.38/604.01 o 30716 602.38/604.01 c fallback to adder encoding 603.57/605.25 c model valid 603.57/605.25 c current solution ok 603.57/605.25 o 30485 603.57/605.25 c fallback to adder encoding 604.99/606.60 c model valid 604.99/606.60 c current solution ok 604.99/606.60 o 30398 604.99/606.60 c fallback to adder encoding 607.68/609.37 c model valid 607.68/609.37 c current solution ok 607.68/609.38 o 30346 607.68/609.38 c fallback to adder encoding 609.97/611.68 c model valid 609.97/611.68 c current solution ok 610.07/611.73 o 30233 610.07/611.73 c fallback to adder encoding 612.82/614.57 c model valid 612.82/614.57 c current solution ok 612.82/614.57 o 30218 612.82/614.57 c fallback to adder encoding 614.71/616.41 c model valid 614.71/616.41 c current solution ok 614.71/616.41 o 30084 614.71/616.41 c fallback to adder encoding 617.51/619.20 c model valid 617.51/619.20 c current solution ok 617.51/619.21 o 30018 617.51/619.21 c fallback to adder encoding 619.51/621.25 c model valid 619.51/621.25 c current solution ok 619.51/621.25 o 30016 619.51/621.25 c fallback to adder encoding 621.80/623.56 c model valid 621.80/623.56 c current solution ok 621.80/623.57 o 29923 621.80/623.57 c fallback to adder encoding 624.42/626.12 c model valid 624.42/626.12 c current solution ok 624.42/626.12 o 29908 624.42/626.12 c fallback to adder encoding 625.81/627.53 c model valid 625.81/627.53 c current solution ok 625.81/627.59 o 29883 625.81/627.59 c fallback to adder encoding 627.35/629.15 c model valid 627.35/629.15 c current solution ok 627.35/629.15 o 29873 627.35/629.15 c fallback to adder encoding 629.45/631.23 c model valid 629.45/631.23 c current solution ok 629.45/631.24 o 29705 629.45/631.24 c fallback to adder encoding 632.24/634.07 c model valid 632.24/634.07 c current solution ok 632.24/634.08 o 29487 632.24/634.08 c fallback to adder encoding 634.45/636.22 c model valid 634.45/636.22 c current solution ok 634.45/636.23 o 29476 634.45/636.23 c fallback to adder encoding 636.63/638.44 c model valid 636.63/638.44 c current solution ok 636.68/638.77 o 29474 636.68/638.77 c fallback to adder encoding 638.39/640.55 c model valid 638.39/640.55 c current solution ok 638.39/640.55 o 29422 638.39/640.55 c fallback to adder encoding 640.39/642.56 c model valid 640.39/642.56 c current solution ok 640.39/642.57 o 29380 640.39/642.57 c fallback to adder encoding 641.88/644.06 c model valid 641.88/644.06 c current solution ok 641.88/644.06 o 28632 641.88/644.06 c fallback to adder encoding 643.39/645.50 c model valid 643.39/645.50 c current solution ok 643.39/645.51 o 28589 643.39/645.51 c fallback to adder encoding 645.09/647.26 c model valid 645.09/647.26 c current solution ok 645.09/647.26 o 28572 645.09/647.26 c fallback to adder encoding 646.57/648.70 c model valid 646.57/648.70 c current solution ok 646.57/648.71 o 28568 646.57/648.71 c fallback to adder encoding 648.98/651.15 c model valid 648.98/651.15 c current solution ok 648.98/651.16 o 28452 648.98/651.16 c fallback to adder encoding 650.67/652.83 c model valid 650.67/652.83 c current solution ok 650.67/652.83 o 28376 650.67/652.83 c fallback to adder encoding 652.87/655.08 c model valid 652.87/655.08 c current solution ok 652.87/655.08 o 28141 652.87/655.08 c fallback to adder encoding 654.86/657.03 c model valid 654.86/657.03 c current solution ok 654.86/657.03 o 28007 654.86/657.03 c fallback to adder encoding 657.16/659.37 c model valid 657.16/659.37 c current solution ok 657.16/659.38 o 28003 657.16/659.38 c fallback to adder encoding 658.65/660.89 c model valid 658.65/660.89 c current solution ok 658.65/660.89 o 27886 658.65/660.89 c fallback to adder encoding 660.96/663.12 c model valid 660.96/663.12 c current solution ok 660.96/663.13 o 27807 660.96/663.13 c fallback to adder encoding 662.26/664.44 c model valid 662.26/664.44 c current solution ok 662.26/664.44 o 27754 662.26/664.44 c fallback to adder encoding 663.84/666.09 c model valid 663.84/666.09 c current solution ok 663.96/666.13 o 27749 663.96/666.13 c fallback to adder encoding 665.61/667.84 c model valid 665.61/667.84 c current solution ok 665.61/667.84 o 27703 665.61/667.84 c fallback to adder encoding 667.20/669.41 c model valid 667.20/669.41 c current solution ok 667.20/669.42 o 27575 667.20/669.42 c fallback to adder encoding 669.69/671.96 c model valid 669.69/671.96 c current solution ok 669.69/671.96 o 27558 669.69/671.96 c fallback to adder encoding 672.29/674.59 c model valid 672.29/674.59 c current solution ok 672.29/674.59 o 27363 672.29/674.59 c fallback to adder encoding 674.88/677.18 c model valid 674.88/677.18 c current solution ok 674.98/677.22 o 27198 674.98/677.22 c fallback to adder encoding 676.44/678.75 c model valid 676.44/678.75 c current solution ok 676.44/678.76 o 27175 676.44/678.76 c fallback to adder encoding 678.74/681.01 c model valid 678.74/681.01 c current solution ok 678.74/681.01 o 26957 678.74/681.01 c fallback to adder encoding 680.43/682.74 c model valid 680.43/682.74 c current solution ok 680.43/682.75 o 26912 680.43/682.75 c fallback to adder encoding 681.53/683.89 c model valid 681.53/683.89 c current solution ok 681.53/683.89 o 26903 681.53/683.89 c fallback to adder encoding 682.73/685.03 c model valid 682.73/685.03 c current solution ok 682.73/685.04 o 26883 682.73/685.04 c fallback to adder encoding 683.92/686.28 c model valid 683.92/686.28 c current solution ok 683.92/686.29 o 26879 683.92/686.29 c fallback to adder encoding 685.73/688.03 c model valid 685.73/688.03 c current solution ok 685.73/688.03 o 26859 685.73/688.03 c fallback to adder encoding 687.13/689.42 c model valid 687.13/689.42 c current solution ok 687.13/689.42 o 26838 687.13/689.42 c fallback to adder encoding 688.92/691.22 c model valid 688.92/691.22 c current solution ok 688.92/691.22 o 26770 688.92/691.22 c fallback to adder encoding 690.92/693.21 c model valid 690.92/693.21 c current solution ok 690.92/693.21 o 26750 690.92/693.21 c fallback to adder encoding 692.70/695.01 c model valid 692.70/695.01 c current solution ok 692.70/695.02 o 26615 692.70/695.02 c fallback to adder encoding 694.11/696.44 c model valid 694.11/696.44 c current solution ok 694.11/696.44 o 26538 694.11/696.44 c fallback to adder encoding 696.20/698.54 c model valid 696.20/698.54 c current solution ok 696.20/698.54 o 26536 696.20/698.54 c fallback to adder encoding 698.19/700.51 c model valid 698.19/700.51 c current solution ok 698.19/700.51 o 26495 698.19/700.51 c fallback to adder encoding 700.41/702.78 c model valid 700.41/702.78 c current solution ok 700.41/702.78 o 26480 700.41/702.78 c fallback to adder encoding 701.89/704.26 c model valid 701.89/704.26 c current solution ok 701.89/704.27 o 26432 701.89/704.27 c fallback to adder encoding 704.18/706.56 c model valid 704.18/706.56 c current solution ok 704.18/706.57 o 26392 704.18/706.57 c fallback to adder encoding 707.98/710.33 c model valid 707.98/710.33 c current solution ok 707.98/710.33 o 26080 707.98/710.33 c fallback to adder encoding 709.68/712.07 c model valid 709.68/712.07 c current solution ok 709.68/712.07 o 26035 709.68/712.07 c fallback to adder encoding 711.68/714.09 c model valid 711.68/714.09 c current solution ok 711.68/714.09 o 25777 711.68/714.09 c fallback to adder encoding 713.09/715.41 c model valid 713.09/715.41 c current solution ok 713.09/715.46 o 25752 713.09/715.46 c fallback to adder encoding 714.84/717.24 c model valid 714.84/717.24 c current solution ok 714.84/717.24 o 25710 714.84/717.24 c fallback to adder encoding 716.92/719.33 c model valid 716.92/719.33 c current solution ok 716.92/719.34 o 25656 716.92/719.34 c fallback to adder encoding 718.42/720.80 c model valid 718.42/720.80 c current solution ok 718.42/720.81 o 25585 718.42/720.81 c fallback to adder encoding 719.91/722.38 c model valid 719.91/722.38 c current solution ok 719.91/722.38 o 25582 719.91/722.38 c fallback to adder encoding 721.71/724.12 c model valid 721.71/724.12 c current solution ok 721.71/724.12 o 25529 721.71/724.12 c fallback to adder encoding 723.00/725.48 c model valid 723.00/725.48 c current solution ok 723.00/725.48 o 25504 723.00/725.48 c fallback to adder encoding 725.39/727.83 c model valid 725.39/727.83 c current solution ok 725.39/727.83 o 25492 725.39/727.83 c fallback to adder encoding 726.98/729.41 c model valid 726.98/729.41 c current solution ok 726.98/729.41 o 25474 726.98/729.41 c fallback to adder encoding 728.29/730.72 c model valid 728.29/730.72 c current solution ok 728.29/730.73 o 25430 728.29/730.73 c fallback to adder encoding 730.09/732.56 c model valid 730.09/732.56 c current solution ok 730.09/732.56 o 25425 730.09/732.56 c fallback to adder encoding 732.50/734.97 c model valid 732.50/734.97 c current solution ok 732.50/734.98 o 24957 732.50/734.98 c fallback to adder encoding 733.88/736.33 c model valid 733.88/736.33 c current solution ok 733.88/736.33 o 24890 733.88/736.33 c fallback to adder encoding 735.68/738.18 s OPTIMUM FOUND 735.68/738.18 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 x642 x643 -x644
OK 24890
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-3695073-1338077625/watcher-3695073-1338077625 -o /tmp/evaluation-result-3695073-1338077625/solver-3695073-1338077625 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695073-1338077625.opb 1087391195 HOME HOME 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.01 2.00 3/179 378 /proc/meminfo: memFree=29986420/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [startup+0.061581 s] /proc/loadavg: 2.00 2.01 2.00 3/179 378 /proc/meminfo: memFree=29986420/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100193 s] /proc/loadavg: 2.00 2.01 2.00 3/179 378 /proc/meminfo: memFree=29986420/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300114 s] /proc/loadavg: 2.00 2.01 2.00 3/179 378 /proc/meminfo: memFree=29986420/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700118 s] /proc/loadavg: 2.00 2.01 2.00 3/179 378 /proc/meminfo: memFree=29986420/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.5003 s] /proc/loadavg: 2.00 2.01 2.00 3/183 385 /proc/meminfo: memFree=29971088/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=4404 CPUtime=0.03 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 1703 1362 0 0 3 0 0 0 20 0 1 0 273886890 4509696 711 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1101 711 179 410 0 683 0 [pid=384] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/384/stat : 384 (satsolver.sh) S 379 378 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273886894 9367552 266 33554432000 4194304 5064252 140736090676672 140736090675584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/384/statm: 2287 266 226 213 0 72 0 [pid=385] ppid=384 vsize=10120 CPUtime=1.43 cores=0,2,4,6 /proc/385/stat : 385 (glucose_static) R 384 378 28113 0 -1 4202496 3798 0 0 0 143 0 0 0 20 0 1 0 273886894 10362880 2110 33554432000 4194304 4896791 140734543654640 140734543651960 4202992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/385/statm: 2530 2110 78 172 0 2356 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 32820 [startup+3.10024 s] /proc/loadavg: 2.00 2.01 2.00 3/183 385 /proc/meminfo: memFree=29969840/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6492 CPUtime=3.06 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 2793 7678 0 0 6 0 298 2 20 0 1 0 273886890 6647808 1201 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1623 1201 179 410 0 1205 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 15640 [startup+6.30035 s] /proc/loadavg: 2.08 2.02 2.01 3/183 391 /proc/meminfo: memFree=29979404/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6492 CPUtime=5.08 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 3870 12945 0 0 9 1 495 3 20 0 1 0 273886890 6647808 1201 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1623 1201 179 410 0 1205 0 [pid=390] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/390/stat : 390 (satsolver.sh) S 379 378 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273887400 9367552 266 33554432000 4194304 5064252 140734203697968 140734203696880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/390/statm: 2287 266 226 213 0 72 0 [pid=391] ppid=390 vsize=9824 CPUtime=1.17 cores=0,2,4,6 /proc/391/stat : 391 (glucose_static) R 390 378 28113 0 -1 4202496 3067 0 0 0 117 0 0 0 20 0 1 0 273887401 10059776 2247 33554432000 4194304 4896791 140735289274992 140735289272568 4202999 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/391/statm: 2456 2247 78 172 0 2282 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 34612 [startup+12.7003 s] /proc/loadavg: 2.07 2.02 2.00 3/183 397 /proc/meminfo: memFree=29974136/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6492 CPUtime=11.12 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 6028 23656 0 0 14 2 1090 6 20 0 1 0 273886890 6647808 1201 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1623 1201 179 410 0 1205 0 [pid=396] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/396/stat : 396 (satsolver.sh) S 379 378 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273888005 9367552 267 33554432000 4194304 5064252 140734974553808 140734974552720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/396/statm: 2287 267 226 213 0 72 0 [pid=397] ppid=396 vsize=10136 CPUtime=1.53 cores=0,2,4,6 /proc/397/stat : 397 (glucose_static) R 396 378 28113 0 -1 4202496 3968 0 0 0 152 1 0 0 20 0 1 0 273888005 10379264 2239 33554432000 4194304 4896791 140736803064976 140736803062184 4203936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/397/statm: 2534 2239 78 172 0 2360 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 34924 [startup+25.5002 s] /proc/loadavg: 2.06 2.02 2.00 3/183 406 /proc/meminfo: memFree=29964440/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6492 CPUtime=25.33 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 10392 49216 0 0 26 4 2491 12 20 0 1 0 273886890 6647808 1201 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1623 1201 179 410 0 1205 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 15640 [startup+51.1002 s] /proc/loadavg: 2.04 2.02 2.00 3/183 438 /proc/meminfo: memFree=29992016/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6492 CPUtime=50.75 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 20216 98918 0 0 52 8 4991 24 20 0 1 0 273886890 6647808 1201 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1623 1201 179 410 0 1205 0 Current children cumulated CPU time (s) 50.75 Current children cumulated vsize (KiB) 15640 [startup+102.306 s] /proc/loadavg: 2.02 2.02 2.00 3/181 487 /proc/meminfo: memFree=29993204/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6492 CPUtime=102 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 37653 195436 0 0 99 14 10039 48 20 0 1 0 273886890 6647808 1201 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1623 1201 179 410 0 1205 0 Current children cumulated CPU time (s) 102 Current children cumulated vsize (KiB) 15640 [startup+162.3 s] /proc/loadavg: 2.05 2.03 2.00 3/183 548 /proc/meminfo: memFree=29986880/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6492 CPUtime=161.12 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 58392 309116 0 0 155 21 15861 75 20 0 1 0 273886890 6647808 1201 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1623 1201 179 410 0 1205 0 [pid=547] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/547/stat : 547 (satsolver.sh) S 379 378 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273903039 9367552 267 33554432000 4194304 5064252 140737116202832 140737116201744 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/547/statm: 2287 267 226 213 0 72 0 [pid=548] ppid=547 vsize=9684 CPUtime=0.79 cores=0,2,4,6 /proc/548/stat : 548 (glucose_static) R 547 378 28113 0 -1 4202496 3085 0 0 0 79 0 0 0 20 0 1 0 273903039 9916416 2030 33554432000 4194304 4896791 140737242599936 140737242597256 4224999 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/548/statm: 2421 2030 78 172 0 2247 0 Current children cumulated CPU time (s) 161.91 Current children cumulated vsize (KiB) 34472 [startup+222.3 s] /proc/loadavg: 2.10 2.05 2.01 3/183 608 /proc/meminfo: memFree=29979704/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6492 CPUtime=220.76 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 80193 425785 0 0 214 29 21726 107 20 0 1 0 273886890 6647808 1201 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1623 1201 179 410 0 1205 0 [pid=607] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/607/stat : 607 (satsolver.sh) S 379 378 28113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273909014 9367552 267 33554432000 4194304 5064252 140735529580512 140735529579424 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/607/statm: 2287 267 226 213 0 72 0 [pid=608] ppid=607 vsize=9860 CPUtime=1.05 cores=0,2,4,6 /proc/608/stat : 608 (glucose_static) R 607 378 28113 0 -1 4202496 2924 0 0 0 105 0 0 0 20 0 1 0 273909014 10096640 2175 33554432000 4194304 4896791 140733259761376 140733259758776 4230803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/608/statm: 2465 2175 78 172 0 2291 0 Current children cumulated CPU time (s) 221.81 ################ # More data... # ################ [startup+582.3 s] /proc/loadavg: 2.05 2.05 2.00 3/183 1058 /proc/meminfo: memFree=29973408/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6484 CPUtime=579.85 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 239293 1190516 0 0 639 86 56961 299 20 0 1 0 273886890 6639616 1171 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1621 1171 179 410 0 1203 0 [pid=1057] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1057/stat : 1057 (satsolver.sh) S 379 378 28113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273945027 9367552 267 33554432000 4194304 5064252 140733289134256 140733289133168 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/1057/statm: 2287 267 226 213 0 72 0 [pid=1058] ppid=1057 vsize=9560 CPUtime=0.91 cores=0,2,4,6 /proc/1058/stat : 1058 (glucose_static) R 1057 378 28113 0 -1 4202496 2799 0 0 0 91 0 0 0 20 0 1 0 273945027 9789440 1969 33554432000 4194304 4896791 140733874990720 140733874988040 4230803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/1058/statm: 2390 1969 78 172 0 2216 0 Current children cumulated CPU time (s) 580.76 Current children cumulated vsize (KiB) 34340 [startup+642.3 s] /proc/loadavg: 2.02 2.04 2.00 3/183 1264 /proc/meminfo: memFree=29981180/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6484 CPUtime=638.49 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 268638 1323843 0 0 715 97 62705 332 20 0 1 0 273886890 6639616 1171 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1621 1171 179 410 0 1203 0 [pid=1263] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1263/stat : 1263 (satsolver.sh) S 379 378 28113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273950948 9367552 267 33554432000 4194304 5064252 140736102076672 140736102075584 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/1263/statm: 2287 267 226 213 0 72 0 [pid=1264] ppid=1263 vsize=11460 CPUtime=1.71 cores=0,2,4,6 /proc/1264/stat : 1264 (glucose_static) R 1263 378 28113 0 -1 4202496 3360 0 0 0 170 1 0 0 20 0 1 0 273950948 11735040 2353 33554432000 4194304 4896791 140734265943824 140734265941032 4225796 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/1264/statm: 2865 2353 78 172 0 2691 0 Current children cumulated CPU time (s) 640.2 Current children cumulated vsize (KiB) 36240 [startup+702.3 s] /proc/loadavg: 2.07 2.06 2.01 3/183 1367 /proc/meminfo: memFree=29952860/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6484 CPUtime=698.27 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 303180 1475207 0 0 806 109 68542 370 20 0 1 0 273886890 6639616 1171 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1621 1171 179 410 0 1203 0 [pid=1366] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1366/stat : 1366 (satsolver.sh) S 379 378 28113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273956944 9367552 267 33554432000 4194304 5064252 140733880755600 140733880754512 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/1366/statm: 2287 267 226 213 0 72 0 [pid=1367] ppid=1366 vsize=11492 CPUtime=1.74 cores=0,2,4,6 /proc/1367/stat : 1367 (glucose_static) R 1366 378 28113 0 -1 4202496 3480 0 0 0 174 0 0 0 20 0 1 0 273956944 11767808 2326 33554432000 4194304 4896791 140737169736144 140737169733352 4203877 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/1367/statm: 2873 2326 78 172 0 2699 0 Current children cumulated CPU time (s) 700.01 Current children cumulated vsize (KiB) 36272 Solver just ended. Dumping a history of the last processes samples [startup+716.7 s] /proc/loadavg: 2.12 2.07 2.01 3/183 1390 /proc/meminfo: memFree=29945824/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6484 CPUtime=713.14 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 310506 1509230 0 0 825 111 70000 378 20 0 1 0 273886890 6639616 1171 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1621 1171 179 410 0 1203 0 [pid=1389] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1389/stat : 1389 (satsolver.sh) S 379 378 28113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273958439 9367552 267 33554432000 4194304 5064252 140733970011824 140733970010736 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/1389/statm: 2287 267 226 213 0 72 0 [pid=1390] ppid=1389 vsize=9680 CPUtime=1.19 cores=0,2,4,6 /proc/1390/stat : 1390 (glucose_static) R 1389 378 28113 0 -1 4202496 3097 0 0 0 119 0 0 0 20 0 1 0 273958439 9912320 2095 33554432000 4194304 4896791 140735963222464 140735963219864 4225008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/1390/statm: 2420 2095 78 172 0 2246 0 Current children cumulated CPU time (s) 714.33 Current children cumulated vsize (KiB) 34460 [startup+729.5 s] /proc/loadavg: 2.09 2.06 2.01 3/183 1412 /proc/meminfo: memFree=29946744/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6484 CPUtime=727.05 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 318874 1545225 0 0 847 114 71356 388 20 0 1 0 273886890 6639616 1171 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1621 1171 179 410 0 1203 0 Current children cumulated CPU time (s) 727.05 Current children cumulated vsize (KiB) 15632 [startup+732.7 s] /proc/loadavg: 2.09 2.06 2.01 3/183 1419 /proc/meminfo: memFree=29959388/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6484 CPUtime=730.21 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 320968 1553707 0 0 853 115 71663 390 20 0 1 0 273886890 6639616 1171 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1621 1171 179 410 0 1203 0 Current children cumulated CPU time (s) 730.21 Current children cumulated vsize (KiB) 15632 [startup+735.906 s] /proc/loadavg: 2.09 2.06 2.01 3/182 1425 /proc/meminfo: memFree=29957348/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6484 CPUtime=732.61 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 322013 1559123 0 0 856 115 71899 391 20 0 1 0 273886890 6639616 1171 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1621 1171 179 410 0 1203 0 [pid=1424] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1424/stat : 1424 (satsolver.sh) S 379 378 28113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273960390 9367552 267 33554432000 4194304 5064252 140735313983344 140735313982256 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/1424/statm: 2287 267 226 213 0 72 0 [pid=1425] ppid=1424 vsize=9448 CPUtime=0.88 cores=0,2,4,6 /proc/1425/stat : 1425 (glucose_static) R 1424 378 28113 0 -1 4202496 3126 0 0 0 88 0 0 0 20 0 1 0 273960391 9674752 1968 33554432000 4194304 4896791 140736752499840 140736752497416 4225008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/1425/statm: 2362 1968 78 172 0 2188 0 Current children cumulated CPU time (s) 733.49 Current children cumulated vsize (KiB) 34228 [startup+737.5 s] /proc/loadavg: 2.09 2.06 2.01 3/182 1428 /proc/meminfo: memFree=29956116/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6484 CPUtime=733.96 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 323058 1563534 0 0 859 115 72030 392 20 0 1 0 273886890 6639616 1171 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1621 1171 179 410 0 1203 0 [pid=1427] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1427/stat : 1427 (satsolver.sh) S 379 378 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273960526 9367552 267 33554432000 4194304 5064252 140734146115328 140734146114240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/1427/statm: 2287 267 226 213 0 72 0 [pid=1428] ppid=1427 vsize=9416 CPUtime=1.12 cores=0,2,4,6 /proc/1428/stat : 1428 (glucose_static) R 1427 378 28113 0 -1 4202496 2982 0 0 0 112 0 0 0 20 0 1 0 273960526 9641984 1976 33554432000 4194304 4896791 140733409911744 140733409909144 4230803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/1428/statm: 2354 1976 78 172 0 2180 0 Current children cumulated CPU time (s) 735.08 Current children cumulated vsize (KiB) 34196 [startup+737.9 s] /proc/loadavg: 2.09 2.06 2.01 3/182 1428 /proc/meminfo: memFree=29956116/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6484 CPUtime=733.96 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 323058 1563534 0 0 859 115 72030 392 20 0 1 0 273886890 6639616 1171 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1621 1171 179 410 0 1203 0 [pid=1427] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1427/stat : 1427 (satsolver.sh) S 379 378 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273960526 9367552 267 33554432000 4194304 5064252 140734146115328 140734146114240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/1427/statm: 2287 267 226 213 0 72 0 [pid=1428] ppid=1427 vsize=9732 CPUtime=1.52 cores=0,2,4,6 /proc/1428/stat : 1428 (glucose_static) R 1427 378 28113 0 -1 4202496 3200 0 0 0 152 0 0 0 20 0 1 0 273960526 9965568 2190 33554432000 4194304 4896791 140733409911744 140733409909064 4203772 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/1428/statm: 2433 2190 78 172 0 2259 0 Current children cumulated CPU time (s) 735.48 Current children cumulated vsize (KiB) 34512 [startup+738.106 s] /proc/loadavg: 2.09 2.06 2.01 3/182 1428 /proc/meminfo: memFree=29952324/32873844 swapFree=7628/7628 [pid=378] ppid=376 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/378/stat : 378 (runPb2satCp2.sh) S 376 378 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273886889 9367552 275 33554432000 4194304 5064252 140733556525664 140733556524576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/378/statm: 2287 275 233 213 0 72 0 [pid=379] ppid=378 vsize=6484 CPUtime=733.96 cores=0,2,4,6 /proc/379/stat : 379 (pb2sat) S 378 378 28113 0 -1 4202496 323058 1563534 0 0 859 115 72030 392 20 0 1 0 273886890 6639616 1171 33554432000 4194304 5873084 140736219906944 140736219900760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/379/statm: 1621 1171 179 410 0 1203 0 [pid=1427] ppid=379 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1427/stat : 1427 (satsolver.sh) S 379 378 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273960526 9367552 267 33554432000 4194304 5064252 140734146115328 140734146114240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/1427/statm: 2287 267 226 213 0 72 0 [pid=1428] ppid=1427 vsize=11408 CPUtime=1.72 cores=0,2,4,6 /proc/1428/stat : 1428 (glucose_static) R 1427 378 28113 0 -1 4202496 3293 0 0 0 172 0 0 0 20 0 1 0 273960526 11681792 2281 33554432000 4194304 4896791 140733409911744 140733409909064 4203877 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/1428/statm: 2852 2281 78 172 0 2678 0 Current children cumulated CPU time (s) 735.68 Current children cumulated vsize (KiB) 36188 Child status: 0 Real time (s): 738.183 CPU time (s): 735.788 CPU user time (s): 730.694 CPU system time (s): 5.09423 CPU usage (%): 99.6756 Max. virtual memory (cumulated for all children) (KiB): 42524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 730.694 system time used= 5.09422 maximum resident set size= 17468 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1891899 page faults= 0 swaps= 0 block input operations= 0 block output operations= 979672 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2599 involuntary context switches= 4777 runsolver used 1.44178 second user time and 4.04439 second system time The end
Begin job on node145 at 2012-05-27 02:13:45 IDJOB=3695073 IDBENCH=25022 IDSOLVER=2273 FILE ID=node145/3695073-1338077625 RUNJOBID= node145-1338052957-28129 PBS_JOBID= 14624410 Free space on /tmp= 71460 MiB SOLVER NAME= pb2satCp2 2012-05-19 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb COMMAND LINE= DIR/runPb2satCp2.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3695073-1338077625/watcher-3695073-1338077625 -o /tmp/evaluation-result-3695073-1338077625/solver-3695073-1338077625 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695073-1338077625.opb 1087391195 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aa73e48897f9c10e5003e2188d9e7ab9 RANDOM SEED=1087391195 node145.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 : 2667.149 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 : 5334.29 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 : 2667.149 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 : 2667.149 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 : 5313.38 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 : 2667.149 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 : 2667.149 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 : 2667.149 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 : 2667.149 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 : 2667.149 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.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29987064 kB Buffers: 273032 kB Cached: 1748272 kB SwapCached: 0 kB Active: 717692 kB Inactive: 1365752 kB Active(anon): 50336 kB Inactive(anon): 14200 kB Active(file): 667356 kB Inactive(file): 1351552 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 8524 kB Writeback: 28 kB AnonPages: 69476 kB Mapped: 15124 kB Shmem: 200 kB Slab: 663752 kB SReclaimable: 105332 kB SUnreclaim: 558420 kB KernelStack: 1496 kB PageTables: 4212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 190576 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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= 71448 MiB End job on node145 at 2012-05-27 02:26:03