Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topDown | OPTIMUM | 546.544 | 546.844 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh07_wcsp.wbo |
MD5SUM | 124b6775b7bb4e390bc62510a681a702 |
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 | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.004998 |
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 | 10 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 9 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 19 |
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 7615 0.00/0.05 c fallback to adder encoding 2.46/2.54 o 7607 2.46/2.54 c fallback to adder encoding 3.96/4.09 o 7599 3.96/4.09 c fallback to adder encoding 5.84/5.91 o 7587 5.84/5.91 c fallback to adder encoding 7.36/7.46 o 7584 7.36/7.46 c fallback to adder encoding 8.35/8.42 o 7582 8.35/8.42 c fallback to adder encoding 10.16/10.29 o 7577 10.16/10.29 c fallback to adder encoding 11.36/11.49 o 7569 11.36/11.49 c fallback to adder encoding 12.76/12.87 o 7567 12.76/12.87 c fallback to adder encoding 14.20/14.36 o 7554 14.20/14.36 c fallback to adder encoding 16.03/16.28 o 7553 16.03/16.28 c fallback to adder encoding 16.21/18.65 o 7512 16.21/18.65 c fallback to adder encoding 20.21/20.40 o 7452 20.21/20.40 c fallback to adder encoding 21.75/21.96 o 7449 21.75/21.96 c fallback to adder encoding 23.71/23.91 o 7178 23.71/23.91 c fallback to adder encoding 25.30/25.50 o 7169 25.30/25.50 c fallback to adder encoding 26.92/27.18 o 5446 26.92/27.18 c fallback to adder encoding 28.44/28.67 o 5440 28.44/28.67 c fallback to adder encoding 30.24/30.44 o 5431 30.24/30.44 c fallback to adder encoding 31.46/31.78 o 5429 31.46/31.78 c fallback to adder encoding 33.94/34.23 o 5421 33.94/34.23 c fallback to adder encoding 36.06/36.35 o 5419 36.06/36.35 c fallback to adder encoding 38.13/38.44 o 5418 38.13/38.44 c fallback to adder encoding 41.03/41.34 o 5407 41.03/41.34 c fallback to adder encoding 42.37/42.73 o 5400 42.37/42.73 c fallback to adder encoding 43.36/43.73 o 5392 43.36/43.73 c fallback to adder encoding 45.57/45.94 o 5388 45.57/45.94 c fallback to adder encoding 47.27/47.66 o 5378 47.27/47.66 c fallback to adder encoding 48.47/48.86 o 5376 48.47/48.86 c fallback to adder encoding 51.36/51.73 o 5368 51.36/51.73 c fallback to adder encoding 53.15/53.52 o 5362 53.15/53.52 c fallback to adder encoding 56.18/56.50 o 5358 56.18/56.50 c fallback to adder encoding 57.69/58.08 o 5350 57.69/58.08 c fallback to adder encoding 59.53/59.94 o 5339 59.53/59.94 c fallback to adder encoding 62.34/62.77 o 5325 62.34/62.77 c fallback to adder encoding 63.93/64.36 o 5321 63.93/64.36 c fallback to adder encoding 65.64/66.08 o 5311 65.64/66.08 c fallback to adder encoding 67.42/67.86 o 5303 67.42/67.86 c fallback to adder encoding 68.74/69.18 o 5277 68.74/69.18 c fallback to adder encoding 71.53/71.95 o 5276 71.53/71.95 c fallback to adder encoding 73.92/74.32 o 5270 73.92/74.32 c fallback to adder encoding 75.43/75.83 o 5256 75.43/75.83 c fallback to adder encoding 77.74/78.16 o 5248 77.74/78.16 c fallback to adder encoding 80.38/80.89 o 5245 80.38/80.89 c fallback to adder encoding 82.51/83.02 o 5238 82.51/83.02 c fallback to adder encoding 84.62/85.19 o 5235 84.62/85.19 c fallback to adder encoding 87.72/88.26 o 5229 87.72/88.26 c fallback to adder encoding 88.91/89.45 o 5220 88.91/89.45 c fallback to adder encoding 91.12/91.69 o 5219 91.12/91.69 c fallback to adder encoding 92.93/93.42 o 5207 92.93/93.42 c fallback to adder encoding 93.78/94.30 o 5176 93.78/94.30 c fallback to adder encoding 96.52/97.04 o 5173 96.52/97.04 c fallback to adder encoding 98.66/99.21 o 5166 98.66/99.21 c fallback to adder encoding 100.79/101.37 o 5165 100.79/101.37 c fallback to adder encoding 101.99/102.56 o 5159 101.99/102.56 c fallback to adder encoding 104.08/104.63 o 5145 104.08/104.63 c fallback to adder encoding 105.99/106.56 o 5141 105.99/106.56 c fallback to adder encoding 107.69/108.29 o 5122 107.69/108.29 c fallback to adder encoding 108.79/109.32 o 5120 108.79/109.32 c fallback to adder encoding 109.99/110.53 o 5112 109.99/110.53 c fallback to adder encoding 111.36/111.92 o 5110 111.36/111.92 c fallback to adder encoding 112.55/113.22 o 5076 112.55/113.22 c fallback to adder encoding 114.72/115.41 o 5075 114.72/115.41 c fallback to adder encoding 116.13/116.83 o 5065 116.13/116.83 c fallback to adder encoding 117.13/117.88 o 5047 117.13/117.88 c fallback to adder encoding 119.00/119.71 o 5045 119.00/119.71 c fallback to adder encoding 120.84/121.57 o 5038 120.84/121.57 c fallback to adder encoding 123.64/124.34 o 5031 123.64/124.34 c fallback to adder encoding 125.23/125.95 o 5028 125.23/125.95 c fallback to adder encoding 127.42/128.12 o 5025 127.42/128.12 c fallback to adder encoding 128.33/129.05 o 5018 128.33/129.05 c fallback to adder encoding 129.64/130.34 o 5011 129.64/130.34 c fallback to adder encoding 131.82/132.52 o 4994 131.82/132.52 c fallback to adder encoding 132.94/133.64 o 4992 132.94/133.64 c fallback to adder encoding 135.15/135.89 o 4979 135.15/135.89 c fallback to adder encoding 136.60/137.31 o 4968 136.60/137.31 c fallback to adder encoding 138.21/138.95 o 4957 138.21/138.95 c fallback to adder encoding 140.12/140.88 o 4954 140.12/140.88 c fallback to adder encoding 141.78/142.58 o 4950 141.78/142.58 c fallback to adder encoding 144.37/145.19 o 4940 144.37/145.19 c fallback to adder encoding 146.29/147.08 o 4933 146.29/147.08 c fallback to adder encoding 147.69/148.50 o 4932 147.69/148.50 c fallback to adder encoding 149.34/150.10 o 4656 149.34/150.10 c fallback to adder encoding 150.88/151.68 o 4653 150.88/151.68 c fallback to adder encoding 152.09/152.90 o 4642 152.09/152.90 c fallback to adder encoding 155.58/156.38 o 4637 155.58/156.38 c fallback to adder encoding 157.37/158.12 o 4635 157.37/158.12 c fallback to adder encoding 159.96/160.71 o 4634 159.96/160.71 c fallback to adder encoding 162.30/163.05 o 4632 162.30/163.05 c fallback to adder encoding 164.07/164.83 o 4623 164.07/164.83 c fallback to adder encoding 165.89/166.64 o 4614 165.89/166.64 c fallback to adder encoding 168.16/168.90 o 4611 168.16/168.90 c fallback to adder encoding 170.08/170.86 o 4609 170.08/170.86 c fallback to adder encoding 173.16/173.93 o 4557 173.16/173.93 c fallback to adder encoding 174.66/175.42 o 4556 174.66/175.42 c fallback to adder encoding 176.88/177.67 o 4550 176.88/177.67 c fallback to adder encoding 179.28/180.06 o 4486 179.28/180.06 c fallback to adder encoding 180.68/181.44 o 4485 180.68/181.44 c fallback to adder encoding 183.27/184.05 o 4484 183.27/184.05 c fallback to adder encoding 184.85/185.60 o 4367 184.85/185.60 c fallback to adder encoding 187.56/188.31 o 4359 187.56/188.31 c fallback to adder encoding 190.25/191.04 o 4354 190.25/191.04 c fallback to adder encoding 192.53/193.32 o 4346 192.53/193.32 c fallback to adder encoding 194.25/195.05 o 4325 194.25/195.05 c fallback to adder encoding 196.35/197.17 o 4322 196.35/197.17 c fallback to adder encoding 198.75/199.55 o 4311 198.75/199.55 c fallback to adder encoding 201.44/202.27 o 4306 201.44/202.27 c fallback to adder encoding 203.93/204.72 o 4300 203.93/204.72 c fallback to adder encoding 206.41/207.20 o 4262 206.41/207.20 c fallback to adder encoding 207.91/208.70 o 4261 207.91/208.70 c fallback to adder encoding 209.65/210.48 o 4260 209.65/210.48 c fallback to adder encoding 211.23/212.01 o 4258 211.23/212.01 c fallback to adder encoding 213.91/214.78 o 4238 213.91/214.78 c fallback to adder encoding 215.68/216.51 o 4229 215.68/216.51 c fallback to adder encoding 217.92/218.70 o 4228 217.92/218.70 c fallback to adder encoding 220.00/220.87 o 4215 220.00/220.87 c fallback to adder encoding 221.48/222.31 o 4207 221.48/222.31 c fallback to adder encoding 223.11/223.94 o 4201 223.11/223.94 c fallback to adder encoding 225.10/225.93 o 4192 225.10/225.93 c fallback to adder encoding 227.91/228.79 o 4191 227.91/228.79 c fallback to adder encoding 231.77/232.60 o 4190 231.77/232.60 c fallback to adder encoding 235.49/236.36 o 4187 235.49/236.36 c fallback to adder encoding 238.04/238.91 o 4185 238.04/238.91 c fallback to adder encoding 240.16/241.07 o 4176 240.16/241.07 c fallback to adder encoding 243.64/244.50 o 4173 243.64/244.50 c fallback to adder encoding 246.13/247.07 o 4171 246.13/247.07 c fallback to adder encoding 248.94/249.96 o 4168 248.94/249.96 c fallback to adder encoding 251.76/252.74 o 4164 251.76/252.74 c fallback to adder encoding 253.46/254.40 o 4163 253.46/254.40 c fallback to adder encoding 255.35/256.37 o 4161 255.35/256.37 c fallback to adder encoding 258.57/259.50 o 4160 258.57/259.50 c fallback to adder encoding 260.54/261.57 o 4159 260.54/261.57 c fallback to adder encoding 263.84/264.85 o 4158 263.84/264.85 c fallback to adder encoding 267.03/268.03 o 4153 267.03/268.03 c fallback to adder encoding 268.85/269.88 o 4152 268.85/269.88 c fallback to adder encoding 270.54/271.60 o 4143 270.54/271.60 c fallback to adder encoding 272.15/273.19 o 4136 272.15/273.19 c fallback to adder encoding 274.46/275.44 o 4132 274.46/275.44 c fallback to adder encoding 276.29/277.32 o 4131 276.29/277.32 c fallback to adder encoding 277.99/279.03 o 4128 277.99/279.03 c fallback to adder encoding 281.39/282.48 o 4123 281.39/282.48 c fallback to adder encoding 284.09/285.19 o 4113 284.09/285.19 c fallback to adder encoding 286.27/287.33 o 4109 286.27/287.33 c fallback to adder encoding 288.47/289.53 o 4103 288.47/289.53 c fallback to adder encoding 290.98/292.03 o 4099 290.98/292.03 c fallback to adder encoding 293.27/294.38 o 4098 293.27/294.38 c fallback to adder encoding 295.45/296.59 o 4097 295.45/296.59 c fallback to adder encoding 298.56/299.69 o 4096 298.56/299.69 c fallback to adder encoding 299.55/300.61 o 3831 299.55/300.61 c fallback to adder encoding 300.38/301.49 o 3829 300.38/301.49 c fallback to adder encoding 301.47/302.59 o 3828 301.47/302.59 c fallback to adder encoding 303.06/304.13 o 3800 303.06/304.13 c fallback to adder encoding 304.45/305.59 o 3796 304.45/305.59 c fallback to adder encoding 306.14/307.27 o 3786 306.14/307.27 c fallback to adder encoding 307.23/308.32 o 3777 307.23/308.32 c fallback to adder encoding 308.04/309.13 o 3776 308.04/309.13 c fallback to adder encoding 309.54/310.64 o 3767 309.54/310.64 c fallback to adder encoding 311.80/312.90 o 3747 311.80/312.90 c fallback to adder encoding 313.02/314.15 o 3740 313.02/314.15 c fallback to adder encoding 314.61/315.77 o 3705 314.61/315.77 c fallback to adder encoding 317.10/318.35 o 3703 317.10/318.35 c fallback to adder encoding 318.52/319.73 o 3702 318.52/319.73 c fallback to adder encoding 320.20/321.45 o 3698 320.20/321.45 c fallback to adder encoding 321.51/322.78 o 3694 321.51/322.78 c fallback to adder encoding 323.09/324.33 o 3686 323.09/324.33 c fallback to adder encoding 324.88/326.12 o 3685 324.88/326.12 c fallback to adder encoding 326.08/327.38 o 3669 326.08/327.38 c fallback to adder encoding 327.86/329.11 o 3654 327.86/329.11 c fallback to adder encoding 329.58/330.85 o 3613 329.58/330.85 c fallback to adder encoding 330.78/332.04 o 3612 330.78/332.04 c fallback to adder encoding 332.17/333.43 o 3600 332.17/333.43 c fallback to adder encoding 333.86/335.19 o 3596 333.86/335.19 c fallback to adder encoding 334.67/335.96 o 3586 334.67/335.96 c fallback to adder encoding 335.57/336.84 o 2898 335.57/336.84 c fallback to adder encoding 336.56/337.88 o 2897 336.56/337.88 c fallback to adder encoding 338.36/339.68 o 2889 338.36/339.68 c fallback to adder encoding 339.34/340.63 o 2874 339.34/340.63 c fallback to adder encoding 340.55/341.86 o 2857 340.55/341.86 c fallback to adder encoding 341.66/342.90 o 2438 341.66/342.90 c fallback to adder encoding 342.94/344.24 o 2432 342.94/344.24 c fallback to adder encoding 344.54/345.89 o 2425 344.54/345.89 c fallback to adder encoding 345.92/347.28 o 2410 345.92/347.28 c fallback to adder encoding 347.52/348.84 o 2407 347.52/348.84 c fallback to adder encoding 349.91/351.22 o 2406 349.91/351.22 c fallback to adder encoding 351.42/352.75 o 2403 351.42/352.75 c fallback to adder encoding 353.20/354.59 o 2372 353.20/354.59 c fallback to adder encoding 355.16/356.50 o 2371 355.16/356.50 c fallback to adder encoding 356.95/358.34 o 2368 356.95/358.34 c fallback to adder encoding 358.54/359.94 o 2332 358.54/359.94 c fallback to adder encoding 359.74/361.16 o 2330 359.74/361.16 c fallback to adder encoding 361.43/362.89 o 2326 361.43/362.89 c fallback to adder encoding 363.21/364.62 o 2320 363.21/364.62 c fallback to adder encoding 364.32/365.77 o 2300 364.32/365.77 c fallback to adder encoding 366.03/367.45 o 2294 366.03/367.45 c fallback to adder encoding 367.01/368.48 o 2293 367.01/368.48 c fallback to adder encoding 368.89/370.35 o 2275 368.89/370.35 c fallback to adder encoding 370.65/372.17 o 2272 370.65/372.17 c fallback to adder encoding 373.16/374.66 o 2250 373.16/374.66 c fallback to adder encoding 375.35/376.88 o 2228 375.35/376.88 c fallback to adder encoding 377.44/378.99 o 2219 377.44/378.99 c fallback to adder encoding 378.84/380.36 o 2212 378.84/380.36 c fallback to adder encoding 381.55/383.06 o 2189 381.55/383.06 c fallback to adder encoding 383.83/385.38 o 2188 383.83/385.38 c fallback to adder encoding 386.84/388.37 o 2177 386.84/388.37 c fallback to adder encoding 389.04/390.57 o 2176 389.04/390.57 c fallback to adder encoding 391.01/392.54 o 2167 391.01/392.54 c fallback to adder encoding 393.02/394.54 o 2159 393.02/394.54 c fallback to adder encoding 394.00/395.51 o 2154 394.00/395.51 c fallback to adder encoding 395.43/396.95 o 2146 395.43/396.95 c fallback to adder encoding 397.13/398.64 o 2144 397.13/398.64 c fallback to adder encoding 398.81/400.38 o 2140 398.81/400.38 c fallback to adder encoding 400.46/402.02 o 2135 400.46/402.02 c fallback to adder encoding 402.37/403.96 o 2134 402.37/403.96 c fallback to adder encoding 403.84/405.45 o 2133 403.84/405.45 c fallback to adder encoding 405.45/407.00 o 2127 405.45/407.00 c fallback to adder encoding 406.43/408.08 o 2126 406.43/408.08 c fallback to adder encoding 408.43/410.06 o 2120 408.43/410.06 c fallback to adder encoding 410.93/412.53 o 2114 410.93/412.53 c fallback to adder encoding 412.72/414.33 o 2107 412.72/414.33 c fallback to adder encoding 414.62/416.26 o 2103 414.62/416.26 c fallback to adder encoding 416.59/418.26 o 2098 416.59/418.26 c fallback to adder encoding 418.08/419.78 o 2088 418.08/419.78 c fallback to adder encoding 419.66/421.30 o 2086 419.66/421.30 c fallback to adder encoding 421.74/423.50 o 2085 421.74/423.50 c fallback to adder encoding 424.53/426.21 o 2082 424.53/426.21 c fallback to adder encoding 426.02/427.80 o 2074 426.02/427.80 c fallback to adder encoding 427.61/429.38 o 2072 427.61/429.38 c fallback to adder encoding 429.81/431.51 o 2071 429.81/431.51 c fallback to adder encoding 431.36/433.10 o 2058 431.36/433.10 c fallback to adder encoding 432.70/434.50 o 2057 432.70/434.50 c fallback to adder encoding 434.47/436.23 o 2056 434.47/436.23 c fallback to adder encoding 436.37/438.13 o 2048 436.37/438.13 c fallback to adder encoding 437.36/439.17 o 2022 437.36/439.17 c fallback to adder encoding 438.96/440.75 o 2020 438.96/440.75 c fallback to adder encoding 440.47/442.28 o 2016 440.47/442.28 c fallback to adder encoding 442.15/443.92 o 2015 442.15/443.92 c fallback to adder encoding 443.67/445.42 o 1996 443.67/445.42 c fallback to adder encoding 445.36/447.14 o 1993 445.36/447.14 c fallback to adder encoding 446.95/448.71 o 1981 446.95/448.71 c fallback to adder encoding 448.05/449.87 o 1971 448.05/449.87 c fallback to adder encoding 448.18/450.69 o 1965 448.18/450.69 c fallback to adder encoding 450.53/452.35 o 1926 450.53/452.35 c fallback to adder encoding 451.91/453.72 o 1922 451.91/453.72 c fallback to adder encoding 453.01/454.88 o 1815 453.01/454.88 c fallback to adder encoding 454.42/456.29 o 1810 454.42/456.29 c fallback to adder encoding 455.59/457.41 o 1796 455.59/457.41 c fallback to adder encoding 456.88/458.86 o 1721 456.88/458.86 c fallback to adder encoding 456.98/459.70 o 1706 456.98/459.70 c fallback to adder encoding 459.04/461.06 o 1705 459.04/461.06 c fallback to adder encoding 460.61/462.61 o 1702 460.61/462.61 c fallback to adder encoding 462.03/464.04 o 1686 462.03/464.04 c fallback to adder encoding 463.23/465.20 o 1680 463.23/465.20 c fallback to adder encoding 464.69/466.72 o 1679 464.69/466.72 c fallback to adder encoding 465.60/467.61 o 1538 465.60/467.61 c fallback to adder encoding 465.69/468.46 o 1379 465.69/468.46 c fallback to adder encoding 467.51/469.53 o 1286 467.51/469.53 c fallback to adder encoding 468.81/470.87 o 1285 468.81/470.87 c fallback to adder encoding 470.59/472.61 o 1281 470.59/472.61 c fallback to adder encoding 472.19/474.21 o 1280 472.19/474.21 c fallback to adder encoding 473.21/475.24 o 1279 473.21/475.24 c fallback to adder encoding 474.70/476.73 o 1202 474.70/476.73 c fallback to adder encoding 476.80/478.87 o 1193 476.80/478.87 c fallback to adder encoding 478.18/480.26 o 1192 478.18/480.26 c fallback to adder encoding 479.89/481.99 o 1188 479.89/481.99 c fallback to adder encoding 481.48/483.52 o 1179 481.48/483.52 c fallback to adder encoding 483.58/485.69 o 1178 483.58/485.69 c fallback to adder encoding 484.87/486.94 o 1156 484.87/486.94 c fallback to adder encoding 486.27/488.39 o 1152 486.27/488.39 c fallback to adder encoding 487.47/489.59 o 1151 487.47/489.59 c fallback to adder encoding 488.84/490.98 o 1147 488.84/490.98 c fallback to adder encoding 490.43/492.63 o 1137 490.43/492.63 c fallback to adder encoding 491.34/493.58 o 1106 491.34/493.58 c fallback to adder encoding 492.63/494.83 o 1104 492.63/494.83 c fallback to adder encoding 494.62/496.82 o 1101 494.62/496.82 c fallback to adder encoding 496.02/498.30 o 1100 496.02/498.30 c fallback to adder encoding 497.59/499.81 o 1099 497.59/499.81 c fallback to adder encoding 498.88/501.10 o 1098 498.88/501.10 c fallback to adder encoding 500.31/502.57 o 1097 500.31/502.57 c fallback to adder encoding 500.46/503.69 o 1096 500.46/503.69 c fallback to adder encoding 503.00/505.22 o 1095 503.00/505.22 c fallback to adder encoding 504.40/506.66 o 1092 504.40/506.66 c fallback to adder encoding 505.67/507.92 o 1091 505.67/507.92 c fallback to adder encoding 507.58/509.84 o 1088 507.58/509.84 c fallback to adder encoding 509.18/511.43 o 1084 509.18/511.43 c fallback to adder encoding 510.34/512.61 o 1063 510.34/512.61 c fallback to adder encoding 512.18/514.40 o 1056 512.18/514.40 c fallback to adder encoding 512.94/515.21 o 1050 512.94/515.21 c fallback to adder encoding 514.05/516.36 o 1049 514.05/516.36 c fallback to adder encoding 516.06/518.36 o 1013 516.06/518.36 c fallback to adder encoding 517.44/519.71 o 1009 517.44/519.71 c fallback to adder encoding 518.05/520.36 o 1008 518.05/520.36 c fallback to adder encoding 518.18/520.98 o 1005 518.18/520.98 c fallback to adder encoding 519.55/521.86 o 1001 519.55/521.86 c fallback to adder encoding 520.33/522.68 o 943 520.33/522.68 c fallback to adder encoding 521.23/523.54 o 931 521.23/523.54 c fallback to adder encoding 521.34/524.55 o 929 521.34/524.55 c fallback to adder encoding 522.34/525.59 o 913 522.34/525.59 c fallback to adder encoding 523.91/526.20 o 912 523.91/526.20 c fallback to adder encoding 524.50/526.88 o 911 524.50/526.88 c fallback to adder encoding 525.52/527.80 o 900 525.52/527.80 c fallback to adder encoding 526.59/528.97 o 898 526.59/528.97 c fallback to adder encoding 526.72/529.66 o 897 526.72/529.66 c fallback to adder encoding 528.70/531.06 o 896 528.70/531.06 c fallback to adder encoding 529.55/531.98 o 890 529.55/531.98 c fallback to adder encoding 530.08/532.46 o 883 530.08/532.46 c fallback to adder encoding 530.18/533.19 o 874 530.18/533.19 c fallback to adder encoding 531.36/533.73 o 871 531.36/533.73 c fallback to adder encoding 532.26/534.63 o 864 532.26/534.63 c fallback to adder encoding 532.73/535.11 o 863 532.73/535.11 c fallback to adder encoding 533.54/535.92 o 855 533.54/535.92 c fallback to adder encoding 534.56/536.90 o 851 534.56/536.90 c fallback to adder encoding 535.85/538.24 o 839 535.85/538.24 c fallback to adder encoding 537.24/539.68 o 833 537.24/539.68 c fallback to adder encoding 537.84/540.26 o 498 537.84/540.26 c fallback to adder encoding 537.94/540.59 o 497 537.94/540.59 c fallback to adder encoding 538.26/540.94 o 471 538.26/540.94 c fallback to adder encoding 538.84/541.23 o 464 538.84/541.23 c fallback to adder encoding 539.18/541.65 o 459 539.18/541.65 c fallback to adder encoding 539.23/541.96 o 453 539.23/541.96 c fallback to adder encoding 539.74/542.26 o 421 539.74/542.26 c fallback to adder encoding 539.84/542.62 o 411 539.84/542.62 c fallback to adder encoding 540.53/543.00 o 406 540.53/543.00 c fallback to adder encoding 540.58/543.19 o 403 540.58/543.19 c fallback to adder encoding 541.04/543.51 o 390 541.04/543.51 c fallback to adder encoding 541.07/543.73 o 389 541.07/543.73 c fallback to adder encoding 541.44/543.91 o 349 541.44/543.91 c fallback to adder encoding 541.49/544.06 o 348 541.49/544.06 c fallback to adder encoding 541.63/544.17 o 344 541.63/544.17 c fallback to adder encoding 541.75/544.33 o 343 541.75/544.33 c fallback to adder encoding 542.05/544.55 o 335 542.05/544.55 c fallback to adder encoding 542.10/544.72 o 334 542.10/544.72 c fallback to adder encoding 542.29/544.89 o 330 542.29/544.89 c fallback to adder encoding 542.46/545.05 o 329 542.46/545.05 c fallback to adder encoding 542.62/545.21 o 328 542.62/545.21 c fallback to adder encoding 542.78/545.34 o 325 543.10/545.74 o 224 543.38/545.92 o 220 543.49/546.09 o 202 543.71/546.23 o 197 543.81/546.37 o 191 544.05/546.50 o 187 544.15/546.62 o 161 544.22/546.71 o 142 544.22/546.79 o 109 544.35/546.84 o 0 544.35/546.84 o 0 544.35/546.84 c display solution 544.35/546.84 s OPTIMUM FOUND 544.35/546.84 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 0
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-3715114-1338226407/watcher-3715114-1338226407 -o /tmp/evaluation-result-3715114-1338226407/solver-3715114-1338226407 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715114-1338226407.wbo 1243441226 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.98 1.99 3/180 21701 /proc/meminfo: memFree=31241828/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [startup+0.043946 s] /proc/loadavg: 1.93 1.98 1.99 3/180 21701 /proc/meminfo: memFree=31241828/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100287 s] /proc/loadavg: 1.93 1.98 1.99 3/180 21701 /proc/meminfo: memFree=31241828/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300337 s] /proc/loadavg: 1.93 1.98 1.99 3/180 21701 /proc/meminfo: memFree=31241828/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700327 s] /proc/loadavg: 1.93 1.98 1.99 3/180 21701 /proc/meminfo: memFree=31241828/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50039 s] /proc/loadavg: 1.93 1.98 1.99 3/184 21732 /proc/meminfo: memFree=31219972/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=7160 CPUtime=0.1 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 2602 5602 0 0 8 0 2 0 20 0 1 0 288767521 7331840 1449 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/21702/statm: 1790 1449 166 439 0 1347 0 [pid=21714] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21714/stat : 21714 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288767534 9367552 266 33554432000 4194304 5064252 140735663106960 140735663105872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/21714/statm: 2287 266 226 213 0 72 0 [pid=21715] ppid=21714 vsize=17724 CPUtime=1.36 cores=1,3,5,7 /proc/21715/stat : 21715 (glucose) R 21714 21701 29981 0 -1 4202496 3870 0 0 0 135 1 0 0 20 0 1 0 288767534 18149376 3697 33554432000 4194304 5208918 140734600278272 140734600276024 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/21715/statm: 4431 3697 105 248 0 4180 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 43180 [startup+3.10024 s] /proc/loadavg: 1.93 1.98 1.99 3/184 21750 /proc/meminfo: memFree=31217084/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11252 CPUtime=2.6 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 4358 12746 0 0 15 1 240 4 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/21702/statm: 2813 2441 166 439 0 2370 0 Current children cumulated CPU time (s) 2.6 Current children cumulated vsize (KiB) 20400 [startup+6.30032 s] /proc/loadavg: 1.93 1.98 1.99 3/184 21813 /proc/meminfo: memFree=31214924/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11252 CPUtime=5.96 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 7870 26691 0 0 28 3 555 10 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/21702/statm: 2813 2441 166 439 0 2370 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 20400 [startup+12.7004 s] /proc/loadavg: 1.94 1.98 1.99 3/184 22002 /proc/meminfo: memFree=31215436/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11252 CPUtime=11.54 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 14894 55791 0 0 53 7 1071 23 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/21702/statm: 2813 2441 166 439 0 2370 0 [pid=21987] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21987/stat : 21987 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288768678 9367552 266 33554432000 4194304 5064252 140736058027296 140736058026208 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/21987/statm: 2287 266 226 213 0 72 0 [pid=21988] ppid=21987 vsize=17728 CPUtime=1.12 cores=1,3,5,7 /proc/21988/stat : 21988 (glucose) R 21987 21701 29981 0 -1 4202496 3720 0 0 0 112 0 0 0 20 0 1 0 288768678 18153472 3627 33554432000 4194304 5208918 140734512749856 140734512747704 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/21988/statm: 4432 3627 105 248 0 4181 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 47276 ############ # WARNING: # current cumulated CPU time (16.21 s) is less than in the last sample (18.34 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (2.13 s) to the 'lost time'. [startup+18.5004 s] /proc/loadavg: 1.95 1.98 1.99 3/184 22108 /proc/meminfo: memFree=31199876/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11252 CPUtime=16.21 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 20162 76779 0 0 73 10 1505 33 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/21702/statm: 2813 2441 166 439 0 2370 0 [pid=22100] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22100/stat : 22100 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288769156 9367552 266 33554432000 4194304 5064252 140737393114288 140737393113200 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/22100/statm: 2287 266 226 213 0 72 0 [pid=22101] ppid=22100 vsize=18160 CPUtime=2.13 cores=1,3,5,7 /proc/22101/stat : 22101 (glucose) R 22100 21701 29981 0 -1 4202496 3965 0 0 0 212 1 0 0 20 0 1 0 288769157 18595840 3864 33554432000 4194304 5208918 140736463947856 140736463945608 4211104 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/22101/statm: 4540 3864 105 248 0 4289 0 Current children cumulated CPU time (s) 18.34 Current children cumulated vsize (KiB) 47708 [startup+18.6004 s] /proc/loadavg: 1.95 1.98 1.99 3/184 22108 /proc/meminfo: memFree=31197520/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11252 CPUtime=16.21 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 20162 76779 0 0 73 10 1505 33 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/21702/statm: 2813 2441 166 439 0 2370 0 Current children cumulated CPU time (s) 16.21 Current children cumulated vsize (KiB) 20400 # ############ [startup+25.5003 s] /proc/loadavg: 1.95 1.98 1.99 3/184 22150 /proc/meminfo: memFree=31199388/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11252 CPUtime=25.3 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 27193 110311 0 0 99 13 2369 49 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830754592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/21702/statm: 2813 2441 166 439 0 2370 0 Current children cumulated CPU time (s) 25.3 Current children cumulated vsize (KiB) 20400 [startup+51.1004 s] /proc/loadavg: 1.90 1.97 1.99 3/183 22290 /proc/meminfo: memFree=31198396/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11252 CPUtime=48.61 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 51770 207444 0 0 189 26 4548 98 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 7 0 0 /proc/21702/statm: 2813 2441 166 439 0 2370 0 [pid=22289] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22289/stat : 22289 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288772414 9367552 266 33554432000 4194304 5064252 140734021182320 140734021181232 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22289/statm: 2287 266 226 213 0 72 0 [pid=22290] ppid=22289 vsize=17860 CPUtime=2.16 cores=1,3,5,7 /proc/22290/stat : 22290 (glucose) R 22289 21701 29981 0 -1 4202496 3898 0 0 0 216 0 0 0 20 0 1 0 288772414 18288640 3767 33554432000 4194304 5208918 140735559973040 140735559970792 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/22290/statm: 4465 3767 105 248 0 4214 0 Current children cumulated CPU time (s) 50.77 Current children cumulated vsize (KiB) 47408 [startup+102.307 s] /proc/loadavg: 2.11 2.00 2.00 3/183 22535 /proc/meminfo: memFree=31196864/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 ################ # More data... # ################ /proc/meminfo: memFree=31200844/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11252 CPUtime=340.7 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 312515 1271287 0 0 1130 158 32162 620 20 0 1 0 288767521 11522048 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0 /proc/21702/statm: 2813 2412 166 439 0 2370 0 [pid=23844] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23844/stat : 23844 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288801714 9367552 267 33554432000 4194304 5064252 140737208685872 140737208684784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/23844/statm: 2287 267 226 213 0 72 0 [pid=23845] ppid=23844 vsize=14276 CPUtime=0.35 cores=1,3,5,7 /proc/23845/stat : 23845 (glucose) R 23844 21701 29981 0 -1 4202496 3845 0 0 0 34 1 0 0 20 0 1 0 288801715 14618624 3199 33554432000 4194304 5208918 140733566383472 140733566381576 4211162 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/23845/statm: 3569 3199 104 248 0 3318 0 Current children cumulated CPU time (s) 341.05 Current children cumulated vsize (KiB) 43824 [startup+402.3 s] /proc/loadavg: 1.95 1.97 1.99 3/184 24184 /proc/meminfo: memFree=31193744/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11252 CPUtime=400.58 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 371233 1517869 0 0 1329 188 37810 731 20 0 1 0 288767521 11522048 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0 /proc/21702/statm: 2813 2412 166 439 0 2370 0 Current children cumulated CPU time (s) 400.58 Current children cumulated vsize (KiB) 20400 [startup+462.3 s] /proc/loadavg: 2.11 2.00 2.00 3/183 24548 /proc/meminfo: memFree=31202444/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11204 CPUtime=459.18 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 435132 1776748 0 0 1539 218 43313 848 20 0 1 0 288767521 11472896 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0 /proc/21702/statm: 2801 2412 166 439 0 2358 0 [pid=24540] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24540/stat : 24540 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288813634 9367552 267 33554432000 4194304 5064252 140736148410432 140736148409344 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/24540/statm: 2287 267 226 213 0 72 0 [pid=24541] ppid=24540 vsize=13664 CPUtime=1.15 cores=1,3,5,7 /proc/24541/stat : 24541 (glucose) R 24540 21701 29981 0 -1 4202496 3342 0 0 0 115 0 0 0 20 0 1 0 288813634 13991936 3110 33554432000 4194304 5208918 140735685962912 140735685960808 4211744 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/24541/statm: 3416 3110 104 248 0 3165 0 Current children cumulated CPU time (s) 460.33 Current children cumulated vsize (KiB) 43164 [startup+522.3 s] /proc/loadavg: 2.04 2.00 2.00 3/183 24954 /proc/meminfo: memFree=31202364/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11204 CPUtime=519.67 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 511120 2073970 0 0 1775 251 48956 985 20 0 1 0 288767521 11472896 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0 /proc/21702/statm: 2801 2412 166 439 0 2358 0 Current children cumulated CPU time (s) 519.67 Current children cumulated vsize (KiB) 20352 Solver just ended. Dumping a history of the last processes samples [startup+524.707 s] /proc/loadavg: 2.04 2.00 2.00 3/181 24994 /proc/meminfo: memFree=31217460/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11164 CPUtime=522.34 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 516301 2094073 0 0 1788 253 49200 993 20 0 1 0 288767521 11431936 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0 /proc/21702/statm: 2791 2412 166 439 0 2348 0 Current children cumulated CPU time (s) 522.34 Current children cumulated vsize (KiB) 20312 [startup+537.5 s] /proc/loadavg: 2.03 2.00 2.00 3/183 25116 /proc/meminfo: memFree=31203144/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11132 CPUtime=534.62 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 542206 2186521 0 0 1853 265 50311 1033 20 0 1 0 288767521 11399168 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0 /proc/21702/statm: 2783 2412 166 439 0 2340 0 Current children cumulated CPU time (s) 534.62 Current children cumulated vsize (KiB) 20280 [startup+540.7 s] /proc/loadavg: 2.03 2.00 2.00 3/183 25144 /proc/meminfo: memFree=31204492/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=6832 CPUtime=538.26 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 545592 2209234 0 0 1865 266 50652 1043 20 0 1 0 288767521 6995968 1165 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0 /proc/21702/statm: 1708 1165 166 439 0 1265 0 Current children cumulated CPU time (s) 538.26 Current children cumulated vsize (KiB) 15980 [startup+543.9 s] /proc/loadavg: 2.02 2.00 2.00 3/183 25221 /proc/meminfo: memFree=31217300/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=6832 CPUtime=541.44 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 554900 2262037 0 0 1884 269 50932 1059 20 0 1 0 288767521 6995968 1172 33554432000 4194304 5990268 140734830763680 140734830754592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0 /proc/21702/statm: 1708 1172 166 439 0 1265 0 Current children cumulated CPU time (s) 541.44 Current children cumulated vsize (KiB) 15980 [startup+545.5 s] /proc/loadavg: 2.02 2.00 2.00 3/183 25312 /proc/meminfo: memFree=31186096/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=11136 CPUtime=542.95 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 562006 2306951 0 0 1902 272 51049 1072 20 0 1 0 288767521 11403264 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0 /proc/21702/statm: 2784 2412 166 439 0 2341 0 [pid=25311] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/25311/stat : 25311 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288822061 9367552 267 33554432000 4194304 5064252 140733906171440 140733906170352 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/25311/statm: 2287 267 226 213 0 72 0 [pid=25312] ppid=25311 vsize=32060 CPUtime=0.09 cores=1,3,5,7 /proc/25312/stat : 25312 (glucose) R 25311 21701 29981 0 -1 4202496 6790 0 0 0 8 1 0 0 20 0 1 0 288822062 32829440 7106 33554432000 4194304 5208918 140733435942240 140733435940088 4229222 0 0 4096 0 0 0 0 17 7 0 0 0 0 0 /proc/25312/statm: 8015 7106 95 248 0 7764 0 Current children cumulated CPU time (s) 543.04 Current children cumulated vsize (KiB) 61492 [startup+546.3 s] /proc/loadavg: 2.02 2.00 2.00 3/183 25312 /proc/meminfo: memFree=31186096/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=6800 CPUtime=543.81 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 565924 2337622 0 0 1910 273 51099 1099 20 0 1 0 288767521 6963200 1214 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0 /proc/21702/statm: 1700 1214 166 439 0 1257 0 Current children cumulated CPU time (s) 543.81 Current children cumulated vsize (KiB) 15948 [startup+546.707 s] /proc/loadavg: 2.02 2.00 2.00 3/183 25357 /proc/meminfo: memFree=31215464/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=6800 CPUtime=544.22 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 568265 2358395 0 0 1914 274 51123 1111 20 0 1 0 288767521 6963200 1216 33554432000 4194304 5990268 140734830763680 140734830754592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0 /proc/21702/statm: 1700 1216 166 439 0 1257 0 Current children cumulated CPU time (s) 544.22 Current children cumulated vsize (KiB) 15948 [startup+546.8 s] /proc/loadavg: 2.02 2.00 2.00 3/183 25357 /proc/meminfo: memFree=31215464/32873648 swapFree=6852/6852 [pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21701/statm: 2287 275 233 213 0 72 0 [pid=21702] ppid=21701 vsize=6800 CPUtime=544.35 cores=1,3,5,7 /proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 569073 2366104 0 0 1916 274 51130 1115 20 0 1 0 288767521 6963200 1216 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0 /proc/21702/statm: 1700 1216 166 439 0 1257 0 Current children cumulated CPU time (s) 544.35 Current children cumulated vsize (KiB) 15948 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.13 # lost CPU user time (s): 2.12 # lost CPU system time (s): 0.00999999 Real time (s): 546.844 CPU time (s): 546.544 CPU user time (s): 532.611 CPU system time (s): 13.9329 CPU usage (%): 99.9451 Max. virtual memory (cumulated for all children) (KiB): 61492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 530.491 system time used= 13.9229 maximum resident set size= 28648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2940685 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2585024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13870 involuntary context switches= 5691 runsolver used 1.16282 second user time and 3.08353 second system time The end
Begin job on node115 at 2012-05-28 19:33:27 IDJOB=3715114 IDBENCH=79421 IDSOLVER=2296 FILE ID=node115/3715114-1338226407 RUNJOBID= node115-1338195070-29998 PBS_JOBID= 14624604 Free space on /tmp= 71636 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh07_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715114-1338226407/watcher-3715114-1338226407 -o /tmp/evaluation-result-3715114-1338226407/solver-3715114-1338226407 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715114-1338226407.wbo 1243441226 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 124b6775b7bb4e390bc62510a681a702 RANDOM SEED=1243441226 node115.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.462 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.92 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.462 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.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 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.462 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.462 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.462 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.462 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: 31242192 kB Buffers: 437164 kB Cached: 312076 kB SwapCached: 972 kB Active: 639676 kB Inactive: 132500 kB Active(anon): 15860 kB Inactive(anon): 9244 kB Active(file): 623816 kB Inactive(file): 123256 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67106424 kB Dirty: 9900 kB Writeback: 0 kB AnonPages: 28488 kB Mapped: 12772 kB Shmem: 96 kB Slab: 721976 kB SReclaimable: 165308 kB SUnreclaim: 556668 kB KernelStack: 1528 kB PageTables: 4340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 139608 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71624 MiB End job on node115 at 2012-05-28 19:42:34