Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown (fixed) | OPTIMUM | 536.362 | 538.341 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh16_wcsp.wbo |
| MD5SUM | 8941aeee87a1a646f79f1fa97035d3b2 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 0.044992 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.02 c run usual solver 0.00/0.05 o 7689 0.00/0.05 c fallback to adder encoding 4.16/4.25 o 7688 4.16/4.25 c fallback to adder encoding 7.58/7.66 o 6375 7.58/7.66 c fallback to adder encoding 13.32/13.43 o 6356 13.32/13.43 c fallback to adder encoding 16.36/16.47 o 6339 16.36/16.47 c fallback to adder encoding 18.80/18.91 o 6273 18.80/18.91 c fallback to adder encoding 20.75/20.81 o 5951 20.75/20.81 c fallback to adder encoding 23.79/23.98 o 5947 23.79/23.98 c fallback to adder encoding 26.08/26.26 o 5670 26.08/26.26 c fallback to adder encoding 28.55/28.73 o 5668 28.55/28.73 c fallback to adder encoding 31.38/31.57 o 5667 31.38/31.57 c fallback to adder encoding 35.59/35.77 o 5603 35.59/35.77 c fallback to adder encoding 42.68/42.90 o 5584 42.68/42.90 c fallback to adder encoding 45.81/46.01 o 5482 45.81/46.01 c fallback to adder encoding 48.67/48.89 o 5459 48.67/48.89 c fallback to adder encoding 55.76/55.94 o 5457 55.76/55.94 c fallback to adder encoding 61.68/61.80 o 5424 61.68/61.80 c fallback to adder encoding 63.58/63.75 o 5423 63.58/63.75 c fallback to adder encoding 67.21/67.40 o 5422 67.21/67.40 c fallback to adder encoding 72.84/73.02 o 5421 72.84/73.02 c fallback to adder encoding 76.89/77.08 o 5409 76.89/77.08 c fallback to adder encoding 86.08/86.28 o 5377 86.08/86.28 c fallback to adder encoding 92.67/92.86 o 5376 92.67/92.86 c fallback to adder encoding 97.98/98.10 o 5369 97.98/98.10 c fallback to adder encoding 102.53/102.71 o 5368 102.53/102.71 c fallback to adder encoding 106.00/106.28 o 5360 106.00/106.28 c fallback to adder encoding 108.11/108.37 o 5359 108.11/108.37 c fallback to adder encoding 110.83/111.06 o 5358 110.83/111.06 c fallback to adder encoding 113.43/113.65 o 5351 113.43/113.65 c fallback to adder encoding 116.72/117.03 o 5348 116.72/117.03 c fallback to adder encoding 120.17/120.49 o 5345 120.17/120.49 c fallback to adder encoding 122.37/122.67 o 5326 122.37/122.67 c fallback to adder encoding 126.05/126.36 o 5309 126.05/126.36 c fallback to adder encoding 128.45/128.75 o 5307 128.45/128.75 c fallback to adder encoding 132.67/132.97 o 5297 132.67/132.97 c fallback to adder encoding 138.53/138.83 o 5285 138.53/138.83 c fallback to adder encoding 141.37/141.68 o 5240 141.37/141.68 c fallback to adder encoding 143.55/143.89 o 4165 143.55/143.89 c fallback to adder encoding 148.34/148.69 o 4143 148.34/148.69 c fallback to adder encoding 152.79/153.37 o 4139 152.79/153.37 c fallback to adder encoding 158.73/159.31 o 4138 158.73/159.31 c fallback to adder encoding 162.06/162.64 o 4113 162.06/162.64 c fallback to adder encoding 166.58/167.13 o 4112 166.58/167.13 c fallback to adder encoding 168.97/169.55 o 4100 168.97/169.55 c fallback to adder encoding 171.71/172.38 o 4099 171.71/172.38 c fallback to adder encoding 175.96/176.61 o 4098 175.96/176.61 c fallback to adder encoding 179.15/179.80 o 4097 179.15/179.80 c fallback to adder encoding 181.28/181.94 o 4096 181.28/181.94 c fallback to adder encoding 185.21/185.86 o 4084 185.21/185.86 c fallback to adder encoding 188.30/188.98 o 3951 188.30/188.98 c fallback to adder encoding 190.72/191.36 o 3942 190.72/191.36 c fallback to adder encoding 193.01/193.66 o 3941 193.01/193.66 c fallback to adder encoding 195.11/195.76 o 3829 195.11/195.76 c fallback to adder encoding 199.25/199.91 o 3828 199.25/199.91 c fallback to adder encoding 201.38/202.03 o 3825 201.38/202.03 c fallback to adder encoding 203.75/204.46 o 3804 203.75/204.46 c fallback to adder encoding 206.76/207.48 o 3774 206.76/207.48 c fallback to adder encoding 208.25/208.93 o 3766 208.25/208.93 c fallback to adder encoding 211.36/212.06 o 3764 211.36/212.06 c fallback to adder encoding 213.90/214.61 o 3757 213.90/214.61 c fallback to adder encoding 216.78/217.50 o 3750 216.78/217.50 c fallback to adder encoding 218.25/218.99 o 3741 218.25/218.99 c fallback to adder encoding 220.99/221.70 o 3740 220.99/221.70 c fallback to adder encoding 223.24/223.99 o 3737 223.24/223.99 c fallback to adder encoding 226.41/227.10 o 3714 226.41/227.10 c fallback to adder encoding 228.40/229.16 o 3713 228.40/229.16 c fallback to adder encoding 229.96/230.71 o 3654 229.96/230.71 c fallback to adder encoding 231.36/232.17 o 3641 231.36/232.17 c fallback to adder encoding 233.62/234.43 o 3634 233.62/234.43 c fallback to adder encoding 236.75/237.59 o 3633 236.75/237.59 c fallback to adder encoding 240.51/241.30 o 3632 240.51/241.30 c fallback to adder encoding 244.65/245.51 o 3631 244.65/245.51 c fallback to adder encoding 246.20/247.06 o 3622 246.20/247.06 c fallback to adder encoding 247.47/248.34 o 3613 247.47/248.34 c fallback to adder encoding 248.60/249.47 o 3609 248.60/249.47 c fallback to adder encoding 252.34/253.20 o 3606 252.34/253.20 c fallback to adder encoding 254.42/255.30 o 3601 254.42/255.30 c fallback to adder encoding 256.48/257.40 o 3590 256.48/257.40 c fallback to adder encoding 258.76/259.65 o 3589 258.76/259.65 c fallback to adder encoding 261.67/262.59 o 3586 261.67/262.59 c fallback to adder encoding 263.46/264.35 o 3585 263.46/264.35 c fallback to adder encoding 264.89/265.88 o 3143 264.89/265.88 c fallback to adder encoding 267.01/267.90 o 3075 267.01/267.90 c fallback to adder encoding 268.75/269.76 o 2178 268.86/269.87 c fallback to adder encoding 272.34/273.35 o 2177 272.34/273.35 c fallback to adder encoding 274.74/275.79 o 2176 274.74/275.79 c fallback to adder encoding 276.54/277.59 o 2175 276.54/277.59 c fallback to adder encoding 279.45/280.50 o 2164 279.45/280.50 c fallback to adder encoding 283.42/284.51 o 2163 283.42/284.51 c fallback to adder encoding 289.76/290.85 o 2155 289.76/290.85 c fallback to adder encoding 292.98/294.05 o 2145 292.98/294.05 c fallback to adder encoding 295.56/296.63 o 2144 295.56/296.63 c fallback to adder encoding 300.09/301.18 o 2135 300.09/301.18 c fallback to adder encoding 304.96/306.04 o 2133 304.96/306.04 c fallback to adder encoding 309.45/310.51 o 2132 309.45/310.51 c fallback to adder encoding 313.32/314.48 o 2130 313.32/314.48 c fallback to adder encoding 317.83/319.00 o 2106 317.83/319.00 c fallback to adder encoding 324.00/325.15 o 2086 324.00/325.15 c fallback to adder encoding 326.66/327.82 o 2084 326.66/327.82 c fallback to adder encoding 329.81/330.99 o 2079 329.81/330.99 c fallback to adder encoding 334.61/335.75 o 2056 334.61/335.75 c fallback to adder encoding 337.81/338.96 o 2049 337.81/338.96 c fallback to adder encoding 343.41/344.58 o 2048 343.41/344.58 c fallback to adder encoding 344.51/345.66 o 2038 344.51/345.66 c fallback to adder encoding 352.12/353.20 o 2031 352.12/353.20 c fallback to adder encoding 354.60/355.74 o 2024 354.60/355.74 c fallback to adder encoding 355.87/357.01 o 2020 355.87/357.01 c fallback to adder encoding 365.11/366.28 o 2018 365.11/366.28 c fallback to adder encoding 369.78/370.98 o 2016 369.78/370.98 c fallback to adder encoding 370.97/372.12 o 2011 370.97/372.12 c fallback to adder encoding 372.00/373.17 o 1988 372.00/373.17 c fallback to adder encoding 376.79/377.99 o 1986 376.79/377.99 c fallback to adder encoding 378.38/379.53 o 1979 378.38/379.53 c fallback to adder encoding 381.01/382.16 o 1978 381.01/382.16 c fallback to adder encoding 385.88/387.09 o 1968 385.88/387.09 c fallback to adder encoding 389.67/390.97 o 1957 389.67/390.97 c fallback to adder encoding 390.92/392.25 o 1933 390.92/392.25 c fallback to adder encoding 392.71/394.09 o 1926 392.71/394.09 c fallback to adder encoding 394.41/395.78 o 1913 394.41/395.78 c fallback to adder encoding 396.99/398.32 o 1912 396.99/398.32 c fallback to adder encoding 398.52/399.80 o 1911 398.52/399.80 c fallback to adder encoding 400.11/401.40 o 1887 400.11/401.40 c fallback to adder encoding 402.40/403.77 o 1886 402.40/403.77 c fallback to adder encoding 404.96/406.31 o 1882 404.96/406.31 c fallback to adder encoding 406.80/408.16 o 1881 406.80/408.16 c fallback to adder encoding 408.69/410.06 o 1873 408.69/410.06 c fallback to adder encoding 411.79/413.16 o 1839 411.79/413.16 c fallback to adder encoding 414.72/416.10 o 1834 414.72/416.10 c fallback to adder encoding 417.76/419.14 o 1830 417.76/419.14 c fallback to adder encoding 420.73/422.12 o 1829 420.73/422.12 c fallback to adder encoding 422.21/423.60 o 1814 422.21/423.60 c fallback to adder encoding 423.85/425.29 o 1793 423.85/425.29 c fallback to adder encoding 425.85/427.26 o 1792 425.85/427.26 c fallback to adder encoding 428.00/429.40 o 1775 428.00/429.40 c fallback to adder encoding 431.65/433.05 o 1774 431.65/433.05 c fallback to adder encoding 433.52/434.93 o 1616 433.52/434.93 c fallback to adder encoding 434.93/436.38 o 991 434.93/436.38 c fallback to adder encoding 437.52/438.97 o 981 437.52/438.97 c fallback to adder encoding 439.39/440.89 o 976 439.39/440.89 c fallback to adder encoding 440.49/441.98 o 973 440.49/441.98 c fallback to adder encoding 442.58/444.03 o 964 442.58/444.03 c fallback to adder encoding 444.33/445.83 o 963 444.33/445.83 c fallback to adder encoding 448.12/449.62 o 960 448.12/449.62 c fallback to adder encoding 450.04/451.55 o 949 450.04/451.55 c fallback to adder encoding 451.94/453.47 o 940 451.94/453.47 c fallback to adder encoding 454.72/456.24 o 935 454.72/456.24 c fallback to adder encoding 458.82/460.40 o 934 458.82/460.40 c fallback to adder encoding 461.81/463.40 o 932 461.81/463.40 c fallback to adder encoding 463.85/465.49 o 928 463.85/465.49 c fallback to adder encoding 465.42/467.08 o 915 465.42/467.08 c fallback to adder encoding 467.72/469.33 o 906 467.72/469.33 c fallback to adder encoding 469.04/470.69 o 904 469.04/470.69 c fallback to adder encoding 472.38/474.06 o 898 472.38/474.06 c fallback to adder encoding 473.66/475.39 o 897 473.66/475.39 c fallback to adder encoding 476.57/478.24 o 888 476.57/478.24 c fallback to adder encoding 477.36/479.08 o 885 477.36/479.08 c fallback to adder encoding 478.63/480.33 o 881 478.63/480.33 c fallback to adder encoding 480.05/481.80 o 879 480.05/481.80 c fallback to adder encoding 481.44/483.16 o 870 481.44/483.16 c fallback to adder encoding 482.63/484.36 o 866 482.63/484.36 c fallback to adder encoding 484.11/485.82 o 865 484.11/485.82 c fallback to adder encoding 487.02/488.75 o 846 487.02/488.75 c fallback to adder encoding 490.50/492.23 o 843 490.50/492.23 c fallback to adder encoding 491.88/493.62 o 841 491.88/493.62 c fallback to adder encoding 494.66/496.40 o 829 494.66/496.40 c fallback to adder encoding 496.26/498.02 o 828 496.26/498.02 c fallback to adder encoding 497.16/498.90 o 823 497.16/498.90 c fallback to adder encoding 498.84/500.69 o 822 498.84/500.69 c fallback to adder encoding 499.75/501.53 o 817 499.75/501.53 c fallback to adder encoding 500.83/502.66 o 816 500.83/502.66 c fallback to adder encoding 502.93/504.70 o 808 502.93/504.70 c fallback to adder encoding 504.42/506.25 o 807 504.42/506.25 c fallback to adder encoding 505.80/507.68 o 802 505.80/507.68 c fallback to adder encoding 507.01/508.80 o 801 507.01/508.80 c fallback to adder encoding 508.01/509.84 o 794 508.01/509.84 c fallback to adder encoding 511.16/513.08 o 790 511.16/513.08 c fallback to adder encoding 513.13/515.00 o 786 513.13/515.00 c fallback to adder encoding 514.22/516.19 o 732 514.22/516.19 c fallback to adder encoding 515.21/517.13 o 695 515.21/517.13 c fallback to adder encoding 516.00/517.92 o 689 516.00/517.92 c fallback to adder encoding 516.83/518.74 o 652 516.83/518.74 c fallback to adder encoding 517.50/519.49 o 645 517.50/519.49 c fallback to adder encoding 519.77/521.70 o 644 519.77/521.70 c fallback to adder encoding 522.28/524.22 o 639 522.28/524.22 c fallback to adder encoding 522.96/524.90 o 608 522.96/524.90 c fallback to adder encoding 523.38/525.32 o 591 523.38/525.32 c fallback to adder encoding 523.90/525.85 o 587 523.90/525.85 c fallback to adder encoding 524.01/526.36 o 580 524.01/526.36 c fallback to adder encoding 525.05/527.00 o 576 525.05/527.00 c fallback to adder encoding 525.48/527.42 o 575 525.48/527.42 c fallback to adder encoding 525.57/527.78 o 567 525.57/527.78 c fallback to adder encoding 526.37/528.34 o 566 526.37/528.34 c fallback to adder encoding 526.99/528.93 o 565 526.99/528.93 c fallback to adder encoding 527.27/529.27 o 564 527.27/529.27 c fallback to adder encoding 527.42/529.78 o 553 527.42/529.78 c fallback to adder encoding 528.36/530.36 o 535 528.36/530.36 c fallback to adder encoding 528.50/530.99 o 435 528.50/530.99 c fallback to adder encoding 529.46/531.49 o 431 529.46/531.49 c fallback to adder encoding 529.58/531.92 o 429 529.58/531.92 c fallback to adder encoding 530.01/532.25 o 422 530.01/532.25 c fallback to adder encoding 530.53/532.52 o 395 530.53/532.52 c fallback to adder encoding 530.84/532.82 o 389 530.84/532.82 c fallback to adder encoding 530.90/533.08 o 387 530.90/533.08 c fallback to adder encoding 531.44/533.42 o 384 531.44/533.42 c fallback to adder encoding 531.49/533.78 o 381 531.49/533.78 c fallback to adder encoding 531.87/534.24 o 380 531.87/534.24 c fallback to adder encoding 532.32/534.43 o 352 532.32/534.43 c fallback to adder encoding 532.65/534.66 o 351 532.65/534.66 c fallback to adder encoding 532.93/534.90 o 348 532.93/534.90 c fallback to adder encoding 533.12/535.10 o 345 533.12/535.10 c fallback to adder encoding 533.18/535.38 o 344 533.18/535.38 c fallback to adder encoding 533.47/535.58 o 333 533.47/535.58 c fallback to adder encoding 533.66/535.79 o 315 533.66/535.79 c fallback to adder encoding 533.87/536.03 o 303 533.87/536.03 c fallback to adder encoding 534.10/536.22 o 296 534.10/536.22 c fallback to adder encoding 534.29/536.39 o 289 534.29/536.39 c fallback to adder encoding 534.63/536.61 o 261 534.63/536.61 c fallback to adder encoding 534.71/536.71 o 260 534.71/536.71 c fallback to adder encoding 535.09/537.10 o 255 535.09/537.10 c fallback to adder encoding 535.09/537.18 o 235 535.09/537.18 c fallback to adder encoding 535.30/537.31 o 234 535.30/537.31 c fallback to adder encoding 535.30/537.38 o 231 535.30/537.38 c fallback to adder encoding 535.41/537.49 o 225 535.41/537.49 c fallback to adder encoding 535.51/537.57 o 185 535.67/537.75 o 143 535.80/537.87 o 130 535.88/537.97 o 104 535.99/538.04 o 91 535.99/538.09 o 89 536.11/538.14 o 82 536.11/538.18 o 77 536.19/538.22 o 54 536.19/538.24 o 28 536.19/538.26 o 26 536.19/538.28 o 22 536.19/538.29 o 17 536.30/538.31 o 11 536.30/538.32 o 6 536.30/538.33 c display solution 536.30/538.33 s OPTIMUM FOUND 536.30/538.33 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
OK 6
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3753809-1339201629/watcher-3753809-1339201629 -o /tmp/evaluation-result-3753809-1339201629/solver-3753809-1339201629 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753809-1339201629.wbo 53341574 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 11942 /proc/meminfo: memFree=30039392/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [startup+0.034484 s] /proc/loadavg: 2.00 2.01 2.00 3/179 11942 /proc/meminfo: memFree=30039392/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100248 s] /proc/loadavg: 2.00 2.01 2.00 3/179 11942 /proc/meminfo: memFree=30039392/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300284 s] /proc/loadavg: 2.00 2.01 2.00 3/179 11942 /proc/meminfo: memFree=30039392/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700191 s] /proc/loadavg: 2.00 2.01 2.00 3/179 11942 /proc/meminfo: memFree=30039392/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50029 s] /proc/loadavg: 2.00 2.01 2.00 3/183 11956 /proc/meminfo: memFree=29992628/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=0.16 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 3546 5910 0 0 12 2 1 1 20 0 1 0 386288373 20500480 4429 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/11943/statm: 5005 4429 179 443 0 4558 0 [pid=11955] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11955/stat : 11955 (satsolver.sh) S 11943 11942 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386288390 9367552 267 33554432000 4194304 5064252 140734531364544 140734531363456 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/11955/statm: 2287 267 226 213 0 72 0 [pid=11956] ppid=11955 vsize=27260 CPUtime=1.32 cores=0,2,4,6 /proc/11956/stat : 11956 (glucose) R 11955 11942 16392 0 -1 4202496 6045 0 0 0 131 1 0 0 20 0 1 0 386288391 27914240 6080 33554432000 4194304 5208918 140736413530384 140736413528056 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/11956/statm: 6815 6080 103 248 0 6564 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 65576 [startup+3.10024 s] /proc/loadavg: 2.00 2.01 2.00 3/183 11956 /proc/meminfo: memFree=29990060/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=0.16 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 3546 5910 0 0 12 2 1 1 20 0 1 0 386288373 20500480 4429 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/11943/statm: 5005 4429 179 443 0 4558 0 [pid=11955] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11955/stat : 11955 (satsolver.sh) S 11943 11942 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386288390 9367552 267 33554432000 4194304 5064252 140734531364544 140734531363456 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/11955/statm: 2287 267 226 213 0 72 0 [pid=11956] ppid=11955 vsize=28152 CPUtime=2.91 cores=0,2,4,6 /proc/11956/stat : 11956 (glucose) R 11955 11942 16392 0 -1 4202496 6697 0 0 0 290 1 0 0 20 0 1 0 386288391 28827648 5941 33554432000 4194304 5208918 140736413530384 140736413528232 4211599 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/11956/statm: 7038 5941 103 248 0 6787 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 66468 [startup+6.3003 s] /proc/loadavg: 2.00 2.01 2.00 3/183 11963 /proc/meminfo: memFree=29989872/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=4.35 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 5663 15875 0 0 23 3 404 5 20 0 1 0 386288373 20500480 4430 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/11943/statm: 5005 4430 179 443 0 4558 0 [pid=11962] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11962/stat : 11962 (satsolver.sh) S 11943 11942 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386288810 9367552 265 33554432000 4194304 5064252 140737472975728 140737472974640 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/11962/statm: 2287 265 226 213 0 72 0 [pid=11963] ppid=11962 vsize=27376 CPUtime=1.92 cores=0,2,4,6 /proc/11963/stat : 11963 (glucose) R 11962 11942 16392 0 -1 4202496 5855 0 0 0 191 1 0 0 20 0 1 0 386288811 28033024 5922 33554432000 4194304 5208918 140736894168112 140736894165864 4211897 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/11963/statm: 6844 5922 103 248 0 6593 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 65692 [startup+12.7003 s] /proc/loadavg: 2.08 2.03 2.01 3/183 11970 /proc/meminfo: memFree=29988484/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=7.75 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 7780 25526 0 0 33 4 729 9 20 0 1 0 386288373 20500480 4430 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/11943/statm: 5005 4430 179 443 0 4558 0 [pid=11969] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11969/stat : 11969 (satsolver.sh) S 11943 11942 16392 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386289151 9367552 266 33554432000 4194304 5064252 140733798658384 140733798657296 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11969/statm: 2287 266 226 213 0 72 0 [pid=11970] ppid=11969 vsize=28112 CPUtime=4.9 cores=0,2,4,6 /proc/11970/stat : 11970 (glucose) R 11969 11942 16392 0 -1 4202496 6242 0 0 0 488 2 0 0 20 0 1 0 386289152 28786688 6199 33554432000 4194304 5208918 140737364904016 140737364900328 4211156 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/11970/statm: 7028 6199 103 248 0 6777 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 66428 [startup+25.5004 s] /proc/loadavg: 2.06 2.03 2.00 3/183 12005 /proc/meminfo: memFree=29988864/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=23.99 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 18365 71893 0 0 87 10 2267 35 20 0 1 0 386288373 20500480 4430 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/11943/statm: 5005 4430 179 443 0 4558 0 [pid=12004] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12004/stat : 12004 (satsolver.sh) S 11943 11942 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386290783 9367552 267 33554432000 4194304 5064252 140737060562992 140737060561904 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12004/statm: 2287 267 226 213 0 72 0 [pid=12005] ppid=12004 vsize=26968 CPUtime=1.38 cores=0,2,4,6 /proc/12005/stat : 12005 (glucose) R 12004 11942 16392 0 -1 4202496 5757 0 0 0 138 0 0 0 20 0 1 0 386290783 27615232 5705 33554432000 4194304 5208918 140736181319072 140736181316920 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/12005/statm: 6742 5705 103 248 0 6491 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 65284 [startup+51.1004 s] /proc/loadavg: 2.04 2.02 2.00 3/183 12054 /proc/meminfo: memFree=29988348/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=48.9 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 33184 138408 0 0 163 18 4638 71 20 0 1 0 386288373 20500480 4430 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11943/statm: 5005 4430 179 443 0 4558 0 [pid=12053] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12053/stat : 12053 (satsolver.sh) S 11943 11942 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386293274 9367552 267 33554432000 4194304 5064252 140734553311728 140734553310640 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12053/statm: 2287 267 226 213 0 72 0 [pid=12054] ppid=12053 vsize=27344 CPUtime=2.08 cores=0,2,4,6 /proc/12054/stat : 12054 (glucose) R 12053 11942 16392 0 -1 4202496 5867 0 0 0 207 1 0 0 20 0 1 0 386293274 28000256 5934 33554432000 4194304 5208918 140737070519584 140737070517432 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/12054/statm: 6836 5934 103 248 0 6585 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 65660 [startup+102.307 s] /proc/loadavg: 2.02 2.02 2.00 3/183 12118 /proc/meminfo: memFree=29981576/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=98.12 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 52237 226232 0 0 261 27 9403 121 20 0 1 0 386288373 20500480 4430 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11943/statm: 5005 4430 179 443 0 4558 0 [pid=12117] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12117/stat : 12117 (satsolver.sh) S 11943 11942 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386298195 9367552 267 33554432000 4194304 5064252 140735299209472 140735299208384 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12117/statm: 2287 267 226 213 0 72 0 [pid=12118] ppid=12117 vsize=27896 CPUtime=4.08 cores=0,2,4,6 /proc/12118/stat : 12118 (glucose) R 12117 11942 16392 0 -1 4202496 6177 0 0 0 407 1 0 0 20 0 1 0 386298195 28565504 6079 33554432000 4194304 5208918 140735988336848 140735988334696 4210859 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/12118/statm: 6974 6079 103 248 0 6723 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 66212 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 12289 /proc/meminfo: memFree=30703620/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=158.92 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 88226 389480 0 0 444 45 15190 213 20 0 1 0 386288373 20500480 4430 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/11943/statm: 5005 4430 179 443 0 4558 0 [pid=12288] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12621 /proc/meminfo: memFree=30674648/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=279.6 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 187725 834114 0 0 922 93 26500 445 20 0 1 0 386288373 20500480 4430 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11943/statm: 5005 4430 179 443 0 4558 0 [pid=12620] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12620/stat : 12620 (satsolver.sh) S 11943 11942 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386316434 9367552 267 33554432000 4194304 5064252 140735613966432 140735613965344 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12620/statm: 2287 267 226 213 0 72 0 [pid=12621] ppid=12620 vsize=26020 CPUtime=1.67 cores=0,2,4,6 /proc/12621/stat : 12621 (glucose) R 12620 11942 16392 0 -1 4202496 5658 0 0 0 167 0 0 0 20 0 1 0 386316434 26644480 5200 33554432000 4194304 5208918 140736375446608 140736375444456 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/12621/statm: 6505 5200 104 248 0 6254 0 Current children cumulated CPU time (s) 281.27 Current children cumulated vsize (KiB) 64336 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12719 /proc/meminfo: memFree=30633384/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=337.99 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 217363 969812 0 0 1061 107 32116 515 20 0 1 0 386288373 20500480 4430 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0 /proc/11943/statm: 5005 4430 179 443 0 4558 0 [pid=12718] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12718/stat : 12718 (satsolver.sh) S 11943 11942 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386322280 9367552 266 33554432000 4194304 5064252 140736395407840 140736395406752 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/12718/statm: 2287 266 226 213 0 72 0 [pid=12719] ppid=12718 vsize=22944 CPUtime=3.22 cores=0,2,4,6 /proc/12719/stat : 12719 (glucose) R 12718 11942 16392 0 -1 4202496 5532 0 0 0 321 1 0 0 20 0 1 0 386322280 23494656 5013 33554432000 4194304 5208918 140733743657504 140733743655464 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12719/statm: 5736 5013 104 248 0 5485 0 Current children cumulated CPU time (s) 341.21 Current children cumulated vsize (KiB) 61260 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12856 /proc/meminfo: memFree=30636296/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=400.21 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 259703 1150971 0 0 1243 125 38043 610 20 0 1 0 386288373 20500480 4431 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0 /proc/11943/statm: 5005 4431 179 443 0 4558 0 Current children cumulated CPU time (s) 400.21 Current children cumulated vsize (KiB) 29168 [startup+462.3 s] /proc/loadavg: 1.97 1.98 1.99 3/183 13035 /proc/meminfo: memFree=30619392/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=458.96 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 312617 1369559 0 0 1456 148 43569 723 20 0 1 0 386288373 20500480 4440 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0 /proc/11943/statm: 5005 4440 179 443 0 4558 0 [pid=13034] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13034/stat : 13034 (satsolver.sh) S 11943 11942 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386334422 9367552 267 33554432000 4194304 5064252 140735662684608 140735662683520 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/13034/statm: 2287 267 226 213 0 72 0 [pid=13035] ppid=13034 vsize=19480 CPUtime=1.79 cores=0,2,4,6 /proc/13035/stat : 13035 (glucose) R 13034 11942 16392 0 -1 4202496 4795 0 0 0 179 0 0 0 20 0 1 0 386334422 19947520 4392 33554432000 4194304 5208918 140737183714736 140737183712568 4211732 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/13035/statm: 4870 4392 105 248 0 4619 0 Current children cumulated CPU time (s) 460.75 Current children cumulated vsize (KiB) 57796 [startup+522.3 s] /proc/loadavg: 1.97 1.98 1.99 3/183 13280 /proc/meminfo: memFree=30632308/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=519.87 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 385899 1638903 0 0 1702 174 49259 852 20 0 1 0 386288373 20500480 4457 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/11943/statm: 5005 4457 179 443 0 4558 0 Current children cumulated CPU time (s) 519.87 Current children cumulated vsize (KiB) 29168 Solver just ended. Dumping a history of the last processes samples [startup+524.707 s] /proc/loadavg: 1.97 1.98 1.99 3/183 13294 /proc/meminfo: memFree=30627348/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=522.38 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 387500 1645618 0 0 1708 175 49500 855 20 0 1 0 386288373 20500480 4457 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/11943/statm: 5005 4457 179 443 0 4558 0 [pid=13293] ppid=11943 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13293/stat : 13293 (satsolver.sh) S 11943 11942 16392 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386340801 9367552 267 33554432000 4194304 5064252 140736512254656 140736512253568 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/13293/statm: 2287 267 226 213 0 72 0 [pid=13294] ppid=13293 vsize=13396 CPUtime=0.41 cores=0,2,4,6 /proc/13294/stat : 13294 (glucose) R 13293 11942 16392 0 -1 4202496 3758 0 0 0 41 0 0 0 20 0 1 0 386340801 13717504 2986 33554432000 4194304 5208918 140735110534688 140735110532520 4229338 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/13294/statm: 3349 2986 104 248 0 3098 0 Current children cumulated CPU time (s) 522.79 Current children cumulated vsize (KiB) 51712 [startup+531.1 s] /proc/loadavg: 1.97 1.98 1.99 3/183 13371 /proc/meminfo: memFree=30618576/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=529.1 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 407894 1729116 0 0 1766 182 50072 890 20 0 1 0 386288373 20500480 4457 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/11943/statm: 5005 4457 179 443 0 4558 0 Current children cumulated CPU time (s) 529.1 Current children cumulated vsize (KiB) 29168 [startup+534.3 s] /proc/loadavg: 1.97 1.98 1.99 4/184 13430 /proc/meminfo: memFree=30651724/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=532.32 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 417987 1778454 0 0 1792 185 50346 909 20 0 1 0 386288373 20500480 4457 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/11943/statm: 5005 4457 179 443 0 4558 0 Current children cumulated CPU time (s) 532.32 Current children cumulated vsize (KiB) 29168 [startup+535.9 s] /proc/loadavg: 1.97 1.98 1.99 3/181 13488 /proc/meminfo: memFree=30651032/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=533.87 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 425191 1816141 0 0 1809 188 50468 922 20 0 1 0 386288373 20500480 4457 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/11943/statm: 5005 4457 179 443 0 4558 0 Current children cumulated CPU time (s) 533.87 Current children cumulated vsize (KiB) 29168 [startup+537.5 s] /proc/loadavg: 1.97 1.98 1.99 3/183 13528 /proc/meminfo: memFree=30644752/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=535.51 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) R 11942 11942 16392 0 -1 4202496 432410 1864550 0 0 1825 190 50599 937 20 0 1 0 386288373 20500480 4457 33554432000 4194304 6006132 140736021316608 140736021308576 5056727 0 0 4096 0 0 0 0 17 4 0 0 2 0 0 /proc/11943/statm: 5005 4457 179 443 0 4558 0 Current children cumulated CPU time (s) 535.51 Current children cumulated vsize (KiB) 29168 [startup+537.907 s] /proc/loadavg: 1.97 1.98 1.99 3/183 13581 /proc/meminfo: memFree=30636664/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=535.88 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 435096 1881057 0 0 1831 190 50621 946 20 0 1 0 386288373 20500480 4458 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/11943/statm: 5005 4458 180 443 0 4558 0 Current children cumulated CPU time (s) 535.88 Current children cumulated vsize (KiB) 29168 [startup+538.3 s] /proc/loadavg: 1.97 1.98 1.99 3/183 13581 /proc/meminfo: memFree=30636664/32873648 swapFree=7628/7628 [pid=11942] ppid=11940 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11942/stat : 11942 (npSolver-wbo-It) S 11940 11942 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288373 9367552 275 33554432000 4194304 5064252 140736536031424 140736536030336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/11942/statm: 2287 275 233 213 0 72 0 [pid=11943] ppid=11942 vsize=20020 CPUtime=536.3 cores=0,2,4,6 /proc/11943/stat : 11943 (npSolver-wbo) S 11942 11942 16392 0 -1 4202496 437445 1920864 0 0 1835 191 50643 961 20 0 1 0 386288373 20500480 4458 33554432000 4194304 6006132 140736021316608 140736021308000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/11943/statm: 5005 4458 180 443 0 4558 0 Current children cumulated CPU time (s) 536.3 Current children cumulated vsize (KiB) 29168 Child status: 0 Real time (s): 538.341 CPU time (s): 536.362 CPU user time (s): 524.802 CPU system time (s): 11.5602 CPU usage (%): 99.6325 Max. virtual memory (cumulated for all children) (KiB): 71068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 524.802 system time used= 11.5602 maximum resident set size= 34136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2369410 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2422848 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12712 involuntary context switches= 3935 runsolver used 1.18082 second user time and 3.09553 second system time The end
Begin job on node127 at 2012-06-09 02:27:09 IDJOB=3753809 IDBENCH=79417 IDSOLVER=2337 FILE ID=node127/3753809-1339201629 RUNJOBID= node127-1339183476-5389 PBS_JOBID= 14643807 Free space on /tmp= 70652 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh16_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753809-1339201629/watcher-3753809-1339201629 -o /tmp/evaluation-result-3753809-1339201629/solver-3753809-1339201629 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753809-1339201629.wbo 53341574 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8941aeee87a1a646f79f1fa97035d3b2 RANDOM SEED=53341574 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 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.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 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: 32873648 kB MemFree: 30039392 kB Buffers: 460192 kB Cached: 799616 kB SwapCached: 2000 kB Active: 1902064 kB Inactive: 36348 kB Active(anon): 666196 kB Inactive(anon): 8228 kB Active(file): 1235868 kB Inactive(file): 28120 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67103464 kB Dirty: 8564 kB Writeback: 0 kB AnonPages: 677532 kB Mapped: 11428 kB Shmem: 92 kB Slab: 757516 kB SReclaimable: 201736 kB SUnreclaim: 555780 kB KernelStack: 1496 kB PageTables: 5316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 915304 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 618496 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70804 MiB End job on node127 at 2012-06-09 02:36:08