Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Black Hole SAT 2011-03-08 | ? (TO) | 1299.94 | 1300.01 |
Name | crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf |
MD5SUM | f2cf61fc47972fb7e89be65d1a83332e |
Bench Category | CRAFTED (crafted instances) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 193 |
Number of clauses | 396 |
Sum of the clauses size | 1188 |
Maximum clause length | 3 |
Minimum clause length | 3 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 0 |
Number of clauses of size 3 | 396 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
0.00/0.02 c RESTART 0.00/0.05 c RESTART 0.05/0.07 c RESTART 0.05/0.09 c RESTART 0.09/0.10 c RESTART 0.09/0.11 c RESTART 0.09/0.13 c RESTART 0.09/0.14 c RESTART 0.09/0.16 c RESTART 0.09/0.18 c RESTART 0.09/0.19 c RESTART 0.19/0.21 c RESTART 0.49/0.59 c RESTART 0.59/0.62 c RESTART 0.59/0.64 c RESTART 2.38/2.45 c RESTART 2.38/2.48 c RESTART 2.38/2.49 c RESTART 2.48/2.51 c RESTART 3.38/3.41 c RESTART 3.38/3.42 c RESTART 3.38/3.44 c RESTART 3.38/3.46 c RESTART 3.48/3.55 c RESTART 3.58/3.60 c RESTART 10.56/10.64 c RESTART 10.56/10.66 c RESTART 10.56/10.67 c RESTART 10.56/10.69 c RESTART 10.66/10.71 c RESTART 10.66/10.73 c RESTART 10.66/10.75 c RESTART 10.66/10.77 c RESTART 10.66/10.79 c RESTART 10.76/10.80 c RESTART 10.76/10.82 c RESTART 10.76/10.85 c RESTART 10.76/10.87 c RESTART 10.86/10.90 c RESTART 10.86/10.93 c RESTART 10.86/10.95 c RESTART 10.96/11.03 c RESTART 10.96/11.04 c RESTART 10.96/11.06 c RESTART 10.96/11.09 c RESTART 11.05/11.11 c RESTART 11.05/11.13 c RESTART 11.05/11.15 c RESTART 11.05/11.17 c RESTART 11.05/11.18 c RESTART 11.15/11.20 c RESTART 11.15/11.28 c RESTART 15.94/16.08 c RESTART 16.04/16.11 c RESTART 16.54/16.62 c RESTART 19.04/19.10 c RESTART 23.93/24.06 c RESTART 23.93/24.08 c RESTART 24.04/24.11 c RESTART 24.04/24.13 c RESTART 24.14/24.20 c RESTART 24.14/24.24 c RESTART 24.14/24.26 c RESTART 24.83/24.93 c RESTART 24.83/24.98 c RESTART 24.93/25.00 c RESTART 24.93/25.06 c RESTART 24.93/25.08 c RESTART 25.03/25.10 c RESTART 25.03/25.13 c RESTART 25.03/25.15 c RESTART 25.03/25.17 c RESTART 25.03/25.19 c RESTART 25.14/25.21 c RESTART 25.14/25.23 c RESTART 25.24/25.38 c RESTART 25.33/25.40 c RESTART 25.33/25.44 c RESTART 25.33/25.45 c RESTART 25.43/25.52 c RESTART 25.63/25.70 c RESTART 25.63/25.78 c RESTART 33.52/33.67 c RESTART 33.62/33.73 c RESTART 33.62/33.78 c RESTART 33.72/33.81 c RESTART 33.72/33.84 c RESTART 33.72/33.86 c RESTART 33.72/33.88 c RESTART 33.82/33.91 c RESTART 33.82/33.93 c RESTART 33.82/33.94 c RESTART 33.82/33.95 c RESTART 33.82/33.97 c RESTART 33.82/33.99 c RESTART 33.92/34.01 c RESTART 33.92/34.03 c RESTART 33.92/34.08 c RESTART 34.03/34.11 c RESTART 34.12/34.24 c RESTART 34.22/34.35 c RESTART 34.32/34.43 c RESTART 34.32/34.46 c RESTART 34.42/34.58 c RESTART 34.52/34.60 c RESTART 34.52/34.63 c RESTART 34.62/34.70 c RESTART 34.62/34.74 c RESTART 34.62/34.77 c RESTART 36.12/36.30 c RESTART 37.32/37.41 c RESTART 37.32/37.42 c RESTART 37.32/37.44 c RESTART 37.32/37.46 c RESTART 37.32/37.48 c RESTART 37.41/37.52 c RESTART 37.41/37.54 c RESTART 37.41/37.57 c RESTART 37.41/37.58 c RESTART 37.51/37.63 c RESTART 37.51/37.69 c RESTART 37.61/37.76 c RESTART 37.71/37.81 c RESTART 37.71/37.84 c RESTART 38.61/38.79 c RESTART 38.71/38.81 c RESTART 38.71/38.83 c RESTART 38.71/38.86 c RESTART 38.71/38.89 c RESTART 38.81/38.91 c RESTART 38.81/38.94 c RESTART 38.81/38.98 c RESTART 38.91/39.06 c RESTART 38.91/39.09 c RESTART 39.01/39.10 c RESTART 39.42/39.58 c RESTART 39.52/39.62 c RESTART 40.62/40.77 c RESTART 40.71/40.80 c RESTART 40.71/40.81 c RESTART 40.71/40.83 c RESTART 40.91/41.00 c RESTART 40.91/41.05 c RESTART 40.91/41.08 c RESTART 41.01/41.10 c RESTART 41.01/41.11 c RESTART 41.01/41.15 c RESTART 41.01/41.16 c RESTART 41.11/41.23 c RESTART 42.11/42.27 c RESTART 42.21/42.30 c RESTART 42.21/42.35 c RESTART 42.61/42.74 c RESTART 42.71/42.82 c RESTART 56.99/57.18 c RESTART 56.99/57.20 c RESTART 57.09/57.24 c RESTART 57.09/57.25 c RESTART 57.09/57.27 c RESTART 57.09/57.29 c RESTART 57.19/57.31 c RESTART 57.49/57.60 c RESTART 57.49/57.64 c RESTART 57.59/57.71 c RESTART 57.79/57.94 c RESTART 57.79/57.95 c RESTART 57.79/57.97 c RESTART 57.79/57.98 c RESTART 57.89/58.00 c RESTART 57.89/58.02 c RESTART 57.89/58.05 c RESTART 57.99/58.11 c RESTART 57.99/58.16 c RESTART 57.99/58.18 c RESTART 57.99/58.19 c RESTART 58.09/58.22 c RESTART 58.09/58.25 c RESTART 58.09/58.29 c RESTART 58.19/58.32 c RESTART 58.19/58.36 c RESTART 58.19/58.38 c RESTART 58.19/58.40 c RESTART 58.39/58.51 c RESTART 58.39/58.55 c RESTART 58.49/58.64 c RESTART 58.49/58.69 c RESTART 58.59/58.70 c RESTART 58.59/58.72 c RESTART 58.69/58.81 c RESTART 58.69/58.86 c RESTART 58.69/58.88 c RESTART 58.79/58.90 c RESTART 58.79/58.91 c RESTART 58.79/58.93 c RESTART 58.79/58.96 c RESTART 58.89/59.06 c RESTART 58.99/59.10 c RESTART 58.99/59.12 c RESTART 58.99/59.14 c RESTART 58.99/59.17 c RESTART 58.99/59.19 c RESTART 59.09/59.22 c RESTART 67.59/67.78 c RESTART 67.69/67.82 c RESTART 67.69/67.89 c RESTART 67.79/67.91 c RESTART 67.99/68.15 c RESTART 67.99/68.17 c RESTART 68.09/68.20 c RESTART 68.09/68.23 c RESTART 68.09/68.26 c RESTART 68.09/68.29 c RESTART 68.19/68.31 c RESTART 68.19/68.36 c RESTART 74.09/74.20 c RESTART 74.09/74.23 c RESTART 74.09/74.27 c RESTART 74.19/74.33 c RESTART 74.29/74.40 c RESTART 74.29/74.48 c RESTART 74.39/74.52 c RESTART 74.39/74.58 c RESTART 74.49/74.60 c RESTART 74.49/74.63 c RESTART 75.89/76.07 c RESTART 90.49/90.61 c RESTART 90.49/90.66 c RESTART 90.49/90.68 c RESTART 98.59/98.74 c RESTART 98.59/98.77 c RESTART 98.69/98.84 c RESTART 98.79/98.96 c RESTART 98.79/98.98 c RESTART 98.89/99.06 c RESTART 98.89/99.09 c RESTART 100.09/100.22 c RESTART 100.09/100.25 c RESTART 100.09/100.28 c RESTART 100.09/100.29 c RESTART 100.19/100.32 c RESTART 100.19/100.34 c RESTART 100.19/100.37 c RESTART 100.19/100.39 c RESTART 100.29/100.42 c RESTART 100.29/100.45 c RESTART 100.29/100.47 c RESTART 100.29/100.49 c RESTART 100.39/100.51 c RESTART 100.39/100.53 c RESTART 100.39/100.54 c RESTART 100.39/100.57 c RESTART 100.49/100.60 c RESTART 100.49/100.61 c RESTART 100.49/100.65 c RESTART 100.49/100.67 c RESTART 100.59/100.71 c RESTART 100.59/100.72 c RESTART 100.59/100.74 c RESTART 100.59/100.78 c RESTART 100.69/100.82 c RESTART 100.69/100.86 c RESTART 100.69/100.88 c RESTART 100.79/100.92 c RESTART 100.79/100.95 c RESTART 100.79/100.98 c RESTART 100.89/101.02 c RESTART 100.89/101.07 c RESTART 100.99/101.12 c RESTART 100.99/101.15 c RESTART 100.99/101.18 c RESTART 100.99/101.19 c RESTART 101.09/101.21 c RESTART 101.09/101.25 c RESTART 101.09/101.27 c RESTART 101.19/101.31 c RESTART 101.19/101.34 c RESTART 101.19/101.36 c RESTART 101.19/101.39 c RESTART 101.29/101.41 c RESTART 101.29/101.43 c RESTART 101.29/101.45 c RESTART 101.29/101.48 c RESTART 101.39/101.52 c RESTART 101.39/101.55 c RESTART 101.39/101.59 c RESTART 101.49/101.61 c RESTART 101.49/101.64 c RESTART 101.49/101.68 c RESTART 101.59/101.71 c RESTART 101.59/101.74 c RESTART 101.59/101.78 c RESTART 101.69/101.81 c RESTART 101.69/101.86 c RESTART 101.69/101.89 c RESTART 101.79/101.99 c RESTART 101.89/102.02 c RESTART 101.89/102.05 c RESTART 101.89/102.08 c RESTART 101.99/102.10 c RESTART 101.99/102.12 c RESTART 101.99/102.17 c RESTART 102.09/102.24 c RESTART 102.09/102.25 c RESTART 102.09/102.27 c RESTART 102.09/102.29 c RESTART 102.09/102.30 c RESTART 102.19/102.38 c RESTART 102.29/102.48 c RESTART 102.39/102.53 c RESTART 102.39/102.55 c RESTART 102.39/102.58 c RESTART 103.49/103.63 c RESTART 103.99/104.14 c RESTART 103.99/104.19 c RESTART 104.09/104.21 c RESTART 104.09/104.23 c RESTART 104.09/104.26 c RESTART 104.09/104.29 c RESTART 104.19/104.31 c RESTART 104.19/104.33 c RESTART 104.19/104.35 c RESTART 104.19/104.37 c RESTART 125.09/125.24 c RESTART 125.69/125.82 c RESTART 125.69/125.85 c RESTART 125.69/125.87 c RESTART 125.69/125.89 c RESTART 125.79/125.91 c RESTART 126.19/126.32 c RESTART 126.19/126.34 c RESTART 128.59/128.72 c RESTART 128.59/128.77 c RESTART 128.59/128.79 c RESTART 128.69/128.82 c RESTART 128.69/128.84 c RESTART 128.69/128.86 c RESTART 128.69/128.89 c RESTART 128.89/129.05 c RESTART 128.89/129.07 c RESTART 128.99/129.14 c RESTART 128.99/129.19 c RESTART 129.19/129.32 c RESTART 129.19/129.34 c RESTART 129.29/129.44 c RESTART 129.29/129.46 c RESTART 129.29/129.48 c RESTART 129.39/129.51 c RESTART 129.39/129.54 c RESTART 129.39/129.57 c RESTART 129.49/129.60 c RESTART 129.49/129.63 c RESTART 129.49/129.66 c RESTART 129.49/129.68 c RESTART 129.89/130.03 c RESTART 129.99/130.10 c RESTART 129.99/130.13 c RESTART 129.99/130.15 c RESTART 129.99/130.17 c RESTART 130.29/130.43 c RESTART 130.39/130.55 c RESTART 130.39/130.58 c RESTART 130.49/130.62 c RESTART 130.49/130.63 c RESTART 130.49/130.66 c RESTART 130.69/130.81 c RESTART 130.69/130.83 c RESTART 130.69/130.85 c RESTART 130.69/130.88 c RESTART 130.79/130.92 c RESTART 130.79/130.96 c RESTART 130.89/131.00 c RESTART 130.89/131.05 c RESTART 130.89/131.07 c RESTART 130.99/131.11 c RESTART 130.99/131.15 c RESTART 130.99/131.19 c RESTART 131.09/131.21 c RESTART 131.09/131.27 c RESTART 131.09/131.29 c RESTART 131.19/131.31 c RESTART 131.19/131.33 c RESTART 131.19/131.38 c RESTART 131.29/131.41 c RESTART 131.29/131.46 c RESTART 131.99/132.13 c RESTART 132.09/132.29 c RESTART 132.19/132.31 c RESTART 132.19/132.37 c RESTART 132.29/132.40 c RESTART 132.29/132.43 c RESTART 132.39/132.57 c RESTART 135.89/136.02 c RESTART 135.89/136.05 c RESTART 135.89/136.08 c RESTART 135.99/136.11 c RESTART 136.49/136.69 c RESTART 136.59/136.73 c RESTART 136.79/136.95 c RESTART 139.79/139.92 c RESTART 139.89/140.00 c RESTART 139.89/140.03 c RESTART 139.89/140.09 c RESTART 139.99/140.12 c RESTART 139.99/140.13 c RESTART 140.09/140.21 c RESTART 140.09/140.27 c RESTART 140.19/140.30 c RESTART 140.29/140.40 c RESTART 140.29/140.43 c RESTART 140.29/140.46 c RESTART 140.29/140.48 c RESTART 140.39/140.52 c RESTART 141.19/141.33 c RESTART 141.19/141.38 c RESTART 141.19/141.39 c RESTART 141.29/141.45 c RESTART 141.29/141.47 c RESTART 141.29/141.49 c RESTART 141.39/141.52 c RESTART 141.39/141.54 c RESTART 141.39/141.59 c RESTART 141.49/141.63 c RESTART 141.49/141.66 c RESTART 141.59/141.70 c RESTART 142.09/142.20 c RESTART 142.19/142.31 c RESTART 142.19/142.39 c RESTART 142.39/142.50 c RESTART 142.39/142.52 c RESTART 142.39/142.55 c RESTART 142.39/142.57 c RESTART 142.39/142.59 c RESTART 142.59/142.74 c RESTART 142.59/142.76 c RESTART 142.59/142.78 c RESTART 142.59/142.79 c RESTART 142.69/142.82 c RESTART 142.99/143.13 c RESTART 142.99/143.15 c RESTART 143.09/143.22 c RESTART 143.09/143.24 c RESTART 143.09/143.26 c RESTART 143.09/143.28 c RESTART 143.19/143.32 c RESTART 143.19/143.34 c RESTART 143.19/143.35 c RESTART 143.19/143.38 c RESTART 143.29/143.43 c RESTART 143.29/143.46 c RESTART 143.29/143.49 c RESTART 143.39/143.51 c RESTART 143.39/143.55 c RESTART 143.49/143.60 c RESTART 143.49/143.64 c RESTART 143.49/143.68 c RESTART 257.39/257.57 c RESTART 257.49/257.60 c RESTART 257.49/257.63 c RESTART 257.49/257.66 c RESTART 257.59/257.74 c RESTART 257.59/257.76 c RESTART 257.59/257.79 c RESTART 257.69/257.82 c RESTART 257.69/257.84 c RESTART 257.69/257.87 c RESTART 257.79/257.93 c RESTART 257.79/257.97 c RESTART 257.89/258.00 c RESTART 257.89/258.04 c RESTART 257.89/258.08 c RESTART 257.99/258.10 c RESTART 257.99/258.14 c RESTART 257.99/258.17 c RESTART 258.09/258.20 c RESTART 258.09/258.23 c RESTART 258.29/258.47 c RESTART 258.39/258.53 c RESTART 294.89/295.01 c RESTART 295.49/295.67 c RESTART 295.70/295.89 c RESTART 298.49/298.63 c RESTART 298.59/298.74 c RESTART 298.59/298.76 c RESTART 298.69/298.81 c RESTART 298.69/298.86 c RESTART 298.79/298.90 c RESTART 298.79/298.94 c RESTART 298.79/298.97 c RESTART 298.89/299.00 c RESTART 298.89/299.02 c RESTART 298.89/299.05 c RESTART 298.89/299.07 c RESTART 299.00/299.14 c RESTART 299.00/299.16 c RESTART 299.00/299.18 c RESTART 299.89/300.07 c RESTART 299.89/300.08 c RESTART 299.99/300.15 c RESTART 299.99/300.17 c RESTART 299.99/300.19 c RESTART 300.10/300.23 c RESTART 300.10/300.25 c RESTART 300.10/300.27 c RESTART 300.20/300.30 c RESTART 300.20/300.32 c RESTART 300.20/300.34 c RESTART 300.20/300.37 c RESTART 300.29/300.40 c RESTART 300.29/300.42 c RESTART 300.29/300.45 c RESTART 300.59/300.70 c RESTART 300.59/300.72 c RESTART 300.59/300.75 c RESTART 300.59/300.77 c RESTART 300.69/300.80 c RESTART 300.69/300.83 c RESTART 300.69/300.87 c RESTART 300.69/300.89 c RESTART 300.79/300.91 c RESTART 300.79/300.93 c RESTART 300.79/300.95 c RESTART 300.79/300.97 c RESTART 300.89/301.01 c RESTART 300.89/301.03 c RESTART 300.99/301.11 c RESTART 300.99/301.12 c RESTART 300.99/301.14 c RESTART 300.99/301.17 c RESTART 301.09/301.27 c RESTART 301.09/301.28 c RESTART 301.20/301.31 c RESTART 301.20/301.37 c RESTART 301.20/301.40 c RESTART 305.89/306.03 c RESTART 305.99/306.15 c RESTART 305.99/306.17 c RESTART 308.29/308.43 c RESTART 308.29/308.46 c RESTART 308.29/308.49 c RESTART 308.39/308.52 c RESTART 308.39/308.54 c RESTART 308.39/308.57 c RESTART 308.49/308.60 c RESTART 308.49/308.62 c RESTART 308.49/308.64 c RESTART 308.59/308.76 c RESTART 308.59/308.78 c RESTART 308.69/308.81 c RESTART 308.69/308.83 c RESTART 308.69/308.88 c RESTART 308.79/308.90 c RESTART 308.79/308.94 c RESTART 308.79/308.99 c RESTART 308.90/309.02 c RESTART 309.19/309.32 c RESTART 309.19/309.36 c RESTART 309.29/309.46 c RESTART 309.29/309.48 c RESTART 309.39/309.51 c RESTART 309.39/309.54 c RESTART 309.39/309.58 c RESTART 309.39/309.59 c RESTART 309.49/309.66 c RESTART 309.49/309.69 c RESTART 313.79/313.99 c RESTART 315.29/315.48 c RESTART 315.39/315.53 c RESTART 315.39/315.59 c RESTART 315.50/315.61 c RESTART 315.50/315.63 c RESTART 316.29/316.41 c RESTART 330.09/330.21 c RESTART 330.19/330.32 c RESTART 330.19/330.34 c RESTART 330.29/330.40 c RESTART 330.29/330.48 c RESTART 330.39/330.53 c RESTART 330.59/330.71 c RESTART 330.59/330.75 c RESTART 330.59/330.80 c RESTART 330.69/330.82 c RESTART 330.69/330.84 c RESTART 330.69/330.88 c RESTART 330.89/331.00 c RESTART 330.89/331.02 c RESTART 330.89/331.04 c RESTART 330.89/331.08 c RESTART 330.99/331.12 c RESTART 331.69/331.85 c RESTART 331.69/331.88 c RESTART 331.79/331.91 c RESTART 331.79/331.95 c RESTART 331.79/331.98 c RESTART 331.89/332.02 c RESTART 331.89/332.07 c RESTART 331.99/332.10 c RESTART 331.99/332.13 c RESTART 331.99/332.16 c RESTART 332.09/332.21 c RESTART 332.09/332.24 c RESTART 332.19/332.33 c RESTART 332.19/332.36 c RESTART 332.29/332.41 c RESTART 332.29/332.43 c RESTART 332.29/332.45 c RESTART 332.29/332.47 c RESTART 332.29/332.49 c RESTART 332.49/332.64 c RESTART 332.49/332.66 c RESTART 342.99/343.15 c RESTART 347.19/347.33 c RESTART 349.69/349.88 c RESTART 350.09/350.29 c RESTART 350.59/350.76 c RESTART 350.69/350.81 c RESTART 350.69/350.88 c RESTART 350.79/350.91 c RESTART 350.79/350.99 c RESTART 350.89/351.02 c RESTART 350.89/351.06 c RESTART 350.99/351.10 c RESTART 350.99/351.14 c RESTART 356.39/356.58 c RESTART 356.49/356.61 c RESTART 356.49/356.63 c RESTART 356.49/356.65 c RESTART 356.59/356.70 c RESTART 356.59/356.73 c RESTART 356.69/356.86 c RESTART 356.79/356.93 c RESTART 356.89/357.01 c RESTART 356.89/357.03 c RESTART 356.89/357.06 c RESTART 356.89/357.09 c RESTART 356.99/357.10 c RESTART 356.99/357.13 c RESTART 356.99/357.15 c RESTART 356.99/357.18 c RESTART 357.09/357.21 c RESTART 357.09/357.24 c RESTART 357.09/357.27 c RESTART 357.19/357.32 c RESTART 357.19/357.35 c RESTART 357.29/357.40 c RESTART 357.39/357.57 c RESTART 357.39/357.59 c RESTART 357.49/357.62 c RESTART 357.49/357.65 c RESTART 357.49/357.69 c RESTART 357.59/357.73 c RESTART 357.59/357.77 c RESTART 357.69/357.81 c RESTART 357.69/357.85 c RESTART 357.69/357.89 c RESTART 357.79/357.95 c RESTART 357.89/358.06 c RESTART 357.89/358.09 c RESTART 357.99/358.11 c RESTART 358.09/358.22 c RESTART 359.99/360.12 c RESTART 359.99/360.15 c RESTART 359.99/360.18 c RESTART 360.09/360.21 c RESTART 360.09/360.26 c RESTART 360.09/360.29 c RESTART 360.19/360.33 c RESTART 360.19/360.37 c RESTART 360.69/360.84 c RESTART 360.69/360.89 c RESTART 360.89/361.08 c RESTART 360.99/361.11 c RESTART 360.99/361.14 c RESTART 361.09/361.21 c RESTART 361.09/361.26 c RESTART 361.09/361.29 c RESTART 361.19/361.34 c RESTART 361.19/361.38 c RESTART 361.29/361.43 c RESTART 361.39/361.58 c RESTART 361.49/361.61 c RESTART 361.49/361.65 c RESTART 361.49/361.69 c RESTART 361.89/362.03 c RESTART 361.89/362.07 c RESTART 370.19/370.38 c RESTART 371.09/371.30 c RESTART 371.19/371.34 c RESTART 371.19/371.37 c RESTART 371.29/371.43 c RESTART 639.70/639.87 c RESTART 796.21/796.30 c RESTART 796.21/796.38 c RESTART 796.31/796.42 c RESTART 796.31/796.45 c RESTART 796.31/796.48 c RESTART 796.41/796.50 c RESTART 796.41/796.53 c RESTART 796.51/796.68 c RESTART 796.61/796.71 c RESTART 796.61/796.79 c RESTART 796.81/796.95 c RESTART 796.81/796.98 c RESTART 797.01/797.12 c RESTART 797.01/797.17 c RESTART 797.11/797.23 c RESTART 797.11/797.29 c RESTART 805.71/805.80 c RESTART 805.71/805.90 c RESTART 808.21/808.37 c RESTART 810.21/810.37 c RESTART 810.31/810.42 c RESTART 810.31/810.45 c RESTART 810.31/810.49 c RESTART 810.41/810.53 c RESTART 810.41/810.58 c RESTART 810.51/810.63 c RESTART 810.51/810.68 c RESTART 810.61/810.73 c RESTART 810.61/810.79 c RESTART 810.71/810.83 c RESTART 810.71/810.89 c RESTART 810.81/810.93 c RESTART 810.91/811.02 c RESTART 810.91/811.06 c RESTART 810.91/811.09 c RESTART 811.01/811.12 c RESTART 811.01/811.15 c RESTART 811.01/811.19 c RESTART 811.11/811.23 c RESTART 811.31/811.45 c RESTART 827.91/828.07 c RESTART 828.01/828.17 c RESTART 837.71/837.81 c RESTART 837.71/837.89 c RESTART 838.11/838.27 c RESTART 838.21/838.37 c RESTART 838.31/838.45 c RESTART 838.31/838.49 c RESTART 838.41/838.55 c RESTART 838.61/838.75 c RESTART 838.61/838.76 c RESTART 838.61/838.78 c RESTART 838.71/838.81 c RESTART 838.71/838.83 c RESTART 838.71/838.87 c RESTART 838.71/838.90 c RESTART 838.81/838.93 c RESTART 838.81/838.96 c RESTART 838.91/839.01 c RESTART 839.01/839.11 c RESTART 839.41/839.56 c RESTART 839.51/839.64 c RESTART 839.51/839.68 c RESTART 839.61/839.73 c RESTART 839.71/839.88 c RESTART 839.81/839.90 c RESTART 839.81/839.93 c RESTART 839.81/839.98 c RESTART 839.91/840.02 c RESTART 839.91/840.06 c RESTART 839.91/840.09 c RESTART 840.01/840.11 c RESTART 840.01/840.14 c RESTART 840.01/840.19 c RESTART 840.11/840.22 c RESTART 840.11/840.25 c RESTART 840.11/840.28 c RESTART 840.31/840.42 c RESTART 840.31/840.45 c RESTART 840.41/840.55 c RESTART 840.51/840.68 c RESTART 840.61/840.72 c RESTART 840.61/840.74 c RESTART 844.31/844.41 c RESTART 844.31/844.43 c RESTART 844.31/844.45 c RESTART 844.31/844.48 c RESTART 844.41/844.53 c RESTART 844.41/844.55 c RESTART 844.41/844.60 c RESTART 862.71/862.88 c RESTART 863.21/863.33 c RESTART 863.41/863.59 c RESTART 863.51/863.64 c RESTART 864.11/864.26 c RESTART 864.31/864.41 c RESTART 865.21/865.33 c RESTART 865.21/865.37 c RESTART 865.31/865.45 c RESTART 865.31/865.49 c RESTART 865.41/865.53 c RESTART 865.41/865.57 c RESTART 865.61/865.74 c RESTART 865.61/865.79 c RESTART 865.71/865.86 c RESTART 866.11/866.22 c RESTART 866.31/866.41 c RESTART 866.31/866.48 c RESTART 866.41/866.50 c RESTART 866.41/866.53 c RESTART 867.41/867.53 c RESTART 867.51/867.62 c RESTART 869.91/870.10 c RESTART 870.01/870.13 c RESTART 873.91/874.07 c RESTART 874.01/874.10 c RESTART 874.01/874.14 c RESTART 874.01/874.17 c RESTART 874.11/874.23 c RESTART 874.11/874.25 c RESTART 874.11/874.28 c RESTART 874.21/874.35 c RESTART 874.51/874.63 c RESTART 874.51/874.67 c RESTART 874.91/875.02 c RESTART 874.91/875.06 c RESTART 876.01/876.10 c RESTART 892.31/892.41 c RESTART 906.61/906.77 c RESTART 907.41/907.51 c RESTART 907.51/907.62 c RESTART 907.51/907.65 c RESTART 907.51/907.69 c RESTART 907.81/907.92 c RESTART 907.81/907.96 c RESTART 907.91/908.04 c RESTART 907.91/908.06 c RESTART 908.01/908.11 c RESTART 910.71/910.87 c RESTART 910.81/910.92 c RESTART 910.81/910.99 c RESTART 910.91/911.03 c RESTART 910.91/911.08 c RESTART 911.01/911.16 c RESTART 911.11/911.23 c RESTART 911.11/911.29 c RESTART 911.21/911.33 c RESTART 911.31/911.40 c RESTART 911.31/911.45 c RESTART 911.41/911.50 c RESTART 911.41/911.52 c RESTART 911.41/911.59 c RESTART 911.51/911.64 c RESTART 911.51/911.68 c RESTART 911.61/911.73 c RESTART 911.61/911.76 c RESTART 911.61/911.79 c RESTART 911.71/911.84 c RESTART 911.71/911.87 c RESTART 912.31/912.48 c RESTART 912.41/912.52 c RESTART 912.51/912.60 c RESTART 912.51/912.64 c RESTART 912.51/912.68 c RESTART 912.61/912.72 c RESTART 912.61/912.78 c RESTART 912.71/912.85 c RESTART 913.11/913.27 c RESTART 913.21/913.35 c RESTART 913.31/913.40 c RESTART 913.41/913.53 c RESTART 913.41/913.59 c RESTART 913.51/913.64 c RESTART 913.61/913.73 c RESTART 913.61/913.76 c RESTART 913.71/913.81 c RESTART 913.71/913.88 c RESTART 913.81/913.92 c RESTART 913.81/913.97 c RESTART 913.91/914.01 c RESTART 915.71/915.89 c RESTART 915.81/915.93 c RESTART 915.91/916.00 c RESTART 915.91/916.06 c RESTART 916.01/916.19 c RESTART 916.11/916.25 c RESTART 916.21/916.33 c RESTART 916.21/916.36 c RESTART 916.31/916.40 c RESTART 916.41/916.54 c RESTART 916.51/916.68 c RESTART 916.61/916.73 c RESTART 916.81/916.94 c RESTART 917.01/917.10 c RESTART 924.41/924.54 c RESTART 924.41/924.58 c RESTART 924.51/924.63 c RESTART 924.61/924.71 c RESTART 924.71/924.85 c RESTART 924.81/924.90 c RESTART 924.91/925.01 c RESTART 924.91/925.08 c RESTART 925.01/925.12 c RESTART 925.01/925.16 c RESTART 925.01/925.19 c RESTART 925.11/925.26 c RESTART 925.21/925.37 c RESTART 925.31/925.42 c RESTART 925.31/925.47 c RESTART 925.41/925.53 c RESTART 925.51/925.64 c RESTART 925.61/925.72 c RESTART 925.61/925.76 c RESTART 928.21/928.32 c RESTART 930.11/930.27 c RESTART 930.21/930.30 c RESTART 930.41/930.58 c RESTART 930.51/930.63 c RESTART 930.51/930.69 c RESTART 930.61/930.73 c RESTART 932.91/933.08 c RESTART 947.02/947.15 c RESTART 947.11/947.24 c RESTART 947.21/947.31 c RESTART 947.21/947.39 c RESTART 947.31/947.44 c RESTART 947.41/947.51 c RESTART 947.41/947.55 c RESTART 947.51/947.60 c RESTART 947.51/947.64 c RESTART 947.61/947.71 c RESTART 947.61/947.75 c RESTART 947.71/947.80 c RESTART 947.91/948.03 c RESTART 947.91/948.07 c RESTART 948.01/948.12 c RESTART 948.01/948.17 c RESTART 948.11/948.22 c RESTART 948.11/948.28 c RESTART 948.21/948.33 c RESTART 952.21/952.30 c RESTART 952.42/952.54 c RESTART 952.61/952.70 c RESTART 952.61/952.77 c RESTART 952.71/952.82 c RESTART 952.71/952.89 c RESTART 953.01/953.12 c RESTART 953.11/953.20 c RESTART 953.11/953.26 c RESTART 953.21/953.31 c RESTART 953.31/953.41 c RESTART 953.31/953.46 c RESTART 953.41/953.55 c RESTART 953.52/953.63 c RESTART 953.52/953.67 c RESTART 953.91/954.05 c RESTART 954.31/954.41 c RESTART 954.31/954.45 c RESTART 954.41/954.50 c RESTART 965.31/965.42 c RESTART 965.31/965.46 c RESTART 965.41/965.50 c RESTART 965.41/965.53 c RESTART 965.41/965.58 c RESTART 965.51/965.64 c RESTART 965.51/965.67 c RESTART 970.21/970.31 c RESTART 970.61/970.71 c RESTART 970.71/970.80 c RESTART 970.71/970.83 c RESTART 970.71/970.86 c RESTART 970.81/970.92 c RESTART 970.81/970.97 c RESTART 970.91/971.01 c RESTART 970.91/971.05 c RESTART 971.01/971.11 c RESTART 971.01/971.16 c RESTART 971.12/971.21 c RESTART 971.12/971.26 c RESTART 971.22/971.33 c RESTART 971.31/971.41 c RESTART 971.31/971.46 c RESTART 971.41/971.53 c RESTART 971.41/971.57 c RESTART 971.51/971.64 c RESTART 971.51/971.69 c RESTART 971.61/971.76 c RESTART 971.71/971.81 c RESTART 971.71/971.87 c RESTART 971.81/971.90 c RESTART 971.81/971.95 c RESTART 971.81/971.98 c RESTART 971.91/972.02 c RESTART 972.01/972.15 c RESTART 972.11/972.26 c RESTART 972.22/972.34 c RESTART 973.01/973.16 c RESTART 973.11/973.21 c RESTART 973.11/973.27 c RESTART 973.21/973.38 c RESTART 973.32/973.46 c RESTART 973.42/973.51 c RESTART 973.42/973.59 c RESTART 973.81/973.98 c RESTART 978.11/978.21 c RESTART 978.21/978.33 c RESTART 978.31/978.40 c RESTART 978.31/978.47 c RESTART 978.41/978.58 c RESTART 979.51/979.65 c RESTART 979.51/979.69 c RESTART 979.61/979.73 c RESTART 979.61/979.77 c RESTART 979.61/979.78 c RESTART 979.71/979.83 c RESTART 979.81/979.91 c RESTART 979.81/979.97 c RESTART 979.81/979.99 c RESTART 979.92/980.02 c RESTART 979.92/980.04 c RESTART 979.92/980.06 c RESTART 979.92/980.10 c RESTART 980.02/980.13 c RESTART 980.02/980.14 c RESTART 980.02/980.17 c RESTART 980.11/980.21 c RESTART 980.11/980.23 c RESTART 980.11/980.26 c RESTART 980.11/980.29 c RESTART 980.21/980.33 c RESTART 980.21/980.36 c RESTART 980.81/980.94 c RESTART 980.81/980.98 c RESTART 980.91/981.09 c RESTART 981.02/981.13 c RESTART 981.02/981.18 c RESTART 981.12/981.22 c RESTART 981.12/981.27 c RESTART 981.21/981.33 c RESTART 981.31/981.40 c RESTART 981.31/981.43 c RESTART 981.31/981.47 c RESTART 981.41/981.50 c RESTART 981.41/981.56 c RESTART 981.51/981.60 c RESTART 981.51/981.64 c RESTART 981.51/981.68 c RESTART 981.61/981.74 c RESTART 981.71/981.86 c RESTART 981.81/981.91 c RESTART 981.81/981.95 c RESTART 981.81/981.98 c RESTART 981.91/982.03 c RESTART 981.91/982.09 c RESTART 982.01/982.12 c RESTART 982.31/982.42 c RESTART 987.01/987.19 c RESTART 987.11/987.23 c RESTART 987.21/987.31 c RESTART 987.21/987.36 c RESTART 987.31/987.40 c RESTART 987.31/987.46 c RESTART 987.41/987.51 c RESTART 987.41/987.53 c RESTART 987.51/987.61 c RESTART 988.11/988.21 c RESTART 988.11/988.24 c RESTART 988.11/988.27 c RESTART 988.21/988.30 c RESTART 988.21/988.34 c RESTART 988.21/988.37 c RESTART 989.11/989.26 c RESTART 989.31/989.43 c RESTART 989.41/989.59 c RESTART 989.82/989.98 c RESTART 1017.01/1017.18 c RESTART 1017.11/1017.22 c RESTART 1017.11/1017.25 c RESTART 1017.11/1017.29 c RESTART 1038.32/1038.47 c RESTART 1038.41/1038.50 c RESTART 1038.41/1038.55 c RESTART 1038.51/1038.65 c RESTART 1038.81/1038.94 c RESTART 1038.81/1038.98 c RESTART 1038.91/1039.07 c RESTART 1040.81/1040.94 c RESTART 1054.01/1054.10 c RESTART 1056.71/1056.85 c RESTART 1056.81/1056.93 c RESTART 1056.81/1056.96 c RESTART 1056.92/1057.01 c RESTART 1057.02/1057.13 c RESTART 1057.02/1057.17 c RESTART 1057.11/1057.21 c RESTART 1057.11/1057.25 c RESTART 1057.11/1057.29 c RESTART 1057.21/1057.32 c RESTART 1118.72/1118.89 c RESTART 1118.92/1119.01 c RESTART 1118.92/1119.06 c RESTART 1119.02/1119.10 c RESTART 1119.02/1119.16 c RESTART 1119.02/1119.19 c RESTART 1119.12/1119.23 c RESTART 1119.12/1119.27 c RESTART 1119.22/1119.31 c RESTART 1119.22/1119.37 c RESTART 1119.32/1119.43 c RESTART 1119.32/1119.48 c RESTART 1119.42/1119.57 c RESTART 1119.52/1119.63 c RESTART 1119.52/1119.67 c RESTART 1119.62/1119.73 c RESTART 1119.62/1119.77 c RESTART 1119.72/1119.81 c RESTART 1119.72/1119.88 c RESTART 1119.82/1119.93 c RESTART 1119.82/1119.99 c RESTART 1119.92/1120.07 c RESTART 1120.02/1120.11 c RESTART 1120.12/1120.23 c RESTART 1120.22/1120.31 c RESTART 1120.32/1120.40 c RESTART 1120.32/1120.45 c RESTART 1121.92/1122.07 c RESTART 1122.02/1122.12 c RESTART 1122.02/1122.18 c RESTART 1122.12/1122.26 c RESTART 1122.22/1122.30 c RESTART 1122.22/1122.36 c RESTART 1123.22/1123.30 c RESTART 1123.22/1123.38 c RESTART 1125.92/1126.07 c RESTART 1126.02/1126.12 c RESTART 1126.12/1126.21 c RESTART 1126.12/1126.26 c RESTART 1127.02/1127.12 c RESTART 1131.32/1131.41 c RESTART 1131.32/1131.47 c RESTART 1131.42/1131.52 c RESTART 1131.42/1131.55 c RESTART 1131.52/1131.62 c RESTART 1131.52/1131.67 c RESTART 1131.62/1131.72 c RESTART 1131.62/1131.76 c RESTART 1131.72/1131.82 c RESTART 1131.72/1131.86 c RESTART 1136.52/1136.63 c RESTART 1136.52/1136.67 c RESTART 1136.62/1136.76 c RESTART 1137.62/1137.71 c RESTART 1139.12/1139.25 c RESTART 1139.22/1139.30 c RESTART 1139.22/1139.38 c RESTART 1139.32/1139.44 c RESTART 1139.42/1139.52 c RESTART 1139.42/1139.57 c RESTART 1139.52/1139.62 c RESTART 1139.92/1140.01 c RESTART 1140.02/1140.12 c RESTART 1201.92/1202.00 c RESTART 1206.22/1206.39 c RESTART 1206.32/1206.46 c RESTART 1206.42/1206.51 c RESTART 1206.52/1206.68 c RESTART 1206.72/1206.83 c RESTART 1206.72/1206.89 c RESTART 1207.32/1207.44 c RESTART 1207.42/1207.52 c RESTART 1207.62/1207.80 c RESTART 1207.72/1207.84 c RESTART 1207.72/1207.89 c RESTART 1207.82/1207.94 c RESTART 1207.82/1207.98 c RESTART 1207.92/1208.03 c RESTART 1208.12/1208.22 c RESTART 1208.12/1208.28 c RESTART 1208.22/1208.39 c RESTART 1208.32/1208.46 c RESTART 1208.42/1208.52 c RESTART 1208.62/1208.75 c RESTART 1209.02/1209.18 c RESTART 1209.12/1209.21 c RESTART 1209.12/1209.25 c RESTART 1209.12/1209.29 c RESTART 1209.22/1209.35 c RESTART 1209.92/1210.00 c RESTART 1209.92/1210.06 c RESTART 1209.92/1210.09 c RESTART 1210.02/1210.14 c RESTART 1210.12/1210.23 c RESTART 1210.12/1210.29 c RESTART 1210.22/1210.36 c RESTART 1210.32/1210.44 c RESTART 1210.32/1210.49 c RESTART 1210.42/1210.53 c RESTART 1210.52/1210.64 c RESTART 1210.62/1210.70 c RESTART 1211.02/1211.15 c RESTART 1211.12/1211.22 c RESTART 1211.12/1211.29 c RESTART 1211.22/1211.35 c RESTART 1211.32/1211.47 c RESTART 1211.52/1211.61 c RESTART 1212.02/1212.12 c RESTART 1212.02/1212.16 c RESTART 1212.12/1212.21 c RESTART 1212.12/1212.28 c RESTART 1212.22/1212.34 c RESTART 1212.22/1212.38 c RESTART 1212.32/1212.42 c RESTART 1212.32/1212.46 c RESTART 1212.32/1212.49 c RESTART 1212.42/1212.53 c RESTART 1212.42/1212.58 c RESTART 1212.52/1212.60 c RESTART 1212.52/1212.64 c RESTART 1212.52/1212.69 c RESTART 1212.62/1212.73 c RESTART 1212.62/1212.77 c RESTART 1212.72/1212.80 c RESTART 1212.72/1212.85 c RESTART 1212.82/1212.92 c RESTART 1212.92/1213.00 c RESTART 1212.92/1213.04 c RESTART 1212.92/1213.07 c RESTART 1213.02/1213.10 c RESTART 1213.02/1213.16 c RESTART 1213.12/1213.25 c RESTART 1213.22/1213.38 c RESTART 1213.32/1213.41 c RESTART 1213.32/1213.45 c RESTART 1213.42/1213.50 c RESTART 1213.42/1213.53 c RESTART 1213.42/1213.58 c RESTART 1213.52/1213.62 c RESTART 1213.52/1213.65 c RESTART 1213.62/1213.70 c RESTART 1213.62/1213.74 c RESTART 1213.62/1213.79 c RESTART 1213.72/1213.82 c RESTART 1213.72/1213.86 c RESTART 1215.42/1215.54 c RESTART 1215.42/1215.58 c RESTART 1215.52/1215.69 c RESTART 1215.82/1215.98 c RESTART 1215.92/1216.03 c RESTART 1215.92/1216.08 c RESTART 1216.02/1216.11 c RESTART 1216.02/1216.18 c RESTART 1216.12/1216.22 c RESTART 1216.22/1216.30 c RESTART 1241.52/1241.66 c RESTART 1241.62/1241.72 c RESTART 1241.62/1241.77 c RESTART 1241.72/1241.83 c RESTART 1241.72/1241.87 c RESTART 1241.82/1241.90 c RESTART 1242.12/1242.20 c RESTART 1242.62/1242.74 c RESTART 1242.62/1242.79 c RESTART 1243.22/1243.36 c RESTART 1243.32/1243.41 c RESTART 1243.32/1243.45 c RESTART 1243.42/1243.51 c RESTART 1243.42/1243.57 c RESTART 1243.52/1243.62 c RESTART 1243.52/1243.66 c RESTART 1243.62/1243.71 c RESTART 1243.62/1243.76 c RESTART 1243.72/1243.86 c RESTART 1243.72/1243.88 c RESTART 1243.82/1243.91 c RESTART 1243.82/1243.97 c RESTART 1243.92/1244.01 c RESTART 1244.42/1244.58 c RESTART 1244.52/1244.65 c RESTART 1244.52/1244.69 c RESTART 1244.62/1244.76 c RESTART 1244.72/1244.84 c RESTART 1244.92/1245.03 c RESTART 1245.02/1245.16 c RESTART 1245.32/1245.40 c RESTART 1245.32/1245.46 c RESTART 1245.42/1245.52 c RESTART 1245.42/1245.57 c RESTART 1245.72/1245.86 c RESTART 1246.42/1246.54 c RESTART 1246.62/1246.73 c RESTART 1246.62/1246.77 c RESTART 1246.72/1246.83 c RESTART 1246.72/1246.89 c RESTART 1246.82/1246.93 c RESTART 1246.92/1247.01 c RESTART 1247.02/1247.14 c RESTART 1247.02/1247.18 c RESTART 1247.12/1247.22 c RESTART 1247.12/1247.25 c RESTART 1247.12/1247.29 c RESTART 1247.22/1247.35 c RESTART 1247.32/1247.42 c RESTART 1247.42/1247.50 c RESTART 1247.42/1247.59 c RESTART 1247.52/1247.66 c RESTART 1247.82/1247.90 c RESTART 1250.42/1250.56 c RESTART 1253.82/1253.96 c RESTART 1253.92/1254.03 c RESTART
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) 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-3274224-1303610195/watcher-3274224-1303610195 -o /tmp/evaluation-result-3274224-1303610195/solver-3274224-1303610195 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3274224-1303610195.cnf running on 2 cores: 4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.30 2.85 2.99 4/182 25334 /proc/meminfo: memFree=14474460/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=11800 CPUtime=0 cores=4,6 /proc/25334/stat : 25334 (runsolver) R 25332 25334 24048 0 -1 4202560 43 0 0 0 0 0 0 0 22 0 1 0 472617360 12083200 53 33554432000 4194304 5434984 140734330732880 18446744073709551615 4708608 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/25334/statm: 2950 55 34 303 0 2644 0 [startup+0.0648551 s] /proc/loadavg: 2.30 2.85 2.99 4/182 25334 /proc/meminfo: memFree=14474460/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=6500 CPUtime=0.05 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 222 0 0 0 5 0 0 0 22 0 1 0 472617360 6656000 162 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198754 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 1625 162 101 5 0 96 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 6500 [startup+0.100869 s] /proc/loadavg: 2.30 2.85 2.99 4/182 25334 /proc/meminfo: memFree=14474460/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=6500 CPUtime=0.09 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 226 0 0 0 9 0 0 0 22 0 1 0 472617360 6656000 166 33554432000 4194304 4210924 140735958398128 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 1625 166 101 5 0 96 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6500 [startup+0.300766 s] /proc/loadavg: 2.30 2.85 2.99 4/182 25334 /proc/meminfo: memFree=14474460/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=6500 CPUtime=0.29 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 246 0 0 0 29 0 0 0 23 0 1 0 472617360 6656000 186 33554432000 4194304 4210924 140735958398128 18446744073709551615 4200733 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25334/statm: 1625 186 101 5 0 96 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6500 [startup+0.700677 s] /proc/loadavg: 2.30 2.85 2.99 4/182 25334 /proc/meminfo: memFree=14474460/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=6632 CPUtime=0.69 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 248 0 0 0 69 0 0 0 25 0 1 0 472617360 6791168 188 33554432000 4194304 4210924 140735958398128 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25334/statm: 1658 188 101 5 0 129 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6632 [startup+1.50053 s] /proc/loadavg: 2.30 2.85 2.99 4/184 25336 /proc/meminfo: memFree=14473412/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=6632 CPUtime=1.48 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 279 0 0 0 148 0 0 0 25 0 1 0 472617360 6791168 219 33554432000 4194304 4210924 140735958398128 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25334/statm: 1658 219 101 5 0 129 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6632 [startup+3.10023 s] /proc/loadavg: 2.28 2.84 2.98 4/184 25336 /proc/meminfo: memFree=14472916/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=6632 CPUtime=3.08 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 279 0 0 0 308 0 0 0 25 0 1 0 472617360 6791168 219 33554432000 4194304 4210924 140735958398128 18446744073709551615 4205253 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25334/statm: 1658 219 101 5 0 129 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 6632 [startup+6.30064 s] /proc/loadavg: 2.28 2.84 2.98 3/184 25336 /proc/meminfo: memFree=14472920/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=6632 CPUtime=6.27 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 279 0 0 0 627 0 0 0 25 0 1 0 472617360 6791168 219 33554432000 4194304 4210924 140735958398128 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25334/statm: 1658 219 101 5 0 129 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 6632 [startup+12.7004 s] /proc/loadavg: 2.23 2.81 2.97 4/182 25336 /proc/meminfo: memFree=14472832/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=6768 CPUtime=12.65 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 323 0 0 0 1265 0 0 0 25 0 1 0 472617360 6930432 263 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25334/statm: 1692 263 111 5 0 163 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 6768 [startup+25.5011 s] /proc/loadavg: 2.20 2.78 2.96 4/182 25337 /proc/meminfo: memFree=14473080/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=6900 CPUtime=25.43 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 345 0 0 0 2543 0 0 0 25 0 1 0 472617360 7065600 285 33554432000 4194304 4210924 140735958398128 18446744073709551615 4201721 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25334/statm: 1725 285 111 5 0 196 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 6900 [startup+51.1003 s] /proc/loadavg: 2.26 2.75 2.94 4/182 25337 /proc/meminfo: memFree=14472692/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=7032 CPUtime=50.99 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 389 0 0 0 5099 0 0 0 25 0 1 0 472617360 7200768 329 33554432000 4194304 4210924 140735958398128 18446744073709551615 4207011 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25334/statm: 1758 329 111 5 0 229 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 7032 [startup+102.306 s] /proc/loadavg: 1.82 2.56 2.87 2/176 25356 /proc/meminfo: memFree=14473376/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=7432 CPUtime=102.19 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 468 0 0 0 10219 0 0 0 25 0 1 0 472617360 7610368 408 33554432000 4194304 4210924 140735958398128 18446744073709551615 4204822 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 1858 408 111 5 0 329 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 7432 [startup+162.301 s] /proc/loadavg: 1.33 2.29 2.76 2/176 25357 /proc/meminfo: memFree=14472852/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=7840 CPUtime=162.19 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 591 0 0 0 16219 0 0 0 25 0 1 0 472617360 8028160 531 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 1960 531 112 5 0 431 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 7840 [startup+222.301 s] /proc/loadavg: 1.11 2.04 2.63 2/176 25359 /proc/meminfo: memFree=14472964/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=7840 CPUtime=222.19 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 591 0 0 0 22219 0 0 0 25 0 1 0 472617360 8028160 531 33554432000 4194304 4210924 140735958398128 18446744073709551615 4201732 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 1960 531 112 5 0 431 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 7840 [startup+282.3 s] /proc/loadavg: 1.11 1.88 2.54 2/176 25370 /proc/meminfo: memFree=14473584/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=7840 CPUtime=282.19 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 591 0 0 0 28219 0 0 0 25 0 1 0 472617360 8028160 531 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198754 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 1960 531 112 5 0 431 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 7840 [startup+342.3 s] /proc/loadavg: 1.10 1.72 2.44 2/176 25844 /proc/meminfo: memFree=14484596/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=7988 CPUtime=342.19 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 627 0 0 0 34219 0 0 0 25 0 1 0 472617360 8179712 567 33554432000 4194304 4210924 140735958398128 18446744073709551615 4206153 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 1997 567 112 5 0 468 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 7988 [startup+402.301 s] /proc/loadavg: 1.11 1.61 2.36 2/176 25846 /proc/meminfo: memFree=14486936/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=8120 CPUtime=402.19 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 661 0 0 0 40219 0 0 0 25 0 1 0 472617360 8314880 601 33554432000 4194304 4210924 140735958398128 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2030 601 112 5 0 501 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 8120 [startup+462.301 s] /proc/loadavg: 1.04 1.49 2.27 2/176 25847 /proc/meminfo: memFree=14487048/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=8120 CPUtime=462.19 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 661 0 0 0 46219 0 0 0 25 0 1 0 472617360 8314880 601 33554432000 4194304 4210924 140735958398128 18446744073709551615 4205153 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2030 601 112 5 0 501 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 8120 [startup+522.301 s] /proc/loadavg: 1.05 1.42 2.20 2/176 25852 /proc/meminfo: memFree=14486724/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=8120 CPUtime=522.19 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 661 0 0 0 52219 0 0 0 25 0 1 0 472617360 8314880 601 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2030 601 112 5 0 501 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 8120 [startup+582.301 s] /proc/loadavg: 1.06 1.35 2.12 2/176 25854 /proc/meminfo: memFree=14486716/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=8120 CPUtime=582.19 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 661 0 0 0 58219 0 0 0 25 0 1 0 472617360 8314880 601 33554432000 4194304 4210924 140735958398128 18446744073709551615 4201682 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2030 601 112 5 0 501 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 8120 [startup+642.3 s] /proc/loadavg: 1.07 1.30 2.05 2/176 25855 /proc/meminfo: memFree=14486704/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=8120 CPUtime=642.2 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 661 0 0 0 64220 0 0 0 25 0 1 0 472617360 8314880 601 33554432000 4194304 4210924 140735958398128 18446744073709551615 4197169 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2030 601 112 5 0 501 0 Current children cumulated CPU time (s) 642.2 Current children cumulated vsize (KiB) 8120 [startup+702.3 s] /proc/loadavg: 1.02 1.24 1.98 2/176 25857 /proc/meminfo: memFree=14486568/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=8120 CPUtime=702.2 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 661 0 0 0 70219 1 0 0 25 0 1 0 472617360 8314880 601 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198616 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2030 601 112 5 0 501 0 Current children cumulated CPU time (s) 702.2 Current children cumulated vsize (KiB) 8120 [startup+762.306 s] /proc/loadavg: 1.01 1.19 1.92 2/176 25858 /proc/meminfo: memFree=14486564/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=8120 CPUtime=762.21 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 661 0 0 0 76220 1 0 0 25 0 1 0 472617360 8314880 601 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2030 601 112 5 0 501 0 Current children cumulated CPU time (s) 762.21 Current children cumulated vsize (KiB) 8120 [startup+822.301 s] /proc/loadavg: 1.00 1.16 1.86 2/176 25860 /proc/meminfo: memFree=14486320/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=8384 CPUtime=822.21 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 727 0 0 0 82220 1 0 0 25 0 1 0 472617360 8585216 667 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2096 667 112 5 0 567 0 Current children cumulated CPU time (s) 822.21 Current children cumulated vsize (KiB) 8384 [startup+882.301 s] /proc/loadavg: 1.00 1.12 1.80 2/176 25862 /proc/meminfo: memFree=14486180/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=8540 CPUtime=882.21 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 767 0 0 0 88220 1 0 0 25 0 1 0 472617360 8744960 707 33554432000 4194304 4210924 140735958398128 18446744073709551615 4197329 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2135 707 113 5 0 606 0 Current children cumulated CPU time (s) 882.21 Current children cumulated vsize (KiB) 8540 [startup+942.301 s] /proc/loadavg: 1.00 1.10 1.75 2/176 25863 /proc/meminfo: memFree=14485792/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=8672 CPUtime=942.21 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 801 0 0 0 94220 1 0 0 25 0 1 0 472617360 8880128 741 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198647 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2168 741 113 5 0 639 0 Current children cumulated CPU time (s) 942.21 Current children cumulated vsize (KiB) 8672 [startup+1002.3 s] /proc/loadavg: 1.00 1.08 1.70 2/176 25865 /proc/meminfo: memFree=14485284/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=9460 CPUtime=1002.21 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 998 0 0 0 100220 1 0 0 25 0 1 0 472617360 9687040 938 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2365 938 113 5 0 836 0 Current children cumulated CPU time (s) 1002.21 Current children cumulated vsize (KiB) 9460 [startup+1062.3 s] /proc/loadavg: 1.00 1.06 1.66 2/176 25866 /proc/meminfo: memFree=14485272/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=9460 CPUtime=1062.21 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 998 0 0 0 106220 1 0 0 25 0 1 0 472617360 9687040 938 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198726 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2365 938 113 5 0 836 0 Current children cumulated CPU time (s) 1062.21 Current children cumulated vsize (KiB) 9460 [startup+1122.3 s] /proc/loadavg: 1.00 1.05 1.61 2/176 25868 /proc/meminfo: memFree=14485388/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=9460 CPUtime=1122.22 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 998 0 0 0 112221 1 0 0 25 0 1 0 472617360 9687040 938 33554432000 4194304 4210924 140735958398128 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2365 938 113 5 0 836 0 Current children cumulated CPU time (s) 1122.22 Current children cumulated vsize (KiB) 9460 [startup+1182.3 s] /proc/loadavg: 1.06 1.05 1.58 2/176 25870 /proc/meminfo: memFree=14485256/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=9460 CPUtime=1182.22 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 998 0 0 0 118221 1 0 0 25 0 1 0 472617360 9687040 938 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198597 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2365 938 113 5 0 836 0 Current children cumulated CPU time (s) 1182.22 Current children cumulated vsize (KiB) 9460 [startup+1242.3 s] /proc/loadavg: 1.07 1.06 1.54 2/176 25871 /proc/meminfo: memFree=14484984/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=9628 CPUtime=1242.22 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 1037 0 0 0 124221 1 0 0 25 0 1 0 472617360 9859072 977 33554432000 4194304 4210924 140735958398128 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2407 977 113 5 0 878 0 Current children cumulated CPU time (s) 1242.22 Current children cumulated vsize (KiB) 9628 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 1.03 1.05 1.51 2/176 25873 /proc/meminfo: memFree=14485096/32951124 swapFree=67111528/67111528 [pid=25334] ppid=25332 vsize=9628 CPUtime=1299.92 cores=4,6 /proc/25334/stat : 25334 (saturn) R 25332 25334 24048 0 -1 4202496 1037 0 0 0 129991 1 0 0 25 0 1 0 472617360 9859072 977 33554432000 4194304 4210924 140735958398128 18446744073709551615 4201724 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25334/statm: 2407 977 113 5 0 878 0 Current children cumulated CPU time (s) 1299.92 Current children cumulated vsize (KiB) 9628 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1300.01 CPU time (s): 1299.94 CPU user time (s): 1299.92 CPU system time (s): 0.017997 CPU usage (%): 99.9946 Max. virtual memory (cumulated for all children) (KiB): 9628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1299.92 system time used= 0.017997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1037 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 5711 runsolver used 1.9807 second user time and 3.9574 second system time The end
Begin job on node135 at 2011-04-24 03:56:35 IDJOB=3274224 IDBENCH=83156 IDSOLVER=1583 FILE ID=node135/3274224-1303610195 RUNJOBID= node135-1303610195-25314 PBS_JOBID= 13150607 Free space on /tmp= 71360 MiB SOLVER NAME= Black Hole SAT 2011-03-08 BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n190-s29985700-unsat.cnf COMMAND LINE= saturn BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3274224-1303610195/watcher-3274224-1303610195 -o /tmp/evaluation-result-3274224-1303610195/solver-3274224-1303610195 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3274224-1303610195.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= f2cf61fc47972fb7e89be65d1a83332e RANDOM SEED=1406534254 node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 6640.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 14474600 kB Buffers: 2060224 kB Cached: 15753728 kB SwapCached: 0 kB Active: 7342792 kB Inactive: 10537752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 14474600 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 224 kB Writeback: 0 kB AnonPages: 66028 kB Mapped: 14884 kB Slab: 531284 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 212648 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71376 MiB End job on node135 at 2011-04-24 04:18:17