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 | 547.788 | 549.832 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh214_wcsp.wbo |
| MD5SUM | 7b7f899ec609c9207642e3bd82d991a6 |
| 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 | 75 |
| Best CPU time to get the best result obtained on this benchmark | 0.013997 |
| 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 | 900 |
| Number of soft constraints | 800 |
| Number of constraints which are clauses | 800 |
| 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 | 394239 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 394238 |
| 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 3642 0.00/0.05 c fallback to adder encoding 1.75/1.84 o 3612 1.75/1.84 c fallback to adder encoding 5.13/5.22 o 3608 5.13/5.22 c fallback to adder encoding 9.97/10.06 o 3600 9.97/10.06 c fallback to adder encoding 11.70/11.93 o 3594 11.70/11.93 c fallback to adder encoding 16.12/16.30 o 3590 16.12/16.30 c fallback to adder encoding 18.10/18.33 o 3584 18.10/18.33 c fallback to adder encoding 23.62/23.85 o 3552 23.62/23.85 c fallback to adder encoding 24.82/25.07 o 3550 24.82/25.07 c fallback to adder encoding 27.00/27.21 o 3545 27.00/27.21 c fallback to adder encoding 36.13/36.37 o 3537 36.13/36.37 c fallback to adder encoding 40.29/40.55 o 3536 40.29/40.55 c fallback to adder encoding 48.25/48.51 o 3525 48.25/48.51 c fallback to adder encoding 49.96/50.22 o 3522 49.96/50.22 c fallback to adder encoding 53.09/53.38 o 3405 53.09/53.38 c fallback to adder encoding 56.77/57.02 o 3267 56.77/57.02 c fallback to adder encoding 60.08/60.32 o 3266 60.08/60.32 c fallback to adder encoding 62.59/62.87 o 3265 62.59/62.87 c fallback to adder encoding 65.41/65.66 o 3262 65.41/65.66 c fallback to adder encoding 67.81/68.05 o 3240 67.81/68.05 c fallback to adder encoding 69.38/69.64 o 3215 69.38/69.64 c fallback to adder encoding 72.79/73.09 o 3197 72.79/73.09 c fallback to adder encoding 75.99/76.25 o 3196 75.99/76.25 c fallback to adder encoding 79.30/79.57 o 3185 79.30/79.57 c fallback to adder encoding 84.51/84.78 o 3184 84.51/84.78 c fallback to adder encoding 87.86/88.12 o 3183 87.86/88.12 c fallback to adder encoding 89.80/90.07 o 3177 89.80/90.07 c fallback to adder encoding 95.49/95.76 o 3144 95.49/95.76 c fallback to adder encoding 97.38/97.69 o 3136 97.38/97.69 c fallback to adder encoding 100.42/100.81 o 3132 100.42/100.81 c fallback to adder encoding 103.04/103.42 o 3117 103.04/103.42 c fallback to adder encoding 106.72/107.11 o 3114 106.72/107.11 c fallback to adder encoding 108.34/108.72 o 3107 108.34/108.72 c fallback to adder encoding 110.26/110.65 o 3104 110.26/110.65 c fallback to adder encoding 112.76/113.18 o 3096 112.76/113.18 c fallback to adder encoding 115.45/115.83 o 3089 115.45/115.83 c fallback to adder encoding 117.85/118.23 o 3088 117.85/118.23 c fallback to adder encoding 120.35/120.73 o 3083 120.35/120.73 c fallback to adder encoding 124.04/124.44 o 3081 124.04/124.44 c fallback to adder encoding 125.17/125.58 o 3079 125.17/125.58 c fallback to adder encoding 128.66/129.05 o 3076 128.66/129.05 c fallback to adder encoding 131.36/131.76 o 3025 131.36/131.76 c fallback to adder encoding 133.47/133.86 o 3014 133.47/133.86 c fallback to adder encoding 138.37/138.77 o 3010 138.37/138.77 c fallback to adder encoding 142.86/143.29 o 3009 142.86/143.29 c fallback to adder encoding 145.77/146.17 o 2919 145.77/146.17 c fallback to adder encoding 147.56/147.97 o 2908 147.56/147.97 c fallback to adder encoding 150.02/150.42 o 2906 150.02/150.42 c fallback to adder encoding 152.87/153.33 o 2902 152.87/153.33 c fallback to adder encoding 154.53/155.01 o 2889 154.53/155.01 c fallback to adder encoding 156.72/157.23 o 2863 156.72/157.23 c fallback to adder encoding 158.79/159.32 o 2854 158.79/159.32 c fallback to adder encoding 161.45/162.00 o 2840 161.45/162.00 c fallback to adder encoding 165.51/166.00 o 2827 165.51/166.00 c fallback to adder encoding 167.88/168.43 o 2818 167.88/168.43 c fallback to adder encoding 170.69/171.27 o 2782 170.69/171.27 c fallback to adder encoding 173.99/174.54 o 2751 173.99/174.54 c fallback to adder encoding 175.89/176.45 o 2749 175.89/176.45 c fallback to adder encoding 179.10/179.66 o 2712 179.10/179.66 c fallback to adder encoding 187.69/188.25 o 2707 187.69/188.25 c fallback to adder encoding 193.87/194.43 o 2706 193.87/194.43 c fallback to adder encoding 196.98/197.58 o 2705 196.98/197.58 c fallback to adder encoding 198.04/198.69 o 2684 198.04/198.69 c fallback to adder encoding 200.15/200.86 o 2675 200.15/200.86 c fallback to adder encoding 202.53/203.27 o 2669 202.53/203.27 c fallback to adder encoding 205.13/205.87 o 2662 205.13/205.87 c fallback to adder encoding 209.26/210.07 o 2554 209.26/210.07 c fallback to adder encoding 215.48/216.36 o 2521 215.48/216.36 c fallback to adder encoding 219.97/220.89 o 2512 219.97/220.89 c fallback to adder encoding 222.92/223.80 o 2298 222.92/223.80 c fallback to adder encoding 225.14/226.01 o 2196 225.14/226.01 c fallback to adder encoding 228.08/228.98 o 2184 228.08/228.98 c fallback to adder encoding 230.38/231.28 o 2176 230.38/231.28 c fallback to adder encoding 232.65/233.52 o 2166 232.65/233.52 c fallback to adder encoding 235.59/236.46 o 2163 235.59/236.46 c fallback to adder encoding 239.07/239.93 o 2161 239.07/239.93 c fallback to adder encoding 243.19/244.00 o 2160 243.19/244.00 c fallback to adder encoding 246.75/247.62 o 2159 246.75/247.62 c fallback to adder encoding 248.68/249.57 o 2158 248.68/249.57 c fallback to adder encoding 255.38/256.22 o 2156 255.38/256.22 c fallback to adder encoding 260.55/261.44 o 2147 260.55/261.44 c fallback to adder encoding 263.11/264.01 o 2146 263.11/264.01 c fallback to adder encoding 266.04/266.92 o 2145 266.04/266.92 c fallback to adder encoding 268.86/269.74 o 2110 268.86/269.74 c fallback to adder encoding 272.62/273.50 o 2100 272.62/273.50 c fallback to adder encoding 277.07/277.98 o 2088 277.07/277.98 c fallback to adder encoding 280.18/281.09 o 2085 280.18/281.09 c fallback to adder encoding 283.63/284.53 o 2076 283.63/284.53 c fallback to adder encoding 288.82/289.71 o 2071 288.82/289.71 c fallback to adder encoding 291.03/291.93 o 2065 291.03/291.93 c fallback to adder encoding 293.21/294.11 o 2058 293.21/294.11 c fallback to adder encoding 294.65/295.57 o 2055 294.65/295.57 c fallback to adder encoding 298.72/299.69 o 2048 298.72/299.69 c fallback to adder encoding 302.01/303.05 o 2028 302.01/303.05 c fallback to adder encoding 304.06/305.11 o 2019 304.06/305.11 c fallback to adder encoding 304.99/306.03 o 2016 304.99/306.03 c fallback to adder encoding 309.57/310.61 o 2015 309.57/310.61 c fallback to adder encoding 311.82/312.85 o 2013 311.82/312.85 c fallback to adder encoding 315.71/316.71 o 2007 315.71/316.71 c fallback to adder encoding 320.22/321.20 o 2004 320.22/321.20 c fallback to adder encoding 324.58/325.63 o 2000 324.58/325.63 c fallback to adder encoding 326.69/327.79 o 1987 326.69/327.79 c fallback to adder encoding 331.50/332.59 o 1986 331.50/332.59 c fallback to adder encoding 333.38/334.45 o 1985 333.38/334.45 c fallback to adder encoding 334.57/335.66 o 1984 334.57/335.66 c fallback to adder encoding 336.84/337.91 o 1983 336.84/337.91 c fallback to adder encoding 338.28/339.36 o 1976 338.28/339.36 c fallback to adder encoding 342.28/343.35 o 1971 342.28/343.35 c fallback to adder encoding 343.35/344.44 o 1965 343.35/344.44 c fallback to adder encoding 345.63/346.71 o 1964 345.63/346.71 c fallback to adder encoding 347.36/348.48 o 1940 347.36/348.48 c fallback to adder encoding 350.42/351.57 o 1888 350.42/351.57 c fallback to adder encoding 352.20/353.32 o 1871 352.20/353.32 c fallback to adder encoding 354.27/355.42 o 1852 354.27/355.42 c fallback to adder encoding 357.04/358.21 o 1848 357.04/358.21 c fallback to adder encoding 361.89/363.05 o 1794 361.89/363.05 c fallback to adder encoding 364.58/365.74 o 1730 364.58/365.74 c fallback to adder encoding 367.89/369.06 o 1729 367.89/369.06 c fallback to adder encoding 373.44/374.61 o 1728 373.44/374.61 c fallback to adder encoding 377.57/378.78 o 1724 377.57/378.78 c fallback to adder encoding 379.68/380.87 o 1719 379.68/380.87 c fallback to adder encoding 383.79/384.92 o 1716 383.79/384.92 c fallback to adder encoding 385.55/386.73 o 1710 385.55/386.73 c fallback to adder encoding 387.35/388.52 o 1706 387.35/388.52 c fallback to adder encoding 391.58/392.78 o 1704 391.58/392.78 c fallback to adder encoding 392.66/393.85 o 1687 392.66/393.85 c fallback to adder encoding 395.05/396.35 o 1674 395.05/396.35 c fallback to adder encoding 397.82/399.12 o 1672 397.82/399.12 c fallback to adder encoding 401.15/402.46 o 1664 401.15/402.46 c fallback to adder encoding 402.37/403.64 o 1655 402.37/403.64 c fallback to adder encoding 404.04/405.38 o 1636 404.04/405.38 c fallback to adder encoding 405.66/406.93 o 1626 405.66/406.93 c fallback to adder encoding 407.86/409.18 o 1617 407.86/409.18 c fallback to adder encoding 409.36/410.65 o 1616 409.36/410.65 c fallback to adder encoding 412.58/413.97 o 1613 412.58/413.97 c fallback to adder encoding 414.80/416.28 o 1609 414.80/416.28 c fallback to adder encoding 416.71/418.19 o 1600 416.71/418.19 c fallback to adder encoding 417.79/419.25 o 1553 417.79/419.25 c fallback to adder encoding 420.29/421.76 o 1536 420.29/421.76 c fallback to adder encoding 422.60/424.07 o 1529 422.60/424.07 c fallback to adder encoding 424.70/426.17 o 1528 424.70/426.17 c fallback to adder encoding 426.40/427.86 o 1491 426.40/427.86 c fallback to adder encoding 427.77/429.22 o 1485 427.77/429.22 c fallback to adder encoding 429.41/430.86 o 1443 429.41/430.86 c fallback to adder encoding 430.97/432.43 o 1440 430.97/432.43 c fallback to adder encoding 433.44/434.91 o 1439 433.44/434.91 c fallback to adder encoding 435.70/437.19 o 1436 435.70/437.19 c fallback to adder encoding 438.60/440.06 o 1432 438.60/440.06 c fallback to adder encoding 442.56/444.01 o 1414 442.56/444.01 c fallback to adder encoding 444.76/446.21 o 1413 444.76/446.21 c fallback to adder encoding 446.70/448.15 o 1409 446.70/448.15 c fallback to adder encoding 448.85/450.32 o 1401 448.85/450.32 c fallback to adder encoding 450.82/452.33 o 1389 450.82/452.33 c fallback to adder encoding 452.63/454.18 o 1388 452.63/454.18 c fallback to adder encoding 456.73/458.26 o 1371 456.73/458.26 c fallback to adder encoding 459.43/461.08 o 1366 459.43/461.08 c fallback to adder encoding 462.10/463.83 o 1364 462.10/463.83 c fallback to adder encoding 466.70/468.42 o 1361 466.70/468.42 c fallback to adder encoding 469.45/471.26 o 1353 469.45/471.26 c fallback to adder encoding 471.08/473.00 o 1330 471.08/473.00 c fallback to adder encoding 472.45/474.32 o 1324 472.45/474.32 c fallback to adder encoding 474.90/476.79 o 1319 474.90/476.79 c fallback to adder encoding 477.45/479.37 o 1318 477.45/479.37 c fallback to adder encoding 479.51/481.42 o 1312 479.51/481.42 c fallback to adder encoding 482.12/484.04 o 1311 482.12/484.04 c fallback to adder encoding 485.25/487.19 o 1310 485.25/487.19 c fallback to adder encoding 487.90/489.81 o 1298 487.90/489.81 c fallback to adder encoding 495.85/497.77 o 1292 495.85/497.77 c fallback to adder encoding 497.15/499.07 o 1286 497.15/499.07 c fallback to adder encoding 499.21/501.13 o 1268 499.21/501.13 c fallback to adder encoding 500.93/502.88 o 1264 500.93/502.88 c fallback to adder encoding 504.48/506.43 o 1255 504.48/506.43 c fallback to adder encoding 507.42/509.31 o 1243 507.42/509.31 c fallback to adder encoding 508.80/510.78 o 1226 508.80/510.78 c fallback to adder encoding 511.99/513.96 o 1217 511.99/513.96 c fallback to adder encoding 514.08/516.03 o 1216 514.08/516.03 c fallback to adder encoding 516.01/517.90 o 1207 516.01/517.90 c fallback to adder encoding 516.51/518.45 o 840 516.51/518.45 c fallback to adder encoding 517.48/519.43 o 818 517.48/519.43 c fallback to adder encoding 519.09/521.07 o 816 519.09/521.07 c fallback to adder encoding 520.62/522.58 o 813 520.62/522.58 c fallback to adder encoding 522.01/523.97 o 811 522.01/523.97 c fallback to adder encoding 522.90/524.84 o 810 522.90/524.84 c fallback to adder encoding 525.39/527.37 o 791 525.39/527.37 c fallback to adder encoding 526.69/528.65 o 595 526.69/528.65 c fallback to adder encoding 527.28/529.27 o 585 527.28/529.27 c fallback to adder encoding 527.41/530.05 o 583 527.41/530.05 c fallback to adder encoding 528.87/530.83 o 576 528.87/530.83 c fallback to adder encoding 529.66/531.66 o 574 529.66/531.66 c fallback to adder encoding 530.66/532.61 o 573 530.66/532.61 c fallback to adder encoding 530.75/533.19 o 543 530.75/533.19 c fallback to adder encoding 531.77/533.80 o 541 531.77/533.80 c fallback to adder encoding 532.46/534.50 o 536 532.46/534.50 c fallback to adder encoding 532.51/535.27 o 535 532.51/535.27 c fallback to adder encoding 533.84/535.91 o 534 533.84/535.91 c fallback to adder encoding 533.92/536.26 o 533 533.92/536.26 c fallback to adder encoding 534.56/536.60 o 532 534.56/536.60 c fallback to adder encoding 535.45/537.55 o 528 535.45/537.55 c fallback to adder encoding 536.23/538.31 o 520 536.23/538.31 c fallback to adder encoding 537.05/539.16 o 517 537.05/539.16 c fallback to adder encoding 537.74/539.80 o 513 537.74/539.80 c fallback to adder encoding 538.46/540.54 o 504 538.46/540.54 c fallback to adder encoding 538.55/540.88 o 496 538.55/540.88 c fallback to adder encoding 539.77/541.85 o 493 539.77/541.85 c fallback to adder encoding 540.17/542.23 o 486 540.17/542.23 c fallback to adder encoding 540.24/542.56 o 485 540.24/542.56 c fallback to adder encoding 540.97/543.03 o 416 540.97/543.03 c fallback to adder encoding 541.37/543.45 o 413 541.37/543.45 c fallback to adder encoding 541.47/543.97 o 411 541.47/543.97 c fallback to adder encoding 541.99/544.28 o 407 541.99/544.28 c fallback to adder encoding 542.61/544.71 o 360 542.61/544.71 c fallback to adder encoding 542.68/544.86 o 356 542.68/544.86 c fallback to adder encoding 543.02/545.12 o 325 543.02/545.12 c fallback to adder encoding 543.08/545.33 o 318 543.08/545.33 c fallback to adder encoding 543.45/545.50 o 313 543.45/545.50 c fallback to adder encoding 543.47/545.68 o 306 543.47/545.68 c fallback to adder encoding 543.64/545.85 o 298 543.64/545.85 c fallback to adder encoding 543.93/546.01 o 289 543.93/546.01 c fallback to adder encoding 544.14/546.21 o 287 544.14/546.21 c fallback to adder encoding 544.34/546.41 o 281 544.34/546.41 c fallback to adder encoding 544.37/546.59 o 277 544.37/546.59 c fallback to adder encoding 544.55/546.89 o 272 544.55/546.89 c fallback to adder encoding 544.85/547.07 o 271 544.85/547.07 c fallback to adder encoding 545.03/547.26 o 269 545.03/547.26 c fallback to adder encoding 545.42/547.51 o 261 545.42/547.51 c fallback to adder encoding 545.62/547.79 o 256 545.62/547.79 c fallback to adder encoding 545.74/547.89 o 253 545.74/547.89 c fallback to adder encoding 545.83/547.99 o 251 545.83/547.99 c fallback to adder encoding 546.03/548.11 o 250 546.03/548.11 c fallback to adder encoding 546.23/548.31 o 246 546.23/548.31 c fallback to adder encoding 546.23/548.40 o 237 546.23/548.40 c fallback to adder encoding 546.43/548.50 o 227 546.43/548.50 c fallback to adder encoding 546.43/548.55 o 226 546.43/548.55 c fallback to adder encoding 546.51/548.64 o 224 546.51/548.64 c fallback to adder encoding 546.59/548.75 o 221 546.59/548.75 c fallback to adder encoding 546.73/548.84 o 218 546.73/548.84 c fallback to adder encoding 546.84/548.91 o 207 546.98/549.14 o 187 547.17/549.32 o 146 547.31/549.44 o 145 547.43/549.55 o 135 547.51/549.65 o 121 547.63/549.73 o 110 547.71/549.80 o 75 547.71/549.82 c display solution 547.71/549.82 s OPTIMUM FOUND 547.71/549.82 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 75
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-3753818-1339201079/watcher-3753818-1339201079 -o /tmp/evaluation-result-3753818-1339201079/solver-3753818-1339201079 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753818-1339201079.wbo 909428107 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.07 2.02 2.00 3/179 12971 /proc/meminfo: memFree=28880148/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [startup+0.0487819 s] /proc/loadavg: 2.07 2.02 2.00 3/179 12971 /proc/meminfo: memFree=28880148/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100241 s] /proc/loadavg: 2.07 2.02 2.00 3/179 12971 /proc/meminfo: memFree=28880148/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/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.07 2.02 2.00 3/179 12971 /proc/meminfo: memFree=28880148/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700215 s] /proc/loadavg: 2.07 2.02 2.00 3/179 12971 /proc/meminfo: memFree=28880148/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50032 s] /proc/loadavg: 2.07 2.02 2.00 3/183 12985 /proc/meminfo: memFree=28838060/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=0.13 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 3989 5907 0 0 10 2 1 0 20 0 1 0 386233984 20430848 4365 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12972/statm: 4988 4365 179 443 0 4541 0 [pid=12984] ppid=12972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12984/stat : 12984 (satsolver.sh) S 12972 12971 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386233999 9367552 267 33554432000 4194304 5064252 140736795207712 140736795206624 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/12984/statm: 2287 267 226 213 0 72 0 [pid=12985] ppid=12984 vsize=24408 CPUtime=1.33 cores=0,2,4,6 /proc/12985/stat : 12985 (glucose) R 12984 12971 3785 0 -1 4202496 5892 0 0 0 132 1 0 0 20 0 1 0 386234000 24993792 5130 33554432000 4194304 5208918 140734464861040 140734464858712 4213000 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12985/statm: 6102 5130 105 248 0 5851 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 62656 [startup+3.10032 s] /proc/loadavg: 2.07 2.02 2.00 3/183 12999 /proc/meminfo: memFree=28841100/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=1.91 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 6045 15621 0 0 20 2 166 3 20 0 1 0 386233984 20430848 4365 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12972/statm: 4988 4365 179 443 0 4541 0 [pid=12998] ppid=12972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12998/stat : 12998 (satsolver.sh) S 12972 12971 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386234179 9367552 267 33554432000 4194304 5064252 140734733550656 140734733549568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/12998/statm: 2287 267 226 213 0 72 0 [pid=12999] ppid=12998 vsize=24252 CPUtime=1.14 cores=0,2,4,6 /proc/12999/stat : 12999 (glucose) R 12998 12971 3785 0 -1 4202496 5787 0 0 0 113 1 0 0 20 0 1 0 386234179 24834048 5028 33554432000 4194304 5208918 140735934237312 140735934235464 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12999/statm: 6063 5028 105 248 0 5812 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 62500 [startup+6.30039 s] /proc/loadavg: 2.07 2.02 2.00 3/183 13006 /proc/meminfo: memFree=28840356/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=5.3 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 8101 25608 0 0 30 3 490 7 20 0 1 0 386233984 20430848 4365 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12972/statm: 4988 4365 179 443 0 4541 0 [pid=13005] ppid=12972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13005/stat : 13005 (satsolver.sh) S 12972 12971 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386234516 9367552 267 33554432000 4194304 5064252 140737327950352 140737327949264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/13005/statm: 2287 267 226 213 0 72 0 [pid=13006] ppid=13005 vsize=21400 CPUtime=0.96 cores=0,2,4,6 /proc/13006/stat : 13006 (glucose) R 13005 12971 3785 0 -1 4202496 5608 0 0 0 95 1 0 0 20 0 1 0 386234517 21913600 4858 33554432000 4194304 5208918 140735547926704 140735547924552 4211176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13006/statm: 5350 4858 104 248 0 5099 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 59648 [startup+12.7002 s] /proc/loadavg: 2.06 2.02 2.00 3/181 13039 /proc/meminfo: memFree=28863864/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=11.87 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 12213 43698 0 0 48 5 1117 17 20 0 1 0 386233984 20430848 4365 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0 /proc/12972/statm: 4988 4365 179 443 0 4541 0 Current children cumulated CPU time (s) 11.87 Current children cumulated vsize (KiB) 29100 [startup+25.5002 s] /proc/loadavg: 2.05 2.01 2.00 3/183 13083 /proc/meminfo: memFree=28850140/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=25.03 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 20437 79015 0 0 87 9 2373 34 20 0 1 0 386233984 20430848 4365 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0 /proc/12972/statm: 4988 4365 179 443 0 4541 0 [pid=13082] ppid=12972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13082/stat : 13082 (satsolver.sh) S 12972 12971 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386236502 9367552 267 33554432000 4194304 5064252 140735083095904 140735083094816 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/13082/statm: 2287 267 226 213 0 72 0 [pid=13083] ppid=13082 vsize=20920 CPUtime=0.31 cores=0,2,4,6 /proc/13083/stat : 13083 (glucose) R 13082 12971 3785 0 -1 4202496 5415 0 0 0 30 1 0 0 20 0 1 0 386236502 21422080 4665 33554432000 4194304 5208918 140736641988144 140735083094840 4211141 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13083/statm: 5230 4665 104 248 0 4979 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 59168 [startup+51.1002 s] /proc/loadavg: 2.03 2.01 2.00 3/183 13174 /proc/meminfo: memFree=28837796/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=50.13 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 30717 126730 0 0 134 13 4809 57 20 0 1 0 386233984 20430848 4365 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0 /proc/12972/statm: 4988 4365 179 443 0 4541 0 [pid=13173] ppid=12972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13173/stat : 13173 (satsolver.sh) S 12972 12971 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386239016 9367552 267 33554432000 4194304 5064252 140734095393792 140734095392704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/13173/statm: 2287 267 226 213 0 72 0 [pid=13174] ppid=13173 vsize=20592 CPUtime=0.76 cores=0,2,4,6 /proc/13174/stat : 13174 (glucose) R 13173 12971 3785 0 -1 4202496 5056 0 0 0 75 1 0 0 20 0 1 0 386239017 21086208 4601 33554432000 4194304 5208918 140735323481536 140735323479384 4211049 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13174/statm: 5148 4601 104 248 0 4897 0 Current children cumulated CPU time (s) 50.89 Current children cumulated vsize (KiB) 58840 [startup+102.307 s] /proc/loadavg: 2.01 2.01 2.00 3/183 13356 /proc/meminfo: memFree=28837752/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=100.6 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 63613 275086 0 0 288 28 9611 133 20 0 1 0 386233984 20430848 4365 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0 /proc/12972/statm: 4988 4365 179 443 0 4541 0 [pid=13351] ppid=12972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13351/stat : 13351 (satsolver.sh) S 12972 12971 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386244076 9367552 267 33554432000 4194304 5064252 140734338884544 140734338883456 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/13351/statm: 2287 267 226 213 0 72 0 [pid=13352] ppid=13351 vsize=24128 CPUtime=1.38 cores=0,2,4,6 /proc/13352/stat : 13352 (glucose) R 13351 12971 3785 0 -1 4202496 5370 0 0 0 137 1 0 0 20 0 1 0 386244076 24707072 4941 33554432000 4194304 5208918 140737104362480 140737104360328 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13352/statm: 6032 4941 105 248 0 5781 0 Current children cumulated CPU time (s) 101.98 Current children cumulated vsize (KiB) 62376 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 13576 /proc/meminfo: memFree=28833716/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=161.63 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 110901 485676 0 0 508 49 15367 239 20 0 1 0 386233984 20430848 4365 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0 /proc/12972/statm: 4988 4365 179 443 0 4541 0 Current children cumulated CPU time (s) 161.63 Current children cumulated vsize (KiB) 29100 [startup+222.3 s] /proc/loadavg: 1.94 1.98 1.99 3/182 13793 /proc/meminfo: memFree=28838068/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/14227/statm: 2287 267 226 213 0 72 0 [pid=14228] ppid=14227 vsize=22756 CPUtime=2.82 cores=0,2,4,6 /proc/14228/stat : 14228 (glucose) R 14227 12971 3785 0 -1 4202496 5600 0 0 0 282 0 0 0 20 0 1 0 386267930 23302144 4985 33554432000 4194304 5208918 140737198401920 140737198399672 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/14228/statm: 5689 4985 104 248 0 5438 0 Current children cumulated CPU time (s) 341.27 Current children cumulated vsize (KiB) 61004 [startup+402.3 s] /proc/loadavg: 1.96 1.99 1.99 3/183 14452 /proc/meminfo: memFree=28838392/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=397.98 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 265101 1160257 0 0 1190 117 37903 588 20 0 1 0 386233984 20430848 4366 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/12972/statm: 4988 4366 179 443 0 4541 0 [pid=14451] ppid=12972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/14451/stat : 14451 (satsolver.sh) S 12972 12971 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386273905 9367552 266 33554432000 4194304 5064252 140735010823232 140735010822144 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14451/statm: 2287 266 226 213 0 72 0 [pid=14452] ppid=14451 vsize=22928 CPUtime=3.06 cores=0,2,4,6 /proc/14452/stat : 14452 (glucose) R 14451 12971 3785 0 -1 4202496 5115 0 0 0 305 1 0 0 20 0 1 0 386273906 23478272 5240 33554432000 4194304 5208918 140733585462192 140733585460344 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/14452/statm: 5732 5240 104 248 0 5481 0 Current children cumulated CPU time (s) 401.04 Current children cumulated vsize (KiB) 61176 [startup+462.3 s] /proc/loadavg: 1.98 1.99 1.99 3/183 14718 /proc/meminfo: memFree=28840792/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=459.51 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 322669 1407634 0 0 1429 140 43668 714 20 0 1 0 386233984 20430848 4366 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/12972/statm: 4988 4366 179 443 0 4541 0 [pid=14717] ppid=12972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/14717/stat : 14717 (satsolver.sh) S 12972 12971 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386280101 9367552 267 33554432000 4194304 5064252 140734426802512 140734426801424 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14717/statm: 2287 267 226 213 0 72 0 [pid=14718] ppid=14717 vsize=19544 CPUtime=1.11 cores=0,2,4,6 /proc/14718/stat : 14718 (glucose) R 14717 12971 3785 0 -1 4202496 4949 0 0 0 110 1 0 0 20 0 1 0 386280102 20013056 4485 33554432000 4194304 5208918 140735001250320 140735001248168 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/14718/statm: 4886 4485 104 248 0 4635 0 Current children cumulated CPU time (s) 460.62 Current children cumulated vsize (KiB) 57792 [startup+522.3 s] /proc/loadavg: 1.99 1.99 1.99 3/183 14963 /proc/meminfo: memFree=28846280/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=519.27 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 371092 1612887 0 0 1627 161 49319 820 20 0 1 0 386233984 20430848 4366 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/12972/statm: 4988 4366 179 443 0 4541 0 [pid=14962] ppid=12972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/14962/stat : 14962 (satsolver.sh) S 12972 12971 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386286098 9367552 266 33554432000 4194304 5064252 140737367935984 140737367934896 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14962/statm: 2287 266 226 213 0 72 0 [pid=14963] ppid=14962 vsize=16696 CPUtime=1.14 cores=0,2,4,6 /proc/14963/stat : 14963 (glucose) R 14962 12971 3785 0 -1 4202496 3807 0 0 0 114 0 0 0 20 0 1 0 386286098 17096704 3604 33554432000 4194304 5208918 140734534253168 140734534251016 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/14963/statm: 4174 3604 105 248 0 3923 0 Current children cumulated CPU time (s) 520.41 Current children cumulated vsize (KiB) 54944 Solver just ended. Dumping a history of the last processes samples [startup+524.707 s] /proc/loadavg: 1.91 1.97 1.99 3/182 14984 /proc/meminfo: memFree=28846900/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=522.16 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 374566 1626339 0 0 1639 162 49588 827 20 0 1 0 386233984 20430848 4366 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/12972/statm: 4988 4366 179 443 0 4541 0 [pid=14983] ppid=12972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/14983/stat : 14983 (satsolver.sh) S 12972 12971 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386286388 9367552 267 33554432000 4194304 5064252 140736334137920 140736334136832 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14983/statm: 2287 267 226 213 0 72 0 [pid=14984] ppid=14983 vsize=16544 CPUtime=0.65 cores=0,2,4,6 /proc/14984/stat : 14984 (glucose) R 14983 12971 3785 0 -1 4202496 3730 0 0 0 65 0 0 0 20 0 1 0 386286388 16941056 3570 33554432000 4194304 5208918 140737479499040 140736334136856 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/14984/statm: 4136 3570 105 248 0 3885 0 Current children cumulated CPU time (s) 522.81 Current children cumulated vsize (KiB) 54792 [startup+537.5 s] /proc/loadavg: 1.85 1.96 1.98 3/183 15104 /proc/meminfo: memFree=28850752/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=534.61 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 398040 1722558 0 0 1706 171 50714 870 20 0 1 0 386233984 20430848 4366 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/12972/statm: 4988 4366 179 443 0 4541 0 [pid=15103] ppid=12972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15103/stat : 15103 (satsolver.sh) S 12972 12971 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386287648 9367552 267 33554432000 4194304 5064252 140733962979616 140733962978528 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15103/statm: 2287 267 226 213 0 72 0 [pid=15104] ppid=15103 vsize=11804 CPUtime=0.84 cores=0,2,4,6 /proc/15104/stat : 15104 (glucose) R 15103 12971 3785 0 -1 4202496 2360 0 0 0 84 0 0 0 20 0 1 0 386287648 12087296 2640 33554432000 4194304 5208918 140736568268656 140736568266488 4211182 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/15104/statm: 2951 2640 104 248 0 2700 0 Current children cumulated CPU time (s) 535.45 Current children cumulated vsize (KiB) 50052 [startup+543.9 s] /proc/loadavg: 1.87 1.96 1.98 3/183 15181 /proc/meminfo: memFree=28856156/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=541.47 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 414140 1786765 0 0 1746 176 51326 899 20 0 1 0 386233984 20430848 4366 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/12972/statm: 4988 4366 179 443 0 4541 0 Current children cumulated CPU time (s) 541.47 Current children cumulated vsize (KiB) 29100 [startup+547.1 s] /proc/loadavg: 1.87 1.96 1.98 3/181 15284 /proc/meminfo: memFree=28865336/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=545.03 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 428727 1864583 0 0 1778 181 51618 926 20 0 1 0 386233984 20430848 4366 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0 /proc/12972/statm: 4988 4366 179 443 0 4541 0 Current children cumulated CPU time (s) 545.03 Current children cumulated vsize (KiB) 29100 [startup+548.7 s] /proc/loadavg: 1.88 1.96 1.98 3/183 15314 /proc/meminfo: memFree=28858772/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=546.59 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 435718 1916423 0 0 1793 183 51743 940 20 0 1 0 386233984 20430848 4366 33554432000 4194304 6006132 140735266843472 140735266834864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0 /proc/12972/statm: 4988 4366 179 443 0 4541 0 Current children cumulated CPU time (s) 546.59 Current children cumulated vsize (KiB) 29100 [startup+549.5 s] /proc/loadavg: 1.88 1.96 1.98 3/183 15384 /proc/meminfo: memFree=28858880/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=547.43 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 440287 1955036 0 0 1804 184 51795 960 20 0 1 0 386233984 20430848 4367 33554432000 4194304 6006132 140735266843472 140735266834352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0 /proc/12972/statm: 4988 4367 180 443 0 4541 0 Current children cumulated CPU time (s) 547.43 Current children cumulated vsize (KiB) 29100 [startup+549.7 s] /proc/loadavg: 1.88 1.96 1.98 3/183 15384 /proc/meminfo: memFree=28858880/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=547.63 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 441414 1965832 0 0 1806 185 51806 966 20 0 1 0 386233984 20430848 4367 33554432000 4194304 6006132 140735266843472 140735266834352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0 /proc/12972/statm: 4988 4367 180 443 0 4541 0 Current children cumulated CPU time (s) 547.63 Current children cumulated vsize (KiB) 29100 [startup+549.8 s] /proc/loadavg: 1.88 1.96 1.98 3/183 15384 /proc/meminfo: memFree=28858880/32873648 swapFree=6860/6860 [pid=12971] ppid=12969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12971/stat : 12971 (npSolver-wbo-It) S 12969 12971 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386233984 9367552 275 33554432000 4194304 5064252 140736462263968 140736462262880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12971/statm: 2287 275 233 213 0 72 0 [pid=12972] ppid=12971 vsize=19952 CPUtime=547.71 cores=0,2,4,6 /proc/12972/stat : 12972 (npSolver-wbo) S 12971 12971 3785 0 -1 4202496 441913 1970562 0 0 1807 185 51810 969 20 0 1 0 386233984 20430848 4367 33554432000 4194304 6006132 140735266843472 140735266834352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0 /proc/12972/statm: 4988 4367 180 443 0 4541 0 Current children cumulated CPU time (s) 547.71 Current children cumulated vsize (KiB) 29100 Child status: 0 Real time (s): 549.832 CPU time (s): 547.788 CPU user time (s): 536.202 CPU system time (s): 11.5852 CPU usage (%): 99.6282 Max. virtual memory (cumulated for all children) (KiB): 67392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 536.202 system time used= 11.5852 maximum resident set size= 29640 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2420186 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2363520 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12287 involuntary context switches= 3307 runsolver used 0.855869 second user time and 2.34064 second system time The end
Begin job on node116 at 2012-06-09 02:17:59 IDJOB=3753818 IDBENCH=79403 IDSOLVER=2337 FILE ID=node116/3753818-1339201079 RUNJOBID= node116-1339183089-5111 PBS_JOBID= 14643838 Free space on /tmp= 70888 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh214_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753818-1339201079/watcher-3753818-1339201079 -o /tmp/evaluation-result-3753818-1339201079/solver-3753818-1339201079 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753818-1339201079.wbo 909428107 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7b7f899ec609c9207642e3bd82d991a6 RANDOM SEED=909428107 node116.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.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 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.556 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.556 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 : 5438.54 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.556 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.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 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.92 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.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 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: 28880660 kB Buffers: 490480 kB Cached: 2534104 kB SwapCached: 3172 kB Active: 1219268 kB Inactive: 1856432 kB Active(anon): 47496 kB Inactive(anon): 3396 kB Active(file): 1171772 kB Inactive(file): 1853036 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67100548 kB Dirty: 15156 kB Writeback: 16 kB AnonPages: 52624 kB Mapped: 11732 kB Shmem: 0 kB Slab: 779336 kB SReclaimable: 223216 kB SUnreclaim: 556120 kB KernelStack: 1512 kB PageTables: 4392 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 171272 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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= 70888 MiB End job on node116 at 2012-06-09 02:27:09