Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1751.85 | 1900.01 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=233.opb |
MD5SUM | f1df6d8d5ad4d56009afe0e51e9624cf |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 113 |
Best CPU time to get the best result obtained on this benchmark | 0.003998 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 113 |
Optimality of the best value was proved | YES |
Number of variables | 99 |
Total number of constraints | 244 |
Number of constraints which are clauses | 243 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 81 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 65536 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 287450 |
Number of bits of the biggest sum of numbers | 19 |
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.13 c fallback to adder encoding 0.00/0.18 c run inc solver 0.00/0.18 c [INC SYSTEM] run initial solver 0.00/0.18 c [INC SYSTEM] preprocess with white file 0.00/0.33 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.33 c [INC SYSTEM] execute solver 0.00/3.85 c [INC SEARCH] formula is SAT 0.00/3.85 c [INC SYSTEM] solved the initial formula 0.00/3.85 c model valid 0.00/3.85 c current solution ok 0.00/3.88 o 233 0.00/3.88 c starting approximation 0.00/3.88 c factor = 2 0.00/3.88 c current bound: 116 8.44/8.54 c model valid 8.44/8.54 c current solution ok 8.44/8.55 c current bound: 116 13.13/13.22 c model valid 13.13/13.22 c current solution ok 13.13/13.22 c current bound: 116 17.71/17.88 c model valid 17.71/17.88 c current solution ok 17.71/17.89 c current bound: 116 22.41/22.55 c model valid 22.41/22.55 c current solution ok 22.41/22.56 c current bound: 116 27.10/27.23 c model valid 27.10/27.23 c current solution ok 27.10/27.23 c current bound: 116 31.78/31.91 c model valid 31.78/31.91 c current solution ok 31.78/31.91 c current bound: 116 36.39/36.58 c model valid 36.39/36.58 c current solution ok 36.39/36.59 c current bound: 116 41.07/41.26 c model valid 41.07/41.26 c current solution ok 41.07/41.26 c current bound: 116 45.80/45.90 c model valid 45.80/45.90 c current solution ok 45.80/45.90 c current bound: 116 45.83/50.54 c model valid 45.83/50.54 c current solution ok 55.11/55.19 c current bound: 116 55.11/55.20 c model valid 55.11/55.20 c current solution ok 55.11/55.20 c current bound: 116 59.78/59.85 c model valid 59.78/59.85 c current solution ok 59.78/59.86 c current bound: 116 64.34/64.49 c model valid 64.34/64.49 c current solution ok 64.44/64.50 c current bound: 116 69.04/69.13 c model valid 69.04/69.13 c current solution ok 69.04/69.14 c current bound: 116 73.64/73.78 c model valid 73.64/73.78 c current solution ok 73.64/73.78 c current bound: 116 78.34/78.43 c model valid 78.34/78.43 c current solution ok 78.34/78.44 c current bound: 116 82.94/83.06 c model valid 82.94/83.06 c current solution ok 82.94/83.07 c current bound: 116 87.53/87.69 c model valid 87.53/87.69 c current solution ok 87.53/87.69 c current bound: 116 92.24/92.32 c model valid 92.24/92.32 c current solution ok 92.24/92.32 c current bound: 116 96.83/96.94 c model valid 96.83/96.94 c current solution ok 96.83/96.95 c current bound: 116 101.42/101.57 c model valid 101.42/101.57 c current solution ok 101.42/101.57 c current bound: 116 106.13/106.21 c model valid 106.13/106.21 c current solution ok 106.13/106.21 c current bound: 116 110.74/110.84 c model valid 110.74/110.84 c current solution ok 110.74/110.85 c current bound: 116 115.34/115.47 c model valid 115.34/115.47 c current solution ok 115.34/115.47 c current bound: 116 119.93/120.09 c model valid 119.93/120.09 c current solution ok 119.93/120.10 c current bound: 116 124.63/124.74 c model valid 124.63/124.74 c current solution ok 124.63/124.74 c current bound: 116 129.22/129.37 c model valid 129.22/129.37 c current solution ok 129.22/129.37 c current bound: 116 133.82/134.00 c model valid 133.82/134.00 c current solution ok 133.82/134.00 c current bound: 116 138.52/138.62 c model valid 138.52/138.62 c current solution ok 138.52/138.62 c current bound: 116 143.12/143.25 c model valid 143.12/143.25 c current solution ok 143.12/143.26 c current bound: 116 147.82/147.90 c model valid 147.82/147.90 c current solution ok 147.82/147.90 c current bound: 116 152.41/152.53 c model valid 152.41/152.53 c current solution ok 152.41/152.53 c current bound: 116 157.03/157.16 c model valid 157.03/157.16 c current solution ok 157.03/157.16 c current bound: 116 161.63/161.79 c model valid 161.63/161.79 c current solution ok 161.63/161.79 c current bound: 116 166.32/166.43 c model valid 166.32/166.43 c current solution ok 166.32/166.43 c current bound: 116 170.92/171.06 c model valid 170.92/171.06 c current solution ok 170.92/171.06 c current bound: 116 175.51/175.68 c model valid 175.51/175.68 c current solution ok 175.51/175.69 c current bound: 116 180.23/180.31 c model valid 180.23/180.31 c current solution ok 180.23/180.31 c current bound: 116 184.82/184.94 c model valid 184.82/184.94 c current solution ok 184.82/184.94 c current bound: 116 189.41/189.58 c model valid 189.41/189.58 c current solution ok 189.41/189.58 c current bound: 116 194.12/194.21 c model valid 194.12/194.21 c current solution ok 194.12/194.21 c current bound: 116 198.72/198.83 c model valid 198.72/198.83 c current solution ok 198.72/198.84 c current bound: 116 203.32/203.46 c model valid 203.32/203.46 c current solution ok 203.32/203.46 c current bound: 116 207.91/208.09 c model valid 207.91/208.09 c current solution ok 207.91/208.10 c current bound: 116 212.60/212.72 c model valid 212.60/212.72 c current solution ok 212.60/212.72 c current bound: 116 217.20/217.35 c model valid 217.20/217.35 c current solution ok 217.20/217.35 c current bound: 116 221.82/221.98 c model valid 221.82/221.98 c current solution ok 221.82/221.99 c current bound: 116 226.53/226.63 c model valid 226.53/226.63 c current solution ok 226.53/226.63 c current bound: 116 231.12/231.27 c model valid 231.12/231.27 c current solution ok 231.12/231.27 c current bound: 116 235.82/235.90 c model valid 235.82/235.90 c current solution ok 235.82/235.90 c current bound: 116 240.41/240.55 c model valid 240.41/240.55 c current solution ok 240.41/240.55 c current bound: 116 245.01/245.17 c model valid 245.01/245.17 c current solution ok 245.01/245.17 c current bound: 116 249.71/249.80 c model valid 249.71/249.80 c current solution ok 249.71/249.81 c current bound: 116 254.31/254.45 c model valid 254.31/254.45 c current solution ok 254.31/254.45 c current bound: 116 258.90/259.09 c model valid 258.90/259.09 c current solution ok 258.90/259.09 c current bound: 116 263.60/263.72 c model valid 263.60/263.72 c current solution ok 263.60/263.73 c current bound: 116 268.21/268.35 c model valid 268.21/268.35 c current solution ok 268.21/268.35 c current bound: 116 272.80/272.98 c model valid 272.80/272.98 c current solution ok 272.80/272.99 c current bound: 116 277.49/277.62 c model valid 277.49/277.62 c current solution ok 277.49/277.62 c current bound: 116 282.11/282.26 c model valid 282.11/282.26 c current solution ok 282.11/282.26 c current bound: 116 286.71/286.89 c model valid 286.71/286.89 c current solution ok 286.71/286.89 c current bound: 116 291.41/291.53 c model valid 291.41/291.53 c current solution ok 291.41/291.53 c current bound: 116 296.01/296.16 c model valid 296.01/296.16 c current solution ok 296.01/296.16 c current bound: 116 300.60/300.79 c model valid 300.60/300.79 c current solution ok 300.60/300.79 c current bound: 116 305.29/305.43 c model valid 305.29/305.43 c current solution ok 305.29/305.43 c current bound: 116 309.90/310.07 c model valid 309.90/310.07 c current solution ok 309.90/310.07 c current bound: 116 314.61/314.70 c model valid 314.61/314.70 c current solution ok 314.61/314.70 c current bound: 116 319.20/319.33 c model valid 319.20/319.33 c current solution ok 319.20/319.33 c current bound: 116 323.80/323.96 c model valid 323.80/323.96 c current solution ok 323.80/323.96 c current bound: 116 328.40/328.59 c model valid 328.40/328.59 c current solution ok 328.40/328.59 c current bound: 116 333.11/333.21 c model valid 333.11/333.21 c current solution ok 333.11/333.21 c current bound: 116 337.71/337.84 c model valid 337.71/337.84 c current solution ok 337.71/337.85 c current bound: 116 342.31/342.47 c model valid 342.31/342.47 c current solution ok 342.31/342.47 c current bound: 116 346.99/347.11 c model valid 346.99/347.11 c current solution ok 346.99/347.11 c current bound: 116 351.59/351.73 c model valid 351.59/351.73 c current solution ok 351.59/351.73 c current bound: 116 356.19/356.34 c model valid 356.19/356.34 c current solution ok 356.19/356.34 c current bound: 116 360.78/360.97 c model valid 360.78/360.97 c current solution ok 360.78/360.97 c current bound: 116 365.49/365.60 c model valid 365.49/365.60 c current solution ok 365.49/365.60 c current bound: 116 370.09/370.23 c model valid 370.09/370.23 c current solution ok 370.09/370.23 c current bound: 116 374.68/374.86 c model valid 374.68/374.86 c current solution ok 374.68/374.87 c current bound: 116 379.29/379.49 c model valid 379.29/379.49 c current solution ok 379.38/379.50 c current bound: 116 383.97/384.14 c model valid 383.97/384.14 c current solution ok 383.97/384.14 c current bound: 116 388.59/388.77 c model valid 388.59/388.77 c current solution ok 388.59/388.77 c current bound: 116 393.30/393.40 c model valid 393.30/393.40 c current solution ok 393.30/393.40 c current bound: 116 397.89/398.02 c model valid 397.89/398.02 c current solution ok 397.89/398.02 c current bound: 116 402.49/402.66 c model valid 402.49/402.66 c current solution ok 402.49/402.66 c current bound: 116 407.07/407.28 c model valid 407.07/407.28 c current solution ok 407.07/407.28 c current bound: 116 411.79/411.93 c model valid 411.79/411.93 c current solution ok 411.79/411.93 c current bound: 116 416.39/416.55 c model valid 416.39/416.55 c current solution ok 416.39/416.56 c current bound: 116 420.98/421.19 c model valid 420.98/421.19 c current solution ok 420.98/421.19 c current bound: 116 425.69/425.80 c model valid 425.69/425.80 c current solution ok 425.69/425.81 c current bound: 116 430.27/430.43 c model valid 430.27/430.43 c current solution ok 430.27/430.43 c current bound: 116 434.88/435.06 c model valid 434.88/435.06 c current solution ok 434.88/435.06 c current bound: 116 439.59/439.70 c model valid 439.59/439.70 c current solution ok 439.59/439.70 c current bound: 116 444.18/444.33 c model valid 444.18/444.33 c current solution ok 444.18/444.34 c current bound: 116 448.78/448.98 c model valid 448.78/448.98 c current solution ok 448.78/448.98 c current bound: 116 453.48/453.61 c model valid 453.48/453.61 c current solution ok 453.48/453.61 c current bound: 116 458.08/458.25 c model valid 458.08/458.25 c current solution ok 458.08/458.25 c current bound: 116 462.65/462.89 c model valid 462.65/462.89 c current solution ok 462.65/462.89 c current bound: 116 467.38/467.52 c model valid 467.38/467.52 c current solution ok 467.38/467.52 c current bound: 116 471.97/472.16 c model valid 471.97/472.16 c current solution ok 471.97/472.16 c current bound: 116 476.58/476.79 c model valid 476.58/476.79 c current solution ok 476.58/476.79 c current bound: 116 481.27/481.41 c model valid 481.27/481.41 c current solution ok 481.27/481.42 c current bound: 116 485.88/486.03 c model valid 485.88/486.03 c current solution ok 485.88/486.04 c current bound: 116 490.48/490.66 c model valid 490.48/490.66 c current solution ok 490.48/490.67 c current bound: 116 495.18/495.31 c model valid 495.18/495.31 c current solution ok 495.18/495.31 c current bound: 116 499.77/499.94 c model valid 499.77/499.94 c current solution ok 499.77/499.94 c current bound: 116 504.36/504.57 c model valid 504.36/504.57 c current solution ok 504.36/504.57 c current bound: 116 509.08/509.21 c model valid 509.08/509.21 c current solution ok 509.08/509.21 c current bound: 116 513.66/513.85 c model valid 513.66/513.85 c current solution ok 513.66/513.86 c current bound: 116 518.28/518.48 c model valid 518.28/518.48 c current solution ok 518.28/518.48 c current bound: 116 522.98/523.12 c model valid 522.98/523.12 c current solution ok 522.98/523.12 c current bound: 116 527.57/527.75 c model valid 527.57/527.75 c current solution ok 527.57/527.75 c current bound: 116 532.17/532.38 c model valid 532.17/532.38 c current solution ok 532.17/532.38 c current bound: 116 536.86/537.02 c model valid 536.86/537.02 c current solution ok 536.86/537.02 c current bound: 116 541.46/541.64 c model valid 541.46/541.64 c current solution ok 541.46/541.65 c current bound: 116 546.06/546.28 c model valid 546.06/546.28 c current solution ok 546.06/546.29 c current bound: 116 550.78/550.91 c model valid 550.78/550.91 c current solution ok 550.78/550.91 c current bound: 116 555.36/555.54 c model valid 555.36/555.54 c current solution ok 555.36/555.54 c current bound: 116 559.96/560.16 c model valid 559.96/560.16 c current solution ok 559.96/560.17 c current bound: 116 564.67/564.80 c model valid 564.67/564.80 c current solution ok 564.67/564.80 c current bound: 116 569.25/569.42 c model valid 569.25/569.42 c current solution ok 569.25/569.42 c current bound: 116 573.86/574.05 c model valid 573.86/574.05 c current solution ok 573.86/574.05 c current bound: 116 578.46/578.68 c model valid 578.46/578.68 c current solution ok 578.46/578.68 c current bound: 116 583.18/583.32 c model valid 583.18/583.32 c current solution ok 583.18/583.32 c current bound: 116 587.76/587.94 c model valid 587.76/587.94 c current solution ok 587.76/587.94 c current bound: 116 592.36/592.59 c model valid 592.36/592.59 c current solution ok 592.47/592.60 c current bound: 116 597.06/597.23 c model valid 597.06/597.23 c current solution ok 597.06/597.23 c current bound: 116 601.66/601.85 c model valid 601.66/601.85 c current solution ok 601.66/601.85 c current bound: 116 606.25/606.48 c model valid 606.25/606.48 c current solution ok 606.25/606.48 c current bound: 116 610.96/611.12 c model valid 610.96/611.12 c current solution ok 610.96/611.12 c current bound: 116 615.54/615.75 c model valid 615.54/615.75 c current solution ok 615.54/615.75 c current bound: 116 620.16/620.38 c model valid 620.16/620.38 c current solution ok 620.16/620.38 c current bound: 116 624.85/625.01 c model valid 624.85/625.01 c current solution ok 624.85/625.02 c current bound: 116 629.45/629.65 c model valid 629.45/629.65 c current solution ok 629.45/629.65 c current bound: 116 634.04/634.27 c model valid 634.04/634.27 c current solution ok 634.04/634.27 c current bound: 116 638.76/638.92 c model valid 638.76/638.92 c current solution ok 638.76/638.92 c current bound: 116 643.34/643.57 c model valid 643.34/643.57 c current solution ok 643.34/643.57 c current bound: 116 648.05/648.22 c model valid 648.05/648.22 c current solution ok 648.05/648.23 c current bound: 116 652.66/652.85 c model valid 652.66/652.85 c current solution ok 652.66/652.86 c current bound: 116 657.36/657.50 c model valid 657.36/657.50 c current solution ok 657.36/657.50 c current bound: 116 661.97/662.14 c model valid 661.97/662.14 c current solution ok 661.97/662.15 c current bound: 116 666.55/666.78 c model valid 666.55/666.78 c current solution ok 666.55/666.78 c current bound: 116 671.24/671.41 c model valid 671.24/671.41 c current solution ok 671.24/671.41 c current bound: 116 675.85/676.05 c model valid 675.85/676.05 c current solution ok 675.85/676.06 c current bound: 116 680.45/680.67 c model valid 680.45/680.67 c current solution ok 680.45/680.68 c current bound: 116 685.15/685.30 c model valid 685.15/685.30 c current solution ok 685.15/685.30 c current bound: 116 689.74/689.93 c model valid 689.74/689.93 c current solution ok 689.74/689.93 c current bound: 116 694.34/694.56 c model valid 694.34/694.56 c current solution ok 694.34/694.57 c current bound: 116 698.93/699.19 c model valid 698.93/699.19 c current solution ok 698.93/699.20 c current bound: 116 703.65/703.83 c model valid 703.65/703.83 c current solution ok 703.65/703.83 c current bound: 116 708.25/708.47 c model valid 708.25/708.47 c current solution ok 708.25/708.47 c current bound: 116 712.85/713.05 c model valid 712.85/713.05 c current solution ok 712.85/713.05 c current bound: 116 717.44/717.68 c model valid 717.44/717.68 c current solution ok 717.44/717.68 c current bound: 116 722.04/722.29 c model valid 722.04/722.29 c current solution ok 722.14/722.30 c current bound: 116 726.73/726.97 c model valid 726.73/726.97 c current solution ok 726.76/727.01 c current bound: 116 731.39/731.60 c model valid 731.39/731.60 c current solution ok 731.39/731.60 c current bound: 116 735.98/736.24 c model valid 735.98/736.24 c current solution ok 735.98/736.25 c current bound: 116 740.59/740.87 c model valid 740.59/740.87 c current solution ok 740.59/740.87 c current bound: 116 745.29/745.51 c model valid 745.29/745.51 c current solution ok 745.29/745.51 c current bound: 116 749.88/750.13 c model valid 749.88/750.13 c current solution ok 749.88/750.13 c current bound: 116 754.37/754.67 c model valid 754.37/754.67 c current solution ok 754.37/754.67 c current bound: 116 758.96/759.29 c model valid 758.96/759.29 c current solution ok 758.96/759.29 c current bound: 116 763.66/763.94 c model valid 763.66/763.94 c current solution ok 763.66/763.94 c current bound: 116 768.28/768.58 c model valid 768.28/768.58 c current solution ok 768.28/768.59 c current bound: 116 772.98/773.22 c model valid 772.98/773.22 c current solution ok 772.98/773.22 c current bound: 116 777.57/777.86 c model valid 777.57/777.86 c current solution ok 777.57/777.86 c current bound: 116 782.17/782.45 c model valid 782.17/782.45 c current solution ok 782.17/782.46 c current bound: 116 786.77/787.08 c model valid 786.77/787.08 c current solution ok 786.77/787.08 c current bound: 116 791.46/791.71 c model valid 791.46/791.71 c current solution ok 791.46/791.71 c current bound: 116 796.07/796.33 c model valid 796.07/796.33 c current solution ok 796.07/796.34 c current bound: 116 800.66/800.97 c model valid 800.66/800.97 c current solution ok 800.66/800.97 c current bound: 116 805.38/805.60 c model valid 805.38/805.60 c current solution ok 805.38/805.61 c current bound: 116 809.96/810.24 c model valid 809.96/810.24 c current solution ok 809.96/810.24 c current bound: 116 814.56/814.88 c model valid 814.56/814.88 c current solution ok 814.56/814.88 c current bound: 116 819.25/819.52 c model valid 819.25/819.52 c current solution ok 819.25/819.52 c current bound: 116 823.86/824.15 c model valid 823.86/824.15 c current solution ok 823.86/824.16 c current bound: 116 828.46/828.79 c model valid 828.46/828.79 c current solution ok 828.46/828.80 c current bound: 116 833.15/833.41 c model valid 833.15/833.41 c current solution ok 833.15/833.41 c current bound: 116 837.77/838.04 c model valid 837.77/838.04 c current solution ok 837.77/838.04 c current bound: 116 842.35/842.66 c model valid 842.35/842.66 c current solution ok 842.35/842.66 c current bound: 116 847.06/847.30 c model valid 847.06/847.30 c current solution ok 847.06/847.30 c current bound: 116 851.65/851.93 c model valid 851.65/851.93 c current solution ok 851.65/851.94 c current bound: 116 856.25/856.57 c model valid 856.25/856.57 c current solution ok 856.25/856.58 c current bound: 116 860.95/861.21 c model valid 860.95/861.21 c current solution ok 860.95/861.21 c current bound: 116 865.56/865.84 c model valid 865.56/865.84 c current solution ok 865.56/865.84 c current bound: 116 870.14/870.47 c model valid 870.14/870.47 c current solution ok 870.14/870.47 c current bound: 116 874.84/875.10 c model valid 874.84/875.10 c current solution ok 874.84/875.10 c current bound: 116 879.45/879.75 c model valid 879.45/879.75 c current solution ok 879.45/879.75 c current bound: 116 884.04/884.32 c model valid 884.04/884.32 c current solution ok 884.04/884.32 c current bound: 116 888.64/888.95 c model valid 888.64/888.95 c current solution ok 888.64/888.96 c current bound: 116 893.23/893.50 c model valid 893.23/893.50 c current solution ok 893.23/893.50 c current bound: 116 897.83/898.12 c model valid 897.83/898.12 c current solution ok 897.83/898.13 c current bound: 116 902.44/902.76 c model valid 902.44/902.76 c current solution ok 902.44/902.77 c current bound: 116 907.15/907.41 c model valid 907.15/907.41 c current solution ok 907.15/907.42 c current bound: 116 911.73/912.06 c model valid 911.73/912.06 c current solution ok 911.73/912.06 c current bound: 116 916.44/916.70 c model valid 916.44/916.70 c current solution ok 916.44/916.70 c current bound: 116 921.04/921.34 c model valid 921.04/921.34 c current solution ok 921.04/921.34 c current bound: 116 925.64/925.99 c model valid 925.64/925.99 c current solution ok 925.64/925.99 c current bound: 116 930.34/930.60 c model valid 930.34/930.60 c current solution ok 930.34/930.60 c current bound: 116 934.93/935.25 c model valid 934.93/935.25 c current solution ok 934.93/935.25 c current bound: 116 939.60/939.86 c model valid 939.60/939.86 c current solution ok 939.60/939.86 c current bound: 116 944.25/944.49 c model valid 944.25/944.49 c current solution ok 944.25/944.50 c current bound: 116 948.89/949.13 c model valid 948.89/949.13 c current solution ok 948.89/949.13 c current bound: 116 953.56/953.76 c model valid 953.56/953.76 c current solution ok 953.56/953.77 c current bound: 116 958.19/958.39 c model valid 958.19/958.39 c current solution ok 958.19/958.39 c current bound: 116 962.84/963.01 c model valid 962.84/963.01 c current solution ok 962.84/963.02 c current bound: 116 967.48/967.64 c model valid 967.48/967.64 c current solution ok 967.48/967.64 c current bound: 116 972.12/972.27 c model valid 972.12/972.27 c current solution ok 972.12/972.27 c current bound: 116 976.77/976.89 c model valid 976.77/976.89 c current solution ok 976.77/976.89 c current bound: 116 981.43/981.53 c model valid 981.43/981.53 c current solution ok 981.43/981.53 c current bound: 116 986.09/986.17 c model valid 986.09/986.17 c current solution ok 986.09/986.17 c current bound: 116 990.73/990.79 c model valid 990.73/990.79 c current solution ok 990.73/990.79 c current bound: 116 995.39/995.43 c model valid 995.39/995.43 c current solution ok 995.39/995.43 c current bound: 116 1000.03/1000.06 c model valid 1000.03/1000.06 c current solution ok 1000.03/1000.06 c current bound: 116 1004.67/1004.68 c model valid 1004.67/1004.68 c current solution ok 1004.67/1004.68 c current bound: 116 1009.31/1009.30 c model valid 1009.31/1009.30 c current solution ok 1009.31/1009.30 c current bound: 116 1013.96/1013.93 c model valid 1013.96/1013.93 c current solution ok 1013.96/1013.93 c current bound: 116 1018.60/1018.55 c model valid 1018.60/1018.55 c current solution ok 1018.60/1018.56 c current bound: 116 1023.26/1023.18 c model valid 1023.26/1023.18 c current solution ok 1023.26/1023.18 c current bound: 116 1027.89/1027.80 c model valid 1027.89/1027.80 c current solution ok 1027.89/1027.80 c current bound: 116 1032.55/1032.43 c model valid 1032.55/1032.43 c current solution ok 1032.55/1032.43 c current bound: 116 1037.19/1037.05 c model valid 1037.19/1037.05 c current solution ok 1037.19/1037.05 c current bound: 116 1041.83/1041.68 c model valid 1041.83/1041.68 c current solution ok 1041.83/1041.68 c current bound: 116 1046.49/1046.31 c model valid 1046.49/1046.31 c current solution ok 1046.49/1046.31 c current bound: 116 1051.07/1050.87 c model valid 1051.07/1050.87 c current solution ok 1051.10/1199.16 c current bound: 116 1051.10/1203.86 c model valid 1051.10/1203.86 c current solution ok 1051.10/1203.86 c current bound: 116 1060.46/1208.51 c model valid 1060.46/1208.51 c current solution ok 1060.46/1208.51 c current bound: 116 1065.12/1213.16 c model valid 1065.12/1213.16 c current solution ok 1065.12/1213.16 c current bound: 116 1069.78/1217.80 c model valid 1069.78/1217.80 c current solution ok 1069.78/1217.80 c current bound: 116 1069.82/1222.42 c model valid 1069.82/1222.42 c current solution ok 1069.82/1222.43 c current bound: 116 1079.07/1227.06 c model valid 1079.07/1227.06 c current solution ok 1079.07/1227.06 c current bound: 116 1083.72/1231.69 c model valid 1083.72/1231.69 c current solution ok 1083.72/1231.69 c current bound: 116 1088.35/1236.31 c model valid 1088.35/1236.31 c current solution ok 1088.35/1236.32 c current bound: 116 1092.95/1240.97 c model valid 1092.95/1240.97 c current solution ok 1092.95/1240.97 c current bound: 116 1097.65/1245.60 c model valid 1097.65/1245.60 c current solution ok 1097.65/1245.60 c current bound: 116 1102.24/1250.24 c model valid 1102.24/1250.24 c current solution ok 1102.24/1250.24 c current bound: 116 1106.87/1254.86 c model valid 1106.87/1254.86 c current solution ok 1106.87/1254.87 c current bound: 116 1111.55/1259.50 c model valid 1111.55/1259.50 c current solution ok 1111.55/1259.56 c current bound: 116 1116.19/1264.20 c model valid 1116.19/1264.20 c current solution ok 1116.19/1264.20 c current bound: 116 1120.79/1268.84 c model valid 1120.79/1268.84 c current solution ok 1120.79/1268.85 c current bound: 116 1125.40/1273.49 c model valid 1125.40/1273.49 c current solution ok 1125.40/1273.49 c current bound: 116 1129.99/1278.08 c model valid 1129.99/1278.08 c current solution ok 1129.99/1278.08 c current bound: 116 1134.69/1282.74 c model valid 1134.69/1282.74 c current solution ok 1134.69/1282.74 c current bound: 116 1139.29/1287.31 c model valid 1139.29/1287.31 c current solution ok 1139.29/1287.31 c current bound: 116 1143.89/1291.94 c model valid 1143.89/1291.94 c current solution ok 1143.89/1291.95 c current bound: 116 1148.49/1296.57 c model valid 1148.49/1296.57 c current solution ok 1148.49/1296.57 c current bound: 116 1153.18/1301.21 c model valid 1153.18/1301.21 c current solution ok 1153.18/1301.21 c current bound: 116 1157.77/1305.84 c model valid 1157.77/1305.84 c current solution ok 1157.77/1305.84 c current bound: 116 1162.36/1310.48 c model valid 1162.36/1310.48 c current solution ok 1162.36/1310.49 c current bound: 116 1167.08/1315.12 c model valid 1167.08/1315.12 c current solution ok 1167.08/1315.12 c current bound: 116 1171.67/1319.75 c model valid 1171.67/1319.75 c current solution ok 1171.67/1319.76 c current bound: 116 1176.27/1324.38 c model valid 1176.27/1324.38 c current solution ok 1176.27/1324.39 c current bound: 116 1180.98/1329.00 c model valid 1180.98/1329.00 c current solution ok 1180.98/1329.01 c current bound: 116 1185.57/1333.64 c model valid 1185.57/1333.64 c current solution ok 1185.57/1333.65 c current bound: 116 1190.17/1338.28 c model valid 1190.17/1338.28 c current solution ok 1190.17/1338.28 c current bound: 116 1194.87/1342.91 c model valid 1194.87/1342.91 c current solution ok 1194.87/1342.92 c current bound: 116 1199.47/1347.53 c model valid 1199.47/1347.53 c current solution ok 1199.47/1347.54 c current bound: 116 1204.06/1352.16 c model valid 1204.06/1352.16 c current solution ok 1204.06/1352.16 c current bound: 116 1208.76/1356.81 c model valid 1208.76/1356.81 c current solution ok 1208.76/1356.82 c current bound: 116 1213.36/1361.45 c model valid 1213.36/1361.45 c current solution ok 1213.36/1361.45 c current bound: 116 1217.96/1366.04 c model valid 1217.96/1366.04 c current solution ok 1217.96/1366.05 c current bound: 116 1222.54/1370.69 c model valid 1222.54/1370.69 c current solution ok 1222.66/1370.70 c current bound: 116 1227.26/1375.32 c model valid 1227.26/1375.32 c current solution ok 1227.26/1375.32 c current bound: 116 1231.85/1379.98 c model valid 1231.85/1379.98 c current solution ok 1231.85/1379.98 c current bound: 116 1236.56/1384.60 c model valid 1236.56/1384.60 c current solution ok 1236.56/1384.61 c current bound: 116 1241.16/1389.25 c model valid 1241.16/1389.25 c current solution ok 1241.16/1389.25 c current bound: 116 1245.74/1393.88 c model valid 1245.74/1393.88 c current solution ok 1245.74/1393.89 c current bound: 116 1250.35/1398.40 c model valid 1250.35/1398.40 c current solution ok 1250.35/1398.40 c current bound: 116 1254.94/1403.04 c model valid 1254.94/1403.04 c current solution ok 1254.94/1403.04 c current bound: 116 1259.55/1407.63 c model valid 1259.55/1407.63 c current solution ok 1259.55/1407.63 c current bound: 116 1264.14/1412.27 c model valid 1264.14/1412.27 c current solution ok 1264.14/1412.27 c current bound: 116 1268.85/1416.91 c model valid 1268.85/1416.91 c current solution ok 1268.85/1416.91 c current bound: 116 1273.44/1421.56 c model valid 1273.44/1421.56 c current solution ok 1273.44/1421.56 c current bound: 116 1278.03/1426.15 c model valid 1278.03/1426.15 c current solution ok 1278.03/1426.16 c current bound: 116 1282.65/1430.79 c model valid 1282.65/1430.79 c current solution ok 1282.65/1430.80 c current bound: 116 1287.33/1435.41 c model valid 1287.33/1435.41 c current solution ok 1287.33/1435.41 c current bound: 116 1291.93/1440.04 c model valid 1291.93/1440.04 c current solution ok 1291.93/1440.05 c current bound: 116 1296.53/1444.69 c model valid 1296.53/1444.69 c current solution ok 1296.65/1444.70 c current bound: 116 1301.24/1449.34 c model valid 1301.24/1449.34 c current solution ok 1301.24/1449.34 c current bound: 116 1305.84/1453.97 c model valid 1305.84/1453.97 c current solution ok 1305.84/1453.97 c current bound: 116 1310.54/1458.61 c model valid 1310.54/1458.61 c current solution ok 1310.54/1458.61 c current bound: 116 1315.14/1463.25 c model valid 1315.14/1463.25 c current solution ok 1315.14/1463.26 c current bound: 116 1319.73/1467.89 c model valid 1319.73/1467.89 c current solution ok 1319.73/1467.89 c current bound: 116 1324.43/1472.53 c model valid 1324.43/1472.53 c current solution ok 1324.43/1472.53 c current bound: 116 1329.03/1477.17 c model valid 1329.03/1477.17 c current solution ok 1329.03/1477.18 c current bound: 116 1333.73/1481.82 c model valid 1333.73/1481.82 c current solution ok 1333.73/1481.82 c current bound: 116 1338.32/1486.40 c model valid 1338.32/1486.40 c current solution ok 1338.32/1486.40 c current bound: 116 1342.92/1491.03 c model valid 1342.92/1491.03 c current solution ok 1342.92/1491.04 c current bound: 116 1347.52/1495.68 c model valid 1347.52/1495.68 c current solution ok 1347.52/1495.68 c current bound: 116 1352.21/1500.33 c model valid 1352.21/1500.33 c current solution ok 1352.21/1500.33 c current bound: 116 1356.82/1504.96 c model valid 1356.82/1504.96 c current solution ok 1356.82/1504.96 c current bound: 116 1361.41/1509.59 c model valid 1361.41/1509.59 c current solution ok 1361.41/1509.59 c current bound: 116 1366.12/1514.24 c model valid 1366.12/1514.24 c current solution ok 1366.12/1514.24 c current bound: 116 1370.73/1518.88 c model valid 1370.73/1518.88 c current solution ok 1370.73/1518.88 c current bound: 116 1375.42/1523.52 c model valid 1375.42/1523.52 c current solution ok 1375.42/1523.52 c current bound: 116 1380.02/1528.17 c model valid 1380.02/1528.17 c current solution ok 1380.02/1528.17 c current bound: 116 1384.72/1532.81 c model valid 1384.72/1532.81 c current solution ok 1384.72/1532.81 c current bound: 116 1389.23/1537.38 c model valid 1389.23/1537.38 c current solution ok 1389.23/1537.38 c current bound: 116 1393.91/1542.01 c model valid 1393.91/1542.01 c current solution ok 1393.91/1542.01 c current bound: 116 1398.50/1546.64 c model valid 1398.50/1546.64 c current solution ok 1398.50/1546.64 c current bound: 116 1403.10/1551.28 c model valid 1403.10/1551.28 c current solution ok 1403.10/1551.28 c current bound: 116 1407.82/1555.92 c model valid 1407.82/1555.92 c current solution ok 1407.82/1555.93 c current bound: 116 1412.43/1560.55 c model valid 1412.43/1560.55 c current solution ok 1412.43/1560.55 c current bound: 116 1417.02/1565.18 c model valid 1417.02/1565.18 c current solution ok 1417.02/1565.19 c current bound: 116 1421.70/1569.81 c model valid 1421.70/1569.81 c current solution ok 1421.70/1569.81 c current bound: 116 1426.30/1574.45 c model valid 1426.30/1574.45 c current solution ok 1426.30/1574.45 c current bound: 116 1430.91/1579.09 c model valid 1430.91/1579.09 c current solution ok 1430.91/1579.09 c current bound: 116 1435.62/1583.73 c model valid 1435.62/1583.73 c current solution ok 1435.62/1583.73 c current bound: 116 1440.22/1588.36 c model valid 1440.22/1588.36 c current solution ok 1440.22/1588.36 c current bound: 116 1444.81/1592.99 c model valid 1444.81/1592.99 c current solution ok 1444.81/1592.99 c current bound: 116 1449.41/1597.59 c model valid 1449.41/1597.59 c current solution ok 1449.41/1597.59 c current bound: 116 1454.12/1602.23 c model valid 1454.12/1602.23 c current solution ok 1454.12/1602.23 c current bound: 116 1458.70/1606.86 c model valid 1458.70/1606.86 c current solution ok 1458.70/1606.86 c current bound: 116 1463.32/1611.49 c model valid 1463.32/1611.49 c current solution ok 1463.32/1611.49 c current bound: 116 1468.02/1616.12 c model valid 1468.02/1616.12 c current solution ok 1468.02/1616.13 c current bound: 116 1472.62/1620.77 c model valid 1472.62/1620.77 c current solution ok 1472.62/1620.77 c current bound: 116 1477.22/1625.38 c model valid 1477.22/1625.38 c current solution ok 1477.22/1625.39 c current bound: 116 1481.91/1630.01 c model valid 1481.91/1630.01 c current solution ok 1481.91/1630.01 c current bound: 116 1486.50/1634.64 c model valid 1486.50/1634.64 c current solution ok 1486.50/1634.64 c current bound: 116 1491.11/1639.28 c model valid 1491.11/1639.28 c current solution ok 1491.11/1639.29 c current bound: 116 1495.80/1643.93 c model valid 1495.80/1643.93 c current solution ok 1495.80/1643.93 c current bound: 116 1500.42/1648.56 c model valid 1500.42/1648.56 c current solution ok 1500.42/1648.57 c current bound: 116 1505.00/1653.19 c model valid 1505.00/1653.19 c current solution ok 1505.00/1653.20 c current bound: 116 1509.59/1657.77 c model valid 1509.59/1657.77 c current solution ok 1509.59/1657.78 c current bound: 116 1514.30/1662.40 c model valid 1514.30/1662.40 c current solution ok 1514.30/1662.40 c current bound: 116 1518.90/1667.06 c model valid 1518.90/1667.06 c current solution ok 1518.90/1667.06 c current bound: 116 1523.60/1671.70 c model valid 1523.60/1671.70 c current solution ok 1523.60/1671.70 c current bound: 116 1528.20/1676.32 c model valid 1528.20/1676.32 c current solution ok 1528.20/1676.34 c current bound: 116 1532.78/1680.97 c model valid 1532.78/1680.97 c current solution ok 1532.78/1680.97 c current bound: 116 1537.37/1685.59 c model valid 1537.37/1685.59 c current solution ok 1537.37/1685.59 c current bound: 116 1542.07/1690.22 c model valid 1542.07/1690.22 c current solution ok 1542.07/1690.22 c current bound: 116 1546.67/1694.86 c model valid 1546.67/1694.86 c current solution ok 1546.67/1694.86 c current bound: 116 1551.27/1699.49 c model valid 1551.27/1699.49 c current solution ok 1551.27/1699.49 c current bound: 116 1555.96/1704.13 c model valid 1555.96/1704.13 c current solution ok 1555.96/1704.13 c current bound: 116 1560.56/1708.76 c model valid 1560.56/1708.76 c current solution ok 1560.56/1708.77 c current bound: 116 1565.18/1713.40 c model valid 1565.18/1713.40 c current solution ok 1565.18/1713.40 c current bound: 116 1569.87/1718.04 c model valid 1569.87/1718.04 c current solution ok 1569.87/1718.04 c current bound: 116 1574.46/1722.68 c model valid 1574.46/1722.68 c current solution ok 1574.46/1722.68 c current bound: 116 1579.17/1727.31 c model valid 1579.17/1727.31 c current solution ok 1579.17/1727.31 c current bound: 116 1583.77/1731.94 c model valid 1583.77/1731.94 c current solution ok 1583.77/1731.95 c current bound: 116 1588.39/1736.54 c model valid 1588.39/1736.54 c current solution ok 1588.39/1736.54 c current bound: 116 1592.97/1741.16 c model valid 1592.97/1741.16 c current solution ok 1592.97/1741.16 c current bound: 116 1597.57/1745.80 c model valid 1597.57/1745.80 c current solution ok 1597.68/1745.80 c current bound: 116 1602.28/1750.43 c model valid 1602.28/1750.43 c current solution ok 1602.28/1750.44 c current bound: 116 1606.87/1755.07 c model valid 1606.87/1755.07 c current solution ok 1606.87/1755.07 c current bound: 116 1611.57/1759.71 c model valid 1611.57/1759.71 c current solution ok 1611.57/1759.71 c current bound: 116 1616.15/1764.33 c model valid 1616.15/1764.33 c current solution ok 1616.15/1764.33 c current bound: 116 1620.76/1768.98 c model valid 1620.76/1768.98 c current solution ok 1620.76/1768.99 c current bound: 116 1625.47/1773.64 c model valid 1625.47/1773.64 c current solution ok 1625.47/1773.64 c current bound: 116 1630.06/1778.27 c model valid 1630.06/1778.27 c current solution ok 1630.06/1778.27 c current bound: 116 1634.76/1782.91 c model valid 1634.76/1782.91 c current solution ok 1634.76/1782.91 c current bound: 116 1639.36/1787.55 c model valid 1639.36/1787.55 c current solution ok 1639.36/1787.55 c current bound: 116 1643.97/1792.19 c model valid 1643.97/1792.19 c current solution ok 1643.97/1792.19 c current bound: 116 1648.67/1796.83 c model valid 1648.67/1796.83 c current solution ok 1648.67/1796.83 c current bound: 116 1653.27/1801.48 c model valid 1653.27/1801.48 c current solution ok 1653.27/1801.49 c current bound: 116 1657.95/1806.12 c model valid 1657.95/1806.12 c current solution ok 1657.95/1806.12 c current bound: 116 1662.56/1810.76 c model valid 1662.56/1810.76 c current solution ok 1662.56/1810.76 c current bound: 116 1667.15/1815.39 c model valid 1667.15/1815.39 c current solution ok 1667.15/1815.39 c current bound: 116 1671.87/1820.02 c model valid 1671.87/1820.02 c current solution ok 1671.87/1820.02 c current bound: 116 1676.45/1824.65 c model valid 1676.45/1824.65 c current solution ok 1676.45/1824.65 c current bound: 116 1681.06/1829.28 c model valid 1681.06/1829.28 c current solution ok 1681.06/1829.28 c current bound: 116 1685.76/1833.91 c model valid 1685.76/1833.91 c current solution ok 1685.76/1833.91 c current bound: 116 1690.36/1838.53 c model valid 1690.36/1838.53 c current solution ok 1690.36/1838.54 c current bound: 116 1694.96/1843.17 c model valid 1694.96/1843.17 c current solution ok 1694.96/1843.17 c current bound: 116 1699.57/1847.76 c model valid 1699.57/1847.76 c current solution ok 1699.57/1847.76 c current bound: 116 1704.16/1852.39 c model valid 1704.16/1852.39 c current solution ok 1704.16/1852.39 c current bound: 116 1708.85/1857.03 c model valid 1708.85/1857.03 c current solution ok 1708.85/1857.04 c current bound: 116 1713.46/1861.67 c model valid 1713.46/1861.67 c current solution ok 1713.46/1861.67 c current bound: 116 1718.16/1866.31 c model valid 1718.16/1866.31 c current solution ok 1718.16/1866.31 c current bound: 116 1722.75/1870.94 c model valid 1722.75/1870.94 c current solution ok 1722.75/1870.94 c current bound: 116 1727.35/1875.56 c model valid 1727.35/1875.56 c current solution ok 1727.35/1875.56 c current bound: 116 1731.96/1880.18 c model valid 1731.96/1880.18 c current solution ok 1731.96/1880.19 c current bound: 116 1736.66/1884.82 c model valid 1736.66/1884.82 c current solution ok 1736.66/1884.83 c current bound: 116 1741.25/1889.46 c model valid 1741.25/1889.46 c current solution ok 1741.25/1889.46 c current bound: 116 1745.95/1894.10 c model valid 1745.95/1894.10 c current solution ok 1745.95/1894.10 c current bound: 116 1750.55/1898.75 c model valid 1750.55/1898.75 c current solution ok 1750.55/1898.75 c current bound: 116 1751.85/1900.00 ./satsolver.sh: line 5: 3230 Terminated ./glucose $1 > $2 2> /dev/null 1751.85/1900.00 c error: unexpected solver exit code 1751.85/1900.00 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3702985-1338066635/watcher-3702985-1338066635 -o /tmp/evaluation-result-3702985-1338066635/solver-3702985-1338066635 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702985-1338066635.opb 1791618569 HOME HOME running on 4 cores: 1,3,5,7 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: 3.63 3.86 3.06 3/180 29994 /proc/meminfo: memFree=22923120/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [startup+0.189718 s] /proc/loadavg: 3.63 3.86 3.06 3/180 29994 /proc/meminfo: memFree=22923120/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.200232 s] /proc/loadavg: 3.63 3.86 3.06 3/180 29994 /proc/meminfo: memFree=22923120/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300151 s] /proc/loadavg: 3.63 3.86 3.06 3/180 29994 /proc/meminfo: memFree=22923120/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+3.87382 s] /proc/loadavg: 3.63 3.86 3.06 3/180 29994 /proc/meminfo: memFree=22923120/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 heavy processes: [startup+3.90741 s] /proc/loadavg: 3.50 3.83 3.05 4/182 30001 /proc/meminfo: memFree=22895452/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23132 CPUtime=0.35 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 6024 2983 0 0 18 2 13 2 20 0 1 0 272788374 23687168 5430 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 5783 5430 197 440 0 5339 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 Current children cumulated CPU time (s) 3.86 Current children cumulated vsize (KiB) 40880 [startup+4.00029 s] /proc/loadavg: 3.50 3.83 3.05 4/182 30001 /proc/meminfo: memFree=22895452/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23132 CPUtime=0.35 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 6024 2983 0 0 18 2 13 2 20 0 1 0 272788374 23687168 5430 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 5783 5430 197 440 0 5339 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 Current children cumulated CPU time (s) 3.86 Current children cumulated vsize (KiB) 40880 [startup+6.30026 s] /proc/loadavg: 3.50 3.83 3.05 3/183 30003 /proc/meminfo: memFree=22890424/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23132 CPUtime=0.35 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 6024 2983 0 0 18 2 13 2 20 0 1 0 272788374 23687168 5430 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 5783 5430 197 440 0 5339 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 [pid=30002] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30002/stat : 30002 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272788762 9367552 267 33554432000 4194304 5064252 140735403765392 140735403764304 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30002/statm: 2287 267 226 213 0 72 0 [pid=30003] ppid=30002 vsize=7112 CPUtime=2.39 cores=1,3,5,7 /proc/30003/stat : 30003 (glucose) R 30002 29994 28504 0 -1 4202496 1728 0 0 0 239 0 0 0 20 0 1 0 272788762 7282688 1331 33554432000 4194304 5208918 140736362754000 140736362751944 4229466 0 0 4096 0 0 0 0 17 7 0 0 0 0 0 /proc/30003/statm: 1778 1331 102 248 0 1527 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 57140 [startup+12.7003 s] /proc/loadavg: 3.27 3.77 3.04 3/183 30010 /proc/meminfo: memFree=22889244/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23284 CPUtime=5.01 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 6193 8395 0 0 18 2 476 5 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 [pid=30009] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30009/stat : 30009 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272789229 9367552 267 33554432000 4194304 5064252 140736601667408 140736601666320 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30009/statm: 2287 267 226 213 0 72 0 [pid=30010] ppid=30009 vsize=8760 CPUtime=4.11 cores=1,3,5,7 /proc/30010/stat : 30010 (glucose) R 30009 29994 28504 0 -1 4202496 2097 0 0 0 411 0 0 0 20 0 1 0 272789229 8970240 1578 33554432000 4194304 5208918 140734903671088 140734903669032 4229528 0 0 4096 0 0 0 0 17 7 0 0 0 0 0 /proc/30010/statm: 2190 1578 102 248 0 1939 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 58940 [startup+25.5064 s] /proc/loadavg: 3.22 3.75 3.04 3/183 30031 /proc/meminfo: memFree=22888280/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23284 CPUtime=18.99 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 6889 23801 0 0 18 3 1864 14 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 [pid=30030] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30030/stat : 30030 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272790630 9367552 267 33554432000 4194304 5064252 140737435992160 140737435991072 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30030/statm: 2287 267 226 213 0 72 0 [pid=30031] ppid=30030 vsize=8768 CPUtime=2.91 cores=1,3,5,7 /proc/30031/stat : 30031 (glucose) R 30030 29994 28504 0 -1 4202496 1961 0 0 0 291 0 0 0 20 0 1 0 272790630 8978432 1449 33554432000 4194304 5208918 140735221880208 140735221878152 4229365 0 0 4096 0 0 0 0 17 7 0 0 0 0 0 /proc/30031/statm: 2192 1449 102 248 0 1941 0 Current children cumulated CPU time (s) 25.41 Current children cumulated vsize (KiB) 58948 [startup+55.1941 s] /proc/loadavg: 3.09 3.69 3.03 3/183 30052 /proc/meminfo: memFree=22889672/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23284 CPUtime=51.6 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 8814 58124 0 0 18 6 5102 34 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081938592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 Current children cumulated CPU time (s) 55.11 Current children cumulated vsize (KiB) 41032 [startup+102.3 s] /proc/loadavg: 2.56 3.42 2.98 3/182 30150 /proc/meminfo: memFree=22895384/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23284 CPUtime=98.01 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 12510 113343 0 0 20 7 9722 52 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 [pid=30149] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30149/stat : 30149 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272798531 9367552 266 33554432000 4194304 5064252 140735498435664 140735498434576 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30149/statm: 2287 266 226 213 0 72 0 [pid=30150] ppid=30149 vsize=4428 CPUtime=0.71 cores=1,3,5,7 /proc/30150/stat : 30150 (glucose) R 30149 29994 28504 0 -1 4202496 1128 0 0 0 71 0 0 0 20 0 1 0 272798531 4534272 662 33554432000 4194304 5208918 140736136494672 140736136492824 4229273 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/30150/statm: 1107 662 102 248 0 856 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 54608 [startup+162.3 s] /proc/loadavg: 2.22 3.18 2.92 3/182 30235 /proc/meminfo: memFree=22891912/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 ################ # More data... # ################ /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 100611 1506744 0 0 40 60 132464 461 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=23695] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23695/stat : 23695 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272936556 9367552 266 33554432000 4194304 5064252 140734071898992 140734071897904 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23695/statm: 2287 266 226 213 0 72 0 [pid=23696] ppid=23695 vsize=4684 CPUtime=0.47 cores=1,3,5,7 /proc/23696/stat : 23696 (glucose) R 23695 29994 28504 0 -1 4202496 914 0 0 0 47 0 0 0 20 0 1 0 272936556 4796416 679 33554432000 4194304 5208918 140737024304688 140737024302536 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/23696/statm: 1171 679 102 248 0 920 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 Current children cumulated CPU time (s) 1334.23 Current children cumulated vsize (KiB) 54864 [startup+1542.3 s] /proc/loadavg: 1.67 2.35 2.57 3/185 30083 /proc/meminfo: memFree=31259780/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23284 CPUtime=1390.43 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 104889 1576279 0 0 41 62 138462 478 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 Current children cumulated CPU time (s) 1393.94 Current children cumulated vsize (KiB) 41032 [startup+1602.31 s] /proc/loadavg: 1.61 2.21 2.50 3/185 4092 /proc/meminfo: memFree=31260852/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23284 CPUtime=1450.64 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 109280 1644842 0 0 42 64 144461 497 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 Current children cumulated CPU time (s) 1454.15 Current children cumulated vsize (KiB) 41032 [startup+1662.3 s] /proc/loadavg: 1.49 2.08 2.44 3/185 10389 /proc/meminfo: memFree=31261292/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23284 CPUtime=1506.18 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 113226 1707206 0 0 43 66 149994 515 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=9985] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9985/stat : 9985 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272954152 9367552 267 33554432000 4194304 5064252 140735816840304 140735816839216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/9985/statm: 2287 267 226 213 0 72 0 [pid=9986] ppid=9985 vsize=8764 CPUtime=4.51 cores=1,3,5,7 /proc/9986/stat : 9986 (glucose) R 9985 29994 28504 0 -1 4202496 2117 0 0 0 451 0 0 0 20 0 1 0 272954152 8974336 1596 33554432000 4194304 5208918 140733381438832 140733381436776 4213038 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/9986/statm: 2191 1596 102 248 0 1940 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 Current children cumulated CPU time (s) 1514.2 Current children cumulated vsize (KiB) 58944 [startup+1722.3 s] /proc/loadavg: 1.48 1.95 2.37 3/185 16797 /proc/meminfo: memFree=31260108/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23284 CPUtime=1566.41 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 117610 1773997 0 0 44 68 155997 532 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=16376] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16376/stat : 16376 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272960178 9367552 267 33554432000 4194304 5064252 140737163376384 140737163375296 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/16376/statm: 2287 267 226 213 0 72 0 [pid=16377] ppid=16376 vsize=8764 CPUtime=4.24 cores=1,3,5,7 /proc/16377/stat : 16377 (glucose) R 16376 29994 28504 0 -1 4202496 2097 0 0 0 424 0 0 0 20 0 1 0 272960178 8974336 1578 33554432000 4194304 5208918 140734423582720 140734423580664 4212930 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/16377/statm: 2191 1578 102 248 0 1940 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 Current children cumulated CPU time (s) 1574.16 Current children cumulated vsize (KiB) 58944 [startup+1782.3 s] /proc/loadavg: 1.63 1.91 2.33 3/186 23107 /proc/meminfo: memFree=31260496/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23284 CPUtime=1626.63 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 121971 1842457 0 0 45 70 161997 551 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=22767] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22767/stat : 22767 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272966201 9367552 266 33554432000 4194304 5064252 140734381617728 140734381616640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22767/statm: 2287 266 226 213 0 72 0 [pid=22768] ppid=22767 vsize=8760 CPUtime=4.02 cores=1,3,5,7 /proc/22768/stat : 22768 (glucose) R 22767 29994 28504 0 -1 4202496 2096 0 0 0 402 0 0 0 20 0 1 0 272966201 8970240 1578 33554432000 4194304 5208918 140734545111056 140734545109000 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/22768/statm: 2190 1578 102 248 0 1939 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 Current children cumulated CPU time (s) 1634.16 Current children cumulated vsize (KiB) 58940 [startup+1842.3 s] /proc/loadavg: 2.16 1.98 2.33 3/185 29543 /proc/meminfo: memFree=31257812/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23284 CPUtime=1686.9 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 126283 1912668 0 0 46 73 168004 567 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=29175] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29175/stat : 29175 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272972228 9367552 267 33554432000 4194304 5064252 140734111466928 140734111465840 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29175/statm: 2287 267 226 213 0 72 0 [pid=29176] ppid=29175 vsize=8764 CPUtime=3.75 cores=1,3,5,7 /proc/29176/stat : 29176 (glucose) R 29175 29994 28504 0 -1 4202496 1980 0 0 0 375 0 0 0 20 0 1 0 272972228 8974336 1578 33554432000 4194304 5208918 140735022405152 140735022403096 4229006 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29176/statm: 2191 1578 102 248 0 1940 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 Current children cumulated CPU time (s) 1694.16 Current children cumulated vsize (KiB) 58944 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1900 s] /proc/loadavg: 1.92 1.96 2.30 3/185 3363 /proc/meminfo: memFree=31262052/32873844 swapFree=6600/6600 [pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/29994/statm: 2287 275 233 213 0 72 0 [pid=29995] ppid=29994 vsize=23284 CPUtime=1747.1 cores=1,3,5,7 /proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 130673 1979924 0 0 47 75 174005 583 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/29995/statm: 5821 5432 197 440 0 5377 0 [pid=3229] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3229/stat : 3229 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272978249 9367552 266 33554432000 4194304 5064252 140737484194480 140737484193392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3229/statm: 2287 266 226 213 0 72 0 [pid=3230] ppid=3229 vsize=7116 CPUtime=1.24 cores=1,3,5,7 /proc/3230/stat : 3230 (glucose) R 3229 29994 28504 0 -1 4202496 1382 0 0 0 124 0 0 0 20 0 1 0 272978249 7286784 955 33554432000 4194304 5208918 140737265549328 140737265547272 4228924 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/3230/statm: 1779 955 102 248 0 1528 0 [pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7 /proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/30000/statm: 2150 1633 146 357 0 1790 0 Current children cumulated CPU time (s) 1751.85 Current children cumulated vsize (KiB) 57296 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29994 and gives # childrusage.ru_utime.tv_sec=1741 # childrusage.ru_utime.tv_usec=782208 # childrusage.ru_stime.tv_sec=6 # childrusage.ru_stime.tv_usec=598996 # CPU time returned by wait4() is 1748.38 # while last known CPU time is 1751.85 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1900.01 CPU time (s): 1751.85 CPU user time (s): 1745.27 CPU system time (s): 6.58 CPU usage (%): 92.2021 Max. virtual memory (cumulated for all children) (KiB): 64316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1741.78 system time used= 6.599 maximum resident set size= 22320 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2112968 page faults= 0 swaps= 0 block input operations= 0 block output operations= 150040 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5565 involuntary context switches= 6403 runsolver used 2.81257 second user time and 7.44887 second system time The end
Begin job on node140 at 2012-05-26 23:10:35 IDJOB=3702985 IDBENCH=2694 IDSOLVER=2278 FILE ID=node140/3702985-1338066635 RUNJOBID= node140-1338052929-28521 PBS_JOBID= 14624397 Free space on /tmp= 71292 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=233.opb COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3702985-1338066635/watcher-3702985-1338066635 -o /tmp/evaluation-result-3702985-1338066635/solver-3702985-1338066635 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702985-1338066635.opb 1791618569 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f1df6d8d5ad4d56009afe0e51e9624cf RANDOM SEED=1791618569 node140.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.094 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.18 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.094 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.094 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.91 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.094 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.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 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.88 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.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 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: 22924208 kB Buffers: 248252 kB Cached: 487704 kB SwapCached: 1596 kB Active: 7249700 kB Inactive: 1887412 kB Active(anon): 6517660 kB Inactive(anon): 1885188 kB Active(file): 732040 kB Inactive(file): 2224 kB Unevictable: 6600 kB Mlocked: 6600 kB SwapTotal: 67108856 kB SwapFree: 67105132 kB Dirty: 8560 kB Writeback: 0 kB AnonPages: 8405520 kB Mapped: 11888 kB Shmem: 8 kB Slab: 658568 kB SReclaimable: 99648 kB SUnreclaim: 558920 kB KernelStack: 1888 kB PageTables: 20436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 8517816 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 8386560 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= 71284 MiB End job on node140 at 2012-05-26 23:42:15